---
_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'
...