Find Research outputs

Search results

• Paper

  Automatic synthesis of optimal invariant assertions: Mathematical foundations

  Cousot, P. & Cousot, R., Aug 15 1977, p. 1-12. 12 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

• Autonomous vehicle algorithms for highway weaving sections

  Menendez, M., Yang, K., He, H., M, H. & Yang, K., Jul 2017.

  Research output: Contribution to conference › Paper › peer-review

• Average-case ray shooting and minimum weight triangulations

  Aronov, B. & Fortune, S., 1997, p. 203-211. 9 p.

  Research output: Contribution to conference › Paper › peer-review

• Axiomatic characterization of game-theoretic network centralities

  Skibski, O., Michalak, T. P. & Rahwan, T., 2017, p. 698-705. 8 p.

  Research output: Contribution to conference › Paper › peer-review

• Bayesian nonparametric kernel-learning

  Oliva, J. B., Dubey, A., Wilson, A. G., Póczos, B., Schneider, J. & Xing, E. P., 2016, p. 1078-1086. 9 p.

  Research output: Contribution to conference › Paper › peer-review

• BELIV'08: Beyond time and errors- Novel evaLuation methods for Information

  Bertini, E., Perer, A., Plaisant, C. & Santucci, G., 2008, p. 3913-3916. 4 p.

  Research output: Contribution to conference › Paper › peer-review

• Belonging and Culture: Making A New Literary History of America

  Patell, C. R. K., Nov 2009, (Unpublished).

  Research output: Contribution to conference › Paper

• Bernstein based arithmetic featuring de casteljau

  Michelucci, D., Foufou, S., Lamarque, L. & Ménegaux, D., 2005, p. 215-218. 4 p.

  Research output: Contribution to conference › Paper › peer-review

• Beyond Hybridity

  Patell, C. R. K., Dec 1997, (Unpublished).

  Research output: Contribution to conference › Paper › peer-review

• Beyond Hybridity: Multivocality in Late Twentieth-Century Chicano Fiction

  Patell, C. R. K., Dec 1999, (Unpublished).

  Research output: Contribution to conference › Paper › peer-review

• Beyond Hybridity: Some Suggestions from Science Fiction

  Patell, C. R. K., Mar 2000, (Unpublished).

  Research output: Contribution to conference › Paper › peer-review

• Bija Bona: Jodhpur’s Ploughman King Summons the Rains

  Balzani, M., Sep 1996.

  Research output: Contribution to conference › Paper › peer-review

• Bilevel optimization process to estimate OD matrices in a small network in Zurich: XVIII Pan-American Conference on Traffic and Transportation Engineering (PANAM)

  Menendez, M., Gomez, P., Merida, E. & de Oña, J., Jun 2014.

  Research output: Contribution to conference › Paper › peer-review

• Bi-modal automated highway lanes: Control strategy and evaluation, 18th COTA International Conference of Transportation Professionals

  Menendez, M., Yang, K. & He, H., 2018.

  Research output: Contribution to conference › Paper › peer-review

• Binding theory in LTAG

  Champollion, L., 2008, p. 1-8. 8 p.

  Research output: Contribution to conference › Paper › peer-review

• Biomedical imaging using optical coherent tomography

  Fujimoto, J. G., Hee, M. R., Izatt, J. A., Boppart, S. A., Swanson, E. A., Lin, C. P., Schuman, J. & Puliafito, C. A., 1994, p. p 67.

  Research output: Contribution to conference › Paper › peer-review

• BitBlender: Light-weight anonymity for Bittorrent

  Bauer, K., McCoy, D., Grunwald, D. & Sicker, D., 2008.

  Research output: Contribution to conference › Paper › peer-review

• Blind adaptive space-time receiving and transmitting diversities for multiuser DS-CDMA systems

  Kwak, J. & Lu, I. T., 1999, p. 924-928. 5 p.

  Research output: Contribution to conference › Paper › peer-review

• Boltzmann machines and denoising autoencoders for image denoising: International Conference on Learning Representations, ICLR 2013

  Cho, K. H., Jan 1 2013.

  Research output: Contribution to conference › Paper › peer-review

• Boundary objects for group model building to explore oral health equity

  Kum, S., Wang, H., Jin, Z., Xu, W., Mark, J., Northridge, M., Kunzel, C., Marshall, S. E. & Metcalf, S. S., 2015, p. 1-16. 16 p.

  Research output: Contribution to conference › Paper › peer-review

• Boundary-seeking generative adversarial networks

  Hjelm, R. D., Jacob, A. P., Che, T., Trischler, A., Cho, K. & Bengio, Y., Jan 1 2018.

  Research output: Contribution to conference › Paper › peer-review

• Bounded-degree polyhedronization of point sets

  Barequet, G., Benbernou, N., Charlton, D., Demaine, E. D., Demaine, M. L., Ishaque, M., Lubiw, A., Schulz, A., Souvaine, D. L., Toussaint, G. T. & Winslow, A., 2010, p. 99-102. 4 p.

  Research output: Contribution to conference › Paper › peer-review

• Bounding the test log-likelihood of generative models

  Bengio, Y., Yao, L. & Cho, K., Jan 1 2014.

  Research output: Contribution to conference › Paper › peer-review

• Bounds on the effective elasticity tensor of composites based on two-point correlations

  Avellaneda, M. & Milton, G. W., 1988, p. 89-93. 5 p.

  Research output: Contribution to conference › Paper › peer-review

• Bragg scattering of EM waves by microwave produced periodic plasma layers

  Zhang, Y. S. & Kuo, S. P., 1989, p. 150-151. 2 p.

  Research output: Contribution to conference › Paper › peer-review

• Brain imaging correlates of temporal quantization in spoken language

  Poeppel, D., 2003, p. 2561-2564. 4 p.

  Research output: Contribution to conference › Paper › peer-review

• Bridging optimization and antifragility in goal-oriented requirements engineering

  Kasm, O. A., Kenan, N., Diabat, A. & Svetinovic, D., 2017.

  Research output: Contribution to conference › Paper › peer-review

• Bringing soil mechanics to elementary schools

  Suescun-Florez, E. A., Cain, R. F., Kapila, V. & Iskander, M. G., 2013.

  Research output: Contribution to conference › Paper › peer-review

• Broadband attenuation of microwave by hollow cathode discharge plasma

  Kuo, S. P. & Ho, A. Y., 1990, p. 171-172. 2 p.

  Research output: Contribution to conference › Paper › peer-review

• Broadcast strategies for the fading relay channel

  Yuksel, M. & Erkip, E., 2004, p. 1060-1065. 6 p.

  Research output: Contribution to conference › Paper › peer-review

• Browsing through high quality document images with DjVu

  Haffner, P., Bottou, L., Howard, P. G., Simard, P., Bengio, Y. & Cun, Y. L., 1998, p. 309-318. 10 p.

  Research output: Contribution to conference › Paper › peer-review

• Buffer management and scheduling for TCP/IP over ATM-GFR

  Wu, D. & Chao, H. J., 1998, p. 519-524. 6 p.

  Research output: Contribution to conference › Paper › peer-review

• Bureaucracy and Piety

  Balzani, M., Apr 21 2013.

  Research output: Contribution to conference › Paper › peer-review

• By the people now, for the people later: Using transitory metadata to anchor a digital archive

  Washington, A., 2002. 1 p.

  Research output: Contribution to conference › Paper › peer-review

• Calibration of the surface array of the Pierre Auger Observatory

  Aglietta, M., Allison, P. S., Arneodo, F., Barnhill, D., Bauleo, P., Beatty, J. J., Bertou, X., Bonifazi, C., Busca, N., Creusot, A., Dornic, D., Etchegoyen, A., Filevitch, A., Ghia, P. L., Grunfeld, C. M., Lhenry-Yvon, I., Medina, M. C., Moreno, E., Navarra, G., Nitz, D., & 8 othersOhnuki, T., Ranchon, S., Salazar, H., Suomijärvi, T., Supanitsky, D., Tripathi, A., Urban, M. & Villasenor, L., 2005, p. 279-282. 4 p.

  Research output: Contribution to conference › Paper › peer-review

• Can automatic post-editing make MT more meaningful?

  Parton, K., Habash, N., McKeown, K., Iglesias, G. & De Gispert, A., 2012, p. 111-118. 8 p.

  Research output: Contribution to conference › Paper › peer-review

• Can losses help attenuate learning traps?

  Li, A. X., Gureckis, T. & Hayes, B. K., 2021, p. 1201-1207. 7 p.

  Research output: Contribution to conference › Paper › peer-review

• Can neural networks acquire a structural bias from raw linguistic data?

  Warstadt, A. & Bowman, S. R., 2020, p. 1737-1743. 7 p.

  Research output: Contribution to conference › Paper › peer-review

• Canopy climb: A rope interface

  Burleson, W. & Selker, T., Jul 27 2003.

  Research output: Contribution to conference › Paper › peer-review

• Can recursive neural tensor networks learn logical reasoning?

  Bowman, S. R., Jan 1 2014.

  Research output: Contribution to conference › Paper › peer-review

• Capacity of ad hoc wireless networks

  Li, J., Blake, C., De Couto, D. S. J., Lee, H. I. & Morris, R., 2001, p. 61-69. 9 p.

  Research output: Contribution to conference › Paper › peer-review

• Captivity and Hybridity in Octavia Butler’s Lilith’s Brood

  Patell, C. R. K., Dec 2003, (Unpublished).

  Research output: Contribution to conference › Paper › peer-review

• CarNet: A scalable Ad Hoc wireless network system

  Morris, R., Jannotti, J., Kaashoek, F., Li, J. & Decouto, D., Sep 17 2000, p. 61-65. 5 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

• Catalogue-based interaction and access to library resources

  Dubinsky, Y., Kimani, S., Bertini, E. & Catarci, T., 2007.

  Research output: Contribution to conference › Paper › peer-review

• Cell interaction with microtextured surfaces

  Ricci, J. L., Rose, R., Charvet, J. K., Alexander, H. & Naiman, C. S., 1996, p. 937. 1 p.

  Research output: Contribution to conference › Paper › peer-review

• Centrifuge Modeling of Buried Pipelines

  O'Rourke, M., Gadicherla, V. & Abdoun, T., 2003, p. 757-768. 12 p.

  Research output: Contribution to conference › Paper › peer-review

• Challenges for better understanding and simulating urban traffic - the Zurich experience: Proceedings of the 3rd International Conference in Models & Technologies for Intelligent Transportation Systems (MT-ITS), Dresden

  Menendez, M. & C, H., Dec 2013.

  Research output: Contribution to conference › Paper › peer-review

• Challenges in building an Arabic-English GHMT system with SMT components

  Habash, N., Dorr, B. & Monz, C., 2006, p. 56-65. 10 p.

  Research output: Contribution to conference › Paper › peer-review

• Chamber experiment for simulating the artificial ionization layers produced in the atmosphere by two intersecting microwave beams

  Zhang, Y. S. & Kuo, S. P., 1988, p. 32-33. 2 p.

  Research output: Contribution to conference › Paper › peer-review

• Chameleon Tables: Using context information in everyday objects

  Selker, T., Arroyo, E. & Burleson, W., 2002, p. 580-581. 2 p.

  Research output: Contribution to conference › Paper › peer-review