A. Brinksma: search on Z-Library

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

51

Weight and height in children newly diagnosed with cancer

Brinksma, Aeltsje, Roodbol, Petrie F., Sulkers, Esther, Hooimeijer, H. Louise, Sauer, Pieter J.J., van Sonderen, Eric, de Bont, Eveline S.J.M., Tissing, Wim J.E.

Journal:

Pediatric Blood & Cancer

Year:

2014

Language:

english

File:

PDF, 562 KB

english, 2014

52

A Stochastic Causality-Based Process Algebra

Journal:

The Computer Journal

Year:

1995

Language:

english

File:

PDF, 7.59 MB

english, 1995

53

Validation of Ozone Monitoring Instrument total ozone column measurements using Brewer and Dobson spectrophotometer ground-based observations

Balis, D., Kroon, M., Koukouli, M. E., Brinksma, E. J., Labow, G., Veefkind, J. P., McPeters, R. D.

Journal:

Journal of Geophysical Research

Year:

2007

Language:

english

File:

PDF, 426 KB

english, 2007

54

Guest Editorial Design, Implementation, and Analysis of Communication Protocols

Brinksma, E., Hao, R., Lee, D., Miller, R.E., Lee, C.-T.

Journal:

IEEE Journal on Selected Areas in Communications

Year:

2004

Language:

english

File:

PDF, 515 KB

english, 2004

55

Geophysical validation of SCIAMACHY Limb Ozone Profiles

Brinksma, E. J., Bracher, A., Lolkema, D. E., Segers, A. J., Boyd, I. S., Bramstedt, K., Claude, H., Godin-Beekmann, S., Hansen, G., Kopp, G., Leblanc, T., McDermid, I. S., Meijer, Y. J., Nakane, H.,

Journal:

Atmospheric Chemistry and Physics

Year:

2006

Language:

english

File:

PDF, 1.32 MB

english, 2006

56

Algorithm for NO2 vertical column retrieval from the ozone monitoring instrument

Bucsela, E.J., Celarier, E.A., Wenig, M.O., Gleason, J.F., Veefkind, J.P., Boersma, K.F., Brinksma, E.J.

Journal:

IEEE Transactions on Geoscience and Remote Sensing

Year:

2006

Language:

english

File:

PDF, 1.02 MB

english, 2006

57

Oxygen binding and activation by the complexes of PY2- and TPA-appended diphenylglycoluril receptors with copper and other metals

Sprakel, Vera S. I., Feiters, Martin C., Meyer-Klaucke, Wolfram, Klopstra, Marten, Brinksma, Jelle, Feringa, Ben L., Karlin, Kenneth D., Nolte, Roeland J. M.

Journal:

Dalton Transactions

Year:

2005

Language:

english

File:

PDF, 364 KB

english, 2005

58

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Design/CPN — A computer tool for Coloured Petri Nets

Year:

1997

Language:

english

File:

PDF, 955 KB

english, 1997

59

[IEEE 19th IEEE International Parallel and Distributed Processing Symposium - Denver, CO, USA (04-08 April 2005)] 19th IEEE International Parallel and Distributed Processing Symposium - Production Scheduling by Reachability Analysis - A Case Study

Behrmann, G., Brinksma, E., Hendriks, M., Mader, A.

Year:

2005

Language:

english

File:

PDF, 71 KB

english, 2005

60

Malnutrition is associated with worse health-related quality of life in children with cancer

Brinksma, Aeltsje, Sanderman, Robbert, Roodbol, Petrie F., Sulkers, Esther, Burgerhof, Johannes G. M., de Bont, Eveline S. J. M., Tissing, Wim J. E.

Journal:

Supportive Care in Cancer

Year:

2015

Language:

english

File:

PDF, 452 KB

english, 2015

61

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Visual verification of reactive systems

Year:

1997

Language:

english

File:

PDF, 956 KB

english, 1997

62

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The d/dt Tool for Verification of Hybrid Systems

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 114 KB

english, 2002

63

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Manipulation algorithms for K*BMDs

Year:

1997

Language:

english

File:

PDF, 685 KB

english, 1997

64

OR26: National Obligatory Screening Lead to Decreased Malnutrition Rates in Paediatric Inpatients

van den Berg, A., Brinksma, A., Olieman, J., Joosten, K., Hulst, J.

Journal:

Clinical Nutrition

Year:

2017

Language:

english

File:

PDF, 58 KB

english, 2017

65

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma

Journal:

Computer Networks and ISDN Systems

Year:

1987

Language:

english

File:

PDF, 2.53 MB

english, 1987

66

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1019 || A user guide to HyTech

Brinksma, E., Cleaveland, W. R., Larsen, K. G., Margaria, T., Steffen, B.

Year:

1995

Language:

english

File:

PDF, 1.66 MB

english, 1995

67

Age-dependent role of pre- and perinatal factors in interaction with genes on ADHD symptoms across adolescence

Brinksma, Djûke M., Hoekstra, Pieter J., van den Hoofdakker, Barbara, de Bildt, Annelies, Buitelaar, Jan K., Hartman, Catharina A., Dietrich, Andrea

Journal:

Journal of Psychiatric Research

Year:

2017

Language:

english

File:

PDF, 462 KB

english, 2017

68

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Graphs in MetaFrame: The unifying power of polymorphism

Year:

1997

Language:

english

File:

PDF, 1.96 MB

english, 1997

69

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Space efficient reachability analysis through use of pseudo-root states

Year:

1997

File:

PDF, 833 KB

1997

70

Five years of observations of ozone profiles over Lauder, New Zealand

Brinksma, E. J.

Journal:

Journal of Geophysical Research

Year:

2002

Language:

english

File:

PDF, 1.97 MB

english, 2002

71

Changes in nutritional status in childhood cancer patients: A prospective cohort study

Brinksma, Aeltsje, Roodbol, Petrie F., Sulkers, Esther, Kamps, Willem A., de Bont, Eveline S.J.M., Boot, Annemieke M., Burgerhof, Johannes G.M., Tamminga, Rienk Y.J., Tissing, Wim J.E.

Journal:

Clinical Nutrition

Year:

2015

Language:

english

File:

PDF, 421 KB

english, 2015

72

[IEEE Comput. Soc. Press 6th International Workshop on Petri Nets and Performance Models - Durham, NC, USA (3-6 Oct. 1995)] Proceedings 6th International Workshop on Petri Nets and Performance Models - Performance and formal design: a process algebraic perspective

Year:

1995

Language:

english

File:

PDF, 153 KB

english, 1995

73

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Integration in PVS: Tables, types, and model checking

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

74

ChemInform Abstract: The Dinuclear Manganese Complex Mn2O(OAc)2(TPTN) as a Catalyst for Epoxidations with Hydrogen Peroxide.

Jelle Brinksma, Ronald Hage, Judith Kerschner, Ben L. Feringa

Journal:

Year:

2000

File:

PDF, 31 KB

2000

75

ChemInform Abstract: New Ligands for Manganese Catalyzed Selective Oxidation of Sulfides to Sulfoxides with Hydrogen Peroxide.

Jelle Brinksma, Rene La Crois, Ben L. Feringa, Maria Irene Donnoli, Carlo Rosini

Journal:

Year:

2001

File:

PDF, 31 KB

2001

76

Cache consistency by design

Journal:

Distributed Computing

Year:

1999

Language:

english

File:

PDF, 376 KB

english, 1999

77

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions

Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi

Journal:

Formal Methods in System Design

Year:

1998

Language:

english

File:

PDF, 585 KB

english, 1998

78

Validation of the Aura Ozone Monitoring Instrument total column ozone product

McPeters, R., Kroon, M., Labow, G., Brinksma, E., Balis, D., Petropavlovskikh, I., Veefkind, J. P., Bhartia, P. K., Levelt, P. F.

Journal:

Journal of Geophysical Research

Year:

2008

Language:

english

File:

PDF, 400 KB

english, 2008

79

First lidar observations of mesospheric hydroxyl

Brinksma, E. J., Meijer, Y. J., McDermid, I. S., Cageao, R. P., Bergwerff, J. B., Swart, D. P. J., Ubachs, W., Matthews, W. A., Hogervorst, W., Hovenier, J. W.

Journal:

Geophysical Research Letters

Year:

1998

Language:

english

File:

PDF, 447 KB

english, 1998

80

Finding the right balance: An evaluation of the adequacy of energy and protein intake in childhood cancer patients

Brinksma, Aeltsje, Roodbol, Petrie F., Sulkers, Esther, de Bont, Eveline S.J.M., Burgerhof, Johannes G.M., Tamminga, Rienk Y.J., Jager-Wittenaar, Harriët, Tissing, Wim J.E.

Journal:

Clinical Nutrition

Year:

2015

Language:

english

File:

PDF, 369 KB

english, 2015

81

Enantioselective synthesis of benzylbutyrolactones from 5-hydroxyfuran-2(5H )-one. New chiral synthons for dibenzylbutyrolactone lignans by a chemoenzymatic route

Brinksma, Jelle, van der Deen, Hanneke, van Oeveren, Arjan, Feringa, Ben L.

Journal:

Journal of the Chemical Society Perkin Transactions 1

Year:

1998

Language:

english

File:

PDF, 181 KB

english, 1998

82

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Applying SAT Methods in Unbounded Symbolic Model Checking

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 203 KB

english, 2002

83

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 ||

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 8.07 MB

english, 2002

84

Near-real time retrieval of tropospheric NO2 from OMI

Boersma, K. F., Eskes, H. J., Veefkind, J. P., Brinksma, E. J., van der A, R. J., Sneep, M., van den Oord, G. H. J., Levelt, P. F., Stammes, P., Gleason, J. F., Bucsela, E. J.

Journal:

Atmospheric Chemistry and Physics

Year:

2007

Language:

english

File:

PDF, 8.13 MB

english, 2007

85

ChemInform Abstract: Homogenous cis-Dihydroxylation and Epoxidation of Olefins with High H2O2 Efficiency by Mixed Manganese/Activated Carbonyl Catalyst System.

Jelle Brinksma, Lizette Schmieder, Gerbert van Vliet, Rob Boaron, Ronald Hage, Dirk E. De Vos, Paul L. Alsters, Ben L. Feringa

Journal:

Year:

2002

File:

PDF, 33 KB

2002

86

OPAL: Network for the Detection of Stratospheric Change ozone profiler assessment at Lauder, New Zealand 1. Blind intercomparison

McDermid, I. S., Bergwerff, J. B., Bodeker, G., Boyd, I. S., Brinksma, E. J., Connor, B. J., Farmer, R., Gross, M. R., Kimvilakani, P., Matthews, W. A., McGee, T. J., Ormel, F. T., Parrish, A., Singh,

Journal:

Journal of Geophysical Research

Year:

1998

Language:

english

File:

PDF, 1.20 MB

english, 1998

87

[IEEE Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05) - Enschede, The Netherlands (19-23 Sept. 2005)] Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05) - Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.

Jones, V., Rensink, A., Brinksma, E.

Year:

2005

Language:

english

File:

PDF, 387 KB

english, 2005

88

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Dependability for high-tech systems: an industry-as-laboratory approach

Brinksma, Ed, Hooman, Jozef

Year:

2008

Language:

english

File:

PDF, 2.18 MB

english, 2008

89

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Stochastic Activity Networks: Formal Definitions and Concepts⋆

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Year:

2001

Language:

english

File:

PDF, 346 KB

english, 2001

90

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Infinite Games and Verification

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 121 KB

english, 2002

91

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Test generation for intelligent networks using model checking

Year:

1997

Language:

english

File:

PDF, 884 KB

english, 1997

92

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A tool to support formal reasoning about computer languages

Year:

1997

Language:

english

File:

PDF, 918 KB

english, 1997

93

OPAL: Network for the Detection of Stratospheric Change ozone profiler assessment at Lauder, New Zealand 2. Intercomparison of revised results

McDermid, I. S., Bergwerff, J. B., Bodeker, G., Boyd, I. S., Brinksma, E. J., Connor, B. J., Farmer, R., Gross, M. R., Kimvilakani, P., Matthews, W. A., McGee, T. J., Ormel, F. T., Parrish, A., Singh,

Journal:

Journal of Geophysical Research

Year:

1998

Language:

english

File:

PDF, 792 KB

english, 1998

94

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Introduction to Stochastic Petri Nets

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Year:

2001

Language:

english

File:

PDF, 736 KB

english, 2001

95

A longitudinal case–control study on goals in adolescents with cancer

Sulkers, Esther, Janse, Moniek, Brinksma, Aeltsje, Roodbol, Petrie F., Kamps, Willem A., Tissing, Wim J.E., Sanderman, Robbert, Fleer, Joke

Journal:

Psychology and Health

Year:

2015

Language:

english

File:

PDF, 362 KB

english, 2015

96

Mechanism of Cis-Dihydroxylation and Epoxidation of Alkenes by Highly H 2 O 2 Efficient Dinuclear Manganese Catalysts

de Boer, Johannes W., Browne, Wesley R., Brinksma, Jelle, Alsters, Paul L., Hage, Ronald, Feringa, Ben L.

Journal:

Inorganic Chemistry

Year:

2007

Language:

english

File:

PDF, 535 KB

english, 2007

97

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Testing times: on model-driven test generation for non-deterministic real-time systems

Year:

2004

Language:

english

File:

PDF, 216 KB

english, 2004

98

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Hardware and software synthesis, optimization, and verification from Esterel programs

Year:

1997

Language:

english

File:

PDF, 157 KB

english, 1997

99

The 2005 and 2006 DANDELIONS NO 2 and aerosol intercomparison campaigns

Brinksma, E. J., Pinardi, G., Volten, H., Braak, R., Richter, A., Schönhardt, A., van Roozendael, M., Fayt, C., Hermans, C., Dirksen, R. J., Vlemmix, T., Berkhout, A. J. C., Swart, D. P. J., Oetjen, H

Journal:

Journal of Geophysical Research

Year:

2008

Language:

english

File:

PDF, 2.15 MB

english, 2008

100

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Liveness with (0,1, ∞)- Counter Abstraction

Brinksma, Ed, Larsen, Kim Guldstrand

Year:

2002

Language:

english

File:

PDF, 266 KB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски