Find Research outputs

Search results

• 2010

  Affective processing in overwhelmed individuals: Strategic and task considerations

  Kerns, J. G. & Berenbaum, H., Jun 1 2010, In: Cognition and Emotion. 24, 4, p. 638-660 23 p.

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

  • Arousal
  • Affective
  • Emotions
  • Task Performance and Analysis
  • Emotion

• A first-order system least-squares finite element method for the poisson-boltzmann equation

  Bond, S. D., Chaudhry, J. H., Cyr, E. C. & Olson, L. N., Jun 1 2010, In: Journal of Computational Chemistry. 31, 8, p. 1625-1635 11 p.

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

  • fasciculin
  • Poisson-Boltzmann Equation
  • Boltzmann equation
  • Least-squares Finite Element Method
  • First-order System

• A flexible time-stepping scheme for hybrid field-circuit simulation based on the extended time-domain finite element method

  Wang, R. & Jin, J. M., Nov 2010, In: IEEE Transactions on Advanced Packaging. 33, 4, p. 769-776 8 p., 5433253.

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

  • Circuit simulation
  • Finite element method
  • Networks (circuits)
  • Computational efficiency
  • Costs

• 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

  • Karyotyping
  • Soybeans
  • Fluorescence In Situ Hybridization
  • Chromosomes
  • Meristem

• 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

  • Computer hardware description languages
  • Semantics
  • Simulators

• 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

  • Architecture
  • Safety
  • Pacemakers
  • Safety-critical Systems
  • Modular Design

• 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

  • Semantics
  • Distributed computer systems
  • Decision making
  • Internet
  • Uncertainty

• 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

  • Frequency synthesizers
  • Phase noise
  • Phase shifters
  • Bluetooth
  • Electric power utilization

• 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 proceeding › Conference contribution

  • Compiler Optimization
  • Formal Verification
  • Formal verification
  • Correctness
  • Proof of correctness

• 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 proceeding › Conference contribution

  • Biomedical equipment
  • Interoperability

• 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 proceeding › Conference contribution

  • Ethics
  • National security
  • Information technology
  • Feedback
  • Framework

• 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 proceeding › Conference contribution

  • Engines
  • Information technology
  • Managers
  • Productivity
  • Automation

• 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 proceeding › Chapter

• 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 journal › Article › peer-review

  • Sorafenib
  • Non-Small Cell Lung Carcinoma
  • Neoplasms
  • Therapeutics
  • Time and Motion Studies

• 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 journal › Article › peer-review

  • Aphids
  • Peas
  • Acyrthosiphon pisum
  • DNA methylation
  • DNA Methylation

• 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 journal › Article › peer-review

  • Planarians
  • Germ Cells
  • nuclear factor Y
  • Genes
  • RNA-Binding Proteins

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

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

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

  • Game theory
  • Ad hoc networks

• Age, gender, and fitness club membership: Factors related to initial involvement and sustained participation

  Mullen, S. P. & Whaley, D. E., 2010, In: International Journal of Sport and Exercise Psychology. 8, 1, p. 24-35 12 p.

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

  • Middle Aged
  • Emotions
  • Health

• 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 journal › Article › peer-review

  • Nutrition
  • Liver
  • Gene expression
  • Transcriptome
  • Canidae

• 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 2010, In: Quarterly Journal of Experimental Psychology. 63, 7, p. 1430-1455 26 p.

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

  • Resource Allocation
  • Reading
  • Linguistics
  • Short-Term Memory
  • Young Adult

• 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 journal › Article › peer-review

  • Propylthiouracil
  • Haplotypes
  • Taste Perception
  • Genotype
  • Phenotype

• 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 journal › Article › peer-review

  • Transcriptome
  • Expressed Sequence Tags
  • Fishes
  • Genes
  • Seawater

• 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 proceeding › Conference contribution

  • Application programming interfaces (API)
  • Specifications
  • Interfaces (computer)
  • Web services
  • Servers

• 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 journal › Article › peer-review

  • Labeling
  • Sensors
  • Monitoring

• A generalized linear threshold model for multiple cascades

  Pathak, N., Banerjee, A. & Srivastava, J., 2010, Proceedings - 10th IEEE International Conference on Data Mining, ICDM 2010. p. 965-970 6 p. 5694069. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

  • Markov processes
  • Switches

• 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 journal › Article › peer-review

  • Magic angle spinning
  • Nuclear magnetic resonance
  • metal spinning
  • nuclear magnetic resonance
  • Calibration

• 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 proceeding › Conference contribution

  • Sensor Networks
  • Detectability
  • Network Design
  • Health
  • Sensor networks

• 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 proceeding › Conference contribution

  • Decentralized control
  • Electric power transmission networks
  • Electric power distribution
  • Telecommunication networks
  • Electric lines

• 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 journal › Article › peer-review

  • Age of Acquisition
  • Language Production
  • Proficiency
  • Morphing
  • English-Spanish

• 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 proceeding › Conference contribution

  • White noise

• 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 journal › Article › peer-review

  • Language Comprehension
  • Individual Differences
  • Individuality
  • Language
  • comprehension

• 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 journal › Article › peer-review

  • Sensory Feedback
  • Entropy
  • Eye Movements
  • Fingers
  • Young Adult

• 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 journal › Article › peer-review

  • Deglutition
  • Young Adult
  • Pharynx
  • Motor Cortex
  • Tongue

• 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 journal › Article › peer-review

  • Synthesis
  • Face
  • Aging of materials
  • Computer graphics
  • Biometrics

• 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 proceeding › Conference contribution

  • Model Reduction
  • Markov Model
  • Hidden Markov models
  • Aggregation
  • Agglomeration

• Aggregation of multiple judgments for evaluating ordered lists

  Kim, H. D., Zhai, C. & Han, J., 2010, Advances in Information Retrieval - 32nd European Conference on IR Research, ECIR 2010, Proceedings. Springer-Verlag Berlin Heidelberg, 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 proceeding › Conference contribution

  • Judgment
  • Aggregation
  • Agglomeration
  • Sequential Patterns
  • Frequent Pattern

• Aggressiveness of Phomopsis longicolla and other Phomopsis spp. on soybean

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

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

  • Diaporthe longicolla
  • Diaporthe
  • aggression
  • soybeans
  • stems

• Aging and holography

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

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

  • holography
  • invariance
  • signatures
  • gravitation
  • scalars

• 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 journal › Review article › peer-review

  • Identification (control systems)
  • Nonlinear systems
  • Dynamical systems
  • Time series
  • Decomposition

• 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 journal › Article › peer-review

  • black carbon
  • aerosol
  • modeling
  • effect
  • coating

• 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 journal › Article › peer-review

  • cloud water
  • radiative transfer
  • water
  • stratiform cloud
  • global perspective

• 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 proceeding › Chapter

• 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 proceeding › Conference contribution

  • Electric vehicles
  • Teaching
  • Students
  • Power electronics
  • Inspection

• 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 proceeding › Conference contribution

  • Graphical Models
  • Transposition
  • Permutation
  • Decomposition Algorithm
  • Costs

• 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 journal › Article › peer-review

  • blood pressure
  • Cats
  • cats
  • Oscillometry
  • Pressure

• 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 journal › Article › peer-review

  • Hymenoptera
  • Ontology
  • Anatomy
  • Biological Ontologies
  • sawflies

• 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 journal › Article › peer-review

  • Datasets
  • Magnetic Resonance Imaging
  • Brain Diseases
  • Linear Models
  • Brain

• 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 journal › Article › peer-review

  • educational methods
  • Honduras
  • Guatemala
  • Soybeans
  • Vietnam

• A hemispherical imaging camera

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

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

  • Imaging techniques
  • Cameras
  • Mirrors
  • Sensors
  • Prisms

• 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 proceeding › Chapter

  • Computer worms
  • Plant shutdowns
  • SCADA systems
  • Renewable energy resources
  • Ethernet