@inproceedings{10883, abstract = {Solving parity games, which are equivalent to modal μ-calculus model checking, is a central algorithmic problem in formal methods, with applications in reactive synthesis, program repair, verification of branching-time properties, etc. Besides the standard compu- tation model with the explicit representation of games, another important theoretical model of computation is that of set-based symbolic algorithms. Set-based symbolic algorithms use basic set operations and one-step predecessor operations on the implicit description of games, rather than the explicit representation. The significance of symbolic algorithms is that they provide scalable algorithms for large finite-state systems, as well as for infinite-state systems with finite quotient. Consider parity games on graphs with n vertices and parity conditions with d priorities. While there is a rich literature of explicit algorithms for parity games, the main results for set-based symbolic algorithms are as follows: (a) the basic algorithm that requires O(nd) symbolic operations and O(d) symbolic space; and (b) an improved algorithm that requires O(nd/3+1) symbolic operations and O(n) symbolic space. In this work, our contributions are as follows: (1) We present a black-box set-based symbolic algorithm based on the explicit progress measure algorithm. Two important consequences of our algorithm are as follows: (a) a set-based symbolic algorithm for parity games that requires quasi-polynomially many symbolic operations and O(n) symbolic space; and (b) any future improvement in progress measure based explicit algorithms immediately imply an efficiency improvement in our set-based symbolic algorithm for parity games. (2) We present a set-based symbolic algorithm that requires quasi-polynomially many symbolic operations and O(d · log n) symbolic space. Moreover, for the important special case of d ≤ log n, our algorithm requires only polynomially many symbolic operations and poly-logarithmic symbolic space.}, author = {Chatterjee, Krishnendu and Dvořák, Wolfgang and Henzinger, Monika H and Svozil, Alexander}, booktitle = {22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning}, issn = {2398-7340}, location = {Awassa, Ethiopia}, pages = {233--253}, publisher = {EasyChair}, title = {{Quasipolynomial set-based symbolic algorithms for parity games}}, doi = {10.29007/5z5k}, volume = {57}, year = {2018}, } @article{1092, abstract = {A graphical model encodes conditional independence relations via the Markov properties. For an undirected graph these conditional independence relations can be represented by a simple polytope known as the graph associahedron, which can be constructed as a Minkowski sum of standard simplices. We show that there is an analogous polytope for conditional independence relations coming from a regular Gaussian model, and it can be defined using multiinformation or relative entropy. For directed acyclic graphical models we give a construction of this polytope as a Minkowski sum of matroid polytopes. Finally, we apply this geometric insight to construct a new ordering-based search algorithm for causal inference via directed acyclic graphical models. }, author = {Mohammadi, Fatemeh and Uhler, Caroline and Wang, Charles and Yu, Josephine}, journal = {SIAM Journal on Discrete Mathematics}, number = {1}, pages = {64--93}, publisher = {SIAM}, title = {{Generalized permutohedra from probabilistic graphical models}}, doi = {10.1137/16M107894X}, volume = {32}, year = {2018}, } @inproceedings{11, abstract = {We report on a novel strategy to derive mean-field limits of quantum mechanical systems in which a large number of particles weakly couple to a second-quantized radiation field. The technique combines the method of counting and the coherent state approach to study the growth of the correlations among the particles and in the radiation field. As an instructional example, we derive the Schrödinger–Klein–Gordon system of equations from the Nelson model with ultraviolet cutoff and possibly massless scalar field. In particular, we prove the convergence of the reduced density matrices (of the nonrelativistic particles and the field bosons) associated with the exact time evolution to the projectors onto the solutions of the Schrödinger–Klein–Gordon equations in trace norm. Furthermore, we derive explicit bounds on the rate of convergence of the one-particle reduced density matrix of the nonrelativistic particles in Sobolev norm.}, author = {Leopold, Nikolai K and Pickl, Peter}, location = {Munich, Germany}, pages = {185 -- 214}, publisher = {Springer}, title = {{Mean-field limits of particles in interaction with quantised radiation fields}}, doi = {10.1007/978-3-030-01602-9_9}, volume = {270}, year = {2018}, } @article{11063, abstract = {The total number of nuclear pore complexes (NPCs) per nucleus varies greatly between different cell types and is known to change during cell differentiation and cell transformation. However, the underlying mechanisms that control how many nuclear transport channels are assembled into a given nuclear envelope remain unclear. Here, we report that depletion of the NPC basket protein Tpr, but not Nup153, dramatically increases the total NPC number in various cell types. This negative regulation of Tpr occurs via a phosphorylation cascade of extracellular signal-regulated kinase (ERK), the central kinase of the mitogen-activated protein kinase (MAPK) pathway. Tpr serves as a scaffold for ERK to phosphorylate the nucleoporin (Nup) Nup153, which is critical for early stages of NPC biogenesis. Our results reveal a critical role of the Nup Tpr in coordinating signal transduction pathways during cell proliferation and the dynamic organization of the nucleus.}, author = {McCloskey, Asako and Ibarra, Arkaitz and HETZER, Martin W}, issn = {0890-9369}, journal = {Genes & Development}, keywords = {Developmental Biology, Genetics}, number = {19-20}, pages = {1321--1331}, publisher = {Cold Spring Harbor Laboratory}, title = {{Tpr regulates the total number of nuclear pore complexes per cell nucleus}}, doi = {10.1101/gad.315523.118}, volume = {32}, year = {2018}, } @article{11064, abstract = {Biomarkers of aging can be used to assess the health of individuals and to study aging and age-related diseases. We generate a large dataset of genome-wide RNA-seq profiles of human dermal fibroblasts from 133 people aged 1 to 94 years old to test whether signatures of aging are encoded within the transcriptome. We develop an ensemble machine learning method that predicts age to a median error of 4 years, outperforming previous methods used to predict age. The ensemble was further validated by testing it on ten progeria patients, and our method is the only one that predicts accelerated aging in these patients.}, author = {Fleischer, Jason G. and Schulte, Roberta and Tsai, Hsiao H. and Tyagi, Swati and Ibarra, Arkaitz and Shokhirev, Maxim N. and Huang, Ling and HETZER, Martin W and Navlakha, Saket}, issn = {1474-760X}, journal = {Genome Biology}, publisher = {BioMed Central}, title = {{Predicting age from the transcriptome of human dermal fibroblasts}}, doi = {10.1186/s13059-018-1599-6}, volume = {19}, year = {2018}, } @article{10286, abstract = {In this paper, we evaluate clock signals generated in ring oscillators and self-timed rings and the way their jitter can be transformed into random numbers. We show that counting the periods of the jittery clock signal produces random numbers of significantly better quality than the methods in which the jittery signal is simply sampled (the case in almost all current methods). Moreover, we use the counter values to characterize and continuously monitor the source of randomness. However, instead of using the widely used statistical variance, we propose to use Allan variance to do so. There are two main advantages: Allan variance is insensitive to low frequency noises such as flicker noise that are known to be autocorrelated and significantly less circuitry is required for its computation than that used to compute commonly used variance. We also show that it is essential to use a differential principle of randomness extraction from the jitter based on the use of two identical oscillators to avoid autocorrelations originating from external and internal global jitter sources and that this fact is valid for both kinds of rings. Last but not least, we propose a method of statistical testing based on high order Markov model to show the reduced dependencies when the proposed randomness extraction is applied.}, author = {Allini, Elie Noumon and Skórski, Maciej and Petura, Oto and Bernard, Florent and Laban, Marek and Fischer, Viktor}, issn = {2569-2925}, journal = {IACR Transactions on Cryptographic Hardware and Embedded Systems}, number = {3}, pages = {214--242}, publisher = {International Association for Cryptologic Research}, title = {{Evaluation and monitoring of free running oscillators serving as source of randomness}}, doi = {10.13154/tches.v2018.i3.214-242}, volume = {2018}, year = {2018}, } @article{10357, abstract = {The misfolding and aggregation of proteins into linear fibrils is widespread in human biology, for example, in connection with amyloid formation and the pathology of neurodegenerative disorders such as Alzheimer’s and Parkinson’s diseases. The oligomeric species that are formed in the early stages of protein aggregation are of great interest, having been linked with the cellular toxicity associated with these conditions. However, these species are not characterized in any detail experimentally, and their properties are not well understood. Many of these species have been found to have approximately spherical morphology and to be held together by hydrophobic interactions. We present here an analytical statistical mechanical model of globular oligomer formation from simple idealized amphiphilic protein monomers and show that this correlates well with Monte Carlo simulations of oligomer formation. We identify the controlling parameters of the model, which are closely related to simple quantities that may be fitted directly from experiment. We predict that globular oligomers are unlikely to form at equilibrium in many polypeptide systems but instead form transiently in the early stages of amyloid formation. We contrast the globular model of oligomer formation to a well-established model of linear oligomer formation, highlighting how the differing ensemble properties of linear and globular oligomers offer a potential strategy for characterizing oligomers from experimental measurements.}, author = {Dear, Alexander J. and Šarić, Anđela and Michaels, Thomas C. T. and Dobson, Christopher M. and Knowles, Tuomas P. J.}, issn = {1520-5207}, journal = {The Journal of Physical Chemistry B}, keywords = {materials chemistry}, number = {49}, pages = {11721--11730}, publisher = {American Chemical Society}, title = {{Statistical mechanics of globular oligomer formation by protein molecules}}, doi = {10.1021/acs.jpcb.8b07805}, volume = {122}, year = {2018}, } @article{10358, abstract = {Probing reaction mechanisms of supramolecular processes in soft and biological matter, such as protein aggregation, is inherently challenging. This is because these processes involve multiple molecular mechanisms that are associated with the rearrangement of large numbers of weak bonds, resulting in complex free energy landscapes with many kinetic barriers. Reaction rate measurements at different temperatures can offer unprecedented insights into the underlying molecular mechanisms. However, to be able to interpret such measurements, a key challenge is to establish which properties of the complex free energy landscapes are probed by the reaction rate. Here, we present a reaction rate theory for supramolecular kinetics based on Kramers theory of diffusive reactions over multiple kinetic barriers. We find that reaction rates for protein aggregation are of the Arrhenius–Eyring type and that the associated activation energies probe only one relevant barrier along the respective free energy landscapes. We apply this advancement to interpret, in experiments and in coarse-grained computer simulations, reaction rates of amyloid aggregation in terms of molecular mechanisms and associated thermodynamic signatures. These results suggest a practical extension of the concept of rate-determining steps for complex supramolecular processes and establish a general platform for probing the underlying energy landscape using kinetic measurements.}, author = {Michaels, Thomas C. T. and Liu, Lucie X. and Curk, Samo and Bolhuis, Peter G. and Šarić, Anđela and Knowles, Tuomas P. J.}, issn = {1362-3028}, journal = {Molecular Physics}, keywords = {physical chemistry}, number = {21-22}, pages = {3055--3065}, publisher = {Taylor & Francis}, title = {{Reaction rate theory for supramolecular kinetics: application to protein aggregation}}, doi = {10.1080/00268976.2018.1474280}, volume = {116}, year = {2018}, } @article{10359, abstract = {Biological membranes typically contain a large number of different components dispersed in small concentrations in the main membrane phase, including proteins, sugars, and lipids of varying geometrical properties. Most of these components do not bind the cargo. Here, we show that such “inert” components can be crucial for the precise control of cross-membrane trafficking. Using a statistical mechanics model and molecular dynamics simulations, we demonstrate that the presence of inert membrane components of small isotropic curvatures dramatically influences cargo endocytosis, even if the total spontaneous curvature of such a membrane remains unchanged. Curved lipids, such as cholesterol, as well as asymmetrically included proteins and tethered sugars can, therefore, actively participate in the control of the membrane trafficking of nanoscopic cargo. We find that even a low-level expression of curved inert membrane components can determine the membrane selectivity toward the cargo size and can be used to selectively target membranes of certain compositions. Our results suggest a robust and general method of controlling cargo trafficking by adjusting the membrane composition without needing to alter the concentration of receptors or the average membrane curvature. This study indicates that cells can prepare for any trafficking event by incorporating curved inert components in either of the membrane leaflets.}, author = {Curk, Tine and Wirnsberger, Peter and Dobnikar, Jure and Frenkel, Daan and Šarić, Anđela}, issn = {1530-6992}, journal = {Nano Letters}, keywords = {mechanical engineering, condensed matter physics}, number = {9}, pages = {5350--5356}, publisher = {American Chemical Society}, title = {{Controlling cargo trafficking in multicomponent membranes}}, doi = {10.1021/acs.nanolett.8b00786}, volume = {18}, year = {2018}, } @article{10360, abstract = {Mapping free-energy landscapes has proved to be a powerful tool for studying reaction mechanisms. Many complex biomolecular assembly processes, however, have remained challenging to access using this approach, including the aggregation of peptides and proteins into amyloid fibrils implicated in a range of disorders. Here, we generalize the strategy used to probe free-energy landscapes in protein folding to determine the activation energies and entropies that characterize each of the molecular steps in the aggregation of the amyloid-β peptide (Aβ42), which is associated with Alzheimer’s disease. Our results reveal that interactions between monomeric Aβ42 and amyloid fibrils during fibril-dependent secondary nucleation fundamentally reverse the thermodynamic signature of this process relative to primary nucleation, even though both processes generate aggregates from soluble peptides. By mapping the energetic and entropic contributions along the reaction trajectories, we show that the catalytic efficiency of Aβ42 fibril surfaces results from the enthalpic stabilization of adsorbing peptides in conformations amenable to nucleation, resulting in a dramatic lowering of the activation energy for nucleation.}, author = {Cohen, Samuel I. A. and Cukalevski, Risto and Michaels, Thomas C. T. and Šarić, Anđela and Törnquist, Mattias and Vendruscolo, Michele and Dobson, Christopher M. and Buell, Alexander K. and Knowles, Tuomas P. J. and Linse, Sara}, issn = {1755-4349}, journal = {Nature Chemistry}, keywords = {general chemical engineering, general chemistry}, number = {5}, pages = {523--531}, publisher = {Springer Nature}, title = {{Distinct thermodynamic signatures of oligomer generation in the aggregation of the amyloid-β peptide}}, doi = {10.1038/s41557-018-0023-x}, volume = {10}, year = {2018}, } @article{10361, abstract = {Understanding how normally soluble peptides and proteins aggregate to form amyloid fibrils is central to many areas of modern biomolecular science, ranging from the development of functional biomaterials to the design of rational therapeutic strategies against increasingly prevalent medical conditions such as Alzheimer's and Parkinson's diseases. As such, there is a great need to develop models to mechanistically describe how amyloid fibrils are formed from precursor peptides and proteins. Here we review and discuss how ideas and concepts from chemical reaction kinetics can help to achieve this objective. In particular, we show how a combination of theory, experiments, and computer simulations, based on chemical kinetics, provides a general formalism for uncovering, at the molecular level, the mechanistic steps that underlie the phenomenon of amyloid fibril formation.}, author = {Michaels, Thomas C.T. and Šarić, Anđela and Habchi, Johnny and Chia, Sean and Meisl, Georg and Vendruscolo, Michele and Dobson, Christopher M. and Knowles, Tuomas P.J.}, issn = {1545-1593}, journal = {Annual Review of Physical Chemistry}, keywords = {physical and theoretical chemistry}, number = {1}, pages = {273--298}, publisher = {Annual Reviews}, title = {{Chemical kinetics for bridging molecular mechanisms and macroscopic measurements of amyloid fibril formation}}, doi = {10.1146/annurev-physchem-050317-021322}, volume = {69}, year = {2018}, } @article{10362, abstract = {Nuclear pore complexes (NPCs) form gateways that control molecular exchange between the nucleus and the cytoplasm. They impose a diffusion barrier to macromolecules and enable the selective transport of nuclear transport receptors with bound cargo. The underlying mechanisms that establish these permeability properties remain to be fully elucidated but require unstructured nuclear pore proteins rich in Phe-Gly (FG)-repeat domains of different types, such as FxFG and GLFG. While physical modeling and in vitro approaches have provided a framework for explaining how the FG network contributes to the barrier and transport properties of the NPC, it remains unknown whether the number and/or the spatial positioning of different FG-domains along a cylindrical, ∼40 nm diameter transport channel contributes to their collective properties and function. To begin to answer these questions, we have used DNA origami to build a cylinder that mimics the dimensions of the central transport channel and can house a specified number of FG-domains at specific positions with easily tunable design parameters, such as grafting density and topology. We find the overall morphology of the FG-domain assemblies to be dependent on their chemical composition, determined by the type and density of FG-repeat, and on their architectural confinement provided by the DNA cylinder, largely consistent with here presented molecular dynamics simulations based on a coarse-grained polymer model. In addition, high-speed atomic force microscopy reveals local and reversible FG-domain condensation that transiently occludes the lumen of the DNA central channel mimics, suggestive of how the NPC might establish its permeability properties.}, author = {Fisher, Patrick D. Ellis and Shen, Qi and Akpinar, Bernice and Davis, Luke K. and Chung, Kenny Kwok Hin and Baddeley, David and Šarić, Anđela and Melia, Thomas J. and Hoogenboom, Bart W. and Lin, Chenxiang and Lusk, C. Patrick}, issn = {1936-086X}, journal = {ACS Nano}, keywords = {general physics and astronomy}, number = {2}, pages = {1508--1518}, publisher = {American Chemical Society}, title = {{A Programmable DNA origami platform for organizing intrinsically disordered nucleoporins within nanopore confinement}}, doi = {10.1021/acsnano.7b08044}, volume = {12}, year = {2018}, } @article{104, abstract = {The biotrophic pathogen Ustilago maydis, the causative agent of corn smut disease, infects one of the most important crops worldwide – Zea mays. To successfully colonize its host, U. maydis secretes proteins, known as effectors, that suppress plant defense responses and facilitate the establishment of biotrophy. In this work, we describe the U. maydis effector protein Cce1. Cce1 is essential for virulence and is upregulated during infection. Through microscopic analysis and in vitro assays, we show that Cce1 is secreted from hyphae during filamentous growth of the fungus. Strikingly, Δcce1 mutants are blocked at early stages of infection and induce callose deposition as a plant defense response. Cce1 is highly conserved among smut fungi and the Ustilago bromivora ortholog complemented the virulence defect of the SG200Δcce1 deletion strain. These data indicate that Cce1 is a core effector with apoplastic localization that is essential for U. maydis to infect its host.}, author = {Seitner, Denise and Uhse, Simon and Gallei, Michelle C and Djamei, Armin}, journal = {Molecular Plant Pathology}, number = {10}, pages = {2277 -- 2287}, publisher = {Wiley}, title = {{The core effector Cce1 is required for early infection of maize by Ustilago maydis}}, doi = {10.1111/mpp.12698}, volume = {19}, year = {2018}, } @article{10417, abstract = {We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class. We introduce a new equivalence on traces under sequential consistency semantics, which we call the observation equivalence. Two traces are observationally equivalent if every read event observes the same write event in both traces. While the traditional Mazurkiewicz equivalence is control-centric, our new definition is data-centric. We show that our observation equivalence is coarser than the Mazurkiewicz equivalence, and in many cases even exponentially coarser. We devise a DPOR exploration of the trace space, called data-centric DPOR, based on the observation equivalence.}, author = {Chalupa, Marek and Chatterjee, Krishnendu and Pavlogiannis, Andreas and Sinha, Nishant and Vaidya, Kapil}, issn = {2475-1421}, journal = {Proceedings of the ACM on Programming Languages}, location = {Los Angeles, CA, United States}, number = {POPL}, publisher = {Association for Computing Machinery}, title = {{Data-centric dynamic partial order reduction}}, doi = {10.1145/3158119}, volume = {2}, year = {2018}, } @article{21094, abstract = {The X-ray crystal structures of a decamer sequence d(CGCGTACGCG)2 and a tetradecamer sequence d(CGCGCGTACGCGCG)2 are presented here. Both sequences are alternating pyrimidine-purine repeat sequences and they form disordered, pseudo-continuous left handed Z-type helices. They demonstrate interesting variants of the ‘bundles of columns of helices’ mode of packing.}, author = {Karthik, S. and Mandal, Pradeep K and Thirugnanasambandam, A. and Gautham, N.}, issn = {1532-2335}, journal = {Nucleosides, Nucleotides & Nucleic Acids}, number = {4}, pages = {279--293}, publisher = {Informa UK Limited}, title = {{Crystal structures of disordered Z-type helices}}, doi = {10.1080/15257770.2018.1517883}, volume = {38}, year = {2018}, } @article{21096, abstract = {By using a combination of readily accessible experimental and computational experiments in water, we explored the factors governing the association between polyanionic dyn[4]arene and a series of α,ω-alkyldiammonium ions of increasing chain length. We found that the lock-and-key concept based on the best match between the apolar and polar regions of the molecular partners failed to explain the observed selectivities. Instead, the dissection of the energetic and structural contributions demonstrated that the binding events were actually guided by two crucial solvent-related phenomena as the chain length of the guest increases: the expected decrease of the enthalpic cost of guest desolvation and the unexpected increase of the favourable enthalpy of complex solvation. By bringing to light the decisive enthalpic impact of complex solvation during the binding of polyelectrolytes by inclusion, this study may provide a missing piece to a puzzle that one day could display the global picture of molecular recognition in water.}, author = {Jeamet, Emeric and Septavaux, Jean and Héloin, Alexandre and Donnier-Maréchal, Marion and Dumartin, Melissa and Ourri, Benjamin and Mandal, Pradeep K and Huc, Ivan and Bignon, Emmanuelle and Dumont, Elise and Morell, Christophe and Francoia, Jean-Patrick and Perret, Florent and Vial, Laurent and Leclaire, Julien}, issn = {2041-6539}, journal = {Chemical Science}, number = {1}, pages = {277--283}, publisher = {Royal Society of Chemistry}, title = {{Wetting the lock and key enthalpically favours polyelectrolyte binding}}, doi = {10.1039/c8sc02966k}, volume = {10}, year = {2018}, } @article{21097, abstract = {Translation, the mRNA-templated synthesis of peptides by the ribosome, can be manipulated to incorporate variants of the 20 cognate amino acids. Such approaches for expanding the range of chemical entities that can be produced by the ribosome may accelerate the discovery of molecules that can perform functions for which poorly folded, short peptidic sequences are ill suited. Here, we show that the ribosome tolerates some artificial helical aromatic oligomers, so-called foldamers. Using a flexible tRNA-acylation ribozyme—flexizyme—foldamers were attached to tRNA, and the resulting acylated tRNAs were delivered to the ribosome to initiate the synthesis of non-cyclic and cyclic foldamer–peptide hybrid molecules. Passing through the ribosome exit tunnel requires the foldamers to unfold. Yet foldamers encode sufficient folding information to influence the peptide structure once translation is completed. We also show that in cyclic hybrids, the foldamer portion can fold into a helix and force the peptide segment to adopt a constrained and stretched conformation.}, author = {Rogers, Joseph M. and Kwon, Sunbum and Dawson, Simon J. and Mandal, Pradeep K and Suga, Hiroaki and Huc, Ivan}, issn = {1755-4349}, journal = {Nature Chemistry}, number = {4}, pages = {405--412}, publisher = {Springer Nature}, title = {{Ribosomal synthesis and folding of peptide-helical aromatic foldamer hybrids}}, doi = {10.1038/s41557-018-0007-x}, volume = {10}, year = {2018}, } @article{21152, abstract = {Phospholipase A2 (PLA2) is one of the rate limiting enzymes involved in the production of arachidonic acid, a potent inflammatory mediator. PLA2 is widely distributed all over the animal kingdom. It is also seen in inflammatory exudation and venoms of different organisms. The studies demonstrated that PLA2 inhibitors have broad spectrum activities that they can either be used against inflammation or envenomation. In this study, the inhibitory activity of 1-napthaleneacetic acid (NAA) against porcine pancreatic PLA2 has been explained through isothermal titration calorimetry and enzyme kinetics studies. The atomic level of interactions of NAA with PLA2 was also studied using X-ray crystallography. Apart from these findings, the theoretical binding affinities and mode of interactions of two naphthalene-based NSAIDs such as naproxen (NAP) and nabumetone (NAB) were studied through molecular modeling. The studies proved that the selected ligands are binding at the doorway of the active site cleft and hindering the substrate entry to the active site. The study brings out a potential scaffold for the designing of broad spectrum PLA2 inhibitors which can be used for inflammation or envenomation. }, author = {Dileep, Kalarickal V. and Remya, Chandran and Tintu, Ignatius and Mandal, Pradeep K and Karthe, Ponnuraj and Haridas, Madathilkovilakathu and Sadasivan, Chittalakkottu}, issn = {1521-6551}, journal = {IUBMB Life}, number = {10}, pages = {995--1001}, publisher = {Wiley}, title = {{Crystal structure of phospholipase A2 in complex with 1‐naphthaleneacetic acid}}, doi = {10.1002/iub.1924}, volume = {70}, year = {2018}, } @inproceedings{24, abstract = {Partially-observable Markov decision processes (POMDPs) with discounted-sum payoff are a standard framework to model a wide range of problems related to decision making under uncertainty. Traditionally, the goal has been to obtain policies that optimize the expectation of the discounted-sum payoff. A key drawback of the expectation measure is that even low probability events with extreme payoff can significantly affect the expectation, and thus the obtained policies are not necessarily risk-averse. An alternate approach is to optimize the probability that the payoff is above a certain threshold, which allows obtaining risk-averse policies, but ignores optimization of the expectation. We consider the expectation optimization with probabilistic guarantee (EOPG) problem, where the goal is to optimize the expectation ensuring that the payoff is above a given threshold with at least a specified probability. We present several results on the EOPG problem, including the first algorithm to solve it.}, author = {Chatterjee, Krishnendu and Elgyütt, Adrian and Novotny, Petr and Rouillé, Owen}, location = {Stockholm, Sweden}, pages = {4692 -- 4699}, publisher = {IJCAI}, title = {{Expectation optimization with probabilistic guarantees in POMDPs with discounted-sum objectives}}, doi = {10.24963/ijcai.2018/652}, volume = {2018}, year = {2018}, } @inproceedings{155, abstract = {There is currently significant interest in operating devices in the quantum regime, where their behaviour cannot be explained through classical mechanics. Quantum states, including entangled states, are fragile and easily disturbed by excessive thermal noise. Here we address the question of whether it is possible to create non-reciprocal devices that encourage the flow of thermal noise towards or away from a particular quantum device in a network. Our work makes use of the cascaded systems formalism to answer this question in the affirmative, showing how a three-port device can be used as an effective thermal transistor, and illustrates how this formalism maps onto an experimentally-realisable optomechanical system. Our results pave the way to more resilient quantum devices and to the use of thermal noise as a resource.}, author = {Xuereb, André and Aquilina, Matteo and Barzanjeh, Shabir}, editor = {Andrews, D L and Ostendorf, A and Bain, A J and Nunzi, J M}, location = {Strasbourg, France}, publisher = {SPIE}, title = {{Routing thermal noise through quantum networks}}, doi = {10.1117/12.2309928}, volume = {10672}, year = {2018}, }