Results 51 to 60 of about 716,706 (268)
Review: "An Algebraic Study of Tense Logic with Linear Time," by R. A. Bull [PDF]
, 1971 Publisher's, offprint versionIn these papers (the second of which is principally a correction and adumbration of the first) Bull constructs algebraic semantics which provide completeness theorems for three prepositional tense logics for linear time ...
Cocchiarella, Nino
core +1 more source
SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range
Advanced Electronic Materials, EarlyView.A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel +6 more
wiley +1 more source
Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts
Bulletin of the Section of LogicWe redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the transfinite.
Tarek Sayed Ahmed
doaj +1 more source
FROM BOOLE’S LOGIC TO BOOLEAN APPLICATIONS IN COMPUTER SCIENCE
Освітній дискурс, 2021 Urgency of the research. We consider crucial to distinguish between the original Boole’s logic and its modern development as Boolean logic in order to understand their theoretical and applied capacities.
Mohamad Awwad
doaj +1 more source
Logic and handling of algebraic effects [PDF]
, 2010 In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational effects, which admit a representation by an equational theory. Their examples include exceptions, nondeterminism, interactive input and output, state,
Pretnar, Matija
core
Graphical Encoding of a Spatial Logic for the pi-Calculus [PDF]
, 2007 This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the ...
Gadducci, Fabio +4 more
core +1 more source
Agribusiness, EarlyView.ABSTRACT Innovation is essential for competitiveness in agribusiness facing dynamic environments. This study examines how market orientation, marketing, relational, and social capabilities influence innovation performance. Using data from 751 Spanish firms and a multi‐method approach that integrates Structural Equation Modeling (PLS‐SEM), Necessary ...
Beatriz Corchuelo Martínez‐Azúa +1 more
wiley +1 more source
Towards an algebrization of a linear temporal logic
CQD Revista Eletrônica Paulista de MatemáticaThe subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas +2 more
doaj +1 more source
Algebraic models for a second-order modal logic [PDF]
, 2009 We propose a predicative modal logic of the second order for expressing properties of the evolution of software systems. Each state of a system is specified as a unary algebra, and our logics allows to formalize the problem of verifying the properties of
VANDIN, ANDREA
core
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
Advanced Intelligent Discovery, EarlyView.The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source