• Suche: "algorithm analysis"

Treffer 41 - 60 von 8.243

41

Distribution-sensitive set multi-partitioning
Elmasry, Amr ; Department of Computer and Systems Engineering [Alexandria] ; Alexandria University [Alexandrie] ; et al.
2005 International Conference on Analysis of Algorithms. :353-356

Barcelona, Spain algorithm analysis and d... distribution-sensitive a... output-sensitive algorit... lower bounds [INFO.INFO-DS]Computer S... …
Konferenz
Zu den Favoriten
42

The probabilistic termination tool amber: The probabilistic termination tool Amber
Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; et al.
Lecture Notes in Computer Science ISBN: 9783030908690
Form Methods Syst Des
Formal methods in system design 61(1), 90-109 (2023). doi:10.1007/s10703-023-00424-z special issue: "Special Issue 'FM2021' / Issue Editors: Marieke Huisman, Corina Pasareanu, Zhan Naijun"
Formal methods in system design
Proceedings of the 24th International Symposium on Formal Methods (FM)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Methods

0301 basic medicine FOS: Computer and inform... Other programming paradi... Probability in computer... Computer Science - Progr... Mathematical aspects of... …
Fachzeitschrift
Zu den Favoriten
43

Modo de actuación del agente encubierto virtual
Arantza León Camino
Claves Jurídicas Journal; No. 1 enero-junio (2024); 28-48
Revista Claves Jurídicas; Núm. 1 enero-junio (2024); 28-48
Revista Claves Jurídicas
Universidad Pontificia de Salamanca
Claves Jurídicas, Iss 13 (2024)

Law in general. Comparat... Virtual undercover agent Closed communication cha... Criminal Procedure Law Algorithm analysis Canal comunicación cerra... …
Fachzeitschrift
Zu den Favoriten
44

Mode of operation of the virtual undercover agent
León Camino, Arantza
Claves Jurídicas Journal; No. 1 enero-junio (2024); 28-48
Revista Claves Jurídicas; Núm. 1 enero-junio (2024); 28-48
Revista Claves Jurídicas
Universidad Pontificia de Salamanca

Virtual undercover agent Closed communication cha... Criminal Procedure Law Algorithm analysis Canal comunicación cerra... Illegal file sharing …
Fachzeitschrift
Zu den Favoriten
46

Improved algorithms for determining the injectivity of 2D and 3D rational Bézier curves
Xuanyi Zhao ; Jinggai Li ; Ying Wang ; et al.
Electronic Research Archive, Vol 30, Iss 5, Pp 1799-1812 (2022)

T57-57.97 Applied mathematics. Qua... bézier curve monotone chain QA1-939 0202 electrical engineer... …
Fachzeitschrift
Zu den Favoriten
47

Colonie di formiche artificiali e ottimizzazione combinatoria
Borsi, Vladimiro ; Bandini, Stefania ; Mauri, Giancarlo ; et al.

Ant Colony Optimization... Ant Colony System (ACS) Traveling Salesman Probl... Combinatorial Optimizati... Bio-inspired Algorithms Optimization Algorithms …
Fachzeitschrift
Zu den Favoriten
48

The All Nearest Smaller Values Problem Revisited in Practice, Parallel and External Memory
Sitchinava, Nodari ; Svenning, Rolf
Sitchinava, N & Svenning, R 2024, The All Nearest Smaller Values Problem Revisited in Practice, Parallel and External Memory. in SPAA '24 : Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Annual ACM Symposium on Parallelism in Algorithms and Architectures, vol. 36, pp. 259-268, 36th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2024, Nantes, France, 17/06/2024. https://doi.org/10.1145/3626183.3659979

algorithm analysis algorithm engineering all nearest smaller valu... ansv external memory parallel algorithms …
Fachzeitschrift
Zu den Favoriten
49

Contention resolution with collision cost
Biswas, Umesh Chandra
Theses and Dissertations

algorithm analysis BEB collision cost Contention resolution STB
Fachzeitschrift
Zu den Favoriten
50

Exploration of the Path of Industrial Structure Adjustment Forced by the Rigid Constraint of Water Ecology in the Yangtze River Economic Belt
Jun Ma ; Jiale Ji
Sustainability ; Volume 16 ; Issue 21 ; Pages: 9378

agris water ecological rigidit... Yangtze River economic b... industrial restructuring catastrophe progression K-means algorithm analys...
Fachzeitschrift
Zu den Favoriten
51

Optimizing the Performance of STD::LIST through Choosing the Most Efficient Memory Allocation Strategy ; Quicksort: статистичне порівняння часу роботи методів обчислення опорного елементу
Шевцов , М. В.
Bulletin of Student Scientific Society; Том 1 № 16 (2024); 161-165 ; Вестник студенческого научного общества ДонНУ; Том 1 № 16 (2024); 161-165 ; Вісник студентського наукового товариства ДонНУ імені Василя Стуса; Том 1 № 16 (2024); 161-165 ; 2617–0922 ; 2617–0914

QuickSort pivot element randomized selection deterministic selection sorting algorithm analysis …
Fachzeitschrift
Zu den Favoriten
52

Fourier Transform Infrared (FT-IR) Spectroscopy and Simple Algorithm Analysis for Rapid and Non-Destructive Assessment of Cotton Fiber Maturity and Crystallinity for Plant Mapping
Hee-Jin Kim ; Yongliang Liu ; Linghe Zeng
Sensors, Vol 24, Iss 9, p 2888 (2024)

fourier transform infrar... attenuated total reflect... algorithm analysis cotton fiber node-by-node mapping maturity …
Fachzeitschrift
Zu den Favoriten
53

Algorithmic obstructions in the random number partitioning problem
Gamarnik, David ; Kızıldağ, Eren C.
The Annals of Applied Probability. 33

Probability in computer... Analysis of algorithms a... FOS: Physical sciences statistical physics Mathematics - Statistics... 0102 computer and inform... …
Fachzeitschrift
Zu den Favoriten
54

Instantaneous Current Signal Analysis Based on Z-Transform to Detect Oscillation Modes
Sotelo-Castañón, J. ; Gutiérrez-Robles, J.A. ; Bañuelos-Cabral, E.S. ; et al.
In Electric Power Systems Research September 2022 210

Fachzeitschrift
Zu den Favoriten
55

Concentration on the Boolean hypercube via pathwise stochastic analysis
Eldan, Ronen ; Gross, Renan
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing

FOS: Computer and inform... concentration Probability in computer... Discrete Mathematics (cs... Probability (math.PR) Martingales with continu... …
Fachzeitschrift
Zu den Favoriten
56

Developing a Clinical Prediction Rule for Gait Independence at Discharge in Patients with Stroke: A Decision-Tree Algorithm Analysis
Inoue, Yu ; Imura, Takeshi ; Tanaka, Ryo ; et al.
In Journal of Stroke and Cerebrovascular Diseases June 2022 31(6)

Fachzeitschrift
Zu den Favoriten
57

GENDA: A Graph Embedded Network Based Detection Approach on encryption algorithm of binary program
Li, Xiao ; Chang, Yuanhai ; Ye, Guixin ; et al.
In Journal of Information Security and Applications March 2022 65

Fachzeitschrift
Zu den Favoriten
58

Average-case analysis of perfect sorting by reversals
Bouvel, Mathilde ; Chauve, Cédric ; Mishna, Marni ; et al.
Discrete Mathematics. 3(3):369-392

Algorithm analysis genome rearrangements tree parameters simple permutations MSC: 05A15, 05A05 [MATH.MATH-CO]Mathematic... …
Zeitschrift
Zu den Favoriten
59

AITANA-MOMO: Aitana-MoMo demo
ITI ; Instituto Tecnológico de Informática

artificial intelligence machine learning model monitoring visualization tools algorithm analysis AITANAMOMO
Video
Zu den Favoriten
60

Approximation results for a bicriteria job scheduling problem on a single machine without preemption
Angel, Eric ; Bampis, Evripidis ; Gourvès, Laurent ; et al.
Information Processing Letters. 94(1):19-27

Approximate Pareto curve Bicriteria optimization Algorithm analysis Information processing Computer theory Optimization method …
Zeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter