Results 231 to 240 of about 47,971 (279)
“Cav u” and the Dual Game [PDF]
Mathematics of Operations Research, 1999 We give an alternative proof of a theorem of Aumann and Maschler that characterizes the limit of the values of finitely repeated games with lack of information on one side as the concavification of the value of the game where none of the players has any information. Our proof is based on Fenchel duality techniques.
de Meyer, Bernard, Rosenberg, Dinah
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Vehicle Dynamics International, 2021
A new milestone in active safety and vehicle dynamics for AVs has been reached. TU Budapest's Automated Drive Research Laboratory (BME) is playing an active role in cooperation with the ZalaZone Proving Ground in Hungary, shaping the future of CAVs
openaire +1 more source
A new milestone in active safety and vehicle dynamics for AVs has been reached. TU Budapest's Automated Drive Research Laboratory (BME) is playing an active role in cooperation with the ZalaZone Proving Ground in Hungary, shaping the future of CAVs
openaire +1 more source
Detection and Differentiation of CAV-1 and CAV-2 by Polymerase Chain Reaction
Veterinary Research Communications, 2001Canine adenovirus type 1 (CAV-1) and type 2 (CAV-2) can be categorized in the laboratory by haemagglutination and neutralization tests, but they are difficult to differentiate from each other in specimens, especially when infection occurs in the digestive tract.
R L, Hu +5 more
openaire +2 more sources
Formal Methods in System Design, 2012
The 2011 CAV (Computer-Aided Verification) Award was presented on July 17, 2011 at the 23rd annual CAV conference in Snowbird, Utah to Thomas Ball and Sriram Rajamani of Microsoft Research for their contributions to software model checking, specifically the development of the SLAM/SDV software model checker, which successfully demonstrated computer ...
Moshe Y. Vardi +3 more
openaire +1 more source
The 2011 CAV (Computer-Aided Verification) Award was presented on July 17, 2011 at the 23rd annual CAV conference in Snowbird, Utah to Thomas Ball and Sriram Rajamani of Microsoft Research for their contributions to software model checking, specifically the development of the SLAM/SDV software model checker, which successfully demonstrated computer ...
Moshe Y. Vardi +3 more
openaire +1 more source
Formal Methods in System Design, 2010
The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. This annual award recognizes a specific fundamental contribution or series of outstanding contributions to the CAV field.
Randal E. Bryant +3 more
openaire +1 more source
The 2009 CAV (Computer-Aided Verification) award was presented to seven individuals who made major advances in creating high-performance Boolean satisfiability solvers. This annual award recognizes a specific fundamental contribution or series of outstanding contributions to the CAV field.
Randal E. Bryant +3 more
openaire +1 more source
Formal Methods in System Design, 2011
The 2010 CAV (Computer-Aided Verification) award was awarded to Kenneth L. McMillan of Cadence Research Laboratories for a series of fundamental contributions resulting in significant advances in scalability of model checking tools. The annual award recognizes a specific fundamental contribution or a series of outstanding contributions to the CAV field.
Orna Grumberg +3 more
openaire +1 more source
The 2010 CAV (Computer-Aided Verification) award was awarded to Kenneth L. McMillan of Cadence Research Laboratories for a series of fundamental contributions resulting in significant advances in scalability of model checking tools. The annual award recognizes a specific fundamental contribution or a series of outstanding contributions to the CAV field.
Orna Grumberg +3 more
openaire +1 more source
Traffic Technology International, 2021
Lucien Linders is general manager of Smart Mobility Living Lab: London (SMLL) – the most advanced urban connected and autonomous vehicle (CAV) testbed in the world. Here he discusses the importance of educating the wider public as to the benefits of CAVs as well as the valuable contribution that SMLL is making to developing the technologies
openaire +1 more source
Lucien Linders is general manager of Smart Mobility Living Lab: London (SMLL) – the most advanced urban connected and autonomous vehicle (CAV) testbed in the world. Here he discusses the importance of educating the wider public as to the benefits of CAVs as well as the valuable contribution that SMLL is making to developing the technologies
openaire +1 more source
Methods and Findings in Experimental and Clinical Pharmacology, 2004
Kyotorphin (Kyo) is synthesized in specific brain regions where it may modulate synaptic transmission. Kyo directly excites cortical neurons, and indirectly exerts opioid actions to produce analgesia via the release of [Met]-enkephalin. Kyo is formed by a specific enzyme from L-tyrosine, L-arginine (L-arg) and ATP in the presence of Mg2+.
openaire +2 more sources
Kyotorphin (Kyo) is synthesized in specific brain regions where it may modulate synaptic transmission. Kyo directly excites cortical neurons, and indirectly exerts opioid actions to produce analgesia via the release of [Met]-enkephalin. Kyo is formed by a specific enzyme from L-tyrosine, L-arginine (L-arg) and ATP in the presence of Mg2+.
openaire +2 more sources
CAV Trajectories Among Patients With No or Mild CAV at 10 Years Posttransplant
Clinical TransplantationABSTRACTCardiac allograft vasculopathy (CAV) is a major cause of morbidity and mortality following heart transplantation (HT). Prior studies identified distinct CAV trajectories in the early post‐HT period with unique predictors, but the evolution of CAV in later periods is not well‐described.
Erin Harris +14 more
openaire +2 more sources