A federated learning approach to smart advertising

Συγγραφείς: Seyghaly, Rasool

Συνεισφορές: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

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

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Benaissa Dekhici, Boumediene Benyahia, Brahim Cherki, Luca Fiori, Gianni Andreottola

Πηγή: ACM Transactions on Modeling and Computer Simulation. 34:1-19

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Geniet, Florent, Vallet, Bruno, Bredif, Mathieu

Συνεισφορές: 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

Πηγή: 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⟩

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: Sienne, Italy

Διαθεσιμότητα: 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

Συγγραφείς: Li, Qi, Feng, Yuzhou, Leng, Yuyang, Chen, Dong

Πηγή: 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

Συγγραφείς: Grondin-Verdon, Mickaëlla, Caillat, Domitille, Abel, Louis, Ouni, Slim

Συνεισφορές: 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)

Πηγή: 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⟩

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: Dublin, Ireland

Διαθεσιμότητα: 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

Συγγραφείς: Zhao, Jiamu^Aff6

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Pachnek, Florian^Aff15, Simon, Peter^Aff15, Zeman, Klaus^Aff16

Συνεισφορές: 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

Πηγή: Numerical Methods in Industrial Forming Processes : Numiform 2023. :11-24

Enhancing Mathematical Knowledge Graphs with Large Language Models

Συγγραφείς: Antonio Lobo-Santos, Joaquín Borrego-Díaz

Πηγή: Modelling, Vol 6, Iss 3, p 53 (2025)

Θεματικοί όροι: mathematical knowledge management, knowledge graphs, ontology-based modeling, large language models, information extraction, model verification and validation, Engineering design, TA174

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/9df567269f6a4ebca022f03deba89cf7

Developing a Requirements Model for Software Projects

Συγγραφείς: Ali Yahya Gheni, Haifaa Jassim Muhasin Muhasin, Hiba Adil Yousif, Yusmdi Yah Jusoh

Πηγή: Ibn Al-Haitham Journal for Pure and Applied Sciences, Vol 37, Iss 3 (2024)

Θεματικοί όροι: Requirements elicitation, System development life cycle (SDLC), Model verification, Model validation, Science

Σύνδεσμος πρόσβασης: https://doaj.org/article/1af2932b0d124b9093ceff71e0a08e04

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

Συγγραφείς: Restrepo, Camilo, Correa, Robin, Jacques, Mazo, Raul

Συνεισφορές: 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)

Πηγή: 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⟩

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: Linz, Austria

Διαθεσιμότητα: 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

Συγγραφείς: Ivanov, V.V. ^a, Tielemann, C. ^{b, c}, Avramova, K. ^d, Reinsch, S. ^c, Tonchev, V. ^{a, ∗}

Πηγή: 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

Συγγραφείς: Oluwayemi Garuba, Philip J. Rasch, L. Ruby Leung, Hailong Wang, Samson Hagos, Balwinder Singh

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

Θεματικοί όροι: 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

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/84bd30da70ee47308dc0f3b7fe234bb6

Formal verification and validation of DEVS simulation models

Συγγραφείς: Olamide, Soremekun Ezekiel, Kaba, Traore Mamadou

Πηγή: 2013 Africon AFRICON, 2013. :1-6 Sep, 2013

Relation: AFRICON 2013

New Numerical and Measurements Flow Analyses Near Radars

Συγγραφείς: Salinas, Manuel Flores, Botez, Ruxandra Mihaela, Gauthier, Guy

Πηγή: Applied Mechanics, Vol 2, Iss 2, Pp 303-330 (2021)
Applied Mechanics
Volume 2
Issue 2
Pages 19-330

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Baxter, Matt^Aff12, Polovina, Simon^Aff12, Laurier, Wim^Aff13, Rosing, Mark von^Aff14

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Peng, G., Zhang, H.-M., Frank, H.P., Bidlot, J.-R., Higaki, M., Hankins, W.

Πηγή: 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

Συγγραφείς: Hou, Zechen, Madelaine, Eric

Συνεισφορές: Madelaine, Eric

Πηγή: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. :14-26

Θεματικοί όροι: [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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Oluwayemi Garuba, Philip J. Rasch, L. Ruby Leung, Hailong Wang, Samson Hagos, Balwinder Singh

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

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: https://doaj.org/article/84bd30da70ee47308dc0f3b7fe234bb6

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

Συγγραφείς: Podowski, Michael Z. ^{a, b, ⁎, 1}, Podowski, Raf M. ^b, Kim, Dong Ha ^c, Bae, Jun Ho ^d, Son, Dong Gun ^d

Πηγή: 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

Συγγραφείς: 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

Συνεισφορές: 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

Πηγή: 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