Bilaketaren emaitzak - "Machine Learning"

Findu emaitzak
  1. 4781
  2. 4782
  3. 4783
  4. 4784
  5. 4785
  6. 4786
  7. 4787
  8. 4788
  9. 4789
  10. 4790
  11. 4791

    Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /

    Argitaratua 2021
    Aurkibidea: “...Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs....”
    Link to Metadata
    Baliabide elektronikoa eBook
  12. 4792

    Pandemics: Insurance and Social Protection

    Argitaratua 2022
    Link to Metadata
    Baliabide elektronikoa eBook
  13. 4793
  14. 4794

    Dynamics in Logistics Twenty-Five Years of Interdisciplinary Logistics Research in Bremen, Germany /

    Argitaratua 2021
    Aurkibidea: “...Part I: Models and Methods for Planning in Logistics -- Autonomous Control of Logistics Processes - A Retrospective -- Explorable Uncertainty meets Decision-Making in Logistics -- Complex Networks in Manufacturing and Logistics: A Retrospect -- Recent Developments in Mathematical Traffic Models -- Part II: Digitalization and Logistics -- Intelligent Agents for Social and Learning Logistics Systems -- Semantic Interoperability for Logistics and Beyond -- Semantic Digital Twins for Retail Logistics -- A Demand-Response System for Sustainable Manufacturing Using Linked Data and Machine Learning -- The Influence of Cognitive Biases in Production Logistics -- Part III: Fields of Application in Logistics -- Automobile Logistics 4.0 - Advances through Digitalization -- 15 Years of Intelligent Container Research -- The Rise of Ultra Large Container Vessels: Implications for Seaport Systems and Environmental Considerations -- Modeling individualized sustainable last mile logistics -- Logistics Challenges along the New Silk Roads -- Observations and Perceptions on a Doctoral Research Seminar in Engineering and Logistics....”
    Link to Metadata
    Baliabide elektronikoa eBook
  15. 4795
  16. 4796

    Energy and Sustainable Futures: Proceedings of the 3rd ICESF, 2022

    Argitaratua 2023
    Aurkibidea: “...Investigating Energy Cost Impact on Private Residential Buildings in the West Midlands Region of the UK -- Towards an Effective Artificial Intelligence Systems for Condition Monitoring of Off-Shore Wind Turbines: The Application of Sensor Fusion -- CFD Based Aerodynamics conjugate Heat Transfer and Airgap Fluid Flow Thermal Analysis to a Wheel Hub Motor for Electric Scooters -- Learning from the past fora sustainable future: Environmental monitoring and 3D modeling to assess the thermal performance of heritage buildings -- Oil and gas supply chain: Analysing stakeholder sustainability risk perception -- using machine learning to predict synthetic fuel spray penetration from limited experimental data without computational flluid dynamics....”
    Link to Metadata
    Baliabide elektronikoa eBook
  17. 4797

    AI, Data, and Digitalization First International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023, Revised Selected Papers /

    Argitaratua 2024
    Aurkibidea: “...Geolocation data as a research tool for the organization of the settlement system and mobility mapping - case study of the spatial mobility model in Czechia -- Returning Home Strategy Analysis using Mobile Sensing Data in Tohoku Earthquake -- Terminology Saturation Analysis: Refinements and Applications -- How To Be a Well-Prepared Organizer: Studying the Causal Effects of City Events on Human Mobility -- Human Cognition Modeling for the Metaverse-oriented Design System -- Patient self-reports for explainable machine learning predictions of risks to psychotherapy outcomes -- I-KNOW-FOO: Interlinking and Creating KNOWledge Graphs for near-zero CO2 emission diets and sustainable FOOd production -- Extreme and Sustainable Graph Processing for Green Finance Investment and Trading -- A Comprehensive Framework for Detecting Behavioural Anomalies in the Elderly -- Violence-inducing Behavior Prevention in Social-Cyber Space -- Artificial Intelligence inthe public sector in Norway AI development as a hop-on-hop-off journey -- Challenges in regulating online hate-speech within the Norwegian context -- Digital and AI maturity of enterprises in Sogn og Fjordane, a rural region of Norway. ....”
    Link to Metadata
    Baliabide elektronikoa eBook
  18. 4798

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

    Argitaratua 2018
    Aurkibidea: “...Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. ....”
    Link to Metadata
    Baliabide elektronikoa eBook
  19. 4799

    Urban Informatics

    Argitaratua 2021
    Link to Metadata
    Baliabide elektronikoa eBook
  20. 4800

    The Plaston Concept Plastic Deformation in Structural Materials /

    Argitaratua 2022
    Aurkibidea: “...First principles calculations of collective motion of atoms in metals -- 5. Machine learning interatomic potentials with controlled accuracy -- 6. ...”
    Link to Metadata
    Baliabide elektronikoa eBook