Artykuły w czasopismach na temat „Certified programming”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Certified programming”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Tanter, Éric, i 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.
Pełny tekst źródłaMagron, Victor, George Constantinides i 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.
Pełny tekst źródłaNi, Zhaozhong, i 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.
Pełny tekst źródłaSyafrizal, Mutiara, i 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 (6.01.2024): 31–39. http://dx.doi.org/10.61124/sinta.v1i1.12.
Pełny tekst źródłaBARTHE, GILLES, DAVID PICHARDIE i 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.
Pełny tekst źródłaJacobs, Jules, Stephanie Balzer i 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.
Pełny tekst źródłaClaflin, Kellie, Josh Stewart i 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.
Pełny tekst źródłaBogaerts, Bart, Stephan Gocht, Ciaran McCreesh i 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.
Pełny tekst źródłaHe, Guo Tian, Jie Sheng Chen, Li Song, Yan Ma, Ming Li, Ze Yu Xu, De Sheng Zhang i Ying Chun Ran. "Test Unit Design of Magnetorheological Greases Conductivity Research Based on Labview". Applied Mechanics and Materials 246-247 (grudzień 2012): 1130–34. http://dx.doi.org/10.4028/www.scientific.net/amm.246-247.1130.
Pełny tekst źródłaCHLIPALA, 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.
Pełny tekst źródłaSalisbury, Craig D., i 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 (1.03.1985): 218–20. http://dx.doi.org/10.1093/jaoac/68.2.218.
Pełny tekst źródłaLapucci, Matteo, i 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.
Pełny tekst źródłaAHRENS, BENEDIKT. "Modules over relative monads for syntax and semantics". Mathematical Structures in Computer Science 26, nr 1 (5.12.2014): 3–37. http://dx.doi.org/10.1017/s0960129514000103.
Pełny tekst źródłaDouglas, Natalie. "Engaging Direct Care Providers in the Implementation of Montessori Programming for Dementia". Innovation in Aging 5, Supplement_1 (1.12.2021): 150. http://dx.doi.org/10.1093/geroni/igab046.578.
Pełny tekst źródłaGAVA, FRÉDÉRIC. "FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS". Parallel Processing Letters 13, nr 03 (wrzesień 2003): 365–76. http://dx.doi.org/10.1142/s0129626403001343.
Pełny tekst źródłaGaudioso, Manlio, Sona Taheri, Adil M. Bagirov i 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.
Pełny tekst źródłaMüller-Rigat, Guillem, Anubhav Kumar Srivastava, Stanisław Kurdziałek, Grzegorz Rajchel-Mieldzioć, Maciej Lewenstein i 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.
Pełny tekst źródłaOVASKA, S., S. MYYRÄ, J. K. NIEMI i P. PELTONEN-SAINIO. "Optimal renewal interval for malting barley seed". Journal of Agricultural Science 154, nr 6 (4.11.2015): 1062–67. http://dx.doi.org/10.1017/s0021859615001021.
Pełny tekst źródłaPančík, Juraj, i 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.
Pełny tekst źródłaParhusip, 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.
Pełny tekst źródłaKYRIAKIS (Σ. Κ. ΚΥΡΙΑΚΗΣ), S. C., C. ALEXOPOULOS (Κ. ΑΛΕΞΟΠΟΥΛΟΣ), P. D. TASSIS (Π.Δ. ΤΑΣΣΗΣ), E. D. TZIKA (Ε.Δ. ΤΖΗΚΑ), S. K. KRITAS (Σ.Κ. ΚΡHΤΑΣ), C. S. KYRIAKIS (Κ.Σ. ΚΥΡΙΑΚΗΣ) i 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.
Pełny tekst źródłaDrovnikova, I. G., A. A. Zmeev i 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.
Pełny tekst źródłaKelly*, 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 (lipiec 2004): 874E—875. http://dx.doi.org/10.21273/hortsci.39.4.874e.
Pełny tekst źródłaLan, Jianglin, Yang Zheng i 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.
Pełny tekst źródłaNeverova, 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.
Pełny tekst źródłaSalehi, Mahdi, Mahmoud Lari Dashtbayaz i 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.
Pełny tekst źródłaMcEwan, Kirsten, Kari S. Krogh, Kim Dunlop, Mahnoor Khan i 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.
Pełny tekst źródłaDassel, Kara. "Cyber-Pedagogy to the Rescue: Creating Effective Online Programming for Students and Trainees During the Pandemic". Innovation in Aging 5, Supplement_1 (1.12.2021): 270. http://dx.doi.org/10.1093/geroni/igab046.1052.
Pełny tekst źródłaGalnaitytė, Aiste, i 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.
Pełny tekst źródłaSamal, Lipika, John D. D’Amore, David W. Bates i 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.
Pełny tekst źródłaHIRAI, YOICHI, i KAZUHIKO YAMAMOTO. "Balancing weight-balanced trees". Journal of Functional Programming 21, nr 3 (maj 2011): 287–307. http://dx.doi.org/10.1017/s0956796811000104.
Pełny tekst źródłaShivakumar, G., i P. A. Vijaya. "Analysis of Human Emotions Using Galvanic Skin Response and Finger Tip Temperature". International Journal of Synthetic Emotions 2, nr 1 (styczeń 2011): 15–25. http://dx.doi.org/10.4018/jse.2011010102.
Pełny tekst źródłaGembaczka, Pierre, Burkhard Heidemann, Bernhard Bennertz, Wolfgang Groeting, Thomas Norgall i Karsten Seidl. "Combination of sensor-embedded and secure server-distributed artificial intelligence for healthcare applications". Current Directions in Biomedical Engineering 5, nr 1 (1.09.2019): 29–32. http://dx.doi.org/10.1515/cdbme-2019-0008.
Pełny tekst źródłaSchultz, Sarah M., Michelle M. Jacobs, Kara S. Gorgos, Nicole T. Wasylyk, Sean Hanrahan i 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 (1.10.2015): 296–301. http://dx.doi.org/10.4085/1004296.
Pełny tekst źródłaSandu, Andrei-Marius. "Organic farming in the European Union – perspectives for 2030". Proceedings of the International Conference on Business Excellence 16, nr 1 (1.08.2022): 427–36. http://dx.doi.org/10.2478/picbe-2022-0042.
Pełny tekst źródłaWilder, 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 (1.07.2011): 27–37. http://dx.doi.org/10.5055/ajrt.2011.0018.
Pełny tekst źródłaSobrero, Gina, Scott Arnett, Mark Schafer, Whitley Stone, T. A. Tolbert, Amanda Salyer-Funk, Jason Crandall i in. "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 (kwiecień 2017): 1–10. http://dx.doi.org/10.1123/wspaj.2015-0035.
Pełny tekst źródłaHlushak, Oksana M., Volodymyr V. Proshkin i 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.
Pełny tekst źródłaEizadirad, Ardavan, Sally Abudiab i 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.12.2022): 33–42. http://dx.doi.org/10.5195/rt.2022.1080.
Pełny tekst źródłaMarks, Beth, Jasmina Sisirak, Yen-Ching Chang i 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.
Pełny tekst źródłaWormeli, Paul, Jenna Mazreku, Jeremy Pine i Mark Damesyn. "Next Generation of Central Cancer Registries". JCO Clinical Cancer Informatics, nr 5 (marzec 2021): 288–94. http://dx.doi.org/10.1200/cci.20.00177.
Pełny tekst źródłaBELLINO, A., D. BALDANTONI, F. DE NICOLA, P. IOVIENO, M. ZACCARDELLI i 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 (5.03.2014): 282–95. http://dx.doi.org/10.1017/s0021859614000033.
Pełny tekst źródłaBeck, Paul, Jeff Robe, David Lalman, Dana Zook, Marty New, Earl Ward i Brian Freking. "Needs and Challenges Cattle Producers Face in Adapting Preconditioning Programs". Journal of Animal Science 99, Supplement_2 (1.05.2021): 6. http://dx.doi.org/10.1093/jas/skab096.008.
Pełny tekst źródłaNewberry, Jan, i 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.
Pełny tekst źródłaChandrasekaran, Jeyamala, Anitha D i 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.01.2023): 319–25. http://dx.doi.org/10.16920/jeet/2023/v36is2/23047.
Pełny tekst źródłaEcha Oktamiani Maulana. "Deteksi Hunian Di Tempat Parkir (Occupancy Detection In Parking Lot)". Journal Islamic Global Network for Information Technology and Entrepreneurship 2, nr 2 (3.04.2024): 45–60. http://dx.doi.org/10.59841/ignite.v2i2.1050.
Pełny tekst źródłaEcha Oktamiani Maulana. "Deteksi Hunian Di Tempat Parkir (Occupancy Detection In Parking Lot)". Journal Islamic Global Network for Information Technology and Entrepreneurship 2, nr 2 (6.04.2024): 45–61. http://dx.doi.org/10.59841/ignite.v2i2.1058.
Pełny tekst źródłaShrivastava, Archana. "A small initiative in the journey of making leaders with the help of authentic leadership model". Kybernetes 47, nr 10 (5.11.2018): 1956–72. http://dx.doi.org/10.1108/k-01-2018-0003.
Pełny tekst źródłaSciomachen, Anna, i 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.
Pełny tekst źródłaLobo, Edwin Peter, Jef Pauwels i Stefano Pironio. "Certifying long-range quantum correlations through routed Bell tests". Quantum 8 (2.05.2024): 1332. http://dx.doi.org/10.22331/q-2024-05-02-1332.
Pełny tekst źródła