Find Research outputs

Search results

• 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. American Institute of Aeronautics and Astronautics Inc., 2009-1877. (AIAA Infotech at Aerospace Conference and Exhibit and AIAA Unmanned...Unlimited Conference).

  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

• A Forced March across an RNA Folding Landscape

  Silverman, S. K., Mar 21 2008, In: Chemistry and Biology. 15, 3, p. 211-213 3 p.

  Research output: Contribution to journal › Short survey › peer-review

• A footprint of past climate change on the diversity and population structure of Miscanthus sinensis

  Clark, L. V., Brummer, J. E., Głowacka, K., Hall, M. C., Heo, K., Peng, J., Yamada, T., Yoo, J. H., Yu, C. Y., Zhao, H., Long, S. P. & Sacks, E. J., Jul 2014, In: Annals of botany. 114, 1, p. 97-107 11 p.

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

• A foot-and-mouth epidemic

  Lee, B., Gordon, P., Richardson, H. W., Park, J. Y., Moore, J. E. & Pan, Q., Nov 28 2014, National Economic Impact Analysis of Terrorist Attacks and Natural Disasters. Richardson, H. W., Park, J., Moore II, J. E. & Pan, Q. (eds.). Edward Elgar Publishing, p. 128-151 24 p.

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

• A folic acid-based functionalized surface for biosensor systems

  Bhalerao, K. D., Lee, S. C., Soboyejo, W. O. & Soboyejo, A. B. O., Jan 2007, In: Journal of Materials Science: Materials in Medicine. 18, 1, p. 3-8 6 p.

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

• A folate receptor-targeting nanoparticle minimizes drug resistance in a human cancer model

  Wang, X., Li, J., Wang, Y., Koenig, L., Gjyrezi, A., Giannakakou, P., Shin, E. H., Tighiouart, M., Chen, Z., Nie, S. & Shin, D. M., Aug 23 2011, In: ACS Nano. 5, 8, p. 6184-6194 11 p.

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

• A focus on science, engineering, and education for sustainability

  Killeen, T., Van Der Pluijm, B. & Cavanaugh, M., 2012, In: Eos. 93, 1, p. 1-3 3 p.

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

• A foam mulching system to control weeds in tomatoes and sweet basil

  Masiunas, J., Wahle, E., Barmore, L. & Morgan, A., 2003, In: HortTechnology. 13, 2, p. 324-328 5 p.

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

  Open Access

• AFM study of the structure of underpotentially deposited Ag and Hg on Au(111)

  Chen, C. H. & Gewirth, A. A., Jul 1992, In: Ultramicroscopy. 42-44, PART 1, p. 437-444 8 p.

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

• AFM studies of tumor cell invasion

  Chasiotis, I., Street, D. C., Fillmore, H. L. & Gillies, G. T., 2003, In: American Society of Mechanical Engineers, Bioengineering Division (Publication) BED. 55, p. 129-130 2 p.

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

• AFM imaging - Reliable or not?

  Salapaka, S. M., Ramamoorthy, A. & Salapaka, M. V., 2013, In: IEEE Control Systems. 33, 6, p. 106-118 13 p., 6615632.

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

• AFM imaging of RGD presenting synthetic extracellular matrix using gold nanoparticles

  Hsiong, S. X., Cooke, P. H., Kong, H. J., Fishman, M. L., Ericsson, M. & Mooney, D. J., Jun 11 2008, In: Macromolecular Bioscience. 8, 6, p. 469-477 9 p.

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

• AFM imaging of protein movements: Histone H2A-H2B release during nucleosome remodeling

  Bash, R., Wang, H., Anderson, C., Yodh, J., Hager, G., Lindsay, S. M. & Lohr, D., Aug 21 2006, In: FEBS Letters. 580, 19, p. 4757-4761 5 p.

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

  Open Access

• AFM force measurements between SAM-modified tip and SAM-modified substrate in alkaline solution

  Kwon, H. C. & Gewirth, A. A., May 26 2005, In: Journal of Physical Chemistry B. 109, 20, p. 10213-10222 10 p.

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

• AFM characterization of dendrimer-stabilized platinum nanoparticles

  Gu, Y., Xie, H., Gao, J., Liu, D., Williams, C. T., Murphy, C. J. & Ploehn, H. J., Mar 29 2005, In: Langmuir. 21, 7, p. 3122-3131 10 p.

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

• A fluorescence resonance energy transfer-based probe to monitor nucleosome structure

  Lovullo, D., Daniel, D., Yodh, J., Lohr, D. & Woodbury, N. W., Jun 1 2005, In: Analytical Biochemistry. 341, 1, p. 165-172 8 p.

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

• A fluorescence resonance energy transfer activation sensor for Arf6

  Hall, B., McLean, M. A., Davis, K., Casanova, J. E., Sligar, S. G. & Schwartz, M. A., Mar 15 2008, In: Analytical Biochemistry. 374, 2, p. 243-249 7 p.

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

• A fluorescence photobleaching study of the microsecond reorientational motions of DNA

  Scalettar, B. A., Selvin, P. R., Axelrod, D., Hearst, J. E. & Klein, M. P., 1988, In: Biophysical journal. 53, 2, p. 215-226 12 p.

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