07054nam 22004453 450 991087469360332120240726080302.09783031637353(CKB)33388411800041(MiAaPQ)EBC31552554(Au-PeEL)EBL31552554(EXLCZ)993338841180004120240726d2024 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierArtificial Intelligence and Image Analysis 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8-10, 2024, Revised Selected Papers1st ed.Cham :Springer,2024.©2024.1 online resource (269 pages)Lecture Notes in Computer Science Series ;v.144949783031637346 Intro -- Foreword -- Preface -- Organization -- Contents -- A Model for Optimizing Recalculation Schedules to Minimize Regret -- 1 Introduction -- 2 Warm up -- 3 Uniform Recalculations -- 4 Constant Number of Recalculations -- 5 Schedules with Increasing Recalculations in T -- References -- A Theory of Learning with Competing Objectives and User Feedback -- 1 Introduction -- 2 Conflict Resolution Model -- 3 Stochastic Setting -- 4 Experiments -- 5 Conclusion -- A Related Work -- B Stochastic Setting -- B.1 Case m = 2 -- B.2 General cCse -- C Beyond T23 Regret -- D Adversarial Setting -- E Experiments -- E.1 Experiments with Simulated Data -- E.2 Experiments with a Real-World Dataset -- F Further Discussion on the COMPAS Example -- References -- Trick Costs for and New Relatives -- 1 Introduction -- 2 Preliminaries -- 3 Minimax Truncated with Random Playouts -- 4 Template Algorithm -- 5 Imperfect Information Tree Search -- 5.1 Fusion Algorithm -- 6 Implementation -- 7 Experiments -- 8 Conclusion -- References -- A Differential Approach for Several NP-hard Optimization Problems -- 1 Introduction -- 2 Statement of Problems -- 3 Related Work -- 4 MAXCUT -- 5 MAXkSAT -- 6 MAXNAE2SAT -- 7 Conclusion -- References -- On the Computational Complexities of Finding Selected Refutations of Linear Programs -- 1 Introduction -- 2 Statement of Problems -- 2.1 Complexity Classes -- 2.2 Minimum 0-1 Integer Programming -- 3 Motivation and Related Work -- 4 Read-Once Refutations -- 5 Tree-Like Refutations -- 6 Dag-Like Refutations -- 7 Conclusion -- References -- Extending the Tractability of the Clique Problem via Graph Classes Generalizing Treewidth -- 1 Introduction -- 2 Preliminaries -- 3 A Generalization of Treewidth by Defining New Graph Classes -- 4 Recognition of Graphs of a Given Class CkW -- 5 Class CkW and Tractability of the Maximum Clique Problem.6 Classes CkW and Graphs of Unbounded Treewidth -- 7 Discussion and Conclusion -- References -- Principled Approaches for Learning to Defer with Multiple Experts -- 1 Introduction -- 2 Preliminaries -- 3 General Surrogate Losses -- 4 H-Consistency Bounds for Surrogate Losses -- 5 Benefits of Minimizability Gaps -- 6 Learning Bounds -- 7 Experiments -- 8 Conclusion -- A Related Work -- B Experimental Details -- C Proof of H-Consistency Bounds for Deferral Surrogate Losses -- C.1 Conditional Regret of the Deferral Loss -- C.2 Conditional Regret of a Surrogate Deferral Loss -- C.3 Conditional Regret of Zero-One Loss -- C.4 Proof of H-Consistency Bounds for Deferral Surrogate Losses (Theorem 1) -- D Examples of Deferral Surrogate Losses and Their H-Consistency Bounds -- D.1 Being Adopted as Comp-Sum Losses -- D.2 Being Adopted as Sum Losses -- D.3 Being Adopted as Constrained Losses -- E Proof of Learning Bounds for Deferral Surrogate Losses (Theorem 2) -- References -- On Sample Reuse Methods for Answering k-wise Statistical Queries -- 1 Introduction -- 2 Preliminaries -- 3 Baseline Simulation of an SQ Oracle -- 4 Independent Pseudo-Samples for Adaptive Queries -- 4.1 Privacy Composition -- 4.2 Laplace Mechanism -- 5 Dependent k-wise Samples for Non-adaptive Queries -- References -- Neural Diffusion Graph Convolutional Network for Predicting Heat Transfer in Selective Laser Melting -- 1 Introduction -- 2 Related Work -- 2.1 Numerical Analysis and PINNs -- 2.2 Differential Equation Inspired Neural Networks -- 2.3 Neural Diffusion Graph Networks -- 3 Methodology and Benchmarking -- 3.1 Methodology NDGCN -- 3.2 Benchmark -- 4 Data Integration -- 4.1 Graph Construction from Thermal Images -- 4.2 Modelling Internal Heat Using Graph Diffusion -- 4.3 Results -- 5 Conclusion and Discussion -- References.New Proportion Measures of Discrimination Based on Natural Direct and Indirect Effects -- 1 Introduction -- 2 Structural Causal Model -- 3 Effect Measures -- 4 Discrimination Criteria -- 5 Proportion Measures of Discrimination -- 6 Application -- 7 Conclusion -- References -- Addressing Discretization Artifacts in Tomography by Accessing and Balancing Pixel Coverage of Projections -- 1 Introduction and Related Work -- 2 Mathematical Background and Projection Matrix -- 2.1 Interpolation During the Projection Matrix Calculation -- 2.2 Pixel Coverage and Our Proposed Correction Step -- 3 Experimental Setup -- 3.1 Reconstruction Algorithms -- 3.2 Geometry -- 3.3 Test Images -- 3.4 Random Noise on Projections -- 3.5 Metrics -- 4 Results and Discussion -- 4.1 Reconstruction Algorithm and Noise -- 4.2 Geometries -- 5 Conclusion -- References -- Finding the Straight Skeleton for 3D Orthogonal Polyhedrons: A Combinatorial Approach -- 1 Introduction -- 2 Definitions and Preliminaries -- 3 Combinatorial Rules to Derive Straight Skeleton -- 4 Algorithm for Determining Straight Skeleton -- 5 Experimental Results -- 6 Conclusion -- References -- Towards a Unifying View on Monotone Constructive Definitions -- 1 Introduction -- 2 Algebraic Formalisation -- 3 Different Flavours of Constructive Definitions -- 3.1 (Co)inductive Definitions of Sets -- 3.2 (Co)recursive Definitions of Functions -- 3.3 Definitions with Custom-Designed Cpo's -- 4 Conclusion and Future Work -- References -- Partial Boolean Functions for QBF Semantics -- 1 Introduction -- 2 Basic Definitions and Notation -- 2.1 Boolean If-Then-Else -- 3 Partial Boolean Functions -- 4 Syntax of LDP-Resolution -- 5 Partial Herbrand Functions -- 6 Logical Implications in QBF Derivations -- 7 Conclusion -- A Logical Operators on Pbfs -- B Derivations That Are Not Logical Consequences -- References.Author Index.Lecture Notes in Computer Science SeriesBarneva Reneta P1749780Brimkov Valentin E1749781Gentile Claudio616158Pacchiano Aldo1749782MiAaPQMiAaPQMiAaPQ9910874693603321Artificial Intelligence and Image Analysis4184141UNINA