Results 141 to 150 of about 3,682,520 (371)
Package-Based Description Logics – Preliminary Results [PDF]
, 2006 Jie Bao, Doina Caragea, Vasant Honavar
openalex +1 more source
Integrative Approaches for DNA Sequence‐Controlled Functional Materials
Advanced Functional Materials, EarlyView.DNA is emerging as a programmable building block for functional materials with applications in biomimicry, biochemical, and mechanical information processing. The integration of simulations, experiments, and machine learning is explored as a means to bridge DNA sequences with macroscopic material properties, highlighting current advances and providing ...
Aaron Gadzekpo +4 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A single cell type Electro‐chromo‐emissive (ECECL) device integrating synchronized electrochromic (EC) and electrochemiluminescent (ECL) functions is developed using a mixed ionic‐electronic conductor (MIEC). A MIEC layer reduces ionic/electronic resistance, enabling ultrafast switching and enhanced optical contrast.
Hwandong Jang +5 more
wiley +1 more source
LOGSIM programmer's manual [PDF]
A programmer's manual is reported for a Logic Simulator (LOGSIM) computer program that is a large capacity event simulator with the capability to accurately simulate the effects of certain unknown states, rise and fall times, and floating nodes in large ...
Mitchell, C. L., Taylor, J. F.
core +1 more source
, 1998 Description Logics (DLs, for short) allow reasoning about individuals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing with crisp, well defined concepts. That is, concepts for which the problem whether an individual is an instance of it is a yes/no question.
openaire +3 more sources
Observation of Relativistic Domain Wall Motion in Amorphous Ferrimagnets
Advanced Functional Materials, EarlyView.Domain walls in ferrimagnets and antiferromagnets move as relativistic sine‐Gordon solitons, with the spin‐wave velocity setting their speed limit. Such relativistic domain‐wall motion is demonstrated in amorphous GdFeCo near angular momentum compensation, where current‐driven walls reach 90% of the 2 kms−1 spin‐wave speed, enabling ultrafast, device ...
Pietro Diona +3 more
wiley +1 more source
Acta Polytechnica, 2000 In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory.
S. Hostomský, I. Jelínek
doaj
An RTL-Based General Synthesis Methodology for Device-Independent Ternary Logic Circuits
IEEE AccessTernary logic circuits are considered a high-potential alternative that can continue the technological advance of binary logic. Current studies in ternary logic focus on two aspects: One focuses on designing specific ternary circuits (such as adders ...
Hanmok Park +3 more
doaj +1 more source
Shuttle program. MCC Level C formulation requirements: Entry guidance and entry autopilot [PDF]
A set of preliminary entry guidance and autopilot software formulations is presented for use in the Mission Control Center (MCC) entry processor. These software formulations meet all level B requirements.
Harpold, J. C., Hill, O.
core +1 more source
Advanced Healthcare Materials, EarlyView.This study introduces an innovative approach to treating intervertebral disc degeneration using ultrasound‐triggered in situ hydrogel formation. Proof‐of‐concept experiments using optimized biomaterial and ultrasound parameters demonstrate partial restoration of biomechanical function and successful integration into degenerated disc tissue, offering a ...
Veerle A. Brans +11 more
wiley +1 more source