Expertini Research Research

Browse Research Papers

736+ open-access research outputs.

✕ Clear
🔍 ivan polasek 📂 Computer Science
Showing 736 results for "ivan polasek" in Computer Science
Computer Science Preprint PDF DOI

Exact Dynamic Programming for Solow--Polasky Diversity Subset Selection on Lines and Staircases

Michael T.M. Emmerich · 2026

We study exact fixed-cardinality Solow--Polasky diversity subset selection on ordered finite $\ell_1$ sets, with monotone biobjective Pareto fronts and their higher-dimensional staircase analogues as …

Read Paper →
Computer Science Preprint PDF DOI

Maximum Solow--Polasky Diversity Subset Selection Is NP-hard Even in the Euclidean Plane

Michael T. M. Emmerich, Ksenia Pereverdieva, Andre H. Deutz · 2026

We prove that, for every fixed $\theta_0>0$, selecting a subset of prescribed cardinality that maximizes the Solow--Polasky diversity indicator is NP-hard for finite point sets in $\mathbb{R}^2$ with …

Read Paper →
Computer Science Preprint PDF DOI

Deterministic Task Scheduling in In-Vehicle Networks for Software-Defined Vehicles

Keyvan Aghababaiyan, Baldomero Coll-Perales, Luca Lusvarghi, Javier Gozalvez · 2026

Modern vehicles are embedding increasing levels of automation, connectivity, and intelligence, which require advanced in-vehicle networks and computational platforms to support the dependability and d…

Read Paper →
Computer Science Preprint PDF DOI

Balancing Weights, Directed Sparsification, and Augmenting Paths

Jason Li · 2026

We present a randomized augmenting paths-based algorithm to compute the maximum flow in a directed, uncapacitated graph in almost $m+nF$ time, matching the algorithm of Karger and Levine for undirecte…

Read Paper →
Computer Science Preprint PDF DOI

Automatically Inferring Teachers' Geometric Content Knowledge: A Skills Based Approach

Ziv Fenigstein, Kobi Gal, Avi Segal, Osama Swidan, Inbal Israel, Hassan Ayoob · 2026

Assessing teachers' geometric content knowledge is essential for geometry instructional quality and student learning, but difficult to scale. The Van Hiele model characterizes geometric reasoning thro…

Read Paper →
Computer Science Preprint PDF DOI

Sorting under Partial Information with Optimal Preprocessing Time via Unified Bound Heaps

Daniel Rutschmann · 2026

In 1972, Fredman proposes the problem of sorting under partial information: preprocess a directed acyclic graph $G$ with vertex set $X$ so that you can sort $X$ in $O(\log e(G))$ time, where $e(G)$ is…

Read Paper →
Computer Science Preprint PDF DOI

A Physically-Informed Subgraph Isomorphism Approach to Molecular Docking Using Quantum Annealers

Francesco Micucci, Matteo Barbieri, Gabriella Bettonte, Domenico Bonanni, Anita Camillini, Anna Fava, Daniele Gregori, Andrea R. Beccari, Gianluca Palermo · 2026

Molecular docking is a crucial step in the development of new drugs as it guides the positioning of a small molecule (ligand) within the pocket of a target protein. In the literature, a feasibility st…

Read Paper →
Computer Science Preprint PDF DOI

Selecting a Maximum Solow-Polasky Diversity Subset in General Metric Spaces Is NP-hard

Michael T. M. Emmerich, Ksenia Pereverdieva, Andre H. Deutz · 2026

The Solow--Polasky diversity indicator (or magnitude) is a classical measure of diversity based on pairwise distances. It has applications in ecology, conservation planning, and, more recently, in alg…

Read Paper →
Computer Science Preprint PDF DOI

What is Human in Judgment? Testing Automation Bias and Algorithm Aversion Among United States Military Academy Cadets

Lauren Kahn, Michael C. Horowitz, Laura Resnick Samotin · 2026

Human judgment has always been central to conflict and escalation, but how will a world of artificial intelligence (AI) change the role of humans in war? As militaries increasingly adopt AI-enabled de…

Read Paper →
Computer Science Preprint PDF DOI

Corporations Constitute Intelligence

Gilad Abiri · 2026

In January 2026, Anthropic published a 79-page "constitution" for its AI model Claude, the most comprehensive corporate AI governance document ever released. This Article offers the first legal and de…

Read Paper →
Computer Science Preprint PDF DOI

Iran's January 2026 Internet Shutdown: Public Data, Censorship Methods, and Circumvention Techniques

Giuseppe Aceto, Valerio Persico, Antonio Pescape · 2026

This paper analyzes the Internet shutdown that occurred in Iran in January 2026 in the context of protests, focusing on its impact on the country's digital communication infrastructure and on informat…

Read Paper →
Computer Science Preprint PDF DOI

Uniform Interpolation in Distributed Knowledge Modal Logics

Kexu Wang, Liangda Fang · 2026

Uniform interpolation is the property that, for any formula and set of atoms, there exists the strongest consequence omitting those atoms. It plays a central role in knowledge representation and reaso…

Read Paper →
Computer Science Preprint PDF DOI

"What don't you understand?" Language games and black box algorithms

Remy Demichelis · 2026

The aim of this article is to understand the problem of "black box" algorithms, an issue inherent to the nascent field of Explainable Artificial Intelligence (XAI). While it is relatively easy to unde…

Read Paper →
Computer Science Preprint PDF DOI

To be FAIR or RIGHT? Methodological [R]esearch [I]ntegrity [G]iven [H]uman-facing [T]echnologies using the example of Learning Technologies

Julian Dehne · 2026

Quality assessment of Research Software Engineering (RSE) plays an important role in all scientific fields. From the canonical three criteria (reliability, validity, and objectivity) previous resear…

Read Paper →
Computer Science Preprint PDF DOI

What Are You Really Asking For? A Comparative 5W1H Analysis of Learner Questioning in CPR Training with IVAs in Screen-based and Augmented Reality Environments

Hyerim Park, Jinseok Hong, Heejeong Ko, Woontack Woo · 2026

Question-asking is one of the key indicators of cognitive engagement. However, understanding how the distinct psychological affordances of presentation media shape learners' spoken inquiries with embo…

Read Paper →
Computer Science Preprint PDF DOI

Optimal Enumeration of Eulerian Trails in Directed Graphs

Ben Bals, Solon P. Pissis, Matei Tinca · 2026

The BEST theorem, due to de Bruijn, van Aardenne-Ehrenfest, Smith, and Tutte, is a classical tool from graph theory that links the Eulerian trails in a directed graph $G=(V,E)$ with the arborescences …

Read Paper →
Computer Science Preprint PDF DOI

FoSAM: Forward Secret Messaging in Ad-Hoc Networks

Daniel Schadt, Christoph Coijanovic, Thorsten Strufe · 2026

Apps such as Firechat and Bridgefy have been used during recent protests in Hong Kong and Iran, as they allow communication over ad-hoc wireless networks even when internet access is restricted. Howev…

Read Paper →
Computer Science Preprint PDF DOI

Gap-ETH-Tight Algorithms for Hyperbolic TSP and Steiner Tree

Sandor Kisfaludi-Bak, Saeed Odak, Satyam Singh, Geert van Wordragen · 2026

We give an approximation scheme for the TSP in $d$-dimensional hyperbolic space that has optimal dependence on $\varepsilon$ under Gap-ETH. For any fixed dimension $d\geq 2$ and for any $\varepsilon>0…

Read Paper →
Computer Science Preprint PDF DOI

Cross-Platform Digital Discourse Analysis of Iran: Topics, Sentiment, Polarization, and Event Validation on Telegram and Reddit

Despoina Antonakaki, Sotiris Ioannidis · 2026

We analyze Iran-related discourse across two structurally different platforms: Telegram (7,567 messages from international news channels) and Reddit (23,909 posts and comments from Iran-focused and gl…

Read Paper →
Computer Science Preprint PDF DOI

A Classifying Topos for the Spectrum of Equivalences

Kenan Oggad · 2026

What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are …

Read Paper →
Page 1 of 37 Next →