نتایج جستجو برای: stefan

تعداد نتایج: 4067  

Journal: :Témoigner 2022

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...

2009
Stefan J. Witwicki Edmund H. Durfee

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 ...

2008
Stefan Schaal Jan Peters

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...

2015
Stefan Bucur

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...

Journal: :Historia Mathematica 2019

Journal: :The German Quarterly 1966

Journal: :Rocky Mountain Journal of Mathematics 1991

Journal: :Foundations of Physics 2018

Journal: :Zbornik radova Vizantoloskog instituta 2006

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید