Showing 81 - 100 of 406

81

Estimation of time-varying heat sources through inversion of a low order model built with the Modal Identification Method from in-situ temperature measurements
Girault, M. ; Videcoq, E. ; Petit, D.
In International Journal of Heat and Mass Transfer 2010 53(1):206-219

Academic journal
Save to List
82

Optimal computation of shortest paths on doubly convex bipartite graphs
Lin Chen
Computers & Mathematics with Applications. 38:1-12

Sequential and parallel... Extremal problems in gra... Optimality doubly convex bipartite... Shortest paths optimal parallel algorit...
Academic journal
Save to List
83

On the cost of sequential and parallel algorithms for solving linear system of equations
ABBAS, S. H
International journal of computer mathematics. 74(3):391-403

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Academic journal
Save to List
84

Two-Dimensional Periodicity in Rectangular Arrays: Two-dimensional periodicity in rectangular arrays
Amihood Amir ; Gary Benson
SIAM Journal on Computing. 27:90-106

two-dimensional string matching parallel algorithm Analysis of algorithms a... 0202 electrical engineer... witness
Academic journal
Save to List
85

Decomposition Methods for Differentiable Optimization Problems over Cartesian Product Sets: Decomposition methods for differentiable optimization problems over Cartesian product sets
Michael Patriksson
Computational Optimization and Applications. 9:5-42

cost approximation decomposition algorithms Nonlinear programming partially asynchronous p... Cartesian products of co... 0211 other engineering a...
Academic journal
Save to List
86

Nearly optimal distributed edge coloring in O(log log n) rounds: Nearly optimal distributed edge coloring in \(O(\log\log n)\) rounds
GRABLE D. ; PANCONESI, Alessandro
Random Structures and Algorithms. 10:385-405

Coloring of graphs and h... Graph algorithms (graph-... Analysis of algorithms a... Graph theory (including... 000 Informatik, Informat... Informatik
Academic journal
Save to List
87

Two strategies in the problem of change detection and isolation
Nikiforov, Igor ; VU VAN, Jean-Baptiste ; Laboratoire Modélisation et Sûreté des Systèmes (LM2S) ; et al.
IEEE Transactions on Information Theory
IEEE Transactions on Information Theory, 1997, 43 (2), pp.770-776. ⟨10.1109/18.556138⟩

Estimation and detection... fixed-size sample Detection theory in info... hypothesis testing 0202 electrical engineer... optimal sequential algor...
Academic journal
Save to List
88

Parallelizing an Algorithm for Visibility on Polyhedral Terrain: Parallelizing an algorithm for visibility on polyhedral terrain
Ansel Teng Y. ; Mount D. ; Puppo E. ; et al.
International Journal of Computational Geometry & Applications. :75-84

output-sensitive sequent... Computer graphics computational geometry (... 05 social sciences best sequential complexi... 0202 electrical engineer...
Academic journal
Save to List
89

Clustering bipartite and chordal graphs : Complexity, sequential and parallel algorithms
ABBAS, N ; STEWART, L
Discrete applied mathematics. 91(1-3):1-23

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Academic journal
Save to List
90

An optimal parallel algorithm to compute all cutvertices and blocks on permutation graphs
BERA, D ; PAL, M ; PAL, T. K
International journal of computer mathematics. 72(4):449-462

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Academic journal
Save to List
91

A relative PCF-definability result for strongly stable functions and some corollaries
EHRHARD, T
Information and computation (Print). 152(1):111-137

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences et techniques c... Sciences and techniques...
Academic journal
Save to List
92

Machine Learning Sequential Methodology for Robot Inverse Kinematic Modelling
Tagliani F. L. ; Pellegrini N. ; Aggogeri F. ; et al.

inverse kinematics solut... machine learning Denavit-Hartenberg model... sequential algorithm robotics
Academic journal
Save to List
93

A new algorithm for the Integer Knapsack Problem and its parallelization: A new algorithm for the integer knapsack problem and its parallelization
José Luis García ; Domingo Morales González ; Félix César García López ; et al.
Top. 3:221-234

integer knapsack problem 0211 other engineering a... local area network Integer programming Parallel numerical compu... 0102 computer and inform...
Academic journal
Save to List
94

Efficient multiphysics modelling with adaptive grid refinement using a MPFA method
Faigle, Benjamin ; Helmig, Rainer ; Aavatsmark, Ivar ; et al.
Computational Geosciences: Modeling, Simulation and Data Analysis. October 2014 18(5):625-636

Academic journal
Save to List
95

This result is not available to guest users.

96

Consecutive interval query and dynamic programming on intervals
AGGARWAL, A ; TOKUYAMA, T
Discrete applied mathematics. 85(1):1-24

Control theory, operatio... Automatique, recherche o... Computer science Informatique Mathematics Mathématiques
Academic journal
Save to List
97

From Research to Teaching Formal Methods: The B Method (TFM-B'2008)
Attiogbe, Christian ; Habrias, Henri ; Dadeau, Frédéric ; et al.
The B Method: from Research to Teaching ; https://hal.science/hal-04975370 ; The B Method: from Research to Teaching, Jun 2008, Nantes (France), France. Université de Nantes, pp.163, 2008, 978-2-9512461-2-9

France BZ-Testing-Tools LEIRIOS Test Generator B abstract machine model-based testing B-Method
Conference
Save to List
98

Finding the closed partition of a planar graph
Vijaya Ramachandran ; Honghua Yang
Algorithmica. 11:443-468

program verification Specification and verifi... dual graph Graph theory (including... Analysis of algorithms a... closed partition
Academic journal
Save to List
99

Recognition algorithm for intersection graphs of edge disjoint paths in a tree
S. P. Mohanty ; Bhawani Sankar Panda
Information Processing Letters. 49:139-143

Analysis of algorithms a... edge-disjoint paths 0102 computer and inform... characterizations intersection graphs parallel NC algorithm
Academic journal
Save to List
100

Fast and Efficient Parallel Solution of Sparse Linear Systems: Fast and efficient parallel solution of sparse linear systems
Victor Y. Pan ; John H. Reif
SIAM Journal on Computing. 22:1227-1250

Computational methods fo... Complexity and performan... Graphs and linear algebr... graph separators parallel algorithm generalized nested disse...
Academic journal
Save to List

Filter