David M. Gethin: search on Z-Library

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

Don't use scam websites

1

History and the Perils of Grand Strategy

Morgan-Owen, David Gethin

Journal:

The Journal of Modern History

Year:

2020

File:

PDF, 598 KB

2020

2

‘History is a Record of Exploded Ideas’: Sir John Fisher and Home Defence, 1904–10

Morgan-Owen, David Gethin

Journal:

The International History Review

Year:

2014

Language:

english

File:

PDF, 207 KB

english, 2014

3

Cooked up in the Dinner Hour? Sir Arthur Wilson’s War Plan, Reconsidered: Figure 1:

Morgan-Owen, David Gethin

Journal:

The English Historical Review

Year:

2015

Language:

english

File:

PDF, 907 KB

english, 2015

4

Reviews

Gethin, Rupert, Loy, David R., Braitstein, Lara

Journal:

Contemporary Buddhism

Year:

2001

Language:

english

File:

PDF, 881 KB

english, 2001

5

FEView: An interactive visualization tool for finite elements

Yao Zheng, Roland W. Lewis, David T. Gethin

Journal:

Finite Elements in Analysis and Design

Year:

1995

Language:

english

File:

PDF, 7.52 MB

english, 1995

6

Effect of Drink Carbohydrate Content on Postexercise Gastric Emptying, Rehydration, and the Calculation of Net Fluid Balance

Clayton, David J., Evans, Gethin H., James, Lewis J.

Journal:

International Journal of Sport Nutrition and Exercise Metabolism

Year:

2014

Language:

english

File:

PDF, 362 KB

english, 2014

7

An adaptive finite element model for the behaviour of uranium hexafluoride filled container in a fire

Roland W. Lewis, Yao Zheng, David T. Gethin

Journal:

Nuclear Engineering and Design

Year:

1993

Language:

english

File:

PDF, 2.07 MB

english, 1993

8

Patterning of Antibodies Using Flexographic Printing

Phillips, Christopher O., Govindarajan, Sridhar, Hamblyn, Simon M., Conlan, R. Steven, Gethin, David T., Claypole, Tim C.

Journal:

Year:

2012

Language:

english

File:

PDF, 954 KB

english, 2012

9

Enantioselective synthesis of cyclopropylcarboxamides using s-BuLi–sparteine-mediated metallation

Lauru, Stephanie, Simpkins, Nigel S., Gethin, David, Wilson, Claire

Journal:

Chemical Communications

Year:

2008

Language:

english

File:

PDF, 211 KB

english, 2008

10

Effect of milk protein addition to a carbohydrate–electrolyte rehydration solution ingested after exercise in the heat

James, Lewis J., Clayton, David, Evans, Gethin H.

Journal:

British Journal Of Nutrition

Year:

2011

Language:

english

File:

PDF, 135 KB

english, 2011

11

[ASME ASME 2014 Pressure Vessels and Piping Conference - Anaheim, California, USA (Sunday 20 July 2014)] Volume 5: High-Pressure Technology; ASME NDE Division; 22nd Scavuzzo Student Paper Symposium and Competition - Case Study on a Complex Seal Design for a High Pressure Vessel Application

Slee, Adam J., Stobbart, John, Gethin, David T., Hardy, Stephen J.

Year:

2014

Language:

english

File:

PDF, 2.20 MB

english, 2014

12

Periodic electrolysis technique for in situ fouling control and removal with low-pressure membrane filtration

Abid, Hadeel Subhi, Johnson, Daniel James, Clifford, Ben, Gethin, David T., Bertoncello, Paolo, Hashaikeh, Raed, Hilal, Nidal

Journal:

Year:

2018

Language:

english

File:

PDF, 2.88 MB

english, 2018

13

Stress Whitening in Polyester Melamine Coatings

Radley, Emily, Lowe, Chris, Gethin, David

Journal:

Johnson Matthey Technology Review

Year:

2018

Language:

english

File:

PDF, 2.01 MB

english, 2018

14

Simulation of surface tension effect during filling of a thin section cavity via an interface element

Shahrir Abdullah, David T. Gethin

Journal:

International Journal for Numerical Methods in Biomedical Engineering

Year:

1998

Language:

english

File:

PDF, 175 KB

english, 1998

15

A combined finite-discrete element method for simulating pharmaceutical powder tableting

Roland W. Lewis, David T. Gethin, Xinshe S. Yang, Ray C. Rowe

Journal:

International Journal for Numerical Methods in Engineering

Year:

2005

Language:

english

File:

PDF, 412 KB

english, 2005

16

Three-dimensional unstructured mesh generation: Part 2. Surface meshes

Yao Zheng, Roland W. Lewis, David T. Gethin

Journal:

Computer Methods in Applied Mechanics and Engineering

Year:

1996

Language:

english

File:

PDF, 877 KB

english, 1996

17

Three-dimensional unstructured mesh generation: Part 3. Volume meshes

Roland W. Lewis, Yao Zheng, David T. Gethin

Journal:

Computer Methods in Applied Mechanics and Engineering

Year:

1996

Language:

english

File:

PDF, 1.17 MB

english, 1996

18

Interactive specification of three-dimensional multiblock topologies

Roland W. Lewis, Yao Zheng, David T. Gethin

Journal:

Advances in Engineering Software (Thomson Reuters)

Year:

1994

Language:

english

File:

PDF, 1.20 MB

english, 1994

19

Controller dependability analysis by probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

Control Engineering Practice

Year:

2007

Language:

english

File:

PDF, 485 KB

english, 2007

20

Three-dimensional finite element model for metal displacement and heat transfer in squeeze casting processes

Roland W. Lewis, Z.Q. Han, David T. Gethin

Journal:

Comptes Rendus Mécanique

Year:

2007

File:

PDF, 819 KB

2007

21

Game-Based Probabilistic Predicate Abstraction in PRISM

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 382 KB

english, 2008

22

A new synthetic approach to the polyoxins: Concise stereoselective preparation of protected thymine polyoxin C

David M. Gethin, Nigel S. Simpkins

Journal:

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

23

A Symbolic Out-of-Core Solution Method for Markov Models

Marta Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 365 KB

english, 2002

24

Using probabilistic model checking for dynamic power management

Gethin Norman, David Parker, Marta Kwiatkowska, Sandeep Shukla, Rajesh Gupta

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 378 KB

english, 2005

25

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 405 KB

english, 2004

26

Numerical vs. statistical probabilistic model checking

Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 453 KB

english, 2006

27

A formal analysis of bluetooth device discovery

Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 965 KB

english, 2006

28

Performance analysis of probabilistic timed automata using digital clocks

Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 853 KB

english, 2006

29

A game-based abstraction-refinement framework for

Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 1009 KB

english, 2010

30

Quantitative Analysis With the Probabilistic Model Checker PRISM

Marta Kwiatkowska, Gethin Norman, David Parker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 495 KB

english, 2006

31

Probabilistic model checking of complex biological pathways

John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.66 MB

english, 2008

32

Probabilistic Mobile Ambients

Marta Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.55 MB

english, 2009

33

Coupling the GAL4 UAS system with alcR for versatile cell type-specific chemically inducible gene expression in Arabidopsis

Lali Sakvarelidze, Zheng Tao, Max Bush, Gethin R. Roberts, David J. Leader, John H. Doonan, Stephen Rawsthorne

Journal:

Plant Biotechnology Journal

Year:

2007

Language:

english

File:

PDF, 2.47 MB

english, 2007

34

Probabilistic verification of Herman’s self-stabilisation algorithm

Kwiatkowska, Marta, Norman, Gethin, Parker, David

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 864 KB

english, 2012

35

SAR and biological evaluation of 3-azabicyclo[3.1.0]hexane derivatives as μ opioid ligands

Graham Lunn, Lee R. Roberts, Stephane Content, Douglas J. Critcher, Sara Douglas, Ashley E. Fenwick, David M. Gethin, Graham Goodwin, David Greenway, Sean Greenwood, Kim Hall, Martin Thomas, Stephen T

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2012

Language:

english

File:

PDF, 560 KB

english, 2012

36

On the use of MTBDDs for performability analysis and verification of stochastic systems

Holger Hermanns, Marta Kwiatkowska, Gethin Norman, David Parker, Markus Siegle

Journal:

The Journal of Logic and Algebraic Programming

Year:

2003

Language:

english

File:

PDF, 755 KB

english, 2003

37

Functional analysis of a mitochondrial phosphopantetheinyl transferase (PPTase) gene pptB in Aspergillus fumigatus

Gethin Allen, Mike Bromley, Sarah J. Kaye, David Keszenman-Pereyra, Tiago D. Zucchi, Jaqueline Price, Mike Birch, Jason D. Oliver, Geoffrey Turner

Journal:

Fungal Genetics and Biology

Year:

2011

Language:

english

File:

PDF, 772 KB

english, 2011

38

Three-dimensional unstructured mesh generation: Part 1. Fundamental aspects of triangulation and point creation

Yao Zheng, Roland W. Lewis, David T. Gethin

Journal:

Computer Methods in Applied Mechanics and Engineering

Year:

1996

Language:

english

File:

PDF, 1.12 MB

english, 1996

39

Sclerostin Regulates Release of Bone Mineral by Osteocytes by Induction of Carbonic Anhydrase 2

Kogawa, Masakazu, Wijenayaka, Asiri R, Ormsby, Renee T, Thomas, Gethin P, Anderson, Paul H, Bonewald, Lynda F, Findlay, David M, Atkins, Gerald J

Journal:

Journal of Bone and Mineral Research

Year:

2013

Language:

english

File:

PDF, 1.23 MB

english, 2013

40

PRISM

Kwiatkowska, Marta, Norman, Gethin, Parker, David

Journal:

ACM SIGMETRICS Performance Evaluation Review

Year:

2009

Language:

english

File:

PDF, 271 KB

english, 2009

41

Model checking for probabilistic timed automata

Norman, Gethin, Parker, David, Sproston, Jeremy

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.04 MB

english, 2013

42

Compositional probabilistic verification through multi-objective model checking

Kwiatkowska, Marta, Norman, Gethin, Parker, David, Qu, Hongyang

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 641 KB

english, 2013

43

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

Hahn, Ernst Moritz, Norman, Gethin, Parker, David, Wachter, Bjorn, Zhang, Lijun

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

44

[IEEE 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST) - London, United Kingdom (2012.09.17-2012.09.20)] 2012 Ninth International Conference on Quantitative Evaluation of Systems - The PRISM Benchmark Suite

Kwiatkowsa, Marta, Norman, Gethin, Parker, David

Year:

2012

Language:

english

File:

PDF, 101 KB

english, 2012

45

Solidification of the entrance to a subcooled tube

Yeow, Y. Leong, Gethin, David T., Lewis, Roland W.

Journal:

Industrial & Engineering Chemistry Research

Year:

1990

Language:

english

File:

PDF, 735 KB

english, 1990

46

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Symbolic Magnifying Lens Abstraction in Markov Decision Processes

Roy, Pritam, Parker, David, Norman, Gethin, Alfaro, Luca de

Year:

2008

Language:

english

File:

PDF, 282 KB

english, 2008

47

[IEEE 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2010.09.29-2010.10.1)] 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Advances and challenges of probabilistic model checking

Kwiatkowska, Marta, Norman, Gethin, Parker, David

Year:

2010

Language:

english

File:

PDF, 1.00 MB

english, 2010

48

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Model checking the probabilistic pi-calculus

Norman, Gethin, Palamidessi, Catuscia, Parker, David, Wu, Peng

Year:

2007

Language:

english

File:

PDF, 296 KB

english, 2007

49

[IEEE 2006 Winter Simulation Conference - Monterey, CA, USA (2006.12.3-2006.12.6)] Proceedings of the 2006 Winter Simulation Conference - Simulation and Verification for Computational Modelling of Signalling Pathways

Kwiatkowska, Marta, Norman, Gethin, Parker, David, Tymchyshyn, Oksana, Heath, John, Gaffney, Eamonn

Year:

2006

Language:

english

File:

PDF, 248 KB

english, 2006

50

Drying (Consolidation) Porous Ceramic by Considering the Microscopic Pore Temperature Gradient

Harun, Zawati, Gethin, David

Journal:

Applied Mechanics and Materials

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011