A semantic characterization of a useful fragment of the situation calculus with knowledge Fulltext Access 23 Pages 2011
On the resolution-based family of abstract argumentation semantics and its grounded instance Fulltext Access 23 Pages 2011
External designers in product design processes of small manufacturing firms Fulltext Access 23 Pages 2011
Computing rank dependent utility in graphical models for sequential decision problems Fulltext Access 24 Pages 2011
The effects of physical prototyping and group work on the reduction of design fixation Fulltext Access 24 Pages 2011
What can talk tell us about design?: Analyzing conversation to understand practice Fulltext Access 24 Pages 2011
On a nonlinear wave equation with boundary conditions involved in a Cauchy problem Fulltext Access 24 Pages 2011
Existence, uniqueness and behavior of solutions for a class of nonlinear parabolic problems Fulltext Access 24 Pages 2011
How strange can an attractor for a dynamical system in a 3-manifold look? Fulltext Access 24 Pages 2011
On the dynamics of a fluid–particle interaction model: The bubbling regime Fulltext Access 24 Pages 2011
Silicon nanowire field-effect transistor-based biosensors for biomedical diagnosis and cellular recording investigation Fulltext Access 24 Pages 2011
On a fully nonlinear degenerate parabolic system modeling immiscible gas–water displacement in porous media Fulltext Access 25 Pages 2011
Local search with edge weighting and configuration checking heuristics for minimum vertex cover Fulltext Access 25 Pages 2011
Noble metal nanomaterials: Controllable synthesis and application in fuel cells and analytical sensors Fulltext Access 25 Pages 2011
Mechanism design for the truthful elicitation of costly probabilistic estimates in distributed information systems Fulltext Access 25 Pages 2011
Decision-theoretic planning with generalized first-order decision diagrams Fulltext Access 25 Pages 2011
The cultural adaptation of web design to local industry styles: A comparative study Fulltext Access 25 Pages 2011
Quasi-static and pseudo-dynamic testing of infilled RC frames retrofitted with CFRP material Fulltext Access 26 Pages 2011
A critical review of experimental results and constitutive descriptions for metals and alloys in hot working Fulltext Access 27 Pages 2011
Local closed world reasoning with description logics under the well-founded semantics Fulltext Access 27 Pages 2011
Time maps and exact multiplicity results for one-dimensional prescribed mean curvature equations Fulltext Access 27 Pages 2011
On the ERA ranking representability of pairwise bipartite ranking functions Fulltext Access 28 Pages 2011
Comparing collaborative co-located and distributed design processes in digital and traditional sketching environments: A protocol study using the function–behaviour–structure coding scheme Fulltext Access 29 Pages 2011
Boundary stabilization of structural acoustic interactions with interface on a Reissner–Mindlin plate Fulltext Access 29 Pages 2011
Global uniqueness and stability in determining the damping and potential coefficients of an inverse hyperbolic problem Fulltext Access 29 Pages 2011
Topological structure of solution sets for impulsive differential inclusions in Fréchet spaces Fulltext Access 29 Pages 2011
Generalized Besicovitch spaces and applications to deterministic homogenization Fulltext Access 29 Pages 2011
A condensed semantics for qualitative spatial reasoning about oriented straight line segments Fulltext Access 29 Pages 2011
Dynamical analysis of a sex-structured Chlamydia trachomatis transmission model with time delay Fulltext Access 30 Pages 2011
Characterization of the finite weak singularities of quadratic systems via invariant theory Fulltext Access 30 Pages 2011
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure Fulltext Access 30 Pages 2011
Bounded approximate decentralised coordination via the max-sum algorithm Fulltext Access 30 Pages 2011
Efficient solutions to factored MDPs with imprecise transition probabilities Fulltext Access 30 Pages 2011
Modular-E and the role of elaboration tolerance in solving the qualification problem Fulltext Access 30 Pages 2011
Weighted argument systems: Basic definitions, algorithms, and complexity results Fulltext Access 30 Pages 2011
Understanding design skills of the Generation Y: An exploration through the VR-KiDS project Fulltext Access 30 Pages 2011
Belief extrapolation (or how to reason about observations and unpredicted change) Fulltext Access 31 Pages 2011
A rate-dependent incremental variational formulation of ferroelectricity Fulltext Access 31 Pages 2011
Thermodynamics and analysis of rate-independent adhesive contact at small strains Fulltext Access 32 Pages 2011
Developing a knowledge management system for storing and using the design knowledge acquired in the process of a user-centered design of the next generation information appliances Fulltext Access 32 Pages 2011
Semantic linking through spaces for cyber-physical-socio intelligence: A methodology Fulltext Access 32 Pages 2011
Creativity through design heuristics: A case study of expert product design Fulltext Access 32 Pages 2011
Variational approach to complicated similarity solutions of higher-order nonlinear PDEs. II Fulltext Access 32 Pages 2011
A new representation and associated algorithms for generalized planning Fulltext Access 33 Pages 2011
A mathematical modeling approach to the formation of urban and rural areas: Convergence of global solutions of the mixed problem for the master equation in sociodynamics Fulltext Access 33 Pages 2011
Global strong solutions of Navier–Stokes equations with interface boundary in three-dimensional thin domains Fulltext Access 34 Pages 2011
Impacts of VR 3D sketching on novice designers’ spatial cognition in collaborative conceptual architectural design Fulltext Access 37 Pages 2011
The well-designed logical robot: Learning and experience from observations to the Situation Calculus Fulltext Access 38 Pages 2011
A general framework for explaining the results of a multi-attribute preference model Fulltext Access 39 Pages 2011
Computational techniques for a simple theory of conditional preferences Fulltext Access 39 Pages 2011
Algorithms and mechanisms for procuring services with uncertain durations using redundancy Fulltext Access 40 Pages 2011
Approximation of action theories and its application to conformant planning Fulltext Access 41 Pages 2011
Solving conflicts in information merging by a flexible interpretation of atomic propositions Fulltext Access 41 Pages 2011
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning Fulltext Access 42 Pages 2011
How does a box work? A study in the qualitative dynamics of solid objects Fulltext Access 47 Pages 2011