[{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Consider a convex relaxation f̂ of a pseudo-Boolean function f. We say that the relaxation is totally half-integral if f̂(x) is a polyhedral function with half-integral extreme points x, and this property is preserved after adding an arbitrary combination of constraints of the form x i=x j, x i=1-x j, and x i=γ where γ∈{0,1,1/2} is a constant. A well-known example is the roof duality relaxation for quadratic pseudo-Boolean functions f. We argue that total half-integrality is a natural requirement for generalizations of roof duality to arbitrary pseudo-Boolean functions. Our contributions are as follows. First, we provide a complete characterization of totally half-integral relaxations f̂ by establishing a one-to-one correspondence with bisubmodular functions. Second, we give a new characterization of bisubmodular functions. Finally, we show some relationships between general totally half-integral relaxations and relaxations based on the roof duality. On the conceptual level, our results show that bisubmodular functions provide a natural generalization of the roof duality approach to higher-order terms. This can be viewed as a non-submodular analogue of the fact that submodular functions generalize the s-t minimum cut problem with non-negative weights to higher-order terms."}],"external_id":{"arxiv":["1005.2305"]},"language":[{"iso":"eng"}],"oa":1,"year":"2012","status":"public","oa_version":"Preprint","related_material":{"record":[{"id":"2934","relation":"earlier_version","status":"public"}]},"author":[{"first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov"}],"page":"416 - 426","publisher":"Elsevier","publication_status":"published","scopus_import":1,"type":"journal_article","quality_controlled":"1","arxiv":1,"publication":"Discrete Applied Mathematics","day":"01","title":"Generalized roof duality and bisubmodular functions","date_published":"2012-03-01T00:00:00Z","_id":"3257","issue":"4-5","doi":"10.1016/j.dam.2011.10.026","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1005.2305"}],"volume":160,"intvolume":"       160","publist_id":"3397","department":[{"_id":"VlKo"}],"date_created":"2018-12-11T12:02:18Z","date_updated":"2023-02-23T11:04:49Z","citation":{"mla":"Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.” <i>Discrete Applied Mathematics</i>, vol. 160, no. 4–5, Elsevier, 2012, pp. 416–26, doi:<a href=\"https://doi.org/10.1016/j.dam.2011.10.026\">10.1016/j.dam.2011.10.026</a>.","short":"V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 416–426.","ieee":"V. Kolmogorov, “Generalized roof duality and bisubmodular functions,” <i>Discrete Applied Mathematics</i>, vol. 160, no. 4–5. Elsevier, pp. 416–426, 2012.","chicago":"Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.” <i>Discrete Applied Mathematics</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.dam.2011.10.026\">https://doi.org/10.1016/j.dam.2011.10.026</a>.","ista":"Kolmogorov V. 2012. Generalized roof duality and bisubmodular functions. Discrete Applied Mathematics. 160(4–5), 416–426.","ama":"Kolmogorov V. Generalized roof duality and bisubmodular functions. <i>Discrete Applied Mathematics</i>. 2012;160(4-5):416-426. doi:<a href=\"https://doi.org/10.1016/j.dam.2011.10.026\">10.1016/j.dam.2011.10.026</a>","apa":"Kolmogorov, V. (2012). Generalized roof duality and bisubmodular functions. <i>Discrete Applied Mathematics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.dam.2011.10.026\">https://doi.org/10.1016/j.dam.2011.10.026</a>"},"month":"03"},{"status":"public","oa_version":"Published Version","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"2964"}]},"page":"600 - 606","author":[{"last_name":"Kim","full_name":"Kim, Sooyun","first_name":"Sooyun","id":"394AB1C8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Guzmán","full_name":"Guzmán, José","orcid":"0000-0003-2209-5242","id":"30CC5506-F248-11E8-B48F-1D18A9856A87","first_name":"José"},{"last_name":"Hu","full_name":"Hu, Hua","id":"4AC0145C-F248-11E8-B48F-1D18A9856A87","first_name":"Hua"},{"last_name":"Jonas","full_name":"Jonas, Peter M","orcid":"0000-0001-5001-4804","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","first_name":"Peter M"}],"year":"2012","publication_identifier":{"issn":["1546-1726"]},"language":[{"iso":"eng"}],"pmid":1,"oa":1,"abstract":[{"lang":"eng","text":"CA3 pyramidal neurons are important for memory formation and pattern completion in the hippocampal network. It is generally thought that proximal synapses from the mossy fibers activate these neurons most efficiently, whereas distal inputs from the perforant path have a weaker modulatory influence. We used confocally targeted patch-clamp recording from dendrites and axons to map the activation of rat CA3 pyramidal neurons at the subcellular level. Our results reveal two distinct dendritic domains. In the proximal domain, action potentials initiated in the axon backpropagate actively with large amplitude and fast time course. In the distal domain, Na+ channel–mediated dendritic spikes are efficiently initiated by waveforms mimicking synaptic events. CA3 pyramidal neuron dendrites showed a high Na+-to-K+ conductance density ratio, providing ideal conditions for active backpropagation and dendritic spike initiation. Dendritic spikes may enhance the computational power of CA3 pyramidal neurons in the hippocampal network."}],"article_processing_charge":"No","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","external_id":{"pmid":["22388958"]},"intvolume":"        15","date_updated":"2023-09-07T11:43:52Z","date_created":"2018-12-11T12:02:18Z","publist_id":"3390","department":[{"_id":"PeJo"}],"acknowledgement":"This work was supported by the Deutsche Forschungsgemeinschaft (TR 3/B10) and the European Union (European Research Council Advanced grant to P.J.).","citation":{"apa":"Kim, S., Guzmán, J., Hu, H., &#38; Jonas, P. M. (2012). Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. <i>Nature Neuroscience</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nn.3060\">https://doi.org/10.1038/nn.3060</a>","ama":"Kim S, Guzmán J, Hu H, Jonas PM. Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. <i>Nature Neuroscience</i>. 2012;15(4):600-606. doi:<a href=\"https://doi.org/10.1038/nn.3060\">10.1038/nn.3060</a>","ista":"Kim S, Guzmán J, Hu H, Jonas PM. 2012. Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience. 15(4), 600–606.","chicago":"Kim, Sooyun, José Guzmán, Hua Hu, and Peter M Jonas. “Active Dendrites Support Efficient Initiation of Dendritic Spikes in Hippocampal CA3 Pyramidal Neurons.” <i>Nature Neuroscience</i>. Nature Publishing Group, 2012. <a href=\"https://doi.org/10.1038/nn.3060\">https://doi.org/10.1038/nn.3060</a>.","ieee":"S. Kim, J. Guzmán, H. Hu, and P. M. Jonas, “Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons,” <i>Nature Neuroscience</i>, vol. 15, no. 4. Nature Publishing Group, pp. 600–606, 2012.","mla":"Kim, Sooyun, et al. “Active Dendrites Support Efficient Initiation of Dendritic Spikes in Hippocampal CA3 Pyramidal Neurons.” <i>Nature Neuroscience</i>, vol. 15, no. 4, Nature Publishing Group, 2012, pp. 600–06, doi:<a href=\"https://doi.org/10.1038/nn.3060\">10.1038/nn.3060</a>.","short":"S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606."},"month":"04","article_type":"original","_id":"3258","issue":"4","project":[{"_id":"25BDE9A4-B435-11E9-9278-68D0E5697425","grant_number":"SFB-TR3-TP10B","name":"Glutamaterge synaptische Übertragung und Plastizität in hippocampalen Mikroschaltkreisen"}],"doi":"10.1038/nn.3060","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3617474/","open_access":"1"}],"volume":15,"publication":"Nature Neuroscience","date_published":"2012-04-01T00:00:00Z","title":"Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons","day":"01","publisher":"Nature Publishing Group","scopus_import":"1","publication_status":"published","quality_controlled":"1","type":"journal_article"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Many scenarios in the living world, where individual organisms compete for winning positions (or resources), have properties of auctions. Here we study the evolution of bids in biological auctions. For each auction, n individuals are drawn at random from a population of size N. Each individual makes a bid which entails a cost. The winner obtains a benefit of a certain value. Costs and benefits are translated into reproductive success (fitness). Therefore, successful bidding strategies spread in the population. We compare two types of auctions. In “biological all-pay auctions”, the costs are the bid for every participating individual. In “biological second price all-pay auctions”, the cost for everyone other than the winner is the bid, but the cost for the winner is the second highest bid. Second price all-pay auctions are generalizations of the “war of attrition” introduced by Maynard Smith. We study evolutionary dynamics in both types of auctions. We calculate pairwise invasion plots and evolutionarily stable distributions over the continuous strategy space. We find that the average bid in second price all-pay auctions is higher than in all-pay auctions, but the average cost for the winner is similar in both auctions. In both cases, the average bid is a declining function of the number of participants, n. The more individuals participate in an auction the smaller is the chance of winning, and thus expensive bids must be avoided.\r\n"}],"external_id":{"pmid":["22120126"]},"language":[{"iso":"eng"}],"pmid":1,"oa":1,"year":"2012","ec_funded":1,"status":"public","oa_version":"Submitted Version","related_material":{"record":[{"id":"1400","relation":"dissertation_contains","status":"public"}]},"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"id":"4A918E98-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes","orcid":"0000-0002-0170-7353","full_name":"Reiter, Johannes","last_name":"Reiter"},{"last_name":"Nowak","full_name":"Nowak, Martin","first_name":"Martin"}],"page":"69 - 80","publisher":"Academic Press","scopus_import":1,"type":"journal_article","quality_controlled":"1","publication_status":"published","publication":"Theoretical Population Biology","day":"01","title":"Evolutionary dynamics of biological auctions","date_published":"2012-02-01T00:00:00Z","_id":"3260","issue":"1","doi":"10.1016/j.tpb.2011.11.003","project":[{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","call_identifier":"FP7"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"},{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"name":"Microsoft Research Faculty Fellowship","_id":"2587B514-B435-11E9-9278-68D0E5697425"}],"volume":81,"main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3279759/ ","open_access":"1"}],"intvolume":"        81","department":[{"_id":"KrCh"}],"publist_id":"3388","date_updated":"2023-09-07T11:40:43Z","date_created":"2018-12-11T12:02:19Z","citation":{"apa":"Chatterjee, K., Reiter, J., &#38; Nowak, M. (2012). Evolutionary dynamics of biological auctions. <i>Theoretical Population Biology</i>. Academic Press. <a href=\"https://doi.org/10.1016/j.tpb.2011.11.003\">https://doi.org/10.1016/j.tpb.2011.11.003</a>","ama":"Chatterjee K, Reiter J, Nowak M. Evolutionary dynamics of biological auctions. <i>Theoretical Population Biology</i>. 2012;81(1):69-80. doi:<a href=\"https://doi.org/10.1016/j.tpb.2011.11.003\">10.1016/j.tpb.2011.11.003</a>","ista":"Chatterjee K, Reiter J, Nowak M. 2012. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 81(1), 69–80.","chicago":"Chatterjee, Krishnendu, Johannes Reiter, and Martin Nowak. “Evolutionary Dynamics of Biological Auctions.” <i>Theoretical Population Biology</i>. Academic Press, 2012. <a href=\"https://doi.org/10.1016/j.tpb.2011.11.003\">https://doi.org/10.1016/j.tpb.2011.11.003</a>.","ieee":"K. Chatterjee, J. Reiter, and M. Nowak, “Evolutionary dynamics of biological auctions,” <i>Theoretical Population Biology</i>, vol. 81, no. 1. Academic Press, pp. 69–80, 2012.","short":"K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.","mla":"Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.” <i>Theoretical Population Biology</i>, vol. 81, no. 1, Academic Press, 2012, pp. 69–80, doi:<a href=\"https://doi.org/10.1016/j.tpb.2011.11.003\">10.1016/j.tpb.2011.11.003</a>."},"month":"02"},{"publication_status":"published","quality_controlled":"1","scopus_import":1,"type":"journal_article","publisher":"American Institute of Physics","date_published":"2012-04-01T00:00:00Z","title":"Optimizing information flow in small genetic networks. III. A self-interacting gene","day":"01","publication":" Physical Review E statistical nonlinear and soft matter physics ","issue":"4","_id":"3262","volume":85,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1112.5026"}],"doi":"10.1103/PhysRevE.85.041903","date_created":"2018-12-11T12:02:20Z","date_updated":"2021-01-12T07:42:14Z","department":[{"_id":"GaTk"}],"publist_id":"3386","intvolume":"        85","month":"04","acknowledgement":"We thank T. Gregor, E. F. Wieschaus, and, especially, C. G. Callan for helpful discussions.\r\nWork at Princeton was supported in part by NSF Grants No. PHY–0957573 and No. CCF–0939370, by NIH Grant No. R01 GM077599, and by the W. M. Keck Foundation. For part of this work, G.T. was supported in part by NSF Grant No. EF–0928048 and by the Vice Provost for Research at the University of Pennsylvania.","citation":{"ista":"Tkačik G, Walczak A, Bialek W. 2012. Optimizing information flow in small genetic networks. III. A self-interacting gene.  Physical Review E statistical nonlinear and soft matter physics . 85(4), 041903.","ama":"Tkačik G, Walczak A, Bialek W. Optimizing information flow in small genetic networks. III. A self-interacting gene. <i> Physical Review E statistical nonlinear and soft matter physics </i>. 2012;85(4). doi:<a href=\"https://doi.org/10.1103/PhysRevE.85.041903\">10.1103/PhysRevE.85.041903</a>","apa":"Tkačik, G., Walczak, A., &#38; Bialek, W. (2012). Optimizing information flow in small genetic networks. III. A self-interacting gene. <i> Physical Review E Statistical Nonlinear and Soft Matter Physics </i>. American Institute of Physics. <a href=\"https://doi.org/10.1103/PhysRevE.85.041903\">https://doi.org/10.1103/PhysRevE.85.041903</a>","mla":"Tkačik, Gašper, et al. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.” <i> Physical Review E Statistical Nonlinear and Soft Matter Physics </i>, vol. 85, no. 4, 041903, American Institute of Physics, 2012, doi:<a href=\"https://doi.org/10.1103/PhysRevE.85.041903\">10.1103/PhysRevE.85.041903</a>.","short":"G. Tkačik, A. Walczak, W. Bialek,  Physical Review E Statistical Nonlinear and Soft Matter Physics  85 (2012).","ieee":"G. Tkačik, A. Walczak, and W. Bialek, “Optimizing information flow in small genetic networks. III. A self-interacting gene,” <i> Physical Review E statistical nonlinear and soft matter physics </i>, vol. 85, no. 4. American Institute of Physics, 2012.","chicago":"Tkačik, Gašper, Aleksandra Walczak, and William Bialek. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.” <i> Physical Review E Statistical Nonlinear and Soft Matter Physics </i>. American Institute of Physics, 2012. <a href=\"https://doi.org/10.1103/PhysRevE.85.041903\">https://doi.org/10.1103/PhysRevE.85.041903</a>."},"abstract":[{"text":"Living cells must control the reading out or &quot;expression&quot; of information encoded in their genomes, and this regulation often is mediated by transcription factors--proteins that bind to DNA and either enhance or repress the expression of nearby genes. But the expression of transcription factor proteins is itself regulated, and many transcription factors regulate their own expression in addition to responding to other input signals. Here we analyze the simplest of such self-regulatory circuits, asking how parameters can be chosen to optimize information transmission from inputs to outputs in the steady state. Some nonzero level of self-regulation is almost always optimal, with self-activation dominant when transcription factor concentrations are low and self-repression dominant when concentrations are high. In steady state the optimal self-activation is never strong enough to induce bistability, although there is a limit in which the optimal parameters are very close to the critical point.","lang":"eng"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","article_number":"041903","language":[{"iso":"eng"}],"oa":1,"year":"2012","oa_version":"Preprint","status":"public","author":[{"orcid":"0000-0002-6699-1455","last_name":"Tkacik","full_name":"Tkacik, Gasper","first_name":"Gasper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Walczak, Aleksandra","last_name":"Walczak","first_name":"Aleksandra"},{"last_name":"Bialek","full_name":"Bialek, William","first_name":"William"}]},{"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"The (decisional) learning with errors problem (LWE) asks to distinguish &quot;noisy&quot; inner products of a secret vector with random vectors from uniform. The learning parities with noise problem (LPN) is the special case where the elements of the vectors are bits. In recent years, the LWE and LPN problems have found many applications in cryptography. In this paper we introduce a (seemingly) much stronger adaptive assumption, called &quot;subspace LWE&quot; (SLWE), where the adversary can learn the inner product of the secret and random vectors after they were projected into an adaptively and adversarially chosen subspace. We prove that, surprisingly, the SLWE problem mapping into subspaces of dimension d is almost as hard as LWE using secrets of length d (the other direction is trivial.) This result immediately implies that several existing cryptosystems whose security is based on the hardness of the LWE/LPN problems are provably secure in a much stronger sense than anticipated. As an illustrative example we show that the standard way of using LPN for symmetric CPA secure encryption is even secure against a very powerful class of related key attacks. ","lang":"eng"}],"language":[{"iso":"eng"}],"oa":1,"year":"2012","ec_funded":1,"status":"public","oa_version":"Submitted Version","author":[{"first_name":"Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654"}],"page":"548 - 563","publisher":"Springer","publication_status":"published","type":"conference","quality_controlled":"1","alternative_title":["LNCS"],"day":"04","title":"Subspace LWE","date_published":"2012-05-04T00:00:00Z","conference":{"location":"Taormina, Sicily, Italy","start_date":"2012-03-19","name":"TCC: Theory of Cryptography Conference","end_date":"2012-03-21"},"_id":"3280","doi":"10.1007/978-3-642-28914-9_31","project":[{"_id":"258C570E-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"259668","name":"Provable Security for Physical Cryptography"}],"main_file_link":[{"open_access":"1","url":"http://www.iacr.org/archive/tcc2012/71940166/71940166.pdf"}],"volume":7194,"intvolume":"      7194","publist_id":"3366","department":[{"_id":"KrPi"}],"date_updated":"2021-01-12T07:42:21Z","date_created":"2018-12-11T12:02:26Z","citation":{"ista":"Pietrzak KZ. 2012. Subspace LWE. TCC: Theory of Cryptography Conference, LNCS, vol. 7194, 548–563.","ama":"Pietrzak KZ. Subspace LWE. In: Vol 7194. Springer; 2012:548-563. doi:<a href=\"https://doi.org/10.1007/978-3-642-28914-9_31\">10.1007/978-3-642-28914-9_31</a>","apa":"Pietrzak, K. Z. (2012). Subspace LWE (Vol. 7194, pp. 548–563). Presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy: Springer. <a href=\"https://doi.org/10.1007/978-3-642-28914-9_31\">https://doi.org/10.1007/978-3-642-28914-9_31</a>","mla":"Pietrzak, Krzysztof Z. <i>Subspace LWE</i>. Vol. 7194, Springer, 2012, pp. 548–63, doi:<a href=\"https://doi.org/10.1007/978-3-642-28914-9_31\">10.1007/978-3-642-28914-9_31</a>.","short":"K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.","ieee":"K. Z. Pietrzak, “Subspace LWE,” presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy, 2012, vol. 7194, pp. 548–563.","chicago":"Pietrzak, Krzysztof Z. “Subspace LWE,” 7194:548–63. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-28914-9_31\">https://doi.org/10.1007/978-3-642-28914-9_31</a>."},"acknowledgement":"Supported by the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007-2013) / ERC Starting Grant (259668-PSPC).","month":"05"},{"year":"2012","pubrep_id":"686","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ec_funded":1,"status":"public","oa_version":"Submitted Version","author":[{"first_name":"Yevgeniy","last_name":"Dodis","full_name":"Dodis, Yevgeniy"},{"first_name":"Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654","last_name":"Pietrzak","full_name":"Pietrzak, Krzysztof Z"},{"last_name":"Kiltz","full_name":"Kiltz, Eike","first_name":"Eike"},{"first_name":"Daniel","full_name":"Wichs, Daniel","last_name":"Wichs"}],"page":"355 - 374","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Traditionally, symmetric-key message authentication codes (MACs) are easily built from pseudorandom functions (PRFs). In this work we propose a wide variety of other approaches to building efficient MACs, without going through a PRF first. In particular, unlike deterministic PRF-based MACs, where each message has a unique valid tag, we give a number of probabilistic MAC constructions from various other primitives/assumptions. Our main results are summarized as follows: We show several new probabilistic MAC constructions from a variety of general assumptions, including CCA-secure encryption, Hash Proof Systems and key-homomorphic weak PRFs. By instantiating these frameworks under concrete number theoretic assumptions, we get several schemes which are more efficient than just using a state-of-the-art PRF instantiation under the corresponding assumption. For probabilistic MACs, unlike deterministic ones, unforgeability against a chosen message attack (uf-cma ) alone does not imply security if the adversary can additionally make verification queries (uf-cmva ). We give an efficient generic transformation from any uf-cma secure MAC which is &quot;message-hiding&quot; into a uf-cmva secure MAC. This resolves the main open problem of Kiltz et al. from Eurocrypt'11; By using our transformation on their constructions, we get the first efficient MACs from the LPN assumption. While all our new MAC constructions immediately give efficient actively secure, two-round symmetric-key identification schemes, we also show a very simple, three-round actively secure identification protocol from any weak PRF. In particular, the resulting protocol is much more efficient than the trivial approach of building a regular PRF from a weak PRF. © 2012 International Association for Cryptologic Research."}],"file_date_updated":"2020-07-14T12:46:06Z","language":[{"iso":"eng"}],"oa":1,"ddc":["000","004"],"conference":{"location":"Cambridge, UK","start_date":"2012-04-15","end_date":"2012-04-19","name":"EUROCRYPT: Theory and Applications of Cryptographic Techniques"},"_id":"3282","doi":"10.1007/978-3-642-29011-4_22","project":[{"call_identifier":"FP7","grant_number":"259668","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425"}],"file":[{"file_name":"IST-2016-686-v1+1_059.pdf","file_size":372292,"creator":"system","content_type":"application/pdf","checksum":"8557c17a8c2586d06ebfe62d934f5c5f","file_id":"5074","relation":"main_file","date_created":"2018-12-12T10:14:23Z","access_level":"open_access","date_updated":"2020-07-14T12:46:06Z"}],"volume":7237,"intvolume":"      7237","department":[{"_id":"KrPi"}],"publist_id":"3364","date_created":"2018-12-11T12:02:27Z","date_updated":"2021-01-12T07:42:22Z","citation":{"ista":"Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. 2012. Message authentication, revisited. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 7237, 355–374.","apa":"Dodis, Y., Pietrzak, K. Z., Kiltz, E., &#38; Wichs, D. (2012). Message authentication, revisited (Vol. 7237, pp. 355–374). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Cambridge, UK: Springer. <a href=\"https://doi.org/10.1007/978-3-642-29011-4_22\">https://doi.org/10.1007/978-3-642-29011-4_22</a>","ama":"Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. Message authentication, revisited. In: Vol 7237. Springer; 2012:355-374. doi:<a href=\"https://doi.org/10.1007/978-3-642-29011-4_22\">10.1007/978-3-642-29011-4_22</a>","ieee":"Y. Dodis, K. Z. Pietrzak, E. Kiltz, and D. Wichs, “Message authentication, revisited,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Cambridge, UK, 2012, vol. 7237, pp. 355–374.","short":"Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.","mla":"Dodis, Yevgeniy, et al. <i>Message Authentication, Revisited</i>. Vol. 7237, Springer, 2012, pp. 355–74, doi:<a href=\"https://doi.org/10.1007/978-3-642-29011-4_22\">10.1007/978-3-642-29011-4_22</a>.","chicago":"Dodis, Yevgeniy, Krzysztof Z Pietrzak, Eike Kiltz, and Daniel Wichs. “Message Authentication, Revisited,” 7237:355–74. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-29011-4_22\">https://doi.org/10.1007/978-3-642-29011-4_22</a>."},"acknowledgement":"Supported by the European Research Council under the European Union’s Seventh Framework Programme (FP7/2007-2013) / ERC Starting Grant (259668-PSPC)","month":"03","publisher":"Springer","publication_status":"published","type":"conference","quality_controlled":"1","has_accepted_license":"1","alternative_title":["LNCS"],"day":"10","title":"Message authentication, revisited","date_published":"2012-03-10T00:00:00Z"},{"oa":1,"day":"01","date_published":"2012-01-01T00:00:00Z","title":"The complexity of conservative valued CSPs","publisher":"SIAM","abstract":[{"lang":"eng","text":"We study the complexity of valued constraint satisfaction problems (VCSP). A problem from VCSP is characterised by a constraint language, a fixed set of cost functions over a finite domain. An instance of the problem is specified by a sum of cost functions from the language and the goal is to minimise the sum. Under the unique games conjecture, the approximability of finite-valued VCSPs is well-understood, see Raghavendra [FOCS’08]. However, there is no characterisation of finite-valued VCSPs, let alone general-valued VCSPs, that can be solved exactly in polynomial time, thus giving insights from a combinatorial optimisation perspective.\nWe consider the case of languages containing all possible unary cost functions. In the case of languages consisting of only {0, ∞}-valued cost functions (i.e. relations), such languages have been called conservative and studied by Bulatov [LICS’03] and recently by Barto [LICS’11]. Since we study valued languages, we call a language conservative if it contains all finite-valued unary cost functions. The computational complexity of conservative valued languages has been studied by Cohen et al. [AIJ’06] for languages over Boolean domains, by Deineko et al. [JACM’08] for {0,1}-valued languages (a.k.a Max-CSP), and by Takhanov [STACS’10] for {0,∞}-valued languages containing all finite- valued unary cost functions (a.k.a. Min-Cost-Hom).\nWe prove a Schaefer-like dichotomy theorem for conservative valued languages: if all cost functions in the language satisfy a certain condition (specified by a complementary combination of STP and MJN multimorphisms), then any instance can be solved in polynomial time (via a new algorithm developed in this paper), otherwise the language is NP-hard. This is the first complete complexity classification of general-valued constraint languages over non-Boolean domains. It is a common phenomenon that complexity classifications of problems over non-Boolean domains is significantly harder than the Boolean case. The polynomial-time algorithm we present for the tractable cases is a generalisation of the submodular minimisation problem and a result of Cohen et al. [TCS’08].\nOur results generalise previous results by Takhanov [STACS’10] and (a subset of results) by Cohen et al. [AIJ’06] and Deineko et al. [JACM’08]. Moreover, our results do not rely on any computer-assisted search as in Deineko et al. [JACM’08], and provide a powerful tool for proving hardness of finite-valued and general-valued languages."}],"publication_status":"published","quality_controlled":0,"type":"conference","citation":{"chicago":"Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs,” 750–59. SIAM, 2012.","short":"V. Kolmogorov, S. Živný, in:, SIAM, 2012, pp. 750–759.","mla":"Kolmogorov, Vladimir, and Stanislav Živný. <i>The Complexity of Conservative Valued CSPs</i>. SIAM, 2012, pp. 750–59.","ieee":"V. Kolmogorov and S. Živný, “The complexity of conservative valued CSPs,” presented at the SODA: Symposium on Discrete Algorithms, 2012, pp. 750–759.","ama":"Kolmogorov V, Živný S. The complexity of conservative valued CSPs. In: SIAM; 2012:750-759.","apa":"Kolmogorov, V., &#38; Živný, S. (2012). The complexity of conservative valued CSPs (pp. 750–759). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.","ista":"Kolmogorov V, Živný S. 2012. The complexity of conservative valued CSPs. SODA: Symposium on Discrete Algorithms, 750–759."},"acknowledgement":"Vladimir Kolmogorov is supported by the Royal Academy of Eng ineering/EPSRC.","author":[{"first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov","full_name":"Vladimir Kolmogorov"},{"full_name":"Živný, Stanislav","last_name":"Živný","first_name":"Stanislav"}],"page":"750 - 759","month":"01","status":"public","publist_id":"3362","date_updated":"2021-01-12T07:42:23Z","date_created":"2018-12-11T12:02:27Z","main_file_link":[{"url":"http://arxiv.org/abs/1008.1555","open_access":"1"}],"conference":{"name":"SODA: Symposium on Discrete Algorithms"},"_id":"3284","extern":1,"year":"2012"},{"doi":"10.1128/JVI.05638-11","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3255887/"}],"volume":86,"_id":"3289","issue":"1","citation":{"short":"A. Pereira, F. Leite, B. Brasil, J. Soares Martins, A. Torres, P. Pimenta, T. Souto Padrón, P. Tranktman, P. Ferreira, E. Kroon, C. Bonjardim, Journal of Virology 86 (2012) 172–184.","mla":"Pereira, Anna, et al. “A Vaccinia Virus-Driven Interplay between the MKK4/7-JNK1/2 Pathway and Cytoskeleton Reorganization.” <i>Journal of Virology</i>, vol. 86, no. 1, ASM, 2012, pp. 172–84, doi:<a href=\"https://doi.org/10.1128/JVI.05638-11\">10.1128/JVI.05638-11</a>.","ieee":"A. Pereira <i>et al.</i>, “A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization,” <i>Journal of Virology</i>, vol. 86, no. 1. ASM, pp. 172–184, 2012.","chicago":"Pereira, Anna, Flávia Leite, Bruno Brasil, Jamaria Soares Martins, Alice Torres, Paulo Pimenta, Thais Souto Padrón, et al. “A Vaccinia Virus-Driven Interplay between the MKK4/7-JNK1/2 Pathway and Cytoskeleton Reorganization.” <i>Journal of Virology</i>. ASM, 2012. <a href=\"https://doi.org/10.1128/JVI.05638-11\">https://doi.org/10.1128/JVI.05638-11</a>.","ista":"Pereira A, Leite F, Brasil B, Soares Martins J, Torres A, Pimenta P, Souto Padrón T, Tranktman P, Ferreira P, Kroon E, Bonjardim C. 2012. A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization. Journal of Virology. 86(1), 172–184.","ama":"Pereira A, Leite F, Brasil B, et al. A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization. <i>Journal of Virology</i>. 2012;86(1):172-184. doi:<a href=\"https://doi.org/10.1128/JVI.05638-11\">10.1128/JVI.05638-11</a>","apa":"Pereira, A., Leite, F., Brasil, B., Soares Martins, J., Torres, A., Pimenta, P., … Bonjardim, C. (2012). A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization. <i>Journal of Virology</i>. ASM. <a href=\"https://doi.org/10.1128/JVI.05638-11\">https://doi.org/10.1128/JVI.05638-11</a>"},"acknowledgement":"This work was supported by grants from Fundação de Amparo a Pesquisa do Estado de Minas Gerais (FAPEMIG), the Brazilian Federal Agency for Support and Evaluation of Graduate Education (CAPES), and the National Council for Scientific and Technological Development (CNPq). A.C.T.C.P., B.S.A.F.B., F.G.G.L., and J.A.P.S.-M. were recipients of predoctoral fellowships from CNPq. C.A.B., E.G.K., T.S.-P., P.F.P.P., and P.C.P.F. are recipients of research fellowships from CNPq. \r\n\r\n\r\nWe are grateful to Angela S. Lopes, Ilda M. V. Gama, João R. dos Santos, and Andreza A. Carvalho for their secretarial/technical assistance and to Fernanda Gambogi for help with immunofluorescence microscopy. We also thank M. C. Sogayar (Department of Biochemistry, University of São Paulo, São Paulo, Brazil), who kindly provided us with the A31 cell line, and R. Davis (Howard Hughes Medical Institute, University of Massachusetts Medical School, Worcester, MA) for the WT and JNK1/2-, MKK4-, MKK7-, and MKK4/7-KO cells. VACV WR was from C. Jungwirth (Universität Würzburg, Würzburg, Germany). The recombinant VACV vF13L-GFP and the rabbit polyclonal antibodies against viral proteins, B5R, D8L, L1R, and A36R, were from B. Moss (NIAID, Bethesda, MD). The pcDNA3-Myc-JNK2-MKK7 WT plasmid was from Eugen Kerkhoff (Universität Würzburg, Würzburg, Germany). We also thank Flávio G. da Fonseca (UFMG, Belo Horizonte, MG, Brazil) and Kathleen A. Boyle (Medical College of Wisconsin, Milwaukee, WI) for critically reading the manuscript.","month":"01","intvolume":"        86","department":[{"_id":"JoBo"}],"publist_id":"3356","date_updated":"2021-01-12T07:42:25Z","date_created":"2018-12-11T12:02:29Z","publisher":"ASM","quality_controlled":"1","publication_status":"published","type":"journal_article","scopus_import":1,"publication":"Journal of Virology","day":"01","title":"A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization","date_published":"2012-01-01T00:00:00Z","year":"2012","author":[{"first_name":"Anna","full_name":"Pereira, Anna","last_name":"Pereira"},{"first_name":"Flávia","id":"36705F98-F248-11E8-B48F-1D18A9856A87","last_name":"Leite","full_name":"Leite, Flávia"},{"last_name":"Brasil","full_name":"Brasil, Bruno","first_name":"Bruno"},{"first_name":"Jamaria","full_name":"Soares Martins, Jamaria","last_name":"Soares Martins"},{"last_name":"Torres","full_name":"Torres, Alice","first_name":"Alice"},{"full_name":"Pimenta, Paulo","last_name":"Pimenta","first_name":"Paulo"},{"first_name":"Thais","last_name":"Souto Padrón","full_name":"Souto Padrón, Thais"},{"first_name":"Paula","last_name":"Tranktman","full_name":"Tranktman, Paula"},{"full_name":"Ferreira, Paulo","last_name":"Ferreira","first_name":"Paulo"},{"full_name":"Kroon, Erna","last_name":"Kroon","first_name":"Erna"},{"first_name":"Cláudio","full_name":"Bonjardim, Cláudio","last_name":"Bonjardim"}],"page":"172 - 184","status":"public","oa_version":"Submitted Version","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"text":"Viral manipulation of transduction pathways associated with key cellular functions such as survival, response to microbial infection, and cytoskeleton reorganization can provide the supportive milieu for a productive infection. Here, we demonstrate that vaccinia virus (VACV) infection leads to activation of the stress-activated protein kinase (SAPK)/extracellular signal-regulated kinase (ERK) 4/7 (MKK4/7)-c-Jun N-terminal protein kinase 1/2 (JNK1/2) pathway; further, the stimulation of this pathway requires postpenetration, prereplicative events in the viral replication cycle. Although the formation of intracellular mature virus (IMV) was not affected in MKK4/7- or JNK1/2-knockout (KO) cells, we did note an accentuated deregulation of microtubule and actin network organization in infected JNK1/2-KO cells. This was followed by deregulated viral trafficking to the periphery and enhanced enveloped particle release. Furthermore, VACV infection induced alterations in the cell contractility and morphology, and cell migration was reduced in the JNK-KO cells. In addition, phosphorylation of proteins implicated with early cell contractility and cell migration, such as microtubule-associated protein 1B and paxillin, respectively, was not detected in the VACV-infected KO cells. In sum, our findings uncover a regulatory role played by the MKK4/7-JNK1/2 pathway in cytoskeleton reorganization during VACV infection.\r\n","lang":"eng"}],"external_id":{"pmid":["22031940"]},"oa":1,"language":[{"iso":"eng"}],"pmid":1},{"file_date_updated":"2020-07-14T12:46:06Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The theory of persistent homology opens up the possibility to reason about topological features of a space or a function quantitatively and in combinatorial terms. We refer to this new angle at a classical subject within algebraic topology as a point calculus, which we present for the family of interlevel sets of a real-valued function. Our account of the subject is expository, devoid of proofs, and written for non-experts in algebraic topology."}],"ddc":["000"],"oa":1,"language":[{"iso":"eng"}],"pubrep_id":"542","year":"2012","author":[{"id":"43F6EC54-F248-11E8-B48F-1D18A9856A87","first_name":"Paul","last_name":"Bendich","full_name":"Bendich, Paul"},{"first_name":"Sergio","full_name":"Cabello, Sergio","last_name":"Cabello"},{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833"}],"page":"1436 - 1444","oa_version":"Submitted Version","status":"public","has_accepted_license":"1","quality_controlled":"1","publication_status":"published","scopus_import":1,"type":"journal_article","publisher":"Elsevier","day":"01","title":"A point calculus for interlevel set homology","date_published":"2012-08-01T00:00:00Z","publication":"Pattern Recognition Letters","file":[{"file_size":280280,"file_name":"IST-2016-542-v1+1_2012-J-01-Poinculus.pdf","creator":"system","content_type":"application/pdf","relation":"main_file","access_level":"open_access","date_created":"2018-12-12T10:15:00Z","date_updated":"2020-07-14T12:46:06Z","file_id":"5116","checksum":"d65f79775b51258a604ca5ec741297cc"}],"volume":33,"doi":"10.1016/j.patrec.2011.10.007","issue":"11","_id":"3310","month":"08","citation":{"chicago":"Bendich, Paul, Sergio Cabello, and Herbert Edelsbrunner. “A Point Calculus for Interlevel Set Homology.” <i>Pattern Recognition Letters</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.patrec.2011.10.007\">https://doi.org/10.1016/j.patrec.2011.10.007</a>.","mla":"Bendich, Paul, et al. “A Point Calculus for Interlevel Set Homology.” <i>Pattern Recognition Letters</i>, vol. 33, no. 11, Elsevier, 2012, pp. 1436–44, doi:<a href=\"https://doi.org/10.1016/j.patrec.2011.10.007\">10.1016/j.patrec.2011.10.007</a>.","short":"P. Bendich, S. Cabello, H. Edelsbrunner, Pattern Recognition Letters 33 (2012) 1436–1444.","ieee":"P. Bendich, S. Cabello, and H. Edelsbrunner, “A point calculus for interlevel set homology,” <i>Pattern Recognition Letters</i>, vol. 33, no. 11. Elsevier, pp. 1436–1444, 2012.","ama":"Bendich P, Cabello S, Edelsbrunner H. A point calculus for interlevel set homology. <i>Pattern Recognition Letters</i>. 2012;33(11):1436-1444. doi:<a href=\"https://doi.org/10.1016/j.patrec.2011.10.007\">10.1016/j.patrec.2011.10.007</a>","apa":"Bendich, P., Cabello, S., &#38; Edelsbrunner, H. (2012). A point calculus for interlevel set homology. <i>Pattern Recognition Letters</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.patrec.2011.10.007\">https://doi.org/10.1016/j.patrec.2011.10.007</a>","ista":"Bendich P, Cabello S, Edelsbrunner H. 2012. A point calculus for interlevel set homology. Pattern Recognition Letters. 33(11), 1436–1444."},"acknowledgement":"Research by the third author is partially supported by the National Science Foundation (NSF) under grant DBI-0820624.","department":[{"_id":"HeEd"}],"publist_id":"3330","date_created":"2018-12-11T12:02:36Z","date_updated":"2021-01-12T07:42:34Z","intvolume":"        33"},{"date_updated":"2023-09-05T14:09:30Z","date_created":"2022-03-21T08:01:45Z","department":[{"_id":"KrCh"}],"intvolume":"      7501","month":"10","acknowledgement":"Supported by the Austrian Science Fund (FWF): P23499-N23, the Austrian Science Fund (FWF): S11407-N23 (RiSE), an ERC Start Grant (279307: Graph Games), and a Microsoft Faculty Fellows Award","citation":{"chicago":"Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” In <i>Algorithms – ESA 2012</i>, 7501:301–12. Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33090-2_27\">https://doi.org/10.1007/978-3-642-33090-2_27</a>.","ieee":"K. Chatterjee, M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” in <i>Algorithms – ESA 2012</i>, Ljubljana, Slovenia, 2012, vol. 7501, pp. 301–312.","short":"K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.","mla":"Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” <i>Algorithms – ESA 2012</i>, vol. 7501, Springer, 2012, pp. 301–12, doi:<a href=\"https://doi.org/10.1007/978-3-642-33090-2_27\">10.1007/978-3-642-33090-2_27</a>.","apa":"Chatterjee, K., Henzinger, M. H., Krinninger, S., &#38; Nanongkai, D. (2012). Polynomial-time algorithms for energy games with special weight structures. In <i>Algorithms – ESA 2012</i> (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer. <a href=\"https://doi.org/10.1007/978-3-642-33090-2_27\">https://doi.org/10.1007/978-3-642-33090-2_27</a>","ama":"Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: <i>Algorithms – ESA 2012</i>. Vol 7501. Springer; 2012:301-312. doi:<a href=\"https://doi.org/10.1007/978-3-642-33090-2_27\">10.1007/978-3-642-33090-2_27</a>","ista":"Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312."},"_id":"10905","conference":{"start_date":"2012-09-10","location":"Ljubljana, Slovenia","name":"ESA: European Symposium on Algorithms","end_date":"2012-09-12"},"volume":7501,"main_file_link":[{"url":"https://arxiv.org/abs/1604.08234","open_access":"1"}],"project":[{"call_identifier":"FWF","grant_number":"S11407","name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307"},{"_id":"2587B514-B435-11E9-9278-68D0E5697425","name":"Microsoft Research Faculty Fellowship"}],"doi":"10.1007/978-3-642-33090-2_27","date_published":"2012-10-01T00:00:00Z","title":"Polynomial-time algorithms for energy games with special weight structures","day":"01","publication":"Algorithms – ESA 2012","scopus_import":"1","quality_controlled":"1","publication_status":"published","type":"conference","publisher":"Springer","alternative_title":["LNCS"],"arxiv":1,"oa_version":"Preprint","status":"public","page":"301-312","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"full_name":"Henzinger, Monika H","last_name":"Henzinger","orcid":"0000-0002-5008-6530","first_name":"Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"first_name":"Sebastian","last_name":"Krinninger","full_name":"Krinninger, Sebastian"},{"last_name":"Nanongkai","full_name":"Nanongkai, Danupon","first_name":"Danupon"}],"related_material":{"record":[{"status":"public","relation":"later_version","id":"535"}]},"year":"2012","ec_funded":1,"publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783642330896"],"eisbn":["9783642330902"]},"language":[{"iso":"eng"}],"oa":1,"external_id":{"arxiv":["1604.08234"]},"abstract":[{"lang":"eng","text":"Energy games belong to a class of turn-based two-player infinite-duration games played on a weighted directed graph. It is one of the rare and intriguing combinatorial problems that lie in NP ∩ co−NP, but are not known to be in P. While the existence of polynomial-time algorithms has been a major open problem for decades, there is no algorithm that solves any non-trivial subclass in polynomial time.\r\nIn this paper, we give several results based on the weight structures of the graph. First, we identify a notion of penalty and present a polynomial-time algorithm when the penalty is large. Our algorithm is the first polynomial-time algorithm on a large class of weighted graphs. It includes several counter examples that show that many previous algorithms, such as value iteration and random facet algorithms, require at least sub-exponential time. Our main technique is developing the first non-trivial approximation algorithm and showing how to convert it to an exact algorithm. Moreover, we show that in a practical case in verification where weights are clustered around a constant number of values, the energy game problem can be solved in polynomial time. We also show that the problem is still as hard as in general when the clique-width is bounded or the graph is strongly ergodic, suggesting that restricting graph structures need not help."}],"article_processing_charge":"No","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1"},{"intvolume":"      7214","department":[{"_id":"ToHe"}],"date_updated":"2023-09-05T14:09:54Z","date_created":"2022-03-21T08:03:30Z","citation":{"ista":"Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.","apa":"Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., &#38; Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan &#38; B. König (Eds.), <i>Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/978-3-642-28756-5_46\">https://doi.org/10.1007/978-3-642-28756-5_46</a>","ama":"Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. <i>Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi:<a href=\"https://doi.org/10.1007/978-3-642-28756-5_46\">10.1007/978-3-642-28756-5_46</a>","ieee":"S. Grebenshchikov, A. Gupta, N. P. Lopes, C. Popeea, and A. Rybalchenko, “HSF(C): A software verifier based on Horn clauses,” in <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, Tallinn, Estonia, 2012, vol. 7214, pp. 549–551.","mla":"Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.” <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:<a href=\"https://doi.org/10.1007/978-3-642-28756-5_46\">10.1007/978-3-642-28756-5_46</a>.","short":"S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.","chicago":"Grebenshchikov, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.” In <i>Tools and Algorithms for the Construction and Analysis of Systems</i>, edited by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer, 2012. <a href=\"https://doi.org/10.1007/978-3-642-28756-5_46\">https://doi.org/10.1007/978-3-642-28756-5_46</a>."},"month":"04","conference":{"end_date":"2012-04-01","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","start_date":"2012-03-24","location":"Tallinn, Estonia"},"_id":"10906","doi":"10.1007/978-3-642-28756-5_46","volume":7214,"main_file_link":[{"url":"https://doi.org/10.1007/978-3-642-28756-5_46","open_access":"1"}],"publication":"Tools and Algorithms for the Construction and Analysis of Systems","day":"01","title":"HSF(C): A software verifier based on Horn clauses","date_published":"2012-04-01T00:00:00Z","publisher":"Springer","quality_controlled":"1","type":"conference","scopus_import":"1","publication_status":"published","alternative_title":["LNCS"],"status":"public","oa_version":"Published Version","series_title":"LNCS","editor":[{"first_name":"Cormac","full_name":"Flanagan, Cormac","last_name":"Flanagan"},{"first_name":"Barbara","last_name":"König","full_name":"König, Barbara"}],"author":[{"full_name":"Grebenshchikov, Sergey","last_name":"Grebenshchikov","first_name":"Sergey"},{"full_name":"Gupta, Ashutosh","last_name":"Gupta","id":"335E5684-F248-11E8-B48F-1D18A9856A87","first_name":"Ashutosh"},{"full_name":"Lopes, Nuno P.","last_name":"Lopes","first_name":"Nuno P."},{"last_name":"Popeea","full_name":"Popeea, Corneliu","first_name":"Corneliu"},{"first_name":"Andrey","last_name":"Rybalchenko","full_name":"Rybalchenko, Andrey"}],"page":"549-551","year":"2012","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783642287565"],"isbn":["9783642287558"]},"language":[{"iso":"eng"}],"oa":1,"place":"Berlin, Heidelberg","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","abstract":[{"lang":"eng","text":"HSF(C) is a tool that automates verification of safety and liveness properties for C programs. This paper describes the verification approach taken by HSF(C) and provides instructions on how to install and use the tool."}],"article_processing_charge":"No"},{"year":"2012","publication_identifier":{"issn":["0092-8674"]},"status":"public","oa_version":"Published Version","author":[{"first_name":"Emily M.","full_name":"Hatch, Emily M.","last_name":"Hatch"},{"full_name":"HETZER, Martin W","last_name":"HETZER","orcid":"0000-0002-2111-992X","first_name":"Martin W","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed"}],"page":"733-735","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","article_processing_charge":"No","abstract":[{"text":"Nuclear export of mRNAs is thought to occur exclusively through nuclear pore complexes. In this issue of Cell, Speese et al. identify an alternate pathway for mRNA export in muscle cells where ribonucleoprotein complexes involved in forming neuromuscular junctions transit the nuclear envelope by fusing with and budding through the nuclear membrane.","lang":"eng"}],"external_id":{"pmid":["22579277"]},"language":[{"iso":"eng"}],"pmid":1,"oa":1,"extern":"1","_id":"11090","issue":"4","doi":"10.1016/j.cell.2012.04.018","main_file_link":[{"url":"https://doi.org/10.1016/j.cell.2012.04.018","open_access":"1"}],"volume":149,"intvolume":"       149","date_updated":"2022-07-18T08:58:48Z","date_created":"2022-04-07T07:51:45Z","citation":{"ieee":"E. M. Hatch and M. Hetzer, “RNP export by nuclear envelope budding,” <i>Cell</i>, vol. 149, no. 4. Elsevier, pp. 733–735, 2012.","mla":"Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” <i>Cell</i>, vol. 149, no. 4, Elsevier, 2012, pp. 733–35, doi:<a href=\"https://doi.org/10.1016/j.cell.2012.04.018\">10.1016/j.cell.2012.04.018</a>.","short":"E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735.","chicago":"Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.” <i>Cell</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.cell.2012.04.018\">https://doi.org/10.1016/j.cell.2012.04.018</a>.","ista":"Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4), 733–735.","apa":"Hatch, E. M., &#38; Hetzer, M. (2012). RNP export by nuclear envelope budding. <i>Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cell.2012.04.018\">https://doi.org/10.1016/j.cell.2012.04.018</a>","ama":"Hatch EM, Hetzer M. RNP export by nuclear envelope budding. <i>Cell</i>. 2012;149(4):733-735. doi:<a href=\"https://doi.org/10.1016/j.cell.2012.04.018\">10.1016/j.cell.2012.04.018</a>"},"article_type":"letter_note","month":"05","publisher":"Elsevier","publication_status":"published","scopus_import":"1","type":"journal_article","quality_controlled":"1","publication":"Cell","day":"11","keyword":["General Biochemistry","Genetics and Molecular Biology"],"title":"RNP export by nuclear envelope budding","date_published":"2012-05-11T00:00:00Z"},{"doi":"10.1016/j.devcel.2011.11.021","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1016/j.devcel.2011.11.021"}],"volume":22,"_id":"11093","extern":"1","issue":"2","citation":{"chicago":"D’Angelo, Maximiliano A., J. Sebastian Gomez-Cavazos, Arianna Mei, Daniel H. Lackner, and Martin Hetzer. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” <i>Developmental Cell</i>. Elsevier, 2012. <a href=\"https://doi.org/10.1016/j.devcel.2011.11.021\">https://doi.org/10.1016/j.devcel.2011.11.021</a>.","ieee":"M. A. D’Angelo, J. S. Gomez-Cavazos, A. Mei, D. H. Lackner, and M. Hetzer, “A change in nuclear pore complex composition regulates cell differentiation,” <i>Developmental Cell</i>, vol. 22, no. 2. Elsevier, pp. 446–458, 2012.","mla":"D’Angelo, Maximiliano A., et al. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.” <i>Developmental Cell</i>, vol. 22, no. 2, Elsevier, 2012, pp. 446–58, doi:<a href=\"https://doi.org/10.1016/j.devcel.2011.11.021\">10.1016/j.devcel.2011.11.021</a>.","short":"M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental Cell 22 (2012) 446–458.","apa":"D’Angelo, M. A., Gomez-Cavazos, J. S., Mei, A., Lackner, D. H., &#38; Hetzer, M. (2012). A change in nuclear pore complex composition regulates cell differentiation. <i>Developmental Cell</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.devcel.2011.11.021\">https://doi.org/10.1016/j.devcel.2011.11.021</a>","ama":"D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. <i>Developmental Cell</i>. 2012;22(2):446-458. doi:<a href=\"https://doi.org/10.1016/j.devcel.2011.11.021\">10.1016/j.devcel.2011.11.021</a>","ista":"D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458."},"month":"01","article_type":"original","intvolume":"        22","date_created":"2022-04-07T07:52:10Z","date_updated":"2022-07-18T08:53:16Z","publisher":"Elsevier","publication_status":"published","scopus_import":"1","quality_controlled":"1","type":"journal_article","publication":"Developmental Cell","date_published":"2012-01-19T00:00:00Z","title":"A change in nuclear pore complex composition regulates cell differentiation","day":"19","keyword":["Developmental Biology","Cell Biology","General Biochemistry","Genetics and Molecular Biology","Molecular Biology"],"publication_identifier":{"issn":["1534-5807"]},"year":"2012","page":"446-458","author":[{"first_name":"Maximiliano A.","last_name":"D'Angelo","full_name":"D'Angelo, Maximiliano A."},{"first_name":"J. Sebastian","last_name":"Gomez-Cavazos","full_name":"Gomez-Cavazos, J. Sebastian"},{"first_name":"Arianna","full_name":"Mei, Arianna","last_name":"Mei"},{"first_name":"Daniel H.","last_name":"Lackner","full_name":"Lackner, Daniel H."},{"orcid":"0000-0002-2111-992X","full_name":"HETZER, Martin W","last_name":"HETZER","first_name":"Martin W","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed"}],"status":"public","oa_version":"Published Version","abstract":[{"text":"Nuclear pore complexes (NPCs) are built from ∼30 different proteins called nucleoporins or Nups. Previous studies have shown that several Nups exhibit cell-type-specific expression and that mutations in NPC components result in tissue-specific diseases. Here we show that a specific change in NPC composition is required for both myogenic and neuronal differentiation. The transmembrane nucleoporin Nup210 is absent in proliferating myoblasts and embryonic stem cells (ESCs) but becomes expressed and incorporated into NPCs during cell differentiation. Preventing Nup210 production by RNAi blocks myogenesis and the differentiation of ESCs into neuroprogenitors. We found that the addition of Nup210 to NPCs does not affect nuclear transport but is required for the induction of genes that are essential for cell differentiation. Our results identify a single change in NPC composition as an essential step in cell differentiation and establish a role for Nup210 in gene expression regulation and cell fate determination.","lang":"eng"}],"article_processing_charge":"No","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","external_id":{"pmid":["22264802"]},"oa":1,"language":[{"iso":"eng"}],"pmid":1},{"oa":1,"ddc":["530"],"language":[{"iso":"eng"}],"file_date_updated":"2019-05-16T11:08:52Z","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"We report on an investigation of the solidification of a cornstarch and water suspension during normal impact on its surface. We find that a finite time after impact, the suspension displays characteristics reminiscent of a solid, including localized stress transmission, the development of a yield stress, and some elastic energy storage. The time dependence of these characteristics depends on the thickness of the cornstarch layer, showing that the solidification is a dynamic process driven by the impacting object. These findings confirm previous speculations that rapidly applied normal stress transforms the normally fluid-like suspension into a temporarily jammed solid and draw a clear distinction between the effects of normal stress and shear stress in dense suspensions."}],"author":[{"first_name":"Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2299-3176","full_name":"Waitukaitis, Scott R","last_name":"Waitukaitis"},{"full_name":"Jaeger, Heinrich","last_name":"Jaeger","first_name":"Heinrich"}],"page":"1E31 - 1E33","status":"public","oa_version":"Published Version","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)"},"year":"2012","publication":"Revista Cubana de Fisica","day":"14","license":"https://creativecommons.org/licenses/by-nc/4.0/","date_published":"2012-08-14T00:00:00Z","title":"Solidification of a cornstarch and water suspension","has_accepted_license":"1","publisher":"Universidad de La Habana","quality_controlled":"1","type":"journal_article","publication_status":"published","citation":{"ama":"Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension. <i>Revista Cubana de Fisica</i>. 2012;29(1E):1E31-1E33.","apa":"Waitukaitis, S. R., &#38; Jaeger, H. (2012). Solidification of a cornstarch and water suspension. <i>Revista Cubana de Fisica</i>. Universidad de La Habana.","ista":"Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 29(1E), 1E31-1E33.","chicago":"Waitukaitis, Scott R, and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” <i>Revista Cubana de Fisica</i>. Universidad de La Habana, 2012.","short":"S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.","mla":"Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” <i>Revista Cubana de Fisica</i>, vol. 29, no. 1E, Universidad de La Habana, 2012, p. 1E31-1E33.","ieee":"S. R. Waitukaitis and H. Jaeger, “Solidification of a cornstarch and water suspension,” <i>Revista Cubana de Fisica</i>, vol. 29, no. 1E. Universidad de La Habana, p. 1E31-1E33, 2012."},"acknowledgement":"This work was supported by the NSF through its MRSEC program (DMR-0820054). S. R. W. acknowledges support from a Millikan fellowship.","month":"08","intvolume":"        29","publist_id":"7940","date_updated":"2021-01-12T06:48:34Z","date_created":"2018-12-11T11:44:42Z","file":[{"file_size":589776,"file_name":"2012_RCF_Waitukaitis.pdf","creator":"kschuh","content_type":"application/pdf","file_id":"6461","date_created":"2019-05-16T11:08:52Z","access_level":"open_access","date_updated":"2019-05-16T11:08:52Z","relation":"main_file","success":1}],"volume":29,"extern":"1","_id":"114","issue":"1E"},{"publisher":"Springer Nature","type":"conference","quality_controlled":"1","scopus_import":"1","publication_status":"published","alternative_title":["LNCS"],"arxiv":1,"publication":"8th International Workshop on Internet and Network Economics","date_published":"2012-12-01T00:00:00Z","title":"Auctions with heterogeneous items and budget limits","day":"01","_id":"11794","extern":"1","conference":{"start_date":"2012-12-11","location":"Liverpool, United Kingdom","end_date":"2012-12-14","name":"WINE: International Conference on Web and Internet Economics"},"doi":"10.1007/978-3-642-35311-6_4","main_file_link":[{"url":"https://arxiv.org/abs/1209.6448","open_access":"1"}],"volume":7695,"intvolume":"      7695","date_created":"2022-08-11T11:32:25Z","date_updated":"2023-02-21T16:28:29Z","citation":{"apa":"Dütting, P., Henzinger, M. H., &#38; Starnberger, M. (2012). Auctions with heterogeneous items and budget limits. In <i>8th International Workshop on Internet and Network Economics</i> (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-642-35311-6_4\">https://doi.org/10.1007/978-3-642-35311-6_4</a>","ama":"Dütting P, Henzinger MH, Starnberger M. Auctions with heterogeneous items and budget limits. In: <i>8th International Workshop on Internet and Network Economics</i>. Vol 7695. Springer Nature; 2012:44–57. doi:<a href=\"https://doi.org/10.1007/978-3-642-35311-6_4\">10.1007/978-3-642-35311-6_4</a>","ista":"Dütting P, Henzinger MH, Starnberger M. 2012. Auctions with heterogeneous items and budget limits. 8th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695, 44–57.","chicago":"Dütting, Paul, Monika H Henzinger, and Martin Starnberger. “Auctions with Heterogeneous Items and Budget Limits.” In <i>8th International Workshop on Internet and Network Economics</i>, 7695:44–57. Springer Nature, 2012. <a href=\"https://doi.org/10.1007/978-3-642-35311-6_4\">https://doi.org/10.1007/978-3-642-35311-6_4</a>.","ieee":"P. Dütting, M. H. Henzinger, and M. Starnberger, “Auctions with heterogeneous items and budget limits,” in <i>8th International Workshop on Internet and Network Economics</i>, Liverpool, United Kingdom, 2012, vol. 7695, pp. 44–57.","mla":"Dütting, Paul, et al. “Auctions with Heterogeneous Items and Budget Limits.” <i>8th International Workshop on Internet and Network Economics</i>, vol. 7695, Springer Nature, 2012, pp. 44–57, doi:<a href=\"https://doi.org/10.1007/978-3-642-35311-6_4\">10.1007/978-3-642-35311-6_4</a>.","short":"P. Dütting, M.H. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57."},"month":"12","article_processing_charge":"No","abstract":[{"text":"We study individual rational, Pareto optimal, and incentive compatible mechanisms for auctions with heterogeneous items and budget limits. For multi-dimensional valuations we show that there can be no deterministic mechanism with these properties for divisible items. We use this to show that there can also be no randomized mechanism that achieves this for either divisible or indivisible items. For single-dimensional valuations we show that there can be no deterministic mechanism with these properties for indivisible items, but that there is a randomized mechanism that achieves this for either divisible or indivisible items. The impossibility results hold for public budgets, while the mechanism allows private budgets, which is in both cases the harder variant to show. While all positive results are polynomial-time algorithms, all negative results hold independent of complexity considerations.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["1209.6448"]},"language":[{"iso":"eng"}],"oa":1,"year":"2012","publication_identifier":{"isbn":["9783642353109"],"issn":["1611-3349"]},"status":"public","oa_version":"Preprint","related_material":{"record":[{"relation":"later_version","status":"public","id":"11794"}]},"page":"44–57","author":[{"first_name":"Paul","last_name":"Dütting","full_name":"Dütting, Paul"},{"orcid":"0000-0002-5008-6530","last_name":"Henzinger","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H"},{"first_name":"Martin","last_name":"Starnberger","full_name":"Starnberger, Martin"}]},{"scopus_import":"1","type":"journal_article","quality_controlled":"1","publication_status":"published","publisher":"American Geophysical Union","day":"01","title":"The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model","date_published":"2011-07-01T00:00:00Z","publication":"Water Resources Research","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1029/2010WR009824"}],"volume":47,"doi":"10.1029/2010wr009824","issue":"7","extern":"1","_id":"12649","month":"07","article_type":"original","citation":{"chicago":"Finger, David, Francesca Pellicciotti, Markus Konz, Stefan Rimkus, and Paolo Burlando. “The Value of Glacier Mass Balance, Satellite Snow Cover Images, and Hourly Discharge for Improving the Performance of a Physically Based Distributed Hydrological Model.” <i>Water Resources Research</i>. American Geophysical Union, 2011. <a href=\"https://doi.org/10.1029/2010wr009824\">https://doi.org/10.1029/2010wr009824</a>.","mla":"Finger, David, et al. “The Value of Glacier Mass Balance, Satellite Snow Cover Images, and Hourly Discharge for Improving the Performance of a Physically Based Distributed Hydrological Model.” <i>Water Resources Research</i>, vol. 47, no. 7, W07519, American Geophysical Union, 2011, doi:<a href=\"https://doi.org/10.1029/2010wr009824\">10.1029/2010wr009824</a>.","short":"D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, P. Burlando, Water Resources Research 47 (2011).","ieee":"D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, and P. Burlando, “The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model,” <i>Water Resources Research</i>, vol. 47, no. 7. American Geophysical Union, 2011.","ama":"Finger D, Pellicciotti F, Konz M, Rimkus S, Burlando P. The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model. <i>Water Resources Research</i>. 2011;47(7). doi:<a href=\"https://doi.org/10.1029/2010wr009824\">10.1029/2010wr009824</a>","apa":"Finger, D., Pellicciotti, F., Konz, M., Rimkus, S., &#38; Burlando, P. (2011). The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model. <i>Water Resources Research</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2010wr009824\">https://doi.org/10.1029/2010wr009824</a>","ista":"Finger D, Pellicciotti F, Konz M, Rimkus S, Burlando P. 2011. The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model. Water Resources Research. 47(7), W07519."},"date_updated":"2023-02-20T10:39:57Z","date_created":"2023-02-20T08:18:03Z","intvolume":"        47","article_number":"W07519","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","abstract":[{"lang":"eng","text":"Physically based hydrological models describe natural processes more accurately than conceptual models but require extensive data sets to produce accurate results. To identify the value of different data sets for improving the performance of the distributed hydrological model TOPKAPI we combine a multivariable validation technique with Monte Carlo simulations. The study is carried out in the snow and ice-dominated Rhonegletscher basin, as these types of mountainous basins are generally the most critical with respect to data availability and sensitivity to climate fluctuations. Each observational data set is used individually and in combination with the other data sets to determine a subset of best parameter combinations out of 10,000 Monte Carlos runs performed with randomly generated parameter sets. We validate model results against discharge, glacier mass balance, and satellite snow cover images for a 14 year time period (1994–2007). While the use of all data sets combined provides the best overall model performance (defined by the concurrent best agreement of simulated discharge, snow cover and mass balance with their respective measurements), the use of one or two variables for constraining the model results in poorer performance. Using only one data set for constraining the model glacier mass balance proved to be the most efficient observation leading to the best overall model performance. Our main result is that a combination of discharge and satellite snow cover images is best for improving model performance, since the volumetric information of discharge data and the spatial information of snow cover images are complementary."}],"oa":1,"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0043-1397"]},"year":"2011","author":[{"first_name":"David","last_name":"Finger","full_name":"Finger, David"},{"last_name":"Pellicciotti","full_name":"Pellicciotti, Francesca","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","first_name":"Francesca"},{"last_name":"Konz","full_name":"Konz, Markus","first_name":"Markus"},{"first_name":"Stefan","full_name":"Rimkus, Stefan","last_name":"Rimkus"},{"last_name":"Burlando","full_name":"Burlando, Paolo","first_name":"Paolo"}],"oa_version":"Published Version","status":"public"},{"publication":"Journal of Geophysical Research: Atmospheres","keyword":["Paleontology","Space and Planetary Science","Earth and Planetary Sciences (miscellaneous)","Atmospheric Science","Earth-Surface Processes","Geochemistry and Petrology","Soil Science","Water Science and Technology","Ecology","Aquatic Science","Forestry","Oceanography","Geophysics"],"day":"16","date_published":"2011-12-16T00:00:00Z","title":"Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile","publisher":"American Geophysical Union","quality_controlled":"1","publication_status":"published","scopus_import":"1","type":"journal_article","citation":{"ista":"Petersen L, Pellicciotti F. 2011. Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile. Journal of Geophysical Research: Atmospheres. 116(D23), D23109.","ama":"Petersen L, Pellicciotti F. Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile. <i>Journal of Geophysical Research: Atmospheres</i>. 2011;116(D23). doi:<a href=\"https://doi.org/10.1029/2011jd015842\">10.1029/2011jd015842</a>","apa":"Petersen, L., &#38; Pellicciotti, F. (2011). Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile. <i>Journal of Geophysical Research: Atmospheres</i>. American Geophysical Union. <a href=\"https://doi.org/10.1029/2011jd015842\">https://doi.org/10.1029/2011jd015842</a>","short":"L. Petersen, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 116 (2011).","mla":"Petersen, L., and Francesca Pellicciotti. “Spatial and Temporal Variability of Air Temperature on a Melting Glacier: Atmospheric Controls, Extrapolation Methods and Their Effect on Melt Modeling, Juncal Norte Glacier, Chile.” <i>Journal of Geophysical Research: Atmospheres</i>, vol. 116, no. D23, D23109, American Geophysical Union, 2011, doi:<a href=\"https://doi.org/10.1029/2011jd015842\">10.1029/2011jd015842</a>.","ieee":"L. Petersen and F. Pellicciotti, “Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile,” <i>Journal of Geophysical Research: Atmospheres</i>, vol. 116, no. D23. American Geophysical Union, 2011.","chicago":"Petersen, L., and Francesca Pellicciotti. “Spatial and Temporal Variability of Air Temperature on a Melting Glacier: Atmospheric Controls, Extrapolation Methods and Their Effect on Melt Modeling, Juncal Norte Glacier, Chile.” <i>Journal of Geophysical Research: Atmospheres</i>. American Geophysical Union, 2011. <a href=\"https://doi.org/10.1029/2011jd015842\">https://doi.org/10.1029/2011jd015842</a>."},"month":"12","article_type":"original","intvolume":"       116","date_updated":"2023-02-20T10:29:44Z","date_created":"2023-02-20T08:18:14Z","doi":"10.1029/2011jd015842","volume":116,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1029/2011JD01584"}],"_id":"12651","extern":"1","issue":"D23","oa":1,"language":[{"iso":"eng"}],"article_number":"D23109","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","abstract":[{"lang":"eng","text":"Temperature data from three Automatic Weather Stations and twelve Temperature Loggers are used to investigate the spatiotemporal variability of temperature over a glacier, its main atmospheric controls, the suitability of extrapolation techniques and their effect on melt modeling. We use data collected on Juncal Norte Glacier, central Chile, during one ablation season. We examine temporal and spatial variability in lapse rates (LRs), together with alternative statistical interpolation methods. The main control over the glacier thermal regime is the development of a katabatic boundary layer (KBL). Katabatic wind occurs at night and in the morning and is eroded in the afternoon. LRs reveal strong diurnal variability, with steeper LRs during the day when the katabatic wind weakens and shallower LRs during the night and morning. We suggest that temporally variable LRs should be used to account for the observed change. They tend to be steeper than equivalent constant LRs, and therefore result in a reduction in simulated melt compared to use of constant LRs when extrapolating from lower to higher elevations. In addition to the temporal variability, the temperature-elevation relationship varies also in space. Differences are evident between local LRs and including such variability in melt modeling affects melt simulations. Extrapolation methods based on the spatial variability of the observations after removal of the elevation trend, such as Inverse Distance Weighting or Kriging, do not seem necessary for simulations of gridded temperature data over a glacier."}],"author":[{"full_name":"Petersen, L.","last_name":"Petersen","first_name":"L."},{"id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","first_name":"Francesca","last_name":"Pellicciotti","full_name":"Pellicciotti, Francesca"}],"status":"public","oa_version":"Published Version","publication_identifier":{"issn":["0148-0227"]},"year":"2011"},{"article_processing_charge":"No","abstract":[{"text":"We explore the robustness and transferability of parameterizations of cloud radiative forcing used in glacier melt models at two sites in the Swiss Alps. We also look at the rationale behind some of the most commonly used approaches, and explore the relationship between cloud transmittance and several standard meteorological variables. The 2 m air-temperature diurnal range is the best predictor of variations in cloud transmittance. However, linear and exponential parameterizations can only explain 30–50% of the observed variance in computed cloud transmittance factors. We examine the impact of modelled cloud transmittance factors on both solar radiation and ablation rates computed with an enhanced temperature-index model. The melt model performance decreases when modelled radiation is used, the reduction being due to an underestimation of incoming solar radiation on clear-sky days. The model works well under overcast conditions. We also seek alternatives to the use of in situ ground data. However, outputs from an atmospheric model (2.2 km horizontal resolution) do not seem to provide an alternative to the parameterizations of cloud radiative forcing based on observations of air temperature at glacier automatic weather stations. Conversely, the correct definition of overcast conditions is important.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"oa":1,"year":"2011","publication_identifier":{"eissn":["1727-5652"],"issn":["0022-1430"]},"oa_version":"Published Version","status":"public","page":"367-381","author":[{"full_name":"Pellicciotti, Francesca","last_name":"Pellicciotti","id":"b28f055a-81ea-11ed-b70c-a9fe7f7b0e70","first_name":"Francesca"},{"full_name":"Raschle, Thomas","last_name":"Raschle","first_name":"Thomas"},{"first_name":"Thomas","full_name":"Huerlimann, Thomas","last_name":"Huerlimann"},{"full_name":"Carenzo, Marco","last_name":"Carenzo","first_name":"Marco"},{"first_name":"Paolo","full_name":"Burlando, Paolo","last_name":"Burlando"}],"quality_controlled":"1","publication_status":"published","scopus_import":"1","type":"journal_article","publisher":"Cambridge University Press","title":"Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling","date_published":"2011-03-01T00:00:00Z","day":"01","publication":"Journal of Glaciology","issue":"202","extern":"1","_id":"12652","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3189/002214311796406013"}],"volume":57,"doi":"10.3189/002214311796406013","date_updated":"2023-02-20T09:47:00Z","date_created":"2023-02-20T08:18:21Z","intvolume":"        57","article_type":"original","month":"03","citation":{"apa":"Pellicciotti, F., Raschle, T., Huerlimann, T., Carenzo, M., &#38; Burlando, P. (2011). Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling. <i>Journal of Glaciology</i>. Cambridge University Press. <a href=\"https://doi.org/10.3189/002214311796406013\">https://doi.org/10.3189/002214311796406013</a>","ama":"Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling. <i>Journal of Glaciology</i>. 2011;57(202):367-381. doi:<a href=\"https://doi.org/10.3189/002214311796406013\">10.3189/002214311796406013</a>","ista":"Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. 2011. Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling. Journal of Glaciology. 57(202), 367–381.","chicago":"Pellicciotti, Francesca, Thomas Raschle, Thomas Huerlimann, Marco Carenzo, and Paolo Burlando. “Transmission of Solar Radiation through Clouds on Melting Glaciers: A Comparison of Parameterizations and Their Impact on Melt Modelling.” <i>Journal of Glaciology</i>. Cambridge University Press, 2011. <a href=\"https://doi.org/10.3189/002214311796406013\">https://doi.org/10.3189/002214311796406013</a>.","ieee":"F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, and P. Burlando, “Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling,” <i>Journal of Glaciology</i>, vol. 57, no. 202. Cambridge University Press, pp. 367–381, 2011.","short":"F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal of Glaciology 57 (2011) 367–381.","mla":"Pellicciotti, Francesca, et al. “Transmission of Solar Radiation through Clouds on Melting Glaciers: A Comparison of Parameterizations and Their Impact on Melt Modelling.” <i>Journal of Glaciology</i>, vol. 57, no. 202, Cambridge University Press, 2011, pp. 367–81, doi:<a href=\"https://doi.org/10.3189/002214311796406013\">10.3189/002214311796406013</a>."}},{"oa":1,"language":[{"iso":"eng"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","abstract":[{"lang":"eng","text":"A cloud-resolving model is used to investigate the effect of warming on high percentiles of precipitation (precipitation extremes) in the idealized setting of radiative-convective equilibrium. While this idealized setting does not allow for several factors that influence precipitation in the tropics, it does allow for an evaluation of the response of precipitation extremes to warming in simulations with resolved rather than parameterized convection. The methodology developed should also be applicable to less idealized simulations.\r\n\r\nModeled precipitation extremes are found to increase in magnitude in response to an increase in sea surface temperature. A dry static energy budget is used to relate the changes in precipitation extremes to changes in atmospheric temperature, vertical velocity, and precipitation efficiency. To first order, the changes in precipitation extremes are captured by changes in the mean temperature structure of the atmosphere. Changes in vertical velocities play a secondary role and tend to weaken the strength of precipitation extremes, despite an intensification of updraft velocities in the upper troposphere. The influence of changes in condensate transports on precipitation extremes is quantified in terms of a precipitation efficiency; it does not change greatly with warming.\r\n\r\nTropical precipitation extremes have previously been found to increase at a greater fractional rate than the amount of atmospheric water vapor in observations of present-day variability and in some climate model simulations with parameterized convection. But the fractional increases in precipitation extremes in the cloud-resolving simulations are comparable in magnitude to those in surface water vapor concentrations (owing to a partial cancellation between dynamical and thermodynamical changes), and are substantially less than the fractional increases in column water vapor."}],"article_processing_charge":"No","author":[{"full_name":"Muller, Caroline J","last_name":"Muller","orcid":"0000-0001-5836-5350","id":"f978ccb0-3f7f-11eb-b193-b0e2bd13182b","first_name":"Caroline J"},{"last_name":"O’Gorman","full_name":"O’Gorman, Paul A.","first_name":"Paul A."},{"first_name":"Larissa E.","last_name":"Back","full_name":"Back, Larissa E."}],"page":"2784-2800","status":"public","oa_version":"Published Version","publication_identifier":{"eissn":["1520-0442"],"issn":["0894-8755"]},"year":"2011","publication":"Journal of Climate","day":"01","keyword":["Atmospheric Science"],"title":"Intensification of precipitation extremes with warming in a cloud-resolving model","date_published":"2011-06-01T00:00:00Z","publisher":"American Meteorological Society","publication_status":"published","quality_controlled":"1","type":"journal_article","citation":{"ieee":"C. J. Muller, P. A. O’Gorman, and L. E. Back, “Intensification of precipitation extremes with warming in a cloud-resolving model,” <i>Journal of Climate</i>, vol. 24, no. 11. American Meteorological Society, pp. 2784–2800, 2011.","short":"C.J. Muller, P.A. O’Gorman, L.E. Back, Journal of Climate 24 (2011) 2784–2800.","mla":"Muller, Caroline J., et al. “Intensification of Precipitation Extremes with Warming in a Cloud-Resolving Model.” <i>Journal of Climate</i>, vol. 24, no. 11, American Meteorological Society, 2011, pp. 2784–800, doi:<a href=\"https://doi.org/10.1175/2011jcli3876.1\">10.1175/2011jcli3876.1</a>.","chicago":"Muller, Caroline J, Paul A. O’Gorman, and Larissa E. Back. “Intensification of Precipitation Extremes with Warming in a Cloud-Resolving Model.” <i>Journal of Climate</i>. American Meteorological Society, 2011. <a href=\"https://doi.org/10.1175/2011jcli3876.1\">https://doi.org/10.1175/2011jcli3876.1</a>.","ista":"Muller CJ, O’Gorman PA, Back LE. 2011. Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. 24(11), 2784–2800.","apa":"Muller, C. J., O’Gorman, P. A., &#38; Back, L. E. (2011). Intensification of precipitation extremes with warming in a cloud-resolving model. <i>Journal of Climate</i>. American Meteorological Society. <a href=\"https://doi.org/10.1175/2011jcli3876.1\">https://doi.org/10.1175/2011jcli3876.1</a>","ama":"Muller CJ, O’Gorman PA, Back LE. Intensification of precipitation extremes with warming in a cloud-resolving model. <i>Journal of Climate</i>. 2011;24(11):2784-2800. doi:<a href=\"https://doi.org/10.1175/2011jcli3876.1\">10.1175/2011jcli3876.1</a>"},"article_type":"original","month":"06","intvolume":"        24","date_updated":"2022-01-24T13:52:46Z","date_created":"2021-02-15T14:39:57Z","doi":"10.1175/2011jcli3876.1","main_file_link":[{"url":"https://doi.org/10.1175/2011JCLI3876.1","open_access":"1"}],"volume":24,"extern":"1","_id":"9144","issue":"11"},{"quality_controlled":"1","type":"journal_article","publication_status":"published","publisher":"Public Library of Science","has_accepted_license":"1","day":"03","title":"Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice","date_published":"2011-10-03T00:00:00Z","publication":"PLoS One","issue":"10","extern":"1","_id":"923","file":[{"file_name":"2011_PLOS1_Fre.PDF","file_size":2860615,"creator":"dernst","content_type":"application/pdf","file_id":"6401","checksum":"b4e864125dfcb9fa57a9e01688838081","access_level":"open_access","relation":"main_file","date_created":"2019-05-10T11:20:26Z","date_updated":"2020-07-14T12:48:15Z"}],"volume":6,"doi":"10.1371/journal.pone.0025785","publist_id":"6520","date_updated":"2021-01-12T08:21:56Z","date_created":"2018-12-11T11:49:13Z","intvolume":"         6","month":"10","citation":{"ama":"Fré S, Hannezo EB, Šale S, et al. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. <i>PLoS One</i>. 2011;6(10). doi:<a href=\"https://doi.org/10.1371/journal.pone.0025785\">10.1371/journal.pone.0025785</a>","apa":"Fré, S., Hannezo, E. B., Šale, S., Huyghe, M., Lafkas, D., Kissel, H., … Artavanis Tsakonas, S. (2011). Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. <i>PLoS One</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0025785\">https://doi.org/10.1371/journal.pone.0025785</a>","ista":"Fré S, Hannezo EB, Šale S, Huyghe M, Lafkas D, Kissel H, Louvi A, Greve J, Louvard D, Artavanis Tsakonas S. 2011. Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. 6(10), e25785.","chicago":"Fré, Silvia, Edouard B Hannezo, Sanja Šale, Mathilde Huyghe, Daniel Lafkas, Holger Kissel, Angeliki Louvi, Jeffrey Greve, Daniel Louvard, and Spyros Artavanis Tsakonas. “Notch Lineages and Activity in Intestinal Stem Cells Determined by a New Set of Knock in Mice.” <i>PLoS One</i>. Public Library of Science, 2011. <a href=\"https://doi.org/10.1371/journal.pone.0025785\">https://doi.org/10.1371/journal.pone.0025785</a>.","mla":"Fré, Silvia, et al. “Notch Lineages and Activity in Intestinal Stem Cells Determined by a New Set of Knock in Mice.” <i>PLoS One</i>, vol. 6, no. 10, e25785, Public Library of Science, 2011, doi:<a href=\"https://doi.org/10.1371/journal.pone.0025785\">10.1371/journal.pone.0025785</a>.","short":"S. Fré, E.B. Hannezo, S. Šale, M. Huyghe, D. Lafkas, H. Kissel, A. Louvi, J. Greve, D. Louvard, S. Artavanis Tsakonas, PLoS One 6 (2011).","ieee":"S. Fré <i>et al.</i>, “Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice,” <i>PLoS One</i>, vol. 6, no. 10. Public Library of Science, 2011."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The conserved role of Notch signaling in controlling intestinal cell fate specification and homeostasis has been extensively studied. Nevertheless, the precise identity of the cells in which Notch signaling is active and the role of different Notch receptor paralogues in the intestine remain ambiguous, due to the lack of reliable tools to investigate Notch expression and function in vivo. We generated a new series of transgenic mice that allowed us, by lineage analysis, to formally prove that Notch1 and Notch2 are specifically expressed in crypt stem cells. In addition, a novel Notch reporter mouse, Hes1-EmGFP SAT, demonstrated exclusive Notch activity in crypt stem cells and absorptive progenitors. This roster of knock-in and reporter mice represents a valuable resource to functionally explore the Notch pathway in vivo in virtually all tissues."}],"article_number":"e25785","file_date_updated":"2020-07-14T12:48:15Z","language":[{"iso":"eng"}],"ddc":["570"],"oa":1,"year":"2011","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"oa_version":"Published Version","status":"public","author":[{"last_name":"Fré","full_name":"Fré, Silvia","first_name":"Silvia"},{"last_name":"Hannezo","full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","first_name":"Edouard B"},{"first_name":"Sanja","full_name":"Šale, Sanja","last_name":"Šale"},{"first_name":"Mathilde","full_name":"Huyghe, Mathilde","last_name":"Huyghe"},{"last_name":"Lafkas","full_name":"Lafkas, Daniel","first_name":"Daniel"},{"first_name":"Holger","full_name":"Kissel, Holger","last_name":"Kissel"},{"full_name":"Louvi, Angeliki","last_name":"Louvi","first_name":"Angeliki"},{"first_name":"Jeffrey","full_name":"Greve, Jeffrey","last_name":"Greve"},{"full_name":"Louvard, Daniel","last_name":"Louvard","first_name":"Daniel"},{"full_name":"Artavanis Tsakonas, Spyros","last_name":"Artavanis Tsakonas","first_name":"Spyros"}]}]