The phase field method integrates the Griffith theory and damage mechanics approach to predict crack initiation, propagation, and branching within one framework. No crack tracking topology is needed, and complex crack shapes can be captures without user intervention. In this paper, a detailed description of how the phase field method is implemented with explicit dynamics into LS-DYNA is provide...

This paper discusses methods for generating or approximating the Pareto set of multiobjective optimization problems by solving a sequence of constrained single-objective problems. The necessity of determining the constraint value a priori is shown to be a serious drawback of the original epsilon-constraint method. We therefore propose a new, adaptive scheme to generate appropriate constraint va...

Hyperspectral sensors represent the most advanced instruments currently available for remote sensing of the Earth. The high spatial and spectral resolution of the images supplied by systems like the Airborne Visible Infra-Red Imaging Spectrometer (AVIRIS), developed by NASA Jet Propulsion Laboratory, allows their exploitation in diverse applications, such as detection and control of wildland fi...

We study Probabilistic Workflow Nets (PWNs), a model extending van der Aalst’s workflow nets with probabilities. We give a semantics for PWNs in terms of Markov Decision Processes and introduce a reward model. Using a result by Varacca and Nielsen, we show that the expected reward of a complete execution of the PWN is independent of the scheduler. Extending previous work on reduction of non-pro...

Transportation engineers use traac equilibrium analysis to study traac and road systems; it is also used for planning purposes. This class of applications are generally computationally-intense and requires signiicant storage because of the large networks. Parallel processing provides the memory and computational power needed to solve these problems in a reasonable amount of time. The most compu...

BACKGROUND Numerous surveys have shown that orthodontic mini implants (OMIs) are underused in clinical practice. To investigate this implementation issue, we conducted a systematic review to (1) identify barriers and facilitators to the implementation of OMIs for all potential stakeholders and (2) quantify these implementation constructs, i.e., record their prevalence. We also recorded the prev...

Quantile-based approaches to the spectral analysis of time series have recently attracted a lot of attention. Despite a growing literature that contains various estimation proposals, no systematic methods for computing the new estimators are available to date. This paper contains two main contributions. First, an extensible framework for quantilebased spectral analysis of time series is develop...

DC has proved to be a promising tool for the specification and verification of functional requirements on the design of hard realtime systems. Many works were devoted to develop effective techniques for checking the models of hard real-time systems against DC specifications. DC model checking theory is still evolving and yet there is no available tools supporting practical verifications due to ...

We introduce the “extended literal” encoding of SAT into CSP. This is the first encoding which is “propagation-optimal”. That is, propagation using the standard search algorithm MAC in the CSP encoding performs the same search as Davis Putnam on the original SAT instance, and does so in the same worst case time complexity. We provide theoretical analysis of the encoding and a sample implementation

A method definition can be viewed as a logical assertion.Wheneverwe declare a method as the implementation of an operation, we assert that if the operation is invoked on objects of the appropriate types then the method body will satisfy the specificationof the operation. This view of methods as assertions is simple but general. Among its applications are: methods defined on interfaces as well a...