Table of Contents

• Analysis of the Structure of the Road Networks: A Network Science PerspectiveSelim Reza, José J. M. Machado, João Manuel R. S. Tavares. [doi]
• Approximate Convex Decomposition of 3D Digital Object Surface Using Scalar Triple Product of VectorsSomrita Saha, Arindam Biswas 0002. [doi]
• Hedonic Expertise GamesBugra Caskurlu, Fatih Erdem Kizilkaya, Berkehan Ozen. [doi]
• A Formal Proof of the Banach-Tarski Theorem in ACL2(r)J. Bapanapally, R. Gamboa. [doi]
• The Power of Symmetry for Nash Stable Additively Separable Hedonic GamesChristian Addington, Jacob Schlueter, Judy Goldsmith. [doi]
• P Systems on Hexagonal Picture Languages and ApplicationsS. James Immanuel, S. Jayasankar, D. Gnanaraj Thomas. [doi]
• Optimizing Decision Making via Submodular SurrogatesYuxin Chen. [doi]
• Learning the structure of Bayesian Networks using constraint programmingFulya Trösser, Simon de Givry, George Katsirelos. [doi]
• A representation of the topological complexity of a 2D binary digital image using Homological Spanning ForestsPablo Sánchez-Cuevas, Fernando Díaz del Río, Pedro Real 0001, Helena Molina-Abril. [doi]
• A Comparison of 2D Regular Grids based on Digital Continuity of RotationsAydin Avkan, Benedek Nagy, Müge Saadetoglu. [doi]
• Towards Formalized Matrix Analysis and AlgorithmsCarl Kwan. [doi]
• Formalization of ConceptsBernhard Ganter. [doi]
• Parallel Setup for computing the Homological Region Adjacency Tree of a 3D binary imagePablo Sánchez-Cuevas, Fernando Díaz del Río, Pedro Real 0001, Helena Molina-Abril, Darian M. Onchis, Sergio Blanco-Trejo. [doi]
• Circular Partial Words and ArraysR. Krishna Kumari, R. Arulprakasam, Meenakshi Paramasivan, V. Rajkumar Dare. [doi]
• Replication and sequencing of unreliable jobs on parallel machinesAlessandro Agnetis, Mario Benini, Paolo Detti, Marco Pranzo, Ben Hermans. [doi]
• Joint Desirability Foundations of Social Choice and Opinion PoolingArianna Casanova, Enrique Miranda 0001, Marco Zaffalon. [doi]
• Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functionsEndre Boros, Joonhee Lee. [doi]
• Properly learning decision trees in almost polynomial timeGuy Blanc, Jane Lange. [doi]
• A Local Search Algorithm for the Min-Sum Submodular Cover ProblemR. Teal Witter. [doi]
• Dissociation-Based Oblivious Bounds for Weighted Model CountingVibhav Gogate. [doi]
• Relaxed Core Stability in Fractional Hedonic GamesAngelo Fanelli 0001, Gianpiero Monaco, Luca Moscardelli. [doi]
• Stochastic Binary Decision DiagramsJohn N. Hooker. [doi]
• Algebraic Approximations of the Probability of Monotone Boolean FunctionsWolfgang Gatterbauer. [doi]
• Formalizing Alexander duality through BDDsJesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio 0001. [doi]
• The information geometry of pragmatic reasoningNoga Zaslavsky. [doi]
• Time series data identification and optimization with the measurements of potential bias and discrimination issues based on pseudo-Boolean functionsJinwook Lee, Lanqing Du, Jade Zhang, Matthew J. Schneider. [doi]
• Non-clairvoyant Scheduling with PredictionsSungjin Im. [doi]
• A competitive search game with a moving objectJános Flesch, Benoit Duvocelle, Hui-Min Shi, Mathias Staudigl, Dries Vermeulen. [doi]
• Bottom Coalition PropertiesSeçkin Özbilen. [doi]
• Optimally handling commitment issues in online throughput maximizationFranziska Eberle. [doi]
• Coherent lower and upper conditional previsions with respect to inner and outer Hausdorff measures and their insights for modelling human decisions in AISerena Doria. [doi]
• Logical analysis of data: Estimation of cause-effect relationship under noise with applications in classification of natural water springsMariya Naumova, András Prékopa. [doi]
• On Construction of a Digital Plane using GCD AlgorithmSomrita Saha, Arindam Biswas 0002. [doi]
• Parameterized Analysis for the Group Activity Selection Problem on GraphsSushmita Gupta, Sanjukta Roy, Saket Saurabh 0001, Meirav Zehavi. [doi]
• Dalal's Revision in Sentential Decision DiagramsLilith Mattei, Alessandro Antonucci 0001, Alessandro Facchini. [doi]
• Min-Based Altruism in Coalition Formation GamesSimon Cramer, Anna Maria Kerkmann, Jörg Rothe. [doi]
• On the Complexity of Enumerating Prime Implicants from Decision-DNNF CircuitsAlexis de Colnet, Pierre Marquis. [doi]
• Analogical proportions: from Boolean to nominal and beyond..Miguel Couceiro. [doi]
• Quadratic reformulations for the optimization of pseudo-boolean functionsYves Crama, Sourour Elloumi, Amélie Lambert, Elisabeth Rodríguez-Heck. [doi]
• Opening Pandora's Box: the Correlated CaseEvangelia Gergatsouli. [doi]
• Revisiting Partially Preordered Possibilistic DL-Lite – An Extended AbstractSihem Belabbes, Salem Benferhat. [doi]
• Uncertainty in P-Values, Monty Hall Problem and, Bayesian and Neural Network PredictionsPriyantha Wijayatunga. [doi]
• A general framework for approximating min sum ordering problemsFelix Happach, Lisa Hellerstein, Thomas Lidbetter. [doi]
• A flow-based formulation for parallel machine scheduling problems using decision diagramsDaniel Kowalczyk, Roel Leus, Christopher Hojny, Stefan Røpke. [doi]
• Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic ImplicationsMatthias Scheutz, Kamal Premaratne, Lawrence S. Moss, Avery Caulfield. [doi]
• Pasting Systems with Picture Tiles Yielding Interesting PatternsS. Annadurai, T. T. Raman, T. Kalyani, D. Gnanaraj Thomas, P. Ravichandran. [doi]
• Two-dimensional Oxide Picture LanguagesP. Helen Vijitha, T. Robinson, Meenakshi Paramasivan. [doi]
• Project Debater - an autonomous debating systemNoam Slonim. [doi]
• A Direct Equivalence-Testing Algorithm for SLRsOndrej Cepek, James Weigle. [doi]
• Controlling Weighted Voting Games by Deleting or Adding Players with or without Changing the QuotaJoanna Kaczmarek, Jörg Rothe. [doi]
• Detection of Knee Osteoarthritis using Light-weight CNNSabyasachi Mukherjee, Oishila Bandyopadhyay, Arindam Biswas 0002. [doi]
• Adaptivity gap of the SBFE problemLisa Hellerstein, Devorah Kletenik, Naifeng Liu, R. Teal Witter. [doi]
• Elephant in the Room: Non-Smooth Non-Convex OptimizationOhad Shamir. [doi]
• Tetrahedral Picture Languages and their Applications in ImagingT. Kalyani, F. Sweety, D. Gnanaraj Thomas, K. Bhuvaneswari. [doi]
• Is Formalizing Semifield Duality Worth it?Francisco J. Valverde-Albacete, Carmen Peláez-Moreno. [doi]
• Parameterization of Boolean functions by vectorial functions and associated constructionsClaude Carlet. [doi]
• Extensions on Tiered Coalition Formation GamesNathan Arnold, Sarah Snider, Judy Goldsmith. [doi]