UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 1.168

Sortiert nach

Flow: An Analyzer for Non-linear Hybrid Systems

Computer Aided Verification, p.258-263

Link zum Volltext

Verfügbarkeit prüfen

On tolerance of discrete systems with respect to transition perturbations

Discrete event dynamic systems, 2023-12, Vol.33 (4), p.395-424

2023

Link zum Volltext

Verfügbarkeit prüfen

Safety Verification of Hybrid Systems Using Barrier Certificates

Hybrid Systems: Computation and Control, 2004, p.477-492

2004

Link zum Volltext

Verfügbarkeit prüfen

GXNOR-Net: Training deep neural networks with ternary weights and activations without full-precision memory under a unified discretization framework

Neural networks, 2018-04, Vol.100, p.49-58

2018

Link zum Volltext

Verfügbarkeit prüfen

Automatic Cataract Classification Using Deep Neural Network With Discrete State Transition

IEEE transactions on medical imaging, 2020-02, Vol.39 (2), p.436-446

2020

Link zum Volltext
IEEE_Xplore

A data-based derivation of the internal stress in the discrete-continuum transition regime of dislocation based plasticity

International journal of plasticity, 2023-11, Vol.170, p.103771, Article 103771

2023

Link zum Volltext

Verfügbarkeit prüfen

Experimental and numerical investigations on transient multiscale bubble behaviors in CuSO4 aqueous solution electrolysis cell

Chemical engineering journal (Lausanne, Switzerland : 1996), 2022-01, Vol.428, p.131182, Article 131182

2022

Link zum Volltext

Verfügbarkeit prüfen

Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata

Functional and Logic Programming, 2014, p.336-352

2014

Link zum Volltext

Verfügbarkeit prüfen

Experimental and numerical analysis on electrolytic bubble group dynamics in the aluminum electrolysis process using the slotted anode

Powder technology, 2023-10, Vol.428, p.118854, Article 118854

2023

Link zum Volltext

Verfügbarkeit prüfen

Population-based discrete state transition algorithm with decomposition and knowledge guidance applied to electrolytic cell maintenance decision

Applied soft computing, 2023-03, Vol.135, p.109996, Article 109996

2023

Link zum Volltext

Verfügbarkeit prüfen

Multi-agent planning under local LTL specifications and event-based synchronization

Automatica (Oxford), 2016-08, Vol.70, p.239-248

2016

Link zum Volltext

Verfügbarkeit prüfen

Parametric instability of flexible rotor-bearing system under time-periodic base angular motions

Applied mathematical modelling, 2015-08, Vol.39 (15), p.4511-4522

2015

Link zum Volltext

Verfügbarkeit prüfen

The tool Kronos

Hybrid Systems III, 2005, p.208-219

2005

Link zum Volltext

Verfügbarkeit prüfen

A Finite State Machine Model for Business Flow in Active Distribution Networks Considering the Multi-flow Fusion Process

Journal of scientific & industrial research (New Delhi, India : 1963), 2024-05, Vol.83 (5)

2024

Link zum Volltext

Verfügbarkeit prüfen

Training deep neural networks with discrete state transition

Neurocomputing (Amsterdam), 2018-01, Vol.272, p.154-162

2018

Link zum Volltext

Verfügbarkeit prüfen

基于离散状态转移算法的无等待流水车间调度研究

系统仿真学报, 2023-05, Vol.35 (5), p.1034-1045

2023

Link zum Volltext

Verfügbarkeit prüfen

Rigorous Simulation-Based Analysis of Linear Hybrid Systems

Tools and Algorithms for the Construction and Analysis of Systems, p.555-572

Link zum Volltext

Verfügbarkeit prüfen

A fault reconfiguration strategy based on adjustable space operator discrete state transition algorithm for ship microgrid system

Electric power systems research, 2022-04, Vol.205, p.107707, Article 107707

2022

Link zum Volltext

Verfügbarkeit prüfen

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata

Tools and Algorithms for the Construction and Analysis of Systems, p.573-588

Link zum Volltext

Verfügbarkeit prüfen

Series of Abstractions for Hybrid Automata

Hybrid Systems: Computation and Control, 2002, p.465-478

2002

Link zum Volltext

Verfügbarkeit prüfen

Multi-Delay Identification of Rare Earth Extraction Process Based on Improved Time-Correlation Analysis

Sensors (Basel, Switzerland), 2023-01, Vol.23 (3), p.1102

2023

Link zum Volltext

Verfügbarkeit prüfen

Parsimonious, Simulation Based Verification of Linear Systems

Computer Aided Verification, p.477-494

Link zum Volltext

Verfügbarkeit prüfen

A discrete transition zone between cuticle and cortex layers of a human hair fibre: changes observed in the presence of breast cancer

Ecancermedicalscience, 2017-10, Vol.11, p.772-772

2017

Link zum Volltext

Verfügbarkeit prüfen

Stability analysis of a rotor system with electromechanically coupled boundary conditions under periodic axial load

Nonlinear dynamics, 2021-04, Vol.104 (2), p.1157-1174

2021

Link zum Volltext

Verfügbarkeit prüfen

Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control

Automation 2017, p.3-21

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 1.168

Suche als RSS-Feed

Aktive Filter

KollektionTaylor & Francis

ThemaPhase Transitions

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(865)
Mit Volltextzugriff
(1.115)

Publikationsform

Sprache

2 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(769)
Technology
(554)
Physical Sciences
(304)
Engineering
(282)
Computer Science
(233)
Mathematics
(191)
Transition Probabilities
(179)
Engineering, Electrical & Electronic
(143)
Automation & Control Systems
(131)
Exact Sciences And Technology
(126)
Physics
(126)
Computer Science, Theory & Methods
(124)
Discrete Element Method
(106)
Discrete Time Systems
(104)
Markov Processes
(102)
Social Sciences
(102)
Mathematical Models
(99)
Applied Sciences
(92)
Discrete Transition
(92)
Economics
(84)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(10)

Menü

Weitere Dienste

Einstellungen

Flow: An Analyzer for Non-linear Hybrid Systems

On tolerance of discrete systems with respect to transition perturbations

Safety Verification of Hybrid Systems Using Barrier Certificates

GXNOR-Net: Training deep neural networks with ternary weights and activations without full-precision memory under a unified discretization framework

Automatic Cataract Classification Using Deep Neural Network With Discrete State Transition

A data-based derivation of the internal stress in the discrete-continuum transition regime of dislocation based plasticity

Experimental and numerical investigations on transient multiscale bubble behaviors in CuSO4 aqueous solution electrolysis cell

Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata

Experimental and numerical analysis on electrolytic bubble group dynamics in the aluminum electrolysis process using the slotted anode

Population-based discrete state transition algorithm with decomposition and knowledge guidance applied to electrolytic cell maintenance decision

Multi-agent planning under local LTL specifications and event-based synchronization

Parametric instability of flexible rotor-bearing system under time-periodic base angular motions

The tool Kronos

A Finite State Machine Model for Business Flow in Active Distribution Networks Considering the Multi-flow Fusion Process

Training deep neural networks with discrete state transition

基于离散状态转移算法的无等待流水车间调度研究

Rigorous Simulation-Based Analysis of Linear Hybrid Systems

A fault reconfiguration strategy based on adjustable space operator discrete state transition algorithm for ship microgrid system

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata

Series of Abstractions for Hybrid Automata

Multi-Delay Identification of Rare Earth Extraction Process Based on Improved Time-Correlation Analysis

Parsimonious, Simulation Based Verification of Linear Systems

A discrete transition zone between cuticle and cortex layers of a human hair fibre: changes observed in the presence of breast cancer

Stability analysis of a rotor system with electromechanically coupled boundary conditions under periodic axial load

Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control

Aktive Filter

Suchergebnisse filtern