Search Results - Reliability Keywords Functional Programming*

Author manuscript, published in 'European Lisp Symposium (2013)' Functional Package Management with Guix

Authors: Ludovic Courtès The Pennsylvania State University CiteSeerX Archives

Contributors: Ludovic Courtès The Pennsylvania State University CiteSeerX Archives

Source: http://hal.inria.fr/docs/00/82/40/04/PDF/guix.pdf.

Subject Terms: Categories and Subject Descriptors D.4.5 [Operating Systems, Reliability, D.4.5 [Operating Systems, System Programs and Utilities, D.1.1 [Software, Applicative (Functional) Programming General Terms Languages, Management, Reliability Keywords Functional package management, Scheme, Embedded domainspecific

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.5654; http://hal.inria.fr/docs/00/82/40/04/PDF/guix.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.409.5654
http://hal.inria.fr/docs/00/82/40/04/PDF/guix.pdf

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

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

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

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

Innovative lipid delivery systems in ruminant diets: the role of spray drying.

Authors: de Oliveira, Thâmilla Thalline Batista Ferreira, Thalia Catherine Sacramento Tavares, Pedro Paulo Lordelo Guimaraes et al.

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

Morphological and transcriptional insights into the role of histone phosphorylation-related genes in early development of the chicken duodenum.

Authors: Xiaofeng Li Bing Yang

Source: Animal Bioscience. Nov2025, Vol. 38 Issue 11, p2377-2391. 15p.

Metatranscriptome analysis to unveil the molecular signatures of transcriptionally active pathogens associated with bovine mastitis.

Authors: Naveenprasath, T. Ummat, Badeer Hassan Tarique, Farha et al.

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

Feasibility and Preliminary Effects of Community-Based High-Intensity Functional Training for Adults with Mobility Disabilities and Overweight/Obesity: A Pilot Study.

Authors: Koon, Lyndsie M. Donnelly, Joseph E. Sherman, Joseph R. et al.

Source: Sports (2075-4663); Oct2025, Vol. 13 Issue 10, p361, 20p

Application of Positive Mathematical Programming (PMP) in Sustainable Water Resource Management: A Case Study of Hetao Irrigation District, China.

Authors: Yao, Jingwei Berbel, Julio Yang, Zhiyuan et al.

Source: Water (20734441); Sep2025, Vol. 17 Issue 17, p2598, 20p

Subject Terms: MATHEMATICAL programming, WATER management, SUSTAINABLE agriculture, CROP rotation, SOIL salinization, WATER conservation, WATER shortages

Geographic Terms: CHINA