---
_id: '13059'
abstract:
- lang: eng
text: "This dataset contains a GitHub repository containing all the data, analysis,
Nextflow workflows and Jupyter notebooks to replicate the manuscript titled \"Fast
and accurate large multiple sequence alignments with a root-to-leaf regressive
method\".\r\nIt also contains the Multiple Sequence Alignments (MSAs) generated
and well as the main figures and tables from the manuscript.\r\nThe repository
is also available at GitHub (https://github.com/cbcrg/dpa-analysis) release `v1.2`.\r\nFor
details on how to use the regressive alignment algorithm, see the T-Coffee software
suite (https://github.com/cbcrg/tcoffee)."
article_processing_charge: No
author:
- first_name: Edgar
full_name: Garriga, Edgar
last_name: Garriga
- first_name: Paolo
full_name: di Tommaso, Paolo
last_name: di Tommaso
- first_name: Cedrik
full_name: Magis, Cedrik
last_name: Magis
- first_name: Ionas
full_name: Erb, Ionas
last_name: Erb
- first_name: Leila
full_name: Mansouri, Leila
last_name: Mansouri
- first_name: Athanasios
full_name: Baltzis, Athanasios
last_name: Baltzis
- first_name: Hafid
full_name: Laayouni, Hafid
last_name: Laayouni
- first_name: Fyodor
full_name: Kondrashov, Fyodor
id: 44FDEF62-F248-11E8-B48F-1D18A9856A87
last_name: Kondrashov
orcid: 0000-0001-8243-4694
- first_name: Evan
full_name: Floden, Evan
last_name: Floden
- first_name: Cedric
full_name: Notredame, Cedric
last_name: Notredame
citation:
ama: Garriga E, di Tommaso P, Magis C, et al. Fast and accurate large multiple sequence
alignments with a root-to-leaf regressive method. 2018. doi:10.5281/ZENODO.2025846
apa: Garriga, E., di Tommaso, P., Magis, C., Erb, I., Mansouri, L., Baltzis, A.,
… Notredame, C. (2018). Fast and accurate large multiple sequence alignments with
a root-to-leaf regressive method. Zenodo. https://doi.org/10.5281/ZENODO.2025846
chicago: Garriga, Edgar, Paolo di Tommaso, Cedrik Magis, Ionas Erb, Leila Mansouri,
Athanasios Baltzis, Hafid Laayouni, Fyodor Kondrashov, Evan Floden, and Cedric
Notredame. “Fast and Accurate Large Multiple Sequence Alignments with a Root-to-Leaf
Regressive Method.” Zenodo, 2018. https://doi.org/10.5281/ZENODO.2025846.
ieee: E. Garriga et al., “Fast and accurate large multiple sequence alignments
with a root-to-leaf regressive method.” Zenodo, 2018.
ista: Garriga E, di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H,
Kondrashov F, Floden E, Notredame C. 2018. Fast and accurate large multiple sequence
alignments with a root-to-leaf regressive method, Zenodo, 10.5281/ZENODO.2025846.
mla: Garriga, Edgar, et al. Fast and Accurate Large Multiple Sequence Alignments
with a Root-to-Leaf Regressive Method. Zenodo, 2018, doi:10.5281/ZENODO.2025846.
short: E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H.
Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
date_created: 2023-05-23T16:08:20Z
date_published: 2018-12-07T00:00:00Z
date_updated: 2025-07-10T11:54:19Z
day: '07'
ddc:
- '570'
department:
- _id: FyKo
doi: 10.5281/ZENODO.2025846
main_file_link:
- open_access: '1'
url: https://doi.org/10.5281/zenodo.3271452
month: '12'
oa: 1
oa_version: Published Version
publisher: Zenodo
related_material:
record:
- id: '7181'
relation: used_in_publication
status: public
status: public
title: Fast and accurate large multiple sequence alignments with a root-to-leaf regressive
method
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: research_data_reference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...
---
_id: '5677'
abstract:
- lang: eng
text: 'Recently, contract-based design has been proposed as an “orthogonal” approach
that complements system design methodologies proposed so far to cope with the
complexity of system design. Contract-based design provides a rigorous scaffolding
for verification, analysis, abstraction/refinement, and even synthesis. A number
of results have been obtained in this domain but a unified treatment of the topic
that can help put contract-based design in perspective was missing. This monograph
intends to provide such a treatment where contracts are precisely defined and
characterized so that they can be used in design methodologies with no ambiguity.
In particular, this monograph identifies the essence of complex system design
using contracts through a mathematical “meta-theory”, where all the properties
of the methodology are derived from a very abstract and generic notion of contract.
We show that the meta-theory provides deep and illuminating links with existing
contract and interface theories, as well as guidelines for designing new theories.
Our study encompasses contracts for both software and systems, with emphasis on
the latter. We illustrate the use of contracts with two examples: requirement
engineering for a parking garage management, and the development of contracts
for timing and scheduling in the context of the Autosar methodology in use in
the automotive sector.'
article_processing_charge: No
article_type: original
author:
- first_name: Albert
full_name: Benveniste, Albert
last_name: Benveniste
- first_name: Dejan
full_name: Nickovic, Dejan
last_name: Nickovic
- first_name: Benoît
full_name: Caillaud, Benoît
last_name: Caillaud
- first_name: Roberto
full_name: Passerone, Roberto
last_name: Passerone
- first_name: Jean Baptiste
full_name: Raclet, Jean Baptiste
last_name: Raclet
- first_name: Philipp
full_name: Reinkemeier, Philipp
last_name: Reinkemeier
- first_name: Alberto
full_name: Sangiovanni-Vincentelli, Alberto
last_name: Sangiovanni-Vincentelli
- first_name: Werner
full_name: Damm, Werner
last_name: Damm
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000−0002−2985−7724
- first_name: Kim G.
full_name: Larsen, Kim G.
last_name: Larsen
citation:
ama: Benveniste A, Nickovic D, Caillaud B, et al. Contracts for system design. Foundations
and Trends in Electronic Design Automation. 2018;12(2-3):124-400. doi:10.1561/1000000053
apa: Benveniste, A., Nickovic, D., Caillaud, B., Passerone, R., Raclet, J. B., Reinkemeier,
P., … Larsen, K. G. (2018). Contracts for system design. Foundations and Trends
in Electronic Design Automation. Now Publishers. https://doi.org/10.1561/1000000053
chicago: Benveniste, Albert, Dejan Nickovic, Benoît Caillaud, Roberto Passerone,
Jean Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner
Damm, Thomas A Henzinger, and Kim G. Larsen. “Contracts for System Design.” Foundations
and Trends in Electronic Design Automation. Now Publishers, 2018. https://doi.org/10.1561/1000000053.
ieee: A. Benveniste et al., “Contracts for system design,” Foundations
and Trends in Electronic Design Automation, vol. 12, no. 2–3. Now Publishers,
pp. 124–400, 2018.
ista: Benveniste A, Nickovic D, Caillaud B, Passerone R, Raclet JB, Reinkemeier
P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA, Larsen KG. 2018. Contracts
for system design. Foundations and Trends in Electronic Design Automation. 12(2–3),
124–400.
mla: Benveniste, Albert, et al. “Contracts for System Design.” Foundations and
Trends in Electronic Design Automation, vol. 12, no. 2–3, Now Publishers,
2018, pp. 124–400, doi:10.1561/1000000053.
short: A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier,
A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations
and Trends in Electronic Design Automation 12 (2018) 124–400.
date_created: 2018-12-16T22:59:19Z
date_published: 2018-05-01T00:00:00Z
date_updated: 2023-10-17T11:53:09Z
day: '01'
department:
- _id: ToHe
doi: 10.1561/1000000053
intvolume: ' 12'
issue: 2-3
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hal.inria.fr/hal-00757488/
month: '05'
oa: 1
oa_version: Submitted Version
page: 124-400
publication: Foundations and Trends in Electronic Design Automation
publication_identifier:
issn:
- 1551-3939
publication_status: published
publisher: Now Publishers
quality_controlled: '1'
scopus_import: '1'
status: public
title: Contracts for system design
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2018'
...
---
_id: '9134'
abstract:
- lang: eng
text: Several studies have shown the existence of a critical latitude where the
dissipation of internal tides is strongly enhanced. Internal tides are internal
waves generated by barotropic tidal currents impinging rough topography at the
seafloor. Their dissipation and concomitant diapycnal mixing are believed to be
important for water masses and the large‐scale ocean circulation. The purpose
of this study is to clarify the physical processes at the origin of this strong
latitudinal dependence of tidal energy dissipation. We find that different mechanisms
are involved equatorward and poleward of the critical latitude. Triadic resonant
instabilities are responsible for the dissipation of internal tides equatorward
of the critical latitude. In particular, a dominant triad involving the primary
internal tide and near‐inertial waves is key. At the critical latitude, the peak
of energy dissipation is explained by both increased instability growth rates,
and smaller scales of secondary waves thus more prone to break and dissipate their
energy. Surprisingly, poleward of the critical latitude, the generation of evanescent
waves appears to be crucial. Triadic instabilities have been widely studied, but
the transfer of energy to evanescent waves has received comparatively little attention.
Our work suggests that the nonlinear transfer of energy from the internal tide
to evanescent waves (corresponding to the 2f‐pump mechanism described by Young
et al., 2008, https://doi.org/10.1017/S0022112008001742) is an efficient mechanism
to dissipate internal tide energy near and poleward of the critical latitude.
The theoretical results are confirmed in idealized high‐resolution numerical simulations
of a barotropic M2 tide impinging sinusoidal topography in a linearly stratified
fluid.
article_processing_charge: No
article_type: original
author:
- first_name: O.
full_name: Richet, O.
last_name: Richet
- first_name: J.-M.
full_name: Chomaz, J.-M.
last_name: Chomaz
- first_name: Caroline J
full_name: Muller, Caroline J
id: f978ccb0-3f7f-11eb-b193-b0e2bd13182b
last_name: Muller
orcid: 0000-0001-5836-5350
citation:
ama: 'Richet O, Chomaz J-M, Muller CJ. Internal tide dissipation at topography:
Triadic resonant instability equatorward and evanescent waves poleward of the
critical latitude. Journal of Geophysical Research: Oceans. 2018;123(9):6136-6155.
doi:10.1029/2017jc013591'
apa: 'Richet, O., Chomaz, J.-M., & Muller, C. J. (2018). Internal tide dissipation
at topography: Triadic resonant instability equatorward and evanescent waves poleward
of the critical latitude. Journal of Geophysical Research: Oceans. American
Geophysical Union. https://doi.org/10.1029/2017jc013591'
chicago: 'Richet, O., J.-M. Chomaz, and Caroline J Muller. “Internal Tide Dissipation
at Topography: Triadic Resonant Instability Equatorward and Evanescent Waves Poleward
of the Critical Latitude.” Journal of Geophysical Research: Oceans. American
Geophysical Union, 2018. https://doi.org/10.1029/2017jc013591.'
ieee: 'O. Richet, J.-M. Chomaz, and C. J. Muller, “Internal tide dissipation at
topography: Triadic resonant instability equatorward and evanescent waves poleward
of the critical latitude,” Journal of Geophysical Research: Oceans, vol.
123, no. 9. American Geophysical Union, pp. 6136–6155, 2018.'
ista: 'Richet O, Chomaz J-M, Muller CJ. 2018. Internal tide dissipation at topography:
Triadic resonant instability equatorward and evanescent waves poleward of the
critical latitude. Journal of Geophysical Research: Oceans. 123(9), 6136–6155.'
mla: 'Richet, O., et al. “Internal Tide Dissipation at Topography: Triadic Resonant
Instability Equatorward and Evanescent Waves Poleward of the Critical Latitude.”
Journal of Geophysical Research: Oceans, vol. 123, no. 9, American Geophysical
Union, 2018, pp. 6136–55, doi:10.1029/2017jc013591.'
short: 'O. Richet, J.-M. Chomaz, C.J. Muller, Journal of Geophysical Research: Oceans
123 (2018) 6136–6155.'
date_created: 2021-02-15T14:17:25Z
date_published: 2018-09-01T00:00:00Z
date_updated: 2022-01-24T12:39:03Z
day: '01'
doi: 10.1029/2017jc013591
extern: '1'
intvolume: ' 123'
issue: '9'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1029/2017JC013591
month: '09'
oa: 1
oa_version: Published Version
page: 6136-6155
publication: 'Journal of Geophysical Research: Oceans'
publication_identifier:
issn:
- 2169-9275
publication_status: published
publisher: American Geophysical Union
quality_controlled: '1'
status: public
title: 'Internal tide dissipation at topography: Triadic resonant instability equatorward
and evanescent waves poleward of the critical latitude'
type: journal_article
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
volume: 123
year: '2018'
...
---
_id: '9568'
abstract:
- lang: eng
text: An intercalate in a Latin square is a 2×2 Latin subsquare. Let N be the number
of intercalates in a uniformly random n×n Latin square. We prove that asymptotically
almost surely N≥(1−o(1))n2/4, and that EN≤(1+o(1))n2/2 (therefore asymptotically
almost surely N≤fn2 for any f→∞). This significantly improves the previous best
lower and upper bounds. We also give an upper tail bound for the number of intercalates
in two fixed rows of a random Latin square. In addition, we discuss a problem
of Linial and Luria on low-discrepancy Latin squares.
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Matthew Alan
full_name: Kwan, Matthew Alan
id: 5fca0887-a1db-11eb-95d1-ca9d5e0453b3
last_name: Kwan
orcid: 0000-0002-4003-7567
- first_name: Benny
full_name: Sudakov, Benny
last_name: Sudakov
citation:
ama: Kwan MA, Sudakov B. Intercalates and discrepancy in random Latin squares. Random
Structures and Algorithms. 2018;52(2):181-196. doi:10.1002/rsa.20742
apa: Kwan, M. A., & Sudakov, B. (2018). Intercalates and discrepancy in random
Latin squares. Random Structures and Algorithms. Wiley. https://doi.org/10.1002/rsa.20742
chicago: Kwan, Matthew Alan, and Benny Sudakov. “Intercalates and Discrepancy in
Random Latin Squares.” Random Structures and Algorithms. Wiley, 2018. https://doi.org/10.1002/rsa.20742.
ieee: M. A. Kwan and B. Sudakov, “Intercalates and discrepancy in random Latin squares,”
Random Structures and Algorithms, vol. 52, no. 2. Wiley, pp. 181–196, 2018.
ista: Kwan MA, Sudakov B. 2018. Intercalates and discrepancy in random Latin squares.
Random Structures and Algorithms. 52(2), 181–196.
mla: Kwan, Matthew Alan, and Benny Sudakov. “Intercalates and Discrepancy in Random
Latin Squares.” Random Structures and Algorithms, vol. 52, no. 2, Wiley,
2018, pp. 181–96, doi:10.1002/rsa.20742.
short: M.A. Kwan, B. Sudakov, Random Structures and Algorithms 52 (2018) 181–196.
date_created: 2021-06-18T12:47:25Z
date_published: 2018-03-01T00:00:00Z
date_updated: 2023-02-23T14:01:09Z
day: '01'
doi: 10.1002/rsa.20742
extern: '1'
external_id:
arxiv:
- '1607.04981'
intvolume: ' 52'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1607.04981
month: '03'
oa: 1
oa_version: Preprint
page: 181-196
publication: Random Structures and Algorithms
publication_identifier:
eissn:
- 1098-2418
issn:
- 1042-9832
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Intercalates and discrepancy in random Latin squares
type: journal_article
user_id: 6785fbc1-c503-11eb-8a32-93094b40e1cf
volume: 52
year: '2018'
...
---
_id: '407'
abstract:
- lang: eng
text: Isoprenoid cytokinins play a number of crucial roles in the regulation of
plant growth and development. To study cytokinin receptor properties in plants,
we designed and prepared fluorescent derivatives of 6-[(3-methylbut-2-en-1-yl)amino]purine
(N6-isopentenyladenine, iP) with several fluorescent labels attached to the C2
or N9 atom of the purine moiety via a 2- or 6-carbon linker. The fluorescent labels
included dansyl (DS), fluorescein (FC), 7-nitrobenzofurazan (NBD), rhodamine B
(RhoB), coumarin (Cou), 7-(diethylamino)coumarin (DEAC) and cyanine 5 dye (Cy5).
All prepared compounds were screened for affinity for the Arabidopsis thaliana
cytokinin receptor (CRE1/AHK4). Although the attachment of the fluorescent labels
to iP via the linkers mostly disrupted binding to the receptor, several fluorescent
derivatives interacted well. For this reason, three derivatives, two rhodamine
B and one 4-chloro-7-nitrobenzofurazan labeled iP were tested for their interaction
with CRE1/AHK4 and Zea mays cytokinin receptors in detail. We further showed that
the three derivatives were able to activate transcription of cytokinin response
regulator ARR5 in Arabidopsis seedlings. The activity of fluorescently labeled
cytokinins was compared with corresponding 6-dimethylaminopurine fluorescently
labeled negative controls. Selected rhodamine B C2-labeled compounds 17, 18 and
4-chloro-7-nitrobenzofurazan N9-labeled compound 28 and their respective negative
controls (19, 20 and 29, respectively) were used for in planta staining experiments
in Arabidopsis thaliana cell suspension culture using live cell confocal microscopy.
acknowledgement: "This work was supported by the Ministry of Education Youth and Sports,
Czech Republic (grant LO1204 from the National Program of Sustainability I and Agricultural
Research ) and by Czech Science Foundation grants 16-04184S , 501/10/1450 and 13-39982S
and by IGA projects IGA_PrF_2018_033 and IGA_PrF_2018_023 . We would like to thank
Jarmila Balonová, Olga Hustáková and Miroslava Šubová for their skillful technical
assistance and Mgr. Tomáš Pospíšil, Ph.D. for his measurement of 1 H NMR and analysis
of some 2D NMR spectral data. \r\n"
article_processing_charge: No
author:
- first_name: Karolina
full_name: Kubiasová, Karolina
last_name: Kubiasová
- first_name: Václav
full_name: Mik, Václav
last_name: Mik
- first_name: Jaroslav
full_name: Nisler, Jaroslav
last_name: Nisler
- first_name: Martin
full_name: Hönig, Martin
last_name: Hönig
- first_name: Alexandra
full_name: Husičková, Alexandra
last_name: Husičková
- first_name: Lukáš
full_name: Spíchal, Lukáš
last_name: Spíchal
- first_name: Zuzana
full_name: Pěkná, Zuzana
last_name: Pěkná
- first_name: Olga
full_name: Šamajová, Olga
last_name: Šamajová
- first_name: Karel
full_name: Doležal, Karel
last_name: Doležal
- first_name: Ondřej
full_name: Plíhal, Ondřej
last_name: Plíhal
- first_name: Eva
full_name: Benková, Eva
id: 38F4F166-F248-11E8-B48F-1D18A9856A87
last_name: Benková
orcid: 0000-0002-8510-9739
- first_name: Miroslav
full_name: Strnad, Miroslav
last_name: Strnad
- first_name: Lucie
full_name: Plíhalová, Lucie
last_name: Plíhalová
citation:
ama: Kubiasová K, Mik V, Nisler J, et al. Design, synthesis and perception of fluorescently
labeled isoprenoid cytokinins. Phytochemistry. 2018;150:1-11. doi:10.1016/j.phytochem.2018.02.015
apa: Kubiasová, K., Mik, V., Nisler, J., Hönig, M., Husičková, A., Spíchal, L.,
… Plíhalová, L. (2018). Design, synthesis and perception of fluorescently labeled
isoprenoid cytokinins. Phytochemistry. Elsevier. https://doi.org/10.1016/j.phytochem.2018.02.015
chicago: Kubiasová, Karolina, Václav Mik, Jaroslav Nisler, Martin Hönig, Alexandra
Husičková, Lukáš Spíchal, Zuzana Pěkná, et al. “Design, Synthesis and Perception
of Fluorescently Labeled Isoprenoid Cytokinins.” Phytochemistry. Elsevier,
2018. https://doi.org/10.1016/j.phytochem.2018.02.015.
ieee: K. Kubiasová et al., “Design, synthesis and perception of fluorescently
labeled isoprenoid cytokinins,” Phytochemistry, vol. 150. Elsevier, pp.
1–11, 2018.
ista: Kubiasová K, Mik V, Nisler J, Hönig M, Husičková A, Spíchal L, Pěkná Z, Šamajová
O, Doležal K, Plíhal O, Benková E, Strnad M, Plíhalová L. 2018. Design, synthesis
and perception of fluorescently labeled isoprenoid cytokinins. Phytochemistry.
150, 1–11.
mla: Kubiasová, Karolina, et al. “Design, Synthesis and Perception of Fluorescently
Labeled Isoprenoid Cytokinins.” Phytochemistry, vol. 150, Elsevier, 2018,
pp. 1–11, doi:10.1016/j.phytochem.2018.02.015.
short: K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná,
O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry
150 (2018) 1–11.
date_created: 2018-12-11T11:46:18Z
date_published: 2018-06-01T00:00:00Z
date_updated: 2023-09-11T12:53:11Z
day: '01'
department:
- _id: EvBe
doi: 10.1016/j.phytochem.2018.02.015
external_id:
isi:
- '000435623400001'
intvolume: ' 150'
isi: 1
language:
- iso: eng
month: '06'
oa_version: None
page: 1-11
publication: Phytochemistry
publication_status: published
publisher: Elsevier
publist_id: '7422'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
type: journal_article
user_id: c635000d-4b10-11ee-a964-aac5a93f6ac1
volume: 150
year: '2018'
...
---
_id: '941'
abstract:
- lang: eng
text: 'Recently there has been a proliferation of automated program repair (APR)
techniques, targeting various programming languages. Such techniques can be generally
classified into two families: syntactic- and semantics-based. Semantics-based
APR, on which we focus, typically uses symbolic execution to infer semantic constraints
and then program synthesis to construct repairs conforming to them. While syntactic-based
APR techniques have been shown successful on bugs in real-world programs written
in both C and Java, semantics-based APR techniques mostly target C programs. This
leaves empirical comparisons of the APR families not fully explored, and developers
without a Java-based semantics APR technique. We present JFix, a semantics-based
APR framework that targets Java, and an associated Eclipse plugin. JFix is implemented
atop Symbolic PathFinder, a well-known symbolic execution engine for Java programs.
It extends one particular APR technique (Angelix), and is designed to be sufficiently
generic to support a variety of such techniques. We demonstrate that semantics-based
APR can indeed efficiently and effectively repair a variety of classes of bugs
in large real-world Java programs. This supports our claim that the framework
can both support developers seeking semantics-based repair of bugs in Java programs,
as well as enable larger scale empirical studies comparing syntactic- and semantics-based
APR targeting Java. The demonstration of our tool is available via the project
website at: https://xuanbachle.github.io/semanticsrepair/ '
acknowledgement: We thank Vu Le (Microsoft Research, Redmond), and anonymous reviewers
for their comments. Duc-Hiep Chu was supported in part by the Austrian Science Fund
(FWF) under grants S11402-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award).
article_processing_charge: No
author:
- first_name: Xuan
full_name: Le, Xuan
last_name: Le
- first_name: Duc Hiep
full_name: Chu, Duc Hiep
id: 3598E630-F248-11E8-B48F-1D18A9856A87
last_name: Chu
- first_name: David
full_name: Lo, David
last_name: Lo
- first_name: Claire
full_name: Le Goues, Claire
last_name: Le Goues
- first_name: Willem
full_name: Visser, Willem
last_name: Visser
citation:
ama: 'Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of
Java programs via symbolic PathFinder. In: Proceedings of the 26th ACM SIGSOFT
International Symposium on Software Testing and Analysis. ACM; 2017:376-379.
doi:10.1145/3092703.3098225'
apa: 'Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFIX: Semantics-based
repair of Java programs via symbolic PathFinder. In Proceedings of the 26th
ACM SIGSOFT International Symposium on Software Testing and Analysis (pp.
376–379). Santa Barbara, CA, United States: ACM. https://doi.org/10.1145/3092703.3098225'
chicago: 'Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser.
“JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder.” In Proceedings
of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis,
376–79. ACM, 2017. https://doi.org/10.1145/3092703.3098225.'
ieee: 'X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “JFIX: Semantics-based
repair of Java programs via symbolic PathFinder,” in Proceedings of the 26th
ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa
Barbara, CA, United States, 2017, pp. 376–379.'
ista: 'Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. JFIX: Semantics-based repair
of Java programs via symbolic PathFinder. Proceedings of the 26th ACM SIGSOFT
International Symposium on Software Testing and Analysis. ISSTA: International
Symposium on Software Testing and Analysis, 376–379.'
mla: 'Le, Xuan, et al. “JFIX: Semantics-Based Repair of Java Programs via Symbolic
PathFinder.” Proceedings of the 26th ACM SIGSOFT International Symposium on
Software Testing and Analysis, ACM, 2017, pp. 376–79, doi:10.1145/3092703.3098225.'
short: X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th
ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017,
pp. 376–379.
conference:
end_date: 2017-07-14
location: Santa Barbara, CA, United States
name: 'ISSTA: International Symposium on Software Testing and Analysis'
start_date: 2017-07-10
corr_author: '1'
date_created: 2018-12-11T11:49:19Z
date_published: 2017-07-10T00:00:00Z
date_updated: 2026-06-18T19:51:19Z
day: '10'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/3092703.3098225
external_id:
isi:
- '000462903600038'
isi: 1
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://core.ac.uk/download/pdf/111759662.pdf
month: '07'
oa: 1
oa_version: Published Version
page: '376 - 379 '
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S 11407_N23
name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z211
name: Formal methods for the design and analysis of complex systems
publication: Proceedings of the 26th ACM SIGSOFT International Symposium on Software
Testing and Analysis
publication_status: published
publisher: ACM
publist_id: '6478'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'JFIX: Semantics-based repair of Java programs via symbolic PathFinder'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '5568'
abstract:
- lang: eng
text: Includes source codes, test cases, and example data used in the thesis Brittle
Fracture Simulation with Boundary Elements for Computer Graphics. Also includes
pre-built binaries of the HyENA library, but not sources - please contact the
HyENA authors to obtain these sources if required (https://mech.tugraz.at/hyena)
article_processing_charge: No
author:
- first_name: David
full_name: Hahn, David
id: 357A6A66-F248-11E8-B48F-1D18A9856A87
last_name: Hahn
citation:
ama: 'Hahn D. Source codes: Brittle fracture simulation with boundary elements for
computer graphics. 2017. doi:10.15479/AT:ISTA:73'
apa: 'Hahn, D. (2017). Source codes: Brittle fracture simulation with boundary elements
for computer graphics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:73'
chicago: 'Hahn, David. “Source Codes: Brittle Fracture Simulation with Boundary
Elements for Computer Graphics.” Institute of Science and Technology Austria,
2017. https://doi.org/10.15479/AT:ISTA:73.'
ieee: 'D. Hahn, “Source codes: Brittle fracture simulation with boundary elements
for computer graphics.” Institute of Science and Technology Austria, 2017.'
ista: 'Hahn D. 2017. Source codes: Brittle fracture simulation with boundary elements
for computer graphics, Institute of Science and Technology Austria, 10.15479/AT:ISTA:73.'
mla: 'Hahn, David. Source Codes: Brittle Fracture Simulation with Boundary Elements
for Computer Graphics. Institute of Science and Technology Austria, 2017,
doi:10.15479/AT:ISTA:73.'
short: D. Hahn, (2017).
datarep_id: '73'
date_created: 2018-12-12T12:31:35Z
date_published: 2017-08-16T00:00:00Z
date_updated: 2026-07-29T13:27:24Z
day: '16'
ddc:
- '004'
department:
- _id: ChWo
doi: 10.15479/AT:ISTA:73
ec_funded: 1
file:
- access_level: open_access
checksum: 2323a755842a3399cbc47d76545fc9a0
content_type: application/zip
creator: system
date_created: 2018-12-12T13:02:57Z
date_updated: 2020-07-14T12:47:04Z
file_id: '5615'
file_name: IST-2017-73-v1+1_FractureRB_v1.1_2017_07_20_final_public.zip
file_size: 199353471
relation: main_file
file_date_updated: 2020-07-14T12:47:04Z
has_accepted_license: '1'
keyword:
- Boundary elements
- brittle fracture
- computer graphics
- fracture simulation
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: 2533E772-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '638176'
name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large
Scales'
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '839'
relation: research_paper
status: public
status: public
title: 'Source codes: Brittle fracture simulation with boundary elements for computer
graphics'
tmp:
image: /images/cc_by_sa.png
legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode
name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC
BY-SA 4.0)
short: CC BY-SA (4.0)
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2017'
...
---
_id: '122'
abstract:
- lang: eng
text: Four rigid panels connected by hinges that meet at a point form a four-vertex,
the fundamental building block of origami metamaterials. Most materials designed
so far are based on the same four-vertex geometry, and little is known regarding
how different geometries affect folding behavior. Here we systematically categorize
and analyze the geometries and resulting folding motions of Euclidean four-vertices.
Comparing the relative sizes of sector angles, we identify three types of generic
vertices and two accompanying subtypes. We determine which folds can fully close
and the possible mountain-valley assignments. Next, we consider what occurs when
sector angles or sums thereof are set equal, which results in 16 special vertex
types. One of these, flat-foldable vertices, has been studied extensively, but
we show that a wide variety of qualitatively different folding motions exist for
the other 15 special and 3 generic types. Our work establishes a straightforward
set of rules for understanding the folding motion of both generic and special
four-vertices and serves as a roadmap for designing origami metamaterials.
acknowledgement: This work is part of the research programme of the Foundation for
Fundamental Research on Matter (FOM), which is part of the Netherlands Organisation
for Scientific Research (NWO).
article_number: '023003'
arxiv: 1
author:
- first_name: Scott R
full_name: Waitukaitis, Scott R
id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87
last_name: Waitukaitis
orcid: 0000-0002-2299-3176
- first_name: Martin
full_name: Van Hecke, Martin
last_name: Van Hecke
citation:
ama: 'Waitukaitis SR, Van Hecke M. Origami building blocks: Generic and special
four-vertices. Physical Review E - Statistical, Nonlinear, and Soft Matter
Physics. 2016;93(2). doi:10.1103/PhysRevE.93.023003'
apa: 'Waitukaitis, S. R., & Van Hecke, M. (2016). Origami building blocks: Generic
and special four-vertices. Physical Review E - Statistical, Nonlinear, and
Soft Matter Physics. American Physiological Society. https://doi.org/10.1103/PhysRevE.93.023003'
chicago: 'Waitukaitis, Scott R, and Martin Van Hecke. “Origami Building Blocks:
Generic and Special Four-Vertices.” Physical Review E - Statistical, Nonlinear,
and Soft Matter Physics. American Physiological Society, 2016. https://doi.org/10.1103/PhysRevE.93.023003.'
ieee: 'S. R. Waitukaitis and M. Van Hecke, “Origami building blocks: Generic and
special four-vertices,” Physical Review E - Statistical, Nonlinear, and Soft
Matter Physics, vol. 93, no. 2. American Physiological Society, 2016.'
ista: 'Waitukaitis SR, Van Hecke M. 2016. Origami building blocks: Generic and special
four-vertices. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics.
93(2), 023003.'
mla: 'Waitukaitis, Scott R., and Martin Van Hecke. “Origami Building Blocks: Generic
and Special Four-Vertices.” Physical Review E - Statistical, Nonlinear, and
Soft Matter Physics, vol. 93, no. 2, 023003, American Physiological Society,
2016, doi:10.1103/PhysRevE.93.023003.'
short: S.R. Waitukaitis, M. Van Hecke, Physical Review E - Statistical, Nonlinear,
and Soft Matter Physics 93 (2016).
date_created: 2018-12-11T11:44:44Z
date_published: 2016-02-03T00:00:00Z
date_updated: 2021-01-12T06:49:10Z
day: '03'
doi: 10.1103/PhysRevE.93.023003
extern: '1'
external_id:
arxiv:
- '1507.08442'
intvolume: ' 93'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1507.08442
month: '02'
oa: 1
oa_version: Preprint
publication: Physical Review E - Statistical, Nonlinear, and Soft Matter Physics
publication_status: published
publisher: American Physiological Society
publist_id: '7932'
quality_controlled: '1'
status: public
title: 'Origami building blocks: Generic and special four-vertices'
type: journal_article
user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87
volume: 93
year: '2016'
...
---
_id: '5552'
abstract:
- lang: eng
text: "Data on pollinator visitation to wild snapdragons in a natural hybrid zone,
collected as part of Tom Ellis' PhD thesis (submitted February 2016).\r\n\r\nSnapdragon
flowers have a mouth-like structure which pollinators must open to access nectar.
We placed 5mm cellophane tags in these mouths, which are held in place by the
pressure of the flower until a pollinator visits. When she opens the flower, the
tag drops out, and one can infer a visit. We surveyed plants over multiple days
in 2010, 2011 and 2012.\r\n\r\nAlso included are data on phenotypic and demographic
variables which may be explanatory variables for pollinator visitation."
article_processing_charge: No
author:
- first_name: Thomas
full_name: Ellis, Thomas
id: 3153D6D4-F248-11E8-B48F-1D18A9856A87
last_name: Ellis
orcid: 0000-0002-8511-0254
citation:
ama: Ellis T. Pollinator visitation data for wild Antirrhinum majus plants, with
phenotypic and frequency data. 2016. doi:10.15479/AT:ISTA:36
apa: Ellis, T. (2016). Pollinator visitation data for wild Antirrhinum majus plants,
with phenotypic and frequency data. Institute of Science and Technology Austria.
https://doi.org/10.15479/AT:ISTA:36
chicago: Ellis, Thomas. “Pollinator Visitation Data for Wild Antirrhinum Majus Plants,
with Phenotypic and Frequency Data.” Institute of Science and Technology Austria,
2016. https://doi.org/10.15479/AT:ISTA:36.
ieee: T. Ellis, “Pollinator visitation data for wild Antirrhinum majus plants, with
phenotypic and frequency data.” Institute of Science and Technology Austria, 2016.
ista: Ellis T. 2016. Pollinator visitation data for wild Antirrhinum majus plants,
with phenotypic and frequency data., Institute of Science and Technology Austria,
10.15479/AT:ISTA:36.
mla: Ellis, Thomas. Pollinator Visitation Data for Wild Antirrhinum Majus Plants,
with Phenotypic and Frequency Data. Institute of Science and Technology Austria,
2016, doi:10.15479/AT:ISTA:36.
short: T. Ellis, (2016).
contributor:
- first_name: David
id: 419049E2-F248-11E8-B48F-1D18A9856A87
last_name: Field
- first_name: Nicholas H
id: 4880FE40-F248-11E8-B48F-1D18A9856A87
last_name: Barton
orcid: 0000-0002-8548-5240
datarep_id: '36'
date_created: 2018-12-12T12:31:30Z
date_published: 2016-02-19T00:00:00Z
date_updated: 2026-07-30T14:56:13Z
day: '19'
department:
- _id: NiBa
doi: 10.15479/AT:ISTA:36
file:
- access_level: open_access
checksum: cbc61b523d4d475a04a737d50dc470ef
content_type: application/zip
creator: system
date_created: 2018-12-12T13:03:07Z
date_updated: 2020-07-14T12:47:01Z
file_id: '5625'
file_name: IST-2016-36-v1+1_tag_assay_archive.zip
file_size: 44905
relation: main_file
file_date_updated: 2020-07-14T12:47:01Z
has_accepted_license: '1'
month: '02'
oa: 1
oa_version: Published Version
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '1398'
relation: dissertation_contains
status: public
status: public
title: Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic
and frequency data.
type: research_data
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2016'
...
---
_id: '1588'
abstract:
- lang: eng
text: 'We investigate the Taylor-Couette system where the radius ratio is close
to unity. Systematically increasing the Reynolds number, we observe a number of
previously known transitions, such as one from the classical Taylor vortex flow
(TVF) to wavy vortex flow (WVF) and the transition to fully developed turbulence.
Prior to the onset of turbulence, we observe intermittent bursting patterns of
localized turbulent patches, confirming the experimentally observed pattern of
very short wavelength bursts (VSWBs). A striking finding is that, for a Reynolds
number larger than that for the onset of VSWBs, a new type of intermittently bursting
behavior emerges: patterns of azimuthally closed rings of various orders. We call
them ring-bursting patterns, which surround the cylinder completely but remain
localized and separated in the axial direction through nonturbulent wavy structures.
We employ a number of quantitative measures including the cross-flow energy to
characterize the ring-bursting patterns and to distinguish them from the background
flow. These patterns are interesting because they do not occur in the wide-gap
Taylor-Couette flow systems. The narrow-gap regime is less studied but certainly
deserves further attention to gain deeper insights into complex flow dynamics
in fluids.'
article_number: '053018'
article_processing_charge: No
author:
- first_name: Sebastian
full_name: Altmeyer, Sebastian
id: 2EE67FDC-F248-11E8-B48F-1D18A9856A87
last_name: Altmeyer
orcid: 0000-0001-5964-0203
- first_name: Younghae
full_name: Do, Younghae
last_name: Do
- first_name: Ying
full_name: Lai, Ying
last_name: Lai
citation:
ama: Altmeyer S, Do Y, Lai Y. Ring-bursting behavior en route to turbulence in narrow-gap
Taylor-Couette flows. Physical Review E. 2015;92(5). doi:10.1103/PhysRevE.92.053018
apa: Altmeyer, S., Do, Y., & Lai, Y. (2015). Ring-bursting behavior en route
to turbulence in narrow-gap Taylor-Couette flows. Physical Review E. American
Physical Society. https://doi.org/10.1103/PhysRevE.92.053018
chicago: Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Ring-Bursting Behavior
En Route to Turbulence in Narrow-Gap Taylor-Couette Flows.” Physical Review
E. American Physical Society, 2015. https://doi.org/10.1103/PhysRevE.92.053018.
ieee: S. Altmeyer, Y. Do, and Y. Lai, “Ring-bursting behavior en route to turbulence
in narrow-gap Taylor-Couette flows,” Physical Review E, vol. 92, no. 5.
American Physical Society, 2015.
ista: Altmeyer S, Do Y, Lai Y. 2015. Ring-bursting behavior en route to turbulence
in narrow-gap Taylor-Couette flows. Physical Review E. 92(5), 053018.
mla: Altmeyer, Sebastian, et al. “Ring-Bursting Behavior En Route to Turbulence
in Narrow-Gap Taylor-Couette Flows.” Physical Review E, vol. 92, no. 5,
053018, American Physical Society, 2015, doi:10.1103/PhysRevE.92.053018.
short: S. Altmeyer, Y. Do, Y. Lai, Physical Review E 92 (2015).
corr_author: '1'
date_created: 2018-12-11T11:52:53Z
date_published: 2015-11-24T00:00:00Z
date_updated: 2025-09-23T10:37:52Z
day: '24'
department:
- _id: BjHo
doi: 10.1103/PhysRevE.92.053018
external_id:
isi:
- '000365520500010'
intvolume: ' 92'
isi: 1
issue: '5'
language:
- iso: eng
month: '11'
oa_version: None
publication: Physical Review E
publication_status: published
publisher: American Physical Society
publist_id: '5583'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette
flows
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 92
year: '2015'
...
---
_id: '248'
abstract:
- lang: eng
text: For any pencil of conics or higher-dimensional quadrics over ℚ, with all degenerate
fibres defined over ℚ, we show that the Brauer–Manin obstruction controls weak
approximation. The proof is based on the Hasse principle and weak approximation
for some special intersections of quadrics over ℚ, which is a consequence of recent
advances in additive combinatorics.
acknowledgement: While working on this paper the first two authors were supported
by EPSRC grant EP/E053262/1, and the first author was further supported by ERC grant
306457.
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Lilian
full_name: Matthiesen, Lilian
last_name: Matthiesen
- first_name: Alexei
full_name: Skorobogatov, Alexei N
last_name: Skorobogatov
citation:
ama: Browning TD, Matthiesen L, Skorobogatov A. Rational points on pencils of conics
and quadrics with many degenerate fibres. Annals of Mathematics. 2014;180(1):381-402.
doi:https://doi.org/10.4007/annals.2014.180.1.8
apa: Browning, T. D., Matthiesen, L., & Skorobogatov, A. (2014). Rational points
on pencils of conics and quadrics with many degenerate fibres. Annals of Mathematics.
John Hopkins University Press. https://doi.org/10.4007/annals.2014.180.1.8
chicago: Browning, Timothy D, Lilian Matthiesen, and Alexei Skorobogatov. “Rational
Points on Pencils of Conics and Quadrics with Many Degenerate Fibres.” Annals
of Mathematics. John Hopkins University Press, 2014. https://doi.org/10.4007/annals.2014.180.1.8.
ieee: T. D. Browning, L. Matthiesen, and A. Skorobogatov, “Rational points on pencils
of conics and quadrics with many degenerate fibres,” Annals of Mathematics,
vol. 180, no. 1. John Hopkins University Press, pp. 381–402, 2014.
ista: Browning TD, Matthiesen L, Skorobogatov A. 2014. Rational points on pencils
of conics and quadrics with many degenerate fibres. Annals of Mathematics. 180(1),
381–402.
mla: Browning, Timothy D., et al. “Rational Points on Pencils of Conics and Quadrics
with Many Degenerate Fibres.” Annals of Mathematics, vol. 180, no. 1, John
Hopkins University Press, 2014, pp. 381–402, doi:https://doi.org/10.4007/annals.2014.180.1.8.
short: T.D. Browning, L. Matthiesen, A. Skorobogatov, Annals of Mathematics 180
(2014) 381–402.
date_created: 2018-12-11T11:45:25Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2021-01-12T06:57:44Z
day: '01'
doi: https://doi.org/10.4007/annals.2014.180.1.8
extern: 1
intvolume: ' 180'
issue: '1'
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1209.0207
month: '07'
oa: 1
page: 381 - 402
publication: Annals of Mathematics
publication_status: published
publisher: John Hopkins University Press
publist_id: '7655'
quality_controlled: 0
status: public
title: Rational points on pencils of conics and quadrics with many degenerate fibres
type: journal_article
volume: 180
year: '2014'
...
---
_id: '2189'
abstract:
- lang: fre
text: En apprentissage automatique, nous parlons d'adaptation de domaine lorsque
les données de test (cibles) et d'apprentissage (sources) sont générées selon
différentes distributions. Nous devons donc développer des algorithmes de classification
capables de s'adapter à une nouvelle distribution, pour laquelle aucune information
sur les étiquettes n'est disponible. Nous attaquons cette problématique sous l'angle
de l'approche PAC-Bayésienne qui se focalise sur l'apprentissage de modèles définis
comme des votes de majorité sur un ensemble de fonctions. Dans ce contexte, nous
introduisons PV-MinCq une version adaptative de l'algorithme (non adaptatif) MinCq.
PV-MinCq suit le principe suivant. Nous transférons les étiquettes sources aux
points cibles proches pour ensuite appliquer MinCq sur l'échantillon cible ``auto-étiqueté''
(justifié par une borne théorique). Plus précisément, nous définissons un auto-étiquetage
non itératif qui se focalise dans les régions où les distributions marginales
source et cible sont les plus similaires. Dans un second temps, nous étudions
l'influence de notre auto-étiquetage pour en déduire une procédure de validation
des hyperparamètres. Finalement, notre approche montre des résultats empiriques
prometteurs.
article_processing_charge: No
author:
- first_name: Emilie
full_name: Morvant, Emilie
id: 4BAC2A72-F248-11E8-B48F-1D18A9856A87
last_name: Morvant
orcid: 0000-0002-8301-7240
citation:
ama: 'Morvant E. Adaptation de domaine de vote de majorité par auto-étiquetage non
itératif. In: Vol 1. Elsevier; 2014:49-58.'
apa: 'Morvant, E. (2014). Adaptation de domaine de vote de majorité par auto-étiquetage
non itératif (Vol. 1, pp. 49–58). Presented at the CAP: Conférence Francophone
sur l’Apprentissage Automatique (Machine Learning French Conference), Saint-Etienne,
France: Elsevier.'
chicago: Morvant, Emilie. “Adaptation de Domaine de Vote de Majorité Par Auto-Étiquetage
Non Itératif,” 1:49–58. Elsevier, 2014.
ieee: 'E. Morvant, “Adaptation de domaine de vote de majorité par auto-étiquetage
non itératif,” presented at the CAP: Conférence Francophone sur l’Apprentissage
Automatique (Machine Learning French Conference), Saint-Etienne, France, 2014,
vol. 1, pp. 49–58.'
ista: 'Morvant E. 2014. Adaptation de domaine de vote de majorité par auto-étiquetage
non itératif. CAP: Conférence Francophone sur l’Apprentissage Automatique (Machine
Learning French Conference) vol. 1, 49–58.'
mla: Morvant, Emilie. Adaptation de Domaine de Vote de Majorité Par Auto-Étiquetage
Non Itératif. Vol. 1, Elsevier, 2014, pp. 49–58.
short: E. Morvant, in:, Elsevier, 2014, pp. 49–58.
conference:
location: Saint-Etienne, France
name: 'CAP: Conférence Francophone sur l''Apprentissage Automatique (Machine Learning
French Conference)'
corr_author: '1'
date_created: 2018-12-11T11:56:13Z
date_published: 2014-07-01T00:00:00Z
date_updated: 2024-10-09T20:55:32Z
day: '01'
department:
- _id: ChLa
intvolume: ' 1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://hal.archives-ouvertes.fr/hal-01005776/
month: '07'
oa: 1
oa_version: Preprint
page: 49-58
publication_status: published
publisher: Elsevier
publist_id: '4785'
quality_controlled: '1'
status: public
title: Adaptation de domaine de vote de majorité par auto-étiquetage non itératif
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 1
year: '2014'
...
---
_id: '244'
abstract:
- lang: eng
text: We investigate the solubility of the congruence xy ≡ 1 (mod p), where p is
a prime and x, y are restricted to lie in suitable short intervals. Our work relies
on a mean value theorem for incomplete Kloosterman sums.
acknowledgement: "EP/E053262/1\tEngineering and Physical Sciences Research Council\tEPSRC,\nEP/J00149X/1\tEngineering
and Physical Sciences Research Council\tEPSRC\t"
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Alan
full_name: Haynes, Alan K
last_name: Haynes
citation:
ama: Browning TD, Haynes A. Incomplete kloosterman sums and multiplicative inverses
in short intervals. International Journal of Number Theory. 2012;9(2):481-486.
doi: https://doi.org/10.1142/S1793042112501448
apa: Browning, T. D., & Haynes, A. (2012). Incomplete kloosterman sums and multiplicative
inverses in short intervals. International Journal of Number Theory. World
Scientific Publishing. https://doi.org/
https://doi.org/10.1142/S1793042112501448
chicago: Browning, Timothy D, and Alan Haynes. “Incomplete Kloosterman Sums and
Multiplicative Inverses in Short Intervals.” International Journal of Number
Theory. World Scientific Publishing, 2012. https://doi.org/
https://doi.org/10.1142/S1793042112501448.
ieee: T. D. Browning and A. Haynes, “Incomplete kloosterman sums and multiplicative
inverses in short intervals,” International Journal of Number Theory, vol.
9, no. 2. World Scientific Publishing, pp. 481–486, 2012.
ista: Browning TD, Haynes A. 2012. Incomplete kloosterman sums and multiplicative
inverses in short intervals. International Journal of Number Theory. 9(2), 481–486.
mla: Browning, Timothy D., and Alan Haynes. “Incomplete Kloosterman Sums and Multiplicative
Inverses in Short Intervals.” International Journal of Number Theory, vol.
9, no. 2, World Scientific Publishing, 2012, pp. 481–86, doi: https://doi.org/10.1142/S1793042112501448.
short: T.D. Browning, A. Haynes, International Journal of Number Theory 9 (2012)
481–486.
date_created: 2018-12-11T11:45:24Z
date_published: 2012-11-30T00:00:00Z
date_updated: 2021-01-12T06:57:30Z
day: '30'
doi: ' https://doi.org/10.1142/S1793042112501448'
extern: 1
intvolume: ' 9'
issue: '2'
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/1204.6374
month: '11'
oa: 1
page: 481 - 486
publication: International Journal of Number Theory
publication_status: published
publisher: World Scientific Publishing
publist_id: '7660'
quality_controlled: 0
status: public
title: Incomplete kloosterman sums and multiplicative inverses in short intervals
type: journal_article
volume: 9
year: '2012'
...
---
_id: '3287'
abstract:
- lang: eng
text: 'Diffusing membrane constituents are constantly exposed to a variety of forces
that influence their stochastic path. Single molecule experiments allow for resolving
trajectories at extremely high spatial and temporal accuracy, thereby offering
insights into en route interactions of the tracer. In this review we discuss approaches
to derive information about the underlying processes, based on single molecule
tracking experiments. In particular, we focus on a new versatile way to analyze
single molecule diffusion in the absence of a full analytical treatment. The method
is based on comprehensive comparison of an experimental data set against the hypothetical
outcome of multiple experiments performed on the computer. Since Monte Carlo simulations
can be easily and rapidly performed even on state-of-the-art PCs, our method provides
a simple way for testing various - even complicated - diffusion models. We describe
the new method in detail, and show the applicability on two specific examples:
firstly, kinetic rate constants can be derived for the transient interaction of
mobile membrane proteins; secondly, residence time and corral size can be extracted
for confined diffusion.'
article_processing_charge: No
author:
- first_name: Verena
full_name: Ruprecht, Verena
id: 4D71A03A-F248-11E8-B48F-1D18A9856A87
last_name: Ruprecht
orcid: 0000-0003-4088-8633
- first_name: Markus
full_name: Axmann, Markus
last_name: Axmann
- first_name: Stefan
full_name: Wieser, Stefan
id: 355AA5A0-F248-11E8-B48F-1D18A9856A87
last_name: Wieser
orcid: 0000-0002-2670-2217
- first_name: Gerhard
full_name: Schuetz, Gerhard
last_name: Schuetz
citation:
ama: Ruprecht V, Axmann M, Wieser S, Schuetz G. What can we learn from single molecule
trajectories? Current Protein & Peptide Science. 2011;12(8):714-724.
doi:10.2174/138920311798841753
apa: Ruprecht, V., Axmann, M., Wieser, S., & Schuetz, G. (2011). What can we
learn from single molecule trajectories? Current Protein & Peptide Science.
Bentham Science Publishers. https://doi.org/10.2174/138920311798841753
chicago: Ruprecht, Verena, Markus Axmann, Stefan Wieser, and Gerhard Schuetz. “What
Can We Learn from Single Molecule Trajectories?” Current Protein & Peptide
Science. Bentham Science Publishers, 2011. https://doi.org/10.2174/138920311798841753.
ieee: V. Ruprecht, M. Axmann, S. Wieser, and G. Schuetz, “What can we learn from
single molecule trajectories?,” Current Protein & Peptide Science,
vol. 12, no. 8. Bentham Science Publishers, pp. 714–724, 2011.
ista: Ruprecht V, Axmann M, Wieser S, Schuetz G. 2011. What can we learn from single
molecule trajectories? Current Protein & Peptide Science. 12(8), 714–724.
mla: Ruprecht, Verena, et al. “What Can We Learn from Single Molecule Trajectories?”
Current Protein & Peptide Science, vol. 12, no. 8, Bentham Science
Publishers, 2011, pp. 714–24, doi:10.2174/138920311798841753.
short: V. Ruprecht, M. Axmann, S. Wieser, G. Schuetz, Current Protein & Peptide
Science 12 (2011) 714–724.
date_created: 2018-12-11T12:02:28Z
date_published: 2011-12-01T00:00:00Z
date_updated: 2025-09-30T09:21:31Z
day: '01'
department:
- _id: CaHe
- _id: MiSi
doi: 10.2174/138920311798841753
external_id:
isi:
- '000299672600005'
intvolume: ' 12'
isi: 1
issue: '8'
language:
- iso: eng
month: '12'
oa_version: None
page: 714 - 724
publication: Current Protein & Peptide Science
publication_status: published
publisher: Bentham Science Publishers
publist_id: '3358'
quality_controlled: '1'
scopus_import: '1'
status: public
title: What can we learn from single molecule trajectories?
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 12
year: '2011'
...
---
_id: '165'
abstract:
- lang: eng
text: We survey the state of affairs for the distribution of ℚ-rational points on
non-singular del Pezzo surfaces of low degree, highlighting the recent resolution
of Manin's conjecture for a non-singular del Pezzo surface of degree 4 by la Bretèche
and Browning.
acknowledgement: Proceedings of the 5th China-Japan Seminar
alternative_title:
- Series on number theory and its application
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
citation:
ama: 'Browning TD. Resent progress on the quantitative arithmetic of del Pezzo surfaces.
In: Aoki T, Kanemitsu S, Liu J, eds. Vol 6. World Scientific Publishing; 2009:1-18.
doi:https://doi.org/10.1142/9789814289924_0001'
apa: 'Browning, T. D. (2009). Resent progress on the quantitative arithmetic of
del Pezzo surfaces. In T. Aoki, S. Kanemitsu, & J. Liu (Eds.) (Vol. 6, pp.
1–18). Presented at the Number Theory: Dreaming in dreams, World Scientific Publishing.
https://doi.org/10.1142/9789814289924_0001'
chicago: Browning, Timothy D. “Resent Progress on the Quantitative Arithmetic of
Del Pezzo Surfaces.” edited by Takashi Aoki, Shigeru Kanemitsu, and Jianya Liu,
6:1–18. World Scientific Publishing, 2009. https://doi.org/10.1142/9789814289924_0001.
ieee: 'T. D. Browning, “Resent progress on the quantitative arithmetic of del Pezzo
surfaces,” presented at the Number Theory: Dreaming in dreams, 2009, vol. 6, pp.
1–18.'
ista: 'Browning TD. 2009. Resent progress on the quantitative arithmetic of del
Pezzo surfaces. Number Theory: Dreaming in dreams, Series on number theory and
its application, vol. 6, 1–18.'
mla: Browning, Timothy D. Resent Progress on the Quantitative Arithmetic of Del
Pezzo Surfaces. Edited by Takashi Aoki et al., vol. 6, World Scientific Publishing,
2009, pp. 1–18, doi:https://doi.org/10.1142/9789814289924_0001.
short: T.D. Browning, in:, T. Aoki, S. Kanemitsu, J. Liu (Eds.), World Scientific
Publishing, 2009, pp. 1–18.
conference:
name: 'Number Theory: Dreaming in dreams'
date_created: 2018-12-11T11:44:58Z
date_published: 2009-08-24T00:00:00Z
date_updated: 2021-01-12T06:52:15Z
day: '24'
doi: https://doi.org/10.1142/9789814289924_0001
editor:
- first_name: Takashi
full_name: Aoki, Takashi
last_name: Aoki
- first_name: Shigeru
full_name: Kanemitsu, Shigeru
last_name: Kanemitsu
- first_name: Jianya
full_name: Liu, Jianya
last_name: Liu
extern: 1
intvolume: ' 6'
month: '08'
page: 1 - 18
publication_status: published
publisher: World Scientific Publishing
publist_id: '7756'
quality_controlled: 0
status: public
title: Resent progress on the quantitative arithmetic of del Pezzo surfaces
type: conference
volume: 6
year: '2009'
...
---
_id: '17734'
abstract:
- lang: eng
text: Electromagnetic (EM) counterparts to supermassive black hole binary mergers
observed by LISA can be localized to within the field of view of astronomical
instruments ~10 deg^2 hours to weeks prior to coalescence. The temporal coincidence
of any prompt EM counterpart with a gravitationally-timed merger may offer the
best chance of identifying a unique host galaxy. We discuss the challenges posed
by searches for prompt EM counterparts and propose novel observational strategies
to address them. In particular, we discuss the size and shape evolution of the
LISA localization error ellipses on the sky, and quantify the requirements for
dedicated EM surveys of the area prior to coalescence. A triggered EM counterpart
search campaign will require monitoring a several-square degree area. It could
aim for variability at the 24-27 mag level in optical bands, for example, which
corresponds to 1-10% of the Eddington luminosity of the prime LISA sources of
10^6-10^7 Msun BHs at z=1-2, on time-scales of minutes to hours, the orbital time-scale
of the binary in the last 2-4 weeks. A cross-correlation of the period of any
variable EM signal with the quasi-periodic gravitational waveform over 10-1000
cycles may aid the detection. Alternatively, EM searches can detect a transient
signal accompanying the coalescence. We highlight the measurement of differences
in the arrival times of photons and gravitons from the same cosmological source
as a valuable independent test of the massive character of gravity, and of possible
violations of Lorentz invariance in the gravity sector.
article_processing_charge: No
article_type: original
author:
- first_name: Bence
full_name: Kocsis, Bence
last_name: Kocsis
- first_name: Zoltán
full_name: Haiman, Zoltán
id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
last_name: Haiman
- first_name: Kristen
full_name: Menou, Kristen
last_name: Menou
citation:
ama: 'Kocsis B, Haiman Z, Menou K. Premerger localization of gravitational wave
standard sirens with LISA: Triggered search for an electromagnetic counterpart.
The Astrophysical Journal. 2008;684(2):870-887. doi:10.1086/590230'
apa: 'Kocsis, B., Haiman, Z., & Menou, K. (2008). Premerger localization of
gravitational wave standard sirens with LISA: Triggered search for an electromagnetic
counterpart. The Astrophysical Journal. American Astronomical Society.
https://doi.org/10.1086/590230'
chicago: 'Kocsis, Bence, Zoltán Haiman, and Kristen Menou. “Premerger Localization
of Gravitational Wave Standard Sirens with LISA: Triggered Search for an Electromagnetic
Counterpart.” The Astrophysical Journal. American Astronomical Society,
2008. https://doi.org/10.1086/590230.'
ieee: 'B. Kocsis, Z. Haiman, and K. Menou, “Premerger localization of gravitational
wave standard sirens with LISA: Triggered search for an electromagnetic counterpart,”
The Astrophysical Journal, vol. 684, no. 2. American Astronomical Society,
pp. 870–887, 2008.'
ista: 'Kocsis B, Haiman Z, Menou K. 2008. Premerger localization of gravitational
wave standard sirens with LISA: Triggered search for an electromagnetic counterpart.
The Astrophysical Journal. 684(2), 870–887.'
mla: 'Kocsis, Bence, et al. “Premerger Localization of Gravitational Wave Standard
Sirens with LISA: Triggered Search for an Electromagnetic Counterpart.” The
Astrophysical Journal, vol. 684, no. 2, American Astronomical Society, 2008,
pp. 870–87, doi:10.1086/590230.'
short: B. Kocsis, Z. Haiman, K. Menou, The Astrophysical Journal 684 (2008) 870–887.
date_created: 2024-09-06T09:18:47Z
date_published: 2008-09-10T00:00:00Z
date_updated: 2024-09-26T07:56:49Z
day: '10'
doi: 10.1086/590230
extern: '1'
intvolume: ' 684'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1086/590230
month: '09'
oa: 1
oa_version: Published Version
page: 870-887
publication: The Astrophysical Journal
publication_identifier:
issn:
- 0004-637X
- 1538-4357
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Premerger localization of gravitational wave standard sirens with LISA: Triggered
search for an electromagnetic counterpart'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 684
year: '2008'
...
---
_id: '213'
abstract:
- lang: eng
text: For any integers d,n ≥2, let X ⊂ Pn be a non‐singular hypersurface of degree
d that is defined over the rational numbers. The main result in this paper is
a proof that the number of rational points on X which have height at most B is
O(Bn − 1 + ɛ), for any ɛ > 0. The implied constant in this estimate depends
at most upon d, ɛ and n. 2000 Mathematics Subject Classification 11D45 (primary),
11G35, 14G05 (secondary).
acknowledgement: EPSRC grant number GR/R93155/01
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Roger
full_name: Heath-Brown, Roger
last_name: Heath Brown
- first_name: Jason
full_name: Starr, Jason M
last_name: Starr
citation:
ama: Browning TD, Heath Brown R, Starr J. The density of rational points on non-singular
hypersurfaces, II. Proceedings of the London Mathematical Society. 2006;93(2):273-303.
doi:https://doi.org/10.1112/S0024611506015784
apa: Browning, T. D., Heath Brown, R., & Starr, J. (2006). The density of rational
points on non-singular hypersurfaces, II. Proceedings of the London Mathematical
Society. John Wiley and Sons Ltd. https://doi.org/10.1112/S0024611506015784
chicago: Browning, Timothy D, Roger Heath Brown, and Jason Starr. “The Density of
Rational Points on Non-Singular Hypersurfaces, II.” Proceedings of the London
Mathematical Society. John Wiley and Sons Ltd, 2006. https://doi.org/10.1112/S0024611506015784.
ieee: T. D. Browning, R. Heath Brown, and J. Starr, “The density of rational points
on non-singular hypersurfaces, II,” Proceedings of the London Mathematical
Society, vol. 93, no. 2. John Wiley and Sons Ltd, pp. 273–303, 2006.
ista: Browning TD, Heath Brown R, Starr J. 2006. The density of rational points
on non-singular hypersurfaces, II. Proceedings of the London Mathematical Society.
93(2), 273–303.
mla: Browning, Timothy D., et al. “The Density of Rational Points on Non-Singular
Hypersurfaces, II.” Proceedings of the London Mathematical Society, vol.
93, no. 2, John Wiley and Sons Ltd, 2006, pp. 273–303, doi:https://doi.org/10.1112/S0024611506015784.
short: T.D. Browning, R. Heath Brown, J. Starr, Proceedings of the London Mathematical
Society 93 (2006) 273–303.
date_created: 2018-12-11T11:45:14Z
date_published: 2006-09-01T00:00:00Z
date_updated: 2021-01-12T06:55:29Z
day: '01'
doi: https://doi.org/10.1112/S0024611506015784
extern: 1
intvolume: ' 93'
issue: '2'
month: '09'
page: 273 - 303
publication: Proceedings of the London Mathematical Society
publication_status: published
publisher: John Wiley and Sons Ltd
publist_id: '7698'
quality_controlled: 0
status: public
title: The density of rational points on non-singular hypersurfaces, II
type: journal_article
volume: 93
year: '2006'
...
---
_id: '3978'
abstract:
- lang: eng
text: Evaluating the quality of experimentally determined protein structural models
is an essential step toward identifying potential errors and guiding further structural
refinement. Herein, we report the use of proton local density as a sensitive measure
to assess the quality of nuclear magnetic resonance (NMR) structures. Using 256
high-resolution crystal structures with protons added and optimized, we show that
the local density of different proton types display distinct distributions. These
distributions can be characterized by statistical moments and are used to establish
local density Z-scores for evaluating both global and local packing for individual
protons. Analysis of 546 crystal structures at various resolutions shows that
the local density Z-scores increase as the structural resolution decreases and
correlate well with the ClashScore (Word et al. J Mol Biol 1999;285(4):1711-1733)
generated by all atom contact analysis. Local density Z-scores for NMR structures
exhibit a significantly wider range of values than for X-ray structures and demonstrate
a combination of potentially problematic inflation and compression. Water-refined
NMR structures show improved packing quality. Our analysis of a high-quality structural
ensemble of ubiquitin refined against order parameters shows proton density distributions
that correlate nearly perfectly with our standards derived from crystal structures,
further validating our approach. We present an automated analysis and visualization
tool for proton packing to evaluate the quality of NMR structures.
author:
- first_name: Yih
full_name: Ban, Yih-En Andrew
last_name: Ban
- first_name: Johannes
full_name: Rudolph, Johannes
last_name: Rudolph
- first_name: Pei
full_name: Zhou, Pei
last_name: Zhou
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
citation:
ama: 'Ban Y, Rudolph J, Zhou P, Edelsbrunner H. Evaluating the quality of NMR structures
by local density of protons. Proteins: Structure, Function and Bioinformatics.
2006;62(4):852-864. doi:10.1002/prot.20811'
apa: 'Ban, Y., Rudolph, J., Zhou, P., & Edelsbrunner, H. (2006). Evaluating
the quality of NMR structures by local density of protons. Proteins: Structure,
Function and Bioinformatics. Wiley-Blackwell. https://doi.org/10.1002/prot.20811'
chicago: 'Ban, Yih, Johannes Rudolph, Pei Zhou, and Herbert Edelsbrunner. “Evaluating
the Quality of NMR Structures by Local Density of Protons.” Proteins: Structure,
Function and Bioinformatics. Wiley-Blackwell, 2006. https://doi.org/10.1002/prot.20811.'
ieee: 'Y. Ban, J. Rudolph, P. Zhou, and H. Edelsbrunner, “Evaluating the quality
of NMR structures by local density of protons,” Proteins: Structure, Function
and Bioinformatics, vol. 62, no. 4. Wiley-Blackwell, pp. 852–864, 2006.'
ista: 'Ban Y, Rudolph J, Zhou P, Edelsbrunner H. 2006. Evaluating the quality of
NMR structures by local density of protons. Proteins: Structure, Function and
Bioinformatics. 62(4), 852–864.'
mla: 'Ban, Yih, et al. “Evaluating the Quality of NMR Structures by Local Density
of Protons.” Proteins: Structure, Function and Bioinformatics, vol. 62,
no. 4, Wiley-Blackwell, 2006, pp. 852–64, doi:10.1002/prot.20811.'
short: 'Y. Ban, J. Rudolph, P. Zhou, H. Edelsbrunner, Proteins: Structure, Function
and Bioinformatics 62 (2006) 852–864.'
date_created: 2018-12-11T12:06:14Z
date_published: 2006-03-01T00:00:00Z
date_updated: 2021-01-12T07:53:36Z
day: '01'
doi: 10.1002/prot.20811
extern: 1
intvolume: ' 62'
issue: '4'
month: '03'
page: 852 - 864
publication: 'Proteins: Structure, Function and Bioinformatics'
publication_status: published
publisher: Wiley-Blackwell
publist_id: '2146'
quality_controlled: 0
status: public
title: Evaluating the quality of NMR structures by local density of protons
type: journal_article
volume: 62
year: '2006'
...
---
_id: '3979'
abstract:
- lang: eng
text: Protein-protein interactions, which form the basis for most cellular processes,
result in the formation of protein interfaces. Believing that the local shape
of proteins is crucial, we take a geometric approach and present a definition
of an interface surface formed by two or more proteins as a subset of their Voronoi
diagram. The definition deals with the difficult and important problem of specifying
interface boundaries by invoking methods used in the alpha shape representation
of molecules, the discrete flow on Delaunay simplices to define pockets and reconstruct
surfaces, and the assessment of the importance of topological features. We present
an algorithm to construct the surface and define a hierarchy that distinguishes
core and peripheral regions. This hierarchy is shown to have correlation with
hot-spots in protein-protein interactions. Finally, we study the geometric and
topological properties of interface surfaces and show their high degree of contortion.
author:
- first_name: Yih
full_name: Ban, Yih-En Andrew
last_name: Ban
- first_name: Herbert
full_name: Herbert Edelsbrunner
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Johannes
full_name: Rudolph, Johannes
last_name: Rudolph
citation:
ama: Ban Y, Edelsbrunner H, Rudolph J. Interface surfaces for protein-protein complexes.
Journal of the ACM. 2006;53(3):361-378. doi:10.1145/1147954.1147957
apa: Ban, Y., Edelsbrunner, H., & Rudolph, J. (2006). Interface surfaces for
protein-protein complexes. Journal of the ACM. ACM. https://doi.org/10.1145/1147954.1147957
chicago: Ban, Yih, Herbert Edelsbrunner, and Johannes Rudolph. “Interface Surfaces
for Protein-Protein Complexes.” Journal of the ACM. ACM, 2006. https://doi.org/10.1145/1147954.1147957.
ieee: Y. Ban, H. Edelsbrunner, and J. Rudolph, “Interface surfaces for protein-protein
complexes,” Journal of the ACM, vol. 53, no. 3. ACM, pp. 361–378, 2006.
ista: Ban Y, Edelsbrunner H, Rudolph J. 2006. Interface surfaces for protein-protein
complexes. Journal of the ACM. 53(3), 361–378.
mla: Ban, Yih, et al. “Interface Surfaces for Protein-Protein Complexes.” Journal
of the ACM, vol. 53, no. 3, ACM, 2006, pp. 361–78, doi:10.1145/1147954.1147957.
short: Y. Ban, H. Edelsbrunner, J. Rudolph, Journal of the ACM 53 (2006) 361–378.
date_created: 2018-12-11T12:06:14Z
date_published: 2006-05-01T00:00:00Z
date_updated: 2021-01-12T07:53:37Z
day: '01'
doi: 10.1145/1147954.1147957
extern: 1
intvolume: ' 53'
issue: '3'
month: '05'
page: 361 - 378
publication: Journal of the ACM
publication_status: published
publisher: ACM
publist_id: '2147'
quality_controlled: 0
status: public
title: Interface surfaces for protein-protein complexes
type: journal_article
volume: 53
year: '2006'
...
---
_id: '212'
abstract:
- lang: eng
text: For any n ≧ 2, let F ∈ ℤ [ x 1, … , xn ] be a form of degree d≧ 2, which produces
a geometrically irreducible hypersurface in ℙn–1. This paper is concerned with
the number N(F;B) of rational points on F = 0 which have height at most B. For
any ε > 0 we establish the estimate N(F; B) = O(B n− 2+ ε ), whenever either
n ≦ 5 or the hypersurface is not a union of lines. Here the implied constant depends
at most upon d, n and ε.
author:
- first_name: Timothy D
full_name: Timothy Browning
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Roger
full_name: Heath-Brown, Roger
last_name: Heath Brown
citation:
ama: Browning TD, Heath Brown R. Counting rational points on hypersurfaces. Journal
fur die Reine und Angewandte Mathematik. 2005;(584):83-115. doi:https://doi.org/10.1515/crll.2005.2005.584.83
apa: Browning, T. D., & Heath Brown, R. (2005). Counting rational points on
hypersurfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter
de Gruyter and Co . https://doi.org/10.1515/crll.2005.2005.584.83
chicago: Browning, Timothy D, and Roger Heath Brown. “Counting Rational Points on
Hypersurfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter
de Gruyter and Co , 2005. https://doi.org/10.1515/crll.2005.2005.584.83.
ieee: T. D. Browning and R. Heath Brown, “Counting rational points on hypersurfaces,”
Journal fur die Reine und Angewandte Mathematik, no. 584. Walter de Gruyter
and Co , pp. 83–115, 2005.
ista: Browning TD, Heath Brown R. 2005. Counting rational points on hypersurfaces.
Journal fur die Reine und Angewandte Mathematik. (584), 83–115.
mla: Browning, Timothy D., and Roger Heath Brown. “Counting Rational Points on Hypersurfaces.”
Journal Fur Die Reine Und Angewandte Mathematik, no. 584, Walter de Gruyter
and Co , 2005, pp. 83–115, doi:https://doi.org/10.1515/crll.2005.2005.584.83.
short: T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik
(2005) 83–115.
date_created: 2018-12-11T11:45:14Z
date_published: 2005-11-26T00:00:00Z
date_updated: 2021-01-12T06:55:25Z
day: '26'
doi: https://doi.org/10.1515/crll.2005.2005.584.83
extern: 1
issue: '584'
main_file_link:
- open_access: '1'
url: https://arxiv.org/abs/0707.2296
month: '11'
oa: 1
page: 83 - 115
publication: Journal fur die Reine und Angewandte Mathematik
publication_status: published
publisher: 'Walter de Gruyter and Co '
publist_id: '7701'
quality_controlled: 0
status: public
title: Counting rational points on hypersurfaces
type: journal_article
year: '2005'
...