Výsledky vyhľadávania - "Programming Logic"

Use of basic programming tools to foster programming logic in university students with school preparation other than computer science Autor Ibarra-Torres, Fernando, Caiza, Gustavo, García, Marcelo V., Barona-Pico, Valeria

“…Teaching programming logic to students who do not have a background in computer science is challenging, as the instructor has to awaken problem-solving,…”
Získať plný text

Let's Code! How Can Programming Logic Make a Vascular Neurologist Even Better? Autor Clares de Andrade, João Brainer, Fagundes, Thales Pardini

“…As digital health and artificial intelligence (AI) become integral to medicine, there is a growing need for physicians to develop computational thinking…”
Zistit podrobnosti o prístupe

BELAJAR MENGURUTKAN ANGKA SECARA VISUAL BERBASIS GAME BERBENTUK GAME PUZZLE: SEBAGAI PENDAHULUAN BELAJAR LOGIKA PEMROGRAMAN Autor Sanjaya, Wahyu, Fauzan, Muhammad Sultan, Darmanto, Tedjo

“…As a learning topic in programming, sorting numbers can be visualized as a puzzle game to increase the engagement of learners in learning the logic of…”
Získať plný text

Enhancing Computational Thinking and Programming Logic Skills with App Inventor 2 and Robotics: Effects on Learning Outcomes, Motivation, and Cognitive Load Autor Huang, Yu-Ting, Li, Chien-Lung, Chang, Chin-Chih, Tarng, Wernhuar

“…Educational robotics (ER) has attracted growing attention as an effective means of cultivating computational thinking and programming skills through…”
Získať plný text

CoqQ: Foundational Verification of Quantum Programs Autor Zhou, Li, Barthe, Gilles, Strub, Pierre-Yves, Liu, Junyi, Ying, Mingsheng

“…CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language,…”
Získať plný text

Inverse model-based detection of programming logic faults in multiple zone VAV AHU systems Autor Gunay, Burak, Bursill, Jayson, Huchuk, Brent, Shillinglaw, Scott

“…Implementation of sequences of operation for heating, ventilation, and air conditioning (HVAC) systems into a building automation system (BAS) is a critical…”
Získať plný text

Investigating the impact of generative AI integration on the sustenance of higher-order thinking skills and understanding of programming logic Autor Nathaniel, Jemimah, Oyelere, Solomon Sunday, Suhonen, Jarkko, Tedre, Matti

“…This study investigates how integrating generative AI (GenAI) with instructional scaffolding and prompt engineering supports higher-order thinking skills…”
Získať plný text

Program Logics à la Carte Autor Vistrup, Max, Sammler, Michael, Jung, Ralf

“…Program logics have proven a successful strategy for verification of complex programs. By providing local reasoning and means of abstraction and composition,…”
Získať plný text

Weakest preconditioned goto axiom Autor Chen, Wei

“…This paper presents an axiom for goto statements in terms of Dijkstra's weakest (liberal) precondition model. We give a detailed comparison of our axiom with…”
Získať plný text

BlockCode: A Web Application to Create Games that Support the Learning of Computer Programming Logic Autor Jaimez-González, Carlos R., Erazo-Palacios, Javier, García-Mendoza, Betzabet

“…This paper presents BlockCode, a web application developed to create board games that support the learning of computer programming logic. The goal of the games…”
Získať plný text

A Demonic Outcome Logic for Randomized Nondeterminism Autor Zilberstein, Noam, Kozen, Dexter, Silva, Alexandra, Tassarotti, Joseph

“…Programs increasingly rely on randomization in applications such as cryptography and machine learning. Analyzing randomized programs has been a fruitful…”
Získať plný text

BiSikkel: A Multimode Logical Framework in Agda Autor Ceulemans, Joris, Nuyts, Andreas, Devriese, Dominique

“…Embedding Multimode Type Theory (MTT) as a library enables the usage of additional reasoning principles in off-the-shelf proof assistants without risking…”
Získať plný text

Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing Autor Jacobs, Jules, Hinrichsen, Jonas Kastberg, Krebbers, Robbert

“…We introduce a linear concurrent separation logic, called LinearActris, designed to guarantee deadlock and leak freedom for message-passing concurrency…”
Získať plný text

Mobile Learning Tools to Support in Teaching Programming Logic and Design: A Systematic Literature Review Autor Coelho, Regina Célia, Marques, Matheus F. P, de Oliveira, Tiago

“…Learning programming logic remains an obstacle for students from different academic fields. Considered one of the essential disciplines in the field of Science…”
Získať plný text

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs Autor Rao, Xiaojia, Georges, Aïna Linn, Legoupil, Maxime, Watt, Conrad, Pichon-Pharabod, Jean, Gardner, Philippa, Birkedal, Lars

“…WebAssembly makes it possible to run C/C++ applications on the web with near-native performance. A WebAssembly program is expressed as a collection of…”
Získať plný text

Non-termination Proving at Scale Autor Raad, Azalea, Vanegue, Julien, O’Hearn, Peter

“…Program termination is a classic non-safety property whose falsification cannot in general be witnessed by a finite trace. This makes testing for…”
Získať plný text

Embedding Hindsight Reasoning in Separation Logic Autor Meyer, Roland, Wies, Thomas, Wolff, Sebastian

“…Automatically proving linearizability of concurrent data structures remains a key challenge for verification. We present temporal interpolation as a new proof…”
Získať plný text

Memory-Safety Verification of Open Programs with Angelic Assumptions Autor Takhar, Gourav, Bijlani, Baldip, Chatterjee, Prantik, Lal, Akash, Roy, Subhajit

“…An open program is one for which the complete source code is not available, which is a reality for real-world program verification. Software verification tools…”
Získať plný text

In-Place Traceability for Automated Production Systems: A Survey of PLC and SysML Tools Autor Wang, Wentao, Niu, Nan, Alenazi, Mounifah, Da Xu, Li

“…Automated production systems are critical enablers for Industry 4.0 because these design-to-order, custom-built mechatronic systems are not only capable of…”
Získať plný text

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers Autor Zhang, Linpeng, Zilberstein, Noam, Kaminski, Benjamin Lucien, Silva, Alexandra

“…We present a novel weakest pre calculus for reasoning about quantitative hyperproperties over nondeterministic and probabilistic programs. Whereas existing…”
Získať plný text