Find Research outputs

Search results

• Absorption spectrum of Kr₂F(4 ²Γ) in the near ultraviolet and visible (335≤λ≤600 nm): Comparison with Kr ₂⁺(1(1/2)_u) measurements

  Geohegan, D. B. & Eden, J. G., Jan 1 1988, In: The Journal of Chemical Physics. 89, 6, p. 3410-3427 18 p.

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

  • Stimulated emission
  • Excited states
  • Ground state
  • Absorption spectra
  • absorption cross sections

• Abstract approach to finite Ramsey theory and a self-dual Ramsey theorem

  Solecki, S., Nov 25 2013, In: Advances in Mathematics. 248, p. 1156-1198 43 p.

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

  • Ramsey's Theorem
  • Ramsey Theory
  • Surjection
  • Theorem
  • Deduce

• Abstract Approach to Ramsey Theory and Ramsey Theorems for Finite Trees

  Solecki, S., Sep 2 2013, Asymptotic Geometric Analysis: Proceedings of the Fall 2010 Fields Institute Thematic Program. Ludwig, M., Pestov, V., Milman, V. & Tomczak-Jaegermann, N. (eds.). p. 313-340 28 p. (Fields Institute Communications; vol. 68).

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

  • Ramsey's Theorem
  • Ramsey Theory
  • Tree Structure
  • Exercise
  • Generalization

• Abstract coherent categories.

  Rehder, B. & Ross, B. H., Sep 1 2001, In: Journal of experimental psychology. Learning, memory, and cognition. 27, 5, p. 1261-1275 15 p.

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

  • Conceptual System
  • Abstract Concepts
  • Legal institutions
  • Social Groups
  • Conception

• Abstract commensurators of braid groups

  Leininger, C. J. & Margalit, D., May 15 2006, In: Journal of Algebra. 299, 2, p. 447-455 9 p.

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

  • Mapping Class Group
  • Braid Group
  • Isomorphic

• Abstract commensurators of right-angled artin groups and mapping class groups

  Clay, M., Leininger, C. J. & Margalit, D., 2014, In: Mathematical Research Letters. 21, 3, p. 461-467 7 p.

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

  • Right-angled Artin Group
  • Mapping Class Group
  • Dehn Twist
  • Outer Automorphism Groups
  • Subgroup

• Abstract convexity for nonconvex optimization duality

  Nedic, A., Ozdaglar, A. & Rubinov, A., Oct 1 2007, In: Optimization. 56, 5-6, p. 655-674 20 p.

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

  • Abstract Convexity
  • Convexity
  • Nonconvex Optimization
  • Duality
  • Dual Problem

• Abstract-device interface for implementing portable parallel-I/O interfaces

  Thakur, R., Gropp, W. & Lusk, E., Dec 1 1996, p. 180-187. 8 p.

  Research output: Contribution to conference › Paper › peer-review

  • Application programming interfaces (API)

• Abstracting dependencies between software configuration items

  Gunter, C. A., Jan 1 1996, p. 167-178. 12 p.

  Research output: Contribution to conference › Paper › peer-review

  • Software design
  • Petri nets

• Abstracting dependencies between software configuration items

  Gunter, C. A., Jan 2000, In: ACM Transactions on Software Engineering and Methodology. 9, 1, p. 94-131 38 p.

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

  • Software engineering
  • Petri nets
  • Computer programming languages
  • Semantics

• Abstracting interactions based on message sets

  Frølund, S. & Agha, G., 1995, Object-Based Models and Languages for Concurrent Systems - ECOOP 1994 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Proceedings. Ciancarini, P., Nierstrasz, O. & Yonezawa, A. (eds.). Springer-Verlag Berlin Heidelberg, p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 924).

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

  • Interaction
  • Activation
  • Server
  • Communication
  • Chemical activation

• Abstracting Situated Action: Implications for Cognitive Modeling and Interface Design

  Kirlik, A., Mar 22 2012, Adaptive Perspectives on Human-Technology Interaction: Methods and Models for Cognitive Engineering and Human-Computer Interaction. Oxford University Press

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

  • Cooking
  • Psychological Adaptation
  • Meat
  • Lenses
  • Technology

• Abstraction and Completeness for Real-Time Maude

  Ölveczky, P. C. & Meseguer, J., Jul 28 2007, In: Electronic Notes in Theoretical Computer Science. 176, 4, p. 5-27 23 p.

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

  • Maude
  • Real-time
  • Abstraction
  • Real time systems
  • Completeness

• Abstraction and definability in semantically closed structures

  McCarthy, T. G., Aug 1985, In: Journal of Philosophical Logic. 14, 3, p. 255-266 12 p.

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

• Abstraction and Immaterialism: Recent Interpretations

  McKim, R. J., 1997, In: The Berkeley Newsletter. 15, p. 1-12

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

• Abstraction and Modularity Mechanisms for Concurrent Computing

  Agha, G. A., Frlund, S., Kim, W. Y., Panwar, R., Patterson, A. & Sturman, D., May 1993, In: IEEE Parallel and Distributed Technology. 1, 2, p. 3-14 12 p.

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

• Abstraction and realism in the design of avatars for the simulated environment for theatre

  Ruecker, S., Grotkowski, A., Gabriele, S., Roberts-Smith, J., Sinclair, S., Dobson, T., Akong, A., Fung, S., Hong, M., DeSouza-Coelho, S. & Rodriguez, O., Nov 1 2013, In: Visual Communication. 12, 4, p. 459-472 14 p.

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

  • Avatar
  • Theaters
  • Realism
  • realism
  • abstraction

• Abstraction and specificity in preschoolers' representations of novel spoken words

  Fisher, C., Hunt, C., Chambers, K. & Church, B., 2001, In: Journal of Memory and Language. 45, 4, p. 665-687 23 p.

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

  • Preschoolers
  • Spoken Word
  • abstraction
  • Specificity
  • Auditory Priming

• Abstraction refinement for stability

  Duggirala, P. S. & Mitra, S., Aug 10 2011, Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011. p. 22-31 10 p. 5945418. (Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011).

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

  • Hybrid systems
  • Trajectories

• Abstractions, semantic models and analysis tools for concurrent systems: Progress and open problems

  Agha, G., 2016, Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 Held as Part of STAF 2016, Proceedings. Kuhn, E. & De Nicola, R. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9763).

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

  • Concurrent Systems
  • Internet of Things
  • Abstraction
  • Reasoning
  • Actors

• Abstraction selection in model-based reinforcement learning

  Jiang, N., Kulesza, A. & Singh, S., Jan 1 2015, 32nd International Conference on Machine Learning, ICML 2015. Bach, F. & Blei, D. (eds.). International Machine Learning Society (IMLS), p. 179-188 10 p. (32nd International Conference on Machine Learning, ICML 2015; vol. 1).

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

  • Reinforcement learning
  • Error analysis
  • Polynomials
  • Planning
  • Testing

• Abstractions for design-by-humans of heterogeneous behaviors

  Laviers, A., Bai, L., Bashiri, M., Heddy, G. & Sheng, Y., Jan 1 2016, Springer Tracts in Advanced Robotics. Springer-Verlag, p. 237-262 26 p. (Springer Tracts in Advanced Robotics; vol. 111).

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

  • Robotics
  • Knobs
  • Taxonomies
  • Motion control
  • Robots

• Abstractions for distributed systems (DPA 2008)

  Jha, S., Katz, D., Parashar, M., Rana, O. & Cole, M., 2009, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5415 LNCS, p. 401 1 p.

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

• Abstraction Summarization for Managing the Biomedical Research Literature

  Fiszman, M., Rindflesch, T. C. & Kilicoglu, H., 2004, Proceedings of the HLT-NAACL Workshop on Computational Lexical Semantics. Moldovan, D. & Girju, R. (eds.). Stroudsburg, PA, USA: Association for Computational Linguistics (ACL), p. 76-83 8 p. (CLS '04).

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

• Abstract learning frameworks for synthesis

  Löding, C., Madhusudan, P. & Neider, D., 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 167-185 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

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

  • Learning
  • Synthesis
  • Framework
  • Counterexample
  • Engine

• Abstract logical model checking of infinite-state systems using narrowing

  Bae, K., Escobar, S. & Meseguer, J., Jan 1 2013, 24th International Conference on Rewriting Techniques and Applications, RTA 2013. van Raamsdonk, F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 81-96 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 21).

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

  • Model checking
  • Algebra

• Abstract provenance graphs: Anticipating and exploiting schema-level data provenance

  Zinn, D. & Ludäscher, B., 2010, Provenance and Annotation of Data and Processes - Third International Provenance and Annotation Workshop, IPAW 2010, Revised Selected Papers. p. 206-215 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6378 LNCS).

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

  • Provenance
  • Work Flow
  • Schema
  • Static analysis
  • Concretes

• Abstract semantics for K module composition

  Girlea, C. & Rosu, G., Jun 10 2014, In: Electronic Notes in Theoretical Computer Science. 304, p. 127-149 23 p.

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

  • Semantics
  • Module
  • Chemical analysis
  • Modularization
  • Reuse

• A bubaline-derived satellite DNA probe uncovers generic affinities of gaur with other bovids

  Ray, P., Gangadharan, S., Chattopadhyay, M., Bashamboo, A., Bhatnagar, S., Malik, P. K. & Ali, S., Sep 1999, In: Journal of Biosciences. 24, 3, p. 295-299 5 p.

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

  • Satellite DNA
  • mithuns
  • Bovidae
  • Buffaloes
  • satellite DNA

• A bubble chamber for dark matter detection (the COUPP project status)

  Bolte, W. J., Collar, J. I., Crisler, M., Hall, J., Krider, J., Crum, K., Holmgren, D., Lei, C. M., Nakazawa, D., Nguyen, H., Odom, B., O'Sullivan, K., Plunkett, R., Ramberg, E., Raskin, A., Rasmussen, J., Schmitt, R., Sonnenschein, A., Szydagis, M. & Vieira, J. D., Apr 1 2006, In: Journal of Physics: Conference Series. 39, 1, p. 126-128 3 p., 027.

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

  • bubble chambers
  • dark matter
  • weakly interacting massive particles
  • rejection
  • prototypes

• A bubble-driven microfluidic transport element for bioengineering

  Marmottant, P. & Hilgenfeldt, S., Jun 29 2004, In: Proceedings of the National Academy of Sciences of the United States of America. 101, 26, p. 9523-9527 5 p.

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

  • Bioengineering
  • Microfluidics
  • Microbubbles
  • Acoustics
  • Pressure

• A Budyko-type model for human water consumption

  Lei, X., Zhao, J., Wang, D. & Sivapalan, M., Dec 2018, In: Journal of Hydrology. 567, p. 212-226 15 p.

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

  • water consumption
  • catchment
  • agricultural structure
  • water economics
  • hydrologic cycle

• A building blackbox for urban disaster response and relief

  Tsai, M. H., Liu, L. Y. & Peña-Mora, F., Dec 1 2007, Computing in Civil Engineering - Proceedings of the 2007 ASCE International Workshop on Computing in Civil Engineering. p. 809-816 8 p. (Congress on Computing in Civil Engineering, Proceedings).

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

  • Disasters
  • Communication
  • Conceptual design
  • Personnel
  • Health

• A Bukharan Poet between Tradition and Revolution: Paĭrav Sulaĭmonī

  Hitchins, K., 2015, Iranian Languages and Literatures of Central Asia: From the Eighteenth Century to the Present. de Chiara, M. & Grassi, E. (eds.). Peeters Publishers, p. 259-272 (Cahiers de Studia Iranica; vol. 57).

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

• Abundance, dynamics, and conservation of duck foods and foraging habitats in North America: Fall-Winter.

  Schummer, M., Gray, M., Stafford, J. D., Kaminski, R. M. & K. J. Reinecke, K. J., 2009.

  Research output: Contribution to conference › Other › peer-review

• Abundance, dynamics, and conservation of duck foods and foraging habitats in North America: Spring

  Stafford, J. D., Anteau, M. J., Eichholz, M. W., Gates, R. J., Sherfy, M. & Yerkes, T., 2009.

  Research output: Contribution to conference › Other › peer-review

• Abundance and composition of indigenous bacterial communities in a multi-step biofiltration-based drinking water treatment plant

  Lautenschlager, K., Hwang, C., Ling, F., Liu, W. T., Boon, N., Köster, O., Egli, T. & Hammes, F., Oct 1 2014, In: Water Research. 62, p. 40-52 13 p.

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

  • Biofiltration
  • Biofilters
  • Water treatment plants
  • biofiltration
  • Potable water

• Abundance and diversity of dockerin-containing proteins in the fiber-degrading rumen bacterium, Ruminococcus flavefaciens FD-1

  Rincon, M. T., Dassa, B., Flint, H. J., Travis, A. J., Jindou, S., Borovok, I., Lamed, R., Bayer, E. A., Henrissat, B., Coutinho, P. M., Antonopoulos, D. A., Miller, M. E. B. & White, B. A., 2010, In: PloS one. 5, 8, e12476.

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

  • FD 1
  • Ruminococcus
  • Rumen
  • Ruminococcus flavefaciens
  • rumen bacteria

• Abundance and diversity of mucosa-associated hydrogenotrophic microbes in the healthy human colon

  Nava, G. M., Carbonero, F., Croix, J. A., Greenberg, E. & Gaskins, H. R., Jan 2012, In: ISME Journal. 6, 1, p. 57-70 14 p.

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

  • sulfate-reducing bacteria
  • sulfate-reducing bacterium
  • Sulfates
  • colon
  • mucosa

• Abundance and modes of occurrence of mercury in some low-sulfur coals from China

  Zheng, L., Liu, G. & Chou, C-L., 2008, International Journal of Coal Geology. Amsterdam, Netherlands: Elsevier, Vol. 73. p. 19-26

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

  • mercury
  • sulfur
  • coal
  • sequential extraction
  • coal combustion

• Abundance and phenology patterns of two pond-breeding salamanders determine species interactions in natural populations

  Anderson, T. L., Hocking, D. J., Conner, C. A., Earl, J. E., Harper, E. B., Osbourn, M. S., Peterman, W. E., Rittenhouse, T. A. G. & Semlitsch, R. D., 2015, In: Oecologia. 177, 3, p. 761--773

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

  • salamanders and newts
  • phenology
  • breeding
  • species recruitment
  • Ambystoma

• Abundance of introduced species at home predicts abundance away in herbaceous communities

  Firn, J., Moore, J. L., MacDougall, A. S., Borer, E. T., Seabloom, E. W., HilleRisLambers, J., Harpole, W. S., Cleland, E. E., Brown, C. S., Knops, J. M. H., Prober, S. M., Pyke, D. A., Farrell, K. A., Bakker, J. D., O'Halloran, L. R., Adler, P. B., Collins, S. L., D'Antonio, C. M., Crawley, M. J., Wolkovich, E. M. & 16 others, La Pierre, K. J., Melbourne, B. A., Hautier, Y., Morgan, J. W., Leakey, A. D. B., Kay, A., McCulley, R., Davies, K. F., Stevens, C. J., Chu, C. J., Holl, K. D., Klein, J. A., Fay, P. A., Hagenah, N., Kirkman, K. P. & Buckley, Y. M., Mar 2011, In: Ecology Letters. 14, 3, p. 274-281 8 p.

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

  • colonizing ability
  • introduced species
  • species abundance
  • biosecurity
  • forbs

• Abundance of ruminal bacteria, epithelial gene expression, and systemic biomarkers of metabolism and inflammation are altered during the peripartal period in dairy cows

  Minuti, A., Palladino, A., Khan, M. J., Alqarni, S., Agrawal, A., Piccioli-Capelli, F., Hidalgo, F., Cardoso, F. C., Trevisi, E. & Loor, J. J., Dec 1 2015, In: Journal of Dairy Science. 98, 12, p. 8940-8951 12 p.

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

  • rumen bacteria
  • Milk
  • biomarkers
  • inflammation
  • dairy cows

• Abundance patterns of dragonflies along a wetland buffer

  Bried, J. T. & Ervin, G. N., 2006, In: Wetlands. 26, 3, p. 878-883 6 p.

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

  • Wetlands
  • dragonfly
  • Buffers
  • wetland
  • odonate

• Abundances and distribution of minerals and elements in high-alumina coal fly ash from the Jungar Power Plant, Inner Mongolia, China

  Dai, S., Zhao, L., Peng, S., Chou, C-L., Wang, X., Zhang, Y., Li, D. & Sun, Y., 2010, International Journal of Coal Geology. Suarez-Ruiz, I. (ed.). Amsterdam, Netherlands: Elsevier, Vol. 81. p. 320-332

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

  • porcellanite
  • corundum
  • aluminum oxide
  • fly ash
  • power plant

• Abundances and isotopic compositions of rhenium and osmium in pyrite samples from the Huaibei Coalfield, Anhui, China

  Liu Guijian, C., Chen-Lin, P. & Zicheng, Y. G., 2008, In: Geologische Rundschau = International Journal of Earth Sciences (1999). 97, 3, p. 617--621

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

  • rhenium
  • osmium
  • pyrite
  • isotopic composition
  • sedimentary basin

• Abundances of polycyclic aromatic hydrocarbons (PAHs) in 14 chinese and american coals and their relation to coal rank and weathering

  Wang, R., Liu, G., Zhang, J., Chou, C-L. & Liu, J., 2010, In: Energy and Fuels. 24, 11, p. 6061--6066

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

  • coal rank
  • PAH
  • weathering
  • coal
  • sulfur

• Abundant brachiopods on a tropical upwelling-influenced shelf (Southeast Brazilian Bight, South Atlantic)

  Kowalewski, M., Simoes, M. G., Carroll, M. & Rodland, D. L., Jul 17 2002, In: Palaios. 17, 3, p. 277-286 10 p.

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

  • brachiopod
  • oceans
  • upwelling
  • Brazil
  • benthic organisms

• A burst-feedback model of fast-phase burst generation during nystagmus

  Anastasio, T. J., Jan 1 1997, In: Biological Cybernetics. 76, 2, p. 139-152 14 p.

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

  • Eye movements
  • Neurons
  • Feedback
  • Brain Stem
  • Eye

• A Burst-Mode Digital Receiver With Programmable Input Jitter Filtering for Energy Proportional Links

  Choi, W. S., Anand, T., Shu, G., Elshazly, A. & Hanumolu, P. K., Mar 1 2015, In: IEEE Journal of Solid-State Circuits. 50, 3, p. 737-748 12 p., 7042350.

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

  • Jitter
  • Clock and data recovery circuits (CDR circuits)
  • Feedback
  • Digital circuits
  • Clocks