نتایج جستجو برای: روش van
تعداد نتایج: 440816 فیلتر نتایج به سال:
Philip J Landrigan, Richard Fuller, Nereus J R Acosta, Olusoji Adeyi, Robert Arnold, Niladri (Nil) Basu, Abdoulaye Bibi Baldé, Roberto Bertollini, Stephan Bose-O’Reilly, Jo Ivey Boufford, Patrick N Breysse, Thomas Chiles, Chulabhorn Mahidol, Awa M Coll-Seck, Maureen L Cropper, Julius Fobil, Valentin Fuster, Michael Greenstone, Andy Haines, David Hanrahan, David Hunter, Mukesh Khare, Alan Krupni...
H is the λ-theory extending β-conversion by identifying all closed unsolvables. A long-standing open problem of H. Barendregt states that the range property holds in H. Here we discuss what we know about the problem. We also make some remarks on the λ-theory Hω (the closure of H under the ω-rule and β-conversion).
DUTCH LANGUAGE) De Nederlands Gereformeerde Kerk in Afrika in de Oranje Vrijstaat (DRCA OFS) behoort tot de familie van Nederlandse gereformeerde kerken in Zuid-Afrika. De DRCA OFS werd meer dan een eeuw geleden gesticht speciaal voor zwarte Afrikanen. Ook na de afschaffing van de apartheid zijn de leden nog steeds overwegend zwarte Afrikanen en een paar witte zendelingen, gesubsidieerd door de...
DUTCH LANGUAGE) De Nederlands Gereformeerde Kerk in Afrika in de Oranje Vrijstaat (DRCA OFS) behoort tot de familie van Nederlandse gereformeerde kerken in Zuid-Afrika. De DRCA OFS werd meer dan een eeuw geleden gesticht speciaal voor zwarte Afrikanen. Ook na de afschaffing van de apartheid zijn de leden nog steeds overwegend zwarte Afrikanen en een paar witte zendelingen, gesubsidieerd door de...
Zusammenfassung. In diesem Beitrag wird ein Verfahren vorgestellt, mit dessen Hilfe optimale Blickpunkte für die Betrachtung anatomischer Strukturen in komplexen 3D-Visualisierungen berechnet werden können. Der optimale Blickpunkt wird über verschiedene gewichtete Bewertungsparameter in Echtzeit ermittelt. Berücksichtigt werden u.a. Sichtbarkeit und Wichtigkeit der überdeckenden Strukturen. Das...
Stabilitt at der thermohalinen Zirkulation in analytischen und numerischen Modellen Die vorliegende Arbeit ist die inhaltlich unverr anderte Fassung einer Dissertation, die 1995 dem Fachbereich Physik/Elektrotechnik der Universitt at Bremen vorgelegt wurde.
Hierarchisch gewachsene Software ist in aktuellen Mehrkernumgebungen meist ineffizient, weil die verfügbaren Hardwareressourcen nicht ausgenutzt werden können. Synchronisationsmechanismen limitieren die parallele Programmabarbeitung. Ziel dieser Arbeit ist die Minimierung von Synchronisationsanforderungen durch asynchrone Iterationen. Die Leerlaufzeiten von Prozessen werden dabei minimiert, ind...
Die betriebliche Fruchtfolgemodellierung mit Linearer Programmierung gestaltete bisher Fruchtartund Arbeitserledigungsalternativen unter Berücksichtigung von aggregierten Kapazitätsrestriktionen (z. B. Flächenausstattung, Arbeitsund Maschinenkapazitäten). Die Fruchtfolge eines Betriebes besteht jedoch genau betrachtet aus der Summe aller Fruchtartsequenzen auf jedem einzelnen Schlag. Diese verä...
Die juristische Suchmaschine Lawsearch Enterprise bewältigt den Informationsfluss einer juristischen Organisation (Anwaltskanzlei, Gericht, Rechtsdienst, Notariat etc.) mit einem Single Point of Search. Drei technische und organisatorische Herausforderungen stehen im Vordergrund: Auswahl und Integration der Informationsquellen; Beschaffung und Verwendung der Metainformationen; Erkennung und Ver...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید