UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Directed Model Checking for Fast Abstract Reachability Analysis

IEEE access, 2021, Vol.9, p.158738-158750

2021

Volltextzugriff (PDF)

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

IEEE transactions on software engineering, 2011-03, Vol.37 (2), p.146-160

2011

Volltextzugriff (PDF)

Investigating Adolescent Vulnerability in Indonesia: A Socio-Remote Sensing Big Data Analytics Study Using Night Light Data

IEEE access, 2024, Vol.12, p.14800-14818

2024

Volltextzugriff (PDF)

Understanding Pediatric Health Trends in Papua: Insights From SUSENAS, RISKESDAS, Remote Sensing, and Its Relevance to Prabowo and Gibran's Free Lunch and Milk Program

IEEE access, 2024, Vol.12, p.51536-51555

2024

Volltextzugriff (PDF)

Boosting Algorithm to handle Unbalanced Classification of PM2.5 Concentration Levels by Observing Meteorological Parameters in Jakarta-Indonesia using AdaBoost, XGBoost, CatBoost, and LightGBM

IEEE access, 2023-01, Vol.11, p.1-1

2023

Volltextzugriff (PDF)

Fine-Tuning of Predictive Models CNN-LSTM and CONV-LSTM for Nowcasting PM2.5 Level

IEEE access, 2024, Vol.12, p.28988-29003

2024

Volltextzugriff (PDF)

Two-stage adaptive random Fourier sampling method for image reconstruction

Pattern recognition, 2021-09, Vol.117, p.107990, Article 107990

2021

Volltextzugriff (PDF)

Ask the Mutants: Mutating Faulty Programs for Fault Localization

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, 2014, p.153-162

2014

Volltextzugriff (PDF)

Concolic testing of the multi-sector read operation for flash storage platform software

Formal aspects of computing, 2012-05, Vol.24 (3), p.355-374

2012

Volltextzugriff (PDF)

Improved weight initialization for deep and narrow feedforward neural network

Neural networks, 2024-08, Vol.176, p.106362, Article 106362

2024

Volltextzugriff (PDF)

Multipath-based transmission scheme for improving the QoE of HTTP adaptive streaming

Journal of visual communication and image representation, 2018-08, Vol.55, p.12-20

2018

Volltextzugriff (PDF)

Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs

ACM transactions on software engineering and methodology, 2019-10, Vol.28 (4), p.1-34

2019

Volltextzugriff (PDF)

A Hybrid Directed Test Suite Augmentation Technique

2011 IEEE 22nd International Symposium on Software Reliability Engineering, 2011, p.150-159

2011

Volltextzugriff (PDF)

Learning‐based mutant reduction using fine‐grained mutation operators

Software testing, verification & reliability, 2022-11, Vol.32 (7), p.n/a

2022

Volltextzugriff (PDF)

DEMINER: test generation for high test coverage through mutant exploration

Software testing, verification & reliability, 2021-01, Vol.31 (1-2), p.n/a

2021

Volltextzugriff (PDF)

MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry

Information and software technology, 2020-07, Vol.123, p.106221, Article 106221

2020

Volltextzugriff (PDF)

MUSEUM: Debugging real-world multilingual programs using mutation analysis

Information and software technology, 2017-02, Vol.82, p.80-95

2017

Volltextzugriff (PDF)

Safety Guided Policy Optimization

2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022, p.2462-2467

2022

Volltextzugriff (PDF)

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.315-326

2018

Volltextzugriff (PDF)

Empowering deaf communication: a novel LSTM model for recognizing Indonesian sign language

Universal access in the information society, 2024-03

2024

Volltextzugriff (PDF)

Mutation-based fault localization for real-world multilingual programs

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.464-475

2015

Volltextzugriff (PDF)

Image Restoration with a New Class of Forward-Backward-Forward Diffusion Equations of Perona--Malik Type with Applications to Satellite Image Enhancement

SIAM journal on imaging sciences, 2013-01, Vol.6 (3), p.1416-1444

2013

Volltextzugriff (PDF)

Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark

Search-Based Software Engineering, p.121-135

Volltextzugriff (PDF)

Directed test suite augmentation: an empirical investigation

Software testing, verification & reliability, 2015-03, Vol.25 (2), p.77-114

2015

Volltextzugriff (PDF)

Intensity Nonuniformity Correction for Brain MR Images with Known Voxel Classes

SIAM journal on imaging sciences, 2014-01, Vol.7 (1), p.528-557

2014

Volltextzugriff (PDF)

1 – 25 von 97

Suche als RSS-Feed

Aktive Filter

ThemaComputer Science

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(54)
Mit Volltextzugriff
(82)

Publikationsform

Sprache

Englisch
(97)
Japanisch
(4)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

Directed Model Checking for Fast Abstract Reachability Analysis

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

Investigating Adolescent Vulnerability in Indonesia: A Socio-Remote Sensing Big Data Analytics Study Using Night Light Data

Understanding Pediatric Health Trends in Papua: Insights From SUSENAS, RISKESDAS, Remote Sensing, and Its Relevance to Prabowo and Gibran's Free Lunch and Milk Program

Boosting Algorithm to handle Unbalanced Classification of PM2.5 Concentration Levels by Observing Meteorological Parameters in Jakarta-Indonesia using AdaBoost, XGBoost, CatBoost, and LightGBM

Fine-Tuning of Predictive Models CNN-LSTM and CONV-LSTM for Nowcasting PM2.5 Level

Two-stage adaptive random Fourier sampling method for image reconstruction

Ask the Mutants: Mutating Faulty Programs for Fault Localization

Concolic testing of the multi-sector read operation for flash storage platform software

Improved weight initialization for deep and narrow feedforward neural network

Multipath-based transmission scheme for improving the QoE of HTTP adaptive streaming

Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs

A Hybrid Directed Test Suite Augmentation Technique

Learning‐based mutant reduction using fine‐grained mutation operators

DEMINER: test generation for high test coverage through mutant exploration

MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry

MUSEUM: Debugging real-world multilingual programs using mutation analysis

Safety Guided Policy Optimization

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering

Empowering deaf communication: a novel LSTM model for recognizing Indonesian sign language

Mutation-based fault localization for real-world multilingual programs

Image Restoration with a New Class of Forward-Backward-Forward Diffusion Equations of Perona--Malik Type with Applications to Satellite Image Enhancement

Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark

Directed test suite augmentation: an empirical investigation

Intensity Nonuniformity Correction for Brain MR Images with Known Voxel Classes

Aktive Filter

Suchergebnisse filtern