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