Distance-regular graphs of q-Racah type and the universal Askey-Wilson algebra Fulltext Access 15 Pages 2014
On the number of monochromatic solutions of integer linear systems on abelian groups Fulltext Access 15 Pages 2014
On the exact size of maximum impulse radio sequences with parameters (m,k,λ,k−1)(m,k,λ,k−1) Fulltext Access 15 Pages 2014
Sensor networks: From dependence analysis via matroid bases to online synthesis Fulltext Access 16 Pages 2014
Statistics on parallelogram polyominoes and a q,tq,t-analogue of the Narayana numbers Fulltext Access 16 Pages 2014
Accelerated execution of P systems with active membranes to solve the N-queens problem Fulltext Access 16 Pages 2014
Laurent biorthogonal polynomials, q-Narayana polynomials and domino tilings of the Aztec diamonds Fulltext Access 16 Pages 2014
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs Fulltext Access 16 Pages 2014
Optimal axis compensation in quantum key distribution protocols over unital channels Fulltext Access 16 Pages 2014
Alternative MIP formulations for an integrated shift scheduling and task assignment problem Fulltext Access 16 Pages 2014
Antichains and completely separating systems—A catalogue and applications Fulltext Access 16 Pages 2014
k-Block parallel addition versus 1-block parallel addition in non-standard numeration systems Fulltext Access 16 Pages 2014
STLâ: Extending signal temporal logic with signal-value freezing operator Fulltext Access 16 Pages 2014
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus Fulltext Access 16 Pages 2014
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language Fulltext Access 16 Pages 2014
On the Gorensteinness of broken circuit complexes and Orlik-Terao ideals Fulltext Access 17 Pages 2014
MacWilliams' Extension Theorem for bi-invariant weights over finite principal ideal rings Fulltext Access 17 Pages 2014
Antiferromagnetic Ising model in triangulations with applications to counting perfect matchings Fulltext Access 17 Pages 2014
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage Fulltext Access 17 Pages 2014
A constant factor approximation algorithm for boxicity of circular arc graphs Fulltext Access 18 Pages 2014
Analysis of speedups in parallel evolutionary algorithms and (1+λ)(1+λ) EAs for combinatorial optimization Fulltext Access 18 Pages 2014
Maxwell-independence: a new rank estimate for the 3-dimensional generic rigidity matroid Fulltext Access 18 Pages 2014
Frobenius circulant graphs of valency six, Eisenstein–Jacobi networks, and hexagonal meshes Fulltext Access 18 Pages 2014
On the advice complexity of the online L(2,1)L(2,1)-coloring problem on paths and cycles Fulltext Access 18 Pages 2014
Diagonal forms of incidence matrices associated with t-uniform hypergraphs Fulltext Access 19 Pages 2014
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras Fulltext Access 19 Pages 2014
Modeling and Verification of CAN Bus with Application Layer using UPPAAL Fulltext Access 19 Pages 2014
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms Fulltext Access 19 Pages 2014
An approach to conditional diagnosability analysis under the PMC model and its application to torus networks Fulltext Access 19 Pages 2014
Average-case linear-time similar substring searching by the q-gram distance Fulltext Access 19 Pages 2014
On terminal forms for topological polynomials for ribbon graphs: The NN-petal flower Fulltext Access 19 Pages 2014
The choice of the offspring population size in the (1,λ1,λ) evolutionary algorithm Fulltext Access 19 Pages 2014
Hybrid GRASP Heuristics to Solve an Unrelated Parallel Machine Scheduling Problem with Earliness and Tardiness Penalties Fulltext Access 20 Pages 2014
Multidimensional cellular automata: closing property, quasi-expansivity, and (un)decidability issues Fulltext Access 20 Pages 2014
On the number of realizations of certain Henneberg graphs arising in protein conformation Fulltext Access 20 Pages 2014
On effective construction of the greatest solution of language inequality XA⊆BXXA⊆BX Fulltext Access 20 Pages 2014
Edge-colorings of graphs avoiding fixed monochromatic subgraphs with linear Turán number Fulltext Access 20 Pages 2014
A generalization of the quadrangulation relation to constellations and hypermaps Fulltext Access 21 Pages 2014
A collapse theorem for holographic algorithms with matchgates on domain size at most 4 Fulltext Access 21 Pages 2014
A metamodel of access control for distributed environments: Applications and properties Fulltext Access 21 Pages 2014
MinMax-profiles: A unifying view of common intervals, nested common intervals and conserved intervals of K permutations Fulltext Access 22 Pages 2014