Results 41 to 50 of about 325,879 (356)
Timed pushdown automata revisited [PDF]
, 2015 This paper contains two results on timed extensions of pushdown automata (PDA). As our first result we prove that the model of dense-timed PDA of Abdulla et al. collapses: it is expressively equivalent to dense-timed PDA with timeless stack. Motivated by
Clemente, Lorenzo, Lasota, Sławomir
core +1 more source
Supernova classes and subclasses [PDF]
AIP Conference Proceedings, 2007 The discovery of many objects with unprecedented, amazing observational characteristics caused the last decade to be the most prolific period for the supernova research. Many of these new supernovae are transitional objects between existing classes, others well enter within the defined classes, but still show unique properties.
Massimo Turatto +4 more
openaire +2 more sources
Frontiers in Plant Science, 2016 Cucumber (Cucumis sativus L.) is threatened by substantial yield losses due to the south root-knot nematode (Meloidogyne incognita). However, understanding of the molecular mechanisms underlying the process of nematode infection is still limited. In this
Bin Liu +12 more
doaj +1 more source
Identification of Piecewise Linear Models of Complex Dynamical Systems
, 2011 The paper addresses the realization and identification problem or a subclass of piecewise-affine hybrid systems. The paper provides necessary and sufficient conditions for existence of a realization, a characterization of minimality, and an ...
Peeters, Ralf L. M. +2 more
core +2 more sources
Classification of five-point differential-difference equations
, 2016 Using the generalized symmetry method, we carry out, up to autonomous point transformations, the classification of integrable equations of a subclass of the autonomous five-point differential-difference equations.
Garifullin, R. N. +2 more
core +2 more sources
Maximum Independent Sets in Subcubic Graphs: New Results [PDF]
, 2018 The maximum independent set problem is known to be NP-hard in the class of subcubic graphs, i.e. graphs of vertex degree at most 3. We present a polynomial-time solution in a subclass of subcubic graphs generalizing several previously known ...
A Brandstädt +11 more
core +3 more sources
Malaria Journal, 2019 Background A malaria vaccine based on Plasmodium falciparum apical membrane antigen 1 (AMA1) elicited strain specific efficacy in Malian children that waned in the second season after vaccination despite sustained AMA1 antibody titers.
Andrea A. Berry +20 more
doaj +1 more source
A decidable subclass of finitary programs
, 2010 Answer set programming - the most popular problem solving paradigm based on logic programs - has been recently extended to support uninterpreted function symbols. All of these approaches have some limitation.
Baselice, Sabrina, Bonatti, Piero A.
core +1 more source
Integrability versus separability for the multi-centre metrics
, 2003 The multi-centre metrics are a family of euclidean solutions of the empty space Einstein equations with self-dual curvature. For this full class, we determine which metrics do exhibit an extra conserved quantity quadratic in the momenta, induced by a ...
Valent, Galliano
core +2 more sources