Find Research outputs

Search results

• 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

• A fluorescence in Situ hybridization system for karyotyping soybean

  Findley, S. D., Cannon, S., Varala, K., Du, J., Ma, J., Hudson, M. E., Birchler, J. A. & Stacey, G., Jul 2010, In: Genetics. 185, 3, p. 727-744 18 p.

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

• A fluorescence in situ hybridization (FISH) protocol for stickleback tissue

  James, N., Liu, X. & Bell, A., Jul 2016, In: Evolutionary Ecology Research. 17, 4, p. 603-617 15 p.

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

• A flume experiment on the effect of channel width on the perturbation and recovery of flow in straight pools and riffles with smooth boundaries

  MacVicar, B. & Best, J., Sep 1 2013, In: Journal of Geophysical Research: Earth Surface. 118, 3, p. 1850-1863 14 p.

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

• A fluid power lab for undergraduate education

  Alleyne, A., 2000, In: Proceedings of the American Control Conference. 6, p. 4398-4402 5 p., 877053.

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

• AFLP-derived SCARs facilitate construction of a 1.1 Mb sequence-ready map of a region that spans the Vf locus in the apple genome

  Xu, M. & Korban, S. S., Nov 2002, In: Plant Molecular Biology. 50, 4-5, p. 803-818 16 p.

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

• AFLP-based genetic diversity assessment among wheat cultivars from the Pacific Northwest

  Barrett, B. A. & Kidwell, K. K., 1998, In: Crop Science. 38, 5, p. 1261-1271 11 p.

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

• AFLP-Based Detection of DNA Methylation

  Xu, M., Li, X. & Korban, S. S., 2000, In: Plant Molecular Biology Reporter. 18, 4, p. 361-368 8 p.

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

• AFLP analysis of genetic variability in New Guinea impatiens

  Carr, J., Xu, M., Dudley, J. W. & Korban, S. S., May 1 2003, In: Theoretical and Applied Genetics. 106, 8, p. 1509-1516 8 p.

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

• AFLP analysis of genetic diversity within and among Coffea arabica cultivars

  Steiger, D. L., Nagai, C., Moore, P. H., Morden, C. W., Osgood, R. V. & Ming, R. R., 2002, In: Theoretical and Applied Genetics. 105, 2-3, p. 209-215 7 p.

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

• A flow regime map for refrigerant condensation in herringbone micro-fin tubes

  Owaga, D., Liebenberg, L. & Meyer, J. P., 2006, In: South African Journal of Science. 102, 11-12, p. 519-526 8 p.

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

• A flow regime map for condensation in macro and micro tubes with non-equilibrium effects taken into account

  Xiao, J. & Hrnjak, P., Mar 2019, In: International Journal of Heat and Mass Transfer. 130, p. 893-900 8 p.

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

• A flow pattern that sustains an edge flame in a straining mixing layer with finite thermal expansion

  Liao, K. P., Matalon, M. & Pantano, C., 2015, In: Proceedings of the Combustion Institute. 35, 1, p. 1015-1021 7 p.

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

• A flow cytometric method for measurement of intracellular chloride concentration in lymphocytes using the halide-specific probe 6-methoxy-N-(3- sulfopropyl) quinolinium (SPQ)

  Pilas, B. & Durack, G., 1997, In: Cytometry. 28, 4, p. 316-322 7 p.

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

  Open Access

• A floristic inventory and vegetation survey of three dolomite prairies in Northeastern Illinois

  Molano-Flores, B., Phillippe, L. R., Marcum, P. B., Carroll-Cunningham, C., Ellis, J. L., Busemeyer, D. T. & Ebinger, J. E., Sep 2015, In: Castanea. 80, 3, p. 153-170 18 p.

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