Mathematical theory of computation Books

Book SynopsisIntroduction.- Analysis by Reduction.- The Restarting Automaton and Its Parameters.- Descriptional Complexity.- Learnability for Restarting Automata.- Appendix A: List of Open Problems.- Appendix B: List of Example Languages.

Read more less

Book Synopsis?Digital Humanities and Cultural Heritage in AI and IT-enabled Environments.- Common Language for Accessibility, Interoperability, and Reusability in Historical Demography.- Coding historical causes of death data with Large Language Models.- Teaching the specialized language of Mathematics with a data-driven approach: what data do we use?.- Interoperating Civil Registration of Death and Census Data:  Old Age and Marriage as Categories of Analysis.- From Data Science to Modular Workflows - Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study.- Mapping Madness: HGIS and the granular analysis of Irish patient records.- Digitised historical sources and non-digital humanists: an interdisciplinary challenge?.- Using Passive Sensing to Identify Depression.- The GraphBRAIN Framework for Knowledge Graph Management and its Applications to Cultural Heritage.- Challenges for AI in Healthcare Systems.- Towards a Multi-dimensional Health Data Analysis Framework.- Future Opportunities for Systematic AI Support in Healthcare.- CRISP-PCCP A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices.- Model Driven Development for AI-based Healthcare Systems: A Review.- Balancing Transparency and Risk: An Overview of the Security and Privacy Risks of Open-Source Machine Learning Models.- AI-related risk and uncertainty.- Leveraging Actionable Explanations to Improve People's Reactions to AI-based Decisions.- From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations can Save the World.- Thinking Outside the Box? Regulatory Sandboxes as a Tool for AI Regulation.- AI and Democratic Equality: How Surveillance Capitalism and Computational Propaganda Threaten Democracy.- Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper).- End-to-End AI Generated Runtime Verification from Natural Language Specification.- AI-Assisted Programming with Test-based Refinement.- Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception.- Towards ML-Integration and Training Patterns for AI-Enabled Systems.- The Reachability Problem for Neural-Network Control Systems.

Read more less

Book SynopsisCollision Free Robot Scheduling.- On the Exponential Growth of Geometric Shapes.- Optimizing Robot Dispersion on Unoriented Grids with and without Fault Tolerance.- Channel allocation revisited through 1 extendability of graphs.- On the Min Max Star Partitioning Number.- Collision Detection for Modular Robots it is easy to cause collisions and hard to avoid them.- Bike Assisted Evacuation on a Line of Robots with Communication Faults.- On Permutation Selectors and Their Applications in Ad Hoc Radio Networks Protocols.- Reconfigurable routing in data center networks.- The threshold of existence of delta temporal cliques in random simple temporal graphs.- The Exact Spanning Ratio of the Parallelogram Delaunay Graph.- A 1.5 approximation algorithm for activating 2 disjoint st paths.- Modular population protocols.- Decreasing verification radius in local certification.

Read more less

Book SynopsisFormal Methods and Machine Learning.- Learning Generalized Stochastic Petri Nets From Event Data.- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages.- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community.- Malwa: Learnability by Design.- Formal Verification Techniques for Vision-based Autonomous Systems A Survey.- What is Formal Verification without Specifications? A Survey on Mining LTL Specifications.- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.- L# for DFAs.- Verification Techniques.- The Transformation Game: Joining Forces for Verification.- The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing.- Compiling Binary Decision Diagrams with Interrupt-based Downsizing.- Modular criticality analysis for dynamic fault trees.- Timed Systems.- Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente.- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts.- Urgency Annotations for Alternating Choices.- Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks.- Games.- Ten Years of Petri Games.- Compositional Solution of Mean Payoff Games by String Diagrams.- Solving parity games, very slowly.- Academia Give Probabilities a Fair Chance.- Making ETAPS Gold Open Access.

Read more less

Book SynopsisIntroduction.- Systems of Restarting Automata.- Restarting Automata with Output.- Restarting Automata for Picture Languages.- Restarting Tree Automata.- Appendix A: List of Open Problems.- Appendix B: List of Example Languages.

Read more less

Book Synopsis.- Complexity of infinite words..- Succinct Star-Controlled Insertion-Deletion Systems Using SpaceSeparating Normal Forms..- On Switching Finite State Automata..- Computing Threshold Circuits with Void Reactions in Step ChemicalReaction Networks..- Universality of Turing Tumble of Finite Size..- On the Power of Small Watson-Crick Automata and Variants of StringAssembling Systems..- From Petri Nets to Virus Machines..- On the Powers of the Collatz Function..- On the Entanglement and Mixedness of Quantum Boolean FunctionCircuits.

Read more less

Book SynopsisInvited talks.- Distributed Computing by Mobile Robots: Exploring the Computational Landscape.- Open Problems and Recent Developments on a Complexity Framework for Forbidden Subgraphs.- Contributed Papers.- Parameterized Complexity of Feedback Vertex Set with Connectivity Constraints.- Online b-Matching with Stochastic Rewards.- Shortest Longest-Path Graph Orientations for Trees.- Parameterized Complexity of Generalizations of Edge Dominating Set.- Beyond Image-Text Matching: Verb Understanding in Multimodal Transformers Using Guided Masking.- On the Complexity of Minimum Membership Dominating Set.- On the Structural Parameterized Complexity of Defective Coloring.- Dynamic Range Minimum Queries on the Ultra-Wide Word RAM.- Fast Practical Compression of Deterministic Finite Automata.- Orienteering (with Time Windows) on Restricted Graph Classes.- Massively Parallel Maximum Coverage Revisited.- Distance Vector Domination.- Sufficient conditions for polynomial-time detection of induced minors.- Pathways to Tractability for Geometric Thickness.- Minimum Monotone Spanning Trees.- Symvonis and Alexander Wol Representing Hypergraphs by Point-Line Incidences.- Reachability in temporal graphs under perturbation.- On Computational Completeness of Semi-Conditional Matrix Grammars.- Outer-(ap)RAC Graphs.- Forest Covers and Bounded Forest Covers.- Multi-Agent Search-Type Problems on Polygons.- Generation of Cycle Permutation Graphs and Permutation Snarks.- Expected Density of Random Minimizers.

Read more less

Book SynopsisOn Pumping Problems for Unary Regular Languages.- The Complexity of Graph Exploration Games.- A SUBSET-SUM Characterisation of the A-Hierarchy.- On the periodic decompositions of multidimensional configurations.- Quantum Algorithm for the Multiple String Matching Problem.- Parallel Peeling of Invertible Bloom Lookup Tables in a Constant Number of Rounds.- The Complexity of Counting Turns in the Line-Based Dial-a-Ride Problem.- Colorful 3-Rainbow Domination.- The Computational Complexity of Equilibria with Strategic Constraints.- Exact characterizations of non-commutative algebraic complexity without homogeneity.- Roman Hitting Set.- Visual Complexity of Point Set Mappings.- Online and Offline Algorithms for Counting Distinct Closed Factors via Sliding Suffix Trees.- Knowledge Neurons in the Knowledge Graph-based Link Prediction Models.- Disjoint covering of bipartite graphs with $s$-clubs.- Query Learning of Context-Deterministic and Congruential Context-Free Languages over Infinite Alphabets.- Minimal Schnyder Woods and Long Induced Paths in 3-Connected Planar Graphs.- DAG Scheduling in the BSP Model.- Incremental computation of the set of period sets.- Tolerant Testing and Distance Estimation for Distributions Under Memory Constraints.- Packed Acyclic Deterministic Finite Automata.- Holey Graphs: Very Large Betti Numbers are Testable.- Warm-Started QAOA with Aligned Mixers Converges Slowly Near the Poles of the Bloch Sphere.- Online Busy Time Scheduling with Untrusted Prediction.- Maximal $alpha$-gapped Repeats in a Fibonacci String.

Read more less

Book Synopsis.- Chess and its Variants..- Chess Rating Estimation from Moves and Clock Times Using a CNN-LSTM..- Convolutional Neural Networks with Specific Kernels for Computer Chess..- Chinese Chess EGTB with Perpetual Check-Chase Rules..- Go and NoGo..-  Analysing KataGo: A Comparative Evaluation Against Perfect Play in the Game of Go..- Solving Linear NoGo with Combinatorial Game Theory..- Solving 7x7 Killall-Go with Seki Database..- General Approaches for Solving and Playing Games..- Compressed Game Solving..- Anytime Sequential Halving in Monte-Carlo Tree Search..- Monte Carlo Search Algorithms Discovering Monte Carlo Tree Search Exploration Terms..- Nonograms..- Generating Difficult and Fun Nonograms..- Solving Nonograms: A Constraint Satisfaction Approach..- Social Aspects of Games..- Sexual Harassment in Valorant and Overwatch Voice Chats..- Now You See Me: Recognizing the Player’s Arousal Changes in the Game through Game Footage Videos and Game Context Features..- Games with Uncertainty..- Belief Stochastic Game: A Model for Imperfect-Information Games with Known Positions..- A Mathematical Analysis of PlaceIt: a Game of Perfect Online Sorting..- Optimal Play of the All Yellow Zombie Dice Game..- Zweistein: A Dynamic Programming Evaluation Function for Einstein Wurfelt Nicht!.

Read more less

Book Synopsis.- MoXIchecker: An Extensible Model Checker for MoXI..- Towards Verifying Security Policies for Infinite-State Systems..- Deductive Verification of Sparse Sets in Why3..- PolySAT: Word-level Bit-vector Reasoning in Z3..- Proof-Producing Symbolic Execution for P4..- Statically Inferring Usage Bounds for Infrastructure as Code..- hax: Verifying Security-Critical Rust Software using Multiple Provers.

Read more less

Book Synopsis.- Invited Papers..- Finite Approximations of the Common Meadow of Rational Numbers..- Some Uses of Modal Semirings..- Contributed Papers..- Bialgebraic Representation of Coordination Frameworks..- Topological Inquiry in Abstract Model Theory..- The Institution of Many-Logics Modal Logic..- Reconciling Quantum Theory and Process Equivalence via PhysicallyAdmissible Schedulers.

Read more less

Book SynopsisOn Extensions of Partial Isometries.- The Specker-Blatter Theorem: An Application of Logic toCombinatorial Counting.- Propositional Dynamic Logic Formula Synthesis and some Applications.- NSOP1 as a dividing line.-Asynchronous transition system games for two processes and their analysis.- Relational Companions of Logics.- Bounded Henkin Quantifiers and the Exponential Time Hierarchy.- Monotone Modal Logic beyond Distributivity.- Recognizing Numbers.- There is hope for connexive set theories!.- Semantics of Basic Modal Language via a Rough Set Framework.- Modal and intermediate logics of spiked Boolean algebras.- Equivalence of Deterministic Weighted Real-time One-Counter Automata.- Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces.- A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models.- Measurement-Theoretic Foundations of Logic of Inexact Knowledge.- Craig Interpolation for Awareness Logics.- Knowable as Knowing How to Inquire.

Read more less

Book Synopsis.- EvoApplications..- Optimizing Dietary Plans Using Evolutionary Algorithms..- Building Cross-Sectional Trading Strategies via Geometric Semantic Genetic Programming..- Adjacent Distance Matrix-based Competitive Swarm Optimizer..- The More the Merrier: On Evolving Five-valued Spectra Boolean Functions..- Search Trajectory Networks Applied to a Real-world Parallel Batch Scheduling Problem..- Optimizing the logistics operations of distribution network operators from a multinational electric utility company..- Analysis of Illicit Drug Mixtures at Festivals Using Portable Near-Infrared Spectroscopy with Genetic Programming..- Hybrid Optimization of Horizontal Alignments in European Terrains: A Comparative Study..- Facial Geometric Feature Extraction for Dimensional Emotion Analysis Using Genetic Programming..- Methodology for Designing Injection Molds: Data Mining and Multi-Objective Optimization..- Climbing the tower of meta-mutations - the role of higher-order mutations..- Evolutionary Reinforcement Learning for Interpretable Decision-Making in Supply Chain Management..- Grammatical Feature Construction for Enhanced Interpretability in Breast Cancer Classification..- Designing Hardware-Friendly Hash Functions for Network Security Using Cartesian Genetic Programming..- Understanding trade-offs in classifier bias with quality-diversity optimization: an application to talent management..- Genetic Programming with Co-operative Co-evolution for Feature Manipulation in Basal Cell Carcinoma Identification..- Multi-Objective Evolutionary Optimization of Virtualized Fast Feedforward Networks..- Variable-Size Genetic Network Programming for Portfolio Optimization with Trading Rules..- Evolving Dynamic Fault Mitigation Strategies in a Robot Swarm for Collective Transport..- Inferring Reaction Elasticities from Metabolic Correlations in Cells through Multi-objective Evolutionary Optimization..- Trace-Elites: better Quality-Diversity with Multi-Point Descriptors..- Optimizing Camera Placement for Chicken Farm Monitoring..- Adaptive Local Search for Real-World Multi-Echelon Inventory Control..- Evolutionary Computation for Causality-Driven Feature Selection: A Preliminary Study..- A Coach-Based Quality-Diversity Approach for Multi-Agent Interpretable Reinforcement Learning..- FedGP: Genetic Programming for Evolutionary Aggregation in Federated Learning with Non-IID data..- A Genetic Algorithm Approach for Aggregation of Residential Electricity Prosumers’ Flexibility..- Algorithm Selection with Probing Trajectories: Benchmarking the Choice of Classifier Model..- Real Application Challenges in Evolutionary Optimization? People!..- The Importance of Being Earnest: Multiple Heterogeneous Container Loading with a Simple Genetic Algorithm..- Emergent kin selection of altruistic feeding behaviour via non-episodic neuroevolution..- Stalling in Space: Attractor Analysis for any Algorithm..- Using Local Correlation Between Objectives to Detect Problem Modality..- Greater AI Design Control Aids Evolution of Computational Materials..- Scalable Evolution of Logically Independent Polycomputational Materials.

Read more less

Book Synopsis.- Evolutionary machine learning..- Social Interpretable Reinforcement Learning..- Into the Black Box: Mining Variable Importance with XAI..- Evolving RNNs for Stock Forecasting: A Low Parameter Efficient Alternative to Transformers..- Generate more than one child in your co-evolutionary semi-supervised learning GAN..- EDCA – An Evolutionary Data-Centric AutoML Framework for Efficient Pipelines..- 30 years of particle swarm optimisation..- Proposal of Efficient Particle Swarm Optimization for Constrained Optimization Problems..- A Survey of Modern Hybrid Particle Swarm Optimization Algorithms..- An Investigation of Structural Bias in Particle Swarm Optimization..- GPSO in PTO..- We are Sending you Back... to the Optimum! Fuzzy Time Travel Particle Swarm Optimization..- Memetic Variations of Overlapping Swarm Intelligence..- Analysis of Evolutionary Computation Methods: Theory, Empirics, and Real-World Applications..- Multi-Tree Genetic Programming for Large-scale Dynamic Tugboat Scheduling..- Bio-inspired Algorithms for Green Computing and Sustainable Complex Systems..- Hybridization of techniques based on Genetic Algorithms and Neural Networks to determine the water requirements of fig trees..- Evaluating the Impact of Hysteretic Phenomena and Implementation Choices on Energy Consumption in Evolutionary Algorithms..- Measuring energy consumption of BBOB fitness functions..- Computational Intelligence for Sustainability..- A PSO-based MPPT with Dynamic Monitoring Reset for PV Systems..- An innovative approach for managing the water requirements of fig trees using artificial intelligence..- GPBus: Genetic Programming based Automated Machine Learning for Bus Delay Prediction..- Improving Fairness in Allocation of Emergency Medical Services using Multi-Objective Evolutionary Optimization..- A Multi-Agent System for Optimal Train Scheduling in Single-Track Railways..- EvoLLMs (Integrating Evolutionary Computing with Large Language Models (LLMs)..- Evolutionary Bias Identification with Embeddings..- Probing LLMs on Optimization Problems: Can They Recall and Interpret Problem Features?..- Open and Closed-source Models for LLM-generated Metaheuristics Solving Engineering Optimization Problem..- Beyond the Hype: Benchmarking LLM-Evolved Heuristics for Bin Packing..- Controlling the Mutation in Large Language Models for the Efficient Evolution of Algorithms..- Evolutionary Computation in Edge, Fog, and Cloud Computing..- A Communication-aware and Energy-efficient Genetic Programming based Method for Dynamic Resource Allocation in Clouds..- A Genetic Algorithm-Based Parameter Selection for Communication Efficient Federated Learning..- Evolutionary Computation in Image Analysis, Signal Processing, and Pattern Recognition..- Evolving Cellular Automata with Function-Based Conditional Rules for Image Filtering..- Machine Learning and AI in Digital Healthcare and Personalized Medicine..- Addressing Radiotherapy Scheduling with a Bin Packing Problem Formulation: A Comparative Study of Exact Solvers and Genetic Algorithms..- A Symbolic Regression Screening Approach within Peptide Optimisation..- Estimation of total body fat using symbolic regression and evolutionary algorithms..- Soft Computing Applied to Games..- Injecting Combinatorial Optimization into MCTS: Application to the Board Game boop..- Robust search for the underlying objectives in black-box games with binary outcomes.

Read more less

Book Synopsis.- Long Talks..- Yin-Yang: Developing Motifs With Long-Term Structure And Controllability..- Foundations of LLCM: Labelled Lambek Calculus for Music Analysis..- Large-image Object Detection for Fine-grained Recognition of Punches Patterns in Medieval Panel Painting..- Cellular Au-Tonnetz: A Unified Audio-Visual MIDI Generator UsingTonnetz, Cellular Automata, and IoT..- The Importance of Context in Image Generation: A Case Study forVideo Game Sprites..- Perceptions of AI in Animation Production..- Search-based Negative Prompt Optimisation for Text-to-Image Generation..- Exploring the Application of AIGC in Ink-Wash Animation Creation:A Case Study of Dragon Gate..- AI in Music and Healthcare: A Comparative Survey..- Combining local search and directed mutation in evolutionaryapproaches to 4-part harmony..- Exploiting the Temporal Order of Sound Features for Onset Detection..- Towards Human-Quality Drum Accompaniment Using Deep GenerativeModels and Transformers..- An Ensemble Approach to Music Source Separation: A ComparativeAnalysis of Conventional and Hierarchical Stem Separation..- Balancing Indeterminacy and Structure: Neural Text Generation forArtistic Inspiration..- Exploring Bridges Between Algorithmic and AI-generated Art..- Future Sight: Fine-tuning Language Models for Dynamic Story Generation..- Short Talks..- All YIN No YANG: Geometric abstraction of oil paintings with trainedmodels, noise and self-reference..- Exploring Multi-Objective Evolution for Aesthetic & Abstract 3D Art..- Aesthetic biases and opacity tactics in the training of visual artificialintelligence models..- Music Similarity Through Geometric Overlap..- Graph Neural Network vs Feature-based Folk Music Evolution Analysis..- Generating Virtual Landscapes and Environmental Narratives withStyleGAN2..- EmotioNotes Dataset: Decoding emotions in classical music throughConcert Program Notes..- Towards the Automatic Evaluation of Legibility for Graphic DesignPosters..- Short video interestingness: a machine learning approach to determinecreative cues in audiovisual production..- Automated Selection and Ordering of Clip Sequences for Music Videosbased on Tonal Tension and Visual Features..- Evolving the Embedding Space of Diffusion Models in the Field ofVisual Arts..- Steering Large Text-to-Image Model for Kandinsky Synthesis throughPreference-based Prompt Optimization.

Read more less

Book SynopsisIntroduction.- Ecological Antifragility.- Evolutionary Antifragility.- Interventional Antifragility.- Conclusions.

Read more less

Book SynopsisRegular Papers.- Support + Belief = Decision Trust.- Asynchronous Byzantine Consensus with Trusted Monotonic Counters.- Sublinear-time Collision Detection with a Polynomial Number of Statesin Population Protocols.- On the Existence of Extension-Based Proofs of Impossibility for Set-Agreement.- Exploration of Convex Terrains by a Deterministic Automaton with Pebbles.- Explicit Token-Based Communication for Mobile Entities.- Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs.- Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified Algorithm.- Approximating Independent Sets in Constant Distributed Rounds.- A Visibility vs. Memory Trade-off for Stand-Up Indulgent Gathering on Lines.- Simplicial Belief.- When MIS and Maximal Matching are Easy in the Congested Clique.- Bankrupting DoS Attackers.- Low-Distortion Clustering in Bounded Growth Graphs.- Multimodal Search on a Line.- Multi-Agent Disk Inspection.- Pointer Chasing with Unlimited Interaction.- Oblivious Robots Under Sequential Schedulers: Universal Pattern Formation.- On the Dynamical Hierarchy in Gathering Protocols with Circulant Topologies.- Low-Bandwidth Matrix Multiplication: Faster Algorithms and More General Forms of Sparsity.- Lower bounds for uniform read-once threshold formulae in the randomized decision tree model.- Distributed Distance Sensitivity Oracles.- Self-stabilizing Graph Exploration by a Single Agent.- Labeling Embeddings of Planar Graphs for Face-Adjacency.- Brief Announcements.- Brief Announcement: Relaxation for Efficient Asynchronous Queues.- Brief Announcement: A Sheaf-Theoretic Characterization of Tasks in Distributed Systems .- Brief Announcement: Hardness of Approximate Vertex Ranking by Betweenness Centrality in the CONGEST Model.- Brief Announcement: Perfect Matching with Few Link Activations.

Read more less

Book SynopsisPart I Foundation of Computability.- 1. Introduction.- 2. Basics of Computability Theory.- 3. Computable Algebraic Structures.- 4. Computable Separable Spaces.- Part II Computable Duality.- 5. Computable Boolean Algebras.- 6. Computable Stone Spaces.- 7. Computable Abelian Groups.- 8. Computable Connected Compact Spaces.- Part III Computability and Classification Problems. 9. The Analytical Hierarchy and S11-completeness.- 10. Computable Categoricity.- 11. Computable Banach Spaces with Applications.- 12. Resource Bounded Computation.- Part IV Non-computability and Randomness. 13. Randomness.- 14. Degree Spectra.- 15.- Computable Transfinite Analysis.

Read more less

Book SynopsisPreface.- Acknowledgments.- Notation.- Simplex Method: The State of the Art.- Face Algorithm.- Generalized Face Method.- Dual Face Method.- Generalized Dual Face Method.- Reduced Face Method.- Dual Reduced Face Method.- Face Method with Cholesky Factorization.- Dual Face Method with Cholesky Factorization.- Appendix: Empirical Evaluation of Face and Dual Face Methods with Cholesky Factorization.- References.

Read more less

Book Synopsis.- ALGOCLOUD 2024..- Innovating Medical Record Keeping with Blockchain, RSA-Encrypted NFTs, and Smart Contracts..- Towards 2-Resilient Local Failover in Destination-Based Routing..- Dynamic Accountable Storage: An Efficient Protocol for Real-time Cloud Storage Auditing..- Achieving Processing Balance in LoRaWAN Using Multiple Edge Gateways..- Optimizing resource-constrained distance matching for cloud based systems..- Edge-based Federated Learning Methods for Remaining Useful Life Estimation in IIoT..- Degree Distribution Optimization in Historical Graphs..- Leveraging Apache Spark for Appliance-Level Load Monitoring with Ensemble Learning Techniques..- QuantuML: Machine Learning Algorithms and K-means on Quantum Cloud offering..- Outsourced Distributed Computation with PROOF..- ALGOCLOUD 2022..- Edge-Enabled Machine Learning for Solar Power Production Forecasting.

Read more less

Book Synopsis.- Invited Papers..- The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition..- Effective second countability in computable analysis..- Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program..- Represented spaces of represented spaces..- Computation with Real Numbers and Continuous-Time Dynamical Systems..- Proof-Carrying Neuro-Symbolic Code..- Uniform Functional Interpretations..- Computable Analysis for Extraction of Certified Programs and its Applications..- Contributed Papers..- The existence of primitive recursive structures..- Space-bounded online Kolmogorov complexity is additive..- On learning existentially definable subsets in a computable structure..- Transfinite structured programming..- Computability of Real Functions with Oracle Pointer Machines implies Real-Time simulation of Chemical Reaction Networks..- Computability of Initial Value Problems..- Full generalized effective reducibility..- On S-Degrees of some Representations of Irrational Numbers..- Circuit metaconstruction in logspace for Rice-like complexity lower bounds in ANs and SGRs..- Binary Expansions of Regular Reals and Reordered Computable Numbers..- Properties of Range Sets of Continuous Functions in Reverse Mathematics..- The theory of reachability of trace-pushdown systems..- A point to set principle for finite-state dimension and relativized equidistribution porperties..- Some structural complexity results for $exists mathbb R$..- On the computational power of C-random strings..- Generalized learnability of stochastic principles..- Computably discrete represented spaces..- Multidimensional tilings and MSO logic..- Injectivity of polynomials over finite discrete dynamical systems..- Weihrauch problems as containers..- On the reverse mathematics of cut-elimination and determinacy..- $L {omegaomega}$, $L {omega 1omega}$, and Wadge hierarchy..- Ordinal Invariants of the $h$-Preorder on $k$-Labeled Forests..- Completeness theorems for modal logic in second-order arithmetic..- Variants of Solovay reducibility..- Constructive Analysis of Maximal Ideals in Z[X] by the Material Interpretation..- Alternation-Bounded Semi-Unbounded Fan-in Cascading Circuits and the Complementation Closure Property.

Read more less

Book Synopsis.- Fibonacci Pictures on a Binary Alphabet..- A Close Analysis of the Subset Construction..- k-local Graphs..- Word-Representable Graphs and Locality of Words..- Automata for Synchronised Shuffle on Backbones..- Two-Word Shuffle: Some Results..- Matrix Forbidding Grammars..- On the Decidability and Expressive Power of Several Theories Based on String Constraints..- Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals are Computationally Complete..- Disjunctive Complexity..- Two-Way Finite Automata with Translucent Input Letters..- Relative Densities of Formal Languages..- On A Measure for The Descriptional Complexity of Finite Automata with Translucent Words..- What is the Most Natural Generalization of the Pumping Lemmas for Regular and Context-Free Languages?..- Small Balanced Vertex Separators in NFA to Regular Expression Conversion.

Read more less

Book SynopsisRetrieving Unknown SMT Formulas via Structural Mutations.- On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud.- A Formal Model for Portable, Heterogeneous Accelerator Programming.- Evaluation of Speedup and Energy with Multigrain Parallelizing Compiler.- Hidden assumptions in static verification of data-race free GPU programs.- Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism.- Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting.- Learning to harness in-vitro biological neural networks.- Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation.- Scalable Small Message Aggregation on Modern Interconnects.- Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models.

Read more less

Book SynopsisAnd Now There are Four: Another Brick in the Wall of the Optimal Upper Bound on the MP-ratio.- A Characterization of Algebraic Multivariate Power Series with Sparse Support.- Avoiding Abelian and Additive Powers in Rich Words.- Maximal 2-dimensional Binary Words of Bounded Degree.- Factorizations and Monoids.- Free Product of Formal Series.- Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems.- Words Avoiding Half-flips.- Digital Convexity and Combinatorics on Words.- Clustering of Return Words in Languages of Interval Exchanges.- Symmetries of Rich Sequences with Minimum Critical Exponent.- The Heineis Spectrum has Non-empty Interior.- Binomial Coefficients of Multidimensional Arrays.- Circularity and Repetitiveness in Non-injective DF0L Systems.- Shuffle Squares and Nest-Free Graphs.- A Succinct Study of Positionality for Dumont--Thomas Numeration Systems.- About ?-numeration.- Purely Automatic Sequences with the Uniform Distribution Property.- On the Closed-rich Constant of Infinite Words.- Note on Dissecting Power of Regular Languages.

Read more less

Book SynopsisAdvances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks & Applications.- Large-scale Nonlinear Viscoelastic Simulation for Crustal Deformation Accelerated by Data-driven Method and Multi-grid Solver.- Artificial Intelligence Approaches for Network Analysis.- Informing the Neural Network Activation Function with Graph Centrality Measures: The Case Study of Oscillating Chemical Reaction Simulation.- A Novel Routing Algorithm for Optical Networks Based on ML Methods.- Decision Trees and Machine Learning for Cybersecurity: How Model Settings Affect Attack Detection.- Covering the Online Spectrum of Opinion in Social Context: The Benefit of Network Node Sampling Through an Italian Case Study.- A Multilayer and Temporal Network for Studying the Connections of Cross-listed Stocks.- A Machine Learning-based Framework for Predicting Candidate Drug Side Effects from Biological Networks.- Artificial Intelligence and High-Performance Computing for Advanced Simulations.- Introducing B-spline Basis Functions in Neural Network Approximations.- Augmenting Petrov-Galerkin Method with Optimal Test Functions by DNN Learning the Inverse of the Gram Matrix.- EXPBrain: Exponential Integrators for Glioblastoma Brain Tumor Simulations.- Influence of Mixed Precision on Performance and Accuracy of DNN Training for AI-Accelerated CFD Simulations on NVIDIA Multi-GPU System.- Performance-energy Investigation of Selected Applications using a Parallel Multi-GPU Genetic Algorithm under Power Capping.- Discrete Residual Loss Functions for Training Physics-Informed Neural Networks.- Uncertainty-Aware Well Placement: Simulator-Verified Dual-Network Reinforcement Learning Approach meets Particle Filters.- Sequential, Parallel and Consecutive Hybrid Evolutionary-swarm Optimization Metaheuristics.- Graph Grammar Model for h-adaptation for Meshes with Quadrilateral, Pentagon, and Hexagon Elements.- MinRNNs for Lagrangian-Based Simulations of Transient Flow Problems.- Socio-cognitive Agent-oriented Evolutionary Algorithm with Trust-based Optimization.- Structural Limiting Range of Perception in PSO.- Towards Novel Migration Topologies for Parallel Evolutionary Algorithms.- Biomedical and Bioinformatics Challenges for Computer Science.- From the Synaptome to the Connectome: Data Bigness Estimation for the Human Connectome at the Nanoscale.- Enzyme Stability Prediction: Advancing with Ensemble Machine Learning and Explainable Artificial Intelligence.- MTL-FECAM: Bridging the stability-plasticity tradeoff in Exemplar-free Continual Learning.- Development of a pH-Responsive Bio-robotics for Targeted Drug Delivery to Lung Cancer in the Vascular System.- Accelerating Super-Resolution Magnetic Resonance Imaging Using Toeplitz k-Space Matrices and Deep Learning Reconstruction.- Logistic Regression with Covariate Clustering in Genome-wide Association Interaction Studies.- Predicting Antibody Responses to Type V GBS-TT Conjugate Vaccine Using Computational Modelling.- A Computational Immune Approach for Modeling Different Levels of Severity in COVID-19 Infections.- Implementation of Convolutional Neural Networks for the Purpose of Five Types of White Blood Cells Automatic Counting.- BioSkel - Towards a Framework for OMICS Applications.- Uncertainty Quantification of Thermal Damage in Hyperthermia as a Cancer Therapy.- Bias in Dermatological Datasets: A Critical Analysis of the Underrepresentation of Dark Skin Tones in Melanoma Classification Images.

Read more less

Book SynopsisComputational Health.- Simulation of Blood Flow in the Left Ventricle Considering Purkinje Fibers.- ViT-SE_Res: A Hybrid Vision Transformer and ResNet50V2 with Squeeze-and-Excitation Block for Cervical Cell Classification.- MedCT: A Clinical Terminology Graph for Generative AI Applications in Healthcare.- A Fractional Computation Based Deep Learning Framework for Silicosis Detection.- Combining XAI and Graph Cuts for Skin-lesion Segmentation.- Accelerating Two-Dimensional k-Wave Ultrasound Simulations Through Pruned FFT: A Treatment Planning Optimisation.- A Computational Framework for Modelling Biomechanical Tumour Dynamics and Tissue Interactions: A Proof-of-Concept in Pleural Mesothelioma.- Towards Sensitivity Analysis: 3D Venous Modelling in the Lower Limb.- Cross-Scale Modeling of Healthcare Norms and Patient Features Dynamics with Interpretable Machine Learning.- Automatic Detection and Segmentation of Coronary Artery Stenosis in Coronary Angiography Images.- Explainable Artificial Intelligence for Clinicians Decision Support in Diagnosing Spinal Pathologies.- Predicting Disease Transmission Rates for Hybrid Modeling of Epidemic Outbreaks: Statistical and Machine Learning Approaches.- Lightweight Heterogeneous SEIR Models for Epidemic Surveillance in Russian Cities: Turning Synthetic Populations into Equations.- Is Health Systems Sustainability Measurable? - Operationalizing SDG Targets using SSP-TOPSIS Approach.- Computational Modeling and Artificial Intelligence for Social Systems.- Automatic Detection and Identification of Causal Relationships in Polish Legal Texts.- A Parameter-free Model for the Online Spread of Far-right Messages: Combining Agent-Based Models with Large-Language Models.- Accelerated Approximation of Bellman Equation Solutions: Agent Policy Optimization with a Feedforward Neural Network.- Simulation-based Inference in Agent-based Models using Spatio-temporal Summary Statistics.- Emergent Communication in Merging Artificial Agent Populations.- MAVS: An Ensemble-Based Multi-Agent Framework for Fake News Detection.- Evolutionary Game Selection Leads to Emergent Inequality.- Computational Optimization, Modelling and Simulation.- Enhancing Gaussian Mixture Model Fitting via Equiprobable Binning and Adaptive Differential Evolution.- Asymptotics in Curve Estimation by Modified Cubic Spline and Exponential Parameterization.- Physics Informed Neural Networks for Non Stationary Material Science Problems.- Adaptive Global Modeling using Neural Networks with Deep Ensembles and Space-filling Sequences.- Automated Antenna Design Using Computational Intelligence and Numerical Optimization.- Near-Optimal Mixed Partial Replications versus Uniform Replication.- Hybrid Subgradient and Simulated Annealing Method for Hemivariational Inequalities.- Reduced-Order Modeling of Compressible Flows Using Supervised Dimensionality Reduction.- Exact and Approximate Methods for Solving the Edge-strength Problem.

Read more less

Book SynopsisMachine Learning and Data Assimilation for Dynamical Systems.- Cluster-based Reduced-order Modelling and Control for Chaotic Systems with Extreme Events.- First Experiences on Exploiting Physics-Informed Neural Networks for Approximating Solutions of a Biological Model.- A Machine Learning System for Energy Forecasting with Feature Importance Analysis.- Latent Three-dimensional Variational Data Assimilation with Convolutional Autoencoder and LSTM for Flood Forecasting.- Online Model Learning with Data-assimilated Reservoir Computers.- Data-Assimilated Model-Based Reinforcement Learning for Partially Observed Chaotic Flows.- SHAP-prioritised Machine Learning for Diagnostic Grade Prediction of Lung Function.- Turn Detection in Alpine Skiing Using Smartphone Sensors.- Assimilation of Data for Dynamic Digital Twins by Learning Covariance Information.- Multi-Criteria Decision-Making: Methods, Applications, and Innovations.- Issues Importance Analysis for Reaching High-Quality Consensus in Preference-Based Conflict Scenarios.- Integrating Conflict Analysis and Rule-Based Systems for Dispersed Data Classification.- Multicriteria Framework for Digital Content Design and Evaluation in Cross-Generational Targeting.- Integrating Habituation Effects with UCB and Softmax Multi-Armed Bandit Algorithms for Optimized Digital Content Delivery.- Computational Risk Assessment in Water Distribution Network.- Preserving Informative Content of Condition Attributes in Data Transformations for CRSA.- Using SSP-VIKOR in Sustainable Share of Renewable Energy Sources Assessment.- Decision-Making of Homogeneous Multiple Classifiers Based on Attribute Characterisation by Discretisation.- New Multi-Criteria Approach to Sustainable Development Assessment.- Compromise Fuzzy Ranking: A Novel Method for Reaching Consensus in Complex Multi-criteria Decision Problems.- A New Approach to Large-scale Multi-criteria Group Decision-making Based on the RANCOM Method.- Towards Sustainable Decision Making: New Reference Point-Based MCDA Method.- An Adaptive RANCOM-ST Method for Bias Reduction using Statistical Thresholds.- Strong Sustainability Paradigm in TOPSIS Method: New Approach to Wind Farm Selection Problem.- Aspects of Implementing RPA in an IT Company.- Evaluating Sufficiency Practices for Sustainable Competitiveness using AHP-grey Analysis.- Actionable Fire Modeling in Firemap for Extended Attack Decision Support.- The Role of Preference Reidentification in MCDA: Comparing Weight-Based, Normalization, and Reference-Object Approaches.- Subjective Equal Criteria Influence Approach (SECIA): A Novel Extended Approach to Weights Determination.- Local Markovian Consensus for Ranking Aggregation: A Novel Approach to Consensus Ranking with Weak Ordinal Dominance.

Read more less

Book Synopsis(Credible) Multiscale Modelling and Simulation.- Novel Hierarchical Decision Tree Frameworks Introducing Tree Method Bagging-Stump Integration and Height Optimization.- Modelling Heat Conduction between Two Contacting Particles in Vacuum Insulation Panels Made with Granular Porous Media.- Multiscale Parallel Simulation of Malignant Pleural Mesothelioma via Adaptive Domain Partitioning – an Efficiency Analysis Study.- Node-level Performance of Adaptive Resolution in ls1 mardyn.- A Multiscale Modeling Framework for Organizational Resilience: Integrating Agent-Based, Discrete Event, and System Dynamics Approaches.- mUQSA - An Online Service for Uncertainty Quantification and Sensitivity Analysis.- FUMEplot: a Prototype Tool for Automated Visualisation of Uncertainties in Ensemble Modelling Outputs.- AI-enhanced Agent-based Modelling Approach for Forced Displacement Predictions.- Numerical Algorithms and Computer Arithmetic for Computational Science.- On Floating Point Approximation of the Reciprocal Cube Root Function.- Fourier Error Analysis of Caputo Derivative Approximations based on Lagrange Interpolation over Uniform Mesh.- Time and Energy Consumption of Multithreaded Matrix Factorization using Various Compilers Optimizations.- Quantum Computing.- Modeling the Cyclic Bandwidth Problem in QUBO for Quantum Annealing.- Optimization Framework for Reducing Mid-circuit Measurements and Resets.- Quantum-Classical Dual Kernel SVMs for Power Quality Classification.- Quantum-aware Transformer Model for State Classification.- Hyperspectral Image Segmentation with a Machine Learning Model Trained using Quantum Annealer.- Classification of the Polish Handwritten Letters by the use of Quantum Convolutional Neural Network.- Retrieval-Augmented Generation.- AggTruth: Contextual Hallucination Detection using Aggregated Attention Scores in LLMs.- CiteVerifier: How Good Are Citation Verifiers and How to Use Them?- From Statement of Facts to Statutory Provisions – Efficient Retrieval of Relevant Legislation.- PoliChat: Retrieval Augmented Generation on University Documents and Regulations.- Simulations of Flow and Transport: Modeling, Algorithms and Computation.- Isogeometric Galerkin-characteristic Analysis for Miscible Flows in Porous Media.- An Unconditionally Stable Parallel Splitting Algorithm for the Coupled Stokes-Parabolic Equation Based on the Three-Field Biot Model.- A Thermodynamically Consistent Model for Compressible Fluid Flow in Fractured Porous Elastic Media.- { t DarcyLite} Modules for Property-preserving Transport Solvers.- Natural Convection in Periodically Heated Porous-fluid System under Local Thermal Non-equilibrium Conditions: A Numerical Study for Enhanced Thermal Management.- Development of a Library for Far-field Sonic Boom Prediction in OpenFOAM.- Numerical Analysis of Dolphin Kick in Competitive Swimming with Free Surface Effects.- DNS of Bubble Dynamics in the Wobbling Regime using the Unstructured Conservative Level-Set Method.

Read more less

Book SynopsisSmart Systems: Bringing Together Computer Vision, Sensor Networks and Artificial Intelligence.- Formal Security Analysis of the Authentication Protocol in Smart Cities using AVISPA.- Automatic Help Summoning through Speech Analysis on Mobile Devices.- Leveraging Graph Digital Twin for Fault Detection and Improved Power Grid Stability in Smart Cities.- PEMS-API: Malware Classification Using Parameter-Enhanced Multi-dimensional API Sequence Features.- The Effectiveness of Visual Attention Patterns in the Process of Spatial Exploration in a 3D Video Game Environment.- A New Way to Generate Urban Environments for Video Games Using the Architectural Impression Curve Method.- Enhancing Learning in Augmented Reality (AR): A Deep Learning Framework for Predicting Memory Retention in AR Environments.- Solving Problems with Uncertainty.- Unified and Diverse Coalition Formation in Dispersed Data Classification – A Conflict Analysis Approach with Weighted Decision Trees.- From Uncertainty to Semantics in Self-reported Data: An Empirical Analysis.- Uncertainties in Modeling Psychological Symptom Networks: The Case of Suicide.- Making Astrometric Solver Tractable through In-Situ Visual Analytics.- Scheduling in Workflow-as-a-Service Model with Pre-Parameterized DAG using Inaccurate Estimates.- Global Sensitivity Analysis for a Mathematical Model of the General Escape Theory of Suicide.- Multidimensional Granular Approach to Solving Fuzzy Complex System of Linear Equations.- An Algorithm for Calculating the Multidimensional Solution of the Fuzzy Sylvester Matrix Equation.- Modelling Extreme Uncertainty: Queues with Pareto Inter-Arrival Times and Pareto Service Times.- Teaching Computational Science.- Best Practices in Teaching Digitization and Process Automation - A Case Study of Warsaw University of Technology.- Contrast Computation for Improved Visibility and User Experience in Educational Interfaces.- The Role of the Sustainability Competences for IT Systems Engineers.- Smart Product-Service System for Intelligent Welding System.- The Use of Artificial Intelligence and Virtual Computer Laboratories to Develop Computer Science Education.- Exploring AI Applications in Business: Case Studies on Key Competencies for Professionals.- The Use of the Chat GPT to Solve Mathematical Programming Tasks: A Didactic Experiment with the Participation of Warsaw University of Life Sciences Students.- Service-Oriented Architecture: Learning with Generative AI and AWS.

Read more less

Book SynopsisICCS 2025 Main Track Full Papers.- Backtranslation and Paraphrasing in the LLM Era? Comparing Data Augmentation Methods for Emotion Classification.- Explainable Artificial Intelligence for Bioactivity Prediction: Unveiling the Challenges with Curated CDK2/4/6 Breast Cancer Dataset.- Bus Loop Scheduling with Dueling Double Deep Q Network.- Precise Language Deception: XAI Driven Targeted Adversarial Examples with Restricted Knowledge.- Tensorial Implementation for Robust Variational Physics-Informed Neural Networks.- Neural Parabolic Wave Equation for Refractivity Estimation.- Discover the Tractable Latent Space of Floating Offshore Wind Turbine based on a Novel GNN-Encoder-Decoder-LSTM Deep Learning Architecture.- Towards Weight-space Interpretation of Low-Rank Adapters for Diffusion Models.- Discovering Governing Equations of Geomagnetic Storm Dynamics with Symbolic Regression.- Combining Shape and Trajectory Features for Human Action Classification using a Neural Network and Synthetic Data.- Improving Object Detection Quality in Football Through Super-Resolution Techniques.- Flexible User-defined Domain Decomposition in Kilometer-Scale E3SM Land Model Simulation.- A Deeper Look into the Limitations of Early-Exit Architectures for Single and Multi-Label Classification.- Comparative Analysis of Black-Box Optimization Methods for Weather Intervention Design.- Dual Adaptive Windows Toward Concept-Drift in Online Network Intrusion Detection.- Estimating Airborne Transmission Risk for Indoor Space: Coupling Agent-based Model and Computational Fluid Dynamics.- A Dynamic Model of Customers Behavior: Integrating Econophysics and Physics-Informed Neural Networks.- Adaptive PCA-Based Outlier Detection for Multi-Feature Time Series in Space Missions.- Adaptive Physics Refinement for Anatomic Adhesive Dynamics Simulations.- Microfluidic Digital Twin for Enhanced Single-Cell Analysis.- Energy-Efficient Neural Network Training for Scientific Datasets with Advanced Similarity Analytics and Orchestration.

Read more less

Book SynopsisICCS 2025 Main Track Full Papers.- CommPlex: Community in Multiplexes - Definition and a Suite of Algorithms for Analysis.- i-QLS: Quantum-supported Algorithm for Least Squares Optimization in Non-Linear Regression.- Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach.- WebAA: Website Association Analysis via Multi-Resource Similarity Computation.- Exploring the Effect of Spatial Scales in Studying Urban Mobility Pattern.- NotiCorr: Exposing Social Relationships via Notification Traffic of Instant Messaging Applications.- PAWUK: Extensive Annotated Web Corpus of Ukrainian.- Assessing Physics Parameterizations using Evolutionary Computation.- Domain solutions obtained by the FPIES for potential 2D BVPs.- Detecting and Understanding Hateful Contents in Memes Through Captioning and Visual Question-Answering.- A GPU-Accelerated Interior Point Method with Applications in Radiation Therapy Optimization.- An Empirical Assessment of LLM-Based Approaches to Malicious Webpage Detection.- Physics Informed Neural Network Code for 2D Transient Problems (PINN-2DT) Compatible with Google Colab.- Dynamic Neural Network with Matrix-extended Residual Connections.- Proof of Training: Obtaining Verifiable ML Models by Delegating Training to a Blockchain Network.- Multiple-Meta-Instance Selection. Combining the Properties of Many Instance-Selection Methods.- Using B-spline Function Properties in the PIES Method to Handle Singularities in Boundary Value Problems.- cuTeBool: Fast and Scalable Boolean matrix factorization on GPUs using Tensor Cores.- Encrypted Malicious Traffic Detection Using Multi-Instance Learning.- Dimensionality Reduction in Product of Metric Spaces.- To Select or Not to Select? The Role of Meta-features Selection in Meta-learning Tasks with Tabular Data.- Simple Error Estimation for PIES in 2D Elasticity Problems.

Read more less

Book SynopsisICCS 2025 Main Track Full Papers.- Control Synthesis of Homogeneous Approximations of Nonlinear Systems.- A Robust Ensemble Malware Detector Against Powerful Adversaries.- Physics-Aware Compression of Plasma Distribution Functions with GPU-Accelerated Gaussian Mixture Models.- Hierarchical Structural Information – Theory and Applications.- A Connectionist Approach to Federated Digital Twins.- Low Latency Recoding CORDIC Algorithm for FPGA Implementation.- Global Optimization of Microwave Circuits Using Dimensionality Reduction and Multi-Fidelity EM Simulations.- Understanding the Limitations of Deep Transformer Models for Sea Ice Forecasting.- Microscopic Binary Engagement Model.- Dead Gate Elimination.- Advances in Adapting Memory-Bound CFD Computations to RISC-V Multicore Architecture.- Detecting Potential HIV Inhibitors using the Cross Siamese Network.- Generation of Quality Green’s Function Libraries in Complex Three-dimensional Crustal Structures by Adaptive Mesh Refinement.- An Iterative Scheme for the Solidification Benchmark Modeling.- Robust, Efficient, and Long-Time Accurate Schemes to Simulate Gas Storage in Geological Formation.- A Hybrid Approach for Medical Deepfake Detection Using Depth-Wise Convolutions in Vision Transformer and Frequency Domain Analysis.- Static Load Balancing for Molecular-Continuum Flow Simulations with Heterogeneous Particle Systems and on Heterogeneous Hardware.- Joint Spatial-Temporal Representation for Host Intrusion Detection System.- Will it Blend? Mixing Numerical and Machine-learned Physics Quantities for Accurate On-the-Fly Surrogate Modeling.- Biological Community Detection with Graph neural network and Network Curvature Analysis on Gene Co-expression Networks.- Incorporating Performance Ordering in MCDA: A Study of the Frobenius SPOTIS Method.

Read more less

Book SynopsisICCS 2025 Main Track Short Papers.- A Method for Handling Negative Similarities in Explainable Graph Spectral Clustering of Text Documents.- Preliminary Comparison of Different EDs Performance, using Simulation.- Efficient Peptide MRM Transition Prediction via Convolutional Hashing.- Comparison of Crash Simulations on Two Types of Flying Cars.- Centrality Resilience in Complex Networks.- A Customizable Agent-Based Simulation Framework for Emergency Departments.- Leveraging Positional Bias of LLM In-context Learning with Class-few-shot and Maj-Min Alternating Ordering.- Remote Sensing AI for Crop Planting in Wildfire Fuel Mapping.- Regularization Algorithm for Eliminating Singularities in the PIES Formula for 3D Multidomain Orthotropic Problems.- Advancing Bird Species Classification: A Fusion of Audio and Image Data.- Prototype-pairs Decomposition for Extracting Simple and Meaningful Rules.- Fast Prediction of Job Execution Times in the ALICE Grid Through GPU-Based Inference with Quantization and Sparsity Techniques.- Reversible Data Hiding in Encrypted Images with Pixel Prediction and ERLE Compression.- Information Flow Between Neighboring Housing Markets: A Case from the Seoul Metropolitan Area.- A Bi-Stage Framework for Automatic Development of Pixel-Based Planar Antenna Structures.- Investigation of CUDA Graphs Performance for Selected Parallel Applications.- Instance Selection by Fast Local Set Border Selector.- Modelling the Transient Evolution of Queues in Plugged-in Electric Vehicles (PEV) Fast Charging Stations.- Is Heterogeneous Model Soup Tasty? A Multidimensional Evaluation of Diverse Model Soups in Language Model Alignment.- Performance Evaluation of IMS/NGN Network with SDN-Based Transport Stratum.- Variable Resolution Machine Learning for Rapid Multi-Criterial Antenna Design.- A Fast and Scalable Genomic Data Compressor for Multicore Clusters.- Augmenting Ontologies with Competency Questions and Distant Supervision.- Modeling Firm Birth and Death Dynamics using Survival Fractions and Age Distributions.- Enhancing Sentiment Analysis through Multimodal Fusion: A BERT-DINOv2 Approach.- Modeling Parallel AI Applications for Performance Analysis on Cloud Environments.- Simplified Swarm Learning Framework for Robust and Scalable Diagnostic Services in Cancer Histopathology.- A Fast MPI-based Distributed Hash-Table as Surrogate Model for HPC Applications.- Rockburst Forecasting using Composite Modeling for Seismic Sensors Data.- Accelerating LBM with C++ STL Asynchronous Parallel Model.- Accelerating Cloud-Based Transcriptomics: Performance Analysis and Optimization of the STAR Aligner Workflow.- Adaptive Modular Housing Design for Crisis Situations.- Evaluating Parameter-Based Training Performance of Neural Networks and Variational Quantum Circuits.- Towards an Open Science – an Academic Recommendation Cloud Platform.- Algorithm Selection in Short-Range Molecular Dynamics Simulations.- SOPMOA*: Unleashing Shared-Open Parallelism for High-Performance Multi-Objective Pathfinding.- From Recursion to Parallelism: Plug & Play Dynamic Programming.- NeoN: A Tool for Automated Detection, Linguistic and LLM-Driven Analysis of Neologisms in Polish.- Surrogate Models for Analyzing Performance Behavior of HPC Applications Using RAJAPerf.- Cattle Identification using 2D Mask Retention Network.- Scaling Dynamics of the Electricity Utility Sector: Assessing the Role of Agglomeration Externalities and Sensitivity to Population Cutoffs in Spatial Dynamics Across European Regions.- Pollution Simulations and In-field Measurements Performed in March at Longyearbyen, Spitsbergen.- Reversed Model Verification by Inferring Conceptual Models from Simulation Code.- GPU-Accelerated Out-of-Core HMM Inference with Concurrent CUDA Streams.- Predicting Future Collaborations in A Scientific Community using Graph Neural Networks.- Data-Centric Parallel Programming Abstractions for High Performance Computations.- Neural Network for Evaluating the Operational Range of Antennas with Randomly Generated Designs.- Optimizing U-Net Architecture Using Differential Evolution for Brain Tumor Segmentation.- Simulation Modelling of Clinical Decision making for Personalized Policy Identification.- Verified Eigenvalue Calculation for the Laplace Operator.- A Hybrid Q-LA approach to routing in Wireless Sensor Networks.- Improving Project-level Code Generation using Combined Relevant Context.

Read more less

Book Synopsis.- Complementable Normal Form of Parametrized Automata..- Toward the Glushkovization of Automata: the Strong Stabilization..- Constructing Compact BPE Token DFAs..- Epsilon Automata on Linear Orderings..- Multi-entry DFA with reduced initial states to speedup parallel recognition..- Two-Way Automata and Bounded Languages..- An Algebraic Approach to the Equivalence Checking of Deterministic Top-down Tree Transducers..- An active learning algorithm for bidirectional deterministic finite automata..- Dynamically Weighted Tree Transducers..- Engineering an LTLf Synthesis Tool..- Subsequence Matching and Analysis Problems for Automata with Translucent Letters..- Shape Preserving Tree Transducers..- Simulating two-way nondeterministic finite automata over small alphabets by one-way nondeterministic automata..- A New Approach for Showing Termination of Parameterized Transition Systems..- An Earley-Based Universal Error-Correcting Parser..- More on Language Families with a Decidable Pumping-Problem (Extended Abstract)..- Self-Verifying Predicates in B¨uchi Arithmetic..- State-Freezing Pushdown Automata..- From regular expressions to deterministic finite automata: $2ˆ{frac{n}{2}+sqrt{n}(log n)ˆ{Theta(1)}}$ states are necessary and sufficient..- A first taste of MeSCaL, a tool for solving membership problems for regular languages..- In orbit with MeSCaL: higher in concatenation and navigational hierarchies of regular languages..- A hierarchy of reversible finite automata.

Read more less

Book Synopsis.- Symbolic Computation and Verification Methods in Maude..- Verifying Smart Contracts in Yul via Transformation to CHC byInterpreter Specialization..- Implementing a Many-Valued Semantics for Logic Programs withOrdered Disjunction Using ASP..- Extending the FSyntax/Hiord Approach with Imperative Notation..- Higher-Order Pattern Unification Modulo Similarity Relations..- A Completion Procedure for Equational Rewriting Systems with Binders..- Automated Certification of Logic Programs Groundness Analysis..- Managing Analysis and Verification Information about Curry Packages..- Program synthesis for geometric modeling..- Recurrent Pairs Revisited..- Logica and LogicLM Program Synthesis Evaluation..- Characterizing Equivalence of Logically Constrained Terms viaExistentially Constrained Terms..- Focusing Recursive LLM Descents with Plans Expressed as LogicPrograms.

Read more less

Book Synopsis.- Algorithmic Fairness: A Runtime Perspective..- DSLs for Runtime Verification: A Tutorial..- Execution and monitoring of HOA automata with HOAX..- Formal Verification of Neural Certificates Done Dynamically..- Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs..- A ROS Adapter for RTLola..- DynSRV: Dynamically Updated Properties for Stream Runtime Verification..- Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter..- Alignment Monitoring..- Instrumenting Runtime Enforcement..- Active Monitoring with RTLola: A Specification-Guided Scheduling Approach..- The Power of Reframing: Using LLMs in Synthesizing RV Monitors..- Conformal Safety Shielding for Imperfect-Perception Agents..- Extended Timed Regular Expressions..- Monitoring Distributed Systems based on Partial Order Executions with Global States..- Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation..- CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series..- Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study..- Conformal Predictive Monitoring for Multi-Modal Scenarios..- Runtime Verification for LTL in Stochastic Systems..- A Practical Approach to Runtime Verification..- Hyper pattern matching..- Monitoring Hypernode Logic Over Infinite Domains..- A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems..- Statistical Runtime Verification for LLMs via Robustness Estimation..- ISL: Monitoring Image Segmentation Logic in Medical Imaging Analysis..- Runtime Consultants.

Read more less

Book SynopsisThe Białowieża workshops on Geometric Methods in Physics are among the most important meetings in the field. Every year some 80 to 100 participants from both mathematics and physics join to discuss new developments and to interchange ideas. This volume contains contributions by selected speakers at the XXX meeting in 2011 as well as additional review articles and shows that the workshop remains at the cutting edge of ongoing research. The 2011 workshop focussed on the works of the late Felix A. Berezin (1931–1980) on the occasion of his 80th anniversary as well as on Bogdan Mielnik and Stanisław Lech Woronowicz on their 75th and 70th birthday, respectively. The groundbreaking work of Berezin is discussed from today’s perspective by presenting an overview of his ideas and their impact on further developments. He was, among other fields, active in representation theory, general concepts of quantization and coherent states, supersymmetry and supermanifolds. Another focus lies on the accomplishments of Bogdan Mielnik and Stanisław Lech Woronowicz. Mielnik’s geometric approach to the description of quantum mixed states, the method of quantum state manipulation and their important implications for quantum computing and quantum entanglement are discussed as well as the intricacies of the quantum time operator. Woronowicz’ fruitful notion of a compact quantum group and related topics are also addressed.

Read more less