Results 111 to 120 of about 71,669 (311)
Advanced Materials, EarlyView.Aqueous Zn(II) Salphen metallofibers decorated with PNIPAM undergo reversible, multi‐stimuli‐responsive hierarchical bundling. This higher‐order structuring kinetically stabilizes the otherwise fragile assemblies against dilution, acidic hydrolysis, and transmetallation, enables selective sorting of responsive fibers, and programs hydrogelation at ...
Merlin R. Stühler +5 more
wiley +1 more source
The succinctness of first-order logic on linear orders [PDF]
, 2011 Succinctness is a natural measure for comparing the strength of different logics. Intuitively, a logic L_1 is more succinct than another logic L_2 if all properties that can be expressed in L_2 can be expressed in L_1 by formulas of (approximately) the ...
Schweikardt, Nicole, Grohe, Martin
core +1 more source
Alternating-time temporal logic
Proceedings 38th Annual Symposium on Foundations of Computer Science, 1998 Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by the execution of a system; branching-time temporal logic allows explicit existential and universal quantification over all paths.
Rajeev Alur +2 more
openaire +3 more sources
Biointegrated Battery‐Based Electroceuticals
Advanced Materials, EarlyView.Biointegrated batteries go beyond passive power to serve as active therapeutic platforms for delivering programmable electrical cues and bioactive agents. This review examines their mechanisms and applications and provides a framework to guide battery‐based therapeutic design and clinical translation.
Yan Zhou +6 more
wiley +1 more source
Modalities in medieval logic [PDF]
, 2009 This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which
Uckelman, S.L., Uckelman, Sara L.
core
Theoretical Computer Science, 2017 This paper introduces time window temporal logic (TWTL), a rich expressivity language for describing various time bounded specifications. In particular, the syntax and semantics of TWTL enable the compact representation of serial tasks, which are typically seen in robotics and control applications.
Cristian Ioan Vasile +2 more
openaire +4 more sources
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
Maximal traces and path-based coalgebraic temporal logics [PDF]
, 2011 This paper gives a general coalgebraic account of temporal logics whose semantics involves a notion of computation path. Examples of such logics include the logic CTL* for transition systems and the logic PCTL for probabilistic transition systems.
Cirstea, Corina, Corina Cîrstea
core +1 more source
Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites
Advanced Materials Technologies, EarlyView.Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang +9 more
wiley +1 more source
Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking [PDF]
, 2017 The problem of temporal dataset evaluation consists in establishing to what extent a set of temporal data (histories) complies with a given temporal condition.
Sciavicco, Guido +9 more
core +1 more source