Activity D.1.3.: Development of a list of requirements and basic principle drawings for a simple and efficient integrated climate control system : Project CFC/ICAC/33 [PDF]
, 2009 Payet, Laura, Gourlot, Jean-Paul
core +2 more sources
Improvement in low back movement control, decreased pain and disability, resulting from specific exercise intervention [PDF]
Sports Medicine, Arthroscopy, Rehabilitation, Therapy & Technology, 2010 Background The study was conducted to assess whether patient-specific functional impairment and experienced daily disability improved after treatment to address active movement control of the low back.
Luomajoki Hannu +3 more
doaj +4 more sources
JERICO. Terms of reference of the Forum for Coastal Technologies (FCT) D#1.3 [PDF]
, 2012 This report presents the JERICO Forum for Coastal Technologies (FCT). In Europe there is a high level of research in public and academic institutes, but this research doesn't always lead to instruments that are able to be used in an operational way. To give momentum, one must create (or make understandable) the value of the technology to the instrument
Puillat, Ingrid +3 more
openaire +2 more sources
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers [PDF]
Logical Methods in Computer Science, 2021 Emerging application scenarios, such as cyber-physical systems (CPSs), the Internet of Things (IoT), and edge computing, call for coordination approaches addressing openness, self-adaptation, heterogeneity, and deployment agnosticism.
Danilo Pianini +4 more
doaj +1 more source
Circular Proofs as Session-Typed Processes: A Local Validity Condition [PDF]
Logical Methods in Computer Science, 2022 Proof theory provides a foundation for studying and reasoning about programming languages, most directly based on the well-known Curry-Howard isomorphism between intuitionistic logic and the typed lambda-calculus.
Farzaneh Derakhshan, Frank Pfenning
doaj +1 more source
Relating Functional and Imperative Session Types [PDF]
Logical Methods in Computer Science, 2022 Imperative session types provide an imperative interface to session-typed communication. In such an interface, channel references are first-class objects with operations that change the typestate of the channel.
Hannes Saffrich, Peter Thiemann
doaj +1 more source
Space-Fluid Adaptive Sampling by Self-Organisation [PDF]
Logical Methods in Computer Science, 2023 A recurrent task in coordinated systems is managing (estimating, predicting, or controlling) signals that vary in space, such as distributed sensed data or computation outcomes.
Roberto Casadei +4 more
doaj +1 more source
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields [PDF]
Logical Methods in Computer Science, 2017 Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to ...
Alberto Lluch Lafuente +2 more
doaj +1 more source
Algebraic Pattern Matching in Join Calculus [PDF]
Logical Methods in Computer Science, 2008 We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the interaction between concurrency and pattern matching; to define a practical ...
Qin Ma, Luc Maranget
doaj +1 more source
A type reduction theory for systems with replicated components [PDF]
Logical Methods in Computer Science, 2012 The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine numerous entities: the number of processes used in a network, the type of
Tomasz Mazur, Gavin Lowe
doaj +1 more source