E-LIB Suche - Ergebnisse für: Olausson, Theo X.

1

Top-Down Synthesis for Library Learning:

Bowers, Matthew ; Olausson, Theo X. ; Wong, Lionel...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1182-1213 , 2023

Link: https://doi.org/10.1145/..

2

HeteroGen: Automatic Synthesis of Heterogeneous Cache Coher..:

Oswald, Nicolai ; Nagarajan, Vijay ; Sorin, Daniel J....
IEEE Micro. 43 (2023) 4 - p. 62-70 , 2023

Link: https://doi.org/10.1109/..

3

Top-Down Synthesis for Library Learning:

Bowers, Matthew ; Olausson, Theo X ; Wong, Lionel...
https://doi.org/10.1145/3571234. , 2023

Link: https://hdl.handle.net/1..

4

LINC: A Neurosymbolic Approach for Logical Reasoning by Com..:

Olausson, Theo X ; Gu, Alex ; Lipkin, Benjamin...
http://arxiv.org/abs/2310.15164. , 2023

Link: http://arxiv.org/abs/231..

5

Is Self-Repair a Silver Bullet for Code Generation?:

Olausson, Theo X ; Inala, Jeevana Priya ; Wang, Chenglong..
http://arxiv.org/abs/2306.09896. , 2023

Link: http://arxiv.org/abs/230..

6

LILO: Learning Interpretable Libraries by Compressing and D..:

Grand, Gabriel ; Wong, Lionel ; Bowers, Matthew...
http://arxiv.org/abs/2310.19791. , 2023

Link: http://arxiv.org/abs/231..

7

Top-Down Synthesis for Library Learning:

Bowers, Matthew ; Olausson, Theo X ; Wong, Lionel...
http://arxiv.org/abs/2211.16605. , 2022

Link: http://arxiv.org/abs/221..

8

HeteroGen: Automatic Synthesis of Heterogeneous Cache Coher..:

, In: 2022 IEEE International Symposium on High-Performance Computer Architecture (HPCA),

Oswald, Nicolai ; Nagarajan, Vijay ; Sorin, Daniel J.... - p. 756-771 , 2022

Link: https://doi.org/10.1109/..

9

A 28-Day Oral Dose Toxicity Study Enhanced to Detect Endocr..:

van der Ven, Leo T. M. ; Verhoef, Aart ; van de Kuil, Ton...
Toxicological Sciences. 94 (2006) 2 - p. 281-292 , 2006

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

10

Mechanisms of Alcohol‐Nicotine Interactions: Alcoholics Ver..:

Narahashi, Toshio ; Söderpalm, Bo ; Ericson, M....
Alcoholism: Clinical and Experimental Research. 25 (2001) s1 - p. , 2001

Link: https://doi.org/10.1111/..

11

In situ split liver procedures in cadaver and living-relate..:

Olausson, M. ; Bäckman, L. ; Friman, S....
Transplantation Proceedings. 29 (1997) 7 - p. 3094-3095 , 1997

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

12

Identification of an aspartic acid residue in the β subunit..:

Meuller, J. ; Hu, X. ; Bunthof, C...
Biochimica et Biophysica Acta (BBA) - Bioenergetics. 1273 (1996) 3 - p. 191-194 , 1996

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