We investigate the homogenization of Stefan-type problems with oscillating diffusion coefficients. Both cases of periodic and random (stationary ergodic) medium are considered. The proof relies on the coincidence of viscosity solutions and weak solutions (which are the time derivatives of the solutions of an obstacle problem) for the Stefan problem. This coincidence result is of independent int...

Causative relations between human papilloma virus infection and cervical intraepithelial neoplasia Stefan Miladinov Kovachev & Victor Dimitrov Slavov To cite this article: Stefan Miladinov Kovachev & Victor Dimitrov Slavov (2016): Causative relations between human papilloma virus infection and cervical intraepithelial neoplasia, Biotechnology & Biotechnological Equipment, DOI: 10.1080/13102818....

BOEK: De publicatie van de Franse vertaling roman opgang (De Bezige Bij, 2020, vertaald als Une Ascencion) bij Uitgeverij Gallimard in januari 2022 laat ons toe om dieper te gaan op het speurwerk dat Stefan Hermans verrichtte meerdere zijn naar Frans vertaalde werken. Belgische, Nederlandstalige auteur verwierf al bekendheid met vertalingen Oorlog en terpentijn 2015 2013, Guerre et térébenthine...

We present a methodology for composing large-grained services that exhibit temporal uncertainty and complex task dependencies. Our multi-agent approach incorporates temporal and stochastic planning paradigms and commitment-based negotiation to achieve the coordinated provision of services with stochastic outcomes. This is all captured within a service-choreography protocol, by which agents can ...

One of the most general frameworks for phrasing control problems for complex, redundant robots is operational-space control. However, while this framework is of essential importance for robotics and well understood from an analytical point of view, it can be prohibitively hard to achieve accurate control in the face of modeling errors, which are inevitable in complex robots (e.g. humanoid robot...

Interpretation from Concrete Semantics. Static analysis, and type inference in particular, is helpful for finding programming errors in dynamic languages, as they commonly lack the type information available to compiled languages. However, static analysis engines are implemented by hand, hence sharing the challenges of building a symbolic execution engine. To this end, I want to take the “inter...