MIRC-X: A Highly Sensitive Six-telescope Interferometric Imager at the CHARA Array von Anugu, Narsireddy, Le Bouquin, Jean-Baptiste, Monnier, John D., Kraus, Stefan, Setterholm, Benjamin R., Labdon, Aaron, Davies, Claire L, Lanthermann, Cyprien, Gardner, Tyler, Ennis, Jacob, Johnson, Keith J. C., Ten Brummelaar, Theo, Schaefer, Gail, Sturmann, Judit

Volltext

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics von Johnson, Keith J.C., Krishnan, Rahul, Reps, Thomas, D’Antoni, Loris

Volltext

ARMADA. II. Further Detections of Inner Companions to Intermediate-mass Binaries with Microarcsecond Astrometry at CHARA and VLTI von Gardner, Tyler, Monnier, John D., Fekel, Francis C., Le Bouquin, Jean-Baptiste, Scovera, Adam, Schaefer, Gail, Kraus, Stefan, Adams, Fred C., Anugu, Narsireddy, Berger, Jean-Philippe, Ten Brummelaar, Theo, Davies, Claire L., Ennis, Jacob, Gies, Douglas R., Johnson, Keith J. C., Kervella, Pierre, Kratter, Kaitlin M., Labdon, Aaron, Lanthermann, Cyprien, Sahlmann, Johannes, Setterholm, Benjamin R.

Volltext

ARMADA. I. Triple Companions Detected in B-type Binaries α Del and ν Gem von Gardner, Tyler, Monnier, John D., Fekel, Francis C., Schaefer, Gail, Johnson, Keith J. C., Le Bouquin, Jean-Baptiste, Kraus, Stefan, Anugu, Narsireddy, Setterholm, Benjamin R., Labdon, Aaron, Davies, Claire L., Lanthermann, Cyprien, Ennis, Jacob, Ireland, Michael, Kratter, Kaitlin M., Ten Brummelaar, Theo, Sturmann, Judit, Sturmann, Laszlo, Farrington, Chris, Gies, Douglas R., Klement, Robert, Adams, Fred C.

Volltext

Synthesizing Formal Semantics from Executable Interpreters von Liu, Jiangyi, Murphy, Charlie, Grover, Anvay, Johnson, Keith J.C., Reps, Thomas, D’Antoni, Loris

Volltext

MIRC-X: A Highly Sensitive Six-telescope Interferometric Imager at the CHARA Array von Anugu, Narsireddy, Le Bouquin, Jean-Baptiste, Monnier, John D, Kraus, Stefan, Setterholm, Benjamin R, Labdon, Aaron, Davies, Claire L, Lanthermann, Cyprien, Gardner, Tyler, Ennis, Jacob, Johnson, Keith J.C, Ten Brummelaar, Theo, Schaefer, Gail, Sturmann, Judit

Volltext

Modular System Synthesis von Park, Kanghee, Johnson, Keith J.C., D'Antoni, Loris, Reps, Thomas

Volltext

Carbon on the Northwest European Shelf: Contemporary Budget and Future Influences von Legge, Oliver, Johnson, Martin, Hicks, Natalie, Jickells, Tim, Diesing, Markus, Aldridge, John, Andrews, Julian, Artioli, Yuri, Bakker, Dorothee C. E., Burrows, Michael T., Carr, Nealy, Cripps, Gemma, Felgate, Stacey L., Fernand, Liam, Greenwood, Naomi, Hartman, Susan, Kröger, Silke, Lessin, Gennadi, Mahaffey, Claire, Mayor, Daniel J., Parker, Ruth, Queirós, Ana M., Shutler, Jamie D., Silva, Tiago, Stahl, Henrik, Tinker, Jonathan, Underwood, Graham J. C., Van Der Molen, Johan, Wakelin, Sarah, Weston, Keith, Williamson, Phillip

Volltext

Circadian clock locus frequency: protein encoded by a single open reading frame defines period length and temperature compensation von Aronson, B.D, Johnson, K.A, Dunlap, J.C

Volltext

Immunolocalization of tumour necrosis factor-α (TNF-α) in the placental bed of normotensive and hypertensive human pregnancies von Pijnenborg, R., McLaughlin, P.J., Vercruysse, L., Hanssens, M., Johnson, P.M., Keith, J.C., Van Assche, F.A.

Volltext

AWE: A robotic wall and reconfigurable desk supporting working life in a digital society von Green, K.E., Walker, I.D., Gugerty, L.J., Witte, J.C., Houayek, H., Kwoka, M., Johnson, J., Teja, K., Kuntzi, N.

Volltext

Entry x environment interactions for alfalfa forage quality von Sheaffer, C.C, Cash, D, Ehlke, N.J, Henning, J.C, Jewett, J.G, Johnson, K.D, Peterson, M.A, Smith, M, Hansen, J.L, Viands, D.R

Volltext

Discrimination between HIV-1 and HIV-2-seropositive individuals using mouse monoclonal antibodies directed to HIV transmembrane proteins von HUNT, J. C, JOHNSON-PAEPKE, J, ROSKAM, G, TAT LEUNG, SARIN, V, PAUL, D, DAWSON, G, HOLZER, T, DEVARE, S, BOARDWAY, K, GUTIERREZ, R, HAMPL, H, ALLEN, R, HEYNEN, C, SURESH DESAI, CASEY, J, TRIBBY, I

Volltext

New clinical and radiographic signs in ischemic colitis von Chino, Shigeru, Johnson, J.C., Keith, Luther M.

Volltext

Ultrapure materials for alpha particle-sensitive applications von Dunlop, John A., Ritala, Keith E., Gibbard, James R., Beauprie, Rod, Pouliquen, Benoit, Reeves, James H., Huneke, John C., Vieth, Wojciech A.

Volltext