Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Jon Hagar"'
Autor:
Jon Hagar, Marc-Florian Wendland
Publikováno v:
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce0627af304527abe5a37b01cfcd401b
https://doi.org/10.1109/icstw58534.2023.00056
https://doi.org/10.1109/icstw58534.2023.00056
Publikováno v:
2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e035b76225a18aef2fb7add2dd07855e
https://doi.org/10.1109/icstw55395.2022.00050
https://doi.org/10.1109/icstw55395.2022.00050
Autor:
Jon Hagar
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b565852db79f830c18367d71565bbf43
https://doi.org/10.4271/2014-01-2148
https://doi.org/10.4271/2014-01-2148
Autor:
Laura Hagar, Jon Hagar
Publikováno v:
2013 IEEE Green Technologies Conference (GreenTech).
The concept of microgeneration [1] can be extended into homes which use a variety of techniques to generate energy using green concepts. This paper examines one such experimental house that uses active and passive systems to generate energy for the h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6feb5a58ad209d544ccf27faecdd8e57
https://doi.org/10.1109/greentech.2013.60
https://doi.org/10.1109/greentech.2013.60
Autor:
James M. Bieman, Jon Hagar
Publikováno v:
ACM SIGAda Ada Letters. :55-72
The process used to validate, verify, and test flight avionics control systems has produced software that is highly reliable. However, ever greater demands for reliability require new automated tools to improve existing processes. We used the Anna (A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f21ecf59b7fb03d9a846c0e04d5ac1fa
https://doi.org/10.1145/240795.240798
https://doi.org/10.1145/240795.240798
Publikováno v:
ICST
The Lockheed Martin F-16 ventral fin redesign-combinatorial test study effort was to demonstrate how Combinatorial Testing (CT) could have been applied to system hardware design flaw analysis. The historic analysis was able to determine a set of comb
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::573b3562b16e0551b4e1f4932e1efffb
https://doi.org/10.1109/icst.2012.151
https://doi.org/10.1109/icst.2012.151
Publikováno v:
The Journal of Immunology. 192:122.3-122.3
Inflammatory caspases, such as caspase-1 and -11, mediate innate immune detection of pathogens. Caspase-11 induces pyroptosis, a form of programmed cell death, and specifically defends against bacterial pathogens that invade the cytosol. During endot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df1a55e3df01aab4cc37b6579ae02a9b
https://doi.org/10.4049/jimmunol.192.supp.122.3
https://doi.org/10.4049/jimmunol.192.supp.122.3
Autor:
Youssef Aachoui, Irina Leaf, Jon Hagar, Mary Fontana, Cristine Campos, Daniel Zak, Michael Tan, Peggy Cotter, Russell Vance, Alan Aderem, Edward Miao
Publikováno v:
The Journal of Immunology. 190:116.9-116.9
Caspases are either apoptotic or inflammatory. The inflammatory Caspases-1 and -11 trigger pyroptosis, a form of programmed cell death. Whereas both can be detrimental in inflammatory disease, only Caspase-1 has an established protective role during
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e81daf5add376f434b32f9d0d556c6c
https://doi.org/10.4049/jimmunol.190.supp.116.9
https://doi.org/10.4049/jimmunol.190.supp.116.9
Autor:
David Jon Hagar, Harold W. Borns
Publikováno v:
Geological Society of America Bulletin. 76:1233
The late-glacial stratigraphy of the northern part of the Kennebec River valley of Maine indicates the following sequence of events. (1) As the last extensive ice sheet dissipated in Maine, the sea inundated parts of the deglaciated and isostatically
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce917f8908210097b5ca840918270bf3
https://doi.org/10.1130/0016-7606(1965)76[1233:lsoanp]2.0.co
https://doi.org/10.1130/0016-7606(1965)76[1233:lsoanp]2.0.co
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.