Sign in
ISAIM
2008
2013
2017
2022
2008
2022
Keyphrases
Publications
2022
P. Helen Vijitha
,
T. Robinson
,
Meenakshi Paramasivan
Two-dimensional Oxide Picture Languages.
ISAIM
(2022)
János Flesch
,
Benoit Duvocelle
,
Hui Min Shi
,
Mathias Staudigl
,
Dries Vermeulen
A competitive search game with a moving object.
ISAIM
(2022)
T. Kalyani
,
F. Sweety
,
D. Gnanaraj Thomas
,
K. Bhuvaneswari
Tetrahedral Picture Languages and their Applications in Imaging.
ISAIM
(2022)
Noga Zaslavsky
The information geometry of pragmatic reasoning.
ISAIM
(2022)
Noam Slonim
Project Debater - an autonomous debating system.
ISAIM
(2022)
R. Krishna Kumari
,
R. Arulprakasam
,
Meenakshi Paramasivan
,
V. Rajkumar Dare
Circular Partial Words and Arrays.
ISAIM
(2022)
Francisco J. Valverde-Albacete
,
Carmen Peláez-Moreno
Is Formalizing Semifield Duality Worth it?
ISAIM
(2022)
Somrita Saha
,
Arindam Biswas
Approximate Convex Decomposition of 3D Digital Object Surface Using Scalar Triple Product of Vectors.
ISAIM
(2022)
Bugra Caskurlu
,
Fatih Erdem Kizilkaya
,
Berkehan Ozen
Hedonic Expertise Games.
ISAIM
(2022)
Nathan Arnold
,
Sarah Snider
,
Judy Goldsmith
Extensions on Tiered Coalition Formation Games.
ISAIM
(2022)
Arianna Casanova
,
Enrique Miranda
,
Marco Zaffalon
Joint Desirability Foundations of Social Choice and Opinion Pooling.
ISAIM
(2022)
Simon Cramer
,
Anna Maria Kerkmann
,
Jörg Rothe
Min-Based Altruism in Coalition Formation Games.
ISAIM
(2022)
J. Bapanapally
,
R. Gamboa
A Formal Proof of the Banach-Tarski Theorem in ACL2(r).
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)
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)
Franziska Eberle
Optimally handling commitment issues in online throughput maximization.
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)
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)
Pablo Sánchez-Cuevas
,
Fernando Díaz-del-Río
,
Pedro Real
,
Helena Molina-Abril
A representation of the topological complexity of a 2D binary digital image using Homological Spanning Forests.
ISAIM
(2022)
Miguel Couceiro
Analogical proportions: from Boolean to nominal and beyond...
ISAIM
(2022)
Carl Kwan
Towards Formalized Matrix Analysis and Algorithms.
ISAIM
(2022)
Endre Boros
,
Joonhee Lee
Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions.
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)
Alessandro Agnetis
,
Mario Benini
,
Paolo Detti
,
Marco Pranzo
,
Ben Hermans
Replication and sequencing of unreliable jobs on parallel machines.
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)
Vibhav Gogate
Dissociation-Based Oblivious Bounds for Weighted Model Counting.
ISAIM
(2022)
Priyantha Wijayatunga
Uncertainty in P-Values, Monty Hall Problem and, Bayesian and Neural Network Predictions.
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)
Aydin Avkan
,
Benedek Nagy
,
Müge Saadetoglu
A Comparison of 2D Regular Grids based on Digital Continuity of Rotations.
ISAIM
(2022)
Fulya Trösser
,
Simon de Givry
,
George Katsirelos
Learning the structure of Bayesian Networks using constraint programming.
ISAIM
(2022)
Guy Blanc
,
Jane Lange
Properly learning decision trees in almost polynomial time.
ISAIM
(2022)
Ondrej Cepek
,
James Weigle
A Direct Equivalence-Testing Algorithm for SLRs.
ISAIM
(2022)
S. Annadurai
,
T. T. Raman
,
T. Kalyani
,
D. Gnanaraj Thomas
,
P. Ravichandran
Pasting Systems with Picture Tiles Yielding Interesting Patterns.
ISAIM
(2022)
Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022
ISAIM
(2022)