Table of Contents: “...: Barriers and Enablers -- ChatGPT as a tool for User Story Quality Evaluation: Trustworthy Out of the Box? -- Survey of AI tool usage in programming course: Early observations Turning Large Language Models into AI Assistants for Startups using Prompt Patterns...”

Full text 

Table of Contents: “... -- Part 2. Mathematical models of flow Chapter. 2. Analysis of many-body particle systems by geometry and box-ball-system theory -- Chapter 3. Discrete Integrable Systems, LR transformations and Box-Ball Systems -- Part 3. Mathematical methods for huge data...”

Full text 

Table of Contents: “...-and-Conquer Methods for Synthesis -- 14 Marked Graph Synthesis -- 15 Bounded Choice-free Net Synthesis -- 16 Model Checking Safe, Strongly Persistent Petri Nets -- 17 Semilinearity -- 18 Decidability of the reachability problem -- 19 The Box Algebra 1/2: Refinement...”

Full text 

Table of Contents: “.... Network Security -- Chapter 9. Security in operating systems -- Chapter 10. Software security -- Chapter 11. Incident handling and system availability -- Chapter 12. Law and ethics -- Epilogue -- Appendix A. What's in the box? -- Appendix B. Mathematics...”

Full text 

Table of Contents: “... network -- Research on Automatic Medicine Box System for Community with Extreme Learning Machine Based on Sparrow Search Algorithm Improvement -- Multimodal Depression Detection Network based on Emotional and Behavioral Features in Conversations -- Enhancing...”

Full text 

Table of Contents: “... -- TransCenter: Transformer in Heatmap and A New Form of Bounding Box -- Causal-Inspired Influence Maximization in Hypergraphs Under Temporal Constraints -- Enhanced Generation of Human Mobility Trajectory with Multiscale Model -- SRLI:Handling Irregular Time Series...”

Full text 

Table of Contents: “...Computer Vision Based on Learning Algorithms -- Assessing the Reliability of AI-based Angle Detection for Shoulder and Elbow Rehabilitation -- Movement Pattern Recognition in Boxing Using Raw Inertial Measurements -- An Evaluation of Image Preprocessing...”

Full text 

Table of Contents: “... Experience -- State of Charge Estimation of Lithium-ion Battery Based on Multi-modal Information Interaction and Fusion -- Sperm Recognition and Viability Classification Based on Artificial Intelligence -- GANs-Based Model Extraction for Black-box Backdoor Attack....”

Full text 

Table of Contents: “...Domain adaptation of MRI scanners as an alternative to MRI harmonization -- MultiVT: Multiple-Task Framework for Dentistry -- Black-Box Unsupervised Domain Adaptation for Medical Image Segmentation -- PLST: A Pseudo-Labels with a Smooth Transition...”

Full text 

Table of Contents: “...Research Track -- Generating Android Tests using Novelty Search -- Expound: A Black-box Approach for Generating Diversity-Driven Adversarial Examples -- Developer Views on Software Carbon Footprint and its Potential for Automated Reduction -- Search...”

Full text 

Table of Contents: “... Verification of Node RED-based IoT Applications -- Formal Verification of a Post-Quantum Signal Protocol with Tamarin -- A Comparative Study of Online Cybersecurity Training Platforms -- White-Box Mutation Testing of Smart Contracts: A Quick Review -- Blockchain...”

Full text 

Table of Contents: “...Cryptanalysis of Lightweight Ciphers -- More Balanced Polynomials: Cube Attacks on 810- and 825-Round Trivium with Practical Complexities -- A Closer Look at the S-box: Deeper Analysis of Round-Reduced ASCON-HASH -- Improving the Rectangle Attack on GIFT...”

Full text 

Table of Contents: “... -- From Substitution Box To Threshold -- Tight Security Bound of 2k-LightMAC Plus -- Designing Full-Rate Sponge based AEAD Modes -- Towards Minimizing Tweakable Blockcipher-based Generalized Feistel Net- works -- The Patching Landscape of Elisabeth-4...”

Full text 

Table of Contents: “... by Fuzzing-based Pre-Analysis (Competition Contribution) -- Fizzer: New Gray-Box Fuzzer (Competition Contribution) -- KLEEF: Symbolic Execution Engine (Competition Contribution) -- TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition...”

Full text 

Table of Contents: “...Preface -- 1 Introduction -- 2 The Automated Scientific Process -- 3 The (Black Box) Machine Learning Process -- 4 Information Theory -- 5 Capacity -- 6 The Mechanics of Generalization -- 7 Meta-Math: Exploring the Limits of Modeling -- 8 Capacity...”

Full text 

Full text 

Table of Contents: “... Collection Communications -- Black-box Graph Backdoor Defense -- DRL-based optimization algorithm for wireless powered IoT network -- Efficiently Running SpMV on Multi-Core DSPs for BandedMatrix -- SR-KGELS Social Recommendation Based on Knowledge Graph Embedding...”

Full text 

Table of Contents: “... with Neural Networks Adversarial Perturbations Straight on JPEG Coefficients -- Certified Robust Models with Slack Control and Large Lipschitz Constants -- Multiclass Alignment of Confidence and Certainty for Network Calibration -- Drawing the Same Bounding Box...”

Full text 

Table of Contents: “...Animal Models of Mood and Anxiety Disorders: The Pursuit of Standardization and Recognition of the Complex Neurobiology of Human Mental Health -- The Open Field Test -- The Light Dark Box Test in the Mouse -- The Olfactory Bulbectomized Rodent Remains a...”

Full text 

Full text