Porsche, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.

Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.

Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.

Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.

Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.

Anonymous, 1, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.

Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.

Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.

Dereziski, Jan, and Marcin M. Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.”10.1007/s00023-013-0302-4__Annales Henri Poincaré, vol. 15, no. 12, Springer Nature, 2014, pp. 2409–39, doi:10.1007/s00023-013-0302-4.

Biswas, Ranita, and Partha Bhowmick. On Finding Spherical Geodesic Paths and Circles in 3. Vol. 8668, Springer, 2014, pp. 396–409, doi:10.1007/978-3-319-09955-2_33.

Lee, Jongmin, et al. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.”10.1364/OL.39.004005__Optics Letters, vol. 39, no. 13, OSA, 2014, pp. 4005–08, doi:10.1364/OL.39.004005.

Gross, E., et al. “GLOBIN-5-Dependent O2 Responses Are Regulated by PDL-1/PrBP That Targets Prenylated Soluble Guanylate Cyclases to Dendritic Endings.”10.1523/jneurosci.5368-13.2014__Journal of Neuroscience, vol. 34, no. 50, Society for Neuroscience, 2014, pp. 16726–38, doi:10.1523/jneurosci.5368-13.2014.

Chen, Changchun, et al. “An ER Complex of ODR-4 and ODR-8/Ufm1 Specific Protease 2 Promotes GPCR Maturation by a Ufm1-Independent Mechanism.”10.1371/journal.pgen.1004082__PLoS Genetics, vol. 10, no. 3, e1004082, Public Library of Science (PLoS), 2014, doi:10.1371/journal.pgen.1004082.

Linneweber, Gerit A., et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.”10.1016/j.cell.2013.12.008__Cell, vol. 156, no. 1–2, Elsevier, 2014, pp. 69–83, doi:10.1016/j.cell.2013.12.008.

Bretèche, Régis de la, and Timothy D. Browning. “Contre-Exemples Au Principe de Hasse Pour Certains Tores Coflasques.”10.5802/jtnb.857__Journal de Théorie Des Nombres de Bordeaux, vol. 26, no. 1, Cellule MathDoc/CEDRAM, 2014, pp. 25–44, doi:10.5802/jtnb.857.

Mondelli, Marco, et al. “How to Achieve the Capacity of Asymmetric Channels.”10.1109/allerton.2014.7028535__52nd Annual Allerton Conference on Communication, Control, and Computing, IEEE, 2014, pp. 789–96, doi:10.1109/allerton.2014.7028535.

Mondelli, Marco, et al. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.”10.1109/tcomm.2014.2345069__IEEE Transactions on Communications, vol. 62, no. 9, IEEE, 2014, pp. 3084–91, doi:10.1109/tcomm.2014.2345069.

Mondelli, Marco, et al. “Joint Power Allocation and Path Selection for Multi-Hop Noncoherent Decode and Forward UWB Communications.”10.1109/twc.2014.020914.130669__IEEE Transactions on Wireless Communications, vol. 13, no. 3, IEEE, 2014, pp. 1397–409, doi:10.1109/twc.2014.020914.130669.

Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.”10.1007/978-3-642-54013-4_5__VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 78–97, doi:10.1007/978-3-642-54013-4_5.

Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed., Springer Nature, 2014, doi:10.1007/978-3-319-05957-0.

Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.

Modic, Kimberly A., et al. “Realization of a Three-Dimensional Spin–Anisotropic Harmonic Honeycomb Iridate.”10.1038/ncomms5203__Nature Communications, vol. 5, 4203, Springer Science and Business Media LLC, 2014, doi:10.1038/ncomms5203.

Lancaster, T., et al. “Controlling Magnetic Order and Quantum Disorder in Molecule-Based Magnets.”10.1103/physrevlett.112.207201__Physical Review Letters, vol. 112, no. 20, 207201, APS, 2014, doi:10.1103/physrevlett.112.207201.

Freunberger, Stefan Alexander, et al. “Nonaqueous Electrolytes.”10.1007/978-1-4899-8062-5_2__The Lithium Air Battery: Fundamentals, edited by Nobuyuki Imanishi et al., Springer Nature, 2014, pp. 23–58, doi:10.1007/978-1-4899-8062-5_2.

Dunst, A., et al. “Short-Range Li Diffusion vs. Long-Range Ionic Conduction in Nanocrystalline Lithium Peroxide Li2O2—the Discharge Product in Lithium-Air Batteries.”10.1039/c4ee00496e__Energy &; Environmental Science, vol. 7, no. 8, RSC, 2014, pp. 2739–52, doi:10.1039/c4ee00496e.

Johnson, Lee, et al. “The Role of LiO2 Solubility in O2 Reduction in Aprotic Solvents and Its Consequences for Li–O2 Batteries.”10.1038/nchem.2101__Nature Chemistry, vol. 6, no. 12, Springer Nature, 2014, pp. 1091–99, doi:10.1038/nchem.2101.

Kwabi, D. G., et al. “Materials Challenges in Rechargeable Lithium-Air Batteries.”10.1557/mrs.2014.87__MRS Bulletin, vol. 39, no. 5, CUP, 2014, pp. 443–52, doi:10.1557/mrs.2014.87.

Li, Chunmei, et al. “Aprotic Li–O2 Battery: Influence of Complexing Agents on Oxygen Reduction in an Aprotic Solvent.”10.1021/jp4093805__The Journal of Physical Chemistry C, vol. 118, no. 7, ACS, 2014, pp. 3393–401, doi:10.1021/jp4093805.

Aigner, Daniel, et al. “Enhancing Photoinduced Electron Transfer Efficiency of Fluorescent PH-Probes with Halogenated Phenols.”10.1021/ac502513g__Analytical Chemistry, vol. 86, no. 18, ACS, 2014, pp. 9293–300, doi:10.1021/ac502513g.

Lebar, Tina, et al. “A Bistable Genetic Switch Based on Designable DNA-Binding Domains.”10.1038/ncomms6007__Nature Communications, vol. 5, no. 1, 5007, Springer Nature, 2014, doi:10.1038/ncomms6007.

Costanzo, Tommaso, et al. “Studying the Surface Reaction between NiO and Al2O3viatotal Reflection EXAFS (ReflEXAFS).”10.1107/s1600577513031299__Journal of Synchrotron Radiation, vol. 21, no. 2, International Union of Crystallography, 2014, pp. 395–400, doi:10.1107/s1600577513031299.

Tan, Shutang, and Hong-Wei Xue. “Casein Kinase 1 Regulates Ethylene Synthesis by Phosphorylating and Promoting the Turnover of AC.”10.1016/j.celrep.2014.10.047__Cell Reports, vol. 9, no. 5, Elsevier, 2014, pp. 1692–702, doi:10.1016/j.celrep.2014.10.047.

Alistarh, Dan-Adrian, et al. Dynamic Task Allocation in Asynchronous Shared Memory. SIAM, 2014, pp. 416–35, doi:10.1137/1.9781611973402.31.

Alistarh, Dan-Adrian, et al. “Tight Bounds for Asynchronous Renaming.”10.1145/2597630__Journal of the ACM, vol. 61, no. 3, ACM, 2014, doi:10.1145/2597630.

Alistarh, Dan-Adrian, et al. StackTrack: An Automated Transactional Approach to Concurrent Memory Reclamation. ACM, 2014, doi:10.1145/2592798.2592808.

Alistarh, Dan-Adrian, et al. Balls-into-Leaves: Sub-Logarithmic Renaming in Synchronous Message-Passing Systems. ACM, 2014, pp. 232–41, doi:10.1145/2611462.2611499.

Alistarh, Dan-Adrian, et al. Are Lock-Free Concurrent Algorithms Practically Wait-Free? ACM, 2014, pp. 714–23, doi:10.1145/2591796.2591836.

Alistarh, Dan-Adrian, et al. Communication-Efficient Randomized Consensus. Edited by Fabian Kuhn, vol. 8784, Springer, 2014, pp. 61–75, doi:10.1007/978-3-662-45174-8_5.

Alistarh, Dan-Adrian, et al. Brief Announcement: Are Lock-Free Concurrent Algorithms Practically Wait-Free? ACM, 2014, pp. 50–52, doi:10.1145/2611462.2611502.

Alistarh, Dan-Adrian, et al. The Levelarray: A Fast, Practical Long-Lived Renaming Algorithm. IEEE, 2014, pp. 348–57, doi:10.1109/ICDCS.2014.43.

Robinson, Matthew Richard, and Anna Qvarnström. “Influence of the Environment on the Genetic Architecture of Traits Involved in Sexual Selection within Wild Populations.”10.1002/9781118912591.ch6__Genotype-by-Environment Interactions and Sexual Selection, edited by John Hunt and David Hosken, Wiley, 2014, pp. 137–68, doi:10.1002/9781118912591.ch6.

Robinson, Matthew Richard, et al. “Explaining Additional Genetic Variation in Complex Traits.”10.1016/j.tig.2014.02.003__Trends in Genetics, vol. 30, no. 4, Elsevier, 2014, pp. 124–32, doi:10.1016/j.tig.2014.02.003.

Lohr, Matthew A., et al. “Vibrational and Structural Signatures of the Crossover between Dense Glassy and Sparse Gel-like Attractive Colloidal Packings.”10.1103/physreve.90.062305__Physical Review E, vol. 90, no. 6, 062305, American Physical Society, 2014, doi:10.1103/physreve.90.062305.

Goodrich, Carl Peter, et al. “Comment on ‘Repulsive Contact Interactions Make Jammed Particulate Systems Inherently Nonharmonic.’”10.1103/physrevlett.112.049801__Physical Review Letters, vol. 112, no. 4, 049801, American Physical Society, 2014, doi:10.1103/physrevlett.112.049801.

Still, Tim, et al. “Phonon Dispersion and Elastic Moduli of Two-Dimensional Disordered Colloidal Packings of Soft Particles with Frictional Interactions.”10.1103/physreve.89.012301__Physical Review E, vol. 89, no. 1, 012301, American Physical Society, 2014, doi:10.1103/physreve.89.012301.

Goodrich, Carl Peter, et al. “Solids between the Mechanical Extremes of Order and Disorder.”10.1038/nphys3006__Nature Physics, vol. 10, no. 8, Springer Nature, 2014, pp. 578–81, doi:10.1038/nphys3006.

Goodrich, Carl Peter, et al. “Jamming in Finite Systems: Stability, Anisotropy, Fluctuations, and Scaling.”10.1103/physreve.90.022138__Physical Review E, vol. 90, no. 2, 022138, American Physical Society, 2014, doi:10.1103/physreve.90.022138.

Goodrich, Carl Peter, et al. “Contact Nonlinearities and Linear Response in Jammed Particulate Packings.”10.1103/physreve.90.022201__Physical Review E, vol. 90, no. 2, 022201, American Physical Society, 2014, doi:10.1103/physreve.90.022201.

Araya, R., et al. “Activity-Dependent Dendritic Spine Neck Changes Are Correlated with Synaptic Strength.”10.1073/pnas.1321869111__Proceedings of the National Academy of Sciences, vol. 111, no. 28, Proceedings of the National Academy of Sciences, 2014, pp. 95–904, doi:10.1073/pnas.1321869111.

Tomm, Christian, et al. “Connection-Type-Specific Biases Make Uniform Random Network Models Consistent with Cortical Recordings.”10.1152/jn.00629.2013__Journal of Neurophysiology, vol. 112, no. 8, American Physiological Society, 2014, pp. 1801–14, doi:10.1152/jn.00629.2013.