Acceder

Bibliografías temáticas / Trace completeness

Índice

Artículos de revistas

Literatura académica sobre el tema "Trace completeness"

Autor: Grafiati

Publicado: 25 de mayo de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Trace completeness".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!