Journal articles on the topic 'Trace completeness'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research 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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Roşu, Grigore. "Finite-trace linear temporal logic: coinductive completeness." Formal Methods in System Design 53, no. 1 (June 26, 2018): 138–63. http://dx.doi.org/10.1007/s10703-018-0321-3.
Full textWetzel, 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 textMateu, 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 (June 12, 2020): 3291–307. http://dx.doi.org/10.1093/mnras/staa1676.
Full textHuynh, Dung T., and Lu Tian. "On Some Equivalence Relations for Probabilistic Processes1." Fundamenta Informaticae 17, no. 3 (September 1, 1992): 211–34. http://dx.doi.org/10.3233/fi-1992-17304.
Full textMASTROENI, ISABELLA, and ANINDYA BANERJEE. "Modelling declassification policies using abstract domain completeness." Mathematical Structures in Computer Science 21, no. 6 (October 27, 2011): 1253–99. http://dx.doi.org/10.1017/s096012951100020x.
Full textGrantz, Kyra H., Elizabeth C. Lee, Lucy D’Agostino McGowan, Kyu Han Lee, C. Jessica E. Metcalf, Emily S. Gurley, and Justin Lessler. "Maximizing and evaluating the impact of test-trace-isolate programs: A modeling study." PLOS Medicine 18, no. 4 (April 30, 2021): e1003585. http://dx.doi.org/10.1371/journal.pmed.1003585.
Full textBogdanova, 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 textDattilo, Anne, Natalie M. Batalha, and Steve Bryson. "A Unified Treatment of Kepler Occurrence to Trace Planet Evolution. I. Methodology." Astronomical Journal 166, no. 3 (August 22, 2023): 122. http://dx.doi.org/10.3847/1538-3881/acebc8.
Full textKnorr, W., V. Lehsten, and A. Arneth. "Determinants and predictability of global wildfire emissions." Atmospheric Chemistry and Physics 12, no. 15 (August 1, 2012): 6845–61. http://dx.doi.org/10.5194/acp-12-6845-2012.
Full textHertz, 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 (January 1987): 487–91. http://dx.doi.org/10.1007/bf00475970.
Full textKorytov, Dmitry, and Mikhail Cherkashin. "Improvement of the Method of Calculating the Shoe Size by Incomplete Display of the Footprint Formed by the Sole." Baikal Research Journal 14, no. 3 (August 31, 2023): 1321–31. http://dx.doi.org/10.17150/2411-6262.2023.14(3).1321-1331.
Full textWang, Feng, Pingzhi Liu, Yun Yang, Haiping Wei, and Xiaoya An. "A Novel Method for Reconstructing Broken Contour Lines Extracted from Scanned Topographic Maps." Proceedings of the ICA 1 (May 16, 2018): 1–7. http://dx.doi.org/10.5194/ica-proc-1-121-2018.
Full textHansen, John Mark. "Individuals, Institutions, and Public Preferences over Public Finance." American Political Science Review 92, no. 3 (September 1998): 513–31. http://dx.doi.org/10.2307/2585478.
Full textMchedlova, Maria M., and Alexander V. Sokolov. "Russian Regions in Political Research and Identity Studies: Introducing the Issue." RUDN Journal of Political Science 24, no. 4 (December 7, 2022): 613–18. http://dx.doi.org/10.22363/2313-1438-2022-24-4-613-618.
Full textZhuravlev, Sergey. "Methodological bases and didactic tools of forensic culture of law enforcement: content of version analysis of criminal reality, development of a plan for forming evidence and tactical and methodological algorithms for their fixing." Legal Science and Practice: Journal of Nizhny Novgorod Academy of the Ministry of Internal Affairs of Russia 2022, no. 3 (October 7, 2022): 120–26. http://dx.doi.org/10.36511/2078-5356-2022-3-120-126.
Full textJeong, Dong Hee, and Chan Hee Lee. "Interpretation of the Pigments Analysis and Coloration Techniques for Ksitigarbha Bodhisattva Painting within the Myengbujeon Hall in Namwon Seonwonsa Temple, Korea." Journal of Conservation Science 39, no. 3 (September 20, 2023): 269–87. http://dx.doi.org/10.12654/jcs.2023.39.3.09.
Full textAlekseev, Anton O., and Grigori G. Amosov. "On extension of the family of projections to positive operator-valued measure." Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy 10, no. 1 (2023): 3–13. http://dx.doi.org/10.21638/spbu01.2023.101.
Full textLee, Seunghye. "What Was in the “Precious Casket Seal”?: Material Culture of the Karaṇḍamudrā Dhāraṇī throughout Medieval Maritime Asia." Religions 12, no. 1 (December 24, 2020): 13. http://dx.doi.org/10.3390/rel12010013.
Full textGrewe, V., E. Tsati, and P. Hoor. "On the attribution of contributions of atmospheric trace gases to emissions in atmospheric model applications." Geoscientific Model Development 3, no. 2 (October 12, 2010): 487–99. http://dx.doi.org/10.5194/gmd-3-487-2010.
Full textDzagurov, B. A., V. I. Eremenko, A. G. Karlov, M. A. Payukhina, and V. N. Suvorova. "The effect of bentonite feeding for young cattle on the exchange of nitrogen, mineral elements and the digestibility of diet nutrients." E3S Web of Conferences 254 (2021): 08028. http://dx.doi.org/10.1051/e3sconf/202125408028.
Full textTan, Chengwei. "Research on the Path of Sports Sociology Curriculum from the Interdisciplinary Perspective." Mobile Information Systems 2022 (May 9, 2022): 1–8. http://dx.doi.org/10.1155/2022/3415257.
Full textKnorr, W., V. Lehsten, and A. Arneth. "Determinants and predictability of global wildfire emissions." Atmospheric Chemistry and Physics Discussions 12, no. 2 (February 6, 2012): 4243–78. http://dx.doi.org/10.5194/acpd-12-4243-2012.
Full textKalashnikova, E. A., and V. M. Glushak. "PHONOSTYLISTIC VARIABILITY OF COMMENTING IN A GERMAN SPORTS REPORT." Philology at MGIMO 20, no. 4 (December 20, 2019): 16–21. http://dx.doi.org/10.24833/2410-2423-2019-4-20-16-21.
Full textBinbelov, Kamen. "Football Fans Antisocial Acts during The First League Matches in Season 2022/2023 and Bulgarian Football Union’s Sanctions." Strategies for Policy in Science and Education-Strategii na Obrazovatelnata i Nauchnata Politika 31, no. 5s (September 25, 2023): 81–88. http://dx.doi.org/10.53656/str2023-5s-8-foo.
Full textStepaniuk, R. L., and V. O. Husieva. "Investigation of criminal offences against property: typical investigative situations and problems of applying specialised knowledge." Bulletin of Kharkiv National University of Internal Affairs 101, no. 2 (P. 1) (July 2, 2023): 261–75. http://dx.doi.org/10.32631/v.2023.2.24.
Full textGanty, Pierre, Francesco Ranzato, and Pedro Valero. "Complete Abstractions for Checking Language Inclusion." ACM Transactions on Computational Logic 22, no. 4 (October 31, 2021): 1–40. http://dx.doi.org/10.1145/3462673.
Full textDolgorouky, C., V. Gros, R. Sarda-Esteve, V. Sinha, J. Williams, N. Marchand, S. Sauvage, L. Poulain, J. Sciare, and B. Bonsang. "Total OH reactivity measurements in Paris during the 2010 MEGAPOLI winter campaign." Atmospheric Chemistry and Physics Discussions 12, no. 4 (April 27, 2012): 10937–94. http://dx.doi.org/10.5194/acpd-12-10937-2012.
Full textDolgorouky, C., V. Gros, R. Sarda-Esteve, V. Sinha, J. Williams, N. Marchand, S. Sauvage, L. Poulain, J. Sciare, and B. Bonsang. "Total OH reactivity measurements in Paris during the 2010 MEGAPOLI winter campaign." Atmospheric Chemistry and Physics 12, no. 20 (October 22, 2012): 9593–612. http://dx.doi.org/10.5194/acp-12-9593-2012.
Full textKotova, Tatiana, and Svetlana Malkhazova. "Atlas cancer mapping abroad." InterCarto. InterGIS 28, no. 2 (2022): 244–60. http://dx.doi.org/10.35595/2414-9179-2022-2-28-244-260.
Full textBasir, Nur'aina, Budi Hartono, Aldiga Rienarti Abidin, Endang Purnawati Rahayu, and Abdur Rahman Hamid. "ANALYSIS OF MANAGEMENT ELEMENTS AND MEDICAL RECORD PROCESSING SYSTEM AT BHAYANGKARA HOSPITAL PEKANBARU." Indonesian Journal of Public Health 17, no. 3 (November 4, 2022): 462–76. http://dx.doi.org/10.20473/ijph.v17i3.2022.462-476.
Full textBaggenstos, Daniel, Thomas K. Bauska, Jeffrey P. Severinghaus, James E. Lee, Hinrich Schaefer, Christo Buizert, Edward J. Brook, Sarah Shackleton, and Vasilii V. Petrenko. "Atmospheric gas records from Taylor Glacier, Antarctica, reveal ancient ice with ages spanning the entire last glacial cycle." Climate of the Past 13, no. 7 (July 20, 2017): 943–58. http://dx.doi.org/10.5194/cp-13-943-2017.
Full textThames, Alexander B., William H. Brune, David O. Miller, Hannah M. Allen, Eric C. Apel, Donald R. Blake, T. Paul Bui, et al. "Missing OH reactivity in the global marine boundary layer." Atmospheric Chemistry and Physics 20, no. 6 (April 2, 2020): 4013–29. http://dx.doi.org/10.5194/acp-20-4013-2020.
Full textHammam, Hammam. "Analysis of Chicken Cutting Practices in RPA (Chicken Cut House) Kamal BangkalanBases Reviewed from the LPPOM MUI Halal Guarantee System." Proceeding of Annual Conference on Islamic Economy and Law 1, no. 2 (August 18, 2022): 218–26. http://dx.doi.org/10.21107/aciel.v1i2.92.
Full textHan, Xiaolong, Andrew Hassell, Hamid Hezari, and Steve Zelditch. "Completeness of boundary traces of eigenfunctions." Proceedings of the London Mathematical Society 111, no. 3 (September 2015): 749–73. http://dx.doi.org/10.1112/plms/pdv018.
Full textSmoliar, Inessa, and Lesia Turovska. "Transformation of library and information services in terms of remote service." Вісник Книжкової палати, no. 3 (March 13, 2020): 17–20. http://dx.doi.org/10.36273/2076-9555.2020.3(284).17-20.
Full textKomovskaya, Elena Vital'evna. "Two-part infinitive, one-part, and infrequent communicative metamodels." Филология: научные исследования, no. 1 (January 2022): 95–105. http://dx.doi.org/10.7256/2454-0749.2022.1.35119.
Full textRamazanov, Arsen Sh, David R. Ataev, and Miyasat A. Kasparov. "OBTAINING HIGH QUALITY LITHIUM CARBONATE FROM NATURAL LITHIUM-CONTAINING BRINES." IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII KHIMIYA KHIMICHESKAYA TEKHNOLOGIYA 64, no. 4 (April 11, 2021): 52–58. http://dx.doi.org/10.6060/ivkkt.20216404.6238.
Full textKuchner, Ulrike, Alfonso Aragón-Salamanca, Frazer R. Pearce, Meghan E. Gray, Agustín Rost, Chunliang Mu, Charlotte Welker, et al. "Mapping and characterization of cosmic filaments in galaxy cluster outskirts: strategies and forecasts for observations from simulations." Monthly Notices of the Royal Astronomical Society 494, no. 4 (April 23, 2020): 5473–91. http://dx.doi.org/10.1093/mnras/staa1083.
Full textPrashcheruk, Natalia V. "Ivan Bunin’s Attraction: The Formation of a Creative Personality." Izvestia of the Ural federal university. Series 2. Humanities and Arts 22, no. 4 (202) (2020): 224–37. http://dx.doi.org/10.15826/izv2.2020.22.4.073.
Full textIhara, Yutaka, Mamoru Doi, Tomoki Morokuma, Raynald Pain, Naohiro Takanashi, Naoki Yasuda, Greg Aldering, et al. "A rate study of Type Ia supernovae with Subaru/XMM-Newton Deep Survey." Proceedings of the International Astronomical Union 5, S262 (August 2009): 358–61. http://dx.doi.org/10.1017/s1743921310003224.
Full textWu, Chih-Fu, Hsiang-Ping Wu, Yung-Hsiang Tu, and I.-Ting Yeh. "3D Pen Tactile Pictures Generated by Individuals with Visual Impairments." Journal of Visual Impairment & Blindness 114, no. 5 (September 2020): 382–92. http://dx.doi.org/10.1177/0145482x20954759.
Full textBorshchuk, Evgeniy L., Dmitriy N. Begun, and Aislu N. Duisembaeva. "Regional experience in the management of mortality monitoring." HEALTH CARE OF THE RUSSIAN FEDERATION 67, no. 2 (April 28, 2023): 111–17. http://dx.doi.org/10.47470/0044-197x-2023-67-2-111-117.
Full textIvanenko, Olena. "Etymology and Historiography of the Ukrainian Headscarf as an Element of National Dress." Demiurge: Ideas, Technologies, Perspectives of Design 4, no. 2 (December 13, 2021): 254–64. http://dx.doi.org/10.31866/2617-7951.4.2.2021.246847.
Full textKamyshanskyi, V. I. "LEGAL ASPECTS OF DIGITALIZATION OF INTERNATIONAL TRADE THROUGH IMPLEMENTATION OF BLOCKCHAIN TECHNOLOGY (EXPERIENCE FOR UKRAINE)." Economics and Law, no. 4 (December 8, 2022): 31–42. http://dx.doi.org/10.15407/econlaw.2022.04.031.
Full textGrewe, Volker, Eleni Tsati, Mariano Mertens, Christine Frömming, and Patrick Jöckel. "Contribution of emissions to concentrations: the TAGGING 1.0 submodel based on the Modular Earth Submodel System (MESSy 2.52)." Geoscientific Model Development 10, no. 7 (July 10, 2017): 2615–33. http://dx.doi.org/10.5194/gmd-10-2615-2017.
Full textСАТМБЕКОВА, Д. К., К. М. ИБРАХИМ, Ж. К. АЛИМСЕИТОВА, У. С. АЛИМОВА, and М. А. МАДЖИТОВА. "PHYTOCHEMICAL COMPOSITION AND BIOLOGICAL ACTIVITY OF THE GENUS MALUS MILL. (REVIEW)." Farmaciâ Kazahstana, no. 4 (September 16, 2022): 238–45. http://dx.doi.org/10.53511/pharmkaz.2022.58.15.037.
Full textGoldfarb, Warren. "On Gödel's Way In: The Influence of Rudolf Carnap." Bulletin of Symbolic Logic 11, no. 2 (June 2005): 185–93. http://dx.doi.org/10.2178/bsl/1120231629.
Full textBartha, Miklós. "On the Completeness of the Traced Monoidal Category Axioms in (Rel,+)." Acta Cybernetica 23, no. 1 (2017): 327–47. http://dx.doi.org/10.14232/actacyb.23.1.2017.18.
Full textSuparto, Arico Ayani, and Rahmat Shofan Razaqi. "Penerapan Cisco Packet Tracer Sebagai Media Pembelajaran Jaringan Untuk Meningkatkan Hasil Belajar Siswa Pada Kelas X TKJ di SMK 2 Ibrahimy Sukorejo." Jurnal IKA PGSD (Ikatan Alumni PGSD) UNARS 7, no. 1 (June 20, 2019): 1. http://dx.doi.org/10.36841/pgsdunars.v7i1.405.
Full textKubrin, Charis E., Young-An Kim, and John R. Hipp. "Institutional Completeness and Crime Rates in Immigrant Neighborhoods." Journal of Research in Crime and Delinquency 56, no. 2 (September 19, 2018): 175–212. http://dx.doi.org/10.1177/0022427818799125.
Full text