| 2551 |
Complete Call-by-Value Calculi of Control Operators, I
Ryu Hasegawa
|
🔮
The Ethereal
|
cs.LO
|
1 |
9 years ago |
| 2552 |
A Family of Metrics for Clustering Algorithms
Clark Alexander, Sofya Akhmametyeva
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2553 |
Normalized Information Distance and the Oscillation Hierarchy
Klaus Ambos-Spies, Wolfgang Merkle, Sebastiaan A. Terwijn
|
🔮
The Ethereal
|
math.LO
|
1 |
8 years ago |
| 2554 |
Inverse of a Special Matrix and Application
Thuan Nguyen
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2555 |
Plain stopping time and conditional complexities revisited
Mikhail Andreev, Gleb Posobin, Alexander Shen
|
🔮
The Ethereal
|
cs.CC
|
1 |
8 years ago |
| 2556 |
Efficient Algorithms for Checking Fast Termination in VASS
Tomáš Brázdil, Krishnendu Chatterjee, ... (+3 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 years ago |
| 2557 |
Neural Network Based Nonlinear Weighted Finite Automata
Tianyu Li, Guillaume Rabusseau, Doina Precup
|
🔮
The Ethereal
|
cs.FL
|
1 |
8 years ago |
| 2558 |
Enhancing Predicate Pairing with Abstraction for Relational Verification
Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 years ago |
| 2559 |
Random Overlapping Communities: Approximating Motif Densities of Large Graphs
Samantha Petti, Santosh Vempala
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2560 |
Combinatorial Miller-Hagberg Algorithm for Randomization of Dense Networks
Hiroki Sayama
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2561 |
Adaptive Network Flow with $k$-Arc Destruction
Thomas Ridremont, Dimitri Watel, ... (+2 more)
|
🔮
The Ethereal
|
math.CO
|
1 |
8 years ago |
| 2562 |
On the Parallel Parameterized Complexity of the Graph Isomorphism Problem
Bireswar Das, Murali Krishna Enduri, I. Vinod Reddy
|
🔮
The Ethereal
|
cs.CC
|
1 |
8 years ago |
| 2563 |
Keep it Fair: Equivalences
Tobias Prehn, Stephan Mennicke
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 years ago |
| 2564 |
A Formalization of Unique Solutions of Equations in Process Algebra
Chun Tian
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 years ago |
| 2565 |
On the Decision Tree Complexity of String Matching
Xiaoyu He, Neng Huang, Xiaoming Sun
|
🔮
The Ethereal
|
cs.CC
|
1 |
8 years ago |
| 2566 |
Causal Linearizability: Compositionality for Partially Ordered Executions
Simon Doherty, John Derrick, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 years ago |
| 2567 |
On tradeoffs between width- and fill-like graph parameters
Dariusz Dereniowski, Adam Stański
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2568 |
Exploiting symmetry in network analysis
Rubén J. Sánchez-García
|
🔮
The Ethereal
|
math.CO
|
1 |
8 years ago |
| 2569 |
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
John P. Gallagher, Rob van Glabbeek, Wendelin Serwe
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 years ago |
| 2570 |
Comparing Dependencies in Probability Theory and General Rough Sets: Part-A
A Mani
|
🔮
The Ethereal
|
math.LO
|
1 |
8 years ago |
| 2571 |
A Tight Extremal Bound on the Lovász Cactus Number in Planar Graphs
Parinya Chalermsook, Andreas Schmid, Sumedha Uniyal
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2572 |
Cheap Non-standard Analysis and Computability
Olivier Bournez, Sabrina Ouazzani
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 years ago |
| 2573 |
Symbolic Automata with Memory: a Computational Model for Complex Event Processing
Elias Alevizos, Alexander Artikis, Georgios Paliouras
|
🔮
The Ethereal
|
cs.FL
|
1 |
8 years ago |
| 2574 |
State Diagrams of a Class of Singular LFSR and Their Applications to the Construction of de Bruijn Cycles
XiaoFang Wang, YuJuan Sun, WeiGuo Zhang
|
🔮
The Ethereal
|
math.CO
|
1 |
8 years ago |
| 2575 |
New quantum codes constructed from some self-dual additive $\mathbb{F}_4$-codes
Masaaki Harada
|
🔮
The Ethereal
|
math.CO
|
1 |
8 years ago |
| 2576 |
Schematic Polymorphism in the Abella Proof Assistant
Gopalan Nadathur, Yuting Wang
|
🔮
The Ethereal
|
cs.LO
|
1 |
8 years ago |
| 2577 |
Digital Geometry, a Survey
Li Chen, David Coeurjolly
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2578 |
A note on regular subgroups of the automorphism group of the linear Hadamard code
I. Yu. Mogilnykh
|
🔮
The Ethereal
|
math.CO
|
1 |
8 years ago |
| 2579 |
Computing Minimum Weight Cycles to Leverage Mispricings in Cryptocurrency Market Networks
Francesco Bortolussi, Zeger Hoogeboom, Frank W. Takes
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2580 |
Supermodular Locality Sensitive Hashes
Maxim Berman, Matthew B. Blaschko
|
🔮
The Ethereal
|
cs.DM
|
1 |
8 years ago |
| 2581 |
Parameterized Orientable Deletion
Tesshu Hanaka, Ioannis Katsikarelis, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2582 |
Explicit Auditing
Wilmer Ricciotti, James Cheney
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2583 |
Optimal conditions for connectedness of discretized sets
Boris Brimkov, Valentin E. Brimkov
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2584 |
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics
Jorge A. Pérez, Simone Tini
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2585 |
Complexity of MLDP
Nancy A. Arellano-Arriaga, Julián Molina, ... (+3 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2586 |
Shift-Inequivalent Decimations of the Sidelnikov-Lempel-Cohn-Eastman Sequences
Saban Alaca, Goldwyn Millar
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2587 |
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis
Temesghen Kahsai, German Vidal
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2588 |
Equivalence between pathbreadth and strong pathbreadth
Guillaume Ducoffe, Arne Leitert
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2589 |
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Zeynep G. Saribatur, Thomas Eiter
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2590 |
Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data
Akitoshi Kawamura, Donghyun Lim, ... (+2 more)
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2591 |
Probabilistic Analysis of Edge Elimination for Euclidean TSP
Xianghui Zhong
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2592 |
Polynomial-time Recognition of 4-Steiner Powers
Guillaume Ducoffe
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2593 |
On components of a Kerdock code and the dual of the BCH code $C_{1,3}$
I. Yu. Mogilnykh, F. I. Solov'eva
|
🔮
The Ethereal
|
math.CO
|
1 |
7 years ago |
| 2594 |
Algorithm for $\mathcal{B}$-partitions, parameterized complexity of the matrix determinant and permanent
Ranveer Singh, Vivek Vijay, RB Bapat
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2595 |
Simple game semantics and Day convolution
Clovis Eberhart, Tom Hirschowitz, Alexis Laouar
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2596 |
Direct and Binary Direct Bases for One-set Updates of a Closure System
Kira Adaricheva, Taylor Ninesling
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2597 |
Proceedings 18th Refinement Workshop
John Derrick, Brijesh Dongol, Steve Reeves
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |
| 2598 |
Minimum Reload Cost Graph Factors
Julien Baste, Didem Gözüpek, ... (+2 more)
|
🔮
The Ethereal
|
cs.CC
|
1 |
7 years ago |
| 2599 |
Algorithmic information distortions and incompressibility in uniform multidimensional networks
Felipe S. Abrahão, Klaus Wehmuth, ... (+2 more)
|
🔮
The Ethereal
|
cs.DM
|
1 |
7 years ago |
| 2600 |
Relation of Web Service Orchestration, Abstract Process, Web Service and Choreography
Yong Wang
|
🔮
The Ethereal
|
cs.LO
|
1 |
7 years ago |