HaifaSat: A New Robust SAT Solver von Gershman, Roman, Strichman, Ofer

Volltext

An approach for extracting a small unsatisfiable core von Gershman, Roman, Koifman, Maya, Strichman, Ofer

Volltext

Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas von Gershman, Roman, Strichman, Ofer

Volltext

Deriving Small Unsatisfiable Cores with Dominators von Gershman, Roman, Koifman, Maya, Strichman, Ofer

Volltext

HaifaSat: a SAT solver based on an Abstraction/Refinement model von Gershman, Roman, Strichman, Ofer

Volltext

ADAPTIVE USER SUGGESTIONS IN A SOCIAL NETWORKING SERVICE von Folger Ori, Leichtberg Ari, Meerovitch Hilly, Poncz Oded, Molad Eyal, BARENHOLZ Tzvi Itzhak, Gershman Roman

Volltext bestellen

EVENT BASED ADVERTISEMENT SELECTION von PONCZ ODED, AMITAI GILAD, BEN-YAIR RAN, GERSHMAN ROMAN

Volltext bestellen

Alpha Particle Temperature Anisotropy in Earth’s Magnetosheath von DeWeese, Haley, Maruca, Bennett A., Qudsi, Ramiz A., Chasapis, Alexandros, Pultrone, Mark, Johnson, Elliot, Vines, Sarah K., Shay, Michael A., Matthaeus, William H., Gomez, Roman G., Fuselier, Stephen A., Giles, Barbara L., Gershman, Daniel J., Russell, Christopher T., Strangeway, Robert J., Burch, James L., Torbert, Roy B.

Volltext

Guillain–Barré syndrome and Fisher syndrome: Case definitions and guidelines for collection, analysis, and presentation of immunization safety data von Sejvar, James J, Kohl, Katrin S, Gidudu, Jane, Amato, Anthony, Bakshi, Nandini, Baxter, Roger, Burwen, Dale R, Cornblath, David R, Cleerbout, Jan, Edwards, Kathryn M, Heininger, Ulrich, Hughes, Richard, Khuri-Bulos, Najwa, Korinthenberg, Rudolf, Law, Barbara J, Munro, Ursula, Maltezou, Helena C, Nell, Patricia, Oleske, James, Sparks, Robert, Velentgas, Priscilla, Vermeer, Patricia, Wiznitzer, Max

Volltext

Magnetospheric Multiscale (MMS) – Calibration and Measurement Algorithms Document (CMAD) von Burch, James L., Giles, Barbara L., Ahmadi, Narges, Argall, Matthew R., Baker, Daniel N., Blake, J. Bernard, Bromund, Kenneth R., Cohen, Ian J., Ergun, Robert E., Fennell, Joseph F., Fischer, David, Fuselier, Stephen A., Gabrielse, Christine E., Gershman, Daniel J., Gomez, Roman G., Graham, Daniel Bruce, Hans, Ulrich, Henderson, Michael G., B.G. Huang, Jeszenszky, Harald, Eichelberger, Hans Ulrich, Le, Guan, Le Contel, Olivier, Leinweber, Hannes Karl, Lindqvist, Per-Arne

Volltext bestellen

Letters von Gershman, Carl, Carothers, Thomas, Simes, Dimitri K., McGovern, George, Huntington, Samuel P., Rubenstein, Richard E., Szporluk, Roman, Hrushevsky, M. S., Rumer, Eugene B., Agree, George E., Callahan, David

Volltext

COMBINATION ROD SEAL von RYABOSHAPKA VALERIJ M,SU, KHACHATRYAN GRACHIK R,SU, KANEVSKIJ ROMAN YA,SU, MUZYKIN YURIJ D,SU, MARTYNOV MIKHAIL A,SU, POTETENKO TAMARA A,SU, GERSHMAN SOLOMON B,SU

Volltext bestellen

FILTERING APPARATUS von GORYACHEVA ZINAIDA V,SU, KRIVOSHEJ ANATOLIJ V,SU, GERSHMAN LYUDMILA M,SU, GOLGER LEONID ,SU, YANDAROVA MALIKA M,SU, SHTUTMAN BORIS A,SU, KALUNYANTS KALUST A,SU, KHAJKIN ROMAN A,SU, GORIN OLEG P,SU

Volltext bestellen