Results 11 to 20 of about 9,211 (158)
Shape fluctuations and elastic properties of two-component bilayer membranes
, 2004 The elastic properties of two-component bilayer membranes are studied using a coarse grain model for amphiphilic molecules. The two species of amphiphiles considered here differ only in their length.
Imparato, Alberto +2 more
core +1 more source
A System for Nonmonotonic Rules on the Web
, 2004 Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology integration, where conflicting information arises naturally; and for the modeling of business rules and policies, where rules with exceptions are often used.
Antoniou, G., Bikakis, A., Wagner, G.R.
openaire +2 more sources
Conflict-driven ASP Solving with External Sources
, 2012 Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-programs extend programs with external atoms, which allow for a bidirectional ...
Eiter, Thomas +3 more
core +2 more sources
The Complexity of Reasoning for Fragments of Default Logic [PDF]
, 2009 Default logic was introduced by Reiter in 1980. In 1992, Gottlob classified the complexity of the extension existence problem for propositional default logic as $\SigmaPtwo$-complete, and the complexity of the credulous and skeptical reasoning problem as
A.L. Selman +15 more
core +4 more sources
Advanced Materials, EarlyView.Multiphase printable organohydrogels with tunable microstructures are developed to control molecular transport pathways for immiscible cargo. The tortuosity and domain size of the colloidal phases are tuned by adjusting temperature and shear during processing, which enables the tailoring of diffusion kinetics due to different transport pathways.
Riley E. Dowdy‐Green +4 more
wiley +1 more source
Nonmonotonic Rule Systems on Top of Ontology Layers [PDF]
, 2002 The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the from of the DAML+OIL language which corresponds to a rich description logic. The next step will be the the realization of logical rule systems on top of the ontology layer.Computationally simple nonmonotonic ...
openaire +1 more source
On cascade products of answer set programs
, 2014 Describing complex objects by elementary ones is a common strategy in mathematics and science in general. In their seminal 1965 paper, Kenneth Krohn and John Rhodes showed that every finite deterministic automaton can be represented (or "emulated") by a ...
Antić, Christian
core +1 more source
Numerical Modeling of Photothermal Self‐Excited Composite Oscillators
Advanced Robotics Research, EarlyView.We present a numerical framework for simulating photothermal self‐excited oscillations. The driving mechanism is elucidated by highlighting the roles of inertia and overshoot, as well as the phase lag between the thermal moment and the oscillation angle, which together construct the feedback loop between the system state and the environmental stimulus.
Zixiao Liu +6 more
wiley +1 more source
Modular, Textile‐Based Soft Robotic Grippers for Agricultural Produce Handling
Advanced Robotics Research, EarlyView.This article introduces textile‐based pneumatic grippers that transform simple textiles into robust bending actuators. Detailed experiments uncover how cut geometry and fabric selection shape performance. Successful handling of fragile agricultural items showcases the potential of textile robotics for safe, scalable automation in food processing and ...
Zeyu Hou +4 more
wiley +1 more source
Angewandte Chemie, EarlyView.This work establishes an MXene‐based S‐scheme heterojunction in which the cooperative interplay among metallic Ni, surface NiOx domains, and conductive Ti3C2Clx drives efficient charge separation and photothermal coupling. Progressive evolution of Ni surface states regulates the CH4/CH3OH product distribution by modulating interfacial energetics and ...
Dawid D. Kruger +6 more
wiley +2 more sources