E-LIB Suche - Ergebnisse für: Wojciechowski, Piotr

1

Models for Test Cost Minimization in Database Migration:

Caskurlu, Bugra ; Subramani, K. ; Acikalin, Utku Umur..
INFORMS Journal on Computing. , 2024

Link: https://doi.org/10.1287/..

2

Priority-based bin packing with subset constraints:

Wojciechowski, Piotr ; Subramani, K. ; Velasquez, Alvaro.
Discrete Applied Mathematics. 342 (2024) - p. 64-75 , 2024

Link: https://doi.org/10.1016/..

3

Comprehensive evaluation of 45 augmentation drugs for schiz..:

Etchecopar-Etchart, Damien ; Yon, Dong Keon ; Wojciechowski, Piotr...
eClinicalMedicine. 69 (2024) - p. 102473 , 2024

Link: https://doi.org/10.1016/..

4

The hexatope and octatope abstract domains for neural netwo..:

Bak, Stanley ; Dohmen, Taylor ; Subramani, K....
Formal Methods in System Design. , 2024

Link: https://doi.org/10.1007/..

5

Proving the infeasibility of Horn formulas through read-onc..:

Wojciechowski, Piotr ; Subramani, K.
Discrete Applied Mathematics. 354 (2024) - p. 131-145 , 2024

Link: https://doi.org/10.1016/..

6

Algebraic properties of soluble posets:

Cigler, Grega ; Wojciechowski, Piotr J.
Discrete Applied Mathematics. 348 (2024) - p. 211-220 , 2024

Link: https://doi.org/10.1016/..

7

On the Partial Vertex Cover Problem in Bipartite Graphs - a..:

Mkrtchyan, Vahan ; Petrosyan, Garik ; Subramani, K..
Theory of Computing Systems. 68 (2023) 1 - p. 122-143 , 2023

Link: https://doi.org/10.1007/..

8

Reachability in choice networks:

Wojciechowski, Piotr ; Subramani, K. ; Velasquez, Alvaro
Discrete Optimization. 48 (2023) - p. 100761 , 2023

Link: https://doi.org/10.1016/..

9

Fatigue and health‐related quality of life in paroxysmal no..:

Panse, Jens ; Wilson, Koo ; Fishman, Jesse...
European Journal of Haematology. 111 (2023) 1 - p. 72-83 , 2023

Link: https://doi.org/10.1111/..

10

A tetrahydroacridine derivative and its conjugate with gold..:

Mojzych, Ilona ; Zawadzka, Anna ; Kaczyńska, Katarzyna...
Physical Chemistry Chemical Physics. 25 (2023) 25 - p. 16796-16806 , 2023

Link: https://doi.org/10.1039/..

11

A Faster Algorithm for Determining the Linear Feasibility o..:

, In: Lecture Notes in Computer Science; SOFSEM 2023: Theory and Practice of Computer Science,

Wojciechowski, Piotr ; Subramani, K. - p. 313-327 , 2023

Link: https://doi.org/10.1007/..

12

Optimal length cutting plane refutations of integer program:

Subramani, K. ; Wojciechowski, Piotr
Discrete Optimization. 50 (2023) - p. 100806 , 2023

Link: https://doi.org/10.1016/..

13

Constrained read-once refutations in UTVPI constraint syste..:

Subramani, K. ; Wojciechowski, Piotr
Mathematical Structures in Computer Science. 34 (2023) 3 - p. 227-243 , 2023

Link: https://doi.org/10.1017/..

14

The Octatope Abstract Domain for Verification of Neural Net..:

, In: Formal Methods; Lecture Notes in Computer Science,

Bak, Stanley ; Dohmen, Taylor ; Subramani, K.... - p. 454-472 , 2023

Link: https://doi.org/10.1007/..

15

Optimal Deterministic Controller Synthesis from Steady-Stat..:

Velasquez, Alvaro ; Alkhouri, Ismail ; Subramani, K...
Journal of Automated Reasoning. 67 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..