Articles de revues sur le sujet « Certified programming »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Certified programming ».
À 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.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Tanter, Éric, et Nicolas Tabareau. « Gradual certified programming in coq ». ACM SIGPLAN Notices 51, no 2 (11 mai 2016) : 26–40. http://dx.doi.org/10.1145/2936313.2816710.
Texte intégralMagron, Victor, George Constantinides et Alastair Donaldson. « Certified Roundoff Error Bounds Using Semidefinite Programming ». ACM Transactions on Mathematical Software 43, no 4 (23 mars 2017) : 1–31. http://dx.doi.org/10.1145/3015465.
Texte intégralNi, Zhaozhong, et Zhong Shao. « Certified assembly programming with embedded code pointers ». ACM SIGPLAN Notices 41, no 1 (12 janvier 2006) : 320–33. http://dx.doi.org/10.1145/1111320.1111066.
Texte intégralSyafrizal, Mutiara, et Agus Siswanto. « MAGANG STUDI INDEPENDEN BERSERTIFIKAT WEBSITE APLIKASI ONLINE PMB DI PT ARKATAMA MULTI SOLUSINDO ». Jurnal SINTA : Sistem Informasi dan Teknologi Komputasi 1, no 1 (6 janvier 2024) : 31–39. http://dx.doi.org/10.61124/sinta.v1i1.12.
Texte intégralBARTHE, GILLES, DAVID PICHARDIE et TAMARA REZK. « A certified lightweight non-interference Java bytecode verifier ». Mathematical Structures in Computer Science 23, no 5 (17 mai 2013) : 1032–81. http://dx.doi.org/10.1017/s0960129512000850.
Texte intégralJacobs, Jules, Stephanie Balzer et Robbert Krebbers. « Multiparty GV : functional multiparty session types with certified deadlock freedom ». Proceedings of the ACM on Programming Languages 6, ICFP (29 août 2022) : 466–95. http://dx.doi.org/10.1145/3547638.
Texte intégralClaflin, Kellie, Josh Stewart et Haley Q. Traini. « Here are the keys, go teach : How alternatively certified agriculture teachers learn to be agriculture teachers ». Journal of Agricultural Education 64, no 2 (30 juin 2023) : 98–115. http://dx.doi.org/10.5032/jae.v64i2.110.
Texte intégralBogaerts, Bart, Stephan Gocht, Ciaran McCreesh et Jakob Nordström. « Certified Symmetry and Dominance Breaking for Combinatorial Optimisation ». Proceedings of the AAAI Conference on Artificial Intelligence 36, no 4 (28 juin 2022) : 3698–707. http://dx.doi.org/10.1609/aaai.v36i4.20283.
Texte intégralHe, Guo Tian, Jie Sheng Chen, Li Song, Yan Ma, Ming Li, Ze Yu Xu, De Sheng Zhang et Ying Chun Ran. « Test Unit Design of Magnetorheological Greases Conductivity Research Based on Labview ». Applied Mechanics and Materials 246-247 (décembre 2012) : 1130–34. http://dx.doi.org/10.4028/www.scientific.net/amm.246-247.1130.
Texte intégralCHLIPALA, ADAM. « Modular development of certified program verifiers with a proof assistant »,. Journal of Functional Programming 18, no 5-6 (15 août 2008) : 599–647. http://dx.doi.org/10.1017/s0956796808006904.
Texte intégralSalisbury, Craig D., et Wayne Chan. « Simple Automated Wet Digestion of Animal Tissues for Determination of Seven Elements by Atomic Absorption Spectroscopy ». Journal of AOAC INTERNATIONAL 68, no 2 (1 mars 1985) : 218–20. http://dx.doi.org/10.1093/jaoac/68.2.218.
Texte intégralLapucci, Matteo, et Davide Pucci. « Mixed-integer quadratic programming reformulations of multi-task learning models ». Mathematics in Engineering 5, no 1 (2022) : 1–16. http://dx.doi.org/10.3934/mine.2023020.
Texte intégralAHRENS, BENEDIKT. « Modules over relative monads for syntax and semantics ». Mathematical Structures in Computer Science 26, no 1 (5 décembre 2014) : 3–37. http://dx.doi.org/10.1017/s0960129514000103.
Texte intégralDouglas, Natalie. « Engaging Direct Care Providers in the Implementation of Montessori Programming for Dementia ». Innovation in Aging 5, Supplement_1 (1 décembre 2021) : 150. http://dx.doi.org/10.1093/geroni/igab046.578.
Texte intégralGAVA, FRÉDÉRIC. « FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS ». Parallel Processing Letters 13, no 03 (septembre 2003) : 365–76. http://dx.doi.org/10.1142/s0129626403001343.
Texte intégralGaudioso, Manlio, Sona Taheri, Adil M. Bagirov et Napsu Karmitsa. « Bundle Enrichment Method for Nonsmooth Difference of Convex Programming Problems ». Algorithms 16, no 8 (21 août 2023) : 394. http://dx.doi.org/10.3390/a16080394.
Texte intégralMüller-Rigat, Guillem, Anubhav Kumar Srivastava, Stanisław Kurdziałek, Grzegorz Rajchel-Mieldzioć, Maciej Lewenstein et Irénée Frérot. « Certifying the quantum Fisher information from a given set of mean values : a semidefinite programming approach ». Quantum 7 (24 octobre 2023) : 1152. http://dx.doi.org/10.22331/q-2023-10-24-1152.
Texte intégralOVASKA, S., S. MYYRÄ, J. K. NIEMI et P. PELTONEN-SAINIO. « Optimal renewal interval for malting barley seed ». Journal of Agricultural Science 154, no 6 (4 novembre 2015) : 1062–67. http://dx.doi.org/10.1017/s0021859615001021.
Texte intégralPančík, Juraj, et Pavel Maxera. « Control of Hydraulic Pulse System Based on the PLC and State Machine Programming ». Designs 2, no 4 (20 novembre 2018) : 48. http://dx.doi.org/10.3390/designs2040048.
Texte intégralParhusip, 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, no 1 (29 janvier 2020) : 71–82. http://dx.doi.org/10.47111/jti.v14i1.607.
Texte intégralKYRIAKIS (Σ. Κ. ΚΥΡΙΑΚΗΣ), S. C., C. ALEXOPOULOS (Κ. ΑΛΕΞΟΠΟΥΛΟΣ), P. D. TASSIS (Π.Δ. ΤΑΣΣΗΣ), E. D. TZIKA (Ε.Δ. ΤΖΗΚΑ), S. K. KRITAS (Σ.Κ. ΚΡHΤΑΣ), C. S. KYRIAKIS (Κ.Σ. ΚΥΡΙΑΚΗΣ) et 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, no 3 (19 décembre 2017) : 261. http://dx.doi.org/10.12681/jhvms.15268.
Texte intégralDrovnikova, I. G., A. A. Zmeev et 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, no 3 (12 mai 2019) : 114–22. http://dx.doi.org/10.21822/2073-6185-2018-45-3-114-122.
Texte intégralKelly*, 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, no 4 (juillet 2004) : 874E—875. http://dx.doi.org/10.21273/hortsci.39.4.874e.
Texte intégralLan, Jianglin, Yang Zheng et Alessio Lomuscio. « Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations ». Proceedings of the AAAI Conference on Artificial Intelligence 36, no 7 (28 juin 2022) : 7272–80. http://dx.doi.org/10.1609/aaai.v36i7.20689.
Texte intégralNeverova, Ye G. « PROBLEM OF DEVALVATION PROFESSIONAL IT-EDUCATION AND POSSIBLE WAYS ». BULLETIN Series of Physics & ; Mathematical Sciences 73, no 1 (29 mars 2021) : 185–89. http://dx.doi.org/10.51889/2021-1.1728-7901.27.
Texte intégralSalehi, Mahdi, Mahmoud Lari Dashtbayaz et Masomeh Heydari. « Audit fees prediction using fuzzy models ». Problems and Perspectives in Management 14, no 2 (11 mai 2016) : 104–17. http://dx.doi.org/10.21511/ppm.14(2).2016.11.
Texte intégralMcEwan, Kirsten, Kari S. Krogh, Kim Dunlop, Mahnoor Khan et Alyssa Krogh. « Virtual Forest Bathing Programming as Experienced by Disabled Adults with Mobility Impairments and/or Low Energy : A Qualitative Study ». Forests 14, no 5 (17 mai 2023) : 1033. http://dx.doi.org/10.3390/f14051033.
Texte intégralDassel, Kara. « Cyber-Pedagogy to the Rescue : Creating Effective Online Programming for Students and Trainees During the Pandemic ». Innovation in Aging 5, Supplement_1 (1 décembre 2021) : 270. http://dx.doi.org/10.1093/geroni/igab046.1052.
Texte intégralGalnaitytė, Aiste, et Irena Kriščiukaitienė. « SIMULATION OF ORGANIC FARMING DEVELOPMENT ». Management Theory and Studies for Rural Business and Infrastructure Development 38, no 3 (29 septembre 2016) : 219–29. http://dx.doi.org/10.15544/mts.2016.17.
Texte intégralSamal, Lipika, John D. D’Amore, David W. Bates et 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, no 6 (20 juillet 2017) : 1111–15. http://dx.doi.org/10.1093/jamia/ocx065.
Texte intégralHIRAI, YOICHI, et KAZUHIKO YAMAMOTO. « Balancing weight-balanced trees ». Journal of Functional Programming 21, no 3 (mai 2011) : 287–307. http://dx.doi.org/10.1017/s0956796811000104.
Texte intégralShivakumar, G., et P. A. Vijaya. « Analysis of Human Emotions Using Galvanic Skin Response and Finger Tip Temperature ». International Journal of Synthetic Emotions 2, no 1 (janvier 2011) : 15–25. http://dx.doi.org/10.4018/jse.2011010102.
Texte intégralGembaczka, Pierre, Burkhard Heidemann, Bernhard Bennertz, Wolfgang Groeting, Thomas Norgall et Karsten Seidl. « Combination of sensor-embedded and secure server-distributed artificial intelligence for healthcare applications ». Current Directions in Biomedical Engineering 5, no 1 (1 septembre 2019) : 29–32. http://dx.doi.org/10.1515/cdbme-2019-0008.
Texte intégralSchultz, Sarah M., Michelle M. Jacobs, Kara S. Gorgos, Nicole T. Wasylyk, Sean Hanrahan et 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, no 4 (1 octobre 2015) : 296–301. http://dx.doi.org/10.4085/1004296.
Texte intégralSandu, Andrei-Marius. « Organic farming in the European Union – perspectives for 2030 ». Proceedings of the International Conference on Business Excellence 16, no 1 (1 août 2022) : 427–36. http://dx.doi.org/10.2478/picbe-2022-0042.
Texte intégralWilder, 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, no 3 (1 juillet 2011) : 27–37. http://dx.doi.org/10.5055/ajrt.2011.0018.
Texte intégralSobrero, 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, no 1 (avril 2017) : 1–10. http://dx.doi.org/10.1123/wspaj.2015-0035.
Texte intégralHlushak, Oksana M., Volodymyr V. Proshkin et 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 mars 2019) : 472–85. http://dx.doi.org/10.55056/cte.407.
Texte intégralEizadirad, Ardavan, Sally Abudiab et 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 (2 décembre 2022) : 33–42. http://dx.doi.org/10.5195/rt.2022.1080.
Texte intégralMarks, Beth, Jasmina Sisirak, Yen-Ching Chang et 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, no 8 (21 avril 2019) : 423–35. http://dx.doi.org/10.1177/2165079919828739.
Texte intégralWormeli, Paul, Jenna Mazreku, Jeremy Pine et Mark Damesyn. « Next Generation of Central Cancer Registries ». JCO Clinical Cancer Informatics, no 5 (mars 2021) : 288–94. http://dx.doi.org/10.1200/cci.20.00177.
Texte intégralBELLINO, A., D. BALDANTONI, F. DE NICOLA, P. IOVIENO, M. ZACCARDELLI et 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, no 2 (5 mars 2014) : 282–95. http://dx.doi.org/10.1017/s0021859614000033.
Texte intégralBeck, Paul, Jeff Robe, David Lalman, Dana Zook, Marty New, Earl Ward et Brian Freking. « Needs and Challenges Cattle Producers Face in Adapting Preconditioning Programs ». Journal of Animal Science 99, Supplement_2 (1 mai 2021) : 6. http://dx.doi.org/10.1093/jas/skab096.008.
Texte intégralNewberry, Jan, et Sri Marpinjun. « Payment in heaven : Can early childhood education policies help women too ? » Policy Futures in Education 16, no 1 (14 novembre 2017) : 29–42. http://dx.doi.org/10.1177/1478210317739467.
Texte intégralChandrasekaran, Jeyamala, Anitha D et 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 (1 janvier 2023) : 319–25. http://dx.doi.org/10.16920/jeet/2023/v36is2/23047.
Texte intégralEcha Oktamiani Maulana. « Deteksi Hunian Di Tempat Parkir (Occupancy Detection In Parking Lot) ». Journal Islamic Global Network for Information Technology and Entrepreneurship 2, no 2 (3 avril 2024) : 45–60. http://dx.doi.org/10.59841/ignite.v2i2.1050.
Texte intégralEcha Oktamiani Maulana. « Deteksi Hunian Di Tempat Parkir (Occupancy Detection In Parking Lot) ». Journal Islamic Global Network for Information Technology and Entrepreneurship 2, no 2 (6 avril 2024) : 45–61. http://dx.doi.org/10.59841/ignite.v2i2.1058.
Texte intégralShrivastava, Archana. « A small initiative in the journey of making leaders with the help of authentic leadership model ». Kybernetes 47, no 10 (5 novembre 2018) : 1956–72. http://dx.doi.org/10.1108/k-01-2018-0003.
Texte intégralSciomachen, Anna, et Maria Truvolo. « An Exact Approach for Selecting Pickup-Delivery Stations in Urban Areas to Reduce Distribution Emission Costs ». Mathematics 11, no 8 (15 avril 2023) : 1876. http://dx.doi.org/10.3390/math11081876.
Texte intégralLobo, Edwin Peter, Jef Pauwels et Stefano Pironio. « Certifying long-range quantum correlations through routed Bell tests ». Quantum 8 (2 mai 2024) : 1332. http://dx.doi.org/10.22331/q-2024-05-02-1332.
Texte intégral