E-LIB Suche - Ergebnisse für: Owens, Scott

1

Development of an industrial reactive dividing wall column ..:

Weinfeld, Jeffrey A. ; Eldridge, R. Bruce ; Owens, Scott
Chemical Engineering and Processing - Process Intensification. 189 (2023) - p. 109380 , 2023

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

2

Utility of Vizient Clinical Data Base as a benchmarking too..:

Krishnan, Subhashree Mallika ; Smith, Ross ; Mathias, Patrick..
American Journal of Clinical Pathology. 160 (2023) Supplement_1 - p. S126-S127 , 2023

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

3

Extractive Dividing Wall Column for Separating Azeotropic S..:

Czarnecki, Natalie J. ; Owens, Scott A. ; Eldridge, R. Bruce
Industrial & Engineering Chemistry Research. 62 (2023) 14 - p. 5750-5770 , 2023

Link: https://doi.org/10.1021/..

4

Evaluation of the Aldol Condensation of Propionaldehyde as ..:

Weinfeld, Jeffrey A. ; Eldridge, R. Bruce ; Owens, Scott
Industrial & Engineering Chemistry Research. 61 (2022) 23 - p. 8220-8232 , 2022

Link: https://doi.org/10.1021/..

5

Validation of Differential Temperature Control for a Dividi..:

Walk, Mitchell ; Hamacher, Johannes ; Downs, James J....
Industrial & Engineering Chemistry Research. 60 (2021) 3 - p. 1341-1355 , 2021

Link: https://doi.org/10.1021/..

6

Isoforms of RNF128 Regulate the Stability of Mutant P53 in ..:

Ray, Dipankar ; Ray, Paramita ; Ferrer-Torres, Daysha...
Gastroenterology. 158 (2020) 3 - p. 583-597.e1 , 2020

Link: https://doi.org/10.1053/..

7

Modular Relaxed Dependencies in Weak Memory Concurrency:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Paviotti, Marco ; Cooksey, Simon ; Paradis, Anouk... - p. 599-625 , 2020

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

8

Hyperandrogenism associated with an ovarian remnant in a sp..:

Jones, Sarah A ; Owens, Scott L ; Birchard, Stephen J
Journal of Feline Medicine and Surgery Open Reports. 5 (2019) 2 - p. 205511691988569 , 2019

Link: https://doi.org/10.1177/..

9

Characterising renaming within OCaml's module system: theor..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Rowe, Reuben N. S. ; Férée, Hugo ; Thompson, Simon J.. - p. 950-965 , 2019

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

10

The verified CakeML compiler backend:

KIAM TAN, YONG ; MYREEN, MAGNUS O. ; KUMAR, RAMANA...
Journal of Functional Programming. 29 (2019) - p. , 2019

Link: https://doi.org/10.1017/..

11

Rotor : a tool for renaming values in OCaml's module sys..:

, In: Proceedings of the 3rd International Workshop on Refactoring,

Rowe, Reuben N. S. ; Férée, Hugo ; Thompson, Simon J.. - p. 27-30 , 2019

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

12

Building trustworthy software with CakeML:

, In: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs,

Owens, Scott - p. 1 ff. , 2019

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

13

Trends in Functional Programming

18th International Symposium, TFP 2017, Canterbury, UK, Jun... Lecture Notes in Computer Science ; 10788;Theoretical Computer Science and General Issues ; 10788;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Wang, Meng ; Owens, Scott , 2018

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

14

Usp9x Promotes Survival in Human Pancreatic Cancer and Its ..:

Pal, Anupama ; Dziubinski, Michele ; Di Magliano, Marina Pasca...
Neoplasia. 20 (2018) 2 - p. 152-164 , 2018

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

15

Program Verification in the Presence of I/O: Semantics, Ver..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Férée, Hugo ; Åman Pohjola, Johannes ; Kumar, Ramana... - p. 88-111 , 2018

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