Improving resource allocation strategies against human adversaries in security games: An extended study Fulltext Access 30 Pages 2013
Evaluating practical negotiating agents: Results and analysis of the 2011 international competition Fulltext Access 31 Pages 2013
Teaching and leading an ad hoc teammate: Collaboration without pre-coordination Fulltext Access 31 Pages 2013
A process algebra framework for multi-scale modelling of biological systems Fulltext Access 31 Pages 2013
Approximating operators and semantics for abstract dialectical frameworks Fulltext Access 32 Pages 2013
Computing pure Bayesian-Nash equilibria in games with finite actions and continuous types Fulltext Access 34 Pages 2013
YAGO2: A spatially and temporally enhanced knowledge base from Wikipedia Fulltext Access 34 Pages 2013
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems Fulltext Access 37 Pages 2013
Model-theoretic inseparability and modularity of description logic ontologies Fulltext Access 38 Pages 2013
Capturing model-based ontology evolution at the instance level: The case of DL-Lite Fulltext Access 38 Pages 2013
Complementary cooperation, minimal winning coalitions, and power indices Fulltext Access 40 Pages 2013
A generalised framework for dispute derivations in assumption-based argumentation Fulltext Access 43 Pages 2013
Near-optimal continuous patrolling with teams of mobile information gathering agents Fulltext Access 43 Pages 2013
Interpolative and extrapolative reasoning in propositional theories using qualitative knowledge about conceptual spaces Fulltext Access 46 Pages 2013
An analysis for proving probabilistic termination of biological systems Fulltext Access 47 Pages 2013
Tight absolute bound for First Fit Decreasing bin-packing: FFD(L)⩽11/9FFD(L)⩽11/9OPT(L)+6/9OPT(L)+6/9 Fulltext Access 49 Pages 2013
Syntax and semantics of the compositional interchange format for hybrid systems Fulltext Access 52 Pages 2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences Fulltext Access 54 Pages 2013
Adaptively weighted sub-directional two-dimensional linear discriminant analysis for face recognition Fulltext Access 4 Pages 2012
On graphs for which the connected domination number is at most the total domination number Fulltext Access 4 Pages 2012
An efficient algorithm to test square-freeness of strings compressed by straight-line programs Fulltext Access 4 Pages 2012
Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs Fulltext Access 4 Pages 2012
A characterization of 1-cycle resonant graphs among bipartite 2-connected plane graphs Fulltext Access 4 Pages 2012
A straightforward approach to minimizing unsupplied energy and power loss through DG placement and evaluating power quality in relation to load variations over time Fulltext Access 4 Pages 2012
Interactions of iron–sulfur clusters with small peptides: Insights into early evolution Fulltext Access 4 Pages 2012
A note on “An optimal online algorithm for single machine scheduling to minimize total general completion time” Fulltext Access 4 Pages 2012
On the distinctness of modular reductions of primitive sequences modulo square-free odd integers Fulltext Access 4 Pages 2012
A note on asynchronous multi-exponentiation algorithm using binary representation Fulltext Access 4 Pages 2012
Single-machine scheduling with past-sequence-dependent delivery times and release times Fulltext Access 4 Pages 2012
An improved reliability bound of a probabilistic parallel integer sorting algorithm Fulltext Access 4 Pages 2012
Optimal randomized algorithm for a generalized ski-rental with interest rate Fulltext Access 4 Pages 2012
Improved approximation algorithms for the robust fault-tolerant facility location problem Fulltext Access 4 Pages 2012