Results 81 to 90 of about 6,452,641 (347)
Bioresorbable and Wireless Rechargeable Implanted Na‐ion Battery for Temporary Medical Devices
Advanced Functional Materials, EarlyView.An all‐solid‐state bioresorbable Na‐ion battery is developed, composed entirely of bio‐eliminable materials. In vivo and ex vivo tests confirmed harmless disintegration of this implanted battery. Lifetime of the implanted battery can be precisely controlled by adjusting the dissolvable encapsulation layer's thickness.
Vedi Kuyil Azhagan Muniraj +8 more
wiley +1 more source
A Survey of the Proof-Theoretic Foundations of Logic Programming [PDF]
arXiv, 2021 Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using this foundation for the past 35 years to elevate logic programming from its roots in first-order classical logic ...
arxiv
Logic and lattices for distributed programming
ACM Symposium on Cloud Computing, 2012 In recent years there has been interest in achieving application-level consistency criteria without the latency and availability costs of strongly consistent storage infrastructure. A standard technique is to adopt a vocabulary of commutative operations;
Neil Conway +4 more
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.This work establishes a general theory of the current transient of ionic‐electronic transistors under a step of gate voltage. The dominant effect is a transient charging of the channel by diffusion of ions. The additional influence of electrolyte capacitance and resistance splits the fundamental time constant of diffusion into two different components.
Juan Bisquert, Nir Tessler
wiley +1 more source
The Journal of Logic Programming, 1993 We present a model for distributed logic programming based on ANDparallelism and on explicit message-passing primitives. The communication mechanism is inspired by Milner's CCS [31]. First, a simple calculus of communicating sequential logic processes is defined to formally introduce this notion of communication in a logic programming setting.
BROGI, ANTONIO, R. Gorrieri
openaire +3 more sources
Gate‐Tunable Hole Transport in In‐Plane Ge Nanowires by V‐Groove Confined Selective Epitaxy
Advanced Functional Materials, EarlyView.Ge nanowires are promising for hole spin‐based quantum processors, requiring direct integration onto Si wafers. This work introduces V‐groove‐confined selective epitaxy for in‐plane nanowire growth on Si. Structural and low‐temperature transport measurements confirm their high crystalline quality, gate‐tunable hole densities, and mobility.
Santhanu Panikar Ramanandan +11 more
wiley +1 more source
Syntax and semantics of multi-adjoint normal logic programming [PDF]
Fuzzy Sets and Systems 345 (2018) 41-62Multi-adjoint logic programming is a general framework with interesting features, which involves other positive logic programming frameworks such as monotonic and residuated logic programming, generalized annotated logic programs, fuzzy logic programming and possibilistic logic programming.
arxiv +1 more source
Theoretical Computer Science, 1992 AbstractWe construct Scott domains well suited to use in an abstract implementation of logic programming, and perhaps to the modelling of other first-order data structures. The domain elements, which we call “grafts”, are in effect a sort of directed graphs.
Filippenko, I., Morris, F. L.
openaire +2 more sources
Carbon Nanotube 3D Integrated Circuits: From Design to Applications
Advanced Functional Materials, EarlyView.As Moore's law approaches its physical limits, carbon nanotube (CNT) 3D integrated circuits (ICs) emerge as a promising alternative due to the miniaturization, high mobility, and low power consumption. CNT 3D ICs in optoelectronics, memory, and monolithic ICs are reviewed while addressing challenges in fabrication, design, and integration.
Han‐Yang Liu +3 more
wiley +1 more source
Logic programming extensions of Horn clause logic
Le Matematiche, 1988 Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages.
Ron Sigal
doaj