Results 91 to 100 of about 65,035 (289)
Petri nets and algebraic specifications
Theoretical Computer Science, 1991 Petri nets with structured tokens are defined using the formalism of abstract data types. Ground terms thereby are used to represent the markings. This gives a new, and hopefully more adequate setting for what is known from other high-level Petri nets. Place and transition invariants can be calculated using term substitution.
openaire +2 more sources
A partial envelope approach for modelling multivariate spatial‐temporal data
Canadian Journal of Statistics, EarlyView.Abstract In the new era of big data, modelling multivariate spatial‐temporal data is a challenging task due to both the high dimensionality of the features and complex associations among the responses across different locations and time points.
Reisa Widjaja +3 more
wiley +1 more source
THE FORMALIZED MATHEMATICAL CONTENT COGNITIVE MANAGEMENT
Современные информационные технологии и IT-образование, 2018 Problem of the formalized mathematical content management for any given subject domain is considered. The content represented by domain ontology as the unified variety of elementary knowledge classes and relations for such classes as subject domain ...
Konstantin I. Kostenko +1 more
doaj +1 more source
Self‐Similar Blowup for the Cubic Schrödinger Equation
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT We give a rigorous proof for the existence of a finite‐energy, self‐similar solution to the focusing cubic Schrödinger equation in three spatial dimensions. The proof is computer‐assisted and relies on a fixed point argument that shows the existence of a solution in the vicinity of a numerically constructed approximation.
Roland Donninger, Birgit Schörkhuber
wiley +1 more source
Side Channel Leakages Against Financial IC Card of the Republic of Korea
Applied Sciences, 2018 Integrated circuit (IC) chip cards are commonly used in payment system applications since they can provide security and convenience simultaneously. More precisely, Europay, MasterCard, and VISA (EMV) are widely known to be well equipped with security ...
Yoo-Seung Won +2 more
doaj +1 more source
, 2009 Let Q_0 denote the rational numbers expanded to a meadow by totalizing inversion such that 0^{-1}=0. Q_0 can be expanded by a total sign function s that extracts the sign of a rational number.
Bergstra, Jan A., Bethke, I.
core +2 more sources
A Few Considerations on Structural and Logical Composition in Specification Theories
, 2011 Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms.
Alexandre David +13 more
core +2 more sources
Algebraic specification of reactive systems
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Invariant Measure and Universality of the 2D Yang–Mills Langevin Dynamic
Communications on Pure and Applied Mathematics, EarlyView.ABSTRACT We prove that the Yang–Mills (YM) measure for the trivial principal bundle over the two‐dimensional torus, with any connected, compact structure group, is invariant for the associated renormalised Langevin dynamic. Our argument relies on a combination of regularity structures, lattice gauge‐fixing and Bourgain's method for invariant measures ...
Ilya Chevyrev, Hao Shen
wiley +1 more source
Kinetic Contribution to the Arbitrary Order Odd Frequency Moments of the Dynamic Structure Factor
Contributions to Plasma Physics, EarlyView.ABSTRACT An exact expression is derived for the kinetic contribution to the odd (arbitrary order) frequency moments of the dynamic structure factor via a finite summation that features averages of even (all lower orders) powers of the momentum over the exact momentum distribution.
Panagiotis Tolias +2 more
wiley +1 more source