نتایج جستجو برای: certified romp

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

2003
Guilherme Carmona

We consider Salim Rashid’s asymptotic version of David Schmeidler’s theorem on the purification of Nash equilibria. We show that, in contrast to what is stated, players’ payoff functions have to be selected from an equicontinuous family in order for Rashid’s theorem to ∗I wish to thank Mário Páscoa and Myrna Wooders for very helpful comments. All remaining errors are, of course, mine. †Address:...

2012

In a field experiment, growth parameters of soybean cultivars in different weeding regimes was investigated. The trial was split plot in a randomized complete block design. The four cultivars and two lines of soybean (Glycine max L.) including: Sahar, Hill, Sari, Telar, 032 and 033 in main plot and weeding regime consist of no weeding (control), one weeding (35 days after planting) and two weed...

Journal: :British Dental Journal 2000

2010
Christian Sternagel René Thiemann

In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in combination with usable rules. For both techniques we developed executable check functions using the theorem prover Isabelle/HOL. These functions are able to certify the correct application of the formalized techniques in a given ...

2010
Meili Shao Yong Wang Chunlai Wang Yang Guo Yonggang Peng Jiandong Liu Guangxing Li Huifang Liu Siguo Liu

BACKGROUND Porcine contagious pleuropneumonia (PCP) is a highly contagious disease that is caused by Actinobacillus pleuropneumoniae (APP) and characterized by severe fibrinous necrotizing hemorrhagic pleuropneumonia, which is a severe threat to the swine industry. In addition to APP RTX-toxins I (ApxI), APP RTX-toxin II (ApxII), APP RTX-toxin III (ApxIII) and Outer membrane protein (OMP), ther...

Journal: :Science 1990
W J Lederer E Niggli R W Hadley

300 303 304 305 306 A Generational Rift in Geophysics * Not So Irreconcilable Differences? Is AIDS Dementia Due to Increases in Calcium? Polymer Chemists Are Having a ROMP "Hairy Enzymes" Stay in the Blood Briefings: Update: RU 486 * Math Students Needed * Ordinary Is Beautifiul AIDS Meeting: Visas * The Dimmest "Star" * Social Science: NSF's Poor Relation * Changing U.S. Demography * Truth in ...

2005
PEDRO RODRIGUES GENTA FÁBIO BISCEGLI JATENE

*Study carried out in the Departments of Pulmonology and Thoracic Surgery of the Instituto do Coração Hospital das Clínicas da Faculdade de Medicina da Univerdidade de São Paulo (InCor – HC FMUSP, Clinical Hospital Heart Institute of the University of Sâo Paulo School of Medicine) Correspondence to: Rua Pintassilgo, 519 apt. 80, CEP: 04514-032 – São Paulo SP. Phone #: 55-11-5093 8775. E-mail:pn...

2015

001 002 003 004 005 006 007 008 009 010 011 012 013 014 015 016 017 018 019 020 021 022 023 024 025 026 027 028 029 030 031 032 033 034 035 036 037 038 039 040 041 042 043 044 045 046 047 048 049 050 051 052 053 054 055 056 057 058 059 060 061 062 063 064 065 066 067 068 069 070 071 072 073 074 075 076 077 078 079 080 081 082 083 084 085 086 087 088 089 090 091 092 093 094 095 096 097 098 099 1...

2006
L. PANIGRAHI S. K. GHOSAL SNIGDHA PATTNAIK B. B. BARIK

L. PANIGRAHI*, S. K. GHOSAL, SNIGDHA PATTNAIK, L. MAHARANA AND B. B. BARIK School of Pharmaceutical Sciences, I. T. E. R., Jagamohan Nagar, Gagamara, Bhubaneswar-751 030, *Sun Pharma Advance Rearch Center, Tandalja, Vadodara-390 020, Pharmaceutical Research Laboratory, Department of Pharmaceutical Technology, Jadavpur University, Calcutta-700 032, University Department of Pharmaceutical Science...

2009
Guilherme Carmona

Motivated by Wooders, Cartwright, and Selten (2006), we consider games with a continuum of players and intermediate preferences. We show that any such game has a Nash equilibrium that induces a partition of the set of attributes into a bounded number of convex sets with the following property: all players with an attribute in the interior of the same element of the partition play the same actio...

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

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