Metalogical Frameworks II: Developing a Reflected Decision Procedure von Aitken, William E, Constable, Robert L, Underwood, Judith L

Volltext

Interpretação de modelo declarativo von 1) ANTONY SCOTT WILLIAMS, 2) SIDDHARTH JAYADEVAN, 3) ARYE GITTELMAN, 4) WILLIAM E. AITKEN, 5) SIMOND. KENT, 6) VLADIMIR NEDKOV HRISTOV

Volltext bestellen

Visual debugger for declarative/data-flow applications von JAYADEVAN SIDDHARTH, DANTON STEPHEN M, KENT SIMON D, AITKEN WILLIAM E

Volltext bestellen

Visual debugger for declarative/data-flow applications von Danton, Stephen M, Aitken, William E, Kent, Simon D, Jayadevan, Siddharth

Volltext bestellen

Application description language von JAYADEVAN SIDDHARTH, HRISTOV VLADIMIR H, WILLIAMS ANTONY S, SPENCER SAM, DANTON STEPHEN M, GITTELMAN ARYE, HACKMANN CHRISTOPHER D, AITKEN WILLIAM E

Volltext bestellen

DECLARATIVE MODEL INTERPRETATION von WILLIAMS, ANTONY SCOTT, KENT, SIMON D, GITTELMAN, ARYE, AITKEN, WILLIAM E, JAYADEVAN, SIDDHARTH, HRISTOV, VLADIMIR NEDKOV

Volltext bestellen

DECLARATIVE MODEL INTERPRETATION von WILLIAMS, ANTONY SCOTT, KENT, SIMON D, GITTELMAN, ARYE, AITKEN, WILLIAM E, JAYADEVAN, SIDDHARTH, HRISTOV, VLADIMIR NEDKOV

Volltext bestellen

DECLARATIVE MODEL INTERPRETATION von WILLIAMS, ANTONY SCOTT, KENT, SIMON D, GITTELMAN, ARYE, AITKEN, WILLIAM E, JAYADEVAN, SIDDHARTH, HRISTOV, VLADIMIR NEDKOV

Volltext bestellen

DECLARATIVE MODEL INTERPRETATION von JAYADEVAN SIDDHARTH, HRISTOV VLADIMIR NEDKOV, WILLIAMS ANTONY SCOTT, GITTELMAN ARYE, KENT SIMON D, AITKEN WILLIAM E

Volltext bestellen

VISUAL DEBUGGER FOR DECLARATIVE/DATA-FLOW APPLICATIONS von JAYADEVAN SIDDHARTH, DANTON STEPHEN M, KENT SIMON D, AITKEN WILLIAM E

Volltext bestellen

APPLICATION DESCRIPTION LANGUAGE von WILLIAMS, ANTONY S, SPENCER, SAM, GITTELMAN, ARYE, HACKMANN, CHRISTOPHER D, AITKEN, WILLIAM E, DANTON, STEPHEN M, JAYADEVAN, SIDDHARTH, HRISTOV, VLADIMIR H

Volltext bestellen

APPLICATION DESCRIPTION LANGUAGE von WILLIAMS, ANTONY S, SPENCER, SAM, GITTELMAN, ARYE, HACKMANN, CHRISTOPHER D, AITKEN, WILLIAM E, DANTON, STEPHEN M, JAYADEVAN, SIDDHARTH, HRISTOV, VLADIMIR H

Volltext bestellen

Application description language von JAYADEVAN SIDDHARTH, GITTLEMAN ARYE, HRISTOV VLADIMIR H, WILLIAMS ANTONY S, SPENCER SAM, DANTON STEPHEN M, HACKMANN CHRISTOPHER D, AITKEN WILLIAM E

Volltext bestellen

The semantics of reflected proof von Allen, S.F., Constable, R.L., Howe, D.J., Aitken, W.E.

Volltext bestellen

Transient Inability to Manage Proteobacteria Promotes Chronic Gut Inflammation in TLR5-Deficient Mice von Carvalho, Frederic A., Koren, Omry, Goodrich, Julia K., Johansson, Malin E.V., Nalbantoglu, Ilke, Aitken, Jesse D., Su, Yueju, Chassaing, Benoit, Walters, William A., González, Antonio, Clemente, Jose C., Cullender, Tyler C., Barnich, Nicolas, Darfeuille-Michaud, Arlette, Vijay-Kumar, Matam, Knight, Rob, Ley, Ruth E., Gewirtz, Andrew T.

Volltext

Regional Isolation Drives Bacterial Diversification within Cystic Fibrosis Lungs von Jorth, Peter, Staudinger, Benjamin J., Wu, Xia, Hisert, Katherine B., Hayden, Hillary, Garudathri, Jayanthi, Harding, Christopher L., Radey, Matthew C., Rezayat, Amir, Bautista, Gilbert, Berrington, William R., Goddard, Amanda F., Zheng, Chunxiang, Angermeyer, Angus, Brittnacher, Mitchell J., Kitzman, Jacob, Shendure, Jay, Fligner, Corinne L., Mittler, John, Aitken, Moira L., Manoil, Colin, Bruce, James E., Yahr, Timothy L., Singh, Pradeep K.

Volltext

Transcriptional and functional diversity of human macrophage repolarization von Gharib, Sina A., McMahan, Ryan S., Eddy, William E., Long, Matthew E., Parks, William C., Aitken, Moira L., Manicone, Anne M.

Volltext

IS26-mediated amplification of blaOXA-1 and blaCTX-M-15 with concurrent outer membrane porin disruption associated with de novo carbapenem resistance in a recurrent bacteraemia coh... von Shropshire, William C, Aitken, Samuel L, Pifer, Reed, Kim, Jiwoong, Bhatti, Micah M, Li, Xiqi, Kalia, Awdhesh, Galloway-Peña, Jessica, Sahasrabhojane, Pranoti, Arias, Cesar A, Greenberg, David E, Hanson, Blake M, Shelburne, Samuel A

Volltext

Differential Activity of APOBEC3F, APOBEC3G, and APOBEC3H in the Restriction of HIV-2 von Meissner, Morgan E., Willkomm, Nora A., Lucas, Jamie, Arndt, William G., Aitken, Sarah F., Julik, Emily J., Baliga, Sunanda, Mansky, Louis M.

Volltext

Interleukin-1β (IL-1β) promotes susceptibility of Toll-like receptor 5 (TLR5) deficient mice to colitis von Carvalho, Frederic A, Nalbantoglu, Ilke, Ortega-Fernandez, Sophie, Aitken, Jesse D, Su, Yueju, Koren, Omry, Walters, William A, Knight, Rob, Ley, Ruth E, Vijay-Kumar, Matam, Gewirtz, Andrew T

Volltext