Vous êtes ici : Accueil › Recherche
› RECHERCHER
Titre
Auteur
Mot-clé
Année avant
Année après
Plus d'options

› AFFINER

› RESULTATS DE LA RECHERCHE  
81835 résultats › Tri  › Par 
Pactols_x
Source : DANS

Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes

Esmaeil Zadeh Soudjani, S. et al. (19 juin 2013)

This work is concerned with the generation of finite abstractions of general state-space processes to be employed in the formal verification of probabilistic properties by means of automatic techniques such as probabilistic model checkers. The work employs an abstraction procedure based on the ...

Voir plus d'informations | Voir la fiche de la ressource

Source : I-revues

3 - Estimation des paramètres dans les chaînes de Markov cachées et segmentation d'images

BENMILOUD (B.) et al. (1995)

Our study deals with the parameter estimation problem of Hidden Marko v Chain models and with unsupervised Bayesian image segmentation . We propos e two new estimation algorithms obtained from Iterative Conditional Estimation (ICE) and Stochastic Estimation Maximisation (SEM), denoted by MICE and ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

A molecular cytogenetic analysis of introgression in Alstroemeria

Kamstra, S.A. (1999)

This thesis describes the results of a molecular cytogenetic investigation of the process of introgression in Alstroemeria . The aim of this study was to transfer chromosomes or genes from one Alstroemeria species into another. For this, two distantly related species, A. aurea and A. inodora , were ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Social participation after successful kidney transplantation

Van der Mei, Sijrike F. et al. (2007)

Purpose. To explore and describe the degree of social participation after kidney transplantation and to examine associated factors. Method. A cross-sectional study on 239 adult patients 1-7.3 years after kidney transplantation was performed via in-home interviews on participation in obligatory ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Integrated market selection and production planning: complexity and solution approaches

Heuvel, Wilco et al. (1 oct. 2007)

textabstractEmphasis on effective demand management is becoming increasingly recognized as an important factor in operations performance. Operations models that account for supply costs and constraints as well as a supplier's ability to in°uence demand characteristics can lead to an improved match ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Pulses in singularly perturbed reaction-diffusion systems

Veerman, Frederik Willem Johan (25 sept. 2013)

In this thesis, the existence and stability of pulse solutions in two-component, singularly perturbed reaction-diffusion systems is analysed using dynamical systems techniques. New phenomena in very general types of systems emerge when geometrical techniques are applied.

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Fosfomycin tromethamine as second agent for the treatment of acute, uncomplicated urinary tract infections in adult female patients in The Netherlands?

Knottnerus, B.J. et al. (2008)

BACKGROUND: Uncomplicated urinary tract infections (UTIs) are common among female patients. According to the national guidelines of the Dutch College of General Practitioners (GPs), the drugs of first and second choice as therapy for UTIs are nitrofurantoin and trimethoprim with resistance ...

Voir plus d'informations | Voir la fiche de la ressource