van Eijck, Jan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Comment on “Crystal Structure Prediction by Global Optimization as a Tool for Evaluating Potentials: Role of the Dipole Moment Correction Term in Successful Predictions”

van Eijck, Bouke P., Kroon, Jan

Journal:

Journal of Physical Chemistry B

Year:

2000

Language:

english

File:

PDF, 12 KB

english, 2000

52

Action Emulation between Canonical Models

Floor Sietsma,Jan van Eijck

Journal:

Journal of Philosophical Logic

Year:

2013

Language:

english

File:

PDF, 488 KB

english, 2013

53

Crystal Structure Prediction for Six Monosaccharides Revisited

van Eijck, Bouke P., Mooij, Wijnand T. M., Kroon, Jan

Journal:

Journal of Physical Chemistry B

Year:

2001

Language:

english

File:

PDF, 59 KB

english, 2001

54

Transferable ab Initio Intermolecular Potentials. 2. Validation and Application to Crystal Structure Prediction

Mooij, Wijnand T. M., van Eijck, Bouke P., Kroon, Jan

Journal:

Journal of Physical Chemistry A

Year:

1999

Language:

english

File:

PDF, 92 KB

english, 1999

55

Foreword

Balbiani, Philippe, van Ditmarsch, Hans, van Eijck, Jan

Journal:

Journal of Applied Non-Classical Logics

Year:

2009

Language:

english

File:

PDF, 142 KB

english, 2009

56

Use of molecular dynamics methods in conformational analysis. Glycol. A model study

Hooft, Rob W. W., van Eijck, Bouke P., Kroon, Jan

Journal:

The Journal of Chemical Physics

Year:

1992

Language:

english

File:

PDF, 859 KB

english, 1992

57

An adaptive umbrella sampling procedure in conformational analysis using molecular dynamics and its application to glycol

Hooft, Rob W. W., van Eijck, Bouke P., Kroon, Jan

Journal:

The Journal of Chemical Physics

Year:

1992

Language:

english

File:

PDF, 618 KB

english, 1992

58

Composing models

van Eijck, Jan, Sietsma, Floor, Wang, Yanjing

Journal:

Journal of Applied Non-Classical Logics

Year:

2011

Language:

english

File:

PDF, 243 KB

english, 2011

59

591d Impact of Upsizing Percutaneous Catheters in Patients With Suspected Infected Necrotizing Pancreatitis

van Grinsven, Janneke, Timmerman, Pieter, van Lienden, Krijn P., Havemain, Jan Willem, Boerma, Djamila, van Eijck, Casper H., Fockens, Paul, van Santvoort, Hjalmar C., Boermeester, Marj, Besselink, Ma

Journal:

Gastroenterology

Year:

2015

Language:

english

File:

PDF, 212 KB

english, 2015

60

891 Coil Yourself out of Trouble - an Unusual Solution for an Unusual Problem

Poley, Jan-Werner, Van Eijck, Casper H., Koerkamp, Bas Groot, Bruno, Marco J.

Journal:

Gastrointestinal Endoscopy

Year:

2015

Language:

english

File:

PDF, 52 KB

english, 2015

61

Modal Logic, Transition Systems and Processes

BENTHEM, JOHAN VAN, EIJCK, JAN VAN, STEBLETSOVA, VERA

Journal:

Journal of Logic and Computation

Year:

1994

Language:

english

File:

PDF, 1.95 MB

english, 1994

62

Role of Endoscopic Ultrasonography in Patients Suspected of Pancreatic Cancer with Negative Helical MDCT Scan

Deerenberg, Eva B., Poley, Jan-Werner, Hermans, John J., Ganesh, Sjam, van der Harst, Erwin, van Eijck, Casper H.J.

Journal:

Digestive Surgery

Year:

2011

Language:

english

File:

PDF, 227 KB

english, 2011

63

Are a Double Duct Sign or Endoscopic Biopsies Reliable Predictors of Malignancy in Periampullary Lesions

ten Berge, Josianne C.E.M., Suker, Mustafa, Bruno, Marco J., Poley, Jan-Werner, Dwarkasing, Roy, Biermann, Katharina, van Eijck, Casper H.J.

Journal:

Digestive Surgery

Year:

2015

Language:

english

File:

PDF, 518 KB

english, 2015

64

Molecular dynamics study of conformational and anomeric equilibria in aqueous D-glucose

van Eijck, Bouke P., Hooft, Rob W. W., Kroon, Jan

Journal:

Journal of Physical Chemistry

Year:

1993

Language:

english

File:

PDF, 828 KB

english, 1993

65

Potent Inhibitory Effects of Type I Interferons on Human Adrenocortical Carcinoma Cell Growth

van Koetsveld, Peter M., Vitale, Giovanni, de Herder, Wouter W., Feelders, Richard A., van der Wansem, Katy, Waaijers, Marlijn, van Eijck, Casper H. J., Speel, Ernst-Jan M., Croze, Ed, van der Lely, A

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2006

Language:

english

File:

PDF, 262 KB

english, 2006

66

Proactive percutaneous catheter drainage strategy during the step-up approach for (suspected) infected necrotizing pancreatitis

van Grinsven, Janneke, Timmerman, Pieter, van Lienden, Krijn P., Haveman, Jan Willem, Boerma, Djamila, van Eijck, Casper H., Fockens, Paul, van Santvoort, Hjalmar C., Boermeester, Marja A., Besselink,

Journal:

Year:

2015

Language:

english

File:

PDF, 60 KB

english, 2015

67

Endoscopic treatment of a refractory intrahepatic bile leak by transpapillary placement of coils into a peripheral bile duct

de Jonge, Pieter J.F., Koerkamp, Bas Groot, van Eijck, Casper H.J., Bruno, Marco J., Poley, Jan W.

Journal:

Gastrointestinal Endoscopy

Year:

2016

Language:

english

File:

PDF, 263 KB

english, 2016

68

Therapeutic Delay and Survival After Surgery for Cancer of the Pancreatic Head With or Without Preoperative Biliary Drainage

Eshuis, Wietse J., van der Gaag, Niels A., Rauws, Erik A.J., van Eijck, Casper H.J., Bruno, Marco J., Kuipers, Ernst J., Coene, Peter P., Kubben, Frank J.G.M., Gerritsen, Josephus J.G.M., Greve, Jan W

Journal:

Annals of Surgery

Year:

2010

Language:

english

File:

PDF, 384 KB

english, 2010

69

Incremental Dynamics

Journal:

Journal of Logic, Language and Information

Year:

2001

File:

PDF, 2.63 MB

2001

70

Type I Interferons in the Treatment of Pancreatic Cancer

Vitale, Giovanni, van Eijck, Casper H. J., van Koetsveld Ing, Peter M., Erdmann, Joris I., Speel, Ernst Jan M., van der Wansem Ing, Katy, Mooij, Diana M., Colao, Annamaria, Lombardi, Gaetano, Croze, E

Journal:

Annals of Surgery

Year:

2007

Language:

english

File:

PDF, 1.48 MB

english, 2007

71

Incremental Dynamics

Journal:

Journal of Logic, Language and Information

Year:

2001

Language:

english

File:

PDF, 2.63 MB

english, 2001

72

Pylorus Preserving Pancreaticoduodenectomy Versus Standard Whipple Procedure

Tran, Khe T. C., Smeenk, Hans G., van Eijck, Casper H. J., Kazemier, Geert, Hop, Wim C., Greve, Jan Willem G., Terpstra, Onno T., Zijlstra, Jan A., Klinkert, Piet, Jeekel, Hans

Journal:

Annals of Surgery

Year:

2004

Language:

english

File:

PDF, 564 KB

english, 2004

73

Dynamic Interpretation and Hoare Deduction

Jan Van Eijck and Fer-Jan De Vries

Journal:

Journal of Logic, Language and Information

Year:

1992

Language:

english

File:

PDF, 3.54 MB

english, 1992

74

Endoscopic Transpapillary Stenting or Conservative Treatment for Pancreatic Fistulas in Necrotizing Pancreatitis

Bakker, Olaf J., van Baal, Mark C., van Santvoort, Hjalmar C., Besselink, Marc G., Poley, Jan-Werner, Heisterkamp, Joos, Bollen, Thomas L., Gooszen, Hein G., van Eijck, Casper H.

Journal:

Annals of Surgery

Year:

2011

Language:

english

File:

PDF, 189 KB

english, 2011

75

Reasoning about Update Logic

Jan van Eijck and Fer-Jan de Vries

Journal:

Journal of Philosophical Logic

Year:

1995

Language:

english

File:

PDF, 1.83 MB

english, 1995

76

KNOWLEDGE, RATIONALITY & ACTION. LOGIC AND SOCIAL INTERACTION || The language of social software

Journal:

Year:

2010

Language:

english

File:

PDF, 1.62 MB

english, 2010

77

Supplement 1, KNOWLEDGE, RATIONALITY & ACTION || Action emulation

Jan van Eijck, Ji Ruan and Tomasz Sadzik

Journal:

Year:

2012

Language:

english

File:

PDF, 1.50 MB

english, 2012

78

Epistemic protocols for dynamic gossip

van Ditmarsch, Hans, van Eijck, Jan, Pardo, Pere, Ramezanian, Rahim, Schwarzentruber, François

Journal:

Journal of Applied Logic

Year:

2017

Language:

english

File:

PDF, 976 KB

english, 2017

79

Proactive Versus Standard Percutaneous Catheter Drainage for Infected Necrotizing Pancreatitis

van Grinsven, Janneke, Timmerman, Pieter, van Lienden, Krijn P., Haveman, Jan Willem, Boerma, Djamila, van Eijck, Casper H.J., Fockens, Paul, van Santvoort, Hjalmar C., Boermeester, Marja A., Besselin

Journal:

Year:

2017

Language:

english

File:

PDF, 160 KB

english, 2017

80

Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*

van Benthem, Johan, van Eijck, Jan, Gattinger, Malvin, Su, Kaile

Journal:

Journal of Logic and Computation

Year:

2018

Language:

english

File:

PDF, 1.43 MB

english, 2018

81

Logic Colloquium ’99 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Utrecht, Netherlands, August 1–6, 1999) || Borel irreducibility between two large families of Borel equivalence relations

Van Eijck, Jan, Van Oostrom, Vincent, Visser, Albert

Year:

2016

Language:

english

File:

PDF, 239 KB

english, 2016

82

Logic Colloquium ’99 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Utrecht, Netherlands, August 1–6, 1999) || Logical topologies and semantic completeness

Van Eijck, Jan, Van Oostrom, Vincent, Visser, Albert

Year:

2016

Language:

english

File:

PDF, 198 KB

english, 2016

83

Dynamic Gossip

van Ditmarsch, Hans, van Eijck, Jan, Pardo, Pere, Ramezanian, Rahim, Schwarzentruber, François

Journal:

Bulletin of the Iranian Mathematical Society

Year:

2018

Language:

english

File:

PDF, 908 KB

english, 2018

84

Logic Colloquium ’99 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Utrecht, Netherlands, August 1–6, 1999) || Group actions and countable models

Van Eijck, Jan, Van Oostrom, Vincent, Visser, Albert

Year:

2016

Language:

english

File:

PDF, 310 KB

english, 2016

85

Logic Colloquium ’99 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Utrecht, Netherlands, August 1–6, 1999) || The intuitionistic arithmetical hierarchy

Van Eijck, Jan, Van Oostrom, Vincent, Visser, Albert

Year:

2016

Language:

english

File:

PDF, 190 KB

english, 2016

86

Cost-effectiveness of the treatments for critical limb ischemia in the elderly population

Peters, Chloé M.L., de Vries, Jolanda, Redeker, Steef, Timman, Reinier, Eijck, Geert-Jan van, Steunenberg, Stijn L., Verbogt, Nathalie, Ho, Gwan H., van Busschbach, Jan J., van der Laan, Lijckle

Journal:

Journal of Vascular Surgery

Year:

2019

File:

PDF, 341 KB

2019

87

Cost-effectiveness of the treatments for critical limb ischemia in the elderly population

Peters, Chloé M.L., de Vries, Jolanda, Redeker, Steef, Timman, Reinier, Eijck, Geert-Jan van, Steunenberg, Stijn L., Verbogt, Nathalie, Ho, Gwan H., van Busschbach, Jan J., van der Laan, Lijckle

Journal:

Journal of Vascular Surgery

Year:

2019

Language:

english

File:

PDF, 341 KB

english, 2019

88

Important differences between quality of life and health status in elderly patients suffering from critical limb ischemia

Steunenberg, Stijn L, de Vries, Jolanda, Raats, Jelle W, Verbogt, Nathalie, Lodder, Paul, van Eijck, Geert-Jan, Veen, Eelco J, de Groot, Hans GW, Ho, Gwan H, van der Laan, Lijckle

Journal:

Clinical Interventions in Aging

Year:

2019

Language:

english

File:

PDF, 231 KB

english, 2019

89

Handbook of Logic and Language || Representing Discourse in Context*

Year:

1997

Language:

english

File:

PDF, 2.82 MB

english, 1997

90

Computational Semantics with Functional Programming || Formal Study of Natural Language

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 131 KB

english, 2010

91

Computational Semantics with Functional Programming || Parsing

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 288 KB

english, 2010

92

Computational Semantics with Functional Programming || Extension and Intension

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 188 KB

english, 2010

93

Computational Semantics with Functional Programming || Lambda Calculus, Types, and Functional Programming

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 177 KB

english, 2010

94

Computational Semantics with Functional Programming || Discourse Representation and Context

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 287 KB

english, 2010

95

Computational Semantics with Functional Programming || Handling Relations and Scoping

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 193 KB

english, 2010

96

Computational Semantics with Functional Programming || Continuation Passing Style Semantics

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 154 KB

english, 2010

97

Computational Semantics with Functional Programming || The Composition of Meaning in Natural Language

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 260 KB

english, 2010

98

Computational Semantics with Functional Programming || Model Checking with Predicate Logic

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 174 KB

english, 2010

99

Computational Semantics with Functional Programming || Formal Semantics for Fragments

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 246 KB

english, 2010

100

Computational Semantics with Functional Programming || Communication as Informative Action

van Eijck, Jan, Unger, Christina

Year:

2010

Language:

english

File:

PDF, 329 KB

english, 2010