Research Output 1870 2018

Filter
Review article
2018

A survey of statistical model checking

Agha, G. & Palmskog, K. Jan 1 2018 In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 6

Research output: Contribution to journalReview article

Model checking
Model Checking
Statistical Model
Stochastic systems
Stochastic Systems

Inferring Nighttime Ionospheric Parameters with the Far Ultraviolet Imager Onboard the Ionospheric Connection Explorer

Kamalabadi, F., Qin, J., Harding, B. J., Iliou, D., Makela, J. J., Meier, R. R., England, S. L., Frey, H. U., Mende, S. B. & Immel, T. J. Jun 1 2018 In : Space Science Reviews. 214, 4, 70

Research output: Contribution to journalReview article

Ionosphere
Image sensors
F region
Oxygen
Radiative transfer

Reproducibility and replicability of rodent phenotyping in preclinical studies

Kafkafi, N. , Agassi, J. , Chesler, E. J. , Crabbe, J. C. , Crusio, W. E. , Eilam, D. , Gerlai, R. , Golani, I. , Gomez-Marin, A. , Heller, R. , Iraqi, F. , Jaljuli, I. , Karp, N. A. , Morgan, H. , Nicholson, G. , Pfaff, D. W. , Richter, S. H. , Stark, P. B. , Stiedl, O. , Stodden, V. & 6 others Tarantino, L. M., Tucci, V., Valdar, W., Williams, R. W., Würbel, H. & Benjamini, Y. Apr 1 2018 In : Neuroscience and Biobehavioral Reviews. 87, p. 218-232 15 p.

Research output: Contribution to journalReview article

Information Dissemination
Rodentia
Genotype
Research Personnel
Health

The Ionospheric Connection Explorer Mission: Mission Goals and Design

Immel, T. J. , England, S. L. , Mende, S. B. , Heelis, R. A. , Englert, C. R. , Edelstein, J. , Frey, H. U. , Korpela, E. J. , Taylor, E. R. , Craig, W. W. , Harris, S. E. , Bester, M. , Bust, G. S. , Crowley, G. , Forbes, J. M. , Gérard, J. C. , Harlander, J. M. , Huba, J. D. , Hubert, B. , Kamalabadi, F. & 13 others Makela, J. J., Maute, A. I., Meier, R. R., Raftery, C., Rochus, P., Siegmund, O. H. W., Stephan, A. W., Swenson, G. R., Frey, S., Hysell, D. L., Saito, A., Rider, K. A. & Sirk, M. M. Feb 1 2018 In : Space Science Reviews. 214, 1, 13

Research output: Contribution to journalReview article

Ionospheric measurement
aeronomy
atmospheric wave
Solar wind
Ionosphere
2017

Computational optical coherence tomography [invited]

Liu, Y. Z., South, F. A., Xu, Y., Scott Carney, P. & Boppart, S. A. Mar 1 2017 In : Biomedical Optics Express. 8, 3, p. 1549-1574 26 p.

Research output: Contribution to journalReview article

Optical Coherence Tomography
imaging techniques
tomography
Physics
aberration

Dynamic Thermal management for aerospace technology: Review and outlook

Doty, J., Yerkes, K., Byrd, L., Murthy, J., Alleyne, A., Wolff, M., Heister, S. & Fisher, T. S. Jan 1 2017 In : Journal of Thermophysics and Heat Transfer. 31, 1, p. 86-98 13 p.

Research output: Contribution to journalReview article

electric power
aerospace vehicles
chemical energy
propulsion
thermal energy

Human-in-the-Loop Mobile Networks: A Survey of Recent Advancements

Duan, L., Huang, L., Langbort, C., Pozdnukhov, A., Walrand, J. & Zhang, L. Apr 1 2017 In : IEEE Journal on Selected Areas in Communications. 35, 4, p. 813-831 19 p., 7911263

Research output: Contribution to journalReview article

Human engineering
Wireless networks
Information technology

Michelson Interferometer for Global High-Resolution Thermospheric Imaging (MIGHTI): Instrument Design and Calibration

Englert, C. R., Harlander, J. M., Brown, C. M., Marr, K. D., Miller, I. J., Stump, J. E., Hancock, J., Peterson, J. Q., Kumler, J., Morrow, W. H., Mooney, T. A., Ellis, S., Mende, S. B., Harris, S. E., Stevens, M. H., Makela, J. J., Harding, B. J. & Immel, T. J. Oct 1 2017 In : Space Science Reviews. 212, 1-2, p. 553-584 32 p.

Research output: Contribution to journalReview article

Michelson interferometers
interferometer
field of view
calibration
wavelength

Multiuniversity Research: The Power Systems Engineering Research Center [History]

Ray, D. J., Sauer, P. W., Thomas, R. J. & Giri, J. Mar 1 2017 In : IEEE Power and Energy Magazine. 15, 2, p. 74-89 16 p., 7866929

Research output: Contribution to journalReview article

Engineering research
Systems engineering

Strengthening cybersecurity with cyberinsurance markets and better risk assessment

Kesan, J. P. & Hayes, C. M. Jan 1 2017 In : Minnesota Law Review. 102, 1, p. 191-276 86 p.

Research output: Contribution to journalReview article

risk assessment
market

The 2017 Plasma Roadmap: Low temperature plasma science and technology

Adamovich, I. , Baalrud, S. D. , Bogaerts, A. , Bruggeman, P. J. , Cappelli, M. , Colombo, V. , Czarnetzki, U. , Ebert, U. , Eden, J. G. , Favia, P. , Graves, D. B. , Hamaguchi, S. , Hieftje, G. , Hori, M. , Kaganovich, I. D. , Kortshagen, U. , Kushner, M. J. , Mason, N. J. , Mazouffre, S. , Thagard, S. M. & 18 others Metelmann, H. R., Mizuno, A., Moreau, E., Murphy, A. B., Niemira, B. A., Oehrlein, G. S., Petrovic, Z. L., Pitchford, L. C., Pu, Y. K., Rauf, S., Sakai, O., Samukawa, S., Starikovskaia, S., Tennyson, J., Terashima, K., Turner, M. M., Van De Sanden, M. C. M. & Vardelle, A. Jul 14 2017 In : Journal of Physics D: Applied Physics. 50, 32, 323001

Research output: Contribution to journalReview article

cold plasmas
Plasmas
Temperature
physics
Physics

The MIGHTI Wind Retrieval Algorithm: Description and Verification

Harding, B. J., Makela, J. J., Englert, C. R., Marr, K. D., Harlander, J. M., England, S. L. & Immel, T. J. Oct 1 2017 In : Space Science Reviews. 212, 1-2, p. 585-600 16 p.

Research output: Contribution to journalReview article

Michelson interferometers
interferometer
retrieval
line of sight
high resolution
2016

A comprehensive empirical study of data privacy, trust, and consumer autonomy

Kesan, J. P., Hayes, C. M. & Bashir, M. N. 2016 In : Indiana Law Journal. 91, 2, p. 267-352 86 p.

Research output: Contribution to journalReview article

privacy
autonomy
privacy law
private sector
data storage

A perspective on 16S rRNA operational taxonomic unit clustering using sequence similarity

Nguyen, N. P., Warnow, T., Pop, M. & White, B. Apr 20 2016 In : npj Biofilms and Microbiomes. 2, 16004

Research output: Contribution to journalReview article

Cluster Analysis
Sequence Alignment
Microbiota

Enhancing reproducibility for computational methods

Stodden, V., McNutt, M., Bailey, D. H., Deelman, E., Gil, Y., Hanson, B., Heroux, M. A., Ioannidis, J. P. A. & Taufer, M. Dec 9 2016 In : Science. 354, 6317, p. 1240-1241 2 p.

Research output: Contribution to journalReview article

Image science at JOSA A: Editorial

Carney, P. S. Oct 1 2016 In : Journal of the Optical Society of America A: Optics and Image Science, and Vision. 33, 10, p. ED8

Research output: Contribution to journalReview article

Review of formation flying and constellation missions using nanosatellites

Chung, S. J., Bandyopadhyay, S., Foust, R., Subramanian, G. P. & Hadaegh, F. Y. Jan 1 2016 In : Journal of Spacecraft and Rockets. 53, 3, p. 567-578 12 p.

Research output: Contribution to journalReview article

Nanosatellites
nanosatellites
formation flying
constellations
NASA
envelopes
Ultrasonics
Statistics
statistics
Imaging techniques

Sampling sparse signals on the sphere: Algorithms and applications

Dokmanić, I. & Lu, Y. M. Jan 1 2016 In : IEEE Transactions on Signal Processing. 64, 1, p. 189-202 14 p., 7265080

Research output: Contribution to journalReview article

Sampling
Innovation
Acoustic waves
Shot noise
Microphones
2015

Blood flow mechanics in cardiovascular development

Boselli, F., Freund, J. B. & Vermot, J. Jul 8 2015 In : Cellular and Molecular Life Sciences. 72, 13, p. 2545-2559 15 p.

Research output: Contribution to journalReview article

Mechanics
Hemodynamics
Gene Regulatory Networks
Morphogenesis
Embryonic Structures

Comments on "Observability of Switched Linear Systems: Characterization and Observer Design"

Tanwani, A., Shim, H. & Liberzon, D. Dec 1 2015 In : IEEE Transactions on Automatic Control. 60, 12, p. 3396-3400 5 p., 7084623

Research output: Contribution to journalReview article

Observability
Linear systems
State estimation

Encoding and decoding with prior knowledge: From SLIM to SPICE

Ma, C., Lam, F. & Liang, Z. P. 2015 In : eMagRes. 4, 2, p. 535-542 8 p.

Research output: Contribution to journalReview article

SPICE
Computer-Assisted Image Processing
Decoding
Fourier Analysis
Magnetic Resonance Imaging

Mechanisms, Capabilities, and Applications of High-Resolution Electrohydrodynamic Jet Printing

Onses, M. S., Sutanto, E., Ferreira, P. M., Alleyne, A. G. & Rogers, J. A. Sep 1 2015 In : Small. 11, 34, p. 4237-4266 30 p.

Research output: Contribution to journalReview article

Printing
Electrohydrodynamics
Optics and Photonics
Ink
Tissue Engineering

Policy, procedures, and goals at JOSA A: Editorial

Gori, F. & Carney, P. S. 2015 In : Journal of the Optical Society of America A: Optics and Image Science, and Vision. 32, 8, p. ED1

Research output: Contribution to journalReview article

Photonics
Optics
Optics and Photonics
Manuscripts
Research Personnel

The geospace response to variable inputs from the lower atmosphere: a review of the progress made by Task Group 4 of CAWSES-II

Oberheide, J., Shiokawa, K., Gurubaran, S., Ward, W. E., Fujiwara, H., Kosch, M. J., Makela, J. J. & Takahashi, H. Dec 1 2015 In : Progress in Earth and Planetary Science. 2, 1, 2

Research output: Contribution to journalReview article

ionosphere
atmosphere
magnetosphere
weather
energy
2014

All-to-all communication in random regular directed graphs

Kim, J., Ghayoori, A. & Srikant, R. Jan 1 2014 In : IEEE Transactions on Network Science and Engineering. 1, 1, p. 43-52 10 p., 6971166

Research output: Contribution to journalReview article

Directed graphs
Peer to peer networks
Communication
Switches

Analyzing the role of non-practicing entities in the patent system

Schwartz, D. L. & Kesan, J. P. 2014 In : Cornell Law Review. 99, 2, p. 425-456 32 p.

Research output: Contribution to journalReview article

patent system
patent
costs
system change
lawsuit

Data access for the 1,000 Plants (1KP) project

Matasci, N. , Hung, L. H. , Yan, Z. , Carpenter, E. J. , Wickett, N. J. , Mirarab, S. , Nguyen, N. , Warnow, T. , Ayyampalayam, S. , Barker, M. , Burleigh, J. G. , Gitzendanner, M. A. , Wafula, E. , Der, J. P. , dePamphilis, C. W. , Roure, B. , Philippe, H. , Ruhfel, B. R. , Miles, N. W. , Graham, S. W. & 24 others Mathews, S., Surek, B., Melkonian, M., Soltis, D. E., Soltis, P. S., Rothfels, C., Pokorny, L., Shaw, J. A., DeGironimo, L., Stevenson, D. W., Villarreal, J. C., Chen, T., Kutchan, T. M., Rolf, M., Baucom, R. S., Deyholos, M. K., Samudrala, R., Tian, Z., Wu, X., Sun, X., Zhang, Y., Wang, J., Leebens-Mack, J. & Wong, G. K. S. Oct 27 2014 In : GigaScience. 3, 1, 17

Research output: Contribution to journalReview article

Viridiplantae
Proteins
Transcriptome
Visualization
Pipelines

Designed-in security for cyber-physical systems

Peisert, S., Margulies, J., Nicol, D. M., Khurana, H. & Sawall, C. 2014 In : IEEE Security and Privacy. 12, 5, p. 9-12 4 p., 6924670

Research output: Contribution to journalReview article

system development
assets
expert
Cyber Physical System
software

Special issue: SC13-The international conference for high performance computing, networking, storage and analysis

Gropp, W. & Matsuoka, S. Jan 1 2014 In : Scientific Programming. 22, 2, p. 57-58 2 p.

Research output: Contribution to journalReview article

The swarm at the edge of the cloud

Lee, E. A. , Rabaey, J. , Hartmann, B. , Kubiatowicz, J. , Pister, K. , Simunic Rosing, T. , Wawrzynek, J. , Wessel, D. , Sangiovanni-Vincentelli, A. , Seshia, S. A. , Blaauw, D. , Dutta, P. , Fu, K. , Guestrin, C. , Taskar, B. , Jafari, R. , Jones, D. , Kumar, V. , Mangharam, R. , Pappas, G. J. & 2 others Murray, R. M. & Rowe, A. Jan 1 2014 In : IEEE Design and Test. 31, 3, p. 8-20 13 p., 6781658

Research output: Contribution to journalReview article

Smartphones
Information use
Telecommunication networks
Sensors

Unpacking Patent Assertion Entities (PAEs)

Cotropia, C. A., Kesan, J. P. & Schwartz, D. L. 2014 In : Minnesota Law Review. 99, 2, p. 649-703 55 p.

Research output: Contribution to journalReview article

patent

Visual media: History and perspectives

Huang, T., Le, V., Paine, T., Khorrami, P. & Tariq, U. 2014 In : IEEE Multimedia. 21, 2, p. 4-10 7 p., 6818960

Research output: Contribution to journalReview article

Patents and inventions
Lenses
Imaging techniques
2013

Empathic design: Research strategies

Thomas, J. & McDonagh, D. 2013 In : Australasian Medical Journal. 6, 1, p. 1-6 6 p.

Research output: Contribution to journalReview article

Research Design
Human Development
Disabled Persons
Health Personnel
Decision Making

Game theory meets network security and privacy

Manshaei, M. H., Zhu, Q., Alpcan, T., Basar, T. & Hubaux, J. P. Jun 1 2013 In : ACM Computing Surveys. 45, 3, 25

Research output: Contribution to journalReview article

Network Security
Network security
Game theory
Game Theory
Privacy

Innovating alongside designers

McDonagh, D. & Thomas, J. 2013 In : Australasian Medical Journal. 6, 1, p. 29-35 7 p.

Research output: Contribution to journalReview article

Research Design
Interdisciplinary Studies
Cultural Anthropology
Pollination
Language

Interview: Interview with Jay Kesan

Kesan, J. Sep 2013 In : Biofuels. 4, 5, p. 471-473 3 p.

Research output: Contribution to journalReview article

Biofuels
biofuel
Intellectual property
genomics
Trademarks

Is SDN the de-constraining constraint of the future internet?

Crowcroft, J., Fidler, M., Nahrstedt, K. & Steinmetz, R. Oct 2013 In : Computer Communication Review. 43, 5, p. 13-18 6 p.

Research output: Contribution to journalReview article

Technical presentations
Internet
Software defined networking
Industry

Shared language: Towards more effective communication

Thomas, J. & McDonagh, D. Jan 1 2013 In : Australasian Medical Journal. 6, 1, p. 46-54 9 p.

Research output: Contribution to journalReview article

Language
Communication
Education
Aptitude
2012

Designing router scheduling policies: A privacy perspective

Kadloor, S., Gong, X., Kiyavash, N. & Venkitasubramaniam, P. Apr 1 2012 In : IEEE Transactions on Signal Processing. 60, 4, p. 2001-2012 12 p., 6119234

Research output: Contribution to journalReview article

Routers
Scheduling
Packet networks
Explosions

Game-theoretic methods for the smart grid: An overview of microgrid systems, demand-side management, and smart grid communications

Saad, W., Han, Z., Poor, H. V. & Başar, T. Jan 1 2012 In : IEEE Signal Processing Magazine. 29, 5, p. 86-105 20 p., 6279592

Research output: Contribution to journalReview article

Microgrid
Smart Grid
Game theory
Game Theory
Game

Introduction to special section on formal methods in pervasive computing

Bakhouya, M., Campbell, R., Coronato, A., De Pietro, G. & Ranganathan, A. Apr 2012 In : ACM Transactions on Autonomous and Adaptive Systems. 7, 1, 6

Research output: Contribution to journalReview article

Formal methods
Ubiquitous computing
Availability

Large-scale measurements of thermospheric dynamics with a multisite fabry-perot interferometer network: Overview of plans and results from midlatitude measurements

Makela, J. J., Meriwether, J. W., Ridley, A. J., Ciocca, M. & Castellez, M. W. Sep 19 2012 In : International Journal of Geophysics. 2012, 872140

Research output: Contribution to journalReview article

temperate regions
Fabry-Perot interferometers
interferometer
thermosphere
ionosphere

Phase in nanooptics

Carney, P. S., Deutsch, B., Govyadinov, A. A. & Hillenbrand, R. Jan 24 2012 In : ACS Nano. 6, 1, p. 8-12 5 p.

Research output: Contribution to journalReview article

Phase measurement
Microscopic examination
Imaging techniques
emerging
microscopy
2011

Convective ionospheric storms: A review

Kelley, M. C., Makela, J. J., De La Beaujardiére, O. & Retterer, J. Jun 1 2011 In : Reviews of Geophysics. 49, 2, RG2003

Research output: Contribution to journalReview article

ionospheric storms
navigation
communication
forecasting
spread F

Distributed scalar quantization for computing: High-resolution analysis and extensions

Misra, V., Goyal, V. K. & Varshney, L. R. Aug 1 2011 In : IEEE Transactions on Information Theory. 57, 8, p. 5298-5325 28 p., 5961835

Research output: Contribution to journalReview article

entropy
Entropy
communication
Communication

Empathy for the most vulnerable: Reducing sudden infant death syndrome and accidental suffocation and strangulation in bed

Elwell, M. & McDonagh, D. Jan 1 2011 In : Design Principles and Practices. 5, 5, p. 99-116 18 p.

Research output: Contribution to journalReview article

Accidental
Syndrome
Empathy
Sleep
Risk Factors

Engineering of exchange interactions in electrostatic quantum dots for information processing

Melnikov, D. V. & Leburto, J. P. Jan 1 2011 In : Journal of Computational and Theoretical Nanoscience. 8, 3, p. 449-463 15 p.

Research output: Contribution to journalReview article

Exchange Interaction
Exchange interactions
Quantum Dots
Information Processing
Electrostatics

Making regulatory innovation keep pace with technological innovation

Slating, T. A. & Kesan, J. P. Dec 1 2011 In : Wisconsin Law Review. 2011, 6, p. 1109-1179 71 p.

Research output: Contribution to journalReview article

biofuel
commercialization
technical innovation
innovation
bioenergy

Network formation games among relay stations in next generation wireless networks

Saad, W., Han, Z., Basar, T., Debbah, M. & Hjørungnes, A. Sep 1 2011 In : IEEE Transactions on Communications. 59, 9, p. 2528-2542 15 p., 5936797

Research output: Contribution to journalReview article

Wireless networks
Parallel algorithms
Long Term Evolution (LTE)
Game theory
Base stations