Log in

Relevant bibliographies by topics / Trace completeness

Contents

Journal articles

Academic literature on the topic 'Trace completeness'

Author: Grafiati

Published: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Trace completeness.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Trace completeness"

1

Roşu, Grigore. "Finite-trace linear temporal logic: coinductive completeness." Formal Methods in System Design 53, no. 1 (2018): 138–63. http://dx.doi.org/10.1007/s10703-018-0321-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Wetzel, Andreas, and Thomas Aigner. "Stratigraphic completeness: Tiered trace fossils provide a measuring stick." Geology 14, no. 3 (1986): 234. http://dx.doi.org/10.1130/0091-7613(1986)14<234:scttfp>2.0.co;2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Mateu, Cecilia, Berry Holl, Joris De Ridder, and Lorenzo Rimoldini. "Empirical completeness assessment of the Gaia DR2, Pan-STARRS 1, and ASAS-SN-II RR Lyrae catalogues." Monthly Notices of the Royal Astronomical Society 496, no. 3 (2020): 3291–307. http://dx.doi.org/10.1093/mnras/staa1676.

Full text

Abstract:

ABSTRACT RR Lyrae stars are an important and widely used tracer of the most ancient populations of our Galaxy, mainly due to their standard candle nature. The current availability of large-scale surveys of variable stars is allowing us to trace the structure of our entire Galaxy, even in previously inaccessible areas like the Galactic disc. In this work, we aim to provide an empirical assessment of the completeness of the three largest RR Lyrae catalogues available: Gaia DR2, PanSTARRS-1, and ASAS-SN-II. Using a joint probabilistic analysis of the three surveys we compute 2D and 3D completenes

APA, Harvard, Vancouver, ISO, and other styles

4

Huynh, Dung T., and Lu Tian. "On Some Equivalence Relations for Probabilistic Processes1." Fundamenta Informaticae 17, no. 3 (1992): 211–34. http://dx.doi.org/10.3233/fi-1992-17304.

Full text

Abstract:

In this paper, we investigate several equivalence relations for probabilistic labeled transition systems: bisimulation equivalence, readiness equivalence, failure equivalence, trace equivalence, maximal trace equivalence and finite trace equivalence. We formally prove the inclusions (equalities) among these equivalences. We also show that readiness, failure, trace, maximum trace and finite trace equivalences for finite probabilistic labeled transition systems are decidable in polynomial time. This should be contrasted with the PSPACE completeness of the same equivalences for classical labeled

APA, Harvard, Vancouver, ISO, and other styles

5

MASTROENI, ISABELLA, and ANINDYA BANERJEE. "Modelling declassification policies using abstract domain completeness." Mathematical Structures in Computer Science 21, no. 6 (2011): 1253–99. http://dx.doi.org/10.1017/s096012951100020x.

Full text

Abstract:

This paper explores a three dimensional characterisation of a declassification-based non-interference policy and its consequences. Two of the dimensions consist of specifying:(a)the power of the attacker, that is, what public information a program has that an attacker can observe; and(b)what secret information a program has that needs to be protected.Both these dimensions are regulated by the third dimension:(c)the choice of program semantics, for example, trace semantics or denotational semantics, or any semantics in Cousot's semantics hierarchy.To check whether a program satisfies a non-inte

APA, Harvard, Vancouver, ISO, and other styles

6

Grantz, Kyra H., Elizabeth C. Lee, Lucy D’Agostino McGowan, et al. "Maximizing and evaluating the impact of test-trace-isolate programs: A modeling study." PLOS Medicine 18, no. 4 (2021): e1003585. http://dx.doi.org/10.1371/journal.pmed.1003585.

Full text

Abstract:

Background Test-trace-isolate programs are an essential part of coronavirus disease 2019 (COVID-19) control that offer a more targeted approach than many other nonpharmaceutical interventions. Effective use of such programs requires methods to estimate their current and anticipated impact. Methods and findings We present a mathematical modeling framework to evaluate the expected reductions in the reproductive number, R, from test-trace-isolate programs. This framework is implemented in a publicly available R package and an online application. We evaluated the effects of completeness in case de

APA, Harvard, Vancouver, ISO, and other styles

7

Bogdanova, Galina, Todor Todorov, and Stefka Kancheva. "Virtual Museum of Russian Bells in Bulgaria." Digital Presentation and Preservation of Cultural and Scientific Heritage 7 (September 10, 2017): 215–22. http://dx.doi.org/10.55630/dipp.2017.7.19.

Full text

Abstract:

The aim of our research is to trace and passport the Russian bells in Bulgaria on the way of the Russian troops from the Danube to Shipka, given in gratitude for the help provided during the Russian-Turkish War (1877-1878). We base our research on previous similar projects that we have successfully completed. In this paper we formulate stages of our project and present current situation in their completeness.

APA, Harvard, Vancouver, ISO, and other styles

8

Dattilo, Anne, Natalie M. Batalha, and Steve Bryson. "A Unified Treatment of Kepler Occurrence to Trace Planet Evolution. I. Methodology." Astronomical Journal 166, no. 3 (2023): 122. http://dx.doi.org/10.3847/1538-3881/acebc8.

Full text

Abstract:

Abstract We present Kepler exoplanet occurrence rates for planets between 0.5 and 16 R ⊕ and between 1 and 400 days. To measure occurrence, we use a nonparametric method via a kernel density estimator and use bootstrap random sampling for uncertainty estimation. We use a full characterization of completeness and reliability measurements from the Kepler Data Release 25 catalog, including detection efficiency, vetting completeness, astrophysical reliability, and false alarm reliability. We also include more accurate and homogeneous stellar radii from Gaia Data Release 2. In order to see the impa

APA, Harvard, Vancouver, ISO, and other styles

9

Knorr, W., V. Lehsten, and A. Arneth. "Determinants and predictability of global wildfire emissions." Atmospheric Chemistry and Physics 12, no. 15 (2012): 6845–61. http://dx.doi.org/10.5194/acp-12-6845-2012.

Full text

Abstract:

Abstract. Biomass burning is one of the largest sources of atmospheric trace gases and aerosols globally. These emissions have a major impact on the radiative balance of the atmosphere and on air quality, and are thus of significant scientific and societal interest. Several datasets have been developed that quantify those emissions on a global grid and offered to the atmospheric modelling community. However, no study has yet attempted to systematically quantify the dependence of the inferred pyrogenic emissions on underlying assumptions and input data. Such a sensitivity study is needed for un

APA, Harvard, Vancouver, ISO, and other styles

10

Hertz, J., and R. Pani. "Investigation of the completeness of digestion procedures prior to voltammetric trace metal analysis of olive leaves." Fresenius' Zeitschrift für analytische Chemie 328, no. 6 (1987): 487–91. http://dx.doi.org/10.1007/bf00475970.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!