Literatura científica selecionada sobre o tema "Trace completeness"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Trace completeness".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Trace completeness"
Roşu, Grigore. "Finite-trace linear temporal logic: coinductive completeness". Formal Methods in System Design 53, n.º 1 (26 de junho de 2018): 138–63. http://dx.doi.org/10.1007/s10703-018-0321-3.
Texto completo da fonteWetzel, Andreas, e Thomas Aigner. "Stratigraphic completeness: Tiered trace fossils provide a measuring stick". Geology 14, n.º 3 (1986): 234. http://dx.doi.org/10.1130/0091-7613(1986)14<234:scttfp>2.0.co;2.
Texto completo da fonteMateu, Cecilia, Berry Holl, Joris De Ridder e 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, n.º 3 (12 de junho de 2020): 3291–307. http://dx.doi.org/10.1093/mnras/staa1676.
Texto completo da fonteHuynh, Dung T., e Lu Tian. "On Some Equivalence Relations for Probabilistic Processes1". Fundamenta Informaticae 17, n.º 3 (1 de setembro de 1992): 211–34. http://dx.doi.org/10.3233/fi-1992-17304.
Texto completo da fonteMASTROENI, ISABELLA, e ANINDYA BANERJEE. "Modelling declassification policies using abstract domain completeness". Mathematical Structures in Computer Science 21, n.º 6 (27 de outubro de 2011): 1253–99. http://dx.doi.org/10.1017/s096012951100020x.
Texto completo da fonteGrantz, Kyra H., Elizabeth C. Lee, Lucy D’Agostino McGowan, Kyu Han Lee, C. Jessica E. Metcalf, Emily S. Gurley e Justin Lessler. "Maximizing and evaluating the impact of test-trace-isolate programs: A modeling study". PLOS Medicine 18, n.º 4 (30 de abril de 2021): e1003585. http://dx.doi.org/10.1371/journal.pmed.1003585.
Texto completo da fonteBogdanova, Galina, Todor Todorov e Stefka Kancheva. "Virtual Museum of Russian Bells in Bulgaria". Digital Presentation and Preservation of Cultural and Scientific Heritage 7 (10 de setembro de 2017): 215–22. http://dx.doi.org/10.55630/dipp.2017.7.19.
Texto completo da fonteDattilo, Anne, Natalie M. Batalha e Steve Bryson. "A Unified Treatment of Kepler Occurrence to Trace Planet Evolution. I. Methodology". Astronomical Journal 166, n.º 3 (22 de agosto de 2023): 122. http://dx.doi.org/10.3847/1538-3881/acebc8.
Texto completo da fonteKnorr, W., V. Lehsten e A. Arneth. "Determinants and predictability of global wildfire emissions". Atmospheric Chemistry and Physics 12, n.º 15 (1 de agosto de 2012): 6845–61. http://dx.doi.org/10.5194/acp-12-6845-2012.
Texto completo da fonteHertz, J., e 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, n.º 6 (janeiro de 1987): 487–91. http://dx.doi.org/10.1007/bf00475970.
Texto completo da fonteTeses / dissertações sobre o assunto "Trace completeness"
Syed, Mohammad Imran. "Wireless passive measurements : tool, redundancy, measurements, and analyses". Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS265.
Texto completo da fonteUnderstanding wireless traffic is fundamental for improving networks and designing advanced algorithms and protocols. In this context, passive measurements have the edge over active measurements, as there is no requirement for any modification in existing network devices. Passive measurements are often less expensive and easier to deploy than other methods. This approach involves monitoring the wireless medium and collecting data on various network parameters, such as signal strength, channel occupancy, and packet loss. It consists of deploying multiple sniffers throughout the target area (sniffers are devices operating in monitor mode that collect the wireless packets regardless of their nature). However, one of the main challenges with passive measurements is ensuring trace completeness, or the ability to collect a complete and accurate dataset. We know that a single sniffer cannot capture all the traffic due to the inherent characteristics of the wireless medium where the environment can be highly dynamic and unpredictable. Several factors can impact trace completeness in wireless passive measurements. These include environmental factors, such as interference from other wireless devices, changes in the physical environment (such as moving objects), and variations in wireless signal propagation due to changes in atmospheric conditions. Additionally, issues with the measurement equipment itself, such as calibration errors or data processing issues, can also impact trace completeness. The importance of trace completeness in wireless passive measurements cannot be overstated. Inaccurate or incomplete data can lead to incorrect conclusions about network performance, which can have significant implications for network planning, optimization, and troubleshooting. For example, incomplete data can result in missed opportunities to identify and address network issues, and incorrect or incomplete trajectory reconstruction. In this thesis, we study the quality of traces captured by a sniffer and investigate the resulting improvements by introducing redundancy in the number of sniffers. We explore the impact of the following two aspects on the quality of wireless traces: the number of sniffing devices and the type of hardware used. We study the variation in the Received Signal Strength Indicator (RSSI) and its impact on distance estimation. The analysis is helped by the development of a readily-usable and easily-available tool, called PyPal, for the synchronization and merging of Wi-Fi traces collected simultaneously
Bahouli, Bassem. "Caracterisations de champs de matrices, potentiels matrices et applications aux operateurs traces". Thesis, Pau, 2021. http://www.theses.fr/2021PAUU3053.
Texto completo da fonteMany authors have used stress fields to solve the equilibrium equation of continuum me- chanics. Airy (1863) solved the two-dimensional case, Maxwell (1870) and Morera (1892) solved the three-dimensional case. The above solutions are special cases of those of Beltrami (1892). Gurtin gave an example of solutions that do not have Beltrami’s S = CurlCurlA representation. He showed that if the domain Ω is regular, then this representation is complete in the class of regular stress fields which are self-equilibrated.My thesis title is ”Characterizations of matrix fields, potential matrices and applications to trace operators”. In this work, we are interested by showing many characterizations ofvector fields, of matrix fields and especially by generalizing the result of Gurtin in the case when the open set and the stress fields are not regular.This thesis consists of five chapters. The first chapter presents the research problem ad- dressed in this thesis. It also presents the origin of the subject of research.In the second chapter, we study the operator . In particular, the existence of potential vectors in different functional frameworks.In Chapters 3 and 4, we will show some versions of Beltrami’s completeness and we deduce some Helmholtz decomopsitions for symmetric matrix fields.The last chapter is devoted to the study of the image of different trace operators of functions W 2,p (Ω), W 3,p (Ω) when Ω is a bounded open of R 2 with Lipschitz boundary. The essential ingredient is given by the Airy’s function or by the Beltrami representation
Capítulos de livros sobre o assunto "Trace completeness"
Roşu, Grigore. "Finite-Trace Linear Temporal Logic: Coinductive Completeness". In Runtime Verification, 333–50. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46982-9_21.
Texto completo da fonteMeyer, Raphaël, e Antoine Petit. "Expressive completeness of LTrL on finite traces: An algebraic proof". In STACS 98, 533–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028588.
Texto completo da fonteDas, Anupam, e Marianna Girlando. "Cyclic Proofs, Hypersequents, and Transitive Closure Logic". In Automated Reasoning, 509–28. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_30.
Texto completo da fonteMatsuura, Toshiyuki, e Banri Ito. "Intra-Firm Trade and Contract Completeness: Evidence from Japanese Foreign-Affiliated Firms". In Internationalization of Japanese Firms, 151–69. Tokyo: Springer Japan, 2014. http://dx.doi.org/10.1007/978-4-431-54532-3_8.
Texto completo da fonteHsu, Tzu-Han, César Sánchez, Sarai Sheinvald e Borzoo Bonakdarpour. "Efficient Loop Conditions for Bounded Model Checking Hyperproperties". In Tools and Algorithms for the Construction and Analysis of Systems, 66–84. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30823-9_4.
Texto completo da fonteLi, Elaine, Felix Stutz, Thomas Wies e Damien Zufferey. "Complete Multiparty Session Type Projection with Automata". In Computer Aided Verification, 350–73. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37709-9_17.
Texto completo da fonteГончарова, Аліна В’ячеславівна. "Глава 8. Договори між спадкоємцями щодо розподілу спадщини". In Серія «Процесуальні науки», 321–57. Київ, Україна: Видавництво "Алерта", 2023. http://dx.doi.org/10.59835/978-617-566-765-1-3-8.
Texto completo da fonteLolli, Gabriele. "Logical completeness, truth, and proofs". In Truth in Mathematics, 117–30. Oxford University PressOxford, 1998. http://dx.doi.org/10.1093/oso/9780198514763.003.0006.
Texto completo da fonteMelamed, Daniel R. "Rethinking Bach Codes". In Rethinking Bach, 227–50. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780190943899.003.0010.
Texto completo da fonteBronowski, Ada. "The Syntax of Lekta". In The Stoics on Lekta, 383–432. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198842880.003.0009.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Trace completeness"
Widom, J., D. Gries e F. B. Schneider. "Completeness and incompleteness of trace-based network proof systems". In the 14th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/41625.41628.
Texto completo da fonteXu, Xianghua, Chao Tong e Jian Wan. "Improve the Completeness of Passive Monitoring Trace in Wireless Sensor Network". In 2010 Asia-Pacific Services Computing Conference (APSCC). IEEE, 2010. http://dx.doi.org/10.1109/apscc.2010.112.
Texto completo da fonteSudarev, A. V. "Low-Toxic Method of Fuel Firing in Gas Turbine Micro-Flame Combustors". In ASME 1990 International Gas Turbine and Aeroengine Congress and Exposition. American Society of Mechanical Engineers, 1990. http://dx.doi.org/10.1115/90-gt-101.
Texto completo da fonteBasina, Polina, Vyacheslav Goiko, Evgeny Petrov e Vyacheslav Bakulin. "Classification community publications of the «VKontakte» for assessing the quality of life of the population". In Dialogue. RSUH, 2022. http://dx.doi.org/10.28995/2075-7182-2022-21-1001-1016.
Texto completo da fonteLengu, Roald, Paolo Missier, Alvaro A. A. Fernandes, Giovanna Guerrini e Marco Mesiti. "Time-completeness trade-offs in record linkage using adaptive query processing". In the 12th International Conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1516360.1516458.
Texto completo da fonteDe Stefano, Claudio, A. Della Cioppa e Angelo Marcelli. "Modeling the trade-off between completeness and consistency in genetic-based handwritten character prototyping". In Electronic Imaging '99, editado por Daniel P. Lopresti e Jiangying Zhou. SPIE, 1999. http://dx.doi.org/10.1117/12.335823.
Texto completo da fonteEray, Ekin, Carl T. Haas, Derek Rayside e Mani Golparvar-Fard. "A Conceptual Framework for Tracking Design Completeness of the Track Line Discipline in Mass Rapid Transit Projects". In 34th International Symposium on Automation and Robotics in Construction. International Association for Automation and Robotics in Construction (IAARC), 2018. http://dx.doi.org/10.22260/isarc2018/0036.
Texto completo da fonteWalters, Robert, Vinodhini Comandur e Karen Feigh. "3D Conformal Pilot Cueing for Rotorcraft Shipboard Landings: A Time Horizon Parametric Study". In Vertical Flight Society 77th Annual Forum & Technology Display. The Vertical Flight Society, 2021. http://dx.doi.org/10.4050/f-0077-2021-16750.
Texto completo da fonteAkintunde, Michael E., Elena Botoeva, Panagiotis Kouvaros e Alessio Lomuscio. "Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems". In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/3.
Texto completo da fonteCesen, Fabricio, P. Gyanesh Patra e Christian Rothenberg. "BB-Gen: A Packet Crafter for Data Plane Evaluation". In XXXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/sbrc_estendido.2018.14174.
Texto completo da fonteRelatórios de organizações sobre o assunto "Trace completeness"
Widom, Jennifer, David Gries e Fred B. Schneider. Trace-Based Network Proof Systems: Expressiveness and Completeness. Fort Belvoir, VA: Defense Technical Information Center, fevereiro de 1989. http://dx.doi.org/10.21236/ada204828.
Texto completo da fonte