All 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 Other

Previous Page 6 Next

Displaying 101 – 120 of 407

Showing per page

Similarity relations and cover automata

Jean-Marc Champarnaud, Franck Guingne, Georges Hansel (2010)

RAIRO - Theoretical Informatics and Applications

Cover automata for finite languages have been much studied a few years ago. It turns out that a simple mathematical structure, namely similarity relations over a finite set of words, is underlying these studies. In the present work, we investigate in detail for themselves the properties of these relations beyond the scope of finite languages. New results with straightforward proofs are obtained in this generalized framework, and previous results concerning cover automata are obtained as immediate...

Simulated Annealing and Tabu Search for Discrete-Continuous Project Scheduling with Discounted Cash Flows

Grzegorz Waligóra (2014)

RAIRO - Operations Research - Recherche Opérationnelle

Discrete-continuous project scheduling problems with positive discounted cash flows and the maximization of the NPV are considered. We deal with a class of these problems with an arbitrary number of discrete resources and one continuous, renewable resource. Activities are nonpreemptable, and the processing rate of an activity is a continuous, increasing function of the amount of the continuous resource allotted to the activity at a time. Three common payment models – Lump Sum Payment, Payments at...

Simulation and design of extraction and separation fluidic devices

Bijan Mohammadi, Juan G. Santiago (2001)

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

We present the combination of a state control and shape design approaches for the optimization of micro-fluidic channels used for sample extraction and separation of chemical species existing in a buffer solution. The aim is to improve the extraction and identification capacities of electroosmotic micro-fluidic devices by avoiding dispersion of the extracted advected band.

Simulation and design of extraction and separation fluidic devices

Bijan Mohammadi, Juan G. Santiago (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

We present the combination of a state control and shape design approaches for the optimization of micro-fluidic channels used for sample extraction and separation of chemical species existing in a buffer solution. The aim is to improve the extraction and identification capacities of electroosmotic micro-fluidic devices by avoiding dispersion of the extracted advected band.

Simulation of transient performance measures for stiff markov chains

Abdelaziz Nasroallah (2010)

RAIRO - Operations Research

We consider the simulation of transient performance measures of high reliable fault-tolerant computer systems. The most widely used mathematical tools to model the behavior of these systems are Markov processes. Here, we deal basically with the simulation of the mean time to failure (MTTF) and the reliability, R(t), of the system at time t. Some variance reduction techniques are used to reduce the simulation time. We will combine two of these techniques: Importance Sampling and Conditioning...

Currently displaying 101 – 120 of 407