Results 21 to 30 of about 18,592,973 (299)
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
A Calculus of Mobile Resources
, 2002 We introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se.
Godskesen, J.Chr. +8 more
core +2 more sources
, 2021 Analysis is the field of mathematics that describes and analyzes quantitative changes, and the central methods are differential and integral calculus.
RICHARD, Serge
core
Frac-Vector: Better Category Representation
Fractal and Fractional, 2023 For this paper, we proposed the fractional category representation vector (FV) based on fractional calculus (FC), of which one-hot label is only the special case when the derivative order is 0. FV can be considered as a distributional representation when
Sunfu Tan, Yifei Pu
doaj +1 more source
EXPTIME tableaux for the coalgebraic mu-calculus [PDF]
, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +4 more sources
Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 This paper compares classical copying and quantum entanglement in natural language by considering the case of verb phrase (VP) ellipsis. VP ellipsis is a non-linear linguistic phenomenon that requires the reuse of resources, making it the ideal test case
Gijs Wijnholds, Mehrnoosh Sadrzadeh
doaj +1 more source
Nonlinear Analysis, 2009 One considers the motion of nonlinear systems close to their equilibrium positions in the presence of coarse-graining in time on the one hand, and coarse-graining in time on the other hand.
G. Jumarie
doaj +1 more source
Fractal and Entropy Analysis of the Dow Jones Index Using Multidimensional Scaling
Entropy, 2020 Financial time series have a fractal nature that poses challenges for their dynamical characterization. The Dow Jones Industrial Average (DJIA) is one of the most influential financial indices, and due to its importance, it is adopted as a test bed for ...
José A. Tenreiro Machado
doaj +1 more source
The one variable implicational calculus.
Notre Dame Journal of Formal Logic, 1974 The axiomatization given by \textit{H. W. Johnson} and \textit{R. Price} [Theoria 30, 1--4 (1964)], is shown to be inadequate. A correct presentation of the one variable implicational calculus based on a single (rejected) axiom and four rules of inference is given. This is akin to the computable Protothetics of Leśniewski.
openaire +4 more sources
Modeling SpaceWire networks with network calculus [PDF]
, 2011 The SpaceWire network standard is promoted by the ESA and is scheduled to be used as the sole on-board network for future satellites. This network uses a wormhole routing mechanism that can lead to packet blocking in routers and consequently to variable ...
Frances, Fabrice +5 more
core +1 more source