Results 71 to 80 of about 138,161 (315)

Model Theoretic Complexity of Automatic Structures [PDF]

, 2008
We study the complexity of automatic structures via well-established concepts from both logic and model theory, including ordinal heights (of well-founded relations), Scott ranks of structures, and Cantor-Bendixson ranks (of trees).
Khoussainov, Bakhadyr, Minnes, Mia
core   +3 more sources

Synchronized Electro‐Chromo‐Emissive Devices Using a Mixed Ionic‐Electronic Conductive Layer for XR Applications

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, Sienoh Park, Won‐Jae Joo, Jinbo Kim, Nori Kobayashi, Eunkyoung Kim   +5 more
wiley   +1 more source

In Materia Shaping of Randomness with a Standard Complementary Metal‐Oxide‐Semiconductor Transistor for Task‐Adaptive Entropy Generation

Advanced Functional Materials, EarlyView.
This study establishes a materials‐driven framework for entropy generation within standard CMOS technology. By electrically rebalancing gate‐oxide traps and Si‐channel defects in foundry‐fabricated FDSOI transistors, the work realizes in‐materia control of temporal correlation – achieving task adaptive entropy optimization for reinforcement learning ...
Been Kwak, Ryun‐Han Koo, Youngchan Cho, Changhyeon Han, Dongbin Kim, Soi Jeong, Yunho Shin, Joonhyeok Choi, Jiseong Im, Jonghyun Ko, Jong‐Ho Lee, Jangsaeng Kim, Youngho Kang, Wonjun Shin, Daewoong Kwon   +14 more
wiley   +1 more source

Logical gates embedding in artificial spin ice

New Journal of Physics, 2020
The realization and study of arrays of interacting magnetic nanoislands, such as artificial spin ices, have reached mature levels of control that allow design and demonstration of exotic, collective behaviors not seen in natural materials.
Francesco Caravelli, Cristiano Nisoli
doaj   +1 more source

Generating Efficient, Terminating Logic Programs [PDF]

, 1997
The objective of control generation in logic programming is to automatically derive a computation rule for a program that is efficient and yet does not compromise program correctness. Progress in solving this important problem has been slow and, to date,
King, Andy, Martin, Jonthan C.
core   +3 more sources

Axiomatising extended computation tree logic

Theoretical Computer Science, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Reducing Calculation Times for Seismic Hazard Using Non-Ergodic Ground-Motion Models for Areal Source Zones

Applied Sciences
Using non-ergodic ground-motion models (GMMs) in probabilistic seismic hazard analysis (PSHA) for areal sources can lead to large increases in calculation time compared to PSHA based on ergodic GMMs due to the large number of branches on the logic tree ...
Maxime Lacour, Norman Abrahamson
doaj   +1 more source

Bisimulations Meet PCTL Equivalences for Probabilistic Automata [PDF]

Logical Methods in Computer Science, 2013
Probabilistic automata (PAs) have been successfully applied in formal verification of concurrent and stochastic systems. Efficient model checking algorithms have been studied, where the most often used logics for expressing properties are based on ...
Lei Song, Lijun Zhang, Jens Chr. Godskesen, Flemming Nielson   +3 more
doaj   +1 more source

Open Answer Set Programming with Guarded Programs

, 2007
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants.
Clark K. L., Davy Van Nieuwenborgh, Dirk Vermeir, Emerson E. A., Gelfond M., Grädel E., Huth M. R. A., Lee J., Leone N., Lin F., Osorio M., Schlipf J., Stijn Heymans, Van Benthem J.   +13 more
core   +2 more sources

Ultrasound‐Triggered Gelation for Restoring Biomechanical Properties of Degenerated Functional Spinal Units

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, Anna P. Constantinou, Matthew J. Kibble, Valeria Nele, Daniel Reumann, Luca Bau, Sebastien J. P. Callens, James P. K. Armstrong, Nicolas Newell, Constantin C. Coussios, Molly M. Stevens, Michael D. Gray   +11 more
wiley   +1 more source