نتایج جستجو برای: certified romp
تعداد نتایج: 13258 فیلتر نتایج به سال:
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:...
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...
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 ...
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...
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 ...
*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...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید