Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Model and Data Engineering in the Digitalization Era : MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2–4, 2023, Proceedings / / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri, Chirine Ghedira Guegan, Hassan Badir, Amin Beheshti, Mohamed Mohsen Gammoudi
| Advances in Model and Data Engineering in the Digitalization Era : MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2–4, 2023, Proceedings / / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri, Chirine Ghedira Guegan, Hassan Badir, Amin Beheshti, Mohamed Mohsen Gammoudi |
| Autore | Mosbah Mohamed |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (255 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
KechadiTahar
BellatrecheLadjel GargouriFaiez GueganChirine Ghedira BadirHassan BeheshtiAmin GammoudiMohamed Mohsen |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Application software Artificial intelligence Computer engineering Computer networks Operating systems (Computers) Data structures (Computer science) Information theory Software Engineering Computer and Information Systems Applications Artificial Intelligence Computer Engineering and Networks Operating Systems Data Structures and Information Theory |
| ISBN | 3-031-55729-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine Learning and Optimization -- Scoring Unstructured Data from Online Social Network for Homeland Security Applications -- A Comparative Analysis of Time Series Transformers and Alternative Deep Learning Models for SSVEP Classification -- MixUp Data Augmentation for Handwritten Arabic Mathematical Symbols Recognition -- Natural Language Processing -- Towards an Open Domain Arabic Question Answering System: Assessment of the Bert Approach -- Multi-lingual scene text detection containing the Arabic scripts using an optimal then enhanced YOLO model -- Transfer Learning Model for Cyberbullying Detection in Tunisian Social Networks -- Modeling and Data Management -- Node2Vec stability: preliminary study to ensure the compatibility of embeddings with incremental data alignment -- Towards Enabling Domain-Specific Modeling Language Exchange between Modeling Tools -- Healthcare Applications -- The Power of Prognosis: Cox Model Prediction of Disease-Free Survival in Colon Cancer -- Transfer Learning in Segmenting Myocardium Perfusion Images -- Smart Saliency Detection For Prosthetic Vision -- Automatic Detection of Multiple Sclerosis Using Genomic Expression -- DEITS Worshop: Data Engineering in IoT Systems -- Distributed and Collaborative Learning Approach for Stroke Prediction -- IoT Technologies for Smart Healthcare Buildings with Distributed Deep Learning Techniques -- How Does Blockchain Enhance Zero Trust Security in IoMT -- HIPAA and GDPR compliance in IoT healthcare systems -- A Secure IoT Architecture for Industry 4.0 -- From functional requirements to NoSQL database models: application to IoT Geospatial Data -- A survey on intrusion detection systems for IoT networks based on long short-term memory. |
| Record Nr. | UNINA-9910845481503321 |
Mosbah Mohamed
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model and Data Engineering [[electronic resource] ] : 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings / / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri
| Model and Data Engineering [[electronic resource] ] : 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings / / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XIII, 396 p. 130 illus., 116 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer networks Database management Data mining Machine learning Software Engineering Computer Communication Networks Database Management Data Mining and Knowledge Discovery Machine Learning |
| ISBN | 3-031-49333-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling -- A Comparative Analysis of Time Series Prediction Techniques –A Systematic Literature Review (SLR) -- A Formal Metamodel with Composite Components -- A floating-point numbers theory for Event-B -- Model based testing approach for EIP-1559 Ethereum Smart contracts -- Execution planning in aggregated search in the web of data without using metadata -- Discovering Relationships between Heterogeneous declarative Mappings for RDF Knowledge Graph -- Machine Learning and Optimization -- Exploring Synthetic Noise Algorithms for Real-world Similar Data Generation: A Case Study on Digitally Twining Hybrid Turbo-shaft Engines in UAV/UAS Applications -- Understanding Mobile Game Reviews Through Sentiment Analysis: A Case Study of PUBGm -- Data-Driven and Model-Driven Approaches in Predictive Modeling for Operational Efficiency: Use case mining industry -- Approach based on Bayesian network and ontology for identifying factors impacting the states of people with psychological problems from data on social media -- Social recommendation using deep auto-encoder and confidence aware sentiment Analysis -- Deep Learning Based on TensorFlow and Keras for Predictive Monitoring of Business Process Execution Delays -- Ontology and Database Systems -- OntoFD: A Generic Social Media Fake News Ontology -- Finding a Second Wind: Speeding Up Graph Traversal Queries in RDBMSs Using Column-Oriented Processing -- Ontology matching using multi-head attention graph isomorphism network -- Investigating the Perceived Usability of Entity-Relationship Quality Frameworks for NoSQL Databases -- Fuzzy HealthIoT ontology for comorbidity treatment -- Healthcare Applications -- Advancing Brain Tumor Segmentation via Attention-based 3D U-Net Architecture and Digital Image Processing -- Breast Cancer Detection based DenseNet with Attention model in Mammogram Images -- AI-based Long-term Monitoring System for patients in pandemics: COVID-19 case study -- Cardiovascular Anomaly Detection using Deep Learning Techniques -- Applications and Security -- Real-Time Mitigation of Trust-Related Attacks in Social IoT -- Hybrid Data-driven and Knowledge-based Predictive Maintenance Framework in the Context of Industry 4.0 -- Enhancing Semantic Image Synthesis: A GAN-Based Approach with Multi-Feature Adaptive Denormalization Layer -- Towards an Effective Attribute-based Access Control Model for Neo4j -- GRU-Based Forecasting Model for Energy Production and Consumption: Leveraging Random Forest Feature Importance -- Localizing Non-Functional Code Bugs in User Interfaces using Deep Learning Techniques. . |
| Record Nr. | UNISA-996587869103316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model and Data Engineering : 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings / / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri
| Model and Data Engineering : 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings / / edited by Mohamed Mosbah, Tahar Kechadi, Ladjel Bellatreche, Faiez Gargouri |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XIII, 396 p. 130 illus., 116 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer networks Database management Data mining Machine learning Software Engineering Computer Communication Networks Database Management Data Mining and Knowledge Discovery Machine Learning |
| ISBN | 3-031-49333-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling -- A Comparative Analysis of Time Series Prediction Techniques –A Systematic Literature Review (SLR) -- A Formal Metamodel with Composite Components -- A floating-point numbers theory for Event-B -- Model based testing approach for EIP-1559 Ethereum Smart contracts -- Execution planning in aggregated search in the web of data without using metadata -- Discovering Relationships between Heterogeneous declarative Mappings for RDF Knowledge Graph -- Machine Learning and Optimization -- Exploring Synthetic Noise Algorithms for Real-world Similar Data Generation: A Case Study on Digitally Twining Hybrid Turbo-shaft Engines in UAV/UAS Applications -- Understanding Mobile Game Reviews Through Sentiment Analysis: A Case Study of PUBGm -- Data-Driven and Model-Driven Approaches in Predictive Modeling for Operational Efficiency: Use case mining industry -- Approach based on Bayesian network and ontology for identifying factorsimpacting the states of people with psychological problems from data on social media -- Social recommendation using deep auto-encoder and confidence aware sentiment Analysis -- Deep Learning Based on TensorFlow and Keras for Predictive Monitoring of Business Process Execution Delays -- Ontology and Database Systems -- OntoFD: A Generic Social Media Fake News Ontology -- Finding a Second Wind: Speeding Up Graph Traversal Queries in RDBMSs Using Column-Oriented Processing -- Ontology matching using multi-head attention graph isomorphism network -- Investigating the Perceived Usability of Entity-Relationship Quality Frameworks for NoSQL Databases -- Fuzzy HealthIoT ontology for comorbidity treatment -- Healthcare Applications -- Advancing Brain Tumor Segmentation via Attention-based 3D U-Net Architecture and Digital Image Processing -- Breast Cancer Detection based DenseNet with Attention model in Mammogram Images -- AI-based Long-term Monitoring System for patients in pandemics: COVID-19 case study -- Cardiovascular Anomaly Detection using Deep Learning Techniques -- Applications and Security -- Real-Time Mitigation of Trust-Related Attacks in Social IoT -- Hybrid Data-driven and Knowledge-based Predictive Maintenance Framework in the Context of Industry 4.0 -- Enhancing Semantic Image Synthesis: A GAN-Based Approach with Multi-Feature Adaptive Denormalization Layer -- Towards an Effective Attribute-based Access Control Model for Neo4j -- GRU-Based Forecasting Model for Energy Production and Consumption: Leveraging Random Forest Feature Importance -- Localizing Non-Functional Code Bugs in User Interfaces using Deep Learning Techniques. . |
| Record Nr. | UNINA-9910799483803321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent advances in parallel virtual machine and message passing interface : 15th european pvm/mpi users' group meeting, dublin, ireland, september 7-10, 2008, proceedings / / edited by Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra
| Recent advances in parallel virtual machine and message passing interface : 15th european pvm/mpi users' group meeting, dublin, ireland, september 7-10, 2008, proceedings / / edited by Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XVII, 342 p.) |
| Disciplina | 005.43 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Parallel computers |
| ISBN | 3-540-87475-5 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Next Frontier -- Fault Tolerance for PetaScale Systems: Current Knowledge, Challenges and Opportunities -- Managing Multicore with OpenMP (Extended Abstract) -- MPI Must Evolve or Die -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine: The Unibus System -- Tutorial -- EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach -- Outstanding Papers -- Non-data-communication Overheads in MPI: Analysis on Blue Gene/P -- Architecture of the Component Collective Messaging Interface -- X-SRQ - Improving Scalability and Performance of Multi-core InfiniBand Clusters -- A Software Tool for Accurate Estimation of Parameters of Heterogeneous Communication Models -- Applications -- Sparse Non-blocking Collectives in Quantum Mechanical Calculations -- Dynamic Load Balancing on Dedicated Heterogeneous Systems -- Communication Optimization for Medical Image Reconstruction Algorithms -- Collective Operations -- A Simple, Pipelined Algorithm for Large, Irregular All-gather Problems -- MPI Reduction Operations for Sparse Floating-point Data -- Library Internals -- A Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message Passing for Multi-core and Mutlithreaded Architectures -- Toward Efficient Support for Multithreaded MPI Communication -- MPI Support for Multi-core Architectures: Optimized Shared Memory Collectives -- MPI Datatypes -- Constructing MPI Input-output Datatypes for Efficient Transpacking -- Object-Oriented Message-Passing in Heterogeneous Environments -- MPI I/O -- Implementation and Evaluation of an MPI-IO Interface for GPFS in ROMIO -- Self-consistent MPI-IO Performance Requirements and Expectations -- Synchronisation Issues in Point-to-Point and One-Sided Communications -- Performance Issues of Synchronisation in the MPI-2 One-Sided Communication API -- Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication -- Tools -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing -- A Tool for Optimizing Runtime Parameters of Open MPI -- MADRE: The Memory-Aware Data Redistribution Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software -- ParSim -- 7th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments: New Directions and Work-in-Progress (ParSim 2008) -- LibGeoDecomp: A Grid-Enabled Library for Geometric Decomposition Codes -- Using Arithmetic Coding for Reduction of Resulting Simulation Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation of Large Subduction Earthquakes -- Posters Abstracts -- Vis-OOMPI: Visual Tool for Automatic Code Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes -- A Framework for Proving Correctness of Adjoint Message-Passing Programs -- A Compact Computing Environment for a Windows Cluster: Giving Hints and Assisting Job Execution -- to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network -- Efficient Collective Communication Paradigms for Hyperspectral Imaging Algorithms Using HeteroMPI -- An MPI-Based System for Testing Multiprocessor and Cluster Communications -- MPI in Wireless Sensor Networks -- Erratum -- Dynamic Load Balancing on Dedicated Heterogeneous Systems. |
| Record Nr. | UNISA-996465521303316 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent advances in parallel virtual machine and message passing interface : 15th european pvm/mpi users' group meeting, dublin, ireland, september 7-10, 2008, proceedings / / edited by Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra
| Recent advances in parallel virtual machine and message passing interface : 15th european pvm/mpi users' group meeting, dublin, ireland, september 7-10, 2008, proceedings / / edited by Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XVII, 342 p.) |
| Disciplina | 005.43 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Parallel computers |
| ISBN | 3-540-87475-5 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Next Frontier -- Fault Tolerance for PetaScale Systems: Current Knowledge, Challenges and Opportunities -- Managing Multicore with OpenMP (Extended Abstract) -- MPI Must Evolve or Die -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine: The Unibus System -- Tutorial -- EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach -- Outstanding Papers -- Non-data-communication Overheads in MPI: Analysis on Blue Gene/P -- Architecture of the Component Collective Messaging Interface -- X-SRQ - Improving Scalability and Performance of Multi-core InfiniBand Clusters -- A Software Tool for Accurate Estimation of Parameters of Heterogeneous Communication Models -- Applications -- Sparse Non-blocking Collectives in Quantum Mechanical Calculations -- Dynamic Load Balancing on Dedicated Heterogeneous Systems -- Communication Optimization for Medical Image Reconstruction Algorithms -- Collective Operations -- A Simple, Pipelined Algorithm for Large, Irregular All-gather Problems -- MPI Reduction Operations for Sparse Floating-point Data -- Library Internals -- A Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message Passing for Multi-core and Mutlithreaded Architectures -- Toward Efficient Support for Multithreaded MPI Communication -- MPI Support for Multi-core Architectures: Optimized Shared Memory Collectives -- MPI Datatypes -- Constructing MPI Input-output Datatypes for Efficient Transpacking -- Object-Oriented Message-Passing in Heterogeneous Environments -- MPI I/O -- Implementation and Evaluation of an MPI-IO Interface for GPFS in ROMIO -- Self-consistent MPI-IO Performance Requirements and Expectations -- Synchronisation Issues in Point-to-Point and One-Sided Communications -- Performance Issues of Synchronisation in the MPI-2 One-Sided Communication API -- Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication -- Tools -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing -- A Tool for Optimizing Runtime Parameters of Open MPI -- MADRE: The Memory-Aware Data Redistribution Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software -- ParSim -- 7th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments: New Directions and Work-in-Progress (ParSim 2008) -- LibGeoDecomp: A Grid-Enabled Library for Geometric Decomposition Codes -- Using Arithmetic Coding for Reduction of Resulting Simulation Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation of Large Subduction Earthquakes -- Posters Abstracts -- Vis-OOMPI: Visual Tool for Automatic Code Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes -- A Framework for Proving Correctness of Adjoint Message-Passing Programs -- A Compact Computing Environment for a Windows Cluster: Giving Hints and Assisting Job Execution -- to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network -- Efficient Collective Communication Paradigms for Hyperspectral Imaging Algorithms Using HeteroMPI -- An MPI-Based System for Testing Multiprocessor and Cluster Communications -- MPI in Wireless Sensor Networks -- Erratum -- Dynamic Load Balancing on Dedicated Heterogeneous Systems. |
| Record Nr. | UNINA-9910768445803321 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||