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"

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.

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.

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 completeness maps in each survey’s full magnitude range. At the bright end (G &lt; 13), we find that ASAS-SN-II and Gaia are near 100 per cent complete in RRab at high latitude (|b| &gt; 20°); ASAS-SN-II has the best completeness at low latitude for RRab and at all latitudes for RRc. At the faint end (G &gt; 13), Gaia DR2 is the most complete catalogue for both RR Lyrae types, at any latitude, with median completeness rates of $95{{\ \rm per\ cent}}$ (RRab) and $\gt 85{{\ \rm per\ cent}}$ (RRc) outside the ecliptic plane (|β| &gt; 25°). We confirm high and uniform completeness of PanSTARRS-1 RR Lyrae at 91 per cent (ab) and 82 per cent (c) down to G ∼ 18, and provide the first estimate of its completeness at low galactic latitude (|b| ≤ 20°) at estimated medians $65{{\ \rm per\ cent}}$ (ab) and $50\!-\!60{{\ \rm per\ cent}}$ (c). Our results are publicly available as 2D and 3D completeness maps, and as functions to evaluate each survey’s completeness versus distance or per line of sight.

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

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 transition systems. Moreover, we derive an efficient polynomial time algorithm for deciding bisimulation equivalence for finite probabilistic labeled transition systems. The special case of initiated probabilistic transition systems will be considered. We show that the isomorphism problem for finite initiated labeled probabilistic transition systems is NC(1) equivalent to graph isomorphism.

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

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-interference policy, one can compute an abstract domain that over-approximates the information released by the policy and then check whether program execution can release more information than permitted by the policy. Counterexamples to a policy can be generated by using a variant of the Paige–Tarjan algorithm for partition refinement. Given the counterexamples, the policy can be refined so that the least amount of confidential information required for making the program secure is declassified.

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

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 detection and contact tracing and speed of isolation and quarantine using parameters consistent with COVID-19 transmission (R0: 2.5, generation time: 6.5 days). We show that R is most sensitive to changes in the proportion of cases detected in almost all scenarios, and other metrics have a reduced impact when case detection levels are low (<30%). Although test-trace-isolate programs can contribute substantially to reducing R, exceptional performance across all metrics is needed to bring R below one through test-trace-isolate alone, highlighting the need for comprehensive control strategies. Results from this model also indicate that metrics used to evaluate performance of test-trace-isolate, such as the proportion of identified infections among traced contacts, may be misleading. While estimates of the impact of test-trace-isolate are sensitive to assumptions about COVID-19 natural history and adherence to isolation and quarantine, our qualitative findings are robust across numerous sensitivity analyses. Conclusions Effective test-trace-isolate programs first need to be strong in the “test” component, as case detection underlies all other program activities. Even moderately effective test-trace-isolate programs are an important tool for controlling the COVID-19 pandemic and can alleviate the need for more restrictive social distancing measures.

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

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.

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 impact of these final Kepler properties, we revisit benchmark exoplanet occurrence rate measurements from the literature. We compare our measurements with previous studies to both validate our method and observe the dependence of these benchmarks on updated stellar and planet properties. For FGK stars, between 0.5 and 16 R ⊕ and between 1 and 400 days, we find an occurrence of 1.52 ± 0.08 planets per star. We investigate the dependence of occurrence as a function of radius, orbital period, and stellar type and compare with previous studies with excellent agreement. We measure the minimum of the radius valley to be 1.78 − 0.16 + 0.14 R ⊕ for FGK stars and find it to move to smaller radii for cooler stars. We also present new measurements of the slope of the occurrence cliff at 3–4 R ⊕, and find that the cliff becomes less steep at long orbital period. Our methodology will enable us to constrain theoretical models of planet formation and evolution in the future.

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

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 understanding how well we can currently model those emissions and what the factors are that contribute to uncertainties in those emission estimates. Here, we combine various satellite-derived burned area products, a terrestrial ecosystem model to simulate fuel loads and the effect of fire on ecosystem dynamics, a model of fuel combustion, and various emission models that relate combusted biomass to the emission of various trace gases and aerosols. We carry out simulations with varying parameters for combustion completeness and fuel decomposition rates within published estimates, four different emissions models and three different global burned-area products. We find that variations in combustion completeness and simulated fuel loads have the largest impact on simulated global emissions for most species, except for some with highly uncertain emission factors. Variation in burned-area estimates also contribute considerably to emission uncertainties. We conclude that global models urgently need more field-based data for better parameterisation of combustion completeness and validation of simulated fuel loads, and that further validation and improvement of burned area information is necessary for accurately modelling global wildfire emissions. The results are important for chemical transport modelling studies, and for simulations of biomass burning impacts on the atmosphere under future climate change scenarios.

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

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!