UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 5.254

Sortiert nach

Automated quantum software engineering

Automated software engineering, 2024-05, Vol.31 (1), p.36

Sarkar, Aritra

2024

Link zum Volltext

Verfügbarkeit prüfen

Certification of avionic software based on machine learning: the case for formal monotony analysis

International journal on software tools for technology transfer, 2024-04, Vol.26 (2), p.189-205

2024

Link zum Volltext

Verfügbarkeit prüfen

Optimizing software vulnerability detection using RoBERTa and machine learning

Automated software engineering, 2024-11, Vol.31 (2), p.40

2024

Link zum Volltext

Verfügbarkeit prüfen

A systematic literature review on software security testing using metaheuristics

Automated software engineering, 2024-11, Vol.31 (2), p.44

2024

Link zum Volltext

Verfügbarkeit prüfen

Active model learning of stochastic reactive systems (extended version)

Software and systems modeling, 2024-04, Vol.23 (2), p.503-524

2024

Link zum Volltext

Verfügbarkeit prüfen

Lazy model checking for recursive state machines

Software and systems modeling, 2024-04, Vol.23 (2), p.369-401

2024

Link zum Volltext

Verfügbarkeit prüfen

Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps

Programming and computer software, 2024-02, Vol.50 (1), p.31-41

2024

Link zum Volltext

Verfügbarkeit prüfen

On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra

Programming and computer software, 2024-04, Vol.50 (2), p.172-175

2024

Link zum Volltext

Verfügbarkeit prüfen

Searching for Laurent Solutions of Truncated Systems of Linear Differential Equations with the Use of EG-Eliminations

Programming and computer software, 2024-04, Vol.50 (2), p.188-196

2024

Link zum Volltext

Verfügbarkeit prüfen

Applying Computer Algebra Systems to Study Chaundy-Bullard Identities for the Vector Partition Function with Weight

Programming and computer software, 2024-04, Vol.50 (2), p.176-179

2024

Link zum Volltext

Verfügbarkeit prüfen

Fuzzy Measure on p-Adic Balls Defined on a Finite Number Set

Programming and computer software, 2024-02, Vol.50 (1), p.1-10

2024

Link zum Volltext

Verfügbarkeit prüfen

Calculating Similarity of Javadoc Comments

Programming and computer software, 2024-02, Vol.50 (1), p.85-89

2024

Link zum Volltext

Verfügbarkeit prüfen

Improving Fuzzing Using Input Data Offsets Comparison Information

Programming and computer software, 2023-12, Vol.49 (Suppl 2), p.S122-S127

Sargsyan, S.

2023

Link zum Volltext

Verfügbarkeit prüfen

Toward granular search-based automatic unit test case generation

Empirical software engineering : an international journal, 2024-07, Vol.29 (4), p.71

2024

Link zum Volltext

Verfügbarkeit prüfen

Comprehensively Labeled Weakness and Vulnerability Datasets via Unambiguous Formal Bugs Framework Specifications

IT professional, 2024-01, Vol.26 (1), p.60-68

2024

Link zum Volltext
IEEE_Xplore

Analysis of Vulnerabilities of Neural Network Image Recognition Technologies

Programming and computer software, 2023-12, Vol.49 (Suppl 2), p.S115-S121

2023

Link zum Volltext

Verfügbarkeit prüfen

Semantic matching in GUI test reuse

Empirical software engineering : an international journal, 2024-05, Vol.29 (3), p.70

2024

Link zum Volltext

Verfügbarkeit prüfen

Port-Hamiltonian Systems: Structure Recognition and Applications

Programming and computer software, 2024-04, Vol.50 (2), p.197-201

Salnikov, V.

2024

Link zum Volltext

Verfügbarkeit prüfen

Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator

Programming and computer software, 2024-04, Vol.50 (2), p.115-120

Blinkov, Yu. A.

2024

Link zum Volltext

Verfügbarkeit prüfen

Primitive Elements of Free Non-associative Algebras over Finite Fields

Programming and computer software, 2024-04, Vol.50 (2), p.180-187

2024

Link zum Volltext

Verfügbarkeit prüfen

Knowledge Base Generation Based on Fuzzy Clustering

Programming and computer software, 2023-12, Vol.49 (Suppl 2), p.S99-S107

2023

Link zum Volltext

Verfügbarkeit prüfen

Layer-by-Layer Knowledge Distillation for Training Simplified Bipolar Morphological Neural Networks

Programming and computer software, 2023-12, Vol.49 (Suppl 2), p.S108-S114

2023

Link zum Volltext

Verfügbarkeit prüfen

Analysis of Traces on Discharged Bullets by the Congruent Matching Profile Segments Method and k-Nearest Neighbors

Programming and computer software, 2023-12, Vol.49 (Suppl 2), p.S72-S81

2023

Link zum Volltext

Verfügbarkeit prüfen

White Balance Correction for Detecting Holograms in Color Images of Black-and-White Photographs

Programming and computer software, 2023-12, Vol.49 (Suppl 2), p.S61-S71

2023

Link zum Volltext

Verfügbarkeit prüfen

Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica

Programming and computer software, 2024-04, Vol.50 (2), p.208-213

Yakovleva, T. V.

2024

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 5.254

Suche als RSS-Feed

Aktive Filter

SpracheJapanisch

ThemaMaterials Science

Neu hinzugefügt... seit 90 Tagen

ThemaAlgorithms

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(5.011)
Mit Volltextzugriff
(5.170)

Publikationsform

4 weitere anzeigen...

Weniger anzeigen...

Sprache

2 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(3.499)
Technology
(2.282)
Physical Sciences
(1.794)
Machine Learning
(1.645)
Engineering
(1.419)
Neural Networks
(1.341)
Accuracy
(1.337)
Methods
(1.204)
Deep Learning
(1.106)
Computer Science
(1.014)
Engineering, Electrical & Electronic
(963)
Life Sciences & Biomedicine
(931)
Analysis
(914)
Datasets
(899)
Artificial Intelligence
(888)
Optimization
(717)
Sensors
(635)
Chemistry
(578)
Humans
(576)

14 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1.483)
... seit 7 Tagen
(108)

Menü

Weitere Dienste

Einstellungen

Automated quantum software engineering

Certification of avionic software based on machine learning: the case for formal monotony analysis

Optimizing software vulnerability detection using RoBERTa and machine learning

A systematic literature review on software security testing using metaheuristics

Active model learning of stochastic reactive systems (extended version)

Lazy model checking for recursive state machines

Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps

On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra

Searching for Laurent Solutions of Truncated Systems of Linear Differential Equations with the Use of EG-Eliminations

Applying Computer Algebra Systems to Study Chaundy-Bullard Identities for the Vector Partition Function with Weight

Fuzzy Measure on p-Adic Balls Defined on a Finite Number Set

Calculating Similarity of Javadoc Comments

Improving Fuzzing Using Input Data Offsets Comparison Information

Toward granular search-based automatic unit test case generation

Comprehensively Labeled Weakness and Vulnerability Datasets via Unambiguous Formal Bugs Framework Specifications

Analysis of Vulnerabilities of Neural Network Image Recognition Technologies

Semantic matching in GUI test reuse

Port-Hamiltonian Systems: Structure Recognition and Applications

Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator

Primitive Elements of Free Non-associative Algebras over Finite Fields

Knowledge Base Generation Based on Fuzzy Clustering

Layer-by-Layer Knowledge Distillation for Training Simplified Bipolar Morphological Neural Networks

Analysis of Traces on Discharged Bullets by the Congruent Matching Profile Segments Method and k-Nearest Neighbors

White Balance Correction for Detecting Holograms in Color Images of Black-and-White Photographs

Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica

Aktive Filter

Suchergebnisse filtern