نتایج جستجو برای: generalized dirk methods

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

2018
Carolyn Vickers

Now that the Minamata Convention has come into effect, developing countries are struggling to phase out the use of mercury to protect people's health. Jan Dirk Herberman reports.

‎‎The purpose of this paper is to introduce new methods for constructing generalized groups, generalized topological groups and top spaces. We study some properties of these structures and present some relative concrete examples. Moreover, we obtain generalized groups by using of Hilbert spaces and tangent spaces of Lie groups, separately.

Journal: :Journal of Automated Reasoning 2021

The article “A Unifying View on SMT-Based Software Verification”, written by Dirk Beyer, Matthias Dangl, and Philipp Wendler, was originally published Online First without Open Access

Journal: :Computer Physics Communications 2011
Przemyslaw Gawronski Krzysztof Kulakowski

In physics, a phase transition from liquid to solid means that molecules are stuck between their neighbours. We investigate a similar effect in a crowd at a small exit. People cross the exit one by one, but the majority moves very slowly. Those from behind press, and if the density is large enough, it is impossible to move with respect to our neighbours. Can one withdraw from the crowd or he/sh...

2015
Amany E. Aly

In this paper, three prediction intervals of future generalized order statistics (gos) based on generalized extreme value distribution (GEVD) are constructed. For this purpose, three predictive pivotal quantities are considered, and their exact distributions are established. A Monte Carlo simulation study is carried out to explore the efficiency of the proposed method. The obtained results are ...

2014
Dirk Bergemann Johannes Hörner

We investigate the role of market transparency in repeated first-price auctions. We consider a setting with independent private and persistent values. We analyze three distinct disclosure regimes regarding the bid and award history. In the minimal disclosure regime each bidder only learns privately whether he won or lost the auction. In equilibrium the allocation is efficient and the minimal di...

2003
Adriana Braun Soraia Raupp Musse Luiz Paulo Luna de Oliveira Bardo E. J. Bodmann

This paper presents a model for studying the impact of individual agents characteristics in emergent groups, on the evacuation efficiency as a result of local interactions. We used the physically based model of crowd simulation proposed by Helbing (6) and generalized it in order to deal with different individualities for agent and group behaviors. In addition, we present a framework to visualiz...

2012
Vanessa M. French Ingrid M.B.H. van de Laar Marja W. Wessels Christan Rohe Jolien W. Roos-Hesselink Guangliang Wang Ingrid M.E. Frohn-Mulder Lies-Anne Severijnen Bianca M. de Graaf Rachel Schot Guido Breedveld Edwin Mientjes Marianne van Tienhoven Elodie Jadot Zhengxin Jiang Annemieke Verkerk Sigrid Swagemakers Hanka Venselaar Zohreh Rahimi Hossein Najmabadi Hanne Meijers-Heijboer Esther de Graaff Wim A. Helbing Rob Willemsen Koen Devriendt John W. Belmont Ben A. Oostra Jeffrey D. Amack Aida M. Bertoli-Avella

Vanessa M. French,* Ingrid M.B.H. van de Laar,* Marja W. Wessels, Christan Rohe, Jolien W. Roos-Hesselink, Guangliang Wang, Ingrid M.E. Frohn-Mulder, Lies-Anne Severijnen, Bianca M. de Graaf, Rachel Schot, Guido Breedveld, Edwin Mientjes, Marianne van Tienhoven, Elodie Jadot, Zhengxin Jiang, Annemieke Verkerk, Sigrid Swagemakers, Hanka Venselaar, Zohreh Rahimi, Hossein Najmabadi, Hanne Meijers-...

2017
Lee R Berger John Hawks Paul Hgm Dirks Marina Elliott Eric M Roberts

New discoveries and dating of fossil remains from the Rising Star cave system, Cradle of Humankind, South Africa, have strong implications for our understanding of Pleistocene human evolution in Africa. Direct dating of Homo naledi fossils from the Dinaledi Chamber (Berger et al., 2015) shows that they were deposited between about 236 ka and 335 ka (Dirks et al., 2017), placing H. naledi in the...

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

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