Abstract interpretation was introduced as a generic framework, which allows to formalize, derive and prove static analyses, which are based on conservative approximation, that is, which are able to establish a fixed property for a subset of the programs which actually satisfy it. First, we provide a step by step description of the main steps in the design of such analyses, from the choice of a ...

achieving the millennium development goals has proven to be a real challenge. providing evidence on cost-effective interventions did not prove to be sufficient to secure the trust of national authorities, health care providers and patients. introducing change in a health system requires a good understanding of the relationships between the actors of the system. social network analysis can provi...

— This paper présents a new mixed finite element method for the computation of incompressible viscoelastic fluids flows. The decoupled computation of stresses and velocities is performed with an algorithm which involves a time approximation by alternating direction implicit algorithms. The method is of order two in time and allows fast calculation of stationary solutions. As finite éléments, we...

The goal of the thesis is to develop an approach for quantitative business process analysis, based on (social) network analysis and behavioral characteristics of business processes. The information ows taking place during the communication and collaboration activities are seen as the basis for evaluation and classi cation of process activities as well as the analysis of business process structu...

Zusammenfassung: Dieser Beitrag beschreibt eine neue statische Analyse von Programmen mit graphischer Oberfläche (GUI). Die Analyse aus dem Bauhaus-Projekt extrahiert aus dem Quellcode die Widget-Hierarchien der GUI, GUI-Ereignisse und deren Reaktionen. Einige Anwendungen, beispielsweise eineMigration zu einemGUIBuilder, werden kurz vorgestellt. Testresultate untermauern die Tragfähigkeit unser...

A simple and rapid microextraction procedure based on the application of magnetic nanoparticles and hydrophobic 1-Hexylpyridinium hexafluorophosphate [Hpy][PF6] ionic liquid (IL) was applied to trace determination of gatifloxacin. A mixture of [Hpy][PF6] and magnetic nanoparticles was injected into the sample solution containing the analyse of interest and a cloudy solution was forme...

A simple and rapid microextraction procedure based on the application of magnetic nanoparticles and hydrophobic 1-Hexylpyridinium hexafluorophosphate [Hpy][PF6] ionic liquid (IL) was applied to trace determination of gatifloxacin. A mixture of [Hpy][PF6] and magnetic nanoparticles was injected into the sample solution containing the analyse of interest and a cloudy solution was forme...

Achieving the Millennium Development Goals has proven to be a real challenge. Providing evidence on cost-effective interventions did not prove to be sufficient to secure the trust of national authorities, health care providers and patients. Introducing change in a health system requires a good understanding of the relationships between the actors of the system. Social network analysis can provi...