Results 51 to 60 of about 48,321 (304)
Complex predicate formation [PDF]
, 2010 Introduction The term ‘complex predicate’ has a wide usage, including, for example, serial verb constructions, light verb constructions, and particle + verb constructions, among others. An examination of the data provided by analysts in their discussions
Baker, B +4 more
core +1 more source
Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots
Advanced Robotics Research, EarlyView.This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu +5 more
wiley +1 more source
Constraints on Predicate Invention [PDF]
, 1991 This chapter describes an inductive learning method that derives logic programs and invents predicates when needed. The basic idea is to form the least common anti-instance (LCA) of selected seed examples.
O'Rorke, Paul +3 more
core +2 more sources
Advanced Robotics Research, EarlyView.Micro‐ and nanorobots for targeted thrombolysis. This perspective elaborates on the clinical indication of blood clot disorders and current limitations for treatment. As a novel, alternative solution, micro‐ and nanorobots can be used to treat and break down thrombi.
Joshua M. Mesfin +3 more
wiley +1 more source
Kant's Table of Judgments and the Doctrine of the Judgment in the German Logic of XVIIIth Century
Sententiae, 2015 The article focuses on the formation of Kant's table of judgments. The author proves the dependence of Kant's table of judgments on the doctrine of judgment in German 17th century logic.
Yurij Fedorchenko
doaj +1 more source
Syntax-driven argument identification and multi-argument classification for semantic role labeling [PDF]
, 2007 Semantic role labeling is an important stage in systems for Natural Language Understanding. The basic problem is one of identifying who did what to whom for each predicate in a sentence. Thus labeling is a two-step process: identify constituent phrases
Lin, Chi-San Althon
core
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Актуальні питання суспільних наук та історії медицини, 2017 Навчук Галина. Междометия как средство передачи эмоциональной экспрессии в восклицательных предложениях украинского языка. В статье рассмотрены междометия как средство выражения эмоциональной экспрессии в восклицательных предложениях украинского языка ...
Галина НАВЧУК
doaj +1 more source
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984 Abstract A computer program is identified with the strongest predicate describing every relevant observation that can be made of the behaviour of a computer executing that program. A programming language is a subset of logical and mathematical notations, which is so restricted that products described in the language can be ...
openaire +5 more sources
Loop Leaping with Closures (proof appendix for conference submission) [PDF]
, 2012 Loop leaping is the colloquial name given to a form of program analysis in which summaries are derived for nested loops starting from the innermost loop and proceeding in a bottom-up fashion considering one more loop at a time.
Brauer, Jorg +3 more
core