Testing Automation of Context-Oriented Programs Using Separation Logic by Mohamed A. El-Zawawy

Get full text

Mathematical modeling of ethanol distribution in body fluids by G. V. Nedugov

Subjects: Get full text

Optimization of early diagnosis of ovarian cancer using an original software ScOv by S. V. Khabarov, S. O. Nikogosyan, V. G. Volkov, G. M. Chibisova

Subjects: Get full text

Improving the quality of theoretical training of cadets with the help of information and communication technologies by V. V. Bulgakov

Subjects: “…demand and efficiency of the computer program…”
Get full text

Mastery learning in CS1: a longitudinal study during and post-pandemic by Vasa Buraphadeja, Vilasinee Srisarkun

Subjects: Get full text

Polytomous key for selecting plants according to decorative, phenological, phenotypic traits when landscaping cities in the south of Russia by N. A. Trusheva, O. N. Rezchikova

Subjects: Get full text

A CT-based interpretable deep learning signature for predicting PD-L1 expression in bladder cancer: a two-center study by Xiaomeng Han, Jing Guan, Li Guo, Qiyan Jiao, Kexin Wang, Feng Hou, Shunli Liu, Shifeng Yang, Chencui Huang, Wenbin Cong, Hexiang Wang

Subjects: Get full text

Effects of Different Exercise Interventions on Fall Risk and Gait Parameters in Frail Patients After Open Heart Surgery: A Pilot Study by Vitalija Stonkuvienė, Raimondas Kubilius, Eglė Lendraitienė

Subjects: Get full text

Orthogonal intercellular signaling for programmed spatial behavior by Paul K Grant, Neil Dalchau, James R Brown, Fernan Federici, Timothy J Rudge, Boyan Yordanov, Om Patange, Andrew Phillips, Jim Haseloff

Get full text

GENETIC PROGRAMMING METHOD FOR CONTROL SYSTEMS IDENTIFICATION by Askhat I. Diveyev, Elena A. Sofronova

“…The method of genetic programming with the network operator is used. Network operator properties, rules of its creation and application are described. …”
Get full text

Hybrid Biogeography-Based Optimization for Integer Programming by Zhi-Cheng Wang, Xiao-Bei Wu

“…Thus we modify the mutation operator and/or the neighborhood structure of the algorithm, resulting in three new BBO-based methods, named BlendBBO, BBO_DE, and LBBO_LDE, respectively. Computational experiments show that these methods are competitive approaches to solve integer programming problems, and the LBBO_LDE shows the best performance on the benchmark problems.…”
Get full text

Applications of mathematical programming in graceful labeling of graphs by Kourosh Eshghi, Parham Azimi

“…In this paper, first a new approach based on the mathematical programming technique is presented to model the graceful labeling problem. …”
Get full text

Ten simple rules for developing a training program. by Leanna B Blevins, Amy M Harrigan, Kevin A Janes, Jason A Papin

Get full text

Genetic Programming and Standardization in Water Temperature Modelling by Maritza Arganis, Rafael Val, Jordi Prats, Katya Rodríguez, Ramón Domínguez, Josep Dolz

“…An application of Genetic Programming (an evolutionary computational tool) without and with standardization data is presented with the aim of modeling the behavior of the water temperature in a river in terms of meteorological variables that are easily measured, to explore their explanatory power and to emphasize the utility of the standardization of variables in order to reduce the effect of those with large variance. …”
Get full text

QUANTITATIVE ASSESSMENT OF RELATIVE HUMIDITY, K INDEX, AND TT INDEX USING PROGRAMMATIC ANALYSIS by Indrajit Ghosh, Ananya Roy, Vanshika Gupta, Shruti Bhattacharya

Subjects: Get full text

DETERMINATION OF STEEL GRAIN GRADE BY COMPUTER METHODS by A. G. Anisovich, I. N. Rumyantseva, L. V. Bisluk

“…The necessity of correlation of GOST requirements and computer programs of images processing is discussed.…”
Get full text

ELEMENTS OF COMPUTER LEXICOGRAPHY IN AGRICULTURAL MANAGERS EDUCATION by Lesia H. Matviienko, Olena H. Krasota

“…Special programs (databases, computer files, word processing programs) let us automatically generate dictionary entries, store dictionary information and process it. …”
Get full text

Parallel Monte Carlo computations in SCore environment by Svajonė Vošterienė

“…The cluster help us to generate parallel random numbers for simulating our task and to computerize parallel programs. In this particle we present the PMC, who let us simulate the mortar firing. …”
Get full text

Hardware and Software Synthesis of Heterogeneous Systems from Dataflow Programs by Ghislain Roquier, Endri Bezati, Marco Mattavelli

Get full text