Search Results - "Machine Learning"

Sodium Propionate Alleviates Atopic Dermatitis by Inhibiting Ferroptosis via Activation of LTBP2/FABP4 Signaling Pathway by Xie A, Li W, Ye D, Yin Y, Wang R, Wang M, Yu R

Connect to this object online.

Wearable Data From Subjects Playing Super Mario, Taking University Exams, or Performing Physical Exercise Help Detect Acute Mood Disorder Episodes via Self-Supervised Learning: Pro... by Filippo Corponi, Bryan M Li, Gerard Anmella, Clàudia Valenzuela-Pascual, Ariadna Mas, Isabella Pacchiarotti, Marc Valentí, Iria Grande, Antoni Benabarre, Marina Garriga, Eduard Vieta, Allan H Young, Stephen M Lawrie, Heather C Whalley, Diego Hidalgo-Mazzei, Antonio Vergari

Connect to this object online.

Investigation and Confirmation of PYCARD as a Potential Biomarker for the Management of Psoriasis Disease by Xu B, Yu B, Xu Z, Ye S, Qing Y, Sun H, Zhao B, Wu N, Wu J

Connect to this object online.

Exploring the dynamic transitions of polysubstance use patterns among Canadian youth using Latent Markov Models on COMPASS dataResearch in context by Yang Yang, Zahid A. Butt, Scott T. Leatherdale, Plinio P. Morita, Alexander Wong, Laura Rosella, Helen H. Chen

Connect to this object online.

Harnessing Consumer Wearable Digital Biomarkers for Individualized Recognition of Postpartum Depression Using the All of Us Research Program Data Set: Cross-Sectional Study by Eric Hurwitz, Zachary Butzin-Dozier, Hiral Master, Shawn T O'Neil, Anita Walden, Michelle Holko, Rena C Patel, Melissa A Haendel

Connect to this object online.

Characterizing the Prevalence of Obesity Misinformation, Factual Content, Stigma, and Positivity on the Social Media Platform Reddit Between 2011 and 2019: Infodemiology Study by Catherine C Pollack, Jennifer A Emond, A James O'Malley, Anna Byrd, Peter Green, Katherine E Miller, Soroush Vosoughi, Diane Gilbert-Diamond, Tracy Onega

Connect to this object online.

Discovering Subgroups of Children With High Mortality in Urban Guinea-Bissau: Exploratory and Validation Cohort Study by Andreas Rieckmann, Sebastian Nielsen, Piotr Dworzynski, Heresh Amini, Søren Wengel Mogensen, Isaquel Bartolomeu Silva, Angela Y Chang, Onyebuchi A Arah, Wojciech Samek, Naja Hulvej Rod, Claus Thorn Ekstrøm, Christine Stabell Benn, Peter Aaby, Ane Bærent Fisker

Connect to this object online.

Spatiotemporal variation of the association between climate dynamics and HFRS outbreaks in Eastern China during 2005-2016 and its geographic determinants. by Junyu He, George Christakos, Jiaping Wu, Bernard Cazelles, Quan Qian, Di Mu, Yong Wang, Wenwu Yin, Wenyi Zhang

Connect to this object online.

Associations Among Web-Based Civic Engagement and Discrimination, Web-Based Social Support, and Mental Health and Substance Use Risk Among LGBT Youth: Cross-Sectional Survey Study by Xiangyu Tao, Celia Fisher

Connect to this object online.

Using a Decision Tree Algorithm Predictive Model for Sperm Count Assessment and Risk Factors in Health Screening Population by Huang HH, Lu CJ, Jhou MJ, Liu TC, Yang CT, Hsieh SJ, Yang WJ, Chang HC, Chen MS

Connect to this object online.

The Mechanism by Which Hedgehog Interacting Protein (HHIP) in Cancer-Associated Fibroblasts Regulate the Secretion of Inflammatory Factors Through the JAK1/STAT3 Pathway Affecting... by Wo Q, Shi L, Shi J, Mao Y, Xie L

Connect to this object online.

Reducing readmission rates for individuals discharged from acute psychiatric care in Alberta using peer and text message support: Protocol for an innovative supportive program by Ejemai Eboreime, Reham Shalaby, Wanying Mao, Ernest Owusu, Wesley Vuong, Shireen Surood, Kerry Bales, Frank P. MacMaster, Diane McNeil, Katherine Rittenbach, Arto Ohinmaa, Suzette Bremault-Phillips, Carla Hilario, Russ Greiner, Michelle Knox, Janet Chafe, Jeff Coulombe, Li Xin-Min, Carla McLean, Rebecca Rathwell, Mark Snaterse, Pamela Spurvey, Valerie H Taylor, Susan McLean, Liana Urichuk, Berhe Tzeggai, Christopher McCabe, David Grauwiler, Sara Jordan, Ed Brown, Lindy Fors, Tyla Savard, Mara Grunau, Frank Kelton, Sheila Stauffer, Bo Cao, Pierre Chue, Adam Abba-Aji, Peter Silverstone, Izu Nwachukwu, Andrew Greenshaw, Vincent Israel Opoku Agyapong

Connect to this object online.

Cognitive Hyperconnected Digital Transformation Internet of Things Intelligence Evolution

OAPEN Library: download the publication
OAPEN Library: description of the publication

Training Employees using Artificial Intelligence (Presenting a Systemic Model) by Vahid Pourshahabi

Connect to this object online.

The Science of Citizen Science

Table of Contents: “…The Challenges of Definition -- Chapter 2: Citizen Science in Europe -- Part I: Citizen Science as Science -- Chapter 3: Science as a Commons: Improving the Governance of Knowledge through Citizen Science -- Chapter 4: Citizen Science in the Natural Sciences -- Chapter 5: Citizen Humanities -- Chapter 6: Citizen Social Science: New and Established Approaches to Participation in Social Research -- Chapter 7: Data Quality in Citizen Science -- Chapter 8: A Conceptual Model for Participants and Activities in Citizen Science Projects -- Chapter 9: Machine Learning in Citizen Science: Promises and Implications -- Chapter 10: Participation and Co-creation in Citizen Science -- Chapter 11: Citizen Science, Health, and Environmental Justice -- Part II: Citizen Science in Society -- Chapter 12: Participants in Citizen Science -- Chapter 13: Inclusiveness and Diversity in Citizen Science -- Chapter 14: Learning in Citizen Science Chapter -- Chapter 15: Citizen Science Case Studies and Their Impacts on Social Innovation -- Chapter 16: Science as a Lever: The Roles and Power of Civil Society Organisations in Citizen Science -- Chapter 17: Citizen Science and Policy -- Chapter 18: Creating Positive Environmental Impact through Citizen Science -- Chapter 19: Ethical Challenges and Dynamic Informed Consent -- Part III: Citizen Science in Practice -- Chapter 20: Finding What You Need: A Guide to Citizen Science Guidelines -- Chapter 21: Citizen Science Platforms -- Chapter 22: Citizen Science in the Digital World of Apps -- Chapter 23: Communication and Dissemination in Citizen Science -- Chapter 24: Evaluation in Citizen Science: The Art of Tracing a Moving Target Part IV: Conclusions / Lessons Learnt -- Chapter 25: The Recent Past and Possible Futures of Citizen Science: Final Remarks. .…”
Link to Metadata

Big Data in Bioeconomy Results from the European DataBio Project /

Table of Contents: “…Part I - Technological Foundation: Big Data Technologies for BioIndustries: Big Data Technologies in DataBio -- Standards and EO data platforms -- Data Types: Sensor Data -- Remote sensing -- Crowdsourced Data -- Genomics Data -- Data Integration and Modelling: Linked Data and Metadata -- Linked Data usages in Databio -- Data Pipelines: Modeling and Evaluation of models -- Analytics and visualization: Data Analytics and Machine Learning -- Real-time Data Processing -- Privacy Preserving Analytics, Processing and Data Management -- Data Visualisation -- Part II - Applications in Agriculture: Introduction Smart Agriculture -- Smart farming for sustainable agricultural production -- Genomics Biomass pilots -- Yield Prediction in Sorghum (Sorghum bicolor (L.) …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Designing Data Spaces The Ecosystem Approach to Competitive Advantage /

Table of Contents: “…Data Ecosystems: A New Dimension of Value Creation Using AI and Machine Learning -- 14. IDS as a Foundation for Open Data Ecosystems -- 15. …”
Link to Metadata

Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata