1
Applications of Evolutionary Computation [E-Book] : 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I /
Table of Contents: ... variables in hybrid Gene Regulatory Networks.-Evolving Artificial Neural Networks for Simulating Fish Social Interactions -- Heuristics for Evolutionary Optimization for the Centered Bin Packing Problem -- A Hierarchical Approach to Evolving Behaviour-Trees...

Full text 
2
Product-Focused Software Process Improvement [E-Book] : 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I /
Table of Contents: ...: An Action-Research Study -- A Process for Scenario Prioritization and Selection in Simulation-Based Safety Testing of Automated Driving Systems -- The Journey to Serverless Migration: An Empirical Analysis of Intentions, Strategies, and Challenges -- On the Role...

Full text 
3
Euro-Par 2023: Parallel Processing Workshops [E-Book] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part I /
Table of Contents: ... -- Leveraging HPC Profiling & Tracing Tools to Understand the Performance of Particle-in-Cell Monte Carlo Simulations -- Performance Prediction for Sparse Matrix Vector Multiplication using Structure-dependent Features -- Analyzing One-Sided Communication Using...

Full text 
4
Advanced Research in Technologies, Information, Innovation and Sustainability [E-Book] : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I /
Table of Contents: ... location problem of public spaces for teenagers in the urban environment -- Digital Transformation Assessment Model Based on Indicators for Operational and Organizational Readiness and Business Value -- Domain-specific Sentiment Analysis of Tweets using Machine...

Full text 
5
Advanced Research in Technologies, Information, Innovation and Sustainability [E-Book] : Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II /
Table of Contents: ... Efficient Fill-level Monitoring for Recycling Glass Containers -- Impact of Biometric Sensors on Physical Activity -- A Domain Specific Language proposal for internet of things oriented to Smart Agro -- Survey based analysis on processed food and organic con...

Full text 
6
Computer Supported Cooperative Work and Social Computing [E-Book] : 18th CCF Conference, ChineseCSCW 2023, Harbin, China, August 18-20, 2023, Revised Selected Papers, Part II /
Du, Bowen
2024
Table of Contents: ... Platform for Gastrointestinal Polyp Detection -- An Intelligent Teaching Evaluation System Integrating Emotional Computing and Cloud Platform -- Deep Learning-Based Fastener Counting and Localization Correction Method -- Design and Simulation of Cooperative...

Full text 
7
Euro-Par 2022: Parallel Processing Workshops [E-Book] : Euro-Par 2022 International Workshops, Glasgow, UK, August 22-26, 2022, Revised Selected Papers /
Table of Contents: ... -- Rapid development of OS support with PMCSched for scheduling on asymmetric multicore systems -- HIPLZ: Enabling Performance Portability for Exascale Systems -- StorAlloc: A Simulator for Job Scheduling on Heterogeneous Storage Resources -- Performance...

Full text 
8
Machine Learning for Cyber Security [E-Book] : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2-4, 2022, Proceedings, Part II /
Cai, Jun
2023
Table of Contents: ... High Simulation With Contract Vulnerability Detection For Ethereum and Hyperledger Fabric -- Research on key technologies for the trusted perception of network information for big data -- Micro-expression Recognition Method Combining Dual-Stream Convolution...

Full text 
9
Computer Supported Cooperative Work and Social Computing [E-Book] : 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I /
Du, Bowen
2023
Table of Contents: ... Mining Method -- Popularity Bias Analysis of Recommendation Algorithm Based on ABM Simulation -- Cloud-Edge Collaborative Task Scheduling Mechanism Based on Improved Parameter Adaptation Particle Swarm Optimization Algorithm -- An Approach to Assessing...

Full text 
10
Human-Computer Interaction - INTERACT 2023 [E-Book] : 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV /
Table of Contents: ... -- Electroencephalographic (EEG) correlates of Visually Induced Motion Sickness (VIMS) in the Virtual Reality (VR) based simulations -- Exploring Eye Expressions for Enhancing EOG-Based Interaction -- How Many Participants Do You Need for an Open Card Sort? A Case Study of E...

Full text 
11
Performance Evaluation Methodologies and Tools [E-Book] : 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings /
Table of Contents: ... and Distributed Computing -- Some Basic Properties of Length Rate Quotient -- Robustness of the Tangle 2.0 Consensus -- Renting Edge Computing Resources for Service Hosting -- TAWNS - A Terrestrial Acoustic and Wireless Network Simulation Framework....

Full text 
12
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI [E-Book] : 27th International Workshop, COINE 2023, London, UK, May 29, 2023, Revised Selected Papers /
Table of Contents: ... With Exclusionary Sanctions -- Governing Agents on the Web (Blue Sky Ideas) -- Studies on the notion of Value -- Arguments for Framing the Value Alignment Problems with Online Institutions -- Adding Preferences and Moral Values in an Agent-Based Simulation framework...

Full text 
13
Progress in Artificial Intelligence [E-Book] : 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I /
Table of Contents: ...Ambient Intelligence and Affective Environments: Simulation-Based Adaptive Interface for Personalized Learning of AI Fundamentals in Secondary School -- Gamified CollectiveEyes: A Gamified Distributed Infrastructure for Collectively Sharing People's Eyes...

Full text 
14
Principles of Systems Design [E-Book] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday /
Table of Contents: ... through Tree Automata -- Universal algorithms for parity games and nested xpoints -- Simulation relations and applications in formal methods -- Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification -- Getting Saturated with Induction...

Full text 
15
Enterprise, Business-Process and Information Systems Modeling [E-Book] : 23rd International Conference, BPMDS 2022 and 27th International Conference, EMMSAD 2022, Held at CAiSE 2022, Leuven, Belgium, June 6-7, 2022, Proceedings /
Table of Contents: ... in Support Of Transparency in the Design and Use of Software Systems -- Uncertain Case Identifiers in Process Mining: A User Study of the Event-Case Correlation Problem on Click Data -- The Integration of Process Simulation within the Business Architecture...

Full text 
16
Research Challenges in Information Science [E-Book] : 16th International Conference, RCIS 2022, Barcelona, Spain, May 17-20, 2022, Proceedings /
Table of Contents: ... of Process Simulation Models -- Analyzing Process-Aware Information System Updates Using Digital Twins of Organizations -- Hybrid Business Process Simulation: Updating Detailed Process Simulation Models Using High-level Simulations -- Business Process Mining...

Full text 
17
Computer Supported Cooperative Work and Social Computing [E-Book] : 16th CCF Conference, ChineseCSCW 2021, Xiangtan, China, November 26-28, 2021, Revised Selected Papers, Part I /
Table of Contents: ... Trees Guided by the Symmetric Quintuple Implicational Controller -- An adaptive and collaborative method based on GMRA for Intrusion detection -- The Scheduling Model of Forest Fire-Extinguishing Resources and Its Simulation -- Research on Data Dynamic...

Full text 
18
The Practice of Enterprise Modeling [E-Book] : 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings /
Table of Contents: ... in PMI Specific Requirements Engineering -- Using Knowledge Graphs to Detect Enterprise Architecture Smells -- "Mind the Gap!": Learning Missing Constraints from Annotated Conceptual Model Simulations -- Detecting value capture processes using FEM -- OLIVE, a...

Full text 
19
Leveraging Applications of Formal Methods, Verification and Validation [E-Book] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
Table of Contents: ... for a Digital Industry: Industrial Day at ISoLA 2021 -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based...

Full text 
20
Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 [E-Book] : 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part VIII /
Table of Contents: ... -- Non-parametric vignetting correction for sparse spatial transcriptomics images -- Multi-StyleGAN: Towards Image-Based Simulation of Time-Lapse Live-Cell Microscopy -- Deep Reinforcement Exemplar Learning for Annotation Refinement -- Modalities...

Full text