-
1
A generalized successive resultant algorithm
Published 2017“…The Successive Resultants Algorithm (SRA) is a root-finding algorithm for polynomials over Fpn and was introduced at ANTS in 2014 [19]. …”
Conference item -
2
Covers of query results
Published 2018“…We introduce succinct lossless representations of query results called covers that are subsets of these results, yet allow for constant-delay enumeration of all result tuples. …”
Conference item -
3
-
4
-
5
ATLAS beam test results
Published 1996“…A significant fraction of these investigations are presented elsewhere in this volume and this paper will concentrate on the results with silicon strip detectors read out with electronics preserving the pulse height information. …”
Conference item -
6
Concrete Results on Abstract Rules
Published 2013“…In this paper, we show that this extreme simplification is still sufficient to obtain a number of useful results in concrete cases. We define abstract rules as a certain kind of functions, provide them with a semantics in terms of (abstract) stable models, and explain how concrete normal logic programming rules can be viewed as abstract rules in a variety of ways. …”
Conference item -
7
Results of CRESST phase I
Published 2002“…Results of the CRESST experiment at Gran Sasso using 262 g sapphire calorimeters with tungsten phase transition thermometers are presented. …”
Conference item -
8
HERA results on the structure of the proton
Published 2003“…A selection of results from the H1 and ZEUS experiments at HERA are reviewed, particularly in the area of deep inelastic scattering and diffraction. …”
Conference item -
9
-
10
-
11
Expressiveness and complexity results for strategic reasoning
Published 2015“…This characterisation allows us to obtain a number of other results relating to the analysis of equilibrium properties in temporal logic.…”
Conference item -
12
X−SOM Results for OAEI 2007
Published 2007“…This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. …”
Conference item -
13
-
14
Complexity Results for Structure−Based Causality
Published 2001“…In the course of this, we also prove an open conjecture by Halpern and Pearl, and establish other semantic results. To our knowledge, no complexity aspects of causal relationships have been considered so far, and our results shed light on this issue.…”
Conference item -
15
First results of tests on the WEAVE fibres
Published 2016“…After a brief description of the Fibre System, we describe the fibre test bench, its calibration, and some test results. We have to verify 1920 fibres from the MOS bundles and 740 fibres from the mini-IFU bundles with the test bench. …”
Conference item -
16
-
17
-
18
-
19
Recent experimental results on charmed baryons
Published 2009“…This paper summarizes recent experimental results on charmed baryons. Two main topics are covered: first, the spectroscopy of charmed baryon states; second, the production of charmed baryons in the decays of B mesons and from the e^+ e^- continuum.…”
Conference item -
20