• Suche: "Analysis of algorithms"

Treffer 41 - 60 von 20.020

41

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... …
Fachzeitschrift
Zu den Favoriten
42

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees: Strategy Iteration with Universal Trees
Koh, Zhuan Khye ; Loho, Georg ; Zhuan Khye Koh and Georg Loho ; et al.
Logical Methods in Computer Science. 21

universal trees FOS: Computer and inform... Data Structures and Algo... Discrete Mathematics (cs... value iteration Discrete Mathematics …
Fachzeitschrift
Zu den Favoriten
43

Formal Methods
Platzer, Andre ; Rozier, Kristin Yvonne ; Pradella, Matteo ; et al.

architecture verificatio... artificial intelligence design and analysis of a... computational complexity... embedded systems model checking …
E-Book
Zu den Favoriten
44

Dynamic Convex Hulls for Simple Paths
Brewer, Bruce ; Brodal, Gerth Stølting ; Wang, Haitao
Discrete & Computational Geometry. :1-36

Fachzeitschrift
Zu den Favoriten
45

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

Fachzeitschrift
Zu den Favoriten
46

Variance Reduction Methods and Multilevel Monte Carlo Strategy for Estimating Densities of Solutions to Random Second-Order Linear Differential Equations
Jornet, Marc ; Calatayud, Julia ; Le Maitre, Olivier ; et al.
International Journal for Uncertainty Quantification. 10(5):467-497

Analysis of algorithms Standard and multilevel... Probability density func... Random linear differenti... analysis of algorithms standard and multilevel... …
Zeitschrift
Zu den Favoriten
47

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 …
E-Ressource
Zu den Favoriten
48

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... …
Fachzeitschrift
Zu den Favoriten
49

Technical Note—Near-Optimal Bayesian Online Assortment of Reusable Resources
Yiding Feng ; Rad Niazadeh ; Amin Saberi
Operations Research. 72:1861-1873

Suboptimal algorithms Approximations/heuristic... 0211 other engineering a... Analysis of algorithms 0102 computer and inform... 02 engineering and techn... …
Fachzeitschrift
Zu den Favoriten
50

METHODS FOR DETECTION OF MULTIMEDIA DATA DAMAGE ATTEMPTS IN CYBERSECURITY, USING THE EXAMPLE OF A MARKOV CHAIN MODEL
Melikuziev, Rustambek ; Melikuziev, Murodbek

Markov chain model, mult...
Fachzeitschrift
Zu den Favoriten
51

Analysis of tools for detecting unauthorized changes to multimedia data based on the Markov chain model
Melikuziev, Rustambek ; Melikuziev, Murodbek

Markov chain model, mult...
Fachzeitschrift
Zu den Favoriten
52

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... …
Fachzeitschrift
Zu den Favoriten
53

Succinct encodings of binary trees with application to AVL trees
Chizewer, Jeremy ; Melczer, Stephen ; Munro, J. Ian ; et al.
In Theoretical Computer Science 21 November 2025 1056

Fachzeitschrift
Zu den Favoriten
54

Machine learning applied to high-entropy alloy coatings process parameters and composition optimization – A case study
Raffaella Sesana ; Mohsen Dehghanpour Abyaneh ; Marzieh Golabchi ; et al.

High-entropy Alloys (HEA... Surface Roughness Volume Variation Cold Spray (CS) Techniqu... Machine Learning (ML) Support Vector Regressio... …
Buch
Zu den Favoriten
55

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... …
Fachzeitschrift
Zu den Favoriten
56

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 …
Konferenz
Zu den Favoriten
57

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... …
Konferenz
Zu den Favoriten
58

Comparative Analysis of Sorting Algorithms: TimSort Python and Classical Sorting Methods
Wibowo, Firmansyah Rekso ; Faisal, Muhammad
JISA (Jurnal Informatika dan Sains), Vol 7, Iss 1, Pp 11-18 (2024)

QA76.75-76.765 080201 Analysis of Algor... 0202 electrical engineer... quicksort, mergesort, ti... Information technology Computer software …
Fachzeitschrift
Zu den Favoriten
59

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

Fachzeitschrift
Zu den Favoriten
60

Action adjointe sur les graphes et la preuve de la conjecture P=NP
Sghiar, Mohamed ; Chercheur indépendant
IOSR Journal of Computer Engineering (IOSR - JCE). :46-49

Graph Hamilton cycles P=NP the travelling salesman... TSP Analysis of algorithms …
Zeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter