Results 61 to 70 of about 160,535 (190)
RealCertify: a Maple package for certifying non-negativity
, 2018 Let $\mathbb{Q}$ (resp. $\mathbb{R}$) be the field of rational (resp. real) numbers and $X = (X_1, \ldots, X_n)$ be variables. Deciding the non-negativity of polynomials in $\mathbb{Q}[X]$ over $\mathbb{R}^n$ or over semi-algebraic domains defined by ...
Din, Mohab Safey El, Magron, Victor
core +3 more sources
General and Local: Averaged k-Dependence Bayesian Classifiers
Entropy, 2015 The inference of a general Bayesian network has been shown to be an NP-hard problem, even for approximate solutions. Although k-dependence Bayesian (KDB) classifier can construct at arbitrary points (values of k) along the attribute dependence spectrum ...
Limin Wang +3 more
doaj +1 more source
The FermiFab Toolbox for Fermionic Many-Particle Quantum Systems
, 2011 This paper introduces the FermiFab toolbox for many-particle quantum systems. It is mainly concerned with the representation of (symbolic) fermionic wavefunctions and the calculation of corresponding reduced density matrices (RDMs).
Anderson +17 more
core +1 more source
A unified approach to Fierz identities
, 2013 We summarize a unified and computationally efficient treatment of Fierz identities for form-valued pinor bilinears in various dimensions and signatures, using concepts and techniques borrowed from a certain approach to spinors known as geometric algebra.
Babalic, Elena-Mirela +2 more
core +1 more source
Symbolic computation: systems and applications
Nonlinear Analysis: Modelling and Control, 1998 The article presents an overview of symbolic computation systems, their classification-in-history, the most popular CAS, examples of systems and some of their applications. Symbolics versus numeric, enhancement in mathematics, computing nature of CAS, related projects, networks, references are discussed.
openaire +3 more sources
ASTSMAC: Application Suitable Time-Slot Sharing MAC Protocol for Vehicular Ad Hoc Networks
IEEE Access, 2019 Vehicles and roadside units can be connected by a vehicular ad hoc network (VANET), which is an important component of future intelligent transport systems that can support various safety and non-safety related services.
Shujing Li, Yanheng Liu, Jian Wang
doaj +1 more source
Cohabitation: Computation at 70, Cognition at 20 [PDF]
, 2006 Zenon Pylyshyn cast cognition's lot with computation, stretching the Church/Turing Thesis to its limit: We had no idea how the mind did anything, whereas we knew computation could do just about everything. Doing it with images would be like doing it with
Harnad, Stevan
core
Symbolic models for nonlinear control systems without stability assumptions
, 2011 Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques for the construction of such symbolic models have two main drawbacks: either
Mazo Jr., Manuel +3 more
core +2 more sources
Fairchild Symbol Computer [PDF]
IEEE Annals of the History of Computing, 2008 Under the leadership of Gordon Moore, Fairchild Semiconductor embarked on the design of a high-level time-sharing computer, Symbol IIR. In the mid-1960s, the falling costs of semiconductors made hardware seem like the logical design choice to replace common software functions. Symbol embodied that design, but to what effect?
openaire +1 more source
Symbolic Computation of Petri Nets [PDF]
, 2007 Petri nets are receiving increasing attention from the scientific community during the last few years. They provide the users with a powerful formalism for describing and analyzing a variety of information processing systems such as finite-state machines, concurrent systems, multiprocessors and parallel computation, formal languages, communication ...
Iglesias, Andres, Kapçak, Sinan
openaire +2 more sources