Login / Signup
ISAIM
2008
2014
2018
2024
2008
2024
Keyphrases
Publications
2024
K. Subramani
,
Piotr Wojciechowski
On the Computational Complexities of Finding Selected Refutations of Linear Programs.
ISAIM
(2024)
Benjamin Uhrich
,
Tim Häntschel
,
Martin Schäfer
,
Erhard Rahm
Neural Diffusion Graph Convolutional Network for Predicting Heat Transfer in Selective Laser Melting.
ISAIM
(2024)
Pranjal Awasthi
,
Corinna Cortes
,
Yishay Mansour
,
Mehryar Mohri
A Theory of Learning with Competing Objectives and User Feedback.
ISAIM
(2024)
Csaba Olasz
Addressing Discretization Artifacts in Tomography by Accessing and Balancing Pixel Coverage of Projections.
ISAIM
(2024)
Anukul Maity
,
Mousumi Dutt
,
Arindam Biswas
Finding the Straight Skeleton for 3D Orthogonal Polyhedrons: A Combinatorial Approach.
ISAIM
(2024)
Sangram Kishor Jena
,
K. Subramani
,
Alvaro Velasquez
A Differential Approach for Several NP-hard Optimization Problems.
ISAIM
(2024)
Lev Reyzin
,
Duan Tu
On Sample Reuse Methods for Answering k-wise Statistical Queries.
ISAIM
(2024)
Ryusei Shingaki
,
Manabu Kuroki
New Proportion Measures of Discrimination Based on Natural Direct and Indirect Effects.
ISAIM
(2024)
Samuel Bounan
,
Stefan Edelkamp
Trick Costs for α μ and New Relatives.
ISAIM
(2024)
Allen Van Gelder
Partial Boolean Functions for QBF Semantics.
ISAIM
(2024)
Anqi Mao
,
Mehryar Mohri
,
Yutao Zhong
Principled Approaches for Learning to Defer with Multiple Experts.
ISAIM
(2024)
Bethany Austhof
,
Lev Reyzin
A Model for Optimizing Recalculation Schedules to Minimize Regret.
ISAIM
(2024)
Philippe Jégou
Extending the Tractability of the Clique Problem via Graph Classes Generalizing Treewidth.
ISAIM
(2024)
Linde Vanbesien
,
Samuele Pollaci
,
Bart Bogaerts
,
Marc Denecker
Towards a Unifying View on Monotone Constructive Definitions.
ISAIM
(2024)
volume 14494, 2024
Artificial 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 Papers
ISAIM
14494 (2024)
2022
Arianna Casanova
,
Enrique Miranda
,
Marco Zaffalon
Joint Desirability Foundations of Social Choice and Opinion Pooling.
ISAIM
(2022)
J. Bapanapally
,
R. Gamboa
A Formal Proof of the Banach-Tarski Theorem in ACL2(r).
ISAIM
(2022)
Noga Zaslavsky
The information geometry of pragmatic reasoning.
ISAIM
(2022)
Daniel Kowalczyk
,
Roel Leus
,
Christopher Hojny
,
Stefan Røpke
A flow-based formulation for parallel machine scheduling problems using decision diagrams.
ISAIM
(2022)
Sabyasachi Mukherjee
,
Oishila Bandyopadhyay
,
Arindam Biswas
Detection of Knee Osteoarthritis using Light-weight CNN.
ISAIM
(2022)
R. Krishna Kumari
,
R. Arulprakasam
,
Meenakshi Paramasivan
,
V. Rajkumar Dare
Circular Partial Words and Arrays.
ISAIM
(2022)
P. Helen Vijitha
,
T. Robinson
,
Meenakshi Paramasivan
Two-dimensional Oxide Picture Languages.
ISAIM
(2022)
Mariya Naumova
,
András Prékopa
Logical analysis of data: Estimation of cause-effect relationship under noise with applications in classification of natural water springs.
ISAIM
(2022)
John N. Hooker
Stochastic Binary Decision Diagrams.
ISAIM
(2022)
Francisco J. Valverde-Albacete
,
Carmen Peláez-Moreno
Is Formalizing Semifield Duality Worth it?
ISAIM
(2022)
Franziska Eberle
Optimally handling commitment issues in online throughput maximization.
ISAIM
(2022)
Jinwook Lee
,
Lanqing Du
,
Jade Zhang
,
Matthew J. Schneider
Time series data identification and optimization with the measurements of potential bias and discrimination issues based on pseudo-Boolean functions.
ISAIM
(2022)
Evangelia Gergatsouli
Opening Pandora's Box: the Correlated Case.
ISAIM
(2022)
Lilith Mattei
,
Alessandro Antonucci
,
Alessandro Facchini
Dalal's Revision in Sentential Decision Diagrams.
ISAIM
(2022)
R. Teal Witter
A Local Search Algorithm for the Min-Sum Submodular Cover Problem.
ISAIM
(2022)
Angelo Fanelli
,
Gianpiero Monaco
,
Luca Moscardelli
Relaxed Core Stability in Fractional Hedonic Games.
ISAIM
(2022)
Claude Carlet
Parameterization of Boolean functions by vectorial functions and associated constructions.
ISAIM
(2022)
Serena Doria
Coherent lower and upper conditional previsions with respect to inner and outer Hausdorff measures and their insights for modelling human decisions in AI.
ISAIM
(2022)
Seçkin Özbilen
Bottom Coalition Properties.
ISAIM
(2022)
Felix Happach
,
Lisa Hellerstein
,
Thomas Lidbetter
A general framework for approximating min sum ordering problems.
ISAIM
(2022)
Ohad Shamir
Elephant in the Room: Non-Smooth Non-Convex Optimization.
ISAIM
(2022)
Yuxin Chen
Optimizing Decision Making via Submodular Surrogates.
ISAIM
(2022)
Yves Crama
,
Sourour Elloumi
,
Amélie Lambert
,
Elisabeth Rodríguez-Heck
Quadratic reformulations for the optimization of pseudo-boolean functions.
ISAIM
(2022)
Matthias Scheutz
,
Kamal Premaratne
,
Lawrence S. Moss
,
Avery Caulfield
Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications.
ISAIM
(2022)
Christian Addington
,
Jacob Schlueter
,
Judy Goldsmith
The Power of Symmetry for Nash Stable Additively Separable Hedonic Games.
ISAIM
(2022)
Priyantha Wijayatunga
Uncertainty in P-Values, Monty Hall Problem and, Bayesian and Neural Network Predictions.
ISAIM
(2022)
Vibhav Gogate
Dissociation-Based Oblivious Bounds for Weighted Model Counting.
ISAIM
(2022)
Selim Reza
,
José J. M. Machado
,
João Manuel R. S. Tavares
Analysis of the Structure of the Road Networks: A Network Science Perspective.
ISAIM
(2022)
Somrita Saha
,
Arindam Biswas
Approximate Convex Decomposition of 3D Digital Object Surface Using Scalar Triple Product of Vectors.
ISAIM
(2022)
T. Kalyani
,
F. Sweety
,
D. Gnanaraj Thomas
,
K. Bhuvaneswari
Tetrahedral Picture Languages and their Applications in Imaging.
ISAIM
(2022)
János Flesch
,
Benoit Duvocelle
,
Hui Min Shi
,
Mathias Staudigl
,
Dries Vermeulen
A competitive search game with a moving object.
ISAIM
(2022)
Wolfgang Gatterbauer
Algebraic Approximations of the Probability of Monotone Boolean Functions.
ISAIM
(2022)
Somrita Saha
,
Arindam Biswas
On Construction of a Digital Plane using GCD Algorithm.
ISAIM
(2022)
Lisa Hellerstein
,
Devorah Kletenik
,
Naifeng Liu
,
R. Teal Witter
Adaptivity gap of the SBFE problem.
ISAIM
(2022)
Sungjin Im
Non-clairvoyant Scheduling with Predictions.
ISAIM
(2022)