Showing 1 - 20 of 12,834

1

Proof-theoretic aspects of the logic of scope
Moot, Richard ; Exploration et exploitation de données textuelles (LIRMM | TEXTE) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; et al.
Journal of Logic. 34:463-514

Parsing as deduction Proof nets Proof theory Type-logical grammars ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT...
Journal
Save to List
2

A Perfect Path to Computational Biology and Quantum Computing
de Figueiredo, Celina, M H ; Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia (COPPE-UFRJ) ; Universidade Federal do Rio de Janeiro [Brasil] = Federal University of Rio de Janeiro [Brazil] = Université fédérale de Rio de Janeiro [Brésil] (UFRJ)
Communications in Mathematics, 2025

analysis of algorithms a... analysis of algorithms a... graph algorithms structural characterizat... [INFO]Computer Science [... [MATH]Mathematics [math]
Journal
Save to List
3

Bipartite-Based 2-Approximation for Dominating Sets in General Graphs
Vega, Frank ; Information Physics Institute (IPI)

Graph Theory Combinatorial Optimizati... Bipartite Graphs Approximation Algorithms Polynomial-Time Complexi... 68Q25, 68R10
Electronic Resource
Save to List
4

Unary NP-hardness of transportation and batching scheduling to minimize the total weighted completion time
Wei, Hongjun ; Gao, Yuan ; Yuan, Jinjiang
Discrete Applied Mathematics. 369:45-52

transportation Transportation, logistic... total weighted completio... Deterministic scheduling... Analysis of algorithms a... batching scheduling
Academic journal
Save to List
5

Instantaneous Frequency and Amplitude Estimation in Multi-Component Signals Using an EM-based Algorithm
Legros, Quentin ; Fourer, Dominique ; Meignen, Sylvain ; et al.
IEEE Transactions on Signal Processing. 72:1130-1140

ridge extraction time-frequency Bayesian estimation Expectation-Maximization... Monte Carlo sampling JEL: C - Mathematical an...
Journal
Save to List
6

On the twin-width of smooth manifolds
Bonnet, Édouard ; Huszár, Kristóf ; Modèles de calcul, Complexité, Combinatoire (MC2) ; et al.
41st International Symposium on Computational Geometry (SoCG 2025). :23-23

Kanazawa, Japan computational topology structural graph paramet... Whitney embedding theore... twin-width triangulations
Conference
Save to List
7

Enumerating Minimal Connected Dominating Sets: Enumerating minimal connected dominating sets
Faisal Abu-Khzam ; Henning Fernau ; Benjamin Gras ; et al.
SIAM Journal on Discrete Mathematics. 39:946-972

connected domination Connectivity Vertex subsets with spec... enumeration problems degenerate graphs Graph algorithms (graph-...
Academic journal
Save to List
8

Stable Approximation Algorithms for Dominating Set and Independent Set: Stable approximation algorithms for dominating set and independent set
Mark de Berg ; Arpan Sadhukhan ; Frits Spieksma ; et al.
SIAM Journal on Discrete Mathematics. 39:921-945

FOS: Computer and inform... dynamic algorithms Discrete Mathematics (cs... Analysis of algorithms a... General topics of discre... dominating set
Academic journal
Save to List
9

Implementing number theoretic transforms
van der Hoeven, Joris ; Lecerf, Grégoire ; Centre National de la Recherche Scientifique (CNRS) ; et al.

number theoretic transfo... finite fields codelets algorithm complexity bound integer multiplication
Electronic Resource
Save to List
10

When alpha-complexes collapse onto codimension-1 submanifolds
Attali, Dominique ; Clémot, Mattéo ; Dornelas, Bianca, B. ; et al.

Submanifold reconstructi... triangulation abstract simplicial comp... collapses convexity 65D18, 57Q05
Electronic Resource
Save to List
11

Deterministic factoring with oracles
Factorisation d'entiers déterministes à l'aide d'oracles

Morain, François ; Renault, Guénaël ; Smith, Benjamin ; et al.
Applicable Algebra in Engineering. 34(4):663-690

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.1: Numerical Algorit... F.2.1.4: Number-theoreti... [MATH.MATH-NT]Mathematic... Number Theory [math.NT]
Journal
Save to List
12

Mixed Precision HODLR Matrices: Mixed precision HODLR matrices
Erin Carson ; Xinye Chen ; Xiaobo Liu ; et al.
SIAM Journal on Scientific Computing. 47:A1408-A1435

hierarchical matrices Hierarchical matrices 65D18 Roundoff error mixed precision computin... Analysis of algorithms a...
Academic journal
Save to List
13

Decomposition of the option pricing formula for infinite activity jump-diffusion stochastic volatility models
Youssef El-Khatib ; Zororo S. Makumbe ; Josep Vives
Mathematics and Computers in Simulation. 231:276-293

option price decompositi... Lévy processes Analysis of algorithms a... Graph theory (including... variance gamma Computer graphics
Academic journal
Save to List
14

Matchings, Relaxed Popularity, and Optimality: Matchings, relaxed popularity, and optimality
Kavitha, Telikepalli
SIAM Journal on Discrete Mathematics. 39:881-911

Combinatorial optimizati... Matching models stable matchings bipartite graphs mixed matchings Analysis of algorithms a...
Academic journal
Save to List
15

The Millennium Problem About Computational Intractability
de Figueiredo, Celina
Matemática Contemporânea: A publication from the Brazilian Mathematica Society. :1-9

Academic journal
Save to List
16

The aperiodic Domino problem in higher dimension
Le problème du Domino apériodique en dimension supérieure

de Menibus, Benjamin Hellouin ; Callard, Antonin ; Graphes, Algorithmes et Combinatoire - LISN (GALaC) ; et al.
39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022). :1-15

Marseille, France subshift periodicity aperiodicity domino problem subshift of finite type
Conference
Save to List
17

On the twin-width of smooth manifolds
Bonnet, Édouard ; Huszár, Kristóf ; Modèles de calcul, Complexité, Combinatoire (MC2) ; et al.

triangulations twin-width Whitney embedding theore... structural graph paramet... computational topology MSC: 57Q15 (Primary) 57R...
Electronic Resource
Save to List
18

A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-flow Graphs
Tran, Hai, Nam ; Honorat, Alexandre ; Bhattacharyya, Shuvra, S ; et al.
SAMOS XXI 2021 - 21st International Conference on embedded computer Systems: Architectures. :1-12

Virtual, France Antiviral action Dengue Flavonoid Hepatitis C virus Influenza
Conference
Save to List
19

On Uniqueness of Power Sum Decomposition: On uniqueness of power sum decomposition
Taveira Blomenhofer, Alexander
SIAM Journal on Applied Algebra and Geometry. 9:211-234

Computational real algeb... SDP Waring decomposition Estimation in multivaria... Analysis of algorithms a... Multilinear algebra, ten...
Academic journal
Save to List
20

From Word-Representable Graphs to Altered Tverberg-Type Theorems: From word-representable graphs to altered Tverberg-type theorems
Deborah Oliveros ; Antonio J. Torres
Discrete & Computational Geometry. 73:293-309

Computational Geometry (... FOS: Computer and inform... nerve complexes combinatorial convexity Analysis of algorithms a... Erdős-Szekeres theorems
Academic journal
Save to List

Filter