Zeitschriftenartikel zum Thema „Certified programming“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Certified programming" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Tanter, Éric, und Nicolas Tabareau. „Gradual certified programming in coq“. ACM SIGPLAN Notices 51, Nr. 2 (11.05.2016): 26–40. http://dx.doi.org/10.1145/2936313.2816710.
Der volle Inhalt der QuelleMagron, Victor, George Constantinides und Alastair Donaldson. „Certified Roundoff Error Bounds Using Semidefinite Programming“. ACM Transactions on Mathematical Software 43, Nr. 4 (23.03.2017): 1–31. http://dx.doi.org/10.1145/3015465.
Der volle Inhalt der QuelleNi, Zhaozhong, und Zhong Shao. „Certified assembly programming with embedded code pointers“. ACM SIGPLAN Notices 41, Nr. 1 (12.01.2006): 320–33. http://dx.doi.org/10.1145/1111320.1111066.
Der volle Inhalt der QuelleSyafrizal, Mutiara, und Agus Siswanto. „MAGANG STUDI INDEPENDEN BERSERTIFIKAT WEBSITE APLIKASI ONLINE PMB DI PT ARKATAMA MULTI SOLUSINDO“. Jurnal SINTA: Sistem Informasi dan Teknologi Komputasi 1, Nr. 1 (06.01.2024): 31–39. http://dx.doi.org/10.61124/sinta.v1i1.12.
Der volle Inhalt der QuelleBARTHE, GILLES, DAVID PICHARDIE und TAMARA REZK. „A certified lightweight non-interference Java bytecode verifier“. Mathematical Structures in Computer Science 23, Nr. 5 (17.05.2013): 1032–81. http://dx.doi.org/10.1017/s0960129512000850.
Der volle Inhalt der QuelleJacobs, Jules, Stephanie Balzer und Robbert Krebbers. „Multiparty GV: functional multiparty session types with certified deadlock freedom“. Proceedings of the ACM on Programming Languages 6, ICFP (29.08.2022): 466–95. http://dx.doi.org/10.1145/3547638.
Der volle Inhalt der QuelleClaflin, Kellie, Josh Stewart und Haley Q. Traini. „Here are the keys, go teach: How alternatively certified agriculture teachers learn to be agriculture teachers“. Journal of Agricultural Education 64, Nr. 2 (30.06.2023): 98–115. http://dx.doi.org/10.5032/jae.v64i2.110.
Der volle Inhalt der QuelleBogaerts, Bart, Stephan Gocht, Ciaran McCreesh und Jakob Nordström. „Certified Symmetry and Dominance Breaking for Combinatorial Optimisation“. Proceedings of the AAAI Conference on Artificial Intelligence 36, Nr. 4 (28.06.2022): 3698–707. http://dx.doi.org/10.1609/aaai.v36i4.20283.
Der volle Inhalt der QuelleHe, Guo Tian, Jie Sheng Chen, Li Song, Yan Ma, Ming Li, Ze Yu Xu, De Sheng Zhang und Ying Chun Ran. „Test Unit Design of Magnetorheological Greases Conductivity Research Based on Labview“. Applied Mechanics and Materials 246-247 (Dezember 2012): 1130–34. http://dx.doi.org/10.4028/www.scientific.net/amm.246-247.1130.
Der volle Inhalt der QuelleCHLIPALA, ADAM. „Modular development of certified program verifiers with a proof assistant“,. Journal of Functional Programming 18, Nr. 5-6 (15.08.2008): 599–647. http://dx.doi.org/10.1017/s0956796808006904.
Der volle Inhalt der QuelleSalisbury, Craig D., und Wayne Chan. „Simple Automated Wet Digestion of Animal Tissues for Determination of Seven Elements by Atomic Absorption Spectroscopy“. Journal of AOAC INTERNATIONAL 68, Nr. 2 (01.03.1985): 218–20. http://dx.doi.org/10.1093/jaoac/68.2.218.
Der volle Inhalt der QuelleLapucci, Matteo, und Davide Pucci. „Mixed-integer quadratic programming reformulations of multi-task learning models“. Mathematics in Engineering 5, Nr. 1 (2022): 1–16. http://dx.doi.org/10.3934/mine.2023020.
Der volle Inhalt der QuelleAHRENS, BENEDIKT. „Modules over relative monads for syntax and semantics“. Mathematical Structures in Computer Science 26, Nr. 1 (05.12.2014): 3–37. http://dx.doi.org/10.1017/s0960129514000103.
Der volle Inhalt der QuelleDouglas, Natalie. „Engaging Direct Care Providers in the Implementation of Montessori Programming for Dementia“. Innovation in Aging 5, Supplement_1 (01.12.2021): 150. http://dx.doi.org/10.1093/geroni/igab046.578.
Der volle Inhalt der QuelleGAVA, FRÉDÉRIC. „FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS“. Parallel Processing Letters 13, Nr. 03 (September 2003): 365–76. http://dx.doi.org/10.1142/s0129626403001343.
Der volle Inhalt der QuelleGaudioso, Manlio, Sona Taheri, Adil M. Bagirov und Napsu Karmitsa. „Bundle Enrichment Method for Nonsmooth Difference of Convex Programming Problems“. Algorithms 16, Nr. 8 (21.08.2023): 394. http://dx.doi.org/10.3390/a16080394.
Der volle Inhalt der QuelleMüller-Rigat, Guillem, Anubhav Kumar Srivastava, Stanisław Kurdziałek, Grzegorz Rajchel-Mieldzioć, Maciej Lewenstein und Irénée Frérot. „Certifying the quantum Fisher information from a given set of mean values: a semidefinite programming approach“. Quantum 7 (24.10.2023): 1152. http://dx.doi.org/10.22331/q-2023-10-24-1152.
Der volle Inhalt der QuelleOVASKA, S., S. MYYRÄ, J. K. NIEMI und P. PELTONEN-SAINIO. „Optimal renewal interval for malting barley seed“. Journal of Agricultural Science 154, Nr. 6 (04.11.2015): 1062–67. http://dx.doi.org/10.1017/s0021859615001021.
Der volle Inhalt der QuellePančík, Juraj, und Pavel Maxera. „Control of Hydraulic Pulse System Based on the PLC and State Machine Programming“. Designs 2, Nr. 4 (20.11.2018): 48. http://dx.doi.org/10.3390/designs2040048.
Der volle Inhalt der QuelleParhusip, Jadiaman. „PERANCANGAN SISTEM PENDUKUNG KEPUTUSAN SERTIFIKASI PENDIDIK GURU SMP DI KABUPATEN MURUNG RAYA DENGAN METODE SIMPLE ADDITIVE WEIGHTING (SAW)“. Jurnal Teknologi Informasi Jurnal Keilmuan dan Aplikasi Bidang Teknik Informatika 14, Nr. 1 (29.01.2020): 71–82. http://dx.doi.org/10.47111/jti.v14i1.607.
Der volle Inhalt der QuelleKYRIAKIS (Σ. Κ. ΚΥΡΙΑΚΗΣ), S. C., C. ALEXOPOULOS (Κ. ΑΛΕΞΟΠΟΥΛΟΣ), P. D. TASSIS (Π.Δ. ΤΑΣΣΗΣ), E. D. TZIKA (Ε.Δ. ΤΖΗΚΑ), S. K. KRITAS (Σ.Κ. ΚΡHΤΑΣ), C. S. KYRIAKIS (Κ.Σ. ΚΥΡΙΑΚΗΣ) und A. G. LYMPEROPOULOS (Α.Γ. ΛΥΜΠΕΡΟΟΥΛΟΣ). „On farm Veterinary Management - Biosecurity measures for the production of high hygienic quality pork meat“. Journal of the Hellenic Veterinary Medical Society 54, Nr. 3 (19.12.2017): 261. http://dx.doi.org/10.12681/jhvms.15268.
Der volle Inhalt der QuelleDrovnikova, I. G., A. A. Zmeev und E. A. Rogozin. „PRIVATE TECHNIQUE OF FORMATION OF REQUIREMENTS TO INFORMATION PROTECTION SYSTEMS FROM UNAUTHORIZED ACCESS TO AUTOMATED BATH SYSTEMS USING GENETIC ALGORITHM“. Herald of Dagestan State Technical University. Technical Sciences 45, Nr. 3 (12.05.2019): 114–22. http://dx.doi.org/10.21822/2073-6185-2018-45-3-114-122.
Der volle Inhalt der QuelleKelly*, Lelia S. „Selecting, Training and Evaluating Master Gardeners in the Non-traditional Role of Instructors in the Basic Training Classes of the Program“. HortScience 39, Nr. 4 (Juli 2004): 874E—875. http://dx.doi.org/10.21273/hortsci.39.4.874e.
Der volle Inhalt der QuelleLan, Jianglin, Yang Zheng und Alessio Lomuscio. „Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations“. Proceedings of the AAAI Conference on Artificial Intelligence 36, Nr. 7 (28.06.2022): 7272–80. http://dx.doi.org/10.1609/aaai.v36i7.20689.
Der volle Inhalt der QuelleNeverova, Ye G. „PROBLEM OF DEVALVATION PROFESSIONAL IT-EDUCATION AND POSSIBLE WAYS“. BULLETIN Series of Physics & Mathematical Sciences 73, Nr. 1 (29.03.2021): 185–89. http://dx.doi.org/10.51889/2021-1.1728-7901.27.
Der volle Inhalt der QuelleSalehi, Mahdi, Mahmoud Lari Dashtbayaz und Masomeh Heydari. „Audit fees prediction using fuzzy models“. Problems and Perspectives in Management 14, Nr. 2 (11.05.2016): 104–17. http://dx.doi.org/10.21511/ppm.14(2).2016.11.
Der volle Inhalt der QuelleMcEwan, Kirsten, Kari S. Krogh, Kim Dunlop, Mahnoor Khan und Alyssa Krogh. „Virtual Forest Bathing Programming as Experienced by Disabled Adults with Mobility Impairments and/or Low Energy: A Qualitative Study“. Forests 14, Nr. 5 (17.05.2023): 1033. http://dx.doi.org/10.3390/f14051033.
Der volle Inhalt der QuelleDassel, Kara. „Cyber-Pedagogy to the Rescue: Creating Effective Online Programming for Students and Trainees During the Pandemic“. Innovation in Aging 5, Supplement_1 (01.12.2021): 270. http://dx.doi.org/10.1093/geroni/igab046.1052.
Der volle Inhalt der QuelleGalnaitytė, Aiste, und Irena Kriščiukaitienė. „SIMULATION OF ORGANIC FARMING DEVELOPMENT“. Management Theory and Studies for Rural Business and Infrastructure Development 38, Nr. 3 (29.09.2016): 219–29. http://dx.doi.org/10.15544/mts.2016.17.
Der volle Inhalt der QuelleSamal, Lipika, John D. D’Amore, David W. Bates und Adam Wright. „Implementation of a scalable, web-based, automated clinical decision support risk-prediction tool for chronic kidney disease using C-CDA and application programming interfaces“. Journal of the American Medical Informatics Association 24, Nr. 6 (20.07.2017): 1111–15. http://dx.doi.org/10.1093/jamia/ocx065.
Der volle Inhalt der QuelleHIRAI, YOICHI, und KAZUHIKO YAMAMOTO. „Balancing weight-balanced trees“. Journal of Functional Programming 21, Nr. 3 (Mai 2011): 287–307. http://dx.doi.org/10.1017/s0956796811000104.
Der volle Inhalt der QuelleShivakumar, G., und P. A. Vijaya. „Analysis of Human Emotions Using Galvanic Skin Response and Finger Tip Temperature“. International Journal of Synthetic Emotions 2, Nr. 1 (Januar 2011): 15–25. http://dx.doi.org/10.4018/jse.2011010102.
Der volle Inhalt der QuelleGembaczka, Pierre, Burkhard Heidemann, Bernhard Bennertz, Wolfgang Groeting, Thomas Norgall und Karsten Seidl. „Combination of sensor-embedded and secure server-distributed artificial intelligence for healthcare applications“. Current Directions in Biomedical Engineering 5, Nr. 1 (01.09.2019): 29–32. http://dx.doi.org/10.1515/cdbme-2019-0008.
Der volle Inhalt der QuelleSchultz, Sarah M., Michelle M. Jacobs, Kara S. Gorgos, Nicole T. Wasylyk, Sean Hanrahan und Bonnie L. Van Lunen. „Reliability of Entry-Level Athletic Trainers' Palpation Skills of Bony Anatomical Landmarks in the Lumbopelvic Region“. Athletic Training Education Journal 10, Nr. 4 (01.10.2015): 296–301. http://dx.doi.org/10.4085/1004296.
Der volle Inhalt der QuelleSandu, Andrei-Marius. „Organic farming in the European Union – perspectives for 2030“. Proceedings of the International Conference on Business Excellence 16, Nr. 1 (01.08.2022): 427–36. http://dx.doi.org/10.2478/picbe-2022-0042.
Der volle Inhalt der QuelleWilder, PhD, CTRS/L, Allison. „Community-based social and recreational programs for older adults with intellectual and/or developmental disabilities: Perceptions of barriers and accommodations to access“. American Journal of Recreation Therapy 10, Nr. 3 (01.07.2011): 27–37. http://dx.doi.org/10.5055/ajrt.2011.0018.
Der volle Inhalt der QuelleSobrero, Gina, Scott Arnett, Mark Schafer, Whitley Stone, T. A. Tolbert, Amanda Salyer-Funk, Jason Crandall et al. „A Comparison of High Intensity Functional Training and Circuit Training on Health and Performance Variables in Women: A Pilot Study“. Women in Sport and Physical Activity Journal 25, Nr. 1 (April 2017): 1–10. http://dx.doi.org/10.1123/wspaj.2015-0035.
Der volle Inhalt der QuelleHlushak, Oksana M., Volodymyr V. Proshkin und Oksana S. Lytvyn. „Using the e-learning course “Analytic Geometry” in the process of training students majoring in Computer Science and Information Technology“. CTE Workshop Proceedings 6 (21.03.2019): 472–85. http://dx.doi.org/10.55056/cte.407.
Der volle Inhalt der QuelleEizadirad, Ardavan, Sally Abudiab und Brice Baartman. „The Community School Initiative in Toronto: Mitigating Opportunity Gaps in the Jane and Finch Community in the Wake of COVID-19“. Radical Teacher 124 (02.12.2022): 33–42. http://dx.doi.org/10.5195/rt.2022.1080.
Der volle Inhalt der QuelleMarks, Beth, Jasmina Sisirak, Yen-Ching Chang und Ryan Murphy. „Impact of the HealthMatters Train-the-Trainer Program on the Health and Health Behaviors of Staff Supporting Adults With Intellectual and Developmental Disabilities“. Workplace Health & Safety 67, Nr. 8 (21.04.2019): 423–35. http://dx.doi.org/10.1177/2165079919828739.
Der volle Inhalt der QuelleWormeli, Paul, Jenna Mazreku, Jeremy Pine und Mark Damesyn. „Next Generation of Central Cancer Registries“. JCO Clinical Cancer Informatics, Nr. 5 (März 2021): 288–94. http://dx.doi.org/10.1200/cci.20.00177.
Der volle Inhalt der QuelleBELLINO, A., D. BALDANTONI, F. DE NICOLA, P. IOVIENO, M. ZACCARDELLI und A. ALFANI. „Compost amendments in agricultural ecosystems: confirmatory path analysis to clarify the effects on soil chemical and biological properties“. Journal of Agricultural Science 153, Nr. 2 (05.03.2014): 282–95. http://dx.doi.org/10.1017/s0021859614000033.
Der volle Inhalt der QuelleBeck, Paul, Jeff Robe, David Lalman, Dana Zook, Marty New, Earl Ward und Brian Freking. „Needs and Challenges Cattle Producers Face in Adapting Preconditioning Programs“. Journal of Animal Science 99, Supplement_2 (01.05.2021): 6. http://dx.doi.org/10.1093/jas/skab096.008.
Der volle Inhalt der QuelleNewberry, Jan, und Sri Marpinjun. „Payment in heaven: Can early childhood education policies help women too?“ Policy Futures in Education 16, Nr. 1 (14.11.2017): 29–42. http://dx.doi.org/10.1177/1478210317739467.
Der volle Inhalt der QuelleChandrasekaran, Jeyamala, Anitha D und Uma K.V. „An Effective Instructional Design to Enhance Learning Outcomes of Information Security Course in Online Mode“. Journal of Engineering Education Transformations 36, S2 (01.01.2023): 319–25. http://dx.doi.org/10.16920/jeet/2023/v36is2/23047.
Der volle Inhalt der QuelleEcha Oktamiani Maulana. „Deteksi Hunian Di Tempat Parkir (Occupancy Detection In Parking Lot)“. Journal Islamic Global Network for Information Technology and Entrepreneurship 2, Nr. 2 (03.04.2024): 45–60. http://dx.doi.org/10.59841/ignite.v2i2.1050.
Der volle Inhalt der QuelleEcha Oktamiani Maulana. „Deteksi Hunian Di Tempat Parkir (Occupancy Detection In Parking Lot)“. Journal Islamic Global Network for Information Technology and Entrepreneurship 2, Nr. 2 (06.04.2024): 45–61. http://dx.doi.org/10.59841/ignite.v2i2.1058.
Der volle Inhalt der QuelleShrivastava, Archana. „A small initiative in the journey of making leaders with the help of authentic leadership model“. Kybernetes 47, Nr. 10 (05.11.2018): 1956–72. http://dx.doi.org/10.1108/k-01-2018-0003.
Der volle Inhalt der QuelleSciomachen, Anna, und Maria Truvolo. „An Exact Approach for Selecting Pickup-Delivery Stations in Urban Areas to Reduce Distribution Emission Costs“. Mathematics 11, Nr. 8 (15.04.2023): 1876. http://dx.doi.org/10.3390/math11081876.
Der volle Inhalt der QuelleLobo, Edwin Peter, Jef Pauwels und Stefano Pironio. „Certifying long-range quantum correlations through routed Bell tests“. Quantum 8 (02.05.2024): 1332. http://dx.doi.org/10.22331/q-2024-05-02-1332.
Der volle Inhalt der Quelle