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...

A simple method for power loss estimation in PWM inverter-fed motors

CAS 2012 (International Semiconductor Conference), 2012, Vol.2, p.445-448

2012

Volltextzugriff (PDF)

Virtual load with common mode active filtering for power hardware-in-the-loop testing of power electronic converters

IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, 2014, p.1875-1881

2014

Volltextzugriff (PDF)

Microcontroller-based Walsh function PWM modulation with harmonic injection technique

2010 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR), 2010, Vol.3, p.1-6

2010

Volltextzugriff (PDF)

Self-commissioning of inverter nonlinear effects in AC drives

2012 IEEE International Energy Conference and Exhibition (ENERGYCON), 2012, p.213-218

2012

Volltextzugriff (PDF)

Design optimization methods of an intelligent controller from a speed control system

2010 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR), 2010, Vol.1, p.1-6

2010

Volltextzugriff (PDF)

Inferring Interval-Valued Floating-Point Preconditions

Tools and algorithms for the construction and analysis of systems, TACAS 2022, pt I, 2022, p.303

2022

Volltextzugriff (PDF)

A dynamic wireless charging system for electric vehicles based on DC/AC converters with SiC MOSFET-IGBT switches and resonant gate-drive

IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, 2016, p.4465-4470

2016

Volltextzugriff (PDF)

Identification of the magnetic model of permanent magnet synchronous machines using DC-biased low frequency AC signal injection

2014 IEEE Energy Conversion Congress and Exposition (ECCE), 2014, p.1722-1728

2014

Volltextzugriff (PDF)

Maximum efficiency per torque direct flux vector control of induction motor drives

2014 IEEE Energy Conversion Congress and Exposition (ECCE), 2014, p.1293-1300

2014

Volltextzugriff (PDF)

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

Model Checking Software, 2022, Vol.13255, p.61-78

2022

Volltextzugriff (PDF)

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

Model Checking Software, 2022, Vol.13255, p.79-96

2022

Volltextzugriff (PDF)

Contract-based program repair without the contracts

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, p.637-647

2017

Volltextzugriff (PDF)

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks

Lecture Notes in Computer Science, vol. 13255, 2022, Vol.13255, p.24-43

2022

Volltextzugriff (PDF)

Bounded-Memory Runtime Enforcement

Model Checking Software, 2022, Vol.13255, p.114-133

2022

Volltextzugriff (PDF)

Solving String Theories Involving Regular Membership Predicates Using SAT

Model Checking Software, 2022, Vol.13255, p.134-151

2022

Volltextzugriff (PDF)

Automated Consistency Analysis for Legal Contracts

Model Checking Software, 2022, Vol.13255, p.1-23

2022

Volltextzugriff (PDF)

A simple solution for single-phase shunt active power filter with improved sliding mode control

2012 16th International Conference on System Theory, Control and Computing (ICSTCC), 2012, p.1-5

2012

Volltextzugriff (PDF)

Statistical Model Checking: An Overview

Runtime Verification, 2010, p.122-135

2010

Volltextzugriff (PDF)

Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench

Model Checking Software, 2022, Vol.13255, p.97-113

2022

Volltextzugriff (PDF)

Synthesis of Rigorous Floating-Point Predicates

Model Checking Software, 2022, Vol.13255, p.44-60

2022

Volltextzugriff (PDF)

Implementation of a three-phase active power filter with sliding mode control

Proceedings of 2012 IEEE International Conference on Automation, Quality and Testing, Robotics, 2012, p.9-13

2012

Volltextzugriff (PDF)

The analysis of the solutions for harmonic elimination PWM bipolar waveform with a specialized differential evolution algorithm

2012 13th International Conference on Optimization of Electrical and Electronic Equipment (OPTIM), 2012, p.814-821

2012

Volltextzugriff (PDF)

Domain Axioms for a Family of Near-Semirings

Algebraic Methodology and Software Technology, 2008, Vol.5140, p.330-345

2008

Volltextzugriff (PDF)

Copilot: A Hard Real-Time Runtime Monitor

Runtime Verification, 2010, p.345-359

2010

Volltextzugriff (PDF)

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time

Runtime Verification, 2010, p.183-197

2010

Volltextzugriff (PDF)

1 – 25 von 369

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(304)
Mit Volltextzugriff
(334)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(249)
Technology
(175)
Computer Science
(144)
Computer Science, Theory & Methods
(121)
Computer Science, Software Engineering
(118)
Physical Sciences
(92)
Exact Sciences And Technology
(46)
Applied Sciences
(42)
Computer Science; Control Theory; Systems
(37)
Mathematics
(36)
Physics
(36)
Software
(33)
Humans
(31)
Software Engineering
(31)
Mathematics, Applied
(30)
Mathematics, Interdisciplinary Applications
(30)
Chemistry
(28)
Engineering
(28)
Life Sciences & Biomedicine
(25)
Male
(22)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(3)

Menü

Weitere Dienste

Einstellungen

A simple method for power loss estimation in PWM inverter-fed motors

Virtual load with common mode active filtering for power hardware-in-the-loop testing of power electronic converters

Microcontroller-based Walsh function PWM modulation with harmonic injection technique

Self-commissioning of inverter nonlinear effects in AC drives

Design optimization methods of an intelligent controller from a speed control system

Inferring Interval-Valued Floating-Point Preconditions

A dynamic wireless charging system for electric vehicles based on DC/AC converters with SiC MOSFET-IGBT switches and resonant gate-drive

Identification of the magnetic model of permanent magnet synchronous machines using DC-biased low frequency AC signal injection

Maximum efficiency per torque direct flux vector control of induction motor drives

Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

Contract-based program repair without the contracts

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks

Bounded-Memory Runtime Enforcement

Solving String Theories Involving Regular Membership Predicates Using SAT

Automated Consistency Analysis for Legal Contracts

A simple solution for single-phase shunt active power filter with improved sliding mode control

Statistical Model Checking: An Overview

Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench

Synthesis of Rigorous Floating-Point Predicates

Implementation of a three-phase active power filter with sliding mode control

The analysis of the solutions for harmonic elimination PWM bipolar waveform with a specialized differential evolution algorithm

Domain Axioms for a Family of Near-Semirings

Copilot: A Hard Real-Time Runtime Monitor

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time

Suchergebnisse filtern