A federated learning approach to smart advertising

Authors: Seyghaly, Rasool

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

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

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: 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

File Description: application/pdf

Access 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

Authors: Benaissa Dekhici, Boumediene Benyahia, Brahim Cherki, Luca Fiori, Gianni Andreottola

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

Subject Terms: 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

File Description: application/pdf

Access 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

Authors: Geniet, Florent, Vallet, Bruno, Bredif, Mathieu

Contributors: Laboratoire en Sciences et Technologies de l'Information Géographique (LaSTIG), Ecole des Ingénieurs de la Ville de Paris (EIVP)-École nationale des sciences géographiques (ENSG), Institut National de l'Information Géographique et Forestière IGN (IGN)-Université Gustave Eiffel-Institut National de l'Information Géographique et Forestière IGN (IGN)-Université Gustave Eiffel

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Sienne, Italy

Availability: 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

SolarFinder: Automatic Detection of Solar Photovoltaic Arrays

Authors: Li, Qi, Feng, Yuzhou, Leng, Yuyang, Chen, Dong

Source: 2020 19th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN) Information Processing in Sensor Networks (IPSN), 2020 19th ACM/IEEE International Conference on. :193-204 Apr, 2020

Relation: 2020 19th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN)

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

Authors: Grondin-Verdon, Mickaëlla, Caillat, Domitille, Abel, Louis, Ouni, Slim

Contributors: Speech Modeling for Facilitating Oral-Based Communication (MULTISPEECH), Centre Inria de l'Université de Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Natural Language Processing & Knowledge Discovery (LORIA - NLPKD), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Praxiling (Praxiling), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier Paul-Valéry (UMPV), Institut National de Recherche en Informatique et en Automatique (Inria), Institut des technosciences de l’information et de la communication (ITIC-UMPV), Université de Montpellier Paul-Valéry (UMPV), CNRS (MITI), Taras Kucherenko, Laura B. Hensel, ANR-24-CE23-2926,SYNCOGEST,Synchronisation de la parole et des gestes(2024)

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Dublin, Ireland

Availability: 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

Regression Analysis on Total Annual Mackerel and Horse Mackerel Egg Production

Authors: Zhao, Jiamu^Aff6

Contributors: Fournier-Viger, Philippe, Series Editor^Aff1, Draman Mud, Azah Kamilah, editor^Aff2, Mohd Zahid, Mohd Soperi Bin, editor^Aff3, Abang Jawawi, Dayang Norhayati, editor^Aff4, Chew, Fong Peng, editor^Aff5

Source: Proceedings of the 2024 5th International Conference on Big Data and Social Sciences (ICBDSS 2024). 116:383-391

Reduced Three-Dimensional Model for Cold Rolling Simulation of Aluminium Alloys

Authors: Pachnek, Florian^Aff15, Simon, Peter^Aff15, Zeman, Klaus^Aff16

Contributors: Chaari, Fakher, Series Editor^Aff1, Gherardini, Francesco, Series Editor^Aff2, Ivanov, Vitalii, Series Editor^Aff3, Haddar, Mohamed, Series Editor^Aff4, Cavas-Martínez, Francisco, Editorial Board Member^Aff5, di Mare, Francesca, Editorial Board Member^Aff6, Kwon, Young W., Editorial Board Member^Aff7, Tolio, Tullio A. M., Editorial Board Member^Aff8, Trojanowska, Justyna, Editorial Board Member^Aff9, Schmitt, Robert, Editorial Board Member^Aff10, Xu, Jinyang, Editorial Board Member^Aff11, Kusiak, Jan, editor^Aff12, Rauch, Łukasz, editor^Aff13, Regulski, Krzysztof, editor^Aff14

Source: Numerical Methods in Industrial Forming Processes : Numiform 2023. :11-24

Enhancing Mathematical Knowledge Graphs with Large Language Models

Authors: Antonio Lobo-Santos, Joaquín Borrego-Díaz

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

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

File Description: electronic resource

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

Access URL: https://doaj.org/article/9df567269f6a4ebca022f03deba89cf7

Developing a Requirements Model for Software Projects

Authors: Ali Yahya Gheni, Haifaa Jassim Muhasin Muhasin, Hiba Adil Yousif, Yusmdi Yah Jusoh

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

Subject Terms: Requirements elicitation, System development life cycle (SDLC), Model verification, Model validation, Science

Access URL: https://doaj.org/article/1af2932b0d124b9093ceff71e0a08e04

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

Authors: Restrepo, Camilo, Correa, Robin, Jacques, Mazo, Raul

Contributors: Université Paris 1 Panthéon-Sorbonne (UP1), Ecole Supérieure d'Informatique Electronique Automatique Paris (ESIEA), Centre de Recherche en Informatique de Paris 1 (CRI), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Linz, Austria

Availability: 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

Modelling crystallization: When the normal growth velocity depends on the supersaturation

Authors: Ivanov, V.V. ^a, Tielemann, C. ^{b, c}, Avramova, K. ^d, Reinsch, S. ^c, Tonchev, V. ^{a, ∗}

Source: In Journal of Physics and Chemistry of Solids October 2023 181

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

Authors: Oluwayemi Garuba, Philip J. Rasch, L. Ruby Leung, Hailong Wang, Samson Hagos, Balwinder Singh

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

Subject Terms: 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

File Description: electronic resource

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

Access URL: https://doaj.org/article/84bd30da70ee47308dc0f3b7fe234bb6

Formal verification and validation of DEVS simulation models

Authors: Olamide, Soremekun Ezekiel, Kaba, Traore Mamadou

Source: 2013 Africon AFRICON, 2013. :1-6 Sep, 2013

Relation: AFRICON 2013

New Numerical and Measurements Flow Analyses Near Radars

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

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

Subject Terms: 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

File Description: application/pdf

Access 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

Active Semantic Relations in Layered Enterprise Architecture Development

Authors: Baxter, Matt^Aff12, Polovina, Simon^Aff12, Laurier, Wim^Aff13, Rosing, Mark von^Aff14

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Cochez, Michael, editor^Aff8, Croitoru, Madalina, editor^Aff9, Marquis, Pierre, editor^Aff10, Rudolph, Sebastian, editor^Aff11

Source: Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers. 12640:3-16

A comparison of various equatorial pacific surface wind products

Authors: Peng, G., Zhang, H.-M., Frank, H.P., Bidlot, J.-R., Higaki, M., Hankins, W.

Source: 2011 IEEE International Geoscience and Remote Sensing Symposium Geoscience and Remote Sensing Symposium (IGARSS), 2011 IEEE International. :2049-2052 Jul, 2011

Relation: IGARSS 2011 - 2011 IEEE International Geoscience and Remote Sensing Symposium

Symbolic bisimulation for open and parameterized systems

Authors: Hou, Zechen, Madelaine, Eric

Contributors: Madelaine, Eric

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

Subject Terms: [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

File Description: application/pdf

Access 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

Authors: Oluwayemi Garuba, Philip J. Rasch, L. Ruby Leung, Hailong Wang, Samson Hagos, Balwinder Singh

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

Subject Terms: 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

Access URL: https://doaj.org/article/84bd30da70ee47308dc0f3b7fe234bb6

Impact of consistency between modeling detail and physical uncertainties on severe accident predictions

Authors: Podowski, Michael Z. ^{a, b, ⁎, 1}, Podowski, Raf M. ^b, Kim, Dong Ha ^c, Bae, Jun Ho ^d, Son, Dong Gun ^d

Source: In Nuclear Engineering and Design 1 December 2021 384

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

Authors: Duracz, Adam^Aff13, Aljarbouh, Ayman^Aff11, Bartha, Ferenc A.^Aff13, Masood, Jawad^Aff13, Philippsen, Roland^Aff12, Eriksson, Henrik^Aff14, Duracz, Jan^Aff12, Xu, Fei^Aff12, Zeng, Yingfu^Aff13, Grante, Christian^Aff15

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Chamberlain, Roger, editor^Aff8, Edin Grimheden, Martin, editor^Aff9, Taha, Walid, editor^Aff10

Source: Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. 11971:108-126