Research Output 1953 2019

Filter
Conference contribution
2017

Short-time Brownian motion

Mo, J. & Raizen, M., Jan 1 2017, Optical Trapping and Optical Micromanipulation XIV. Spalding, G. C. & Dholakia, K. (eds.). SPIE, 1034724. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 10347).

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

Brownian movement
Brownian motion
Fluid
Fluids
fluids
3 Citations (Scopus)

The design space of strand displacement cascades with toehold-size clamps

Wang, B., Thachuk, C., Ellington, A. & Soloveichik, D., Jan 1 2017, DNA Computing and Molecular Programming - 23rd International Conference, DNA 23, Proceedings. Brijder, R. & Qian, L. (eds.). Springer Verlag, p. 64-81 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10467 LNCS).

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

Clamping devices
Cascade
Intelligent structures
Logic circuits
Smart Structures
6 Citations (Scopus)

The role of explanations in casual observational learning about nutrition

Burgermaster, M., Gajos, K. Z., Davidson, P. & Mamykina, L., May 2 2017, CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, p. 4097-4108 12 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2017-May).

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

Nutrition
Feedback
Carbohydrates
Internet
Experiments
2016
1 Citation (Scopus)

Efficient polarization of high-angular-momentum systems

Rochester, S., Pustelny, S., Szymański, K., Raizen, M., Auzinsh, M. & Budker, D., Jan 1 2016, Slow Light, Fast Light, and Opto-Atomic Precision Metrology IX. Shahriar, S. M. & Scheuer, J. (eds.). SPIE, 97630D. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9763).

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

Optical pumping
Angular momentum
Angular Momentum
Polarization
angular momentum
13 Citations (Scopus)

Pair-bonded relationships and romantic alternatives: Toward an integration of evolutionary and relationship science perspectives

Durante, K. M., Eastwick, P., Finkel, E. J., Gangestad, S. W. & Simpson, J. A., Jan 1 2016, Advances in Experimental Social Psychology, 2016. Olson, J. M. & Zanna, M. P. (eds.). Academic Press Inc., p. 1-74 74 p. (Advances in Experimental Social Psychology; vol. 53).

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

Research
Research Personnel
Psychology
Fertilization
Conflict (Psychology)

Using SOMs to gain insight into human language processing

Miikkulainen, R. P., Jan 1 2016, Advances in Self-Organizing Maps and Learning Vector Quantization - Proceedings of the 11th International Workshop WSOM 2016. O’Driscoll, P., Mendenhall, M. J. & Merényi, E. (eds.). Springer Verlag, 1 p. (Advances in Intelligent Systems and Computing; vol. 428).

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

Semantics
Data visualization
Processing
Patient rehabilitation
Data storage equipment
2015
41 Citations (Scopus)

A correlated shadowing model for urban wireless networks

Baccelli, F. & Zhang, X., Aug 21 2015, 2015 IEEE Conference on Computer Communications, IEEE INFOCOM 2015. Institute of Electrical and Electronics Engineers Inc., p. 801-809 9 p. 7218450. (Proceedings - IEEE INFOCOM; vol. 26).

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

Wireless networks
Probability distributions
Geometry

Active epsilon-near-zero infrared metamaterials

Arju, N., Ma, T., Trendafilov, S., Lee, J., Belkin, M. A. & Shvets, G., May 4 2015, CLEO: QELS - Fundamental Science, CLEO_QELS 2015. Optical Society of America (OSA), p. 1551p (CLEO: QELS - Fundamental Science, CLEO_QELS 2015).

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

Metamaterials
Infrared radiation
Metals
metals
Semiconductor quantum wells

Active epsilon-near-zero infrared metamaterials

Arju, N., Ma, T., Trendafilov, S., Lee, J., Belkin, M. & Shvets, G., Aug 10 2015, 2015 Conference on Lasers and Electro-Optics, CLEO 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-August. 7183397

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

Metamaterials
Metals
Infrared radiation
metals
Semiconductor quantum wells
13 Citations (Scopus)

Adaptively secure puncturable pseudorandom functions in the standard model

Hohenberger, S., Koppula, V. & Waters, B. R., Jan 1 2015, Advances in Cryptology - ASIACRYPT 2015 - 21st International Conference on the Theory and Application of Cryptology and Information Security, 2015, Proceedings. Cheon, J. H. & Iwata, T. (eds.). Springer Verlag, p. 79-102 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9452).

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

Pseudorandom Function
Obfuscation
Standard Model
Polynomials
Polynomial

A denotational semantic theory of concurrent systems

Misra, J., Jan 1 2015, Logic, Rewriting and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday. Ölveczky, P. C., Talcott, C. & Martí-Oliet, N. (eds.). Springer Verlag, p. 493-518 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9200).

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

Denotational Semantics
Concurrent Systems
Semantics
Transformer
Specification

A graphical model for context-free grammar parsing

Pingali, K. K. & Bilardi, G., Jan 1 2015, Compiler Construction - 24th International Conference, CC 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Franke, B. (ed.). Springer Verlag, p. 3-27 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9031).

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

Context free grammars
Context-free Grammar
Parsing
Graphical Models
Flow graphs

All your SSL are belong to us

Shmatikov, V., 2015, Applied Cryptography and Network Security - 13th International Conference, ACNS 2015, Revised Selected Papers. Springer Verlag, Vol. 9092. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9092).

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

Web browsers
Certificate
Software
Cloud computing
Middleware

Amplitude and phase modulation of light using fano-resonant meta-surfaces integrated with graphene

Dabidian, N., Kholmanov, I., Khanikaev, A. B., Tatar, K., Trendafilov, S., Hossein Mousavi, S., Magnuson, C., Ruoff, R. S. & Shvets, G., 2015, Integrated Photonics Research, Silicon and Nanophotonics, IPRSN 2015. Optical Society of America (OSA), p. 371p IM4A.7

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

phase modulation
graphene
plasmons
modulation
3 Citations (Scopus)

A multiscale mortar method and two-stage preconditioner for multiphase flow using a global jacobian approach

Ganis, B., Kumar, K., Pencheva, G., Wheeler, M. F. & Yotov, I., 2015, SPE Large Scale Computing and Big Data Challenges in Reservoir Simulation Conference and Exhibition 2014. Society of Petroleum Engineers, p. 75-86 12 p.

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

Multiphase flow
Mortar
Jacobian matrices
Lagrange multipliers
Capillarity
2 Citations (Scopus)

A nested partitioning algorithm for adaptive meshes on heterogeneous clusters

Sundar, H. & Ghattas, O. N., Jun 8 2015, ICS 2015 - Proceedings of the 29th ACM International Conference on Supercomputing. Association for Computing Machinery, p. 319-328 10 p. (Proceedings of the International Conference on Supercomputing; vol. 2015-June).

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

Particle accelerators
Program processors
Supercomputers
Natural sciences computing
Communication
6 Citations (Scopus)

An in-depth analysis of 3G traffic and performance

Hu, Z., Chen, Y. C., Qiu, L., Xue, G., Zhu, H., Zhang, N., He, C., Pan, L. & He, C., Aug 17 2015, AllThingsCellular 2015 - Proceedings of the 5th Workshop on All Things Cellular: Operations, Applications and Challenges, Part of SIGCOMM 2015. Association for Computing Machinery, Inc, p. 1-6 6 p. (AllThingsCellular 2015 - Proceedings of the 5th Workshop on All Things Cellular: Operations, Applications and Challenges, Part of SIGCOMM 2015).

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

Throughput
Learning systems
51 Citations (Scopus)

A punctured programming approach to adaptively secure functional encryption

Waters, B. R., Jan 1 2015, Advances in Cryptology - CRYPTO 2015 - 35th Annual Cryptology Conference, Proceedings. Robshaw, M. & Gennaro, R. (eds.). Springer Verlag, p. 678-697 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9216).

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

Computer programming
Encryption
Cryptography
Programming
Obfuscation
10 Citations (Scopus)

A Robust Sparse Fourier Transform in the Continuous Setting

Price, E. & Song, Z., Dec 11 2015, Proceedings - 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. IEEE Computer Society, p. 583-600 18 p. 7354416. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2015-December).

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

Fourier transforms
Signal to noise ratio
Polynomials
7 Citations (Scopus)

A study of layered learning strategies applied to individual behaviors in robot soccer

Leottau, D. L., Ruiz-Del-Solar, J., MacAlpine, P. & Stone, P. H., Jan 1 2015, RoboCup 2015: Robot World Cup XIX. Ji, J., Almeida, L., Luke, S. & Steinbauer, G. (eds.). Springer Verlag, p. 290-302 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9513).

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

Learning Strategies
Robot
Robots
Ball
Learning systems
2 Citations (Scopus)

A theory about the structure of GTSEs

Perry, D. E. & Batory, D. S., Jul 27 2015, Proceedings - 4th SEMAT Workshop on General Theory of Software Engineering, GTSE 2015. Institute of Electrical and Electronics Engineers Inc., p. 39-46 8 p. 7169394. (Proceedings - 4th SEMAT Workshop on General Theory of Software Engineering, GTSE 2015).

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

Software engineering
3 Citations (Scopus)

A theory of modularity for automated software development (keynote)

Batory, D. S., Mar 16 2015, 14th International Conference on Modularity, MODULARITY Companion 2015 - Proceedings. Association for Computing Machinery, p. 1-10 10 p. (ACM International Conference Proceeding Series; vol. 2015-March).

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

Software engineering
Algebra
15 Citations (Scopus)

Behavioral and Genetic Evidence for GIRK Channels in the CNS: Role in Physiology, Pathophysiology, and Drug Addiction

Mayfield, J., Blednov, Y. A. & Harris, R. A., Jan 1 2015, International Review of Neurobiology - Structure to Function of G Protein-Gated Inwardly Rectifying (GIRK) Channels, 2015. Harris, R. A. & Jenner, P. (eds.). Academic Press Inc., p. 279-313 35 p. (International Review of Neurobiology; vol. 123).

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

Behavioral Genetics
Substance-Related Disorders
G Protein-Coupled Inwardly-Rectifying Potassium Channels
Central Nervous System Diseases
Genetic Association Studies
4 Citations (Scopus)

Benchmarking robot cooperation without pre-coordination in the RoboCup Standard Platform League drop-in player competition

Genter, K., Laue, T. & Stone, P. H., Dec 11 2015, IROS Hamburg 2015 - Conference Digest: IEEE/RSJ International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers Inc., p. 3415-3420 6 p. 7353853. (IEEE International Conference on Intelligent Robots and Systems; vol. 2015-December).

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

Benchmarking
Robots
Testbeds
5 Citations (Scopus)

Blocked literals are universal

Heule, M., Seidl, M. & Biere, A., Jan 1 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer Verlag, p. 436-442 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

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

Elimination
Proof System
Preprocessing
Benchmark
Evaluation
3 Citations (Scopus)

Bottom-up context-sensitive pointer analysis for java

Feng, Y., Wang, X., Dillig, I. & Dillig, T. W., Jan 1 2015, Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Proceedings. Park, S. & Feng, X. (eds.). Springer Verlag, p. 465-484 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9458).

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

Bottom-up
Java
Ashes
Benchmark
Context
8 Citations (Scopus)

Clustering to forecast sparse time-series data

Jha, A., Ray, S., Seaman, B. & Dhillon, I. S., May 26 2015, 2015 IEEE 31st International Conference on Data Engineering, ICDE 2015. IEEE Computer Society, p. 1388-1399 12 p. 7113385. (Proceedings - International Conference on Data Engineering; vol. 2015-May).

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

Time series
Sales
Semantics
Clustering algorithms
Scalability
2 Citations (Scopus)

Compositional propositional proofs

Heule, M. & Biere, A., Jan 1 2015, Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Proceedings. Voronkov, A., Fehnker, A., Davis, M. & McIver, A. (eds.). Springer Verlag, p. 444-459 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9450).

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

Combinatorial Problems
Data storage equipment
Regular hexahedron
Partitioning
Paradigm

Compressive sensing with redundant dictionaries and structured measurements

Krahmer, F., Needell, D. & Ward, R. A., Jul 2 2015, 2015 International Conference on Sampling Theory and Applications, SampTA 2015. Institute of Electrical and Electronics Engineers Inc., p. 25-29 5 p. 7148843. (2015 International Conference on Sampling Theory and Applications, SampTA 2015).

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

Compressive Sensing
Glossaries
Isometry
Sparse Approximation
Sampling
4 Citations (Scopus)

Computer science principles curricula: On-the-ground, adoptable, adaptable, approaches to teaching

Garcia, D. D., Astrachan, O., Brown, B., Gray, J., Lin, C., Beth, B., Morelli, R., DesJardins, M. & Sridhar, N., Feb 24 2015, SIGCSE 2015 - Proceedings of the 46th ACM Technical Symposium on Computer Science Education. Alphonce, C., Decker, A., Eiselt, K. & Tims, J. (eds.). Association for Computing Machinery, Inc, p. 176-177 2 p. (SIGCSE 2015 - Proceedings of the 46th ACM Technical Symposium on Computer Science Education).

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

computer science
Curricula
Computer science
Teaching
curriculum
23 Citations (Scopus)

Cooperating with unknown teammates in complex domains: A robot soccer case study of ad hoc teamwork

Barrett, S. & Stone, P. H., Jun 1 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, p. 2010-2016 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 3).

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

Robots
Industry
16 Citations (Scopus)

CORPP: Commonsense reasoning and probabilistic planning, as applied to dialog with a mobile robot

Zhang, S. & Stone, P. H., Jun 1 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, p. 1394-1400 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

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

Mobile robots
Planning
Intelligent robots
Observability
Robots
5 Citations (Scopus)

CSMA k-SIC - A class of distributed MAC protocols and their performance evaluation

Sankararaman, A. & Baccelli, F., Aug 21 2015, 2015 IEEE Conference on Computer Communications, IEEE INFOCOM 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 26. p. 2002-2010 9 p. 7218584

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

Carrier sense multiple access
Network protocols
Information theory

Decision-making bias in instance matching model selection

Kejriwal, M. & Miranker, D. P., Jan 1 2015, The Semantic Web – ISWC 2015 - 14th International Semantic Web Conference, Proceedings. d’Aquin, M., Thirunarayan, K., Srinivas, K., Groth, P., Arenas, M., Corcho, O., Strohmaier, M., Heflin, J., Simperl, E., Staab, S. & Dumontier, M. (eds.). Springer Verlag, p. 392-407 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9366).

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

Model Selection
Decision making
Decision Making
Semantic Web
Learning systems
1 Citation (Scopus)

Defender strategies in domains involving frequent adversary interaction

Fang, F., Stone, P. H. & Tambe, M., Jan 1 2015, AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Bordini, R. H., Yolum, P., Elkind, E. & Weiss, G. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1663-1664 2 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 3).

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

Terrorism
Fisheries
Law enforcement
2 Citations (Scopus)

Demo: Turning a mobile device into a mouse in the air

Yun, S., Chen, Y. C., Mao, W. & Qiu, L., May 18 2015, MobiSys 2015 - Proceedings of the 13th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, 1 p. (MobiSys 2015 - Proceedings of the 13th Annual International Conference on Mobile Systems, Applications, and Services).

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

Mobile devices
Air
6 Citations (Scopus)

Detecting and exploiting Second Order denial-of-service vulnerabilities in web applications

Olivo, O., Dillig, I. & Lin, C., Oct 12 2015, CCS 2015 - Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 616-628 13 p. (Proceedings of the ACM Conference on Computer and Communications Security; vol. 2015-October).

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

Static analysis
Denial-of-service attack
6 Citations (Scopus)

Determining placements of influencing agents in a flock

Genter, K., Zhang, S. & Stone, P. H., Jan 1 2015, AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Elkind, E., Bordini, R. H., Weiss, G. & Yolum, P. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 247-255 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 1).

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

Trajectories
Birds
Fish
Animals
17 Citations (Scopus)

DJ-MC: A reinforcement-learning agent for music playlist recommendation

Liebman, E., Saar-Tsechansky, M. & Stone, P. H., Jan 1 2015, AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Elkind, E., Bordini, R. H., Weiss, G. & Yolum, P. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 591-599 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 1).

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

Reinforcement learning
Recommender systems
Reinforcement
Feedback
1 Citation (Scopus)

Dual VP classes

Allender, E., Gal, A. & Mertz, I., Jan 1 2015, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Proceedings. Italiano, G. F., Pighizzini, G. & Sannella, D. T. (eds.). Springer Verlag, p. 14-25 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9235).

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

Arithmetic Circuits
Complexity Classes
Networks (circuits)
Algebraic Degree
Expressive Power
3 Citations (Scopus)

Efficient integration of production and seismic data into reservoir models exhibiting complex connectivity using an iterative ensemble smoother

Tavakoli, R., Srinivasan, S., ElSheikh, A. H. & Wheeler, M. F., Jan 1 2015, Society of Petroleum Engineers - SPE Reservoir Simulation Symposium 2015. Society of Petroleum Engineers, p. 1623-1640 18 p. (Society of Petroleum Engineers - SPE Reservoir Simulation Symposium 2015; vol. 3).

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

connectivity
seismic data
Connectivity
Ensemble
Model
10 Citations (Scopus)

Efficient matrix sensing using rank-1 Gaussian measurements

Zhong, K., Jain, P. & Dhillon, I. S., Jan 1 2015, Algorithmic Learning Theory - 26th International Conference, ALT 2015. Gentile, C., Zilles, S. & Chaudhuri, K. (eds.). Springer Verlag, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9355).

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

Sensing
Isometry
Low-rank Matrices
Decoding
Mathematical operators
53 Citations (Scopus)

Efficient statically-secure large-universe multi-authority attribute-based encryption

Rouselakis, Y. & Waters, B. R., Jan 1 2015, Financial Cryptography and Data Security - 19th International Conference, FC 2015, Revised Selected Papers. Okamoto, T. & Bohme, R. (eds.). Springer Verlag, p. 315-332 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8975).

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

Encryption
Cryptography
Attribute
Key Distribution
Rapid prototyping

Electron heating by ultra-fast, ultra-intense laser irradiation of wavelength-scalewires

Serratto, K., Aymond, F., Simon, B., Bernstein, A. C. & Ditmire, T., May 4 2015, CLEO: Science and Innovations, CLEO-SI 2015. Optical Society of America (OSA), 1 p. (CLEO: Science and Innovations, CLEO-SI 2015).

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

Laser beam effects
Heating
Wavelength
irradiation
heating

Electron heating by ultra-fast, ultra-intense laser irradiation of wavelength-scale wires

Serratto, K., Aymond, F., Simon, B., Bernstein, A. & Ditmire, T., Aug 10 2015, 2015 Conference on Lasers and Electro-Optics, CLEO 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-August. 7183631

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

Laser beam effects
wire
Wire
Heating
Wavelength
22 Citations (Scopus)

ELI-Beamlines: Development of next generation short-pulse laser systems

Rus, B., Bakule, P., Kramer, D., Naylon, J., Thoma, J., Green, J. T., Antipenkov, R., Fibrich, M., Novák, J., Batysta, F., Mazanec, T., Drouin, M. A., Kasl, K., Baše, R., Peceli, D., Koubíková, L., Trojek, P., Boge, R., Lagron, J. C., Vyhlídka & 40 others, Weiss, J., Cupal, J., Hebiék, J., Híbek, P., Durák, M., Polan, J., Košelja, M., Korn, G., Horaék, M., Horaék, J., Himmel, B., Havliék, T., Honsa, A., Korouš, P., Laub, M., Haefner, C., Bayramian, A., Spinka, T., Marshall, C., Johnson, G., Telford, S., Horner, J., Deri, B., Metzger, T., Schultze, M., Mason, P., Ertel, K., Ditmire, T., Gaul, E., Martinez, M. D., Hernandez-Gomez, C., Collier, J., Ditmire, T., Gaul, E., Martinez, M., Frederickson, C., Hammond, D., Malato, C., White, W. & Houvika, J., Jan 1 2015, Research Using Extreme Light: Entering New Frontiers with Petawatt-Class Lasers II. Korn, G. & Silva, L. O. (eds.). SPIE, 95150F. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9515).

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

Short Pulse
Laser pulses
Laser
Lasers
pulses

Evolving neural networks

Miikkulainen, R. P., Jul 11 2015, GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference. Silva, S. (ed.). Association for Computing Machinery, Inc, p. 137-161 25 p. (GECCO 2015 - Companion Publication of the 2015 Genetic and Evolutionary Computation Conference).

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

Neuroevolution
Topology
Neural Networks
Neural networks
Pattern matching
3 Citations (Scopus)

EXPLORER: Query-and demand-driven exploration of interprocedural control flow properties

Feng, Y., Wang, X., Dillig, I. & Lin, C., Oct 23 2015, OOPSLA 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications. Eugster, P. & Aldrich, J. (eds.). Association for Computing Machinery, p. 520-534 15 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 25-30-Oct-2015).

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

Flow control
Communication

Explosion dynamics of methane clusters irradiated by 38 nm XUV laser pulses

Helal, A., Bruce, S., Quevedo, H., Bernstein, A., Keto, J. & Ditmire, T., Aug 10 2015, 2015 Conference on Lasers and Electro-Optics, CLEO 2015. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-August. 7183201

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

Methane
Explosions
explosions
Laser pulses
methane

Explosion dynamics of methane clusters irradiated by 38 nm XUV laser pulses

Helal, A., Bruce, S., Quevedo, H. J., Bernstein, A. C., Keto, J. W. & Ditmire, T., May 4 2015, CLEO: QELS - Fundamental Science, CLEO_QELS 2015. Optical Society of America (OSA), p. 1551p (CLEO: QELS - Fundamental Science, CLEO_QELS 2015).

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

Explosions
explosions
Laser pulses
Methane
methane