Results 81 to 90 of about 71,669 (311)

Representation of the program model using predicates

Радіоелектронні і комп'ютерні системи
The object of research in this article is the process of modeling programs and their subsequent development. The purpose of this article is to develop a methodology for describing and building software models in the form of nondeterministic finite ...
Serhii Holub, Volodymyr Salapatov, Vadym Nemchenko   +2 more
doaj   +1 more source

A system for deduction-based formal verification of workflow-oriented software models

International Journal of Applied Mathematics and Computer Science, 2014
The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered.
Klimek Radosław
doaj   +1 more source

Partial cut elimination for combinations of propositional multi-modal logics with past time

Lietuvos Matematikos Rinkinys, 2011
We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj   +1 more source

On regular temporal logics with past [PDF]

Acta Informatica, 2009
Acta informatica, 47 (4)
Dax, Christian, Klaedtke, Felix, Lange, Martin   +2 more
openaire   +3 more sources

Polarization‐Dependent Synaptic‐Like Electro‐Optical Response in Ferroelectric Nematic Liquid Crystals

Advanced Functional Materials, EarlyView.
Ferroelectric nematic liquid crystals (FNLCs) offer fast, tunable polarization and low‐voltage operation but suffer from poor polarization retention at zero field. Semiconductor‐modified FNLCs enhance polarization retention and exhibit short‐ and long‐term electro‐optical responses, while also supporting spike‐type signal integrations.
Kutay Sagdic, Weiming Yao, Danqing Liu
wiley   +1 more source

Natural deduction system for linear time temporal logic [PDF]

, 2008
We present a sound and complete Quine-style natural abstract deduction system for propositional linear-time temporal logic based on similar systems for the propositional classical logic.
Bolotov, A., Gregoryev, O., Shangin, V., Basukoski, A.   +3 more
core  

Quantum Temporal Logic

CoRR, 2019
In this paper, we introduce a model of quantum concurrent program, which can be used to model the behaviour of reactive quantum systems and to design quantum compilers. We investigate quantum temporal logic, QTL, for the specification of quantum concurrent systems by suggesting the time-dependence of events.
openaire   +2 more sources

Tough, Ductile, and Strong Hard‐Soft Cementitious Composite Enabled by Multi‐Material Additive Manufacturing

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, Shashank Gupta, William Makinen, Zayvinn Lin, Krystal Delnoce, Reza Moini   +5 more
wiley   +1 more source

Cut-free sequent systems for temporal logic [PDF]

, 2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary rule.
Brünnler, Kai, Lange, Martin
core   +1 more source

Matrix-Guided Safe Motion Planning for Smart Parking Systems

Robotics
This 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, Dipankar Maity   +1 more
doaj   +1 more source