Showing 21 - 40 of 13,067

21

Efficient Convex Optimization Requires Superlinear Memory: Efficient convex optimization requires superlinear memory
Annie Marsden ; Vatsal Sharan ; Aaron Sidford ; et al.
Journal of the ACM. 71:1-37

first-order methods FOS: Computer and inform... Convex programming Computer Science - Machi... convex optimization Analysis of algorithms a...
Academic journal
Save to List
22

Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures: Smooth approximations: an algebraic approach to CSPs over finitely bounded homogeneous structures
Antoine Mottet ; Michael Pinsker
Journal of the ACM

Logic in computer scienc... finitely bounded Computational aspects of... Applications of universa... Analysis of algorithms a... Applications of model th...
Academic journal
Save to List
23

Glucagon and insulin production in pancreatic cells modeled using Petri nets and Boolean networks.
Barylska, Kamila ; Delaplace, Franck ; Gogolińska, Anna ; et al.

bioinformatics analysis modelling Boolean networks Petri nets biological system
Electronic Resource
Save to List
24

Interpolation Conditions for Linear Operators and Applications to Performance Estimation Problems: Interpolation conditions for linear operators and applications to performance estimation problems
Nizar Bousselmi ; Julien M. Hendrickx ; François Glineur ; et al.
SIAM Journal on Optimization, Vol. 34, no.3, p. 3033-3063 (2024)

Convex programming Analysis of algorithms a... exact convergence rates interpolation conditions 0211 other engineering a... 02 engineering and techn...
Academic journal
Save to List
25

On the parenthesisations of matrix chains: All are useful, few are essential: On the parenthesisations of matrix chains: all are useful, few are essential
Francisco López ; Lars Karlsson ; Paolo Bientinesi
Journal of Combinatorial Optimization. 49

Matrix multiplication FOS: Computer and inform... Discrete Mathematics (cs... Matrix chain Computer Sciences Analysis of algorithms a...
Academic journal
Save to List
26

Stable Approximation Algorithms for the Dynamic Broadcast Range-Assignment Problem: Stable approximation algorithms for the dynamic broadcast range-assignment problem
Mark de Berg ; Arpan Sadhukhan ; Frits Spieksma ; et al.
SIAM Journal on Discrete Mathematics. 38:790-827

Computational Geometry (... FOS: Computer and inform... broadcast range assignme... online algorithms stable approximation sch... Analysis of algorithms a...
Academic journal
Save to List
27

Fast and accurate genome-scale identification of DNA-binding sites
Martin, David ; Maillol, Vincent ; Rivals, Eric ; et al.
BIBM 2018 - 12th IEEE International Conference on Bioinformatics and Biomedicine. :201-205

Madrid, Spain Web Bioinformatics Pattern matching Stringology Search
Conference
Save to List
28

Quaternion Modeling and Observer-based Torque Compensation of an Aerial Manipulator
Alavrez Muños, Jonatan ; Escareno, Juan Antonio ; Marchand, Nicolas ; et al.
MICNON 2018 - 2nd IFAC Conference on Modelling. :543-548

Jalisco, Mexico Euler-Lagrange and Quate... Stochastic vs Determinis... Aerial Manipulation Nonlinear Control ACM: I.: Computing Metho...
Conference
Save to List
29

(Re)packing Equal Disks into Rectangle
Fomin, Fedor V. ; Golovach, Petr A. ; Inamdar, Tanmay ; et al.
Discrete & Computational Geometry. 72(4):1596-1629

Academic journal
Save to List
30

Advances on strictly Δ-modular IPs
Nägele, Martin ; Nöbel, Christian ; Santiago, Richard ; et al.
Mathematical Programming: A Publication of the Mathematical Optimization Society. :1-30

Academic journal
Save to List
31

Approximating Maximum Integral Multiflows on Bounded Genus Graphs: Approximating maximum integral multiflows on bounded genus graphs
Chien-Chung Huang ; Mathieu Mari ; Claire Mathieu ; et al.
Discrete & Computational Geometry. 70:1266-1291

Computational Geometry (... FOS: Computer and inform... Discrete Mathematics (cs... Analysis of algorithms a... 0102 computer and inform... [INFO] Computer Science...
Academic journal
Save to List
32

Anytime search strategies for constraints satisfaction problem
Stratégies de résolution anytime de problèmes de satisfaction de contraintes numériques

Richard de Latour, Thomas ; Chenouard, Raphaël ; Granvilliers, Laurent ; et al.
Journée Francophone de la Programmation par Contrainte, Jun 2021, Nice, France

Nice, France ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... F.2.1: Numerical Algorit... ACM: G.: Mathematics of... G.1: NUMERICAL ANALYSIS
Conference
Save to List
33

125 Problems in Text Algorithms
Crochemore, Maxime ; Lecroq, Thierry ; Rytter, Wojciech ; et al.

ACM: F.: Theory of Compu... F.2: ANALYSIS OF ALGORIT... ACM: I.: Computing Metho... I.7: DOCUMENT AND TEXT P... [INFO.INFO-DS]Computer S... Data Structures and Algo...
Book
Save to List
34

Algorithmic Aspects of Outer-Independent Double Roman Domination in Graphs: Algorithmic aspects of outer-independent double Roman domination in graphs
Amit Sharma ; P. Venkata Subba Reddy ; S. Arumugam ; et al.
International Journal of Foundations of Computer Science. 36:25-34

Vertex subsets with spec... Analysis of algorithms a... domination number outer-independent double... 0202 electrical engineer... 0102 computer and inform...
Academic journal
Save to List
35

HODLR3D: hierarchical matrices for N-body problems in three dimensions: HODLR3D: hierarchical matrices for \(N\)-body problems in three dimensions
Kandappan, V. A. ; Gujjula, Vaishnavi ; Ambikasaran, Sivaram
Numerical Algorithms. 97:1635-1672

hierarchical matrices 68Q25, 68R10, 68U05, 45B... \(N\)-body problems HODLR Analysis of algorithms a... Graph theory (including...
Academic journal
Save to List
36

Kernelization for feedback vertex set via elimination distance to a forest
David J.C. Dekker ; Bart M.P. Jansen
Discrete Applied Mathematics. 346:192-214

FOS: Computer and inform... F.2.2 G.2.2 elimination distance 05C85, 68R10 Elimination distance
Academic journal
Save to List
37

Definability by Horn formulas and linear time on cellular automata
Bacquey, Nicolas ; Grandjean, Etienne ; Olive, Frédéric ; et al.
ICALP 2017 - 44th International Colloquium on Automata. :1-14

Warsaw, Poland Horn formulas linear time picture languages local induction descriptive complexity
Conference
Save to List
38

Linking indexing data structures to de Bruijn graphs: Construction and update
Cazaux, Bastien ; Lecroq, Thierry ; Rivals, Eric ; et al.
Journal of Computer and System Sciences. 104:165-183

Dynamic update Overlap Bioinformatics Data structure Contracted de Bruijn gra... Algorithms
Journal
Save to List
39

Complexity Study for the Robust Stable Marriage Problem
Genc, Begum ; Siala, Mohamed ; Simonin, Gilles ; et al.
Theoretical Computer Science. 775:76-92

Robust Stable Marriage Computational Social Cho... Algorithmic Complexity Stable Matching Robust optimisation Artificial inteligence
Journal
Save to List
40

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm
Balabonski, Thibaut ; Delga, Amélie ; Rieg, Lionel ; et al.
Theory of Computing Systems. 63(2):200-218

ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... C.2.4: Distributed Syste... C.2.4.1: Distributed app... ACM: D.: Software D.4: OPERATING SYSTEMS
Journal
Save to List

Filter