Suchergebnisse - "Model Verification and Validation"

A federated learning approach to smart advertising

Autoren: Seyghaly, Rasool

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: García Almiñana, Jordi, Masip Bruin, Xavier

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: Federated Learning (FL), Edge Computing, Smart Advertising, Privacy-Preserving Machine Learning, Personalized Ads, Whale Optimization Algorithm (WOA), Meta-Heuristic Aggregation, User Engagement, Click-Through Rate (CTR), Scalability in AI Systems, Indoor Positioning Systems, Real-Time Data Processing, Model Verification and Validation, GDPR & CCPA Compliance, Formal Verification in AI Systems, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica

Dateibeschreibung: application/pdf

Zugangs-URL: http://hdl.handle.net/10803/694786
https://dx.doi.org/10.5821/dissertation-2117-433346

Modeling of biogas production from hydrothermal carbonization products in a continuous anaerobic digester

Autoren: Benaissa Dekhici Boumediene Benyahia Brahim Cherki et al.

Quelle: ACM Transactions on Modeling and Computer Simulation. 34:1-19

Schlagwörter: Computing methodologies, Model verification and validation, Mathematics of computing, Continuous optimization, Ordinary differential equations, Anaerobic digestion, hydrothermal carbonization, HTC, mathematical modeling and simulation, sensitivity analysis, AM2 model, bioprocess, model identification and optimization, 0211 other engineering and technologies, 02 engineering and technology, 01 natural sciences, 0105 earth and related environmental sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://dl.acm.org/doi/10.1145/3680281
https://doi.org/10.1145/3680281
https://hdl.handle.net/11572/431050

Exact Computation for Robust 3D polyhedral interactive modeling

Autoren: Geniet, Florent Vallet, Bruno Bredif, Mathieu et al.

Weitere Verfasser: Geniet, Florent Vallet, Bruno Bredif, Mathieu et al.

Quelle: Web3D '25: The 30th International Conference on 3D Web Technology ; https://hal.science/hal-05288439 ; Web3D '25: The 30th International Conference on 3D Web Technology, Sep 2025, Sienne, Italy. pp.1-9, ⟨10.1145/3746237.3746298⟩

Schlagwörter: Computing methodologies → Model verification and validation, CCS Concepts, rational computation, exact computation, 3D building models, Mathematics 3D reconstruction, CCS Concepts Computing methodologies → Model verification and validation, [INFO]Computer Science [cs]

Geographisches Schlagwort: Sienne, Italy

Verfügbarkeit: https://hal.science/hal-05288439
https://hal.science/hal-05288439v1/document
https://hal.science/hal-05288439v1/file/article_exact_math.pdf
https://doi.org/10.1145/3746237.3746298

Evaluating Automatic Hand-Gesture Generation Using Multimodal Corpus Annotations: The Benefits of a Multidisciplinary Approach

Autoren: Grondin-Verdon, Mickaëlla Caillat, Domitille Abel, Louis et al.

Weitere Verfasser: Grondin-Verdon, Mickaëlla Caillat, Domitille Abel, Louis et al.

Quelle: GENEA '25: Proceedings of the International Workshop on Generation and Evaluation of Non-verbal Behaviour for Embodied Agents ; MM '25:The 33rd ACM International Conference on Multimedia ; https://hal.science/hal-05330689 ; MM '25:The 33rd ACM International Conference on Multimedia, Taras Kucherenko; Laura B. Hensel, Oct 2025, Dublin, Ireland. pp.3-11, ⟨10.1145/3746268.3759430⟩

Schlagwörter: Model Assessment, Evaluation, Artifical co-speech gestures, Linguistic expertise, Corpus Enrichement, Neural networks, Deep learning architectures, Cross-validation, Motion capture, Model verification and validation, [INFO]Computer Science [cs]

Geographisches Schlagwort: Dublin, Ireland

Verfügbarkeit: https://hal.science/hal-05330689
https://hal.science/hal-05330689v1/document
https://hal.science/hal-05330689v1/file/genea_article.pdf
https://doi.org/10.1145/3746268.3759430

Enhancing Mathematical Knowledge Graphs with Large Language Models

Autoren: Antonio Lobo-Santos Joaquín Borrego-Díaz

Quelle: Modelling, Vol 6, Iss 3, p 53 (2025)

Schlagwörter: mathematical knowledge management, knowledge graphs, ontology-based modeling, large language models, information extraction, model verification and validation, Engineering design, TA174

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/2673-3951/6/3/53; https://doaj.org/toc/2673-3951

Zugangs-URL: https://doaj.org/article/9df567269f6a4ebca022f03deba89cf7

Developing a Requirements Model for Software Projects

Autoren: Ali Yahya Gheni Haifaa Jassim Muhasin Muhasin Hiba Adil Yousif et al.

Quelle: Ibn Al-Haitham Journal for Pure and Applied Sciences, Vol 37, Iss 3 (2024)

Schlagwörter: Requirements elicitation, System development life cycle (SDLC), Model verification, Model validation, Science

Zugangs-URL: https://doaj.org/article/1af2932b0d124b9093ceff71e0a08e04

Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning

Autoren: Restrepo, Camilo, Correa Robin, Jacques Mazo, Raul et al.

Weitere Verfasser: Restrepo, Camilo, Correa Robin, Jacques Mazo, Raul et al.

Quelle: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems ; https://hal.science/hal-04812406 ; ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Sep 2024, Linz, Austria. pp.126 - 137, ⟨10.1145/3640310.3674090⟩

Schlagwörter: Automated Reasoning, Generic Architecture, Configuration Automation, Software and its engineering, Software architectures, Computing methodologies, Software Product Lines, Model verification and validation, [INFO]Computer Science [cs]

Geographisches Schlagwort: Linz, Austria

Verfügbarkeit: https://hal.science/hal-04812406
https://hal.science/hal-04812406v1/document
https://hal.science/hal-04812406v1/file/MODELS_2024_Extensions%20and%20Scalability%20Experiments%20of%20a%20Generic%20Model-Driven%20Architecture%20for%20Variability%20Model%20Reasoning_2024.pdf
https://doi.org/10.1145/3640310.3674090

Slab Ocean Component of the Energy Exascale Earth System Model (E3SM): Development, Evaluation, and Application to Understanding Earth System Sensitivity

Autoren: Oluwayemi Garuba Philip J. Rasch L. Ruby Leung et al.

Quelle: Journal of Advances in Modeling Earth Systems, Vol 16, Iss 5, Pp n/a-n/a (2024)

Schlagwörter: model verification and validation, hierarchical climate modeling, global climate models, ocean/atmosphere interactions, climate sensitivity, clouds and cloud feedbacks, Physical geography, GB3-5030, Oceanography, GC1-1581

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/1942-2466

Zugangs-URL: https://doaj.org/article/84bd30da70ee47308dc0f3b7fe234bb6

New Numerical and Measurements Flow Analyses Near Radars

Autoren: Salinas, Manuel Flores Botez, Ruxandra Mihaela Gauthier, Guy

Quelle: Applied Mechanics, Vol 2, Iss 2, Pp 303-330 (2021)
Applied Mechanics
Volume 2
Issue 2
Pages 19-330

Schlagwörter: flow analysis, wind tunnel model, 0103 physical sciences, CFD model verification and validation, flow characteristics, blunt body, TA1-2040, Engineering (General). Civil engineering (General), aerodynamics, 01 natural sciences, turbulence reduction

Dateibeschreibung: application/pdf

Zugangs-URL: https://www.mdpi.com/2673-3161/2/2/19/pdf
https://doaj.org/article/cdf75213b5944d7092d3d67f3ce59fdb
https://www.mdpi.com/2673-3161/2/2/19
https://www.mdpi.com/2673-3161/2/2/19/pdf
https://www.scilit.net/article/04076fff36017efbb2d2fb1c0ec03bb4?action=show-references

Symbolic bisimulation for open and parameterized systems

Autoren: Hou, Zechen Madelaine, Eric

Weitere Verfasser: Hou, Zechen Madelaine, Eric

Quelle: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. :14-26

Schlagwörter: [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, Hardware → Equivalence checking Keywords Strong Bisimulation, 16. Peace & justice, Theory of computation → Logic and verification, 01 natural sciences, Process calculi, Open Systems, Strong Bisimulation, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-IT] Computer Science [cs]/Information Theory [cs.IT], Computing methodologies → Theorem proving algorithms, Model verification and validation, SMT Solver

Dateibeschreibung: application/pdf

Zugangs-URL: https://hal.inria.fr/hal-02406098/file/poplws20pepmmain-p7-p-79d1b9f-43140-final.pdf
https://inria.hal.science/hal-02406098v1
https://doi.org/10.1145/3372884.3373161
https://inria.hal.science/hal-02406098v1/document
https://dblp.uni-trier.de/db/conf/pepm/pepm2020.html#HouM20
https://hal.inria.fr/hal-02406098/document
https://dl.acm.org/doi/10.1145/3372884.3373161
https://hal.inria.fr/hal-02406098

Slab Ocean Component of the Exascale Earth System Model (E3SM): Development, Evaluation and Application to Understanding Earth System Sensitivity

Autoren: Oluwayemi Garuba Philip J. Rasch L. Ruby Leung et al.

Quelle: Journal of Advances in Modeling Earth Systems, Vol 16, Iss 5, Pp n/a-n/a (2024)

Schlagwörter: clouds and cloud feedbacks, Physical geography, 13. Climate action, global climate models, model verification and validation, ocean/atmosphere interactions, climate sensitivity, GC1-1581, 14. Life underwater, 15. Life on land, hierarchical climate modeling, Oceanography, GB3-5030

Zugangs-URL: https://doaj.org/article/84bd30da70ee47308dc0f3b7fe234bb6

Analyzing Public Transportation Offer wrt Mobility Demand

Autoren: Arman, Ala Bellini, Pierfrancesco Nesi, Paolo et al.

Quelle: Proceedings of the 1st ACM International Workshop on Technology Enablers and Innovative Applications for Smart Cities and Communities. :30-37

Schlagwörter: Simulator, interpreter, probabilistic algorithms, Model-driven software engineering, Model verification and validation, 11. Sustainability, 0502 economics and business, 05 social sciences, Offer & Demand algorithms, Origin Destination Matrices, Public Transport, Smart City, What-if analysis

Dateibeschreibung: application/pdf

Zugangs-URL: https://dl.acm.org/doi/pdf/10.1145/3364544.3364828
https://hdl.handle.net/2158/1182492
https://doi.org/10.1145/3364544.3364828

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation

Autoren: Duracz, Adam Aljarbouh, Ayman Bartha, Ferenc A. et al.

Quelle: Lecture Notes in Computer Science. 11971:108-126

Schlagwörter: Rigorous simulation, Model verification and validation, Domain specific languages, ISO 26262 hazard analysis, Validated numerics, Interval arithmetic, Safety testing, Model-based testing

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-43575

OPTIMIZING THE OPERATION OF THE SHIP'S POWER PLANT USING RENEWABLE ENERGY SOURCES

Autoren: Peša, Tomislav Krčum, Maja Bacalja, Bruna

Quelle: 20th International Conference on Transport Science (ICTS 2022) / Maritime, Transport and Logistics Science
Volume 1
Issue 1

Schlagwörter: Ship power plant, renewable energy sources, optimization, model, verification and validation, TECHNICAL SCIENCES. Traffic and Transport Technology, TEHNIČKE ZNANOSTI. Tehnologija prometa i transport, Ship, Power plant, Renewable energy sources

Dateibeschreibung: application/pdf

Zugangs-URL: https://urn.nsk.hr/urn:nbn:hr:164:224197
https://repozitorij.svkst.unist.hr/islandora/object/pfst:2292
https://repozitorij.svkst.unist.hr/islandora/object/pfst:2292/datastream/FILE0

Active Semantic Relations in Layered Enterprise Architecture Development

Autoren: Baxter, Matt Polovina, Simon Laurier, Wim et al.

Weitere Verfasser: Baxter, Matt Polovina, Simon Laurier, Wim et al.

Schlagwörter: Enterprise architecture frameworks, Layered enterprise architecture development, Business-IT alignment, Ontology, Semantics and reasoning, Conceptual structures, Model verification and validation

Relation: boreal:244292; https://hdl.handle.net/2078.3/244292

Verfügbarkeit: https://hdl.handle.net/2078.3/244292
https://doi.org/10.1007/978-3-030-72308-8_1

Introduction to the Special Issue on Distributed Hybrid Systems

Autoren: Abate, Alessandro Fahrenberg, Uli Fränzle, Martin

Quelle: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 00:1-00:3 ; 2199-2002 ; 10.4230/LITES-v008-i002

Schlagwörter: Distributed hybrid systems, Computing methodologies~Model verification and validation, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Concurrency, Theory of computation~Distributed computing models, Theory of computation~Logic and verification, Theory of computation~Program reasoning, Theory of computation~Self-organization, Theory of computation~Timed and hybrid models

Dateibeschreibung: application/pdf

Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000/48

Verfügbarkeit: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000
https://doi.org/10.4230/LITES.8.2.0

GangSweep: Sweep Out Neural Backdoors by GAN

Autoren: Zhu, Liuwan Ning, Rui Wang, Cong et al.

Quelle: Computer Science Faculty Publications

Schlagwörter: Computing methodologies, Model verification and validation, Deep neural network, Neural backdoor, Artificial Intelligence and Robotics, Computer Sciences, Electrical and Computer Engineering

Relation: https://digitalcommons.odu.edu/computerscience_fac_pubs/185; https://doi.org/10.1145/3394171.3413546

Verfügbarkeit: https://digitalcommons.odu.edu/computerscience_fac_pubs/185
https://doi.org/10.1145/3394171.3413546

Adapting the MPAS Dynamical Core for Applications Extending Into the Thermosphere

Autoren: J. B. Klemp W. C. Skamarock

Quelle: Journal of Advances in Modeling Earth Systems, Vol 13, Iss 9, Pp n/a-n/a (2021)

Schlagwörter: idealized model, modeling, model verification and validation, numerical solutions, numerical approximations and analyses, Physical geography, GB3-5030, Oceanography, GC1-1581

Dateibeschreibung: electronic resource

Relation: https://doaj.org/toc/1942-2466

Zugangs-URL: https://doaj.org/article/d52c1b70a19f4da79083d1fbf9084af9

Validation of a 30 m resolution flood hazard model of the conterminous United States

Autoren: Oliver E. J. Wing Paul D. Bates Christopher C. Sampson et al.

Quelle: Wing, O, Bates, P, Sampson, C, Smith, A, Johnson, K & Erickson, T 2017, 'Validation of a 30m resolution flood hazard model of the conterminous United States', Water Resources Research. https://doi.org/10.1002/2017WR020917

Schlagwörter: 13. Climate action, Computational hydrology, Modeling, Extreme events, Model verification and validation, 01 natural sciences, 6. Clean water, Floods, 0105 earth and related environmental sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://agupubs.onlinelibrary.wiley.com/doi/full/10.1002/2017WR020917
https://research-information.bristol.ac.uk/files/133466974/Wing_et_al_2017_Water_Resources_Research.pdf
https://onlinelibrary.wiley.com/doi/abs/10.1002/2017WR020917
http://agupubs.onlinelibrary.wiley.com/doi/abs/10.1002/2017WR020917
https://research-information.bris.ac.uk/en/publications/validation-of-a-30m-resolution-flood-hazard-model-of-the-conterminous-united-states(8d9fc333-5961-421b-8c1a-ed3673d77154).html
http://onlinelibrary.wiley.com/doi/10.1002/2017WR020917/full
https://research-information.bris.ac.uk/en/publications/8d9fc333-5961-421b-8c1a-ed3673d77154
https://hdl.handle.net/1983/8d9fc333-5961-421b-8c1a-ed3673d77154

Quantitative Interpretation of Air Radon Progeny Fluctuations in Terms of Stability Conditions in the Atmospheric Boundary Layer

Autoren: Salzano R Pasini A Casasanta G et al.

Quelle: Boundary-Layer Meteorology. 160:529-550

Schlagwörter: Boundary-layer processes, Aerosols and particles, Geochemical cycles, Model verification and validation, Modelling, Atmospheric Science, 01 natural sciences, 0105 earth and related environmental sciences

Dateibeschreibung: application/pdf

Zugangs-URL: https://link.springer.com/article/10.1007/s10546-016-0149-6/fulltext.html
https://ui.adsabs.harvard.edu/abs/2016BoLMe.160..529S/abstract
https://link.springer.com/article/10.1007/s10546-016-0149-6