Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

P-complete

Related publications (26)

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Andrew Joseph Reynolds

We prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...

Springer-Verlag Berlin2015

Progressive Geometric Algorithms

Timur Bagautdinov

Progressive algorithms are algorithms that, on the way to computing a complete solution to the problem at hand, output intermediate solutions that approximate the complete solution increasingly well. We present a framework for analyzing such algorithms, an ...

Carleton Univ, Dept Mathematics & Statistics2015

Improved analytical solutions for the response of underground excavations in rock masses satisfying the generalized Hoek-Brown failure criterion

Vincent Labiouse

Analytical solutions for tunnel design are widely used in practical engineering, as they allow a quick analysis of design issues such as estimation of support requirement. In recent years, several papers analyzing the behavior of rock masses that obey the ...

Pergamon-Elsevier Science Ltd2015

Mixed Potentials for Planar Multilayered Structures Including Conductive Interfaces

Juan Ramon Mosig, Michael Mattes, Ioannis Koufogiannis

A complete and automatized strategy has been developed to derive the Vector and Scalar Potential Green’s Functions (GFs) of planar multilayered structures that include conductive sheets. The propagator matrix technique is enhanced to include conductive she ...

2014

Multi-Objective Airport Gate Assignment Problem in Planning and Operations

Michel Bierlaire

We consider the assignment of gates to arriving and departing flights at a large hub airport. This problem is highly complex even in planning stage when all flight arrivals and departures are assumed to be known precisely in advance. There are various cons ...

Wiley-Blackwell2014

Completeness and Ambiguity of Schema Cover

Karl Aberer, Quoc Viet Hung Nguyen, Zoltán Miklós

Given a schema and a set of concepts, representative of entities in the domain of discourse, schema cover deﬁnes correspondences between concepts and parts of the schema. Schema cover aims at interpreting the schema in terms of concepts and thus, vastly si ...

2013