Results 81 to 90 of about 1,803,631 (274)
A Rigid-Foldable Kirigami-Inspired Metamorphic Mechanism With Programmable Motion Modes and Self-Locking. [PDF]
Adv Sci (Weinh)Geometric constraint reconfiguration enables a rigid–foldable kirigami‐inspired mechanism to switch between twisting, directional translation, and self‐locking states. By encoding multifunctionality directly into its architecture, the mechanism achieves multimodal motion and passive locking without reassembly, providing a compact platform for adaptive ...
Wang J, Song Z, Zhang K.
europepmc +2 more sources
Slicing of Constraint Logic Programs
, 1998 Slicing is a program analysis technique originally developed for imperative languages. It facilitates understanding of data flow and debugging. This paper discusses slicing of Constraint Logic Programs. Constraint Logic Programming (CLP) is an emerging software technology with a growing number of applications.
Szilágyi, Gyöngyi +2 more
openaire +3 more sources
Transforming normal logic programs to constraint logic programs
Theoretical Computer Science, 1992 A normal logic program \(P\) is transformed to another \(P^ \omega\) by a bottom-up computation on the positive component of \(P\) while the negative counterpart is left untouched. The declarative semantics of \(P\) is given by the completion of \(P^ \omega\). The completed predicate definitions in \(P^ \omega\), if they do not contain local variables,
Kanchana Kanchanasut, Peter J. Stuckey
openaire +2 more sources
Architecture‐Driven Functional Coupling in Vertically Aligned Nanocomposites
Advanced Functional Materials, EarlyView.Vertically aligned nanocomposites define a growth‐engineered architecture in which vertical interfaces, strain fields, defect pathways, and phase connectivity are created simultaneously. This review shows how these architectural features couple ferroic, optical, ionic, electrochemical, and device responses, establishing design rules and open challenges
Md Shatil Islam‐Shanto +4 more
wiley +1 more source
Independence in CLP Languages [PDF]
, 2000 Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel ...
Hermenegildo, Manuel V. +2 more
core +1 more source
Advanced Functional Materials, EarlyView.Balancing the spatially separated p‐ and n‐type transport pathways in heterojunction‐bilayer OTFTs enables symmetric inverter switching (VM ≈ 0.5VDD), whereas discrete integration of unipolar OTFTs gives polarity‐dependent and resistive responses. ABSTRACT High inverter performance in ambipolar organic electronics requires balanced channel strengths ...
Sohyun Choi +3 more
wiley +1 more source
Advanced Healthcare Materials, EarlyView.Magnetically responsive nanoparticles enable remote control over biomaterials, cells, and engineered tissues. This review summarizes material design, biological safety, fabrication and actuation strategies, computational validation, and translational pathways that support the development of magnetic tissue‐engineering platforms and future magnetically ...
Konstantinos Ioannidis +8 more
wiley +1 more source
Evaluating transit operator efficiency: An enhanced DEA model with constrained fuzzy-AHP cones
Journal of Traffic and Transportation Engineering (English ed. Online), 2016 This study addresses efforts to comb the Analytic Hierarchy Process (AHP) with Data Envelopment Analysis (DEA) to deliver a robust enhanced DEA model for transit operator efficiency assessment.
Xin Li +3 more
doaj +1 more source
Advanced Healthcare Materials, EarlyView.Conventional therapies suffer from poor blood–brain barrier (BBB) penetration and disordered ion/reactive oxygen species (ROS) homeostasis, hindering precise neurological treatment. Electrochemical strategies achieve accurate spatiotemporal regulation of neural homeostasis.
Xiaokang Hu +5 more
wiley +1 more source
MODELING AND SOLVING SELF-REFERENTIAL PUZZLES
Journal of Information and Organizational Sciences, 2012 The so-called self-referential puzzles are a very interesting kind of logic puzzles,aiming at developing the skill of logical thinking. A self-referential puzzle consists of asequence of questions about the puzzle itself.
Maja Bubalo, Mirko Čubrilo
doaj