Find Research outputs

Search results

• Abstractive sentence summarization with attentive recurrent neural networks

  Chopra, S., Auli, M. & Rush, A. M., 2016, 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2016 - Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 93-98 6 p. (2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2016 - Proceedings of the Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Abstraction refinement for quantified array assertions

  Seghir, M. N., Podelski, A. & Wies, T., 2009, Static Analysis - 16th International Symposium, SAS 2009, Proceedings. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5673 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstraction of hydrogen by SiH radicals from hydrogenated amorphous silicon surfaces

  Sriraman, S., Ramalingam, S., Aydil, E. S. & Maroudas, D., Jul 10 2000, In: Surface Science. 459, 3, p. L475-L481

  Research output: Contribution to journal › Article › peer-review

• Abstraction of hydrogen by SiH₃ from hydrogen-terminated Si(001)-(2 × 1) surfaces

  Ramalingam, S., Maroudas, D., Aydil, E. S. & Walch, S. P., Nov 27 1998, In: Surface Science. 418, 1, p. L8-L13

  Research output: Contribution to journal › Article › peer-review

• Abstraction of atomic hydrogen by atomic deuterium from an amorphous hydrogenated silicon surface

  Agarwal, S., Takano, A., Van De Sanden, M. C. M., Maroudas, D. & Aydil, E. S., Dec 15 2002, In: Journal of Chemical Physics. 117, 23, p. 10805-10816 12 p.

  Research output: Contribution to journal › Article › peer-review

• Abstractionist aesthetics: Artistic form and social critique in African American culture

  Harper, P. B., Jan 1 2015, New York University Press. 280 p.

  Research output: Book/Report › Book

• Abstract Interpretation of Stateful Networks

  Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. & Velner, Y., 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer Verlag, p. 86-106 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract interpretation of resolution-based semantics

  Cousot, P., Cousot, R. & Giacobazzi, R., Nov 1 2009, In: Theoretical Computer Science. 410, 46, p. 4724-4746 23 p.

  Research output: Contribution to journal › Article › peer-review

• Abstract interpretation of algebraic polynomial systems

  Cousot, P. & Cousot, R., 1997, Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings. Johnson, M. (ed.). Springer Verlag, p. 138-154 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1349).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract interpretation frameworks

  Cousot, P. & Cousot, R., Aug 1992, In: Journal of Logic and Computation. 2, 4, p. 511-547 37 p.

  Research output: Contribution to journal › Article › peer-review

• Abstract interpretation based static analysis parameterized by semantics

  Cousot, P., 1997, Static Analysis - 4th International Symposium, SAS 1997. Van Hentenryck, P. (ed.). Springer Verlag, p. 388-394 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1302 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract interpretation based program testing

  Cousot, P. & Cousot, R., 2000, Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, (Compact Disk Paper 248 and Electronic Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract interpretation based formal methods and future challenges

  Cousot, P., 2001, Informatics - 10 years back, 10 years ahead. Wilhelm, R. (ed.). Springer, p. 138-156 (LNCS; vol. 2000).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

• Abstract interpretation and application to logic programs

  Cousot, P. & Cousot, R., Jul 1992, In: The Journal of Logic Programming. 13, 2-3, p. 103-179 77 p.

  Research output: Contribution to journal › Article › peer-review

• Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints

  Cousot, P. & Cousot, R., 1977, Conference Record of the 4th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Los Angeles, CA. ACM, p. 238-252

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract interpretation: Achievements and perspectives

  Cousot, P., 2000, Proceedings of the SSGRR 2000 Computer & eBusiness International Conference, l'Aquila, Italy, July 31-August 6 2000. Scuola Superiore G. Reiss Romoli, (Compact Disk Paper 224 and Electronic Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract interpretation

  Cousot, P., Jun 1996, In: ACM Computing Surveys. 28, 2, p. 324-328 5 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Abstract interpretation: Past, present and future

  Cousot, P. & Cousot, R., 2014, Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. Association for Computing Machinery, 2. (Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract interpretation: Theory and practice

  Cousot, P., 2002, Model Checking Software - 9th International SPIN Workshop, Proceedings. Bosnacki, D. & Leue, S. (eds.). Springer Verlag, p. 2-5 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2318).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract interpretation: "A" unified lattice model for static analysis of programs by construction or approximation of fixpoints

  Cousot, P. & Cousot, R., Jan 1 1977, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Part F130756, p. 238-252 15 p.

  Research output: Contribution to journal › Conference article › peer-review

• Abstracting induction by extrapolation and interpolation

  Cousot, P., 2015, Verification, Model Checking and Abstract Interpretation - 16th International Conference, VMCAI 2015, Proceedings. D’Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer Verlag, p. 19-42 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8931).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Abstract Coherent Categories

  Rehder, B. & Ross, B. H., Sep 2001, In: Journal of Experimental Psychology: Learning Memory and Cognition. 27, 5, p. 1261-1275 15 p.

  Research output: Contribution to journal › Article › peer-review

• Abstract Coherent Categories

  Rehder, R. & Ross, B. H., Sep 2001, In: Journal of Experimental Psychology: Learning Memory and Cognition. 27, 5, p. 1261-1275 15 p.

  Research output: Contribution to journal › Article › peer-review

• Abstract band method via factorization, positive and band extensions of multivariable almost periodic matrix functions, and spectral estimation

  Rodman, L., Spitkovsky, I. M. & Woerdeman, H. J., Nov 2002, In: Memoirs of the American Mathematical Society. 762

  Research output: Contribution to journal › Article › peer-review

• Abstract Art as Alternative to Multiculturalist Education

  Arcilla, R., 2010, Philosophy of Education 2009. Kerdeman, D. (ed.). Normal, IL: Philosophy of Education Society, p. 217-224

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

• Abstinence at Successful Discharge in Publicly Funded Addiction Health Services

  Frimpong, J. A., Guerrero, E. G., Kong, Y. & Kim, T., Oct 1 2016, In: Journal of Behavioral Health Services and Research. 43, 4, p. 661-675 15 p.

  Research output: Contribution to journal › Article › peer-review

• Abstinence and safer sex among adolescents [1] (multiple letters)

  Berman, S. M., Gunn, R. A., Aral, S. O., Cameron, P., Cameron, K., Panzer, R. A., Moore, T. L., Masdeu, J. C., Jemmott, J. B., Jemmott, L. S., Fong, G. T. & DiClemente, R., Apr 28 1999, In: Journal of the American Medical Association. 281, 16, p. 1485-1488 4 p.

  Research output: Contribution to journal › Letter › peer-review

• Abstention in daylight: Strategic calculus of voting in the european parliament

  Noury, A. G., Oct 2004, In: Public Choice. 121, 1-2, p. 179-211 33 p.

  Research output: Contribution to journal › Article › peer-review

• A Bsr BI polymorphism in exon 1C of the human interleukin-1 receptor type I (IL-1RI) gene

  Sitara, D., Wood, N., Morse, H., Keen, L. & Bidwell, J., Feb 2000, In: Genes and Immunity. 1, 3, p. 234-235 2 p.

  Research output: Contribution to journal › Article › peer-review

• A BsrB I polymorphism in exon 1C of the human interleukin-1 receptor type I (IL-1RI) gene

  Sitara, D., Wood, NAP., Morse, HR., Keen, LJ. & Bidwell, JL., 2000, In: Genes and Immunity. 1, 3, p. 234-235

  Research output: Contribution to journal › Article › peer-review

• Absorption spectra for collinear (nonreactive) H₃: Comparison between quantal and classical calculations

  Engel, V., Bacic, Z., Schinke, R. & Shapiro, M., 1985, In: The Journal of Chemical Physics. 82, 11, p. 4844-4849 6 p.

  Research output: Contribution to journal › Article › peer-review

• Absorption measurements at high pressure (0-10kbar) on strained superlattices

  Garrilovic, P., Meehan, K., Holonyak, N., Hess, K., Zurawsky, W. P., Drickamer, H. G., Ludowise, M. J., Dietze, W. T. & Lewis, C. R., Mar 1983, In: Solid State Communications. 45, 9, p. 803-806 4 p.

  Research output: Contribution to journal › Article › peer-review

• Absorption difference spectroscopy of chlorophyll a in ethanol solution

  Broyde, S. B., Brody, S. S. & Brody, M., Jan 15 1968, In: BBA - Bioenergetics. 153, 1, p. 183-187 5 p.

  Research output: Contribution to journal › Article › peer-review

• Absorption and second-harmonic generation of monomer and aggregate hemicyanine dye in Langmuir–Blodgett films

  Schildkraut, J. S., Penner, T. L., Willand, C. S. & Ulman, A., Feb 1988, In: Optics Letters. 13, 2, p. 134-136 3 p.

  Research output: Contribution to journal › Article › peer-review

• Absorption and second-harmonic generation of monomer and aggregated hemicyanine dye in Langmuir-Blodgett films

  Schildkraut, J. S., Penner, T. L., Willand, C. S. & Ulman, A., 1988, In: Optics Letters. 13, p. 134

  Research output: Contribution to journal › Article › peer-review

• Absorbing outcomes in 2 × 2 games

  Brams, S. J. & Hessel, M. P., Oct 1982, In: Behavioral Science. 27, 4, p. 393-401 9 p.

  Research output: Contribution to journal › Article › peer-review

• Absorbing boundary conditions for the numerical simulation of waves

  Engquist, B. & Majda, A., Jul 1977, In: Mathematics of Computation. 31, 139, p. 629-651 23 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Absorbed by love: Russian immigrant women in Israeli film

  Gershenson, O. & Hudson, D., 2007, In: Journal of Modern Jewish Studies. 6, 3, p. 301–315

  Research output: Contribution to journal › Article › peer-review

• Absolute total and partial electron ionization cross sections of C₂F₆

  Basner, R., Schmidt, M., Denisov, E., Lopata, P., Becker, K. & Deutsch, H., Mar 15 2002, In: International Journal of Mass Spectrometry. 214, 3, p. 365-374 10 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute total and partial electron impact ionization cross sections of hexamethyldisiloxane

  Basner, R., Foest, R., Schmidt, M., Becker, K. & Deutsch, H., Jul 1998, In: International Journal of Mass Spectrometry. 176, 3, p. 245-252 8 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute total and partial cross-sections for the electron impact ionization of TiCl₄

  Basner, R., Schmidt, M., Becker, K., Tarnovsky, V. & Deutsch, H., Oct 17 2000, In: Thin Solid Films. 374, 2, p. 291-297 7 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute total and partial cross sections for the electron impact ionization of tetrafluorosilane (SiF₄)

  Basner, R., Schmidt, M., Denisov, E., Becker, K. & Deutsch, H., Jan 2001, In: Journal of Chemical Physics. 114, 3, p. 1170-1177 8 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute total and partial cross sections for the electron impact ionization of diborane (B₂H₆)

  Basner, R., Schmidt, M. & Becker, K., Feb 1 2003, In: Journal of Chemical Physics. 118, 5, p. 2153-2158 6 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute Stability Criteria for Multiple Slope-Restricted Monotonic Nonlinearities

  Haddad, W. M. & Kapila, V., Feb 1995, In: IEEE Transactions on Automatic Control. 40, 2, p. 361-365 5 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute stability criteria for multiple slope-restricted monotonic nonlinearities

  Haddad, W. M. & Kapila, V., 1994, In: Proceedings of the American Control Conference. 1, p. 1020-1021 2 p.

  Research output: Contribution to journal › Conference article › peer-review

• Absolute quantification of choline-related biomarkers in breast cancer biopsies by liquid chromatography electrospray ionization mass spectrometry

  Mimmi, M. C., Finato, N., Pizzolato, G., Beltrami, C. A., Fogolari, F., Corazza, A. & Esposito, G., 2013, In: Analytical Cellular Pathology. 36, 3-4, p. 71-83 13 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute protein expression profiling estimates the relative contributions of transcriptional and translational regulation

  Lu, P., Vogel, C., Wang, R., Yao, X. & Marcotte, E. M., Jan 5 2007, In: Nature Biotechnology. 25, 1, p. 117-124 8 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute poverty: When necessity displaces desire

  Allen, R. C., Dec 2017, In: American Economic Review. 107, 12, p. 3690-3721 32 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Absolute photoemission cross sections of ultraviolet emissions produced by electron-impact dissociation of boron trichloride

  Gilbert, P. G., Siegel, R. B. & Becker, K., 1990, In: Physical Review A. 41, 10, p. 5594-5599 6 p.

  Research output: Contribution to journal › Article › peer-review

• Absolute photo-emission cross section of the BCl A¹Π →X¹Σ⁺ system produced by dissociative electron impact on BCl₃

  Jabbour, Z. J., Martus, K. E. & Becker, K., Sep 1988, In: Zeitschrift für Physik D Atoms, Molecules and Clusters. 9, 3, p. 263-264 2 p.

  Research output: Contribution to journal › Article › peer-review