E-LIB Suche - Ergebnisse für: Maclean, Ewen

1

Machine Learning Applied to the Analysis of Nonlinear Beam ..:

Giovannozzi, Massimo ; Maclean, Ewen ; Montanari, Carlo Emilio..
Information. 12 (2021) 2 - p. 53 , 2021

Link: https://doi.org/10.3390/..

2

The Imandra Automated Reasoning System (System Description):

, In: Automated Reasoning; Lecture Notes in Computer Science,

Passmore, Grant ; Cruanes, Simon ; Ignatovich, Denis... - p. 464-471 , 2020

Link: https://doi.org/10.1007/..

3

Automating Event-B invariant proofs by rippling and proof p..:

Lin, Yuhui ; Bundy, Alan ; Grov, Gudmund.
Formal Aspects of Computing. 31 (2019) 1 - p. 95-129 , 2019

Link: https://doi.org/10.1007/..

4

A computational framework for conceptual blending:

Eppe, Manfred ; Maclean, Ewen ; Confalonieri, Roberto...
Artificial Intelligence. 256 (2018) - p. 105-129 , 2018

Link: https://doi.org/10.1016/..

5

LHC@Home: a BOINC-based volunteer computing infrastructure ..:

Barranco, Javier ; Cai, Yunhai ; Cameron, David...
Open Engineering. 7 (2017) 1 - p. 379-393 , 2017

Link: https://doi.org/10.1515/..

6

Proof automation for functional correctness in separation l..:

Maclean, Ewen ; Ireland, Andrew ; Grov, Gudmund
Journal of Logic and Computation. 26 (2014) 2 - p. 641-675 , 2014

Link: https://doi.org/10.1093/..

7

The CORE system : Animation and functional correctness o..:

, In: Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering,

Maclean, Ewen ; Ireland, Andrew ; Grov, Gudmund - p. 588-591 , 2011

Link: https://dl.acm.org/doi/1..

8

British Hospitals In China:

Thompson, H. Gordon ; Dawson of Penn ; Kirk, John...
The British Medical Journal. 1 (1938) 4041 - p. 1338-1339 , 1938

Link: https://www.jstor.org/st..

9

Maternity Services:

MacLean, Ewen
The British Medical Journal. 2 (1936) 3946 - p. 382-384 , 1936

Link: https://www.jstor.org/st..

10

Testimonial To Dr. E. Rowland Fothergill:

Boyle, Helen ; Gemmell, A. C. ; Hall, Donald...
The British Medical Journal. 1 (1936) 3915 - p. 130 ff. , 1936

Link: https://www.jstor.org/st..

11

The Remote Results Of Puerperal Sepsis:

Maclean, Ewen
The British Medical Journal. 2 (1935) 3901 - p. 656-658 , 1935

Link: https://www.jstor.org/st..

12

THE RÔLE OF THE MIDWIFE IN A NATIONAL MATERNITY SERVICE:

MACLEAN, EWEN
The Journal of State Medicine (1912-1937). 41 (1933) 11 - p. 643-656 , 1933

Link: https://www.jstor.org/st..

13

Dr. Alfred Cox Testimonial Fund:

Rolleston, Humphry ; Maclean, Ewen J.
The British Medical Journal. 1 (1932) 3728 - p. 1146 ff. , 1932

Link: https://www.jstor.org/st..

14

A British Medical Association Lecture On Some Ante-Natal Pr..:

MacLean, Ewen J.
The British Medical Journal. 1 (1931) 3676 - p. 1057-1059 , 1931

Link: https://www.jstor.org/st..

15

Testimonial To Sir Ronald Ross:

Barr, James ; Broquet, Charles ; Cardamatis, J. P....
The British Medical Journal. 1 (1929) 3566 - p. 879 ff. , 1929

Link: https://www.jstor.org/st..