Characterization of Single Cycle CA and its Application in Pattern Classification Fulltext Access 23 Pages 2009
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities Fulltext Access 23 Pages 2009
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems Fulltext Access 24 Pages 2009
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting Fulltext Access 24 Pages 2009
Application of Queueing Network Models in the Performance Evaluation of Database Designs Fulltext Access 24 Pages 2009
An operator formula for the number of halved monotone triangles with prescribed bottom row Fulltext Access 24 Pages 2009
Perfect matchings in large uniform hypergraphs with large minimum collective degree Fulltext Access 24 Pages 2009
Improved compact linearizations for the unconstrained quadratic 0–1 minimization problem Fulltext Access 24 Pages 2009
Dynamics of Quality Perception in a Social Network: A Cellular Automaton Based Model in Aesthetics Services Fulltext Access 24 Pages 2009
A continuous family of partition statistics equidistributed with length Fulltext Access 25 Pages 2009
Transversal structures on triangulations: A combinatorial study and straight-line drawings Fulltext Access 25 Pages 2009
Hilbert series of invariants, constant terms and Kostka–Foulkes polynomials Fulltext Access 25 Pages 2009
The Andrews–Stanley partition function and Al-Salam–Chihara polynomials Fulltext Access 25 Pages 2009
New cases of Reay’s conjecture on partitions of points into simplices with kk-dimensional intersection Fulltext Access 25 Pages 2009
An efficient local approach to convexity testing of piecewise-linear hypersurfaces Fulltext Access 26 Pages 2009
Tight spans of distances and the dual fractionality of undirected multiflow problems Fulltext Access 26 Pages 2009
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences Fulltext Access 26 Pages 2009
Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) Fulltext Access 26 Pages 2009
The cross covariogram of a pair of polygons determines both polygons, with a few exceptions Fulltext Access 26 Pages 2009
A universal programmable fiber architecture for the representation of a general incompressible linearly elastic material as a fiber-reinforced fluid Fulltext Access 26 Pages 2009
On the Expressive Power of Schedulers in Distributed Probabilistic Systems Fulltext Access 27 Pages 2009
Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems Fulltext Access 27 Pages 2009
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving Fulltext Access 28 Pages 2009
Number of irreducible polynomials and pairs of relatively prime polynomials in several variables over finite fields Fulltext Access 28 Pages 2009
Structure and enumeration of two-connected graphs with prescribed three-connected components Fulltext Access 29 Pages 2009
Representations of Aut(A(Γ)) acting on homogeneous components of A(Γ) and A!(Γ) Fulltext Access 29 Pages 2009
Invariants, Kronecker products, and combinatorics of some remarkable Diophantine systems Fulltext Access 30 Pages 2009
On the theory of resonances in non-relativistic quantum electrodynamics and related models Fulltext Access 30 Pages 2009
Polynomial cases of graph decomposition: A complete solution of Holyer’s problem Fulltext Access 33 Pages 2009
Frame cellular automata: Configurations, generating sets and related matroids Fulltext Access 33 Pages 2009
Zero-free regions for multivariate Tutte polynomials (alias Potts-model partition functions) of graphs and matroids Fulltext Access 35 Pages 2009
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study Fulltext Access 35 Pages 2009
Parabolic Kazhdan–Lusztig polynomials, plethysm and generalized Hall–Littlewood functions for classical types Fulltext Access 35 Pages 2009
Even-hole-free graphs that do not contain diamonds: A structure theorem and its consequences Fulltext Access 68 Pages 2009
Kernel density in the study of the strong stability of the M/M/1M/M/1 queueing system Fulltext Access 4 Pages 2008
On polynomial cases of the unichain classification problem for Markov Decision Processes Fulltext Access 4 Pages 2008
A single supplier–single retailer system with an order-up-to level inventory policy Fulltext Access 4 Pages 2008
A sample-path approach to the optimality of echelon order-up-to policies in serial inventory systems Fulltext Access 4 Pages 2008
The influence of the node criticality relation on some measures of component importance Fulltext Access 4 Pages 2008