Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
See detailGeneric Inference A Unifying Theory for Automated Reasoning
Pouly, Marc UL; Kohlas, Jürg

Book published by John Wiley & Sons (2011)

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single ... [more ▼]

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international authority on the topic, it includes an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a "practical" perspective (formalisms and applications). Researchers in a number of fields including artificial intelligence, operational research, databases and other areas of computer science; graduate students; and professional programmers of inference methods will benefit from this work. [less ▲]

Detailed reference viewed: 71 (0 UL)
Full Text
See detailGeneric Local Computation
Pouly, Marc UL; Schneuwly, Cesar; Kohlas, Jürg

Report (2011)

Many problems of artificial intelligence, or more generally, many problems of information processing, have a generic solution based on local computation on join trees or acyclic hypertrees. There are ... [more ▼]

Many problems of artificial intelligence, or more generally, many problems of information processing, have a generic solution based on local computation on join trees or acyclic hypertrees. There are several variants of this method all based on the algebraic structure of a valuation algebra. A strong requirement underlying this approach is that the elements of a problem decomposition form a join tree. Although it is always possible to construct covering join trees, if the requirement is originally not satisfied, it is not always possible or not efficient to extend the elements of the decomposition to the covering join tree. Therefore in this paper different variants of an axiomatic framework of valuation algebras are introduced which prove sufficient for local computation without the need of an extension of the factors of a decomposition. This framework covers the axiomatic system proposed by (Shenoy & Shafer, 1990). A particular emphasis is laid on the important special cases of idempotent algebras and algebras with some notion of division. It is shown that all well-known architectures for local computation like the Shenoy-Shafer architecture, Lauritzen-Spiegelhalter and HUGIN architectures may be adapted to this new framework. Further a new architecture for idempotent algebras is presented. As examples, in addition to the classical instances of valuation algebras, semiring induced valuation algebras, Gaussian potentials and the relational algebra are presented. [less ▲]

Detailed reference viewed: 71 (0 UL)
See detailGeneric Solution Construction in Valuation-Based Systems
Pouly, Marc UL

in Butz, Cory; Lingras, Pawan (Eds.) Advances in Artificial Intelligence (2011)

Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notions of solutions ... [more ▼]

Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notions of solutions. Typical examples are satisfying assignments in constraint systems, models in logics or solutions to linear equation systems. Contrary to inference, there is no general algorithm to compute solutions in arbitrary valuation algebras. This paper states formal requirements for the presence of solutions and proposes a generic algorithm for solution construction based on the results of a previously executed inference scheme. We study the application of generic solution construction to semiring constraint systems, sparse linear systems and algebraic path problems and show that the proposed method generalizes various existing approaches for specific formalisms in the literature. [less ▲]

Detailed reference viewed: 88 (1 UL)
See detailGenetic Algorithm based roadmapping: A method for product innovation
Suzianti, Amalia UL

Doctoral thesis (2011)

Detailed reference viewed: 123 (3 UL)
Peer Reviewed
See detailThe Genetics Lab: An Innovative Tool for Assessment of Intelligence by Mean of Complex Problem Solving
Hazotte, Cyril; Mayer, Hélène; Djaghloul, Younes et al

Scientific Conference (2011)

Detailed reference viewed: 74 (0 UL)
Full Text
See detailA Geographical Analysis of Bicycle Sharing Systems
Médard de Chardon, Cyrille UL

Doctoral thesis (2016)

This thesis evaluates the performance of bicycle sharing systems (BSS), autonomous systems of accessible bicycles that can be easily used for one way trips, and determines whether they are successful at ... [more ▼]

This thesis evaluates the performance of bicycle sharing systems (BSS), autonomous systems of accessible bicycles that can be easily used for one way trips, and determines whether they are successful at achieving promoted social and environmental outcomes through quantitative and qualitative methods. Such systems are typically surrounded by positive narratives of success, health, environmental and social benefits. This work challenges these notions. This thesis begins with the formalisation of BSS station level and trip data revealing alternative data contained within. Combined with spatiotemporal data analysis, this allows the estimation of trips, a potential measure of success. Due to most operators not providing consistent or comparable metrics of usage this work opens this heavily promoted technological transport innovation’s performance for public scrutiny. Performance estimates of 75 case studies show a majority having less than two trips per day per bicycle, suggesting a poor investment, regardless of existing social justice issues and exaggerated environmental benefits. Using this metric this work determines which attributes impact performance. While station density and cycling infrastructure, among others, are found to impact performance, results challenge promoted practice. Formalisation yielded rebalancing, the moving of bicycles to adjust to demand exceeding supply. Spatiotemporal data analysis and interviews with operators provides the first description of applied rebalancing, providing an alternative perspective to the many theoretical optimisation models. Results show rebalancing is spatially selective and influencing BSS outcomes, potentially contrary to its purpose. Finally, this thesis, through a critical urban sustainability perspective, presents darker aspects of BSS, beyond the golden narratives, showing conflicts of interest, controversy and the commercialisation of an initially environmental and anti-consumerism concept. Existential questions are raised due to BSS, mostly privately operated, providing benefits to an already advantaged class while public space is privatised and urban advertising increased. This work concludes by suggesting that alternative investment to bicycle sharing systems, such as cycling infrastructure, may be more beneficial and just. [less ▲]

Detailed reference viewed: 388 (15 UL)
See detailGeographical Modelling with Cellular-Automata
Caruso, Geoffrey UL

Presentation (2009)

Detailed reference viewed: 45 (0 UL)
Full Text
Peer Reviewed
See detailGeometrical and material uncertainties for the mechanics of composites
Barbosa, Joaquim; Bordas, Stéphane UL; Carvalho, Andre et al

Scientific Conference (2019)

Detailed reference viewed: 82 (15 UL)
Full Text
Peer Reviewed
See detailA geometrically non-linear three-dimensional cohesive crack method for reinforced concrete structures
Rabczuk, Timon; Zi, Goangseup; Bordas, Stéphane UL et al

in Engineering Fracture Mechanics (2008), 75(16), 4740-4758

A three-dimensional meshfree method for modeling arbitrary crack initiation and crack growth in reinforced concrete structure is presented. This meshfree method is based on a partition of unity concept ... [more ▼]

A three-dimensional meshfree method for modeling arbitrary crack initiation and crack growth in reinforced concrete structure is presented. This meshfree method is based on a partition of unity concept and formulated for geometrically non-linear problems. The crack kinematics are obtained by enriching the solution space in order to capture the correct crack kinematics. A cohesive zone model is used after crack initiation. The reinforcement modeled by truss or beam elements is connected by a bond model to the concrete. We applied the method to model the fracture of several reinforced concrete structures and compared the results to experimental data. [less ▲]

Detailed reference viewed: 58 (0 UL)
Full Text
Peer Reviewed
See detailGEOMETRY-INDEPENDENT FIELD APPROXIMATION FOR SPLINE-BASED FINITE ELEMENT METHODS
Xu, Gang; Atroshchenko, Elena; Bordas, Stéphane UL

in Proceedings of the 11th World Congress in Computational Mechanics (2014, July)

We propose a discretization scheme where the spline spaces used for the geometry and the field variables can be chosen independently in spline-based FEM. he method is thus applicable to arbitrary domains ... [more ▼]

We propose a discretization scheme where the spline spaces used for the geometry and the field variables can be chosen independently in spline-based FEM. he method is thus applicable to arbitrary domains with spline representation. (2) It is possible to flexibly choose between different spline spaces with different properties to better represent the solution of the PDE, e.g. the continuity of the solution field. (3) Refinement operations by knot insertion and degree elevation are performed directly on the spline space of the solution field, independently of the spline space of the geometry of the domain, i.e. the parameterization of the given geometry is not altered during the refinement process. Hence, the initial design can be optimized in the subsequent shape optimization stage without constraining the geometry discretization space to conform to the field approximation space. [less ▲]

Detailed reference viewed: 513 (12 UL)
Full Text
Peer Reviewed
See detailGeometry-Independent Field approximaTion: CAD-Analysis Integration, geometrical exactness and adaptivity
Xu, Gang; Atroshchenko, Elena; Ma, Weiyin et al

in Computer Methods in Applied Mechanics & Engineering (2014)

In isogeometric analysis (IGA), the same spline representation is employed for both the geometry of the domain and approximation of the unknown fields over this domain. This identity of the geometry and ... [more ▼]

In isogeometric analysis (IGA), the same spline representation is employed for both the geometry of the domain and approximation of the unknown fields over this domain. This identity of the geometry and field approximation spaces was put forward in the now classic 2005 paper [20] as a key advantage on the way to the integration of Computer Aided Design (CAD) and subsequent analysis in Computer Aided Engineering (CAE). [20] claims indeed that any change to the geometry of the domain is automatically inherited by the approximation of the field variables, without requiring the regeneration of the mesh at each change of the domain geometry. Yet, in Finite Element versions of IGA, a parameterization of the interior of the domain must still be constructed, since CAD only provides information about the boundary. The identity of the boundary and field representation decreases the flexibility in which this parameterization can be generated and somewhat constrains the modeling and simulation process, because an approximation able to represent the domain geometry accurately need not be adequate to also approximate the field variables accurately, in particular when the solution is not smooth. We propose here a new paradigm called Geometry-Independent Field approximaTion (GIFT) where the spline spaces used for the geometry and the field variables can be chosen and adapted independently while preserving geometric exactness and tight CAD integration. GIFT has the following features: (1) It is possible to flexibly choose between different spline spaces with different properties to better represent the solution of the problem, e.g. the continuity of the solution field, boundary layers, singularities, whilst retaining geometrical exactness of the domain boundary. (2) For multi-patch analysis, where the domain is composed of several spline patches, the continuity condition between neighboring patches on the solution field can be automatically guaranteed without additional constraints in the variational form. (3) Refinement operations by knot insertion and degree elevation are performed directly on the spline space of the solution field, independently of the spline space of the geometry of the domain, which makes the method versatile. GIFT with PHT-spline solution spaces and NURBS geometries is used to show the effectiveness of the proposed approach. Keywords : Super-parametric methods, Isogeometric analysis (IGA), Geometry-independent Spline Space, PHT-splines, local refinement, adaptivity [less ▲]

Detailed reference viewed: 1025 (29 UL)
See detailGestural Interfaces for Elderly Users - Help or Hindrance?
Stossel, Christian UL

Doctoral thesis (2012)

Detailed reference viewed: 86 (1 UL)
Full Text
Peer Reviewed
See detailGlobal analysis of piecewise linear systems using impact maps and quadratic surface Lyapunov functions
Goncalves, Jorge UL; Megretski, A.; Dahleh, M. A.

in Proceedings of the European Control Conference (ECC) 2001 (2001)

In this paper we develop an entirely new constructive global analysis methodology for a class of hybrid systems known as Piecewise Linear Systems (PLS). This methodology consists in inferring global ... [more ▼]

In this paper we develop an entirely new constructive global analysis methodology for a class of hybrid systems known as Piecewise Linear Systems (PLS). This methodology consists in inferring global properties of PLS solely by studying their behavior at switching surfaces associated with PLS. The main idea is to analyze impact maps, i.e., maps from one switching surface to the next switching surface, by constructing quadratic Lyapunov functions on switching surfaces. We found that an impact map induced by an LTI flow between two switching surfaces can be represented as a linear transformation analytically parameterized by a scalar function of the state. This representation of impact maps allows the search for quadratic surface Lyapunov functions to be done by simply solving a set of LMIs. Global asymptotic stability, robustness, and performance of limit cycles and equilibrium points of PLS can this way be efficiently checked. These new results were successfully applied to certain classes of PLS. Although this analysis methodology yields only sufficient criteria of stability, it has shown to be very successful in globally analyzing a large number of examples with a locally stable limit cycle or equilibrium point. In fact, it is still an open problem whether there exists an example with a globally stable limit cycle or equilibrium point that cannot be successfully analyzed with this new methodology. Examples analyzed include systems of relative degree larger than one and of high dimension, for which no other analysis methodology could be applied. [less ▲]

Detailed reference viewed: 73 (0 UL)
Full Text
Peer Reviewed
See detailGlobal analysis of piecewise linear systems using impact maps and quadratic surface Lyapunov functions
Goncalves, Jorge UL; Megretski, A.; Dahleh, M.

in IEEE Transactions on Automatic Control (2003), 48(12), 2089-2106

This paper presents an entirely new constructive global analysis methodology for a class of hybrid systems known as piecewise linear systems (PLS). This methodology infers global properties of PLS solely ... [more ▼]

This paper presents an entirely new constructive global analysis methodology for a class of hybrid systems known as piecewise linear systems (PLS). This methodology infers global properties of PLS solely by studying the behavior at switching surfaces associated with PLS. The main idea is to analyze impact maps, i.e., maps from one switching surface to the next switching surface. Such maps are known to be “unfriendly” maps in the sense that they are highly nonlinear, multivalued, and not continuous. We found, however, that an impact map induced by an linear time-invariant flow between two switching surfaces can be represented as a linear transformation analytically parametrized by a scalar function of the state. This representation of impact maps allows the search for surface Lyapunov functions (SuLF) to be done by simply solving a semidefinite program, allowing global asymptotic stability, robustness, and performance of limit cycles and equilibrium points of PLS to be efficiently checked. This new analysis methodology has been applied to relay feedback, on/off and saturation systems, where it has shown to be very successful in globally analyzing a large number of examples. In fact, it is still an open problem whether there exists an example with a globally stable limit cycle or equilibrium point that cannot be successfully analyzed with this new methodology. Examples analyzed include systems of relative degree larger than one and of high dimension, for which no other analysis methodology could be applied. This success in globally analyzing certain classes of PLS has shown the power of this new methodology, and suggests its potential toward the analysis of larger and more complex PLS. [less ▲]

Detailed reference viewed: 127 (1 UL)
Full Text
Peer Reviewed
See detailGlobal Asymptotic Stability of Oscillations with Sliding Modes
Goncalves, Jorge UL

in Proceedings of the 15th IFAC World Congress (2003)

This paper explores a new methodology based on quadratic surface Lyapunov functions to globally analyze oscillations with sliding modes in relay feedback systems (RFS). The method consists in efficiently ... [more ▼]

This paper explores a new methodology based on quadratic surface Lyapunov functions to globally analyze oscillations with sliding modes in relay feedback systems (RFS). The method consists in efficiently construct quadratic Lyapunov functions on switching surfaces that can be used to show that impact maps, i.e., maps from one switch to the next, are contracting. This, in turn, shows that the system is globally stable. Several classes of piecewise linear systems (PLS) were previously successfully analyzed with this methodology. In this paper, we consider PLS whose trajectories switch between subsystems of different dimensions. We present and discuss distinct relaxations leading to sufficient conditions of different conservatism and computationally complexity. The results in this paper open the door to the analysis of other, more complex classes of PLS. [less ▲]

Detailed reference viewed: 67 (0 UL)
Full Text
Peer Reviewed
See detailGlobal asymptotic stability of the limit cycle in piecewise linear versions of the Goodwin oscillator
Salinas Varela, A. A.; Stan, G. B. V.; Goncalves, Jorge UL

in Proceedings of the 17th IFAC World Congress (2008)

Conditions in the form of linear matrix inequalities (LMIs) are used in this paper to guarantee the global asymptotic stability of a limit cycle oscillation for a class of piecewise linear (PWL) systems ... [more ▼]

Conditions in the form of linear matrix inequalities (LMIs) are used in this paper to guarantee the global asymptotic stability of a limit cycle oscillation for a class of piecewise linear (PWL) systems defined as the feedback interconnection of a saturation controller with a single input, single output (SISO) linear time-invariant (LTI) system. The proposed methodology extends previous results on impact maps and surface Lyapunov functions to the case when the sets of expected switching times are arbitrarily large. The results are illustrated on a PWL version of the Goodwin oscillator. [less ▲]

Detailed reference viewed: 154 (0 UL)
Full Text
Peer Reviewed
See detailGlobal energy minimization for multi-crack growth in linear elastic fracture using the extended finite element method
Bordas, Stéphane UL

Scientific Conference (2014, April 02)

We investigate multiple fracture evolution under quasi-static conditions in an isotropic linear elastic solid based on the principle of minimum potential elastic energy in the framework of the extended ... [more ▼]

We investigate multiple fracture evolution under quasi-static conditions in an isotropic linear elastic solid based on the principle of minimum potential elastic energy in the framework of the extended finite element method. The technique enables a minimization of the potential energy with respect to all crack increment directions. Results show that the maximum hoop stress criterion and the energy minimization approach converge to the same fracture path. It is found that the converged solution lies in between the fracture paths obtained by each criterion for coarser meshes. This presents an opportunity to estimate an upper and lower bound of the true fracture path as well as an error on the crack path [less ▲]

Detailed reference viewed: 288 (15 UL)
Full Text
See detailGlobal energy minimization for multiple fracture growth
Sutula, Danas; Bordas, Stéphane UL

Report (2013)

Detailed reference viewed: 189 (5 UL)