Results 71 to 80 of about 88,869 (296)
Linearization of CIF Through SOS [PDF]
, 2011 Linearization is the procedure of rewriting a process term into a linear form, which consist only of basic operators of the process language. This procedure is interesting both from a theoretical and a practical point of view.
Bas Luttik +11 more
core +3 more sources
Advanced Healthcare Materials, EarlyView.xx xx. ABSTRACT Osseointegration of orthopedic and dental implants is influenced by local and systemic factors, including their physicochemical surface properties and the patient's overall health status. Titanium and its alloys have been a longstanding standard for bone implants due to their innate biocompatibility and mechanical properties.
Dainelys Guadarrama Bello +2 more
wiley +1 more source
Amending Contracts for Choreographies
, 2011 Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed parties.
Alexandra Silva +14 more
core +2 more sources
Advanced Robotics Research, EarlyView.Permanent magnet putty (PMP) integrates high‐coercivity NdFeB particles with a dynamic polyborosiloxane–Ecoflex matrix, achieving rapid self‐healing (90% mechanical recovery in 10 s) and magnetic recovery within 20 min. With twice the sensitivity of commercial putties, PMP enables precise 5–30 N force detection and discrimination between pressing and ...
Ruotong Zhao +5 more
wiley +1 more source
The predicate nominal analysis of english there-sentences
Bucharest Working Papers in Linguistics, 2010 In this article, I argue against the predicate nominal analysis of English there-sentences (especially Williams 1994, 2006 and Hazout 2004, 2008). The present analysis has several advantages, mainly because it takes into account the similarities of there-
Jutta M. Hartmann
doaj
Liquid Crystalline Elastomers in Soft Robotics: Assessing Promise and Limitations
Advanced Robotics Research, EarlyView.Liquid crystalline elastomers (LCEs) are programmable soft materials that undergo large, anisotropic deformation in response to external stimuli. Their molecular alignment encodes directional actuation in a monolithic structure, making them long‐standing candidates for soft robotic systems.
Justin M. Speregen, Timothy J. White
wiley +1 more source
On the Semantics of Pronominal Clitics and some of its Consequences
Catalan Journal of Linguistics, 2002 Recent work on the acquisition of the binding conditions suggests that pronominal clitics (PCs) encode the presence of an unsaturated argument position. In other words, PC-constructions encode functional abstraction: the argument position related to the ...
Denis Delfitto
doaj +1 more source
Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report) [PDF]
, 2014 Monotonicity in concurrent systems stipulates that, in any global state, extant system actions remain executable when new processes are added to the state.
Kaiser, Alexander +2 more
core
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
Predicate Abstraction with Indexed Predicates [PDF]
, 2004 Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.
Bryant, Randal E., Lahiri, Shuvendu K.
core