Find Research outputs

Search results

• A Frame. A Study. An Enactment

  Lucero, J., 2013, Problematizing public pedagogy. Burdick, J., Sandlin, J. A. & O'Malley, M. P. (eds.). London: Routledge, p. 13, 77, 131 3 p.

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

• Afraid to Start Because the Outcome is Uncertain? Social Site Characterization as a Tool for Informing Public Engagement Efforts

  Wade, S. & Greenberg, S., Feb 2009, In: Energy Procedia. 1, 1, p. 4641-4647 7 p.

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

• A fragment on Euler's constant in Ramanujan's lost notebook

  Berndt, B. C. & Huber, T., 2008, In: South East Asian J. Math. Math. Sci.. 6, 2, p. 17-22 6 p.

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

• A Fragment of Anaxagoras in Thucydides?

  Calder, W. M., Dec 1984, In: The Classical Quarterly. 34, 2, p. 485-486 2 p.

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

• A fragmentizing interface to a large corpus of digitized text: (Post)humanism and non-consumptive reading via features

  Bhattacharyya, S., Organisciak, P. & Downie, J. S., 2015, In: Interdisciplinary Science Reviews. 40, 1, p. 61-77 17 p.

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

• A fracture-based constitutive model for pavement interface characterization

  Ozer, H., Al-Qadi, I. L. & Leng, Z., 2008, Pavement Cracking: Mechanisms, Modeling, Detection, Testing and Case Histories. p. 661-670 10 p.

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

• A fractional-N frequency synthesizer for cellular and short range multi-standard wireless receiver

  Huang, D., Zhou, J., Li, W., Li, N. & Ren, J., Aug 31 2010, ISCAS 2010 - 2010 IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems. p. 2071-2074 4 p. 5537238. (ISCAS 2010 - 2010 IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems).

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

• A fractional corner anomaly reveals higher-order topology

  Peterson, C. W., Li, T., Benalcazar, W. A., Hughes, T. L. & Bahl, G., Jun 5 2020, In: Science. 368, 6495, p. 1114-1118 5 p.

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

• A four-way junction accelerates hairpin ribozyme folding via a discrete intermediate

  Tan, E., Wilson, T. J., Nahas, M. K., Clegg, R. M., Lilley, D. M. J. & Ha, T., Aug 5 2003, In: Proceedings of the National Academy of Sciences of the United States of America. 100, 16, p. 9308-9313 6 p.

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

  Open Access

• A four unit cell periodic pattern of quasi-particle states surrounding vortex cores in Bi₂Sr₂CaCu₂O_8+δ

  Hoffman, J. E., Hudson, E. W., Lang, K. M., Madhavan, V., Eisaki, H., Uchida, S. & Davis, J. C., Jan 18 2002, In: Science. 295, 5554, p. 466-469 4 p.

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

• A four-parameter quadratic distribution

  Roberts, D. S. & Jones, D. L., 2001, In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 6, p. 3533-3536 4 p.

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

• A four-coordinate Fe(III) porphyrin cation

  Fang, M., Wilson, S. R. & Suslick, K. S., Jan 30 2008, In: Journal of the American Chemical Society. 130, 4, p. 1134-1135 2 p.

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

• A four component picture for jet induced correlations in heavy ion collisions? RRecent results on two and three particle correlations

  Sickles, A., Jun 2009, In: European Physical Journal C. 61, 4, p. 583-588 6 p.

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

• A four class model for digital breast histopathology using high-definition Fourier transform infrared (FT-IR) spectroscopic imaging

  Mittal, S., Wrobel, T. P., Leslie, L. S., Kadjacsy-Balla, A. & Bhargava, R., 2016, Medical Imaging 2016: Digital Pathology. Madabhushi, A. & Gurcan, M. N. (eds.). SPIE, 979118. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 9791).

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

• A foundation for provitamin a biofortification of maize: Genome-wide association and genomic prediction models of carotenoid levels

  Owens, B. F., Lipka, A. E., Magallanes-Lundback, M., Tiede, T., Diepenbrock, C. H., Kandianis, C. B., Kim, E., Cepela, J., Mateos-Hernandez, M., Robin Buell, C., Buckler, E. S., DellaPenna, D., Gore, M. A. & Rocheford, T., Dec 1 2014, In: Genetics. 198, 4, p. 1699-1716 18 p.

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

• A Foundation for Change: Using Challenges and Opportunities as Building Blocks for Collection Management

  Maddox Abbott, J. A., Apr 2 2020, In: Collection Management. 45, 2, p. 110-123 14 p.

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

• A foundation for adaptive fault tolerance in software

  Whisnant, K., Kalbarczyk, Z. & Iyer, R. K., 2003, Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003. Institute of Electrical and Electronics Engineers Inc., p. 252-260 9 p. 1194806. (Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003).

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

• A foundation for actor computation

  Agha, G. A., Mason, I. A., Smith, S. F. & Talcott, C. L., Jan 1997, In: Journal of Functional Programming. 7, 1, p. 1-72 72 p.

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

  Open Access

• A fossil caddisfly (Insecta: Trichoptera) from the Eocene of Colorado

  Robinson, J. L., Thomas, M. J. & Heads, S. W., Apr 4 2018, In: Zootaxa. 4403, 2, p. 389-394 6 p.

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

• A forward-reverse Brascamp-Lieb inequality: Entropic duality and Gaussian optimality

  Liu, J., Courtade, T. A., Cuff, P. W. & Verdú, S., Jun 1 2018, In: Entropy. 20, 6, 418.

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

  Open Access

• A forward-backward algorithm for stochastic control problems: Using the Stochastic Maximum Principle as an Alternative to Dynamic Programming

  Ludwig, S. E., Sirignano, J. A., Huang, R. & Papanicolaou, G., 2012, ICORES 2012 - Proceedings of the 1st International Conference on Operations Research and Enterprise Systems. p. 83-89 7 p.

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

• A forward-adjoint operator pair based on the elastic wave equation for use in transcranial photoacoustic computed tomography

  Mitsuhashi, K., Poudel, J., Matthews, T. P., Garcia-Uribe, A., Wang, L. V. & Anastasio, M. A., 2017, In: SIAM Journal on Imaging Sciences. 10, 4, p. 2022-2048 27 p.

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

• A formula for K-theory truncation Schubert calculus

  Knutson, A. & Yong, A., 2004, In: International Mathematics Research Notices. 70, p. 3741-3756 16 p.

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

• A forming technique to produce spherical ceramic beads using sodium alginate as a precursor binder phase

  Santos, C. J. E., Wei, T. S., Cho, B. & Kriven, W. M., Nov 2013, In: Journal of the American Ceramic Society. 96, 11, p. 3379-3388 10 p.

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

• A Formative Evaluation on a Virtual Reality Game-Based Learning System for Teaching Introductory Archaeology

  Shackelford, L., Huang, W. D., Craig, A., Merrill, C., Chen, D. & Arjona, J., Oct 15 2018, Proceedings of E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2018. Las Vegas: Association for the Advancement of Computing in Education (AACE), p. 605-611 7 p.

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

• A Formative Evaluation of Shared Family Mealtime for Parents of Toddlers and Young Children

  Quick, B. L., Fiese, B. H., Anderson, B., Koester, B. D. & Marlin, D. W., Oct 2011, In: Health communication. 26, 7, p. 656-666 11 p.

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

• A formative audit of the ECAETC year 1 evaluation. Audit procedures, findings, and issues

  Greene, J. C., Dumont, J. & Doughty, J., 1992, In: Evaluation and Program Planning. 15, 1, p. 81-90 10 p.

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

• A formal verification tool for ethereum VM bytecode

  Park, D., Zhang, Y., Saxena, M., Daian, P. & Roşu, G., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 912-915 4 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

  Open Access

• A formal study of information retrieval heuristics

  Fang, H., Tao, T. & Zhai, C. X., 2004, Proceedings of Sheffield SIGIR - Twenty-Seventh Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 49-56 8 p. (Proceedings of Sheffield SIGIR - Twenty-Seventh Annual International ACM SIGIR Conference on Research and Development in Information Retrieval).

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

• A formal-semantics-based calculus of trust

  Huang, J. & Nicol, D., Sep 2010, In: IEEE Internet Computing. 14, 5, p. 38-46 9 p., 5477411.

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

• A formal security model for networked control systems

  Montanari, M., Li, M., Sampigethaya, K. & Campbell, R. H., 2009, AIAA Infotech at Aerospace Conference and Exhibit and AIAA Unmanned...Unlimited Conference. 2009-1877

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

• A formal privacy system and its application to location based services

  Gunter, C. A., May, M. J. & Stubblebine, S. G., 2005, In: Lecture Notes in Computer Science. 3424, p. 256-282 27 p.

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

• A formal pattern architecture for safe medical systems

  Sun, M., Meseguer, J. & Sha, L., 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 157-173 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

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

• A formal monitoring-based framework for software development and analysis

  Chen, F., D'Amorim, M. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 357-372 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

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

• A formal model for reasoning about adaptive QoS-enabled middleware

  Venkatasubramanian, N., Talcott, C. & Agha, G., 2001, FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings. Oliveira, J. N. & Zave, P. (eds.). Springer, p. 197-221 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2021 LNCS).

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

• A formal model for reasoning about adaptive qos-enabled middleware

  Venkatasubramanian, N., Talcott, C. & Agha, G. A., Jan 2004, In: ACM Transactions on Software Engineering and Methodology. 13, 1, p. 86-147 62 p.

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

• A formal method for subjective design evaluation with multiple attributes

  Thurston, D. L., Jun 1991, In: Research in Engineering Design. 3, 2, p. 105-122 18 p.

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

• A formalized theory for verifying stability and convergence of automata in PVS

  Mitra, S. & Chandy, K. M., 2008, Theorem Proving in Higher Order Logics - 21st International Conference, TPHOLs 2008, Proceedings. Springer, p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5170 LNCS).

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

• A formalism for covariant polarized radiative transport by ray tracing

  Gammie, C. F. & Leung, P. K., Jun 20 2012, In: Astrophysical Journal. 752, 2, 123.

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

• A formal framework for scenario development in support of environmental decision-making

  Mahmoud, M., Liu, Y., Hartmann, H., Stewart, S., Wagener, T., Semmens, D., Stewart, R., Gupta, H., Dominguez, D., Dominguez, F., Hulse, D., Letcher, R., Rashleigh, B., Smith, C., Street, R., Ticehurst, J., Twery, M., van Delden, H., Waldick, R., White, D., & 1 othersWinter, L., Jul 2009, In: Environmental Modelling and Software. 24, 7, p. 798-808 11 p.

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

• A formal framework for reflective database access control policies

  Olson, L. E., Gunter, C. A. & Madhusudan, P., 2008, Proceedings of the 15th ACM Conference on Computer and Communications Security, CCS'08. p. 289-298 10 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

• A formal executable semantics of verilog

  Meredith, P., Katelman, M., Meseguer, J. & Rosu, G., 2010, 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010. p. 179-188 10 p. 5558634. (8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010).

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

• A formal definition of protocol indistinguishability and its verification using maude-NPA

  Santiago, S., Escobar, S., Meadows, C. & Meseguer, J., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8743, p. 162-177 16 p.

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

• A Formal Characterization of Activation Functions in Deep Neural Networks

  Amrouche, M. & Stipanovic, D. M., 2022, (Accepted/In press) In: IEEE Transactions on Neural Networks and Learning Systems. p. 1-14 14 p.

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

  Open Access

• A formal architecture pattern for real-time distributed systems

  Al-Nayeem, A., Sun, M., Qiu, X., Sha, L. R., Miller, S. P. & Cofer, D. D., 2009, Proceedings - Real-Time Systems Symposium, RTSS 2009. p. 161-170 10 p. 5368818. (Proceedings - Real-Time Systems Symposium).

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

• A formal approach to frequent energy adaptations for multimedia applications

  Hughes, C. J. & Adve, S. V., Oct 8 2004, In: Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA. 31, p. 138-149 12 p.

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

• A formal approach to detect functionally irrelevant barriers in MPI programs

  Sharma, S., Vakkalanka, S., Gopalakrishnan, G., Kirby, R. M., Thakur, R. & Gropp, W., 2008, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 15th European PVM/MPI Users' Group Meeting, Proceedings. p. 265-273 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5205 LNCS).

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

• A foreleg transcriptome for Ixodes scapularis ticks: Candidates for chemoreceptors and binding proteins that might be expressed in the sensory Haller's organ

  Josek, T., Walden, K. K. O., Allan, B. F., Alleyne, M. & Robertson, H. M., Jul 2018, In: Ticks and Tick-borne Diseases. 9, 5, p. 1317-1327 11 p.

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

• A Force Profonde: The Power, Politics, and Promise of Human Rights

  Kolodziej, E. A. (ed.), 2003, University of Pennsylvania Press. 352 p. (Pennsylvania Studies in Human Rights)

  Research output: Book/Report/Conference proceeding › Book

• A force-level theory of the rheology of entangled rod and chain polymer liquids. I. Tube deformation, microscopic yielding, and the nonlinear elastic limit

  Schweizer, K. S. & Sussman, D. M., Dec 7 2016, In: Journal of Chemical Physics. 145, 21, 214903.

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