UB Paderborn / Katalog / Suche / in CDI

Towards Neural Routing with Verified Bounds on Performance

Modelirovanie i analiz informacionnyh sistem, 2022-09, Vol.29 (3), p.228-245

2022

Link zum Volltext

Verfügbarkeit prüfen

Targeted next-generation sequencing (NGS) of nine candidate genes with custom AmpliSeq in patients and a cardiomyopathy risk group

Clinica chimica acta, 2015-06, Vol.446, p.132-140

2015

Link zum Volltext

Verfügbarkeit prüfen

Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images

2019 24th Conference of Open Innovations Association (FRUCT), 2019, Vol.854 (24), p.472-478

2019

Link zum Volltext
IEEE_Xplore

CSP-based inference of function block finite-state models from execution traces

2017 IEEE 15th International Conference on Industrial Informatics (INDIN), 2017, p.714-719

2017

Link zum Volltext
IEEE_Xplore

Reconstruction of function block controllers based on test scenarios and verification

2016 IEEE 14th International Conference on Industrial Informatics (INDIN), 2016, p.646-651

2016

Link zum Volltext
IEEE_Xplore

The “One-fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ,λ)) Genetic Algorithm

Modelirovanie i analiz informacionnyh sistem, 2020-12, Vol.27 (4), p.488-508

2020

Link zum Volltext

Verfügbarkeit prüfen

Method of the Joint Clustering in Network and Correlation Spaces

Modelirovanie i analiz informacionnyh sistem, 2020-06, Vol.27 (2), p.180-193

2020

Link zum Volltext

Verfügbarkeit prüfen

Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist's Personal Context

2019 25th Conference of Open Innovations Association (FRUCT), 2019, Vol.622 (25), p.64-76

2019

Link zum Volltext
IEEE_Xplore

Intelligent Support for Clinical Processes Based on Automaton Approach

2019 25th Conference of Open Innovations Association (FRUCT), 2019, Vol.622 (25), p.361-372

2019

Link zum Volltext
IEEE_Xplore

Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system

Future generation computer systems, 2019-05, Vol.94, p.587-600

2019

Link zum Volltext

Verfügbarkeit prüfen

A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-dominated Sorting

Parallel Problem Solving from Nature – PPSN XIII, p.528-537

Link zum Volltext

Verfügbarkeit prüfen

Exact finite-state machine identification from scenarios and temporal properties

International journal on software tools for technology transfer, 2018-02, Vol.20 (1), p.35-55

2018

Link zum Volltext

Verfügbarkeit prüfen

Noise Masking Recurrent Neural Network for Respiratory Sound Classification

Artificial Neural Networks and Machine Learning – ICANN 2018, p.208-217

Link zum Volltext

Verfügbarkeit prüfen

Function Block Finite-State Model Identification Using SAT and CSP Solvers

IEEE transactions on industrial informatics, 2019-08, Vol.15 (8), p.4558-4568

2019

Link zum Volltext
IEEE_Xplore

Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing

Evolving systems, 2019-03, Vol.10 (1), p.3-11

2019

Link zum Volltext

Verfügbarkeit prüfen

Combating data incompetence in pollen images detection and classification for pollinosis prevention

Computers in biology and medicine, 2022-01, Vol.140, p.105064-105064, Article 105064

2022

Link zum Volltext

Verfügbarkeit prüfen

Reconstruction of Function Block Logic Using Metaheuristic Algorithm

IEEE transactions on industrial informatics, 2017-08, Vol.13 (4), p.1763-1771

2017

Link zum Volltext
IEEE_Xplore

Robot master slave and supervisory control with large time delays of control signals and feedback

Applied mathematical sciences, 2016, Vol.10, p.1783-1796

2016

Link zum Volltext

Verfügbarkeit prüfen

Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited

2015 IEEE Congress on Evolutionary Computation (CEC), 2015, p.2121-2128

2015

Link zum Volltext
IEEE_Xplore

Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach

Software Engineering and Formal Methods, p.117-131

Link zum Volltext

Verfügbarkeit prüfen

Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm

Bio-Inspired Computing - Theories and Applications, p.1-10

Link zum Volltext

Verfügbarkeit prüfen

Plant trace generation for formal plant model inference: Methods and case study

2017 IEEE 15th International Conference on Industrial Informatics (INDIN), 2017, p.746-752

2017

Link zum Volltext
IEEE_Xplore

Closed-loop verification of a compensating group drive model using synthesized formal plant model

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2017, p.1-4

2017

Link zum Volltext
IEEE_Xplore

Specifics Analysis of Medical Communities in Social Network Services

Intelligent Data Engineering and Automated Learning - IDEAL 2018, 2018, Vol.11314, p.195-203

2018

Link zum Volltext

Verfügbarkeit prüfen

Counterexample-guided inference of controller logic from execution traces and temporal formulas

2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018, Vol.1, p.91-98

2018

Link zum Volltext
IEEE_Xplore

Menü

Weitere Dienste

Einstellungen

Towards Neural Routing with Verified Bounds on Performance

Targeted next-generation sequencing (NGS) of nine candidate genes with custom AmpliSeq in patients and a cardiomyopathy risk group

Impact of Adversarial Examples on the Efficiency of Interpretation and Use of Information from High-Tech Medical Images

CSP-based inference of function block finite-state models from execution traces

Reconstruction of function block controllers based on test scenarios and verification

The “One-fifth Rule” with Rollbacks for Self-Adjustment of the Population Size in the (1 + (λ,λ)) Genetic Algorithm

Method of the Joint Clustering in Network and Correlation Spaces

Software Tools for Manual Segmentation of Tomography Images Supporting Radiologist's Personal Context

Intelligent Support for Clinical Processes Based on Automaton Approach

Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system

A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-dominated Sorting

Exact finite-state machine identification from scenarios and temporal properties

Noise Masking Recurrent Neural Network for Respiratory Sound Classification

Function Block Finite-State Model Identification Using SAT and CSP Solvers

Heuristic and metaheuristic solutions of pickup and delivery problem for self-driving taxi routing

Combating data incompetence in pollen images detection and classification for pollinosis prevention

Reconstruction of Function Block Logic Using Metaheuristic Algorithm

Robot master slave and supervisory control with large time delays of control signals and feedback

Hard test generation for augmenting path maximum flow algorithms using genetic algorithms: Revisited

Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach

Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm

Plant trace generation for formal plant model inference: Methods and case study

Closed-loop verification of a compensating group drive model using synthesized formal plant model

Specifics Analysis of Medical Communities in Social Network Services

Counterexample-guided inference of controller logic from execution traces and temporal formulas

Suchergebnisse filtern