Recently, wireless sensor networks (WSN) have played an important role in various Internet of Things applications such as smart homes, smart grids, smart cities, and intelligent agriculture. Security is a fundamental ...
详细信息
Personalized sequential recommender has become a key task in the consumer electronics domain. Existing methods for personalized sequential recommenders primarily focus on modeling user behavior and have achieved satis...
详细信息
Models based on machine learning are optimization models that collect data, assess it, and deliver the reports required by specialists and management to make the best decisions. The application of contemporary machine...
详细信息
Event cameras, inspired by biological vision, are asynchronous sensors that detect changes in brightness. They offer notable advantages in environments characterized by high-speed motion, low lighting, or wide dynamic...
详细信息
The proceedings contain 14 papers. The special focus in this conference is on Future Access Enablers of Ubiquitous and Intelligent Infrastructures. The topics include: Enhanced Relaxed Loop Free Updates in Software De...
ISBN:
(纸本)9783031723926
The proceedings contain 14 papers. The special focus in this conference is on Future Access Enablers of Ubiquitous and Intelligent Infrastructures. The topics include: Enhanced Relaxed Loop Free Updates in Software Defined Network;an Empirical Analysis of Machine Learning Approaches for Phishing Detection;SARF: Stock Market Prediction with Sentiment-Augmented Random Forest;impact of Service Time Distributions and Server Utilization on Tandem Queueing System Performance;improvement of the Teaching Process Using the Genetic Algorithm;Sustainable Productivity Improvement in CPM Through Building Information modeling in the Context of Circular Construction;integration of Electromobility into Public Transport systems: A Case Study;monitoring the Surface Treatment Effect on the Polyvinyl Butyral Samples in the Context of Industry 4.0;methods and Practices of Integrated Construction Process Management – Minimizing Environmental Impacts and Promoting Efficient Resource Management;CIO in the Organizational Hierarchy;use of Product Lifecycle Management in Preparation for Simulation of Logistic Processes;a Model of Cloud-Based System for Monitoring Air Quality in Urban Traffic Environment.
The increasing demand for effective methods to recognize digital handwritten Arabic text has led to the creation of numerous online Arabic manuscript datasets to validate handwriting recognition systems. This tendency...
详细信息
The proceedings contain 39 papers. The special focus in this conference is on Informatics in Economy. The topics include: Performance Evaluation of Data Vault and Dimensional modeling: Insights from TPC-DS Dataset Ana...
ISBN:
(纸本)9789819601608
The proceedings contain 39 papers. The special focus in this conference is on Informatics in Economy. The topics include: Performance Evaluation of Data Vault and Dimensional modeling: Insights from TPC-DS Dataset Analysis;revolutionizing Healthcare: Harnessing Natural Language Processing and Big Data for Predictive Disease Diagnosis;enhancing the Involvement Level of Volunteer Students in the Academic Community: Efficient Usage of Digital Resources;intelligent Models in Power Delivery Management for Economic Damage Computation;smart City Parking Applications in Romania: An Analysis and Conclusions;measurement and Verification Solution for Energy Performance Contracting in the Building Sector;analyzing the Antecedents of Deceived Buying and Disinformation Risk;driving Factors of Social Commerce Intention: The Role of Social Commerce Constructs, Social Influence, and Trust;strategic Collaboration in international University Networks–Case Study;Comparative Analysis of Natural Language Query Responses on BPMN Model Serializations: RDF Graphs Versus BPMN XML;a Hybrid Retrieval-Augmented Generation Approach for Heterogeneous Knowledge Bases;digitalization in Higher Education—Designing and Implementing an Application to Facilitate the University Final Thesis Collaboration Process;an Overlook of IoT Finance and Pre-existing Security Challenges in Financial Transactions via IoT Devices on Blockchain Networks;models for Network Traffic Behavioral Analysis in IoT systems;augmented Reality in Education—Prototype for the Undergraduate System in Romania;empowering Sustainability: Upcycling Smartphones as the Future of IoT and Edge Computing in Emerging Economies;quantum Computing and Cybersecurity: Threat or Opportunity?;new Real-Time Encryption Mechanism for Financial Transactions;enhanced Blockchain-Based e-Voting System Using Zero-Knowledge Proofs;The Environmental Kuznets Curve for Deforestation in Romania: An ARDL-Based Evaluation.
Limited availability of inorganic phosphate (Pi) in soil is an important constraint to plant growth. In order to understand better the underlying mechanism of plant response to Pi, the response to phosphate starvation...
详细信息
The proceedings contain 25 papers. The special focus in this conference is on Software Engineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a...
ISBN:
(纸本)9783031773815
The proceedings contain 25 papers. The special focus in this conference is on Software Engineering and Formal Methods. The topics include: User-Guided Verification of Security Protocols via Sound Animation;a Policy Framework for Regulating External Calls in Smart Contracts;exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability;a Formal modeling Language for Smart Contracts;symbolic Execution for Precise Information Flow Analysis of Timed Concurrent systems;Validating Traces of Distributed Programs Against TLA+ Specifications;partially-Observable Security Games for Attack-Defence Analysis in Software systems;secure Smart Contracts with Isabelle/Solidity;Deductive Verification of SYCL in VerCors;minuska: Towards a Formally Verified Programming Language Framework;hierarchical Learning of Generative Automaton Models from Sequential Data;composing Run-Time Variability Models;model-Checking the Implementation of Consent;grammarForge: Learning Program Input Grammars for Fuzz Testing;verified Configuration and Deployment of Layered Attestation Managers;right or Wrong – Understanding How Users Write Software Models in Alloy;an Operational Semantics for Yul;execution-Time Opacity Control for Timed Automata;unlocking the Power of Environment Assumptions for Unit Proofs;towards Quantum Multiparty Session Types;automated Invariant Generation for Efficient Deductive Reasoning About Embedded systems;formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards;leveraging Contracts for Failure Monitoring and Identification in Automated Driving systems.
In this study, the reasearch is focused on the simulation of vehicular communication networks, especially intelligent traffic systems, to enhance dependability, safety, and optimality in communication. The simulation ...
详细信息
暂无评论