Find Research Outputs

Search in all content

Filters for Research & Scholarship

Search concepts
Selected Filters

Publication Year

  • 2019
  • 2018
  • 2015
  • 2014
  • 2013
  • 2011
  • 2010
2010

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 journalArticle

A formal executable semantics of verilog

Meredith, P., Katelman, M., Meseguer, J. & Rosu, G., Oct 15 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 proceedingConference contribution

A formal pattern architecture for safe medical systems

Sun, M., Meseguer, J. & Sha, L., Nov 22 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 proceedingConference contribution

A formal-semantics-based calculus of trust

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

Research output: Contribution to journalArticle

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 proceedingConference contribution

A framework for formal verification of compiler optimizations

Mansky, W. & Gunter, E., Aug 10 2010, Interactive Theorem Proving - First International Conference, ITP 2010, Proceedings. p. 371-386 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6172 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for the safe interoperability of medical devices in the presence of network failures

Kim, C., Sun, M., Mohan, S., Yun, H., Sha, L. R. & Abdelzaher, T., Jul 20 2010, Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10. p. 149-158 10 p. (Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for understanding and applying ethical principles in network and security research

Kenneally, E., Bailey, M. & Maughan, D., 2010, Financial Cryptography and Data Security - FC 2010 Workshops, RLCPS, WECSR, and WLC 2010, Revised Selected Papers. p. 240-246 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6054 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for understanding file format conversions

Bajcsy, P., Kooper, R., Marini, L., McHenry, K. G. & Ondrejcek, M., Dec 1 2010, Proceedings of the 2010 Roadmap for Digital Preservation Interoperability Framework Workshop, US-DPIF'10. 2039284. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

African Slaves in Nineteenth-Century Rural Egypt: A Preliminary Assessment

Cuno, K. M., Jan 1 2010, Race and Slavery in the Middle East: Histories of Trans-Saharan Africans in Nineteenth-Century Egypt, Sudan, and the Ottoman Mediterranean. Walz, T. & Cuno, K. M. (eds.). Cairo: American University in Cairo Press, p. 77-98 22 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

A front-line window of opportunity phase 2 study of sorafenib in patients with advanced nonsmall cell lung cancer: North central cancer treatment group study N0326

Dy, G. K., Hillman, S. L., Rowland, K. M., Molina, J. R., Steen, P. D., Wender, D. B., Nair, S., Mandrekar, S., Schild, S. E. & Adjei, A. A., Dec 15 2010, In : Cancer. 116, 24, p. 5686-5693 8 p.

Research output: Contribution to journalArticle

A functional DNA methylation system in the pea aphid, Acyrthosiphon pisum

Walsh, T. K., Brisson, J. A., Robertson, H. M., Gordon, K., Jaubert-Possamai, S., Tagu, D. & Edwards, O. R., Mar 2010, In : Insect Molecular Biology. 19, SUPPL. 2, p. 215-228 14 p.

Research output: Contribution to journalArticle

A functional genomic screen in planarians identifies novel regulators of germ cell development

Wang, Y., Stary, J. M., Wilhelm, J. E. & Newmark, P. A., Sep 15 2010, In : Genes and Development. 24, 18, p. 2081-2092 12 p.

Research output: Contribution to journalArticle

A game theory based reputation mechanism to incentivize cooperation in wireless ad hoc networks

Jaramillo, J. J. & Srikant, R., Jun 1 2010, In : Ad Hoc Networks. 8, 4, p. 416-429 14 p.

Research output: Contribution to journalArticle

Age and diet affect gene expression profiles in canine liver tissue

Kil, D. Y., Boler, B. M. V., Apanavicius, C. J., Schook, L. B. & Swanson, K. S., 2010, In : PloS one. 5, 10, e13319.

Research output: Contribution to journalArticle

Age differences in the effects of conceptual integration training on resource allocation in sentence processing

Stine-Morrow, E. A. L., Noh, S. R. & Shake, M. C., Jul 1 2010, In : Quarterly Journal of Experimental Psychology. 63, 7, p. 1430-1455 26 p.

Research output: Contribution to journalArticle

Age modifies the genotype-phenotype relationship for the bitter receptor TAS2R38

Mennella, J. A., Pepino, M. Y., Duke, F. F. & Reed, D. R., Jul 1 2010, In : BMC genetics. 11, 60.

Research output: Contribution to journalArticle

A gene family-based method for interspecies comparisons of sequencing-based transcriptomes and its use in environmental adaptation analysis

Chen, Z., Ye, H., Zhou, L., Cheng, C. H. C. & Chen, L., Mar 1 2010, In : Journal of Genetics and Genomics. 37, 3, p. 205-218 14 p.

Research output: Contribution to journalArticle

A general approach to data-intensive computing using the Meandre component-based framework

Ács, B., Llorà, X., Auvil, L., Capitanu, B., Tcheng, D., Haberman, M., Dong, L., Wentling, T. & Welge, M., Aug 27 2010, Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science, Wands '10. 8. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A general framework to detect unsafe system states from multisensor data stream

Ning, H., Xu, W., Zhou, Y., Gong, Y. & Huang, T. S., Mar 1 2010, In : IEEE Transactions on Intelligent Transportation Systems. 11, 1, p. 4-15 12 p., 5200366.

Research output: Contribution to journalArticle

A general protocol for temperature calibration of MAS NMR probes at arbitrary spinning speeds

Guan, X. & Stark, R. E., Sep 2010, In : Solid State Nuclear Magnetic Resonance. 38, 2-3, p. 74-76 3 p.

Research output: Contribution to journalArticle

A generic sensor network design framework based on a detectability measure

Wang, P., Youn, B. D. & Hu, C., Dec 1 2010, ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE2010. PARTS A AND B ed. p. 1013-1022 10 p. (Proceedings of the ASME Design Engineering Technical Conference; vol. 3, no. PARTS A AND B).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Agent technologies for control applications in the power grid

Aquino-Lugo, A. A. & Overbye, T. J., May 7 2010, Proceedings of the 43rd Annual Hawaii International Conference on System Sciences, HICSS-43. 5428356. (Proceedings of the Annual Hawaii International Conference on System Sciences).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Age of acquisition and proficiency as factors in language production: Agreement in bilinguals

Foote, R., Apr 1 2010, In : Bilingualism. 13, 2, p. 99-118 20 p.

Research output: Contribution to journalArticle

A geometrically-resilient SURF-based image fingerprinting scheme

Gigaud, G. & Moulin, P., Dec 1 2010, 2010 IEEE International Conference on Image Processing, ICIP 2010 - Proceedings. p. 3669-3672 4 p. 5652507. (Proceedings - International Conference on Image Processing, ICIP).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Age-related and individual differences in the use of prediction during language comprehension

Federmeier, K. D., Kutas, M. & Schul, R., Dec 2010, In : Brain and Language. 115, 3, p. 149-161 13 p.

Research output: Contribution to journalArticle

Age-related differences in force variability and visual display

Ofori, E., Samson, J. M. & Sosnoff, J. J., Jun 1 2010, In : Experimental Brain Research. 203, 2, p. 299-306 8 p.

Research output: Contribution to journalArticle

Age-related differences in laterality of cortical activations in swallowing

Malandraki, G. A., Sutton, B. P., Perlman, A. L. & Karampinos, D. C., Sep 1 2010, In : Dysphagia. 25, 3, p. 238-249 12 p.

Research output: Contribution to journalArticle

Age synthesis and estimation via faces: A survey

Fu, Y., Guo, G. & Huang, T. S., Aug 3 2010, In : IEEE transactions on pattern analysis and machine intelligence. 32, 11, p. 1955-1976 22 p., 5406526.

Research output: Contribution to journalArticle

Aggregation-based model reduction of a hidden Markov model

Deng, K., Mehta, P. G. & Meyn, S. P., 2010, 2010 49th IEEE Conference on Decision and Control, CDC 2010. p. 6183-6188 6 p. 5717118

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Aggregation of multiple judgments for evaluating ordered lists

Kim, H. D., Zhai, C. & Han, J., May 20 2010, Advances in Information Retrieval - 32nd European Conference on IR Research, ECIR 2010, Proceedings. p. 166-178 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5993 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Aggressiveness of Phomopsis longicolla and other Phomopsis spp. on soybean

Li, S., Hartman, G. L. & Boykin, D. L., Aug 1 2010, In : Plant disease. 94, 8, p. 1035-1040 6 p.

Research output: Contribution to journalArticle

Aging and holography

Jottar, J. I., Leigh, R. G., Minic, D. & Pando Zayas, L. A., Jan 1 2010, In : Journal of High Energy Physics. 2010, 11, 34.

Research output: Contribution to journalArticle

A global-local approach to nonlinear system identification: A review

Lee, Y. S., Vakakis, A. F., McFarland, D. M. & Bergman, L. A., Nov 2010, In : Structural Control and Health Monitoring. 17, 7, p. 742-760 19 p.

Research output: Contribution to journalReview article

A global modeling study on carbonaceous aerosol microphysical characteristics and radiative effects

Bauer, S. E., Menon, S., Koch, D., Bond, T. C. & Tsigaridis, K., 2010, In : Atmospheric Chemistry and Physics. 10, 15, p. 7439-7456 18 p.

Research output: Contribution to journalArticle

A global view of one-dimensional solar radiative transfer through oceanic water clouds

Di Girolamo, L., Liang, L. & Platnick, S., Sep 1 2010, In : Geophysical Research Letters. 37, 18, L18809.

Research output: Contribution to journalArticle

A Global Vision: Nikken Sekkei's Longstanding Commitment to Ecological Architecture

Bognar, B., 2010, Sustainable Architecture in Japan: The Continuing Challenge 1900-2010 and Beyond. Tokyo: Shinkenchiku-sha, p. 12-18 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

A go-cart as an electric vehicle for undergraduate teaching and assessment

Heffernan, B., Duke, R., Zhang, R., Gaynor, P. & Cusdin, M., Dec 1 2010, AUPEC 2010 - 20th Australasian Universities Power Engineering Conference: "Power Quality for the 21st Century". 5710743. (AUPEC 2010 - 20th Australasian Universities Power Engineering Conference: "Power Quality for the 21st Century").

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A graphical model for computing the minimum cost transposition distance

Farnoud, F., Chen, C. Y., Milenkovic, O. & Kashyap, N., Dec 1 2010, 2010 IEEE Information Theory Workshop, ITW 2010 - Proceedings. 5592890. (2010 IEEE Information Theory Workshop, ITW 2010 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Agreement between directly measured blood pressure and pressures obtained with three veterinary-specific oscillometric units in cats

Acierno, M. J., Seaton, D., Mitchell, M. A. & Da Cunha, A., Aug 15 2010, In : Journal of the American Veterinary Medical Association. 237, 4, p. 402-406 5 p.

Research output: Contribution to journalArticle

A gross anatomy ontology for hymenoptera

Yoder, M. J., Mikó, I., Seltmann, K. C., Bertone, M. A. & Deans, A. R., 2010, In : PloS one. 5, 12, e15991.

Research output: Contribution to journalArticle

A group model for stable multi-subject ICA on fMRI datasets

Varoquaux, G., Sadaghiani, S., Pinel, P., Kleinschmidt, A., Poline, J. B. & Thirion, B., May 2010, In : NeuroImage. 51, 1, p. 288-299 12 p.

Research output: Contribution to journalArticle

A Guatemalan soycow cooperative: is the whole greater than the sum of its parts?

Blumthal, M., Micheels, E. T., Paulson, N. D. & Farrell, R. C., 2010, In : International Food and Agribusiness Management Review. 13, 4, p. 157-172 16 p.

Research output: Contribution to journalArticle

A hemispherical imaging camera

Gao, C., Hua, H. & Ahuja, N., Feb 1 2010, In : Computer Vision and Image Understanding. 114, 2, p. 168-178 11 p.

Research output: Contribution to journalArticle

A hierarchical security architecture for smart grid

Zhu, Q. & Basar, M. T., Jan 1 2010, Smart Grid Communications and Networking. Cambridge University Press, Vol. 9781107014138. p. 413-438 26 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

A highly selective lead sensor based on a classic lead DNAzyme

Lan, T., Furuya, K. & Lu, Y., Jun 14 2010, In : Chemical Communications. 46, 22, p. 3896-3898 3 p.

Research output: Contribution to journalArticle

A high-order, overset-mesh algorithm for adjoint-based optimization for aeroacoustics control

Kim, J., Bodony, D. J. & Freund, J. B., Jan 1 2010, 16th AIAA/CEAS Aeroacoustics Conference (31st AIAA Aeroacoustics Conference). American Institute of Aeronautics and Astronautics Inc., 2010-3818. (16th AIAA/CEAS Aeroacoustics Conference (31st AIAA Aeroacoustics Conference)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A high-precision approach to detecting hedges and their scopes

Kilicoglu, H. & Bergler, S., Dec 1 2010, p. 70-77. 8 p.

Research output: Contribution to conferencePaper

A high protein moderate carbohydrate diet fed at discrete meals reduces early progression of N-methyl-N-nitrosourea-induced breast tumorigenesis in rats

Moulton, C. J., Valentine, R. J., Layman, D. K., Devkota, S., Singletary, K. W., Wallig, M. A. & Donovan, S. M., Feb 22 2010, In : Nutrition and Metabolism. 7, 1.

Research output: Contribution to journalArticle