Finite freedom: Hegel on the existential function of the state von Katz, Gal

Volltext

“Love is only between living beings who are equal in power”: On what is alive (and what is dead) in Hegel's account of marriage von Katz, Gal

Volltext

Synthesis of Parametric Programs using Genetic Programming and Model Checking von Katz, Gal, Peled, Doron

Volltext

Synthesizing, correcting and improving code, using model checking-based genetic programming von Katz, Gal, Peled, Doron

Volltext

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming von Katz, Gal, Peled, Doron

Volltext

Model Checking Driven Heuristic Search for Correct Programs von Katz, Gal, Peled, Doron

Volltext

MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming von Katz, Gal, Peled, Doron

Volltext

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms von Katz, Gal, Peled, Doron

Volltext

Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming von Katz, Gal, Peled, Doron

Volltext

Code Mutation in Verification and Automatic Code Correction von Katz, Gal, Peled, Doron

Volltext

The Buck Stops Here: Order, Chance, and Coordination in Distributed Control von Katz, Gal, Peled, Doron, Schewe, Sven

Volltext

Synthesis of Distributed Control through Knowledge Accumulation von Katz, Gal, Peled, Doron, Schewe, Sven

Volltext

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion von Katz, Gal, Peled, Doron

Volltext

Synthesis of Parametric Programs using Genetic Programming and Model Checking von Katz, Gal, Peled, Doron

Volltext

Update of a Meta-analysis of Sensory Symptoms in ASD: A New Decade of Research von Ben-Sasson, Ayelet, Gal, Eynat, Fluss, Ronen, Katz-Zetler, Neta, Cermak, Sharon A.

Volltext

Fecal microbiota transplant promotes response in immunotherapy-refractory melanoma patients von Baruch, Erez N, Youngster, Ilan, Ben-Betzalel, Guy, Ortenberg, Rona, Lahat, Adi, Katz, Lior, Adler, Katerina, Dick-Necula, Daniela, Raskin, Stephen, Bloch, Naamah, Rotin, Daniil, Anafi, Liat, Avivi, Camila, Melnichenko, Jenny, Steinberg-Silman, Yael, Mamtani, Ronac, Harati, Hagit, Asher, Nethanel, Shapira-Frommer, Ronnie, Brosh-Nissimov, Tal, Eshet, Yael, Ben-Simon, Shira, Ziv, Oren, Khan, Md Abdul Wadud, Amit, Moran, Ajami, Nadim J, Barshack, Iris, Schachter, Jacob, Wargo, Jennifer A, Koren, Omry, Markel, Gal, Boursi, Ben

Volltext

The human tumor microbiome is composed of tumor type-specific intracellular bacteria von Nejman, Deborah, Livyatan, Ilana, Fuks, Garold, Gavert, Nancy, Zwang, Yaara, Geller, Leore T, Rotter-Maskowitz, Aviva, Weiser, Roi, Mallel, Giuseppe, Gigi, Elinor, Meltser, Arnon, Douglas, Gavin M, Kamer, Iris, Gopalakrishnan, Vancheswaran, Dadosh, Tali, Levin-Zaidman, Smadar, Avnet, Sofia, Atlan, Tehila, Cooper, Zachary A, Arora, Reetakshi, Cogdill, Alexandria P, Khan, Md Abdul Wadud, Ologun, Gabriel, Bussi, Yuval, Weinberger, Adina, Lotan-Pompan, Maya, Golani, Ofra, Perry, Gili, Rokah, Merav, Bahar-Shany, Keren, Rozeman, Elisa A, Blank, Christian U, Ronai, Anat, Shaoul, Ron, Amit, Amnon, Dorfman, Tatiana, Kremer, Ran, Cohen, Zvi R, Harnof, Sagi, Siegal, Tali, Yehuda-Shnaidman, Einav, Gal-Yam, Einav Nili, Shapira, Hagit, Baldini, Nicola, Langille, Morgan G I, Ben-Nun, Alon, Kaufman, Bella, Nissan, Aviram, Golan, Talia, Dadiani, Maya, Levanon, Keren, Bar, Jair, Yust-Katz, Shlomit, Barshack, Iris, Peeper, Daniel S, Raz, Dan J, Segal, Eran, Wargo, Jennifer A, Sandbank, Judith, Shental, Noam, Straussman, Ravid

Volltext

Reductions in commuting mobility correlate with geographic differences in SARS-CoV-2 prevalence in New York City von Kissler, Stephen M., Kishore, Nishant, Prabhu, Malavika, Goffman, Dena, Beilin, Yaakov, Landau, Ruth, Gyamfi-Bannerman, Cynthia, Bateman, Brian T., Snyder, Jon, Razavi, Armin S., Katz, Daniel, Gal, Jonathan, Bianco, Angela, Stone, Joanne, Larremore, Daniel, Buckee, Caroline O., Grad, Yonatan H.

Volltext

Genetic Methods for Cellular Manipulation in C. elegans von Katz, Menachem

Volltext

RAPIDLY RISING TRANSIENTS IN THE SUPERNOVA-SUPERLUMINOUS SUPERNOVA GAP von Arcavi, Iair, Wolf, William M., Howell, D. Andrew, Bildsten, Lars, Leloudas, Giorgos, Hardin, Delphine, Prajs, Szymon, Perley, Daniel A., Svirski, Gilad, Gal-Yam, Avishay, Katz, Boaz, McCully, Curtis, Cenko, S. Bradley, Lidman, Chris, Sullivan, Mark, Valenti, Stefano, Astier, Pierre, Balland, Cristophe, Carlberg, Ray G., Conley, Alex, Fouchez, Dominique, Guy, Julien, Pain, Reynald, Palanque-Delabrouille, Nathalie, Perrett, Kathy, Pritchet, Chris J., Regnault, Nicolas, Rich, James, Ruhlmann-Kleider, Vanina

Volltext