Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Horn, Matthew
33  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Belonging in POGIL Gateway Classes:

, In: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 2,
Glebova, Olga ; Lovitt, Charity ; Mak, Giselle... - p. 1654-1655 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

List of Contributors:

, In: Oil Spill Environmental Forensics Case Studies,
Adhikari, Puspa L. ; Adkins, Matthew ; Albaigés, Joan... - p. xi-xiii , 2018
Link: https://doi.org/10.1016/..
 
?
3

Modeling Distribution, Fate, and Concentrations of Deepwate..:

, In: Oil Spill Environmental Forensics Case Studies,
French-McCay, Deborah P. ; Horn, Matthew ; Li, Zhengkai... - p. 683-735 , 2018
Link: https://doi.org/10.1016/..
 
?
4

List of contributors:

, In: Translational Sports Medicine,
Abboud, Joseph ; Akhnoukh, Kyrillos M. ; Alexandrov, Alexander... - p. xiii-xix , 2023
Link: https://doi.org/10.1016/..
 
?
5

More Than Just Talking Anti-Oppression: The Use of Racial D..:

, In: Handbook of Racism, Xenophobia, and Populism,
Davis, Dannielle Joy ; Lucas, Tommy ; Lim, Yongsun... - p. 877-889 , 2022
Link: https://doi.org/10.1007/..
 
?
6

TunePad Playbooks : Designing Computational Notebooks fo..:

, In: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems,
Horn, Mike ; Banerjee, Amartya ; Brucker, Matthew - p. 1-12 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Plan for On-Orbit Demonstration of the Deployable Optical R..:

, In: 2022 IEEE Aerospace Conference (AERO),
Jacobs, Daniel ; Bowman, Judd ; Patterson, Michelle... - p. 1-8 , 2022
Link: https://doi.org/10.1109/..
 
?
8

List of Contributors:

, In: Bioenergy,
Williams, Carol L. ; Porter, Pam ; Dahiya, Anju... - p. xxxiii-xl , 2020
Link: https://doi.org/10.1016/..
 
?
9

Contributors:

, In: Abeloff's Clinical Oncology,
Abbruzzese, James L. ; Abdel-Wahab, Omar ; Abou-Alfa, Ghassan K.... - p. ix-xxvi , 2020
Link: https://doi.org/10.1016/..
 
?
10

A vision for online verification-validation:

, In: Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
Hammer, Matthew A. ; Chang, Bor-Yuh Evan ; Van Horn, David - p. 190-201 , 2016
Link: https://dl.acm.org/doi/1..
 
?
11

Pushdown control-flow analysis for free:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Gilray, Thomas ; Lyde, Steven ; Adams, Michael D... - p. 691-704 , 2016
Link: https://dl.acm.org/doi/1..
 
?
12

Galois transformers and modular abstract interpreters: reus..:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,
Darais, David ; Might, Matthew ; Van Horn, David - p. 552-571 , 2015
Link: https://dl.acm.org/doi/1..
 
?
13

Incremental computation with names:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,
Hammer, Matthew A. ; Dunfield, Jana ; Headley, Kyle... - p. 748-766 , 2015
Link: https://dl.acm.org/doi/1..
 
?
14

Pruning, Pushdown Exception-Flow Analysis:

, In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation,
Liang, Shuying ; Sun, Weibin ; Might, Matthew.. - p. 265-274 , 2014
Link: https://doi.org/10.1109/..
 
?
15

Contributors:

, In: Abeloff's Clinical Oncology,
Abbruzzese, James L. ; Abou-Alfa, Ghassan K. ; Abrahm, Janet L.... - p. xi-xxx , 2014
Link: https://doi.org/10.1016/..
 
1-15