Results 111 to 120 of about 2,329,578 (354)

On Metric Temporal Łukasiewicz Logic

Electronic Notes in Theoretical Computer Science, 2009
AbstractIn this paper we present a logical framework to cope with temporal reasoning under vagueness. The calculus is obtained by extending that of bounded metric temporal logic over a dense time domain, by truth-values from the rational unit interval [0,1]∩Q, connectives and rules of the infinite-valued Łukasiewicz logic.
FLAMINIO, TOMMASO, TIEZZI, ELISA BENEDETTA PRIMAVERA   +1 more
openaire   +4 more sources

DNA‑Directed Assembly of Photonic Nanomaterials for Diagnostic and Therapeutic Applications

Advanced Materials, EarlyView.
DNA‐directed assembly offers a powerful strategy for constructing structured photonic nanomaterials with precise spatial control. This review provides a comprehensive overview of recent advancements in DNA‐assembled photonic nanomaterials for diagnostics and therapeutics, highlighting key design principles, functionalization strategies, and optical ...
Longjiang Ding, Bing Liu, Andreas Peil, Sisi Fan, Jie Chao, Na Liu   +5 more
wiley   +1 more source

Designing Physical Unclonable Functions From Optically Active Materials

Advanced Materials, EarlyView.
Assigning unforgeable “fingerprints” to manufactured goods is a key strategy to fight global counterfeiting. Optical physical unclonable functions (PUFs) are chemically generated random patterns of optically active materials serving as unique authenticators.
Maxime Klausen, Junfang Zhang, Molly M. Stevens   +2 more
wiley   +1 more source

Gradients of Aliveness and Engineering: A Taxonomy of Fungal Engineered Living Materials

Advanced Materials, EarlyView.
This paper explores the potential of fungal engineered living materials (ELMs), examining fungal biology and growth mechanisms, which underpin their development. It presents a classification framework based on aliveness, scaffold composition, and engineering degree. Unique properties such as self‐healing, biosensing, and bioremediation are highlighted,
Elise Elsacker, Jara Saluena Martin, Annah‐Ololade Sangosanya, Anouk Verstuyft, Aurélie Van Wylick, Eveline Peeters   +5 more
wiley   +1 more source

REASONING ABOUT THE GAME „CLUE“ BY USING OTTER

Journal of Information and Organizational Sciences, 2006
In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented.
Marko Maliković
doaj  

Teaching Formal Models of Concurrency Specification and Analysis

Моделирование и анализ информационных систем, 2015
There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj   +1 more source

Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array

Advanced Materials, EarlyView.
This study presents a hardware physical reservoir computing system using a tri‐modal memristive crossbar array. Stochastic masking, bistable nonlinear activation, and analog readout enable fully in‐memory spatiotemporal processing. Demonstrations on cellular automata, Lorenz prediction, ADHD EEG classification, and chaotic KS modeling highlight its ...
Sungho Kim, Dong Hoon Shin, Wonho Choi, Sunwoo Cheong, Sung Keun Shim, Soo Hyung Lee, Janguk Han, Yoon Ho Jang, Kunhee Son, Néstor Ghenzi, Cheol Seong Hwang   +10 more
wiley   +1 more source

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic

AAAI Conference on Artificial Intelligence, 2017
We advocate datalogMTL, a datalog extension of a Horn fragment of the metric temporal logic MTL, as a language for ontology-based access to temporal log data.
S. Brandt, E. G. Kalayci, R. Kontchakov, V. Ryzhikov, Guohui Xiao, M. Zakharyaschev   +5 more
semanticscholar   +1 more source

Choline Ionic Liquid for Long‐Term Stable Organic Electrochemical Transistors

Advanced Materials, EarlyView.
Choline‐based ionic liquid integrated organic electrochemical transistors (Chol‐OECTs) for improvement of performance and prolonged lifetime is demonstrated. Introduction of the ionic liquid into PEDOT:PSS and gelatin creates choline acetate ionic liquid‐infused PEDOT:PSS (CLiPS) and choline acetate‐gelatin (CAGel) electrolyte.
Young Jin Jo, Yeong‐sinn Ye, Sungbin Choi, Ju Hwan Shin, Jong Uk Kim, Jehyung Ok, Tae‐il Kim   +6 more
wiley   +1 more source

Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal

Advanced Materials, EarlyView.
Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton, Yue Li, Harshvardhan Solanki, Sergey Grebenchuk, Magdalena Grzeszczyk, Zhaolong Chen, Makars Šiškins, Kostya S. Novoselov, Maciej Koperski, Elton J. G. Santos, Charudatta Phatak   +10 more
wiley   +1 more source