Find Research outputs

Search results

• Veinte anos de democracia electoral en Paraguay: Del clientelismo monopolico al clientelismo plural

  Setrini, G., Nov 2011, Estado y economia en Paraguay (1870-2010). Masi, F. & Borda, D. (eds.). Asuncion, Paraguay: Centro de Analisis y Difusion de Economia Paraguaya (CADEP)

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

• Veit Erlmann, Music, Modernity, and the Global Imagination: South Africa and the West

  Scherzinger, M., 2001, In: Journal of the Royal Musical Association. 126, 1, p. 117-141

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

• Velocity constancy in a virtual reality environment

  Distler, H. K., Gegenfurtner, K. R., Van Veen, H. A. H. C. & Hawken, M. J., 2000, In: Perception. 29, 12, p. 1423-1435 13 p.

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

• Velocity constancy in virtual reality environments

  Distler, H. K., Gegenfurtner, K. R., Van Veen, H. A. H. C. & Hawken, M. J., 1997, In: Investigative Ophthalmology and Visual Science. 38, 4, p. S76

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

• Velocity oscillations in actin-based motility

  Gholami, A., Falcke, M. & Frey, E., Mar 12 2008, In: New Journal of Physics. 10, 033022.

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

  Open Access

• Velocity preferences of simple and complex cells in the cat's striate cortex

  Movshon, J. A., 1974, In: Journal of Physiology. 242, 2, p. 121p-123p

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

• Velocity-scheduling control for a unicycle mobile robot: Theory and experiments

  Buccieri, D., Perritaz, D., Mullhaupt, P., Jiang, Z. P. & Bonvin, D., 2009, In: IEEE Transactions on Robotics. 25, 2, p. 451-458 8 p.

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

• Velocity scheduling controller for a nonholonomic mobile robot

  Buccieri, D., Mullhaupt, P., Jiang, Z-P. & Bonvin, D., 2006, 2006 Chinese Control Conference (CCC'06), Harbin, August 7-10, 2006.

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

• Velocity statistics distinguish quantum turbulence from classical turbulence

  Paoletti, M. S., Fisher, M. E., Sreenivasan, K. R. & Lathrop, D. P., Oct 6 2008, In: Physical Review Letters. 101, 15, 154501.

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

• Venice Again: (catalogue)

  Schneider, L., 2012

  Research output: Non-textual form › Exhibition/Curation

• Venice and the slavs of Dalmatia: The drama of the adriatic empire in the venetian enlightenment

  Wolff, L., 1997, In: Slavic Review. 56, 3, p. 428-455 28 p.

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

• Venice Biennale

  Al-Ghoussein, T., 2013

  Research output: Non-textual form › Exhibition/Curation

• Venise

  Manin, B. (ed.), 2001, Dictionnaire du vote. Perrineau, P. & Reynié, D. (eds.). Paris: Presses Universitaires de France, p. 665-667

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

• Ventral hippocampal afferents to the nucleus accumbens regulate susceptibility to depression

  Bagot, R. C., Parise, E. M., Peña, C. J., Zhang, H. X., Maze, I., Chaudhury, D., Persaud, B., Cachope, R., Bolaños-Guzmán, C. A., Cheer, J., Deisseroth, K., Han, M. H. & Nestler, E. J., May 8 2015, In: Nature communications. 6, 7062.

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

  Open Access

• Ventral hippocampal inputs preferentially drive corticocortical neurons in the infralimbic prefrontal cortex

  Liu, X. & Carter, A. G., Aug 15 2018, In: Journal of Neuroscience. 38, 33, p. 7351-7363 13 p.

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

• Ventral medial prefrontal cortex and emotional perseveration: The memory for prior extinction training

  Morgan, M. A., Schulkin, J. & Ledoux, J. E., Nov 30 2003, In: Behavioural Brain Research. 146, 1-2, p. 121-130 10 p.

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

• Ventrolateral regionalization of Xenopus laevis mesoderm is characterized by the expression of α-smooth muscle actin

  Saint-Jeannet, J. P., Levi, G., Girault, J. M., Koteliansky, V. & Thiery, J. P., 1992, In: Development. 115, 4, p. 1165-1173 9 p.

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

• Venture into dentures

  Jahangiri, L. & Soni, A., 2004, Dental Economics, 94, p. 158-163.

  Research output: Contribution to specialist publication › Article

• Venture toward the less obvious

  Newland, J., Aug 2005, In: Nurse Practitioner. 30, 8, 1 p.

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

• Venturing beyond the sentence level: Narrative skills in children with hearing loss

  Reuterskiöld, C., Ibertsson, T. & Sahlén, B., 2010, In: Volta Review. 110, 3, p. 389-406 18 p.

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

  Open Access

• Venus, Mars, and the myth of gender stereotypes

  Way, N., Jul 27 2011, In: forbesmagazine.com.

  Research output: Contribution to journal › Comment/debate › peer-review

• VEP measures of visual efficiency in human observers

  Skoczenski, A. M., Norcia, A. M. & Movshon, J. A., Feb 15 1996, In: Investigative Ophthalmology and Visual Science. 37, 3, p. S707

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

• Veränderungen in der Viehzucht am Anfang und am Ende der Römerzeit in Großbritannien: Fragen der akkulturation, der anpassung und der “verbesserung”

  Translated title of the contribution: Livestock changes at the beginning and end of the Roman period in Britain: Issues of acculturation, adaptation, and ‘improvement’Rizzetto, M., Crabtree, P. J. & Albarella, U., Aug 1 2017, In: European Journal of Archaeology. 20, 3, p. 535-556 22 p.

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

  Open Access

• Verbal abuse from nurse colleagues and work environment of early career registered nurses

  Budin, W. C., Brewer, C. S., Chao, Y. Y. & Kovner, C., Sep 2013, In: Journal of Nursing Scholarship. 45, 3, p. 308-316 9 p.

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

• Verbal argument structure: Events and participants

  Marantz, A., Jun 2013, In: Lingua. 130, p. 152-168 17 p.

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

• Verbal autopsy methods with multiple causes of death

  King, G. & Lu, Y., Feb 2008, In: Statistical Science. 23, 1, p. 78-91 14 p.

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

  Open Access

• Verbal Complexes

  Koopman, H. & Szabolcsi, A., 2000, MIT Press. 257 p.

  Research output: Book/Report › Book

• Verbal dichotic listening in boys at risk for behavior disorders

  Pine, D. S., Bruder, G. E., Wasserman, G. A., Miller, L. S., Musabegovic, A. & Watson, J. B., 1997, In: Journal of the American Academy of Child and Adolescent Psychiatry. 36, 10, p. 1465-1473 9 p.

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

  Open Access

• Verbal working memory impairment in schizophrenia [12] (multiple letters)

  Bell, M. D., Bryson, G., Wexler, B., Conklin, H. M., Curtis, C. E., Katsanis, J. & Iacono, W. G., 2001, In: American Journal of Psychiatry. 158, 4, p. 660-661 2 p.

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

• Verbal working memory impairment in schizophrenia patients and their first-degree relatives: Evidence from the digit span task

  Conklin, H. M., Curtis, C. E., Katsanis, J. & Iacono, W. G., Feb 2000, In: American Journal of Psychiatry. 157, 2, p. 275-277 3 p.

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

• Verb Movement and the Quotative Construction in English

  Collins, C. & Branigan, P., 1993, MIT Working Papers in Linguistics, 18, p. 1-13.

  Research output: Contribution to specialist publication › Article

• Verhandlungsführung – psychologische Grundlagen

  Troetschel, R. & Gollwitzer, P., 2004, Lehrbuch Konflikt und Friedenspsychologie. Sommer, G. & Fuchs, A. (eds.). Weinheim: Verlagsgruppe Beltz – Psychologische Verlags Union, p. 158-177

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

• Verifiable ASICs

  Wahby, R. S., Howald, M., Garg, S., Shelat, A. & Walfish, M., Aug 16 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy, SP 2016. Institute of Electrical and Electronics Engineers Inc., p. 759-778 20 p. 7546534. (Proceedings - 2016 IEEE Symposium on Security and Privacy, SP 2016).

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

• Verifiable auction: An auction system for a suspicious world

  Rosenberg, M. & Shasha, D., Oct 2014, New York University. (Technical Report; no. TR2014-971)

  Research output: Book/Report › Other report

• Verifiable auctions for online ad exchanges

  Angel, S. & Walfish, M., 2013, SIGCOMM 2013 - Proceedings of the ACM SIGCOMM 2013 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 195-206 12 p. (SIGCOMM 2013 - Proceedings of the ACM SIGCOMM 2013 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication).

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

• Verifiable auctions for online ad exchanges

  Angel, S. & Walfish, M., 2013, Proceedings of the SIGCOMM 2013 and Best Papers of the Co-Located Workshops. 4 ed. p. 195-206 12 p. (Computer Communication Review; vol. 43, no. 4).

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

• Verifiable computation using multiple provers

  Blumberg, AJ., Thaler, J., Vu, V. & Walfish, M., Oct 2014, In: ePrint Cryptology archive.

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

• Verifiable delay functions

  Boneh, D., Bonneau, J., Bünz, B. & Fisch, B., 2018, Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings. Boldyreva, A. & Shacham, H. (eds.). Springer Verlag, p. 757-788 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10991 LNCS).

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

• Verifiable visualization for isosurface extraction

  Etiene, T., Scheidegger, C., Nonato, L. G., Kirby, R. M. & Silva, C. T., Nov 2009, In: IEEE Transactions on Visualization and Computer Graphics. 15, 6, p. 1227-1234 8 p., 5290733.

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

• Verification

  Tavory, I., 2014, Speculation, Now: Essays and Artwork. Rao, V. V., Krishnamurthy, P. & Kuoni, C. (eds.). Durham, N.C.: Duke University Press and the Vera List Center, p. 34-35

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

• Verification and Calibration of Antenna Cross-Polarization Discrimination and Penetration Loss for Millimeter Wave Communications

  Xing, Y., Kanhere, O., Ju, S., Rappaport, T. S. & MacCartney, G. R., Jul 2 2018, 2018 IEEE 88th Vehicular Technology Conference, VTC-Fall 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8690683. (IEEE Vehicular Technology Conference; vol. 2018-August).

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

• Verification and Stability: A Game-Theoretic Analysis

  Brams, S. & Marc Kilgour, D., 1987, Arms and Artificial Intelligence: Weapon and Arms Control Applications of Advanced Computing. Din, A. M. (ed.). Oxford, UK: Oxford University Press, p. 193-213

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

• Verification and validation of renormalization group inspire particle weights for PIC codes

  Luginsland, J. W., Christlieb, A. & Caflisch, R., 2009, 2009 IEEE International Conference on Plasma Science - Abstracts, ICOPS 2009. 5227356. (IEEE International Conference on Plasma Science).

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

• Verification by abstract interpretation

  Cousot, P., 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2772, p. 243-268 26 p.

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

• Verification by abstract interpretation, soundness and abstract induction

  Cousot, P., Jul 14 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 1-4 4 p. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

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

• Verification by abstract interpretation, Soundness and abstract induction

  Cousot, P., 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527).

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

• Verification code forwarding attack

  Siadati, H., Nguyen, T. & Memon, N., 2016, Technology and Practice of Passwords - 9th International Conference, PASSWORDS 2015, Proceedings. Thorsheim, P., Stajano, F., Jenkinson, G. & Mjolsnes, S. F. (eds.). Springer Verlag, p. 65-71 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9551).

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

• Verification in the Age of Microservices

  Panda, A., Sagiv, M. & Shenker, S., May 7 2017, HotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems. IEEE Computer Society, p. 30-36 7 p. (Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS; vol. Part F129307).

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

• Verification of distributed systems with local-global predicates

  Chandy, K. M., Go, B., Mitra, S., Pilotto, C. & White, J., Sep 2011, In: Formal Aspects of Computing. 23, 5, p. 649-679 31 p.

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

  Open Access

• Verification of embedded software: Problems and perspectives

  Cousot, P. & Cousot, R., 2001, Embedded Software - 1st International Workshop, EMSOFT 2001, Proceedings. Henzinger, T. A. & Kirsch, C. M. (eds.). Springer Verlag, p. 97-113 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2211).

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