Results 71 to 80 of about 201,623 (302)

Planar Solid‐State Nanopores Toward Scalable Nanofluidic Integration Based on CMOS Technology

Advanced Engineering Materials, EarlyView.
We present a scalable silicon‐based fabrication strategy for planar solid‐state nanopores to enable their integration with complex nanofluidic systems. Prototype devices demonstrate normal voltage‐current characteristics, good noise performance, and appreciable streaming currents. Our CMOS‐compatible fabrication process offers precise geometric control
Ngan Hoang Pham, Chenyu Wen, Mohammad Hadi Khaksaran, Won‐Yong Lee, Javier Cruz, Klas Hjort, Dongping Wu, Shi‐Li Zhang   +7 more
wiley   +1 more source

Logical Reasoning for Higher-Order Functions with Local State [PDF]

Logical Methods in Computer Science, 2008
We introduce an extension of Hoare logic for call-by-value higher-order functions with ML-like local reference generation. Local references may be generated dynamically and exported outside their scope, may store higher-order functions and may be used to
Nobuko Yoshida, Kohei Honda, Martin Berger   +2 more
doaj   +1 more source

Field Report from Collaborative Research Center 1625: Heterogeneous Research Data Management Using Ontology Representations

Advanced Engineering Materials, EarlyView.
A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed, Samuel García Vázquez, Behnam Mardani, Victor Dudarev, Alfred Ludwig, Maribel Acosta, Markus Stricker   +6 more
wiley   +1 more source

Karl Popper and the Mechanisms of Hydrogen Embrittlement

Advanced Engineering Materials, EarlyView.
Representation of the beginning of loss of ductility rather than embrittlement. Small concentrations of hydrogen in a diffusible form within iron are well‐established to harm the mechanical integrity of steels. There are theories that attempt to explain the pernicious role of hydrogen.
H. K. D. H. Bhadeshia
wiley   +1 more source

Higher-Order Computational Logic

, 2002
This paper presents a case for the use of higher-order logic as a foundation for computational logic. A suitable polymorphically-typed, higher-order logic is introduced and its syntax and proof theory briefly described. In addition, a metric space of closed terms suitable for knowledge representation purposes is presented.
openaire   +1 more source

Reconfigurable Logic‐in‐Memory Operations Enabled by Triple‐Gated Feedback Field‐Effect Transistors for Area‐Efficient Computing

Advanced Engineering Materials, EarlyView.
A reconfigurable logic‐in‐memory cell composed of triple‐gated feedback field‐effect transistors implements multiple combinational logic functions within a single configuration. By utilizing program gates as dynamic input terminals, the proposed cell performs full adder, full subtractor, 2‐to‐1 multiplexer, and 4‐to‐2 encoder operations without ...
Minhyeok Seol, Yunwoo Shin, Donghyung Lee, Dongki Kim, Kyoungah Cho, Sangsig Kim   +5 more
wiley   +1 more source

Binding-Time Analysis for Mercury

, 2004
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available in Mercury programs, that allows the analyser to reason with partially ...
Wim Vanhoof, Vanhoof, Wim; id_orcid, Bruynooghe, Maurice, Michael Leuschel, Vanhoof, Wim, Maurice Bruynooghe, Leuschel, Michael   +6 more
core   +1 more source

Oxygen‐Tunnel Indium Tin Oxide Vertical Channel Transistors with Enhanced Current Density and Reliability for Monolithic 3D Compute‐In‐Memory Systems

Advanced Functional Materials, EarlyView.
Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu, Haksoon Jung, Yongwoo Lee, Hoichang Jeong, Yanfeng Zhao, Heesoo Yang, Minho Park, Hyeonjin Lee, Seunghun Baek, Minju Song, Junghwan Kim, Youngmin Jo, Hyunjin Park, Munhyeon Kim, Jae‐Joon Kim, Kyuho Jason Lee, Byungjo Kim, Jimin Kwon   +17 more
wiley   +1 more source

Formal verification of physical human-robot interaction using interactive theorem proving

Journal of Intelligent Systems
Physical Human-robot Interaction (pHRI) involves physical collaboration between humans and robots to perform tasks safely and efficiently in shared environments. Traditionally, pHRI behavior has been analyzed using analytical or simulation-based methods,
Abed Sa’ed, Rashid Adnan, Hasan Osman
doaj   +1 more source

A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities

, 2017
We present a first-order probabilistic logic for reasoning about the uncertainty of events modeled by sets of probability measures. In our language, we have formulas that essentially say that according to agent Ag, for all x, formula α(x) holds with the ...
Ognjanović, Zoran, Dragan Doder, Nenad Savić, Savic, Nenad, Zoran Ognjanović, Doder, Dragan   +5 more
core   +1 more source