نتایج جستجو برای: leda
تعداد نتایج: 314 فیلتر نتایج به سال:
Certifying algorithms compute not only an output, but also a witness that certifies the correctness of the output for a particular input. A checker program uses this certificate to ascertain the correctness of the output. Recent work used the verification tools VCC and Isabelle to verify checker implementations and their mathematical background theory. The checkers verified stem from the widely...
The folk theorem characterizes the (subgame perfect) Nash equilibrium payo¤s of an undiscounted or discounted in nitely repeated game with fully informed, patient players as the feasible individually rational payo¤s of the one-shot game. To which extent does the result still hold when every player privately knows his own payo¤s ? Under appropriate assumptions (private values and uniform punishm...
Total-power radiometry with individual meter-wave antennas is a potentially effective way to study the Cosmic Dawn ($z\sim20$) through measurement of sky brightness arising from $21$~cm transition neutral hydrogen, provided this can be disentangled much stronger Galactic and extra-galactic foregrounds. In process, measured spectra integrated temperature used quantify foreground emission propert...
Marie Pedersen, Michelle A. Mendez, Bernadette Schoket, Roger W. Godschalk, Ana Espinosa, Anette Landström, Cristina M. Villanueva, Domenico F. Merlo, Eleni Fthenou, Esther Gracia-Lavedan, Frederik-J. van Schooten, Gerard Hoek, Gunnar Brunborg, Helle M. Meltzer, Jan Alexander, Jeanette K. Nielsen, Jordi Sunyer, John Wright, Katalin Kovács, Kees de Hoogh, Kristine B. Gutzkow, Laura J. Hardie, Le...
Abstrak: Kesulitan, kebingungan, keragu-raguan dalam mengambilkeputusan untuk melanjutkan studi atau menjadi wirausahawan adalah permasalahan yang sering dihadapi siswa di Sekolah Menengah Kejuruan (SMK) khususnya telah duduk kelas 12. Tujuan dari PkM ini mengedukasi dibidang peternakan seperti manajemen biosecurity, pengolahan pakan, recording dan juga perhitungan ekonomi serta memotivasi agar...
Total-power radiometry with individual meter-wave antennas is a potentially effective way to study the Cosmic Dawn ($z\sim20$) through measurement of sky brightness arising from $21$~cm transition neutral hydrogen, provided this can be disentangled much stronger Galactic and extra-galactic foregrounds. In process, measured spectra integrated temperature used quantify foreground emission propert...
An experimental effort has been undertaken to investigate the production of halo particles in a proton beam having significant space charge forces. The LEDA RFQ was used to inject a pulsed 6.7 MeV 1575 mA beam into a linear FODO channel. Four matching quads at the input of this 52-quadrupole transport line were used to generate specific mismatch oscillations, believed to be a key mechanism in t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید