Results 81 to 90 of about 1,821,618 (323)
International Joint Conference on Artificial Intelligence, 2019 We introduce Probabilistic Strategy Logic, an extension of Strategy Logic for stochastic systems. The logic has probabilistic terms that allow it to express many standard solution concepts, such as Nash equilibria in randomised strategies, as well as ...
Benjamin Aminof +4 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 +6 more
wiley +1 more source
Two Variable vs. Linear Temporal Logic in Model Checking and Games [PDF]
Logical Methods in Computer Science, 2013 Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic (LTL)
Michael Benedikt +2 more
doaj +1 more source
Developments in Nanopatterning of Graphene; Toward Direct Writing
Advanced Materials, EarlyView.Overview of principal direct‐write graphene patterning methodologies including focused electron beam induced deposition (FEBID), laser induced graphitisation (LIG), focused ion beam (FIB), scanning tunneling microscopy (STM) and atomic force microscopy (AFM) Abstract Graphene, with its exceptional electronic, mechanical, and thermal properties, remains
Szymon Abrahamczyk +4 more
wiley +1 more source
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented.
Marcelo E. Coniglio, María I. Corbalán
doaj +1 more source
Advanced Materials Interfaces, EarlyView.This study reviews the relevant work regarding the modification of self‐assembled monolayers (SAMs) by electron irradiation. Both fundamental aspects and the related implications and applications are addressed. The latter includes tuning SAM properties, preparation of binary SAMs, conventional and chemical lithography, carbon nanomembranes, control of ...
Andreas Terfort, Michael Zharnikov
wiley +1 more source
Kripke trick and decidability of monadic fragments of modal and superintuitionistic logics [PDF]
, 2023 Mikhail Rybakov, Dmitry Shkatov
openalex +1 more source
, 2003 We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of de Bruijn's notation for lambda calculus, an encoding of first-order logic ...
Kuncak, Viktor, Rinard, Martin
core +5 more sources
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
JACM, 1981 It is known that there is an eqmvalence between functional dependencies m a relatmonal database and a certain fragment of proposmonal logic Thins eqmvalence is extended to include both functional and multivalued dependencmes.
Y. Sagiv +3 more
semanticscholar +1 more source
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source