Results 61 to 70 of about 547,797 (285)
Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation [PDF]
, 2013 We present a new temporal logic called Distribution Temporal Logic (DTL) defined over predicates of belief states and hidden states of partially observable systems.
Belta, Calin +2 more
core
A temporal semantics for Nilpotent Minimum logic
, 2013 In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core +1 more source
Advanced Materials, EarlyView.Drawing inspiration from the layered hard‐soft architecture found in sea sponges, this work establishes a new framework for architected cementitious composites (ACC) through multi‐material additive manufacturing (MMAM) process. The integration of mortar and elastomer phases into layered architectures enables synergistic toughening mechanisms, including
Aimane Najmeddine +5 more
wiley +1 more source
Matrix-Guided Safe Motion Planning for Smart Parking Systems
RoboticsThis paper presents a matrix-based approach for motion planning of autonomous vehicles in structured parking environments under Temporal Logic (TL) constraints.
Dewan Mohammed Abdul Ahad +1 more
doaj +1 more source
An Approach of XML Query Evaluation Based Model Checking
Cybernetics and Information Technologies, 2016 In this paper, we show the process inspired by model checking which integrate temporal logic to the application of semi-structured data query. We investigate the potential ofatechnique based on CTL (Computation Tree Logic) model checking for evaluating ...
Yan-Mei Li, Shao-Bin Huang, Ya Li, Li Xu
doaj +1 more source
Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic that Avoid Fitch’s Paradox [PDF]
, 2014 1) We will begin by offering a short introduction to Epistemic Logic and presenting Fitch’s paradox in an epistemic‑modal logic. (2) Then, we will proceed to presenting three Epistemic Temporal logical frameworks creat‑ ed ...
Dragomir, Alexandru
core
Light‐Induced Entropy for Secure Vision
Advanced Materials, EarlyView.This work realized a ternary true random number generator by exploiting stochastic traps emerging within multiple junction interfaces, and quantitatively validated the generation of high‐quality random numbers. Furthermore, it successfully demonstrated diverse applications, including AI‐resilient image security, thereby providing a valuable guide for ...
Juhyung Seo +9 more
wiley +1 more source
Restrictions for loop-check in sequent calculus for temporal logic
Lietuvos Matematikos Rinkinys, 2008 In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check.
Adomas Birštunas
doaj +1 more source
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source
A decidable weakening of Compass Logic based on cone-shaped cardinal directions [PDF]
Logical Methods in Computer Science, 2015 We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition letters and spatial relations are induced by the four cone-shaped cardinal
Angelo Montanari +2 more
doaj +1 more source