Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata Fulltext Access 17 Pages 2013
A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach Fulltext Access 17 Pages 2013
Projective dimension, graph domination parameters, and independence complex homology Fulltext Access 17 Pages 2013
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids Fulltext Access 17 Pages 2013
Four-regular graphs with rigid vertices associated to DNA recombination Fulltext Access 17 Pages 2013
Polygonal estimation of planar convex-set perimeter from its two projections Fulltext Access 17 Pages 2013
Exploiting product forms solution techniques in multiformalism modeling Fulltext Access 17 Pages 2013
Energy, Hosoya index and Merrifield–Simmons index of trees with prescribed degree sequence Fulltext Access 18 Pages 2013
On a generalization of Abelian equivalence and complexity of infinite words Fulltext Access 18 Pages 2013
On the approximability and exact algorithms for vector domination and related problems in graphs Fulltext Access 18 Pages 2013
Strongly regular Cayley graphs, skew Hadamard difference sets, and rationality of relative Gauss sums Fulltext Access 18 Pages 2013
PEPAʼd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study Fulltext Access 18 Pages 2013
Chorded complexes and a necessary condition for a monomial ideal to have a linear resolution Fulltext Access 18 Pages 2013
Counting plane graphs: Perfect matchings, spanning cycles, and Kasteleynʼs technique Fulltext Access 18 Pages 2013
Vietoris–Rips complexes also provide topologically correct reconstructions of sampled shapes Fulltext Access 18 Pages 2013
Convex hull of points lying on lines in o(nlogn) time after preprocessing Fulltext Access 18 Pages 2013
A reciprocity method for computing generating functions over the set of permutations with no consecutive occurrence of a permutation pattern Fulltext Access 18 Pages 2013
Approximating the least core value and least core of cooperative games with supermodular costs Fulltext Access 18 Pages 2013
The Rogers–Ramanujan–Gordon identities, the generalized Göllnitz–Gordon identities, and parity questions Fulltext Access 19 Pages 2013
Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking Fulltext Access 19 Pages 2013
Approximation of a maximum-submodular-coverage problem involving spectral functions, with application to experimental designs Fulltext Access 19 Pages 2013
Two characterisations of the minimal triangulations of permutation graphs Fulltext Access 19 Pages 2013
Group divisible designs with block size four and group type gum1 for more small g Fulltext Access 19 Pages 2013
A qq-multinomial expansion of LLT coefficients and plethysm multiplicities Fulltext Access 19 Pages 2013
Under-approximation of Reachability in Multivalued Asynchronous Networks Fulltext Access 19 Pages 2013
Differential spectrum of some power functions in odd prime characteristic Fulltext Access 19 Pages 2013
Log-concavity, ultra-log-concavity, and a maximum entropy property of discrete compound Poisson measures Fulltext Access 19 Pages 2013
A compound determinant identity for rectangular matrices and determinants of Schur functions Fulltext Access 20 Pages 2013
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications Fulltext Access 20 Pages 2013