Results 111 to 120 of about 67,082 (308)
LINEAR LOGIC IN COMPUTER SCIENCE
, 2015 . Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to describe dynamic processes, non-determinism, paral-lelism on syntactic level.
Peter Prazňák +7 more
core +1 more source
Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies
Advanced Functional Materials, EarlyView.The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley +1 more source
Logic and some Applications to Computer Science
, 1987 129 p.The study of logic has made two important contributions to computer science in general and artificial intelligence in particular. These contributions are logical programming languages and automated reasoning.
Arthur, Kenneth W.
core
3D Printing Innovations in Polymeric Porous and Patterned Architecture
Advanced Functional Materials, EarlyView.Polymeric foams occupy a unique structural space between dense solids and open networks, where engineered void fraction governs mechanical compliance, thermal resistance, and mass transport. Additive manufacturing now enables precise spatial control over cellular architecture, unlocking designer foam structures across applications spanning crash ...
Dhanush Patil +13 more
wiley +1 more source
Guarded operations, refinement and simulation
, 2009 Simulation rules have long been used as an effective computational means to decide refinement relations in state-based formalisms. Here we investigate how they might be amended so as to decide the event-based notion of singleton failures refinement of ...
Reeves, Steve, Streader, David
core +1 more source
Advanced Functional Materials, EarlyView.In this report, a self‐adaptive anhydrous passivation strategy is introduced by incorporating trimellitic anhydride (TMAH) into the perovskite precursor. In situ hydrolysis of TMAH yields trimellitic acid (TMA); ‐C═O/‐COO− groups of TMAH/TMA form a chelate with undercoordinated Pb2+/Sn2+, regulate nucleation, promote (100) orientation, passivate ...
Md. Ataur Rahman +6 more
wiley +1 more source
Electro‐Steric Ion Confinement in Polyelectrolyte Networks for Robust Nonvolatile Artificial Synapse
Advanced Functional Materials, EarlyView.Polyelectrolyte stoichiometry governs ion transport and retention in electrolyte‐gated synaptic transistors. A PSS‐rich network creates electro‐steric ion confinement that suppresses ion back‐diffusion and stabilizes channel doping, enabling robust nonvolatile synaptic memory, linear weight updates, and low‐energy operation.
Donghwa Lee +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Thermally oxidized MoS2‐based radio‐frequency switches enable a multifunctional platform that unifies broadband RF switching and in‐memory computation. The device achieves a cutoff frequency of 33.2 THz with high energy efficiency and supports hardware‐aware signal processing.
Juho Son +5 more
wiley +1 more source
Correlated information: a logic for multi-partite quantum systems
, 2011 In this paper we analyze classical and quantum correlations using the tools of epistemic logic. Our main contribution consists of two new logical systems.
Smets, Sonja +7 more
core +1 more source