--- _id: '10190' abstract: - lang: eng text: 'The verification of concurrent programs remains an open challenge, as thread interaction has to be accounted for, which leads to state-space explosion. Stateless model checking battles this problem by exploring traces rather than states of the program. As there are exponentially many traces, dynamic partial-order reduction (DPOR) techniques are used to partition the trace space into equivalence classes, and explore a few representatives from each class. The standard equivalence that underlies most DPOR techniques is the happens-before equivalence, however recent works have spawned a vivid interest towards coarser equivalences. The efficiency of such approaches is a product of two parameters: (i) the size of the partitioning induced by the equivalence, and (ii) the time spent by the exploration algorithm in each class of the partitioning. In this work, we present a new equivalence, called value-happens-before and show that it has two appealing features. First, value-happens-before is always at least as coarse as the happens-before equivalence, and can be even exponentially coarser. Second, the value-happens-before partitioning is efficiently explorable when the number of threads is bounded. We present an algorithm called value-centric DPOR (VCDPOR), which explores the underlying partitioning using polynomial time per class. Finally, we perform an experimental evaluation of VCDPOR on various benchmarks, and compare it against other state-of-the-art approaches. Our results show that value-happens-before typically induces a significant reduction in the size of the underlying partitioning, which leads to a considerable reduction in the running time for exploring the whole partitioning.' acknowledgement: "The authors would also like to thank anonymous referees for their valuable comments and helpful suggestions. This work is supported by the Austrian Science Fund (FWF) NFN grants S11407-N23 (RiSE/SHiNE) and S11402-N23 (RiSE/SHiNE), by the Vienna Science and Technology Fund (WWTF) Project ICT15-003, and by the Austrian Science Fund (FWF) Schrodinger grant J-4220.\r\n" article_number: '124' article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Andreas full_name: Pavlogiannis, Andreas id: 49704004-F248-11E8-B48F-1D18A9856A87 last_name: Pavlogiannis orcid: 0000-0002-8943-0722 - first_name: Viktor full_name: Toman, Viktor id: 3AF3DA7C-F248-11E8-B48F-1D18A9856A87 last_name: Toman orcid: 0000-0001-9036-063X citation: ama: 'Chatterjee K, Pavlogiannis A, Toman V. Value-centric dynamic partial order reduction. In: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Vol 3. ACM; 2019. doi:10.1145/3360550' apa: 'Chatterjee, K., Pavlogiannis, A., & Toman, V. (2019). Value-centric dynamic partial order reduction. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360550' chicago: Chatterjee, Krishnendu, Andreas Pavlogiannis, and Viktor Toman. “Value-Centric Dynamic Partial Order Reduction.” In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vol. 3. ACM, 2019. https://doi.org/10.1145/3360550. ieee: K. Chatterjee, A. Pavlogiannis, and V. Toman, “Value-centric dynamic partial order reduction,” in Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Athens, Greece, 2019, vol. 3. ista: 'Chatterjee K, Pavlogiannis A, Toman V. 2019. Value-centric dynamic partial order reduction. Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA: Object-oriented Programming, Systems, Languages and Applications vol. 3, 124.' mla: Chatterjee, Krishnendu, et al. “Value-Centric Dynamic Partial Order Reduction.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, vol. 3, 124, ACM, 2019, doi:10.1145/3360550. short: K. Chatterjee, A. Pavlogiannis, V. Toman, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM, 2019. conference: end_date: 2019-10-25 location: Athens, Greece name: 'OOPSLA: Object-oriented Programming, Systems, Languages and Applications' start_date: 2019-10-23 date_created: 2021-10-27T14:57:06Z date_published: 2019-10-10T00:00:00Z date_updated: 2023-09-07T13:30:27Z day: '10' ddc: - '000' department: - _id: GradSch - _id: KrCh doi: 10.1145/3360550 external_id: arxiv: - '1909.00989' file: - access_level: open_access checksum: 2149979c46964c4d117af06ccb6c0834 content_type: application/pdf creator: cchlebak date_created: 2021-11-12T11:41:56Z date_updated: 2021-11-12T11:41:56Z file_id: '10278' file_name: 2019_ACM_Chatterjee.pdf file_size: 570829 relation: main_file success: 1 file_date_updated: 2021-11-12T11:41:56Z has_accepted_license: '1' intvolume: ' 3' keyword: - safety - risk - reliability and quality - software language: - iso: eng main_file_link: - open_access: '1' url: https://dl.acm.org/doi/10.1145/3360550 month: '10' oa: 1 oa_version: Published Version project: - _id: 25892FC0-B435-11E9-9278-68D0E5697425 grant_number: ICT15-003 name: Efficient Algorithms for Computer Aided Verification - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 25832EC2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S 11407_N23 name: Rigorous Systems Engineering - _id: 25F5A88A-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11402-N23 name: Moderne Concurrency Paradigms publication: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications publication_identifier: eissn: - 2475-1421 publication_status: published publisher: ACM quality_controlled: '1' related_material: record: - id: '10199' relation: dissertation_contains status: public status: public title: Value-centric dynamic partial order reduction tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 volume: 3 year: '2019' ... --- _id: '6673' abstract: - lang: eng text: Several classic problems in graph processing and computational geometry are solved via incremental algorithms, which split computation into a series of small tasks acting on shared state, which gets updated progressively. While the sequential variant of such algorithms usually specifies a fixed (but sometimes random) order in which the tasks should be performed, a standard approach to parallelizing such algorithms is to relax this constraint to allow for out-of-order parallel execution. This is the case for parallel implementations of Dijkstra's single-source shortest-paths (SSSP) algorithm, and for parallel Delaunay mesh triangulation. While many software frameworks parallelize incremental computation in this way, it is still not well understood whether this relaxed ordering approach can still provide any complexity guarantees. In this paper, we address this problem, and analyze the efficiency guarantees provided by a range of incremental algorithms when parallelized via relaxed schedulers. We show that, for algorithms such as Delaunay mesh triangulation and sorting by insertion, schedulers with a maximum relaxation factor of k in terms of the maximum priority inversion allowed will introduce a maximum amount of wasted work of O(łog n poly(k)), where n is the number of tasks to be executed. For SSSP, we show that the additional work is O(poly(k), dmax / wmin), where dmax is the maximum distance between two nodes, and wmin is the minimum such distance. In practical settings where n >> k, this suggests that the overheads of relaxation will be outweighed by the improved scalability of the relaxed scheduler. On the negative side, we provide lower bounds showing that certain algorithms will inherently incur a non-trivial amount of wasted work due to scheduler relaxation, even for relatively benign relaxed schedulers. article_processing_charge: No author: - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X - first_name: Giorgi full_name: Nadiradze, Giorgi id: 3279A00C-F248-11E8-B48F-1D18A9856A87 last_name: Nadiradze orcid: 0000-0001-5634-0731 - first_name: Nikita full_name: Koval, Nikita id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87 last_name: Koval citation: ama: 'Alistarh D-A, Nadiradze G, Koval N. Efficiency guarantees for parallel incremental algorithms under relaxed schedulers. In: 31st ACM Symposium on Parallelism in Algorithms and Architectures. ACM Press; 2019:145-154. doi:10.1145/3323165.3323201' apa: 'Alistarh, D.-A., Nadiradze, G., & Koval, N. (2019). Efficiency guarantees for parallel incremental algorithms under relaxed schedulers. In 31st ACM Symposium on Parallelism in Algorithms and Architectures (pp. 145–154). Phoenix, AZ, United States: ACM Press. https://doi.org/10.1145/3323165.3323201' chicago: Alistarh, Dan-Adrian, Giorgi Nadiradze, and Nikita Koval. “Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers.” In 31st ACM Symposium on Parallelism in Algorithms and Architectures, 145–54. ACM Press, 2019. https://doi.org/10.1145/3323165.3323201. ieee: D.-A. Alistarh, G. Nadiradze, and N. Koval, “Efficiency guarantees for parallel incremental algorithms under relaxed schedulers,” in 31st ACM Symposium on Parallelism in Algorithms and Architectures, Phoenix, AZ, United States, 2019, pp. 145–154. ista: 'Alistarh D-A, Nadiradze G, Koval N. 2019. Efficiency guarantees for parallel incremental algorithms under relaxed schedulers. 31st ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 145–154.' mla: Alistarh, Dan-Adrian, et al. “Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers.” 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM Press, 2019, pp. 145–54, doi:10.1145/3323165.3323201. short: D.-A. Alistarh, G. Nadiradze, N. Koval, in:, 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM Press, 2019, pp. 145–154. conference: end_date: 2019-06-24 location: Phoenix, AZ, United States name: 'SPAA: Symposium on Parallelism in Algorithms and Architectures' start_date: 2019-06-22 date_created: 2019-07-24T08:59:36Z date_published: 2019-06-01T00:00:00Z date_updated: 2023-09-07T13:31:39Z day: '01' department: - _id: DaAl doi: 10.1145/3323165.3323201 ec_funded: 1 external_id: arxiv: - '2003.09363' isi: - '000507618500018' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2003.09363 month: '06' oa: 1 oa_version: Preprint page: 145-154 project: - _id: 268A44D6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '805223' name: Elastic Coordination for Scalable Machine Learning publication: 31st ACM Symposium on Parallelism in Algorithms and Architectures publication_identifier: isbn: - '9781450361842' publication_status: published publisher: ACM Press quality_controlled: '1' related_material: record: - id: '10429' relation: dissertation_contains status: public scopus_import: '1' status: public title: Efficiency guarantees for parallel incremental algorithms under relaxed schedulers type: conference user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 year: '2019' ... --- _id: '7398' abstract: - lang: eng text: 'Transporters of the solute carrier 6 (SLC6) family translocate their cognate substrate together with Na+ and Cl−. Detailed kinetic models exist for the transporters of GABA (GAT1/SLC6A1) and the monoamines dopamine (DAT/SLC6A3) and serotonin (SERT/SLC6A4). Here, we posited that the transport cycle of individual SLC6 transporters reflects the physiological requirements they operate under. We tested this hypothesis by analyzing the transport cycle of glycine transporter 1 (GlyT1/SLC6A9) and glycine transporter 2 (GlyT2/SLC6A5). GlyT2 is the only SLC6 family member known to translocate glycine, Na+, and Cl− in a 1:3:1 stoichiometry. We analyzed partial reactions in real time by electrophysiological recordings. Contrary to monoamine transporters, both GlyTs were found to have a high transport capacity driven by rapid return of the empty transporter after release of Cl− on the intracellular side. Rapid cycling of both GlyTs was further supported by highly cooperative binding of cosubstrate ions and substrate such that their forward transport mode was maintained even under conditions of elevated intracellular Na+ or Cl−. The most important differences in the transport cycle of GlyT1 and GlyT2 arose from the kinetics of charge movement and the resulting voltage-dependent rate-limiting reactions: the kinetics of GlyT1 were governed by transition of the substrate-bound transporter from outward- to inward-facing conformations, whereas the kinetics of GlyT2 were governed by Na+ binding (or a related conformational change). Kinetic modeling showed that the kinetics of GlyT1 are ideally suited for supplying the extracellular glycine levels required for NMDA receptor activation.' article_processing_charge: No article_type: original author: - first_name: Fatma Asli full_name: Erdem, Fatma Asli last_name: Erdem - first_name: Marija full_name: Ilic, Marija last_name: Ilic - first_name: Peter full_name: Koppensteiner, Peter id: 3B8B25A8-F248-11E8-B48F-1D18A9856A87 last_name: Koppensteiner orcid: 0000-0002-3509-1948 - first_name: Jakub full_name: Gołacki, Jakub last_name: Gołacki - first_name: Gert full_name: Lubec, Gert last_name: Lubec - first_name: Michael full_name: Freissmuth, Michael last_name: Freissmuth - first_name: Walter full_name: Sandtner, Walter last_name: Sandtner citation: ama: Erdem FA, Ilic M, Koppensteiner P, et al. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 2019;151(8):1035-1050. doi:10.1085/jgp.201912318 apa: Erdem, F. A., Ilic, M., Koppensteiner, P., Gołacki, J., Lubec, G., Freissmuth, M., & Sandtner, W. (2019). A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. Rockefeller University Press. https://doi.org/10.1085/jgp.201912318 chicago: Erdem, Fatma Asli, Marija Ilic, Peter Koppensteiner, Jakub Gołacki, Gert Lubec, Michael Freissmuth, and Walter Sandtner. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology. Rockefeller University Press, 2019. https://doi.org/10.1085/jgp.201912318. ieee: F. A. Erdem et al., “A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2,” The Journal of General Physiology, vol. 151, no. 8. Rockefeller University Press, pp. 1035–1050, 2019. ista: Erdem FA, Ilic M, Koppensteiner P, Gołacki J, Lubec G, Freissmuth M, Sandtner W. 2019. A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2. The Journal of General Physiology. 151(8), 1035–1050. mla: Erdem, Fatma Asli, et al. “A Comparison of the Transport Kinetics of Glycine Transporter 1 and Glycine Transporter 2.” The Journal of General Physiology, vol. 151, no. 8, Rockefeller University Press, 2019, pp. 1035–50, doi:10.1085/jgp.201912318. short: F.A. Erdem, M. Ilic, P. Koppensteiner, J. Gołacki, G. Lubec, M. Freissmuth, W. Sandtner, The Journal of General Physiology 151 (2019) 1035–1050. date_created: 2020-01-29T16:06:29Z date_published: 2019-07-03T00:00:00Z date_updated: 2023-09-07T14:52:23Z day: '03' ddc: - '570' department: - _id: RySh doi: 10.1085/jgp.201912318 external_id: isi: - '000478792500008' pmid: - '31270129' file: - access_level: open_access checksum: 5706b4ccd74ee3e50bf7ecb2a203df71 content_type: application/pdf creator: dernst date_created: 2020-02-05T07:20:32Z date_updated: 2020-07-14T12:47:57Z file_id: '7450' file_name: 2019_JGP_Erdem.pdf file_size: 2641297 relation: main_file file_date_updated: 2020-07-14T12:47:57Z has_accepted_license: '1' intvolume: ' 151' isi: 1 issue: '8' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 1035-1050 pmid: 1 publication: The Journal of General Physiology publication_identifier: eissn: - 1540-7748 issn: - 0022-1295 publication_status: published publisher: Rockefeller University Press quality_controlled: '1' scopus_import: '1' status: public title: A comparison of the transport kinetics of glycine transporter 1 and glycine transporter 2 tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 151 year: '2019' ... --- _id: '7395' abstract: - lang: eng text: The mitochondrial electron transport chain complexes are organized into supercomplexes (SCs) of defined stoichiometry, which have been proposed to regulate electron flux via substrate channeling. We demonstrate that CoQ trapping in the isolated SC I+III2 limits complex (C)I turnover, arguing against channeling. The SC structure, resolved at up to 3.8 Å in four distinct states, suggests that CoQ oxidation may be rate limiting because of unequal access of CoQ to the active sites of CIII2. CI shows a transition between “closed” and “open” conformations, accompanied by the striking rotation of a key transmembrane helix. Furthermore, the state of CI affects the conformational flexibility within CIII2, demonstrating crosstalk between the enzymes. CoQ was identified at only three of the four binding sites in CIII2, suggesting that interaction with CI disrupts CIII2 symmetry in a functionally relevant manner. Together, these observations indicate a more nuanced functional role for the SCs. article_processing_charge: No article_type: original author: - first_name: James A full_name: Letts, James A id: 322DA418-F248-11E8-B48F-1D18A9856A87 last_name: Letts orcid: 0000-0002-9864-3586 - first_name: Karol full_name: Fiedorczuk, Karol id: 5BFF67CE-02D1-11E9-B11A-A5A4D7DFFFD0 last_name: Fiedorczuk - first_name: Gianluca full_name: Degliesposti, Gianluca last_name: Degliesposti - first_name: Mark full_name: Skehel, Mark last_name: Skehel - first_name: Leonid A full_name: Sazanov, Leonid A id: 338D39FE-F248-11E8-B48F-1D18A9856A87 last_name: Sazanov orcid: 0000-0002-0977-7989 citation: ama: Letts JA, Fiedorczuk K, Degliesposti G, Skehel M, Sazanov LA. Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk. Molecular Cell. 2019;75(6):1131-1146.e6. doi:10.1016/j.molcel.2019.07.022 apa: Letts, J. A., Fiedorczuk, K., Degliesposti, G., Skehel, M., & Sazanov, L. A. (2019). Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2019.07.022 chicago: Letts, James A, Karol Fiedorczuk, Gianluca Degliesposti, Mark Skehel, and Leonid A Sazanov. “Structures of Respiratory Supercomplex I+III2 Reveal Functional and Conformational Crosstalk.” Molecular Cell. Cell Press, 2019. https://doi.org/10.1016/j.molcel.2019.07.022. ieee: J. A. Letts, K. Fiedorczuk, G. Degliesposti, M. Skehel, and L. A. Sazanov, “Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk,” Molecular Cell, vol. 75, no. 6. Cell Press, p. 1131–1146.e6, 2019. ista: Letts JA, Fiedorczuk K, Degliesposti G, Skehel M, Sazanov LA. 2019. Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk. Molecular Cell. 75(6), 1131–1146.e6. mla: Letts, James A., et al. “Structures of Respiratory Supercomplex I+III2 Reveal Functional and Conformational Crosstalk.” Molecular Cell, vol. 75, no. 6, Cell Press, 2019, p. 1131–1146.e6, doi:10.1016/j.molcel.2019.07.022. short: J.A. Letts, K. Fiedorczuk, G. Degliesposti, M. Skehel, L.A. Sazanov, Molecular Cell 75 (2019) 1131–1146.e6. date_created: 2020-01-29T16:02:33Z date_published: 2019-09-19T00:00:00Z date_updated: 2023-09-07T14:53:06Z day: '19' ddc: - '570' department: - _id: LeSa doi: 10.1016/j.molcel.2019.07.022 ec_funded: 1 external_id: isi: - '000486614200006' pmid: - '31492636' file: - access_level: open_access checksum: 5202f53a237d6650ece038fbf13bdcea content_type: application/pdf creator: dernst date_created: 2020-02-04T10:37:28Z date_updated: 2020-07-14T12:47:57Z file_id: '7447' file_name: 2019_MolecularCell_Letts.pdf file_size: 9654895 relation: main_file file_date_updated: 2020-07-14T12:47:57Z has_accepted_license: '1' intvolume: ' 75' isi: 1 issue: '6' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 1131-1146.e6 pmid: 1 project: - _id: 2590DB08-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '701309' name: Atomic-Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes publication: Molecular Cell publication_identifier: issn: - 1097-2765 publication_status: published publisher: Cell Press quality_controlled: '1' scopus_import: '1' status: public title: Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 75 year: '2019' ... --- _id: '7405' abstract: - lang: eng text: Biophysical modeling of neuronal networks helps to integrate and interpret rapidly growing and disparate experimental datasets at multiple scales. The NetPyNE tool (www.netpyne.org) provides both programmatic and graphical interfaces to develop data-driven multiscale network models in NEURON. NetPyNE clearly separates model parameters from implementation code. Users provide specifications at a high level via a standardized declarative language, for example connectivity rules, to create millions of cell-to-cell connections. NetPyNE then enables users to generate the NEURON network, run efficiently parallelized simulations, optimize and explore network parameters through automated batch runs, and use built-in functions for visualization and analysis – connectivity matrices, voltage traces, spike raster plots, local field potentials, and information theoretic measures. NetPyNE also facilitates model sharing by exporting and importing standardized formats (NeuroML and SONATA). NetPyNE is already being used to teach computational neuroscience students and by modelers to investigate brain regions and phenomena. article_number: e44494 article_processing_charge: No article_type: original author: - first_name: Salvador full_name: Dura-Bernal, Salvador last_name: Dura-Bernal - first_name: Benjamin full_name: Suter, Benjamin id: 4952F31E-F248-11E8-B48F-1D18A9856A87 last_name: Suter orcid: 0000-0002-9885-6936 - first_name: Padraig full_name: Gleeson, Padraig last_name: Gleeson - first_name: Matteo full_name: Cantarelli, Matteo last_name: Cantarelli - first_name: Adrian full_name: Quintana, Adrian last_name: Quintana - first_name: Facundo full_name: Rodriguez, Facundo last_name: Rodriguez - first_name: David J full_name: Kedziora, David J last_name: Kedziora - first_name: George L full_name: Chadderdon, George L last_name: Chadderdon - first_name: Cliff C full_name: Kerr, Cliff C last_name: Kerr - first_name: Samuel A full_name: Neymotin, Samuel A last_name: Neymotin - first_name: Robert A full_name: McDougal, Robert A last_name: McDougal - first_name: Michael full_name: Hines, Michael last_name: Hines - first_name: Gordon MG full_name: Shepherd, Gordon MG last_name: Shepherd - first_name: William W full_name: Lytton, William W last_name: Lytton citation: ama: Dura-Bernal S, Suter B, Gleeson P, et al. NetPyNE, a tool for data-driven multiscale modeling of brain circuits. eLife. 2019;8. doi:10.7554/elife.44494 apa: Dura-Bernal, S., Suter, B., Gleeson, P., Cantarelli, M., Quintana, A., Rodriguez, F., … Lytton, W. W. (2019). NetPyNE, a tool for data-driven multiscale modeling of brain circuits. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.44494 chicago: Dura-Bernal, Salvador, Benjamin Suter, Padraig Gleeson, Matteo Cantarelli, Adrian Quintana, Facundo Rodriguez, David J Kedziora, et al. “NetPyNE, a Tool for Data-Driven Multiscale Modeling of Brain Circuits.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/elife.44494. ieee: S. Dura-Bernal et al., “NetPyNE, a tool for data-driven multiscale modeling of brain circuits,” eLife, vol. 8. eLife Sciences Publications, 2019. ista: Dura-Bernal S, Suter B, Gleeson P, Cantarelli M, Quintana A, Rodriguez F, Kedziora DJ, Chadderdon GL, Kerr CC, Neymotin SA, McDougal RA, Hines M, Shepherd GM, Lytton WW. 2019. NetPyNE, a tool for data-driven multiscale modeling of brain circuits. eLife. 8, e44494. mla: Dura-Bernal, Salvador, et al. “NetPyNE, a Tool for Data-Driven Multiscale Modeling of Brain Circuits.” ELife, vol. 8, e44494, eLife Sciences Publications, 2019, doi:10.7554/elife.44494. short: S. Dura-Bernal, B. Suter, P. Gleeson, M. Cantarelli, A. Quintana, F. Rodriguez, D.J. Kedziora, G.L. Chadderdon, C.C. Kerr, S.A. Neymotin, R.A. McDougal, M. Hines, G.M. Shepherd, W.W. Lytton, ELife 8 (2019). date_created: 2020-01-30T09:08:01Z date_published: 2019-05-31T00:00:00Z date_updated: 2023-09-07T14:27:52Z day: '31' ddc: - '570' department: - _id: PeJo doi: 10.7554/elife.44494 external_id: isi: - '000468968400001' pmid: - '31025934' file: - access_level: open_access checksum: 7014189c11c10a12feeeae37f054871d content_type: application/pdf creator: dernst date_created: 2020-02-04T08:41:47Z date_updated: 2020-07-14T12:47:57Z file_id: '7444' file_name: 2019_eLife_DuraBernal.pdf file_size: 6182359 relation: main_file file_date_updated: 2020-07-14T12:47:57Z has_accepted_license: '1' intvolume: ' 8' isi: 1 language: - iso: eng month: '05' oa: 1 oa_version: Published Version pmid: 1 publication: eLife publication_identifier: issn: - 2050-084X publication_status: published publisher: eLife Sciences Publications quality_controlled: '1' scopus_import: '1' status: public title: NetPyNE, a tool for data-driven multiscale modeling of brain circuits tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 8 year: '2019' ... --- _id: '7400' abstract: - lang: eng text: 'Suppressed recombination allows divergence between homologous sex chromosomes and the functionality of their genes. Here, we reveal patterns of the earliest stages of sex-chromosome evolution in the diploid dioecious herb Mercurialis annua on the basis of cytological analysis, de novo genome assembly and annotation, genetic mapping, exome resequencing of natural populations, and transcriptome analysis. The genome assembly contained 34,105 expressed genes, of which 10,076 were assigned to linkage groups. Genetic mapping and exome resequencing of individuals across the species range both identified the largest linkage group, LG1, as the sex chromosome. Although the sex chromosomes of M. annua are karyotypically homomorphic, we estimate that about one-third of the Y chromosome, containing 568 transcripts and spanning 22.3 cM in the corresponding female map, has ceased recombining. Nevertheless, we found limited evidence for Y-chromosome degeneration in terms of gene loss and pseudogenization, and most X- and Y-linked genes appear to have diverged in the period subsequent to speciation between M. annua and its sister species M. huetii, which shares the same sex-determining region. Taken together, our results suggest that the M. annua Y chromosome has at least two evolutionary strata: a small old stratum shared with M. huetii, and a more recent larger stratum that is probably unique to M. annua and that stopped recombining ∼1 MYA. Patterns of gene expression within the nonrecombining region are consistent with the idea that sexually antagonistic selection may have played a role in favoring suppressed recombination.' article_processing_charge: No article_type: original author: - first_name: Paris full_name: Veltsos, Paris last_name: Veltsos - first_name: Kate E. full_name: Ridout, Kate E. last_name: Ridout - first_name: Melissa A full_name: Toups, Melissa A id: 4E099E4E-F248-11E8-B48F-1D18A9856A87 last_name: Toups orcid: 0000-0002-9752-7380 - first_name: Santiago C. full_name: González-Martínez, Santiago C. last_name: González-Martínez - first_name: Aline full_name: Muyle, Aline last_name: Muyle - first_name: Olivier full_name: Emery, Olivier last_name: Emery - first_name: Pasi full_name: Rastas, Pasi last_name: Rastas - first_name: Vojtech full_name: Hudzieczek, Vojtech last_name: Hudzieczek - first_name: Roman full_name: Hobza, Roman last_name: Hobza - first_name: Boris full_name: Vyskot, Boris last_name: Vyskot - first_name: Gabriel A. B. full_name: Marais, Gabriel A. B. last_name: Marais - first_name: Dmitry A. full_name: Filatov, Dmitry A. last_name: Filatov - first_name: John R. full_name: Pannell, John R. last_name: Pannell citation: ama: Veltsos P, Ridout KE, Toups MA, et al. Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua. Genetics. 2019;212(3):815-835. doi:10.1534/genetics.119.302045 apa: Veltsos, P., Ridout, K. E., Toups, M. A., González-Martínez, S. C., Muyle, A., Emery, O., … Pannell, J. R. (2019). Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.119.302045 chicago: Veltsos, Paris, Kate E. Ridout, Melissa A Toups, Santiago C. González-Martínez, Aline Muyle, Olivier Emery, Pasi Rastas, et al. “Early Sex-Chromosome Evolution in the Diploid Dioecious Plant Mercurialis Annua.” Genetics. Genetics Society of America, 2019. https://doi.org/10.1534/genetics.119.302045. ieee: P. Veltsos et al., “Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua,” Genetics, vol. 212, no. 3. Genetics Society of America, pp. 815–835, 2019. ista: Veltsos P, Ridout KE, Toups MA, González-Martínez SC, Muyle A, Emery O, Rastas P, Hudzieczek V, Hobza R, Vyskot B, Marais GAB, Filatov DA, Pannell JR. 2019. Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua. Genetics. 212(3), 815–835. mla: Veltsos, Paris, et al. “Early Sex-Chromosome Evolution in the Diploid Dioecious Plant Mercurialis Annua.” Genetics, vol. 212, no. 3, Genetics Society of America, 2019, pp. 815–35, doi:10.1534/genetics.119.302045. short: P. Veltsos, K.E. Ridout, M.A. Toups, S.C. González-Martínez, A. Muyle, O. Emery, P. Rastas, V. Hudzieczek, R. Hobza, B. Vyskot, G.A.B. Marais, D.A. Filatov, J.R. Pannell, Genetics 212 (2019) 815–835. date_created: 2020-01-29T16:15:44Z date_published: 2019-07-01T00:00:00Z date_updated: 2023-09-07T14:49:29Z day: '01' department: - _id: BeVi doi: 10.1534/genetics.119.302045 ec_funded: 1 external_id: isi: - '000474809300015' pmid: - '31113811' intvolume: ' 212' isi: 1 issue: '3' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1534/genetics.119.302045 month: '07' oa: 1 oa_version: Published Version page: 815-835 pmid: 1 project: - _id: 250BDE62-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715257' name: Prevalence and Influence of Sexual Antagonism on Genome Evolution publication: Genetics publication_identifier: eissn: - 1943-2631 issn: - 0016-6731 publication_status: published publisher: Genetics Society of America quality_controlled: '1' scopus_import: '1' status: public title: Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 212 year: '2019' ... --- _id: '7404' abstract: - lang: eng text: The formation of neuronal dendrite branches is fundamental for the wiring and function of the nervous system. Indeed, dendrite branching enhances the coverage of the neuron's receptive field and modulates the initial processing of incoming stimuli. Complex dendrite patterns are achieved in vivo through a dynamic process of de novo branch formation, branch extension and retraction. The first step towards branch formation is the generation of a dynamic filopodium-like branchlet. The mechanisms underlying the initiation of dendrite branchlets are therefore crucial to the shaping of dendrites. Through in vivo time-lapse imaging of the subcellular localization of actin during the process of branching of Drosophila larva sensory neurons, combined with genetic analysis and electron tomography, we have identified the Actin-related protein (Arp) 2/3 complex as the major actin nucleator involved in the initiation of dendrite branchlet formation, under the control of the activator WAVE and of the small GTPase Rac1. Transient recruitment of an Arp2/3 component marks the site of branchlet initiation in vivo. These data position the activation of Arp2/3 as an early hub for the initiation of branchlet formation. article_number: dev171397 article_processing_charge: No article_type: original author: - first_name: Tomke full_name: Stürner, Tomke last_name: Stürner - first_name: Anastasia full_name: Tatarnikova, Anastasia last_name: Tatarnikova - first_name: Jan full_name: Müller, Jan id: AD07FDB4-0F61-11EA-8158-C4CC64CEAA8D last_name: Müller - first_name: Barbara full_name: Schaffran, Barbara last_name: Schaffran - first_name: Hermann full_name: Cuntz, Hermann last_name: Cuntz - first_name: Yun full_name: Zhang, Yun last_name: Zhang - first_name: Maria full_name: Nemethova, Maria id: 34E27F1C-F248-11E8-B48F-1D18A9856A87 last_name: Nemethova - first_name: Sven full_name: Bogdan, Sven last_name: Bogdan - first_name: Vic full_name: Small, Vic last_name: Small - first_name: Gaia full_name: Tavosanis, Gaia last_name: Tavosanis citation: ama: Stürner T, Tatarnikova A, Müller J, et al. Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. 2019;146(7). doi:10.1242/dev.171397 apa: Stürner, T., Tatarnikova, A., Müller, J., Schaffran, B., Cuntz, H., Zhang, Y., … Tavosanis, G. (2019). Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. The Company of Biologists. https://doi.org/10.1242/dev.171397 chicago: Stürner, Tomke, Anastasia Tatarnikova, Jan Müller, Barbara Schaffran, Hermann Cuntz, Yun Zhang, Maria Nemethova, Sven Bogdan, Vic Small, and Gaia Tavosanis. “Transient Localization of the Arp2/3 Complex Initiates Neuronal Dendrite Branching in Vivo.” Development. The Company of Biologists, 2019. https://doi.org/10.1242/dev.171397. ieee: T. Stürner et al., “Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo,” Development, vol. 146, no. 7. The Company of Biologists, 2019. ista: Stürner T, Tatarnikova A, Müller J, Schaffran B, Cuntz H, Zhang Y, Nemethova M, Bogdan S, Small V, Tavosanis G. 2019. Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo. Development. 146(7), dev171397. mla: Stürner, Tomke, et al. “Transient Localization of the Arp2/3 Complex Initiates Neuronal Dendrite Branching in Vivo.” Development, vol. 146, no. 7, dev171397, The Company of Biologists, 2019, doi:10.1242/dev.171397. short: T. Stürner, A. Tatarnikova, J. Müller, B. Schaffran, H. Cuntz, Y. Zhang, M. Nemethova, S. Bogdan, V. Small, G. Tavosanis, Development 146 (2019). date_created: 2020-01-29T16:27:10Z date_published: 2019-04-04T00:00:00Z date_updated: 2023-09-07T14:47:00Z day: '04' department: - _id: MiSi doi: 10.1242/dev.171397 external_id: isi: - '000464583200006' pmid: - '30910826' intvolume: ' 146' isi: 1 issue: '7' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1242/dev.171397 month: '04' oa: 1 oa_version: Published Version pmid: 1 publication: Development publication_identifier: eissn: - 1477-9129 issn: - 0950-1991 publication_status: published publisher: The Company of Biologists quality_controlled: '1' scopus_import: '1' status: public title: Transient localization of the Arp2/3 complex initiates neuronal dendrite branching in vivo type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 146 year: '2019' ... --- _id: '7402' abstract: - lang: eng text: Graph planning gives rise to fundamental algorithmic questions such as shortest path, traveling salesman problem, etc. A classical problem in discrete planning is to consider a weighted graph and construct a path that maximizes the sum of weights for a given time horizon T. However, in many scenarios, the time horizon is not fixed, but the stopping time is chosen according to some distribution such that the expected stopping time is T. If the stopping time distribution is not known, then to ensure robustness, the distribution is chosen by an adversary, to represent the worst-case scenario. A stationary plan for every vertex always chooses the same outgoing edge. For fixed horizon or fixed stopping-time distribution, stationary plans are not sufficient for optimality. Quite surprisingly we show that when an adversary chooses the stopping-time distribution with expected stopping time T, then stationary plans are sufficient. While computing optimal stationary plans for fixed horizon is NP-complete, we show that computing optimal stationary plans under adversarial stopping-time distribution can be achieved in polynomial time. Consequently, our polynomial-time algorithm for adversarial stopping time also computes an optimal plan among all possible plans. article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Laurent full_name: Doyen, Laurent last_name: Doyen citation: ama: 'Chatterjee K, Doyen L. Graph planning with expected finite horizon. In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2019:1-13. doi:10.1109/lics.2019.8785706' apa: 'Chatterjee, K., & Doyen, L. (2019). Graph planning with expected finite horizon. In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Vancouver, BC, Canada: IEEE. https://doi.org/10.1109/lics.2019.8785706' chicago: Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. IEEE, 2019. https://doi.org/10.1109/lics.2019.8785706. ieee: K. Chatterjee and L. Doyen, “Graph planning with expected finite horizon,” in 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, BC, Canada, 2019, pp. 1–13. ista: 'Chatterjee K, Doyen L. 2019. Graph planning with expected finite horizon. 34th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.' mla: Chatterjee, Krishnendu, and Laurent Doyen. “Graph Planning with Expected Finite Horizon.” 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13, doi:10.1109/lics.2019.8785706. short: K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13. conference: end_date: 2019-06-27 location: Vancouver, BC, Canada name: 'LICS: Symposium on Logic in Computer Science' start_date: 2019-06-24 date_created: 2020-01-29T16:18:33Z date_published: 2019-06-01T00:00:00Z date_updated: 2023-09-07T14:48:11Z day: '01' department: - _id: KrCh doi: 10.1109/lics.2019.8785706 external_id: arxiv: - '1802.03642' isi: - '000805002800001' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1802.03642 month: '06' oa: 1 oa_version: Preprint page: 1-13 publication: 34th Annual ACM/IEEE Symposium on Logic in Computer Science publication_identifier: isbn: - '9781728136080' publication_status: published publisher: IEEE quality_controlled: '1' related_material: record: - id: '11402' relation: later_version status: public scopus_import: '1' status: public title: Graph planning with expected finite horizon type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ... --- _id: '7451' abstract: - lang: eng text: We prove that the observable telegraph signal accompanying the bistability in the photon-blockade-breakdown regime of the driven and lossy Jaynes–Cummings model is the finite-size precursor of what in the thermodynamic limit is a genuine first-order phase transition. We construct a finite-size scaling of the system parameters to a well-defined thermodynamic limit, in which the system remains the same microscopic system, but the telegraph signal becomes macroscopic both in its timescale and intensity. The existence of such a finite-size scaling completes and justifies the classification of the photon-blockade-breakdown effect as a first-order dissipative quantum phase transition. article_number: '150' article_processing_charge: No article_type: original author: - first_name: A. full_name: Vukics, A. last_name: Vukics - first_name: A. full_name: Dombi, A. last_name: Dombi - first_name: Johannes M full_name: Fink, Johannes M id: 4B591CBA-F248-11E8-B48F-1D18A9856A87 last_name: Fink orcid: 0000-0001-8112-028X - first_name: P. full_name: Domokos, P. last_name: Domokos citation: ama: Vukics A, Dombi A, Fink JM, Domokos P. Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition. Quantum. 2019;3. doi:10.22331/q-2019-06-03-150 apa: Vukics, A., Dombi, A., Fink, J. M., & Domokos, P. (2019). Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition. Quantum. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften. https://doi.org/10.22331/q-2019-06-03-150 chicago: Vukics, A., A. Dombi, Johannes M Fink, and P. Domokos. “Finite-Size Scaling of the Photon-Blockade Breakdown Dissipative Quantum Phase Transition.” Quantum. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2019. https://doi.org/10.22331/q-2019-06-03-150. ieee: A. Vukics, A. Dombi, J. M. Fink, and P. Domokos, “Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition,” Quantum, vol. 3. Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2019. ista: Vukics A, Dombi A, Fink JM, Domokos P. 2019. Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition. Quantum. 3, 150. mla: Vukics, A., et al. “Finite-Size Scaling of the Photon-Blockade Breakdown Dissipative Quantum Phase Transition.” Quantum, vol. 3, 150, Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften, 2019, doi:10.22331/q-2019-06-03-150. short: A. Vukics, A. Dombi, J.M. Fink, P. Domokos, Quantum 3 (2019). date_created: 2020-02-05T09:57:57Z date_published: 2019-06-03T00:00:00Z date_updated: 2023-09-07T14:57:39Z day: '03' ddc: - '530' department: - _id: JoFi doi: 10.22331/q-2019-06-03-150 external_id: arxiv: - '1809.09737' isi: - '000469987500004' file: - access_level: open_access checksum: 26b9ba8f0155d183f1ee55295934a17f content_type: application/pdf creator: dernst date_created: 2020-02-11T09:25:23Z date_updated: 2020-07-14T12:47:58Z file_id: '7483' file_name: 2019_Quantum_Vukics.pdf file_size: 5805248 relation: main_file file_date_updated: 2020-07-14T12:47:58Z has_accepted_license: '1' intvolume: ' 3' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version publication: Quantum publication_identifier: issn: - 2521-327X publication_status: published publisher: Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften quality_controlled: '1' status: public title: Finite-size scaling of the photon-blockade breakdown dissipative quantum phase transition tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 3 year: '2019' ... --- _id: '7468' abstract: - lang: eng text: We present a new proximal bundle method for Maximum-A-Posteriori (MAP) inference in structured energy minimization problems. The method optimizes a Lagrangean relaxation of the original energy minimization problem using a multi plane block-coordinate Frank-Wolfe method that takes advantage of the specific structure of the Lagrangean decomposition. We show empirically that our method outperforms state-of-the-art Lagrangean decomposition based algorithms on some challenging Markov Random Field, multi-label discrete tomography and graph matching problems. article_number: 11138-11147 article_processing_charge: No author: - first_name: Paul full_name: Swoboda, Paul id: 446560C6-F248-11E8-B48F-1D18A9856A87 last_name: Swoboda - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov citation: ama: 'Swoboda P, Kolmogorov V. Map inference via block-coordinate Frank-Wolfe algorithm. In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Vol 2019-June. IEEE; 2019. doi:10.1109/CVPR.2019.01140' apa: 'Swoboda, P., & Kolmogorov, V. (2019). Map inference via block-coordinate Frank-Wolfe algorithm. In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition (Vol. 2019–June). Long Beach, CA, United States: IEEE. https://doi.org/10.1109/CVPR.2019.01140' chicago: Swoboda, Paul, and Vladimir Kolmogorov. “Map Inference via Block-Coordinate Frank-Wolfe Algorithm.” In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Vol. 2019–June. IEEE, 2019. https://doi.org/10.1109/CVPR.2019.01140. ieee: P. Swoboda and V. Kolmogorov, “Map inference via block-coordinate Frank-Wolfe algorithm,” in Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, Long Beach, CA, United States, 2019, vol. 2019–June. ista: 'Swoboda P, Kolmogorov V. 2019. Map inference via block-coordinate Frank-Wolfe algorithm. Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition vol. 2019–June, 11138–11147.' mla: Swoboda, Paul, and Vladimir Kolmogorov. “Map Inference via Block-Coordinate Frank-Wolfe Algorithm.” Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, vol. 2019–June, 11138–11147, IEEE, 2019, doi:10.1109/CVPR.2019.01140. short: P. Swoboda, V. Kolmogorov, in:, Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, IEEE, 2019. conference: end_date: 2019-06-20 location: Long Beach, CA, United States name: 'CVPR: Conference on Computer Vision and Pattern Recognition' start_date: 2019-06-15 date_created: 2020-02-09T23:00:52Z date_published: 2019-06-01T00:00:00Z date_updated: 2023-09-07T14:54:24Z day: '01' department: - _id: VlKo doi: 10.1109/CVPR.2019.01140 ec_funded: 1 external_id: arxiv: - '1806.05049' isi: - '000542649304076' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1806.05049 month: '06' oa: 1 oa_version: Preprint project: - _id: 25FBA906-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '616160' name: 'Discrete Optimization in Computer Vision: Theory and Practice' publication: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition publication_identifier: isbn: - '9781728132938' issn: - '10636919' publication_status: published publisher: IEEE quality_controlled: '1' scopus_import: '1' status: public title: Map inference via block-coordinate Frank-Wolfe algorithm type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 2019-June year: '2019' ... --- _id: '7415' article_processing_charge: No article_type: original author: - first_name: Jasmin full_name: Morandell, Jasmin id: 4739D480-F248-11E8-B48F-1D18A9856A87 last_name: Morandell - first_name: Armel full_name: Nicolas, Armel id: 2A103192-F248-11E8-B48F-1D18A9856A87 last_name: Nicolas - first_name: Lena A full_name: Schwarz, Lena A id: 29A8453C-F248-11E8-B48F-1D18A9856A87 last_name: Schwarz - first_name: Gaia full_name: Novarino, Gaia id: 3E57A680-F248-11E8-B48F-1D18A9856A87 last_name: Novarino orcid: 0000-0002-7673-7178 citation: ama: Morandell J, Nicolas A, Schwarz LA, Novarino G. S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism. European Neuropsychopharmacology. 2019;29(Supplement 6):S11-S12. doi:10.1016/j.euroneuro.2019.09.040 apa: Morandell, J., Nicolas, A., Schwarz, L. A., & Novarino, G. (2019). S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism. European Neuropsychopharmacology. Elsevier. https://doi.org/10.1016/j.euroneuro.2019.09.040 chicago: Morandell, Jasmin, Armel Nicolas, Lena A Schwarz, and Gaia Novarino. “S.16.05 Illuminating the Role of the E3 Ubiquitin Ligase Cullin3 in Brain Development and Autism.” European Neuropsychopharmacology. Elsevier, 2019. https://doi.org/10.1016/j.euroneuro.2019.09.040. ieee: J. Morandell, A. Nicolas, L. A. Schwarz, and G. Novarino, “S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism,” European Neuropsychopharmacology, vol. 29, no. Supplement 6. Elsevier, pp. S11–S12, 2019. ista: Morandell J, Nicolas A, Schwarz LA, Novarino G. 2019. S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism. European Neuropsychopharmacology. 29(Supplement 6), S11–S12. mla: Morandell, Jasmin, et al. “S.16.05 Illuminating the Role of the E3 Ubiquitin Ligase Cullin3 in Brain Development and Autism.” European Neuropsychopharmacology, vol. 29, no. Supplement 6, Elsevier, 2019, pp. S11–12, doi:10.1016/j.euroneuro.2019.09.040. short: J. Morandell, A. Nicolas, L.A. Schwarz, G. Novarino, European Neuropsychopharmacology 29 (2019) S11–S12. date_created: 2020-01-30T10:07:41Z date_published: 2019-12-13T00:00:00Z date_updated: 2023-09-07T14:56:17Z day: '13' department: - _id: GaNo - _id: LifeSc doi: 10.1016/j.euroneuro.2019.09.040 external_id: isi: - '000502657500021' intvolume: ' 29' isi: 1 issue: Supplement 6 language: - iso: eng month: '12' oa_version: None page: S11-S12 publication: European Neuropsychopharmacology publication_identifier: issn: - 0924-977X publication_status: published publisher: Elsevier quality_controlled: '1' status: public title: S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 29 year: '2019' ... --- _id: '7414' article_processing_charge: No article_type: original author: - first_name: Lisa full_name: Knaus, Lisa id: 3B2ABCF4-F248-11E8-B48F-1D18A9856A87 last_name: Knaus - first_name: Dora-Clara full_name: Tarlungeanu, Dora-Clara id: 2ABCE612-F248-11E8-B48F-1D18A9856A87 last_name: Tarlungeanu - first_name: Gaia full_name: Novarino, Gaia id: 3E57A680-F248-11E8-B48F-1D18A9856A87 last_name: Novarino orcid: 0000-0002-7673-7178 citation: ama: Knaus L, Tarlungeanu D-C, Novarino G. S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly. European Neuropsychopharmacology. 2019;29(Supplement 6):S11. doi:10.1016/j.euroneuro.2019.09.039 apa: Knaus, L., Tarlungeanu, D.-C., & Novarino, G. (2019). S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly. European Neuropsychopharmacology. Elsevier. https://doi.org/10.1016/j.euroneuro.2019.09.039 chicago: Knaus, Lisa, Dora-Clara Tarlungeanu, and Gaia Novarino. “S.16.03 A Homozygous Missense Mutation in SLC7A5 Leads to Autism Spectrum Disorder and Microcephaly.” European Neuropsychopharmacology. Elsevier, 2019. https://doi.org/10.1016/j.euroneuro.2019.09.039. ieee: L. Knaus, D.-C. Tarlungeanu, and G. Novarino, “S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly,” European Neuropsychopharmacology, vol. 29, no. Supplement 6. Elsevier, p. S11, 2019. ista: Knaus L, Tarlungeanu D-C, Novarino G. 2019. S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly. European Neuropsychopharmacology. 29(Supplement 6), S11. mla: Knaus, Lisa, et al. “S.16.03 A Homozygous Missense Mutation in SLC7A5 Leads to Autism Spectrum Disorder and Microcephaly.” European Neuropsychopharmacology, vol. 29, no. Supplement 6, Elsevier, 2019, p. S11, doi:10.1016/j.euroneuro.2019.09.039. short: L. Knaus, D.-C. Tarlungeanu, G. Novarino, European Neuropsychopharmacology 29 (2019) S11. date_created: 2020-01-30T10:06:15Z date_published: 2019-12-13T00:00:00Z date_updated: 2023-09-07T14:55:23Z day: '13' department: - _id: GaNo doi: 10.1016/j.euroneuro.2019.09.039 external_id: isi: - '000502657500020' intvolume: ' 29' isi: 1 issue: Supplement 6 language: - iso: eng month: '12' oa_version: None page: S11 publication: European Neuropsychopharmacology publication_identifier: issn: - 0924-977X publication_status: published publisher: Elsevier quality_controlled: '1' status: public title: S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 29 year: '2019' ... --- _id: '7394' article_processing_charge: No article_type: letter_note author: - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 - first_name: Yasin full_name: Dagdas, Yasin last_name: Dagdas citation: ama: 'Benková E, Dagdas Y. Editorial overview: Cell biology in the era of omics? Current Opinion in Plant Biology. 2019;52(12):A1-A2. doi:10.1016/j.pbi.2019.11.002' apa: 'Benková, E., & Dagdas, Y. (2019). Editorial overview: Cell biology in the era of omics? Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/j.pbi.2019.11.002' chicago: 'Benková, Eva, and Yasin Dagdas. “Editorial Overview: Cell Biology in the Era of Omics?” Current Opinion in Plant Biology. Elsevier, 2019. https://doi.org/10.1016/j.pbi.2019.11.002.' ieee: 'E. Benková and Y. Dagdas, “Editorial overview: Cell biology in the era of omics?,” Current Opinion in Plant Biology, vol. 52, no. 12. Elsevier, pp. A1–A2, 2019.' ista: 'Benková E, Dagdas Y. 2019. Editorial overview: Cell biology in the era of omics? Current Opinion in Plant Biology. 52(12), A1–A2.' mla: 'Benková, Eva, and Yasin Dagdas. “Editorial Overview: Cell Biology in the Era of Omics?” Current Opinion in Plant Biology, vol. 52, no. 12, Elsevier, 2019, pp. A1–2, doi:10.1016/j.pbi.2019.11.002.' short: E. Benková, Y. Dagdas, Current Opinion in Plant Biology 52 (2019) A1–A2. date_created: 2020-01-29T16:00:07Z date_published: 2019-12-01T00:00:00Z date_updated: 2023-09-07T14:56:55Z day: '01' department: - _id: EvBe doi: 10.1016/j.pbi.2019.11.002 external_id: isi: - '000502890600001' pmid: - '31787165' intvolume: ' 52' isi: 1 issue: '12' language: - iso: eng month: '12' oa_version: None page: A1-A2 pmid: 1 publication: Current Opinion in Plant Biology publication_identifier: issn: - 1369-5266 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: 'Editorial overview: Cell biology in the era of omics?' type: journal_article user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 52 year: '2019' ... --- _id: '7479' abstract: - lang: eng text: "Multi-exit architectures, in which a stack of processing layers is interleaved with early output layers, allow the processing of a test example to stop early and thus save computation time and/or energy. In this work, we propose a new training procedure for multi-exit architectures based on the principle of knowledge distillation. The method encourage searly exits to mimic later, more accurate exits, by matching their output probabilities.\r\nExperiments on CIFAR100 and \ ImageNet show that distillation-based training significantly improves the accuracy of early exits while maintaining state-of-the-art accuracy for late \ ones. The method is particularly beneficial when training data is limited \ and it allows a straightforward extension to semi-supervised learning,i.e. making use of unlabeled data at training time. Moreover, it takes only afew lines to implement and incurs almost no computational overhead at training time, and none at all at test time." article_processing_charge: No author: - first_name: Phuong full_name: Bui Thi Mai, Phuong id: 3EC6EE64-F248-11E8-B48F-1D18A9856A87 last_name: Bui Thi Mai - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 citation: ama: 'Phuong M, Lampert C. Distillation-based training for multi-exit architectures. In: IEEE International Conference on Computer Vision. Vol 2019-October. IEEE; 2019:1355-1364. doi:10.1109/ICCV.2019.00144' apa: 'Phuong, M., & Lampert, C. (2019). Distillation-based training for multi-exit architectures. In IEEE International Conference on Computer Vision (Vol. 2019–October, pp. 1355–1364). Seoul, Korea: IEEE. https://doi.org/10.1109/ICCV.2019.00144' chicago: Phuong, Mary, and Christoph Lampert. “Distillation-Based Training for Multi-Exit Architectures.” In IEEE International Conference on Computer Vision, 2019–October:1355–64. IEEE, 2019. https://doi.org/10.1109/ICCV.2019.00144. ieee: M. Phuong and C. Lampert, “Distillation-based training for multi-exit architectures,” in IEEE International Conference on Computer Vision, Seoul, Korea, 2019, vol. 2019–October, pp. 1355–1364. ista: 'Phuong M, Lampert C. 2019. Distillation-based training for multi-exit architectures. IEEE International Conference on Computer Vision. ICCV: International Conference on Computer Vision vol. 2019–October, 1355–1364.' mla: Phuong, Mary, and Christoph Lampert. “Distillation-Based Training for Multi-Exit Architectures.” IEEE International Conference on Computer Vision, vol. 2019–October, IEEE, 2019, pp. 1355–64, doi:10.1109/ICCV.2019.00144. short: M. Phuong, C. Lampert, in:, IEEE International Conference on Computer Vision, IEEE, 2019, pp. 1355–1364. conference: end_date: 2019-11-02 location: Seoul, Korea name: 'ICCV: International Conference on Computer Vision' start_date: 2019-10-27 date_created: 2020-02-11T09:06:57Z date_published: 2019-10-01T00:00:00Z date_updated: 2023-09-08T11:11:12Z day: '01' ddc: - '000' department: - _id: ChLa doi: 10.1109/ICCV.2019.00144 ec_funded: 1 external_id: isi: - '000531438101047' file: - access_level: open_access checksum: 7b77fb5c2d27c4c37a7612ba46a66117 content_type: application/pdf creator: bphuong date_created: 2020-02-11T09:06:39Z date_updated: 2020-07-14T12:47:59Z file_id: '7480' file_name: main.pdf file_size: 735768 relation: main_file file_date_updated: 2020-07-14T12:47:59Z has_accepted_license: '1' isi: 1 language: - iso: eng month: '10' oa: 1 oa_version: Submitted Version page: 1355-1364 project: - _id: 2532554C-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '308036' name: Lifelong Learning of Visual Scene Understanding publication: IEEE International Conference on Computer Vision publication_identifier: isbn: - '9781728148038' issn: - '15505499' publication_status: published publisher: IEEE quality_controlled: '1' related_material: record: - id: '9418' relation: dissertation_contains status: public scopus_import: '1' status: public title: Distillation-based training for multi-exit architectures type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 2019-October year: '2019' ... --- _id: '7542' abstract: - lang: eng text: We present a novel class of convolutional neural networks (CNNs) for set functions,i.e., data indexed with the powerset of a finite set. The convolutions are derivedas linear, shift-equivariant functions for various notions of shifts on set functions.The framework is fundamentally different from graph convolutions based on theLaplacian, as it provides not one but several basic shifts, one for each element inthe ground set. Prototypical experiments with several set function classificationtasks on synthetic datasets and on datasets derived from real-world hypergraphsdemonstrate the potential of our new powerset CNNs. article_processing_charge: No author: - first_name: Chris full_name: Wendler, Chris last_name: Wendler - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X - first_name: Markus full_name: Püschel, Markus last_name: Püschel citation: ama: 'Wendler C, Alistarh D-A, Püschel M. Powerset convolutional neural networks. In: Vol 32. Neural Information Processing Systems Foundation; 2019:927-938.' apa: 'Wendler, C., Alistarh, D.-A., & Püschel, M. (2019). Powerset convolutional neural networks (Vol. 32, pp. 927–938). Presented at the NIPS: Conference on Neural Information Processing Systems, Vancouver, Canada: Neural Information Processing Systems Foundation.' chicago: Wendler, Chris, Dan-Adrian Alistarh, and Markus Püschel. “Powerset Convolutional Neural Networks,” 32:927–38. Neural Information Processing Systems Foundation, 2019. ieee: 'C. Wendler, D.-A. Alistarh, and M. Püschel, “Powerset convolutional neural networks,” presented at the NIPS: Conference on Neural Information Processing Systems, Vancouver, Canada, 2019, vol. 32, pp. 927–938.' ista: 'Wendler C, Alistarh D-A, Püschel M. 2019. Powerset convolutional neural networks. NIPS: Conference on Neural Information Processing Systems vol. 32, 927–938.' mla: Wendler, Chris, et al. Powerset Convolutional Neural Networks. Vol. 32, Neural Information Processing Systems Foundation, 2019, pp. 927–38. short: C. Wendler, D.-A. Alistarh, M. Püschel, in:, Neural Information Processing Systems Foundation, 2019, pp. 927–938. conference: end_date: 2019-12-14 location: Vancouver, Canada name: 'NIPS: Conference on Neural Information Processing Systems' start_date: 2019-12-08 date_created: 2020-02-28T10:03:24Z date_published: 2019-12-01T00:00:00Z date_updated: 2023-09-08T11:13:52Z day: '01' department: - _id: DaAl ec_funded: 1 external_id: arxiv: - '1909.02253' isi: - '000534424300084' intvolume: ' 32' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: http://papers.nips.cc/paper/8379-powerset-convolutional-neural-networks month: '12' oa: 1 oa_version: Published Version page: 927-938 project: - _id: 268A44D6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '805223' name: Elastic Coordination for Scalable Machine Learning publication_identifier: issn: - 1049-5258 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' status: public title: Powerset convolutional neural networks type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 volume: 32 year: '2019' ... --- _id: '7513' abstract: - lang: eng text: 'Social insects (i.e., ants, termites and the social bees and wasps) protect their colonies from disease using a combination of individual immunity and collectively performed defenses, termed social immunity. The first line of social immune defense is sanitary care, which is performed by colony members to protect their pathogen-exposed nestmates from developing an infection. If sanitary care fails and an infection becomes established, a second line of social immune defense is deployed to stop disease transmission within the colony and to protect the valuable queens, which together with the males are the reproductive individuals of the colony. Insect colonies are separated into these reproductive individuals and the sterile worker force, forming a superorganismal reproductive unit reminiscent of the differentiated germline and soma in a multicellular organism. Ultimately, the social immune response preserves the germline of the superorganism insect colony and increases overall fitness of the colony in case of disease. ' article_processing_charge: No author: - first_name: Sylvia full_name: Cremer, Sylvia id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87 last_name: Cremer orcid: 0000-0002-2193-3868 - first_name: Megan full_name: Kutzer, Megan id: 29D0B332-F248-11E8-B48F-1D18A9856A87 last_name: Kutzer orcid: 0000-0002-8696-6978 citation: ama: 'Cremer S, Kutzer M. Social immunity. In: Choe J, ed. Encyclopedia of Animal Behavior. 2nd ed. Elsevier; 2019:747-755. doi:10.1016/B978-0-12-809633-8.90721-0' apa: Cremer, S., & Kutzer, M. (2019). Social immunity. In J. Choe (Ed.), Encyclopedia of Animal Behavior (2nd ed., pp. 747–755). Elsevier. https://doi.org/10.1016/B978-0-12-809633-8.90721-0 chicago: Cremer, Sylvia, and Megan Kutzer. “Social Immunity.” In Encyclopedia of Animal Behavior, edited by Jae Choe, 2nd ed., 747–55. Elsevier, 2019. https://doi.org/10.1016/B978-0-12-809633-8.90721-0. ieee: S. Cremer and M. Kutzer, “Social immunity,” in Encyclopedia of Animal Behavior, 2nd ed., J. Choe, Ed. Elsevier, 2019, pp. 747–755. ista: 'Cremer S, Kutzer M. 2019.Social immunity. In: Encyclopedia of Animal Behavior. , 747–755.' mla: Cremer, Sylvia, and Megan Kutzer. “Social Immunity.” Encyclopedia of Animal Behavior, edited by Jae Choe, 2nd ed., Elsevier, 2019, pp. 747–55, doi:10.1016/B978-0-12-809633-8.90721-0. short: S. Cremer, M. Kutzer, in:, J. Choe (Ed.), Encyclopedia of Animal Behavior, 2nd ed., Elsevier, 2019, pp. 747–755. date_created: 2020-02-23T23:00:36Z date_published: 2019-02-06T00:00:00Z date_updated: 2023-09-08T11:12:04Z day: '06' department: - _id: SyCr doi: 10.1016/B978-0-12-809633-8.90721-0 edition: '2' editor: - first_name: Jae full_name: Choe, Jae last_name: Choe external_id: isi: - '000248989500026' isi: 1 language: - iso: eng month: '02' oa_version: None page: 747-755 publication: Encyclopedia of Animal Behavior publication_identifier: eisbn: - '9780128132524' isbn: - '9780128132517' publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Social immunity type: book_chapter user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ... --- _id: '9261' abstract: - lang: eng text: 'Bending-active structures are able to efficiently produce complex curved shapes starting from flat panels. The desired deformation of the panels derives from the proper selection of their elastic properties. Optimized panels, called FlexMaps, are designed such that, once they are bent and assembled, the resulting static equilibrium configuration matches a desired input 3D shape. The FlexMaps elastic properties are controlled by locally varying spiraling geometric mesostructures, which are optimized in size and shape to match the global curvature (i.e., bending requests) of the target shape. The design pipeline starts from a quad mesh representing the input 3D shape, which defines the edge size and the total amount of spirals: every quad will embed one spiral. Then, an optimization algorithm tunes the geometry of the spirals by using a simplified pre-computed rod model. This rod model is derived from a non-linear regression algorithm which approximates the non-linear behavior of solid FEM spiral models subject to hundreds of load combinations. This innovative pipeline has been applied to the project of a lightweight plywood pavilion named FlexMaps Pavilion, which is a single-layer piecewise twisted arc that fits a bounding box of 3.90x3.96x3.25 meters.' article_processing_charge: No author: - first_name: Francesco full_name: Laccone, Francesco last_name: Laccone - first_name: Luigi full_name: Malomo, Luigi last_name: Malomo - first_name: Jesus full_name: Perez Rodriguez, Jesus id: 2DC83906-F248-11E8-B48F-1D18A9856A87 last_name: Perez Rodriguez - first_name: Nico full_name: Pietroni, Nico last_name: Pietroni - first_name: Federico full_name: Ponchio, Federico last_name: Ponchio - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 - first_name: Paolo full_name: Cignoni, Paolo last_name: Cignoni citation: ama: 'Laccone F, Malomo L, Perez Rodriguez J, et al. FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels. In: IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE. International Center for Numerical Methods in Engineering; 2019:509-515.' apa: 'Laccone, F., Malomo, L., Perez Rodriguez, J., Pietroni, N., Ponchio, F., Bickel, B., & Cignoni, P. (2019). FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels. In IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE (pp. 509–515). Barcelona, Spain: International Center for Numerical Methods in Engineering.' chicago: 'Laccone, Francesco, Luigi Malomo, Jesus Perez Rodriguez, Nico Pietroni, Federico Ponchio, Bernd Bickel, and Paolo Cignoni. “FlexMaps Pavilion: A Twisted Arc Made of Mesostructured Flat Flexible Panels.” In IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE, 509–15. International Center for Numerical Methods in Engineering, 2019.' ieee: 'F. Laccone et al., “FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels,” in IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE, Barcelona, Spain, 2019, pp. 509–515.' ista: 'Laccone F, Malomo L, Perez Rodriguez J, Pietroni N, Ponchio F, Bickel B, Cignoni P. 2019. FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels. IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE. IASS: International Association for Shell and Spatial Structures, 509–515.' mla: 'Laccone, Francesco, et al. “FlexMaps Pavilion: A Twisted Arc Made of Mesostructured Flat Flexible Panels.” IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE, International Center for Numerical Methods in Engineering, 2019, pp. 509–15.' short: F. Laccone, L. Malomo, J. Perez Rodriguez, N. Pietroni, F. Ponchio, B. Bickel, P. Cignoni, in:, IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE, International Center for Numerical Methods in Engineering, 2019, pp. 509–515. conference: end_date: 2019-10-10 location: Barcelona, Spain name: 'IASS: International Association for Shell and Spatial Structures' start_date: 2019-10-07 date_created: 2021-03-21T23:01:21Z date_published: 2019-10-10T00:00:00Z date_updated: 2023-09-08T11:21:54Z day: '10' department: - _id: BeBi external_id: isi: - '000563497600059' isi: 1 language: - iso: eng month: '10' oa_version: None page: 509-515 publication: IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE publication_identifier: isbn: - '9788412110104' issn: - 2518-6582 publication_status: published publisher: International Center for Numerical Methods in Engineering quality_controlled: '1' scopus_import: '1' status: public title: 'FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels' type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ... --- _id: '7640' abstract: - lang: eng text: We propose a new model for detecting visual relationships, such as "person riding motorcycle" or "bottle on table". This task is an important step towards comprehensive structured mage understanding, going beyond detecting individual objects. Our main novelty is a Box Attention mechanism that allows to model pairwise interactions between objects using standard object detection pipelines. The resulting model is conceptually clean, expressive and relies on well-justified training and prediction procedures. Moreover, unlike previously proposed approaches, our model does not introduce any additional complex components or hyperparameters on top of those already required by the underlying detection model. We conduct an experimental evaluation on two datasets, V-COCO and Open Images, demonstrating strong quantitative and qualitative results. article_number: 1749-1753 article_processing_charge: No author: - first_name: Alexander full_name: Kolesnikov, Alexander id: 2D157DB6-F248-11E8-B48F-1D18A9856A87 last_name: Kolesnikov - first_name: Alina full_name: Kuznetsova, Alina last_name: Kuznetsova - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 - first_name: Vittorio full_name: Ferrari, Vittorio last_name: Ferrari citation: ama: 'Kolesnikov A, Kuznetsova A, Lampert C, Ferrari V. Detecting visual relationships using box attention. In: Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE; 2019. doi:10.1109/ICCVW.2019.00217' apa: 'Kolesnikov, A., Kuznetsova, A., Lampert, C., & Ferrari, V. (2019). Detecting visual relationships using box attention. In Proceedings of the 2019 International Conference on Computer Vision Workshop. Seoul, South Korea: IEEE. https://doi.org/10.1109/ICCVW.2019.00217' chicago: Kolesnikov, Alexander, Alina Kuznetsova, Christoph Lampert, and Vittorio Ferrari. “Detecting Visual Relationships Using Box Attention.” In Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE, 2019. https://doi.org/10.1109/ICCVW.2019.00217. ieee: A. Kolesnikov, A. Kuznetsova, C. Lampert, and V. Ferrari, “Detecting visual relationships using box attention,” in Proceedings of the 2019 International Conference on Computer Vision Workshop, Seoul, South Korea, 2019. ista: 'Kolesnikov A, Kuznetsova A, Lampert C, Ferrari V. 2019. Detecting visual relationships using box attention. Proceedings of the 2019 International Conference on Computer Vision Workshop. ICCVW: International Conference on Computer Vision Workshop, 1749–1753.' mla: Kolesnikov, Alexander, et al. “Detecting Visual Relationships Using Box Attention.” Proceedings of the 2019 International Conference on Computer Vision Workshop, 1749–1753, IEEE, 2019, doi:10.1109/ICCVW.2019.00217. short: A. Kolesnikov, A. Kuznetsova, C. Lampert, V. Ferrari, in:, Proceedings of the 2019 International Conference on Computer Vision Workshop, IEEE, 2019. conference: end_date: 2019-10-28 location: Seoul, South Korea name: 'ICCVW: International Conference on Computer Vision Workshop' start_date: 2019-10-27 date_created: 2020-04-05T22:00:51Z date_published: 2019-10-01T00:00:00Z date_updated: 2023-09-08T11:18:37Z day: '01' department: - _id: ChLa doi: 10.1109/ICCVW.2019.00217 ec_funded: 1 external_id: arxiv: - '1807.02136' isi: - '000554591601098' isi: 1 language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/1807.02136 month: '10' oa: 1 oa_version: Preprint project: - _id: 2532554C-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '308036' name: Lifelong Learning of Visual Scene Understanding publication: Proceedings of the 2019 International Conference on Computer Vision Workshop publication_identifier: isbn: - '9781728150239' publication_status: published publisher: IEEE quality_controlled: '1' scopus_import: '1' status: public title: Detecting visual relationships using box attention type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ... --- _id: '7639' abstract: - lang: eng text: Deep neural networks (DNNs) have become increasingly important due to their excellent empirical performance on a wide range of problems. However, regularization is generally achieved by indirect means, largely due to the complex set of functions defined by a network and the difficulty in measuring function complexity. There exists no method in the literature for additive regularization based on a norm of the function, as is classically considered in statistical learning theory. In this work, we study the tractability of function norms for deep neural networks with ReLU activations. We provide, to the best of our knowledge, the first proof in the literature of the NP-hardness of computing function norms of DNNs of 3 or more layers. We also highlight a fundamental difference between shallow and deep networks. In the light on these results, we propose a new regularization strategy based on approximate function norms, and show its efficiency on a segmentation task with a DNN. article_number: 748-752 article_processing_charge: No author: - first_name: Amal full_name: Rannen-Triki, Amal last_name: Rannen-Triki - first_name: Maxim full_name: Berman, Maxim last_name: Berman - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov - first_name: Matthew B. full_name: Blaschko, Matthew B. last_name: Blaschko citation: ama: 'Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. Function norms for neural networks. In: Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE; 2019. doi:10.1109/ICCVW.2019.00097' apa: 'Rannen-Triki, A., Berman, M., Kolmogorov, V., & Blaschko, M. B. (2019). Function norms for neural networks. In Proceedings of the 2019 International Conference on Computer Vision Workshop. Seoul, South Korea: IEEE. https://doi.org/10.1109/ICCVW.2019.00097' chicago: Rannen-Triki, Amal, Maxim Berman, Vladimir Kolmogorov, and Matthew B. Blaschko. “Function Norms for Neural Networks.” In Proceedings of the 2019 International Conference on Computer Vision Workshop. IEEE, 2019. https://doi.org/10.1109/ICCVW.2019.00097. ieee: A. Rannen-Triki, M. Berman, V. Kolmogorov, and M. B. Blaschko, “Function norms for neural networks,” in Proceedings of the 2019 International Conference on Computer Vision Workshop, Seoul, South Korea, 2019. ista: 'Rannen-Triki A, Berman M, Kolmogorov V, Blaschko MB. 2019. Function norms for neural networks. Proceedings of the 2019 International Conference on Computer Vision Workshop. ICCVW: International Conference on Computer Vision Workshop, 748–752.' mla: Rannen-Triki, Amal, et al. “Function Norms for Neural Networks.” Proceedings of the 2019 International Conference on Computer Vision Workshop, 748–752, IEEE, 2019, doi:10.1109/ICCVW.2019.00097. short: A. Rannen-Triki, M. Berman, V. Kolmogorov, M.B. Blaschko, in:, Proceedings of the 2019 International Conference on Computer Vision Workshop, IEEE, 2019. conference: end_date: 2019-10-28 location: Seoul, South Korea name: 'ICCVW: International Conference on Computer Vision Workshop' start_date: 2019-10-27 date_created: 2020-04-05T22:00:50Z date_published: 2019-10-01T00:00:00Z date_updated: 2023-09-08T11:19:12Z day: '01' department: - _id: VlKo doi: 10.1109/ICCVW.2019.00097 external_id: isi: - '000554591600090' isi: 1 language: - iso: eng month: '10' oa_version: None publication: Proceedings of the 2019 International Conference on Computer Vision Workshop publication_identifier: isbn: - '9781728150239' publication_status: published publisher: IEEE quality_controlled: '1' scopus_import: '1' status: public title: Function norms for neural networks type: conference user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ... --- _id: '8281' abstract: - lang: eng text: We review the history of population genetics, starting with its origins a century ago from the synthesis between Mendel and Darwin's ideas, through to the recent development of sophisticated schemes of inference from sequence data, based on the coalescent. We explain the close relation between the coalescent and a diffusion process, which we illustrate by their application to understand spatial structure. We summarise the powerful methods available for analysis of multiple loci, when linkage equilibrium can be assumed, and then discuss approaches to the more challenging case, where associations between alleles require that we follow genotype, rather than allele, frequencies. Though we can hardly cover the whole of population genetics, we give an overview of the current state of the subject, and future challenges to it. article_processing_charge: No author: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Alison full_name: Etheridge, Alison last_name: Etheridge citation: ama: 'Barton NH, Etheridge A. Mathematical models in population genetics. In: Balding D, Moltke I, Marioni J, eds. Handbook of Statistical Genomics. 4th ed. Wiley; 2019:115-144. doi:10.1002/9781119487845.ch4' apa: Barton, N. H., & Etheridge, A. (2019). Mathematical models in population genetics. In D. Balding, I. Moltke, & J. Marioni (Eds.), Handbook of statistical genomics (4th ed., pp. 115–144). Wiley. https://doi.org/10.1002/9781119487845.ch4 chicago: Barton, Nicholas H, and Alison Etheridge. “Mathematical Models in Population Genetics.” In Handbook of Statistical Genomics, edited by David Balding, Ida Moltke, and John Marioni, 4th ed., 115–44. Wiley, 2019. https://doi.org/10.1002/9781119487845.ch4. ieee: N. H. Barton and A. Etheridge, “Mathematical models in population genetics,” in Handbook of statistical genomics, 4th ed., D. Balding, I. Moltke, and J. Marioni, Eds. Wiley, 2019, pp. 115–144. ista: 'Barton NH, Etheridge A. 2019.Mathematical models in population genetics. In: Handbook of statistical genomics. , 115–144.' mla: Barton, Nicholas H., and Alison Etheridge. “Mathematical Models in Population Genetics.” Handbook of Statistical Genomics, edited by David Balding et al., 4th ed., Wiley, 2019, pp. 115–44, doi:10.1002/9781119487845.ch4. short: N.H. Barton, A. Etheridge, in:, D. Balding, I. Moltke, J. Marioni (Eds.), Handbook of Statistical Genomics, 4th ed., Wiley, 2019, pp. 115–144. date_created: 2020-08-21T04:25:39Z date_published: 2019-07-29T00:00:00Z date_updated: 2023-09-08T11:24:15Z day: '29' ddc: - '576' department: - _id: NiBa doi: 10.1002/9781119487845.ch4 edition: '4' editor: - first_name: David full_name: Balding, David last_name: Balding - first_name: Ida full_name: Moltke, Ida last_name: Moltke - first_name: John full_name: Marioni, John last_name: Marioni external_id: isi: - '000261343000003' isi: 1 language: - iso: eng month: '07' oa_version: None page: 115-144 publication: Handbook of statistical genomics publication_identifier: isbn: - '9781119429142' publication_status: published publisher: Wiley quality_controlled: '1' status: public title: Mathematical models in population genetics type: book_chapter user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1 year: '2019' ...