Showing 161 - 180 of 1,951

161

On the Complexity of Computing Treebreadth
Ducoffe, Guillaume ; Legay, Sylvain ; Nisse, Nicolas ; et al.
27th International Workshop on Combinatorial Algorithms. :3-15

Helsinki, Finland ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... [INFO.INFO-CC]Computer S...
Conference
Save to List
162

Recursive double-size fixed precision arithmetic
Breust, Alexis ; Chabot, Christophe ; Dumas, Jean-Guillaume ; et al.
ICMS: International Congress of Mathematical Software. :223-231

Berlin, Germany ACM: G.: Mathematics of... [INFO.INFO-CR]Computer S... Cryptography and Securit...
Conference
Save to List
163

An evaluation of complete approaches for the sum colouring problem
Évaluation d'approches complètes pour le problème de somme coloration
An evaluation of complete approaches for the sum colouring problem: Extended version
Évaluation d'approches complètes pour le problème de somme coloration: Version étendue

Minot, Maël ; Ndiaye, Samba Ndojh ; Solnon, Christine ; et al.
Douzièmes Journées Francophones de Programmation par Contraintes (JFPC 2016). :1-10

Montpellier, France complete approaches variable choice heuristi... CSP graphs sum colouring
Conference
Save to List
164

Horizontally Elastic Edge-Finder Algorithm for Cumulative Resource Constraint Revisited
Algorithme d'Edge-Finding Horizontalement Elastique pour la Contrainte de Ressource Cumulative Revisité

Fetgo Betmbe, Sévérine ; Djamegni, Clémentin, Tayou ; Laboratoire d'Informatique Fondamentale et Appliquée (LIFA) ; et al.
CARI 2020, Oct 2020, THIES, Senegal

THIES, Senegal Horizontally elastic sch... 'Profile' data structure Edge finder Cumulative scheduling Constraint programming
Conference
Save to List
165

Relaxation-Aware Heuristics for Exact Optimization in Graphical Models
Trösser, Fulya ; Givry, Simon De ; Katsirelos, George ; et al.
CPAIOR 2020: SEVENTEENTH INTERNATIONAL CONFERENCE ON THE INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, Sep 2020, Vienna, Austria. ⟨10.1007/978-3-030-58942-4_31⟩

Vienna, Austria ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... G.2.1: Combinatorics G.2.1.0: Combinatorial a... G.1: NUMERICAL ANALYSIS
Conference
Save to List
166

On superperfection of edge-intersection graphs of paths
Kerivin, Hervé ; Wagler, Annegret K. ; Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) ; et al.
CTW 2020, Sep 2020, online, Italy. ⟨10.1007/978-3-030-63072-0_7⟩

online, Italy ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... G.2.2: Graph Theory G.2.2.3: Network problem... [INFO.INFO-RO]Computer S...
Conference
Save to List
167

Deep-CRM: A New Deep Learning Approach For Capacitance Resistive Models
Yewgat, Abderrahmane ; Busby, Daniel ; Chevalier, Max ; et al.
ECMORXVII: 17 th European Conference On The Mathematics Of Oil Recovery, Sep 2020, Online, France

Online, France ACM: G.: Mathematics of... [INFO]Computer Science [... [MATH]Mathematics [math] [PHYS]Physics [physics] [NLIN]Nonlinear Sciences...
Conference
Save to List
168

Linear high-order deterministic tree transducers with regular look-ahead
Gallot, Paul, D ; Lemay, Aurélien ; Salvati, Sylvain ; et al.
MFCS 2020 : The 45th International Symposium on Mathematical Foundations of Computer Science, Andreas Feldmann; Michal Koucky; Anna Kotesovcova, Aug 2020, Prague, Czech Republic. ⟨10.4230/LIPIcs.MFCS.2020.34⟩

Prague, Czech Republic Transducers λ-calculus Tree lanuages and phrases Transducers Trees 31
Conference
Save to List
169

On the Reachable Set of Uncertain Closed Loop Discrete-Time Linear Systems
Meslem, Nacim ; Dang, Thao ; GIPSA - Modelling and Optimal Decision for Uncertain Systems (GIPSA-MODUS) ; et al.

Berlin (virtual), German... Uncertain linear systems closed-loop systems estimated state feedback... reachability analysis interval analysis
Conference
Save to List
170

Lexicographic optimal homologous chains and applications to point cloud triangulations
Cohen-Steiner, David ; Lieutier, André ; Vuillamy, Julien ; et al.
SoCG 2020 - 36th International Symposium on Computational Geometry, Jun 2020, Zurich, Switzerland

Zurich, Switzerland ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... [INFO.INFO-CG]Computer S... Computational Geometry [...
Conference
Save to List
171

Observation and Distinction. Representing Information in Infinite Games
Berwanger, Dietmar ; Doyen, Laurent ; Centre National de la Recherche Scientifique (CNRS) ; et al.
37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), Mar 2020, Grenoble, France. ⟨10.4230/LIPIcs.STACS.2020.48⟩

Grenoble, France ACM: F.: Theory of Compu... ACM: G.: Mathematics of... ACM: I.: Computing Metho... I.2: ARTIFICIAL INTELLIG... [INFO.INFO-GT]Computer S...
Conference
Save to List
172

Derivative-Free Optimization over Multi-User MIMO Networks
Bilenne, Olivier ; Mertikopoulos, Panayotis ; Belmega, Elena Veronica ; et al.
NetGCoop '20: The 2020 International Conference on Network Games, Control and Optimization, 2020, Cargese, France

Cargese, France ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... C.2.1: Network Architect... C.2.1.10: Wireless commu... ACM: G.: Mathematics of...
Conference
Save to List
173

FIBONACCI-LIKE SEQUENCES FOR VARIANTS OF THE TOWER OF HANOI, AND CORRESPONDING GRAPHS AND GRAY CODES
Rittaud, Benoît ; Laboratoire Analyse, Géométrie et Applications (LAGA) ; Université Paris 8 (UP8)-Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord

ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC... G.2.1: Combinatorics G.2.1.1: Counting proble... G.2.1.0: Combinatorial a... [MATH.MATH-NT]Mathematic...
Electronic Resource
Save to List
174

H2020 COASTAL - Deliverable D08 Model Validity – Final
Kok, Jean-Luc De ; Viaene, Peter ; Palmer, Erika ; et al.
European Union. 2022

Validity SWAT SYSTEM DYNAMICS Model Building Transition JEL: C - Mathematical an...
Report
Save to List
175

New insight into introducing a (2-\epsilon)-approximation ratio for minimum vertex cover problem
Zohrehbandian, Majid ; Department of Mathematics, Karaj Branch, Islamic Azad University, Karaj, Iran.

Discrete Optimization Vertex Cover Problem Complexity Theory NP-Complete Problems ACM: G.: Mathematics of... G.2: DISCRETE MATHEMATIC...
Electronic Resource
Save to List
176

Nonlocal perimeters and curvature flows on graphs with applications in image processing and high-dimensional data classification
EL BOUCHAIRI, IMAD ; Elmoataz, Abderrahim ; Fadili, Jalal M. ; et al.

Perimeter total variation graph cuts mean curvature flow image processing data clustering
Electronic Resource
Save to List
177

Polynomial multiplication over finite fields in time O(n log n)
Harvey, David ; van der Hoeven, Joris ; School of Mathematics and Statistics [Sydney] (UNSW) ; et al.
Journal of the ACM (JACM), 2022, ⟨10.1145/3505584⟩

polynomial multiplicatio... integer multiplication algorithm complexity bound FFT finite field
Journal
Save to List
178

Mixing neural networks, continuation and symbolic computation to solve parametric systems of non linear equations
Merlet, Jean-Pierre ; HExapode, PHysiologie, AssISTance et Objets de Service (HEPHAISTOS) ; Centre Inria d'Université Côte d'Azur ; et al.
Neural Networks. 176:106316-106316

parametric equations system solving multi-layer perceptron Newton robotics MPFR
Journal
Save to List
179

CycleExpander to construct Directed Hamiltonian Circuit HexCycleSpanner to tighten Directed Hamiltonian Circuit
Halemane, Keshava Prasad ; National Institute of Technology Karnataka [Surathkal] (NITK) ; SASHESHA
[Research Report] SASHESHA. 2022

Optimization Algorithm Computational Complexity Asymmetric Travelling Sa... Shortest Directed Hamilt... HexCycleSpanner
Report
Save to List

Filter