Ident. | Authors (with country if any) | Title |
---|
000141 |
Marc F. Lensink [France] ; Sameer Velankar [Royaume-Uni] ; Andriy Kryshtafovych [États-Unis] ; Shen-You Huang [États-Unis] ; Dina Schneidman-Duhovny [États-Unis] ; Andrej Sali [États-Unis] ; Joan Segura [Espagne] ; Narcis Fernandez-Fuentes [Royaume-Uni] ; Shruthi Viswanath [États-Unis] ; Ron Elber [États-Unis] ; Sergei Grudinin [France] ; Petr Popov [France] ; Emilie Neveu [France] ; Hasup Lee [Corée du Sud] ; Minkyung Baek [Corée du Sud] ; Sangwoo Park [Corée du Sud] ; Lim Heo [Corée du Sud] ; Gyu Rie Lee [Corée du Sud] ; Chaok Seok [Corée du Sud] ; Sanbo Qin [États-Unis] ; Huan-Xiang Zhou [États-Unis] ; David W. Ritchie [France] ; Bernard Maigret [France] ; Marie-Dominique Devignes [France] ; Anisah Ghoorah ; Mieczyslaw Torchala [Royaume-Uni] ; Raphaël A G. Chaleil [Royaume-Uni] ; Paul A. Bates [Royaume-Uni] ; Efrat Ben-Zeev [Israël] ; Miriam Eisenstein [Israël] ; Surendra S. Negi [États-Unis] ; Zhiping Weng [États-Unis] ; Thom Vreven [États-Unis] ; Brian G. Pierce [États-Unis] ; Tyler M. Borrman [États-Unis] ; Jinchao Yu [États-Unis] ; Françoise Ochsenbein [États-Unis] ; Raphaël Guerois [États-Unis] ; Anna Vangone [France] ; João P G L M. Rodrigues [France] ; Gydo Van Zundert [France] ; Mehdi Nellen [France] ; Li Xue [France] ; Ezgi Karaca [France] ; Adrien S J. Melquiond [France] ; Koen Visscher [France] ; Panagiotis L. Kastritis [France] ; Alexandre M J J. Bonvin [France] ; Xianjin Xu [Pays-Bas] ; Liming Qiu [Pays-Bas] ; Chengfei Yan [Pays-Bas] ; Jilong Li [États-Unis] ; Zhiwei Ma [Pays-Bas] ; Jianlin Cheng [États-Unis] ; Xiaoqin Zou [Pays-Bas] ; Yang Shen [États-Unis] ; Lenna X. Peterson [États-Unis] ; Hyung-Rae Kim [États-Unis] ; Amit Roy [États-Unis] ; Xusi Han [États-Unis] ; Juan Esquivel-Rodriguez [États-Unis] ; Daisuke Kihara [États-Unis] ; Xiaofeng Yu [États-Unis] ; Neil J. Bruce [États-Unis] ; Jonathan C. Fuller [États-Unis] ; Rebecca C. Wade [États-Unis] ; Ivan Anishchenko [Allemagne] ; Petras J. Kundrotas [Allemagne] ; Ilya A. Vakser [Allemagne] ; Kenichiro Imai [États-Unis] ; Kazunori Yamada [États-Unis] ; Toshiyuki Oda [États-Unis] ; Tsukasa Nakamura [Japon] ; Kentaro Tomii [États-Unis] ; Chiara Pallara [Japon] ; Miguel Romero-Durana [Japon] ; Brian Jiménez-García [Japon] ; Iain H. Moal [Espagne] ; Juan Férnandez-Recio [Espagne] ; Jong Young Joung [Corée du Sud] ; Jong Yun Kim [Corée du Sud] ; Keehyoung Joo [Corée du Sud] ; Jooyoung Lee [Corée du Sud] ; Dima Kozakov [États-Unis] ; Sandor Vajda [États-Unis] ; Scott Mottarella [États-Unis] ; David R. Hall [États-Unis] ; Dmitri Beglov [États-Unis] ; Artem Mamonov [États-Unis] ; Bing Xia [États-Unis] ; Tanggis Bohnuud [États-Unis] ; Carlos A. Del Carpio [États-Unis] ; Eichiro Ichiishi [Japon] ; Nicholas Marze [États-Unis] ; Daisuke Kuroda [États-Unis] ; Shourya S. Roy Burman [États-Unis] ; Jeffrey J. Gray [États-Unis] ; Edrisse Chermak [Arabie saoudite] ; Luigi Cavallo [Arabie saoudite] ; Romina Oliva [Italie] ; Andrey Tovchigrechko [États-Unis] ; Shoshana J. Wodak [Canada] | Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment. |
000374 |
Emmanuel Vincent [France] ; Arie Yeredor [Israël] ; Zbynek Koldovsky [France] ; Petr Tichavsky [France] | LNCS 9237 - Proceedings of the 12th International Conference on Latent Variable Analysis and Signal Separation |
001293 |
Emmanuel Jeandel [France] ; Pascal Vanier [Israël] | Hardness of Conjugacy, Embedding and Factorization of multidimensional Subshifts of Finite Type |
001491 |
Mariele Gatto [Italie] ; Luca Iaccarino [Italie] ; Anna Ghirardello [Italie] ; Nicola Bassi [Italie] ; Patrizia Pontisso [Italie] ; Leonardo Punzi [Italie] ; Yehuda Shoenfeld [Israël] ; Andrea Doria [Italie] | Serpins, Immunity and Autoimmunity: Old Molecules, New Functions |
001E19 |
Ghayda M. Mirzaa [États-Unis] ; Robert L. Conway [États-Unis] ; Karen W. Gripp [États-Unis] ; Tally Lerman-Sagie [Israël] ; Dawn H. Siegel [États-Unis] ; Linda S. Devries [Pays-Bas] ; Dorit Lev [Israël] ; Nancy Kramer [États-Unis] ; Elizabeth Hopkins [États-Unis] ; John M. Graham Jr [États-Unis] ; William B. Dobyns [États-Unis] | Megalencephaly‐capillary malformation (MCAP) and megalencephaly‐polydactyly‐polymicrogyria‐hydrocephalus (MPPH) syndromes: Two closely related disorders of brain overgrowth and abnormal brain and body morphogenesis |
002225 |
Raz Nissim [Israël] ; Joerg Hoffmann [France] ; Malte Helmert [Allemagne] | Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning |
003030 |
Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche] | SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs |
003228 |
Ronen Brafman [Israël] ; Hector Geffner [Espagne] ; Joerg Hoffmann [France] ; Henry Kautz [États-Unis] | Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10) |
003772 |
Carmel Domshlak [Israël] ; Joerg Hoffmann [France] ; Ashish Sabharwal [États-Unis] | Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings |
003922 |
Nachum Dershowitz [Israël] | On Lazy Commutation |
003A01 |
Yael Sygal [Israël] ; Shuly Wintner [Israël] | Associative Grammar Combination Operators for Tree-Based Grammars |
004379 |
Marwan Odeh [Israël, Niger] ; Ella Ophir [Israël] ; Jacob Bornstein [Israël] | Hypospadias mimicking female genitalia on early second trimester sonographic examination |
004B68 |
Nachum Dershowitz [Israël] ; Georg Moser [Autriche] | The Hydra Battle Revisited |
004B95 |
Peter Schneider-Kamp [Allemagne] ; René Thiemann [Allemagne] ; Elena Annov [Israël] ; Michael Codish [Israël] ; Jürgen Giesl [Allemagne] | Proving Termination Using Recursive Path Orders and SAT Solving |
005542 |
Anna Zamansky [Israël] ; Nissim Francez [Israël] ; Yoad Winter [Israël] | A ‘Natural Logic’ inference system using the Lambek calculus |
005623 |
Nachum Dershowitz [Israël] ; Claude Kirchner [France] | Abstract canonical presentations |
006773 |
Alla Sheffer [Canada] ; Bruno Lévy [France] ; Maxim Mogilnitsky [Israël] ; Alexander Bogomyakov [Israël] | ABF++ : Fast and Robust Angle Based Flattening |
009447 |
Khalil Simaan [Pays-Bas] ; Alon Itai [Israël] ; Yoad Winter [Israël] ; Alon Altman [Israël] ; Noa Nativ [Israël] | Building a tree-bank of modern Hebrew text |
009D37 |
David Gaatone [Israël] | Lagae, Véronique, Les constructions en ‘DE’ + Adjectif. Typologie et Analyse. Louvain: Presses Universitaires de Louvain, 1998, vii + 142 pp. 90 6186 858 0 |
009D38 |
David Gaatone [Israël] | L'Huillier, Monique, Advanced French Grammar. Cambridge: Cambridge University Press, 1999, ix + 706 pp. 0 521 48228 3 |
009E16 |
Shay Kutten [Israël] ; Rafail Ostrovsky [Colombie] ; Boaz Patt-Shamir [Israël] | The Las-Vegas Processor Identity Problem (How and When to Be Unique) |
009F95 |
Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
00A962 |
Nissim Francez [Israël] | On Fibring Feature Logics with Concatenation Logics |
00A983 |
Nachum Dershowitz [Israël] ; Subrata Mitra [Inde] | Jeopardy |
00C635 |
Dov Dori ; Karl Tombre [Israël, France] | From engineering drawings to 3D cad models: are we ready now? |
00CC84 |
Arnon Avron [Israël, Burundi] ; Nada Sasson [Israël] | Stability, Sequentiality and Demand Driven Evaluation in Dataflow |
00DF95 |
William D. Powlis [États-Unis] ; Martin D. Altschuler [États-Unis] ; Yair Censor [Israël] ; E. Loren Buhle Jr. [États-Unis] | Semi-automated radiotherapy treatment planning with a mathematical model to satisfy treatment goals |
00E075 |
Stéphane Kaplan [Israël, France] ; Christine Choppy [France] | Abstract rewriting with concrete operators |
00E545 |
Sammy Garber [Israël] ; Ephraim Nissan [Israël] ; Amnon Shur [Israël] | The ‘Wining and dining’ project — I. ‘The wine adviser’, a deductive database |
00E598 |
Stéphane Kaplan [Israël, France] ; Amir Pnueli [Israël] | Specification and implementation of concurrently accessed data structures: An abstract data type approach |