Search Results - "Algorithm"

Machine Learning and Its Application to Reacting Flows ML and Combustion /

Table of Contents: “…Introduction -- ML Algorithms, Techniques and their Application to Reactive Molecular Dynamics Simulations -- Big Data Analysis, Analytics & ML role -- ML for SGS Turbulence (including scalar flux) Closures -- ML for Combustion Chemistry -- Applying CNNs to model SGS flame wrinkling in thickened flame LES (TFLES) -- Machine Learning Strategy for Subgrid Modelling of Turbulent Combustion using Linear Eddy Mixing based Tabulation -- MILD Combustion-Joint SGS FDF -- Machine Learning for Principal Component Analysis & Transport -- Super Resolution Neural Network for Turbulent non-premixed Combustion -- ML in Thermoacoustics -- Concluding Remarks & Outlook.…”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Environmental Impact Assessment of Buildings by Biswas, Wahidul K.

DOAB: download the publication
DOAB: description of the publication

Individual differences in associative learning by Rachel M. Msetfi

DOAB: download the publication
DOAB: description of the publication

Remote Sensing of Above Ground Biomass by Mutanga, Onisimo

DOAB: download the publication
DOAB: description of the publication

Chapter Longitudinal profile of a set of biomarkers in predicting Covid-19 mortality using joint models by Ferrante, Pasquale

DOAB: download the publication
DOAB: description of the publication

Can We Trust AI? by Chellappa, Rama

DOAB: download the publication
DOAB: description of the publication

Nutritional value of gluten-free products using the front-of-pack labeling nutri-score by Martina Gažarová, Petra Lenártová, Lucia Struharňanská

Connect to this object online.

Predicting adverse drug event using machine learning based on electronic health records: a systematic review and meta-analysis by Qiaozhi Hu, Qiaozhi Hu, Yuxian Chen, Dan Zou, Zhiyao He, Zhiyao He, Ting Xu

Connect to this object online.

Level set segmentation of bovine corpora lutea in <it>ex situ</it> ovarian ultrasound images by Adams Gregg P, Singh Jaswant, Pierson Roger A, Rusnell Brennan J, Eramian Mark G

Connect to this object online.

How to Develop and Implement a Computerized Decision Support System Integrated for Antimicrobial Stewardship? Experiences From Two Swiss Hospital Systems by Gaud Catho, Gaud Catho, Nicolo S. Centemero, Brigitte Waldispühl Suter, Nathalie Vernaz, Nathalie Vernaz, Javier Portela, Serge Da Silva, Roberta Valotti, Valentina Coray, Francesco Pagnamenta, Alice Ranzani, Marie-Françoise Piuz, Luigia Elzi, Rodolphe Meyer, Enos Bernasconi, Benedikt D. Huttner, Benedikt D. Huttner, The COMPASS Study Group

Connect to this object online.

Developing and Piloting a Standardized European Protocol for Hepatitis C Prevalence Surveys in the General Population (2016-2019) by Ida Sperle, Ida Sperle, Stine Nielsen, Viviane Bremer, Martyna Gassowski, Henrikki Brummer-Korvenkontio, Roberto Bruni, Anna Rita Ciccaglione, Elena Kaneva, Kirsi Liitsola, Zlatina Naneva, Tanya Perchemlieva, Enea Spada, Salla E. Toikkanen, Andrew J. Amato-Gauci, Erika Duffell, Ruth Zimmermann

Connect to this object online.

Enhancing nursing documentation in Kazakhstan: assessing utilization and standardization for improving patient care by Bibinur Sydykova, Dariga Smailova, Zaituna Khismetova, Marzhan Brimzhanova, Zaure Baigozhina, Hengameh Hosseini, Natalya Latypova, Marina Izmailovich

Connect to this object online.

Liver stiffness measurement predicts the difficulty of Kasai procedure in biliary atresia: a single center retrospective analysis of 199 patients by Qiulong Shen, Yajun Chen, Chunhui Peng, Wenbo Pang, Zengmeng Wang, Dongyang Wu, Kai Wang, Xinjie Huang

Connect to this object online.

Root canal retreatment: a retrospective investigation using regression and data mining methods for the prediction of technical quality and periapical healing by Bruna SIGNOR, Luciano Costa BLOMBERG, Patrícia Maria Poli KOPPER, Paulo Affonso Nonnenmacher AUGUSTIN, Marcos Vinicius RAUBER, Guilherme Scopel RODRIGUES, Roberta Kochenborger SCARPARO

Connect to this object online.

Scabies incidence and association with skin and soft tissue infection in Loyalty Islands Province, New Caledonia: A 15-year retrospective observational study using electronic healt... by Yves-Marie Ducrot, Enzo Bruno, Jean-Marc Franco, Loïc Raffray, Samuel Beneteau, Antoine Bertolotti

Connect to this object online.

Discovery of Drug-Responsive Phenomic Alteration-Related Driver Genes in the Treatment of Coronary Heart Disease by Guan S, Yu YN, Li B, Gu H, Chen L, Wang N, Wang B, Liu X, Liu J, Wang Z

Connect to this object online.

Intersectional analysis of inequalities in self-reported breast cancer screening attendance using supervised machine learning and PROGRESS-Plus framework by Núria Pedrós Barnils, Benjamin Schüz

Connect to this object online.

Development of mWellcare: an mHealth intervention for integrated management of hypertension and diabetes in low-resource settings by Devraj Jindal, Priti Gupta, Dilip Jha, Vamadevan S. Ajay, Shifalika Goenka, Pramod Jacob, Kriti Mehrotra, Pablo Perel, Jonathan Nyong, Ambuj Roy, Nikhil Tandon, Dorairaj Prabhakaran, Vikram Patel

Connect to this object online.

Integrative bioinformatics approaches to establish potential prognostic immune-related genes signature and drugs in the non-small cell lung cancer microenvironment by Jiao Zhou, Jiao Zhou, Shan Shi, Shan Shi, Yeqing Qiu, Yeqing Qiu, Zhongwen Jin, Zhongwen Jin, Wenyan Yu, Wenyan Yu, Rongzhi Xie, Rongzhi Xie, Hongyu Zhang, Hongyu Zhang

Connect to this object online.