Search Results - Reliability Keywords Functional Programming

Refactoring Loops in the Era of LLMs: A Comprehensive Study.

Authors: Midolo, Alessandro Tramontana, Emiliano

Source: Future Internet; Sep2025, Vol. 17 Issue 9, p418, 27p

Subject Terms: CHATGPT, GENERATIVE artificial intelligence, SOFTWARE engineering, SOFTWARE refactoring, FUNCTIONAL programming (Computer science), JAVA programming language

Sustainability of Programming Education Through CDIO-Oriented Practice: An Empirical Study on Syntax-Level Structural Visualization for Functional Programming Languages.

Authors: Lai, Chien-Hung Ho, Liang-Chieh Liao, Zi-Yi

Source: Sustainability (2071-1050); Jun2025, Vol. 17 Issue 12, p5630, 24p

Coverage-Based Fault Localization in Haskell.

Authors: Li, Feng Wang, Guo-Qing Wang, Meng et al.

Source: Journal of Computer Science & Technology (10009000); Jan2025, Vol. 40 Issue 1, p158-177, 20p

Subject Terms: DEBUGGING, FUNCTIONAL programming (Computer science), JAVA programming language, COMPUTER science, SCIENTIFIC computing

Validation of the i-Tracker Drug and Total Anti-Drug Antibody CLIA Assays on IDS-iSYS for Therapeutic Drug Monitoring in Adalimumab- and Infliximab-Treated Patients.

Authors: Dossou, Akpedje Serena Kang, Serena Kalhoro, Tahira et al.

Source: Diagnostics (2075-4418); Oct2025, Vol. 15 Issue 19, p2447, 23p

Subject Terms: ADALIMUMAB, INFLIXIMAB, EVALUATION methodology, DRUG monitoring, IMMUNOASSAY, ANTIBODY specificity, CHEMILUMINESCENCE assay, STATISTICAL reliability

Influence of functional nutrients on poultry performance and health by reducing stress response under environmental stress.

Authors: Kim, Hyun Woo Lee, Seung Yun Kim, Yeong Bin et al.

Source: World's Poultry Science Journal. Sep2025, Vol. 81 Issue 3, p879-915. 37p.

Designing Resilient Multipurpose Reservoir Operation Policies in Presence of Internal Climate Variability.

Authors: Upadhyay, Divya Bhatia, Udit

Source: Water Resources Research; Jul2025, Vol. 61 Issue 7, p1-24, 24p

Subject Terms: CLIMATE change adaptation, STOCHASTIC programming, HYDROLOGIC models, MULTIPLE criteria decision making, WATER management, WATER supply management, DAMS, CLIMATE change

Geographic Terms: INDIA, GUJARAT (India)

Multivariate Amortized Resource Analysis

Authors: Jan Hoffmann Klaus Aehlig Martin Hofmann et al.

Contributors: Jan Hoffmann Klaus Aehlig Martin Hofmann et al.

Source: http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_popl11.pdf.

Subject Terms: Performance, Languages, Theory, Reliability Keywords Functional Programming, Static Analysis, Amortized Analysis, Resource Consumption, Quantitative Analysis

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.7406; http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_popl11.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.7406
http://www.tcs.ifi.lmu.de/%7Ehoffmann/papers/aa_popl11.pdf

Pattern-Based Test Suite Reduction Method for Smart Contracts.

Authors: Górski, Tomasz

Source: Applied Sciences (2076-3417); Jan2025, Vol. 15 Issue 2, p620, 20p

Subject Terms: FUNCTIONAL programming (Computer science), OBJECT-oriented programming, COMPUTER software testing, COMPUTER software development, SOFTWARE architecture

Transcriptomic landscape of pseudorabies virus-induced encephalitis reveals key lncRNAs involved in host–neurotropic virus interactions.

Authors: Phan Van, Thach Huyen Ton Nu Bao, Tien Oh, Byungkwan et al.

Source: Veterinary Research. 11/10/2025, Vol. 56 Issue 1, p1-22. 22p.

Subjects: Encephalitis, Inflammation, Microglia, Central nervous system viral diseases, Aujeszky's disease virus, Drug target, Gene expression, LincRNA

SUPERVISED DATA EXTRACTION FROM TRANSFORMER REPRESENTATION OF LAMBDA-TERMS.

Alternate Title: КЕРОВАНЕ ВИЛУЧЕННЯ ДАНИХ З ТРАНСФОРМЕРНОЇ РЕПРЕЗЕНТАЦІЇ ЛЯМБДА-ТЕРМІВ. (Ukrainian)

Authors: DEINEHA, Oleksandr

Source: Radioelectronic & Computer Systems / Radìoelektronnì ì Komp'ûternì Sistemi; 2024, Issue 2, p19-29, 11p

Subject Terms: DATA extraction, LAMBDA calculus, COMPILERS (Computer programs), FUNCTIONAL programming (Computer science), OBJECT-oriented methods (Computer science), ARTIFICIAL neural networks

Differential expression analysis of lncRNA and mRNA in ovarian tissues of Pishan Red Sheep and Hu Sheep with distinct genotypes during estrus.

Authors: Muhetaer, Aisima Gong, Gao Ye, Yaoyang et al.

Source: Frontiers in Veterinary Science. 2025, p1-16. 16p.

Validity and Reliability of the Turkish Version of the Modified COVID-19 Yorkshire Rehabilitation Scale.

Authors: Doğan, Murat Çelik, Nazlı Konar, Naime Meriç

Source: Anatolian Journal of Family Medicine; 2024, Vol. 7 Issue 1, p13-20, 8p

Subject Terms: COVID-19 pandemic, POST-acute COVID-19 syndrome, STANDARD deviations, TEST validity, FACTOR analysis, INTRACLASS correlation, ACTIVITIES of daily living, EXPLORATORY factor analysis, CONFIRMATORY factor analysis, FUNCTIONAL assessment

Improving the Performance of Information Services in Systems Focused on Large, Rarely Modified Data.

Authors: Vasenin, V. A. Zenzinov, A. A. Roganov, V. A.

Source: Programming & Computer Software; 2024 Suppl 2, Vol. 50, pS155-S162, 8p

Subject Terms: FUNCTIONAL programming (Computer science), CACHE memory, INFORMATION storage & retrieval systems, INFORMATION services, SYSTEMS theory

Prediction of Maximum Scour Around Circular Bridge Piers Using Semi-Empirical and Machine Learning Models.

Authors: Nandi, Buddhadev Das, Subhasish

Source: Water (20734441); Sep2025, Vol. 17 Issue 17, p2610, 30p

Subject Terms: BRIDGE foundations & piers, MACHINE learning, ARTIFICIAL neural networks, STRUCTURAL reliability, EMPIRICAL research, HYDRAULIC measurements, PREDICTIVE validity

3DDA: A Novel Python Toolkit to Analyze 3D‐Dynamic Contact Angles from Molecular Dynamics Simulations.

Authors: Maslov, Andrea Tiwari, Manish K. Seveno, David

Source: Advanced Engineering Materials; Jul2025, Vol. 27 Issue 13, p1-9, 9p

Subject Terms: CONTACT angle, MOLECULAR dynamics, WETTING, SOFTWARE development tools, PROBABILITY density function, PYTHON programming language, LIQUID-vapor interfaces, NANOSCIENCE

Intra-Session Reliability and Predictive Value of Maximum Voluntary Isometric Contraction for Estimating One-Repetition Maximum in Older Women: A Randomised Split-Sample Study.

Authors: Hernández-Murúa, José Aldo Romero-Pérez, Ena Monserrat Guajardo-Cruztitla, Jorge Luis et al.

Source: Journal of Functional Morphology & Kinesiology; Jun2025, Vol. 10 Issue 2, p160, 11p

Subject Terms: MUSCLE contraction, OLDER women, STATISTICAL significance, INTRACLASS correlation, MUSCLE strength, KNEE

Beyond White-Nose Syndrome: Mitochondrial and Functional Genomics of Pseudogymnoascus destructans.

Authors: Popov, Ilia V. Todorov, Svetoslav D. Chikindas, Michael L. et al.

Source: Journal of Fungi; Aug2025, Vol. 11 Issue 8, p550, 20p

Subject Terms: PSEUDOGYMNOASCUS destructans, FUNCTIONAL genomics, PAN-genome, PHYLOGENY, MICROBIAL virulence, MITOCHONDRIAL DNA, WHITE-nose syndrome, BAT ecology

Geographic Terms: NORTH America

Integrative Physiological Strategies for Monitoring Demands in Functional Fitness.

Authors: Rios, Manoel Pyne, David B.

Source: Sports (2075-4663); Nov2025, Vol. 13 Issue 11, p381, 12p

Impact of Bilateral GPi Deep Brain Stimulation on Dystonia, Functional Outcomes, and Caregiver Burden in Patients with Dystonic Cerebral Palsy.

Authors: Özden, Hatice Ömercikoğlu Çelik, Nazlı Durmaz Bayraklı, Fatih et al.

Source: Journal of Clinical Medicine; 8/1/2025, Vol. 14 Issue 15, p5382, 14p

Subject Terms: DEEP brain stimulation, BURDEN of care, CEREBRAL palsy, BRAIN stimulation, MOTOR ability, FUNCTIONAL status, QUALITY of life

Functional Programming with C# : Unlock Coding Brilliance with the Power of Functional Magic

Authors: Alex Yagur

Resource Type: eBook.

Subjects: Computers, Language and languages, C# (Computer program language), Computer programming, Electronic books, Object-oriented programming (Computer science), Software engineering

Categories: COMPUTERS / Languages / C#, COMPUTERS / Programming / Object Oriented, COMPUTERS / Software Development & Engineering / General