Results 221 to 230 of about 3,682,520 (371)
Extended Caching, Backjumping and Merging for Expressive Description Logics
, 2012 Andreas Steigmiller +2 more
openalex +2 more sources
Concept Formation in Expressive Description Logics [PDF]
, 2004 Nicola Fanizzi +3 more
openalex +1 more source
High Transconductance on Thiophene‐Based Vertical Organic Electrochemical Transistors
Advanced Materials Technologies, EarlyView.Vertical organic electrochemical transistors (vOECTs) fabricated with the organic mixed ionic‐electronic conductors poly(3‐hexylthiophene‐2,5‐diyl) (P3HT) and poly(3‐[2‐[2‐(2‐methoxyethoxy)ethoxy]ethyl]thiophene‐2,5‐diyl) (P3MEEET) demonstrate excellent performance, exhibiting high transconductance, large on‐currents, and high on/off ratios.
Marcos Luginieski +5 more
wiley +1 more source
Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem. [PDF]
J Med SystMarte C +4 more
europepmc +1 more source
Untethered Magnetic Microswimmers for Targeted Particle Transport and Flow Manipulation
Advanced Materials Technologies, EarlyView.This work introduces magnetically actuated microswimmers to dynamically reconfigure fluid flow within a single microfluidic device. Multiple homogeneous microswimmers are independently controlled by an external magnetic field to perform translational and rotational motions, thereby inducing real‐time flow manipulation.
Dineshkumar Loganathan +3 more
wiley +1 more source
Power optimized quaternary logic circuits based on CNTFETs. [PDF]
Discov NanoRupani A, Bansal D, Sharma K.
europepmc +1 more source
Description logic reasoning for semantic web ontologies
Web Intelligence, Mining and Semantics, 2011 Anni-Yasmin Turhan
semanticscholar +1 more source
Rotary 4D Printing of Programmable Metamaterials on Sustainable 4D Mandrel
Advanced Materials Technologies, EarlyView.The paper introduces open, rotary 4D printing of programmable tubular metamaterials. It presents an open, non‐planar path‐to‐G‐code pipeline and shape‐changing rotary mandrel that enable support‐free fabrication and multi‐stimuli actuation. Experiments and FEA validate the mentioned features and stress redistribution.
Hesam Soleimanzadeh +4 more
wiley +1 more source
Separation logic: a logic for shared mutable data structures
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002 J. C. Reynolds
semanticscholar +1 more source