Littérature scientifique sur le sujet « Trace completeness »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Trace completeness ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Trace completeness"
Roşu, Grigore. « Finite-trace linear temporal logic : coinductive completeness ». Formal Methods in System Design 53, no 1 (26 juin 2018) : 138–63. http://dx.doi.org/10.1007/s10703-018-0321-3.
Texte intégralWetzel, Andreas, et 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.
Texte intégralMateu, Cecilia, Berry Holl, Joris De Ridder et 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 (12 juin 2020) : 3291–307. http://dx.doi.org/10.1093/mnras/staa1676.
Texte intégralHuynh, Dung T., et Lu Tian. « On Some Equivalence Relations for Probabilistic Processes1 ». Fundamenta Informaticae 17, no 3 (1 septembre 1992) : 211–34. http://dx.doi.org/10.3233/fi-1992-17304.
Texte intégralMASTROENI, ISABELLA, et ANINDYA BANERJEE. « Modelling declassification policies using abstract domain completeness ». Mathematical Structures in Computer Science 21, no 6 (27 octobre 2011) : 1253–99. http://dx.doi.org/10.1017/s096012951100020x.
Texte intégralGrantz, Kyra H., Elizabeth C. Lee, Lucy D’Agostino McGowan, Kyu Han Lee, C. Jessica E. Metcalf, Emily S. Gurley et Justin Lessler. « Maximizing and evaluating the impact of test-trace-isolate programs : A modeling study ». PLOS Medicine 18, no 4 (30 avril 2021) : e1003585. http://dx.doi.org/10.1371/journal.pmed.1003585.
Texte intégralBogdanova, Galina, Todor Todorov et Stefka Kancheva. « Virtual Museum of Russian Bells in Bulgaria ». Digital Presentation and Preservation of Cultural and Scientific Heritage 7 (10 septembre 2017) : 215–22. http://dx.doi.org/10.55630/dipp.2017.7.19.
Texte intégralDattilo, Anne, Natalie M. Batalha et Steve Bryson. « A Unified Treatment of Kepler Occurrence to Trace Planet Evolution. I. Methodology ». Astronomical Journal 166, no 3 (22 août 2023) : 122. http://dx.doi.org/10.3847/1538-3881/acebc8.
Texte intégralKnorr, W., V. Lehsten et A. Arneth. « Determinants and predictability of global wildfire emissions ». Atmospheric Chemistry and Physics 12, no 15 (1 août 2012) : 6845–61. http://dx.doi.org/10.5194/acp-12-6845-2012.
Texte intégralHertz, J., et 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 (janvier 1987) : 487–91. http://dx.doi.org/10.1007/bf00475970.
Texte intégralThèses sur le sujet "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.
Texte intégralUnderstanding 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.
Texte intégralMany 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
Chapitres de livres sur le sujet "Trace completeness"
Roşu, Grigore. « Finite-Trace Linear Temporal Logic : Coinductive Completeness ». Dans Runtime Verification, 333–50. Cham : Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46982-9_21.
Texte intégralMeyer, Raphaël, et Antoine Petit. « Expressive completeness of LTrL on finite traces : An algebraic proof ». Dans STACS 98, 533–43. Berlin, Heidelberg : Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028588.
Texte intégralDas, Anupam, et Marianna Girlando. « Cyclic Proofs, Hypersequents, and Transitive Closure Logic ». Dans Automated Reasoning, 509–28. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_30.
Texte intégralMatsuura, Toshiyuki, et Banri Ito. « Intra-Firm Trade and Contract Completeness : Evidence from Japanese Foreign-Affiliated Firms ». Dans Internationalization of Japanese Firms, 151–69. Tokyo : Springer Japan, 2014. http://dx.doi.org/10.1007/978-4-431-54532-3_8.
Texte intégralHsu, Tzu-Han, César Sánchez, Sarai Sheinvald et Borzoo Bonakdarpour. « Efficient Loop Conditions for Bounded Model Checking Hyperproperties ». Dans 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.
Texte intégralLi, Elaine, Felix Stutz, Thomas Wies et Damien Zufferey. « Complete Multiparty Session Type Projection with Automata ». Dans Computer Aided Verification, 350–73. Cham : Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37709-9_17.
Texte intégralГончарова, Аліна В’ячеславівна. « Глава 8. Договори між спадкоємцями щодо розподілу спадщини ». Dans Серія «Процесуальні науки», 321–57. Київ, Україна : Видавництво "Алерта", 2023. http://dx.doi.org/10.59835/978-617-566-765-1-3-8.
Texte intégralLolli, Gabriele. « Logical completeness, truth, and proofs ». Dans Truth in Mathematics, 117–30. Oxford University PressOxford, 1998. http://dx.doi.org/10.1093/oso/9780198514763.003.0006.
Texte intégralMelamed, Daniel R. « Rethinking Bach Codes ». Dans Rethinking Bach, 227–50. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780190943899.003.0010.
Texte intégralBronowski, Ada. « The Syntax of Lekta ». Dans The Stoics on Lekta, 383–432. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198842880.003.0009.
Texte intégralActes de conférences sur le sujet "Trace completeness"
Widom, J., D. Gries et F. B. Schneider. « Completeness and incompleteness of trace-based network proof systems ». Dans the 14th ACM SIGACT-SIGPLAN symposium. New York, New York, USA : ACM Press, 1987. http://dx.doi.org/10.1145/41625.41628.
Texte intégralXu, Xianghua, Chao Tong et Jian Wan. « Improve the Completeness of Passive Monitoring Trace in Wireless Sensor Network ». Dans 2010 Asia-Pacific Services Computing Conference (APSCC). IEEE, 2010. http://dx.doi.org/10.1109/apscc.2010.112.
Texte intégralSudarev, A. V. « Low-Toxic Method of Fuel Firing in Gas Turbine Micro-Flame Combustors ». Dans 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.
Texte intégralBasina, Polina, Vyacheslav Goiko, Evgeny Petrov et Vyacheslav Bakulin. « Classification community publications of the «VKontakte» for assessing the quality of life of the population ». Dans Dialogue. RSUH, 2022. http://dx.doi.org/10.28995/2075-7182-2022-21-1001-1016.
Texte intégralLengu, Roald, Paolo Missier, Alvaro A. A. Fernandes, Giovanna Guerrini et Marco Mesiti. « Time-completeness trade-offs in record linkage using adaptive query processing ». Dans the 12th International Conference. New York, New York, USA : ACM Press, 2009. http://dx.doi.org/10.1145/1516360.1516458.
Texte intégralDe Stefano, Claudio, A. Della Cioppa et Angelo Marcelli. « Modeling the trade-off between completeness and consistency in genetic-based handwritten character prototyping ». Dans Electronic Imaging '99, sous la direction de Daniel P. Lopresti et Jiangying Zhou. SPIE, 1999. http://dx.doi.org/10.1117/12.335823.
Texte intégralEray, Ekin, Carl T. Haas, Derek Rayside et Mani Golparvar-Fard. « A Conceptual Framework for Tracking Design Completeness of the Track Line Discipline in Mass Rapid Transit Projects ». Dans 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.
Texte intégralWalters, Robert, Vinodhini Comandur et Karen Feigh. « 3D Conformal Pilot Cueing for Rotorcraft Shipboard Landings : A Time Horizon Parametric Study ». Dans Vertical Flight Society 77th Annual Forum & Technology Display. The Vertical Flight Society, 2021. http://dx.doi.org/10.4050/f-0077-2021-16750.
Texte intégralAkintunde, Michael E., Elena Botoeva, Panagiotis Kouvaros et Alessio Lomuscio. « Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems ». Dans 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.
Texte intégralCesen, Fabricio, P. Gyanesh Patra et Christian Rothenberg. « BB-Gen : A Packet Crafter for Data Plane Evaluation ». Dans 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.
Texte intégralRapports d'organisations sur le sujet "Trace completeness"
Widom, Jennifer, David Gries et Fred B. Schneider. Trace-Based Network Proof Systems : Expressiveness and Completeness. Fort Belvoir, VA : Defense Technical Information Center, février 1989. http://dx.doi.org/10.21236/ada204828.
Texte intégral