A Formal Verification Methodology for DDD Mode Pacemaker Control Programs by Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna

Get full text

Performance Estimation Based Multicriteria Partitioning Approach for Dynamic Dataflow Programs by Małgorzata Michalska, Nicolas Zufferey, Marco Mattavelli

Get full text

NoviCode: Generating Programs from Natural Language Utterances by Novices by Asaf Achi Mordechai, Yoav Goldberg, Reut Tsarfaty

Get full text

Programming competencies in university students through game development by Luis Castillo-Salvatierra, Luis Castillo-Salvatierra, Jesennia Cárdenas-Cobo, Claudia de la Fuente-Burdiles, Cristian Vidal-Silva

“…The results indicate significant improvements in students' computational thinking, motivation, and collaboration.DiscussionBy reducing syntactical barriers, Visual Scripting promotes an accessible learning experience that supports the transition to advanced programming concepts. …”
Get full text

Current state of computer sports development in the Russian Federation by Zhdanovich, Dmitry O., Devyatova, Elena V., Lopatina, Oksana M., Kartavy, Sergey V.

“…The research hypothesis suggests that government support in the form of institutionalization, development programs, and regulatory and legal regulation contributes to the growing popularity and professionalization of computer sports. …”
Get full text

Optimization of fuzzy linear fractional programming problem with fuzzy numbers by Sapan Das

“…Utilizing the ranking function and computation of trapezoidal fuzzy numbers, the FLFP problem is transformed into a Crisp Linear Fractional Programming (CLFP) problem. …”
Get full text

Application Possibilities of Computer Software in the Context of the Art Teaching by Sandra Bjelan-Guska, Nela Hasanbegović

“…The results of the research are significant for the processes of designing initial university education programs, as well as in programs for lifelong professional teacher training, both for the purpose of educating teachers about the possibilities of using computer software and their impact on enhancing students' creativity. …”
Get full text

Expert information technology in the collection and analysis of computer data by M. H. Shcherbakovskyi, S. O. Kolomiitsev

“…On the example of existing computer programs, the author demonstrates an experimental method of selecting a software product for solving the expert task of restoring destroyed computer data.…”
Get full text

Studi Komparatif Program Visual Dinamis untuk Pembelajaran Algoritma dan Pemograman Berorientasi Objek by Kursehi Falgenti

Get full text

Generation of Synthetic Business Process Traces using Constraint Programming by Piotr Wiśniewski, Krzysztof Kluza, Antoni Ligęza, Anna Suchenia

Get full text

Path Length-Driven Hypergraph Partitioning: An Integer Programming Approach by Julien Rodriguez, Francois Galea, François Pellegrini, Lilia Zaourar

Get full text

Breeding Terrains with Genetic Terrain Programming: The Evolution of Terrain Generators by Miguel Frade, F. Fernandez de Vega, Carlos Cotta

Get full text

Irreversible electroporation for tissue ablation: A 3D computational platform by Sudip Kumar Das, Srinivasan Jayaraman

“…Computer Methods and Programs in Biomedicine Update…”
Get full text

Cone-beam computed tomography prescription by Brazilian orthodontists by Karine EVANGELISTA, Grasielle Di Manoel CAIADO, Maria do Carmo Matias FREIRE, José VALLADARES-NETO, Maria Alves Garcia SILVA

“…ABSTRACT Objective: To investigate the factors that influence Cone-beam computed tomography (CBCT) imaging prescription in Brazilian orthodontics practice. …”
Get full text

ELECTRODYNAMIC STABILITY COMPUTATIONS FOR FLEXIBLE CONDUCTORS OF THE AERIAL LINES by I. I. Sergey, Y. G. Panamarenka, P. I. Klimkovich, A. P. Dolin, Y. V. Potachits

“…To calculate the initial conditions they modified a software program computing the flexible conductor mechanics named MR 21. …”
Get full text

The use of the ChatGPT language model in the creation of malicious programs by Vladica Ubavić, Marina Jovanović-Milenković, Oliver Popović, Marija Boranijašević

“…Although its primary function is to mimic a human interlocutor in a conversation, ChatGPT is capable of interpreting unusual responses as well. It can generate computer programs, answer exam questions, write poetry and song lyrics. …”
Get full text

Implementation of digital competencies in higher education educational programs in Russia by G. P. Sorokina, T. A. Pershina, E. A. Dolgikh

Get full text

Programmed evolution for optimization of orthogonal metabolic output in bacteria. by Todd T Eckdahl, A Malcolm Campbell, Laurie J Heyer, Jeffrey L Poet, David N Blauch, Nicole L Snyder, Dustin T Atchley, Erich J Baker, Micah Brown, Elizabeth C Brunner, Sean A Callen, Jesse S Campbell, Caleb J Carr, David R Carr, Spencer A Chadinha, Grace I Chester, Josh Chester, Ben R Clarkson, Kelly E Cochran, Shannon E Doherty, Catherine Doyle, Sarah Dwyer, Linnea M Edlin, Rebecca A Evans, Taylor Fluharty, Janna Frederick, Jonah Galeota-Sprung, Betsy L Gammon, Brandon Grieshaber, Jessica Gronniger, Katelyn Gutteridge, Joel Henningsen, Bradley Isom, Hannah L Itell, Erica C Keffeler, Andrew J Lantz, Jonathan N Lim, Erin P McGuire, Alexander K Moore, Jerrad Morton, Meredith Nakano, Sara A Pearson, Virginia Perkins, Phoebe Parrish, Claire E Pierson, Sachith Polpityaarachchige, Michael J Quaney, Abagael Slattery, Kathryn E Smith, Jackson Spell, Morgan Spencer, Telavive Taye, Kamay Trueblood, Caroline J Vrana, E Tucker Whitesides

“…Our approach is called Programmed Evolution to capture two concepts. First, a population of cells is programmed with DNA code to enable it to compute solutions to a chosen optimization problem. …”
Get full text

Calculation of stationary points in linear bilevel programming problems by D. E. Berezhnov, L. I. Minchenko

“…Despite the vast amount of literature and research dedicated to studying them, there are no universal methods to solve them and numerous publications are concerned mainly with identifying particular subsets of problems that can be efficiently analyzed. Linear bilevel programming problems are considered, and an algorithm for computing their stationary points is developed in this paper.…”
Get full text

The Train Delay Model Developed by the Genetic Programming Algorithm by Tomas Brandejsky

“…The real traffic data were aggregated into predefined bins and then the frequencies of the individual delays were computed. The genetic programming algorithm was used in the next step as a symbolic regression tool to discover their frequency function in the form of an algebraic expression. …”
Get full text