UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 14.737

Sortiert nach

Peak load estimation of renewable energy generation based on imitator dynamic algorithm

Energy Informatics, 2024-12, Vol.7 (1), p.4-18, Article 4

2024

Link zum Volltext

Verfügbarkeit prüfen

Decidable problems in substitution shifts

Journal of computer and system sciences, 2024-08, Vol.143, Article 103529

2024

Link zum Volltext

Verfügbarkeit prüfen

Prenex universal first-order safety properties

Information processing letters, 2024-08, Vol.186, Article 106488

2024

Link zum Volltext

Verfügbarkeit prüfen

Schematic Program Proofs with Abstract Execution: Theory and Applications

Journal of automated reasoning, 2024-06, Vol.68 (2)

2024

Link zum Volltext

Verfügbarkeit prüfen

Formal analytics for stealthy attacks against Contingency Analysis in power grids

Sustainable Energy, Grids and Networks, 2024-06, Vol.38, Article 101310

2024

Link zum Volltext

Verfügbarkeit prüfen

Identifying codewords in general Reed-Muller codes and determining their weights

AIMS mathematics, 2024-05, Vol.9 (5), p.10609-10637

Claude Carlet

2024

Link zum Volltext

Verfügbarkeit prüfen

Adoption of blockchain + Internet of Things in demand forecasting of farm supply chain

Expert systems, 2024-05, Vol.41 (5), p.n/a

2024

Link zum Volltext

Verfügbarkeit prüfen

Regression test selection in test-driven development

Automated software engineering, 2024-05, Vol.31 (1), Article 9

2024

Link zum Volltext

Verfügbarkeit prüfen

Effective speed control of brushless DC motor using cascade 1PDf-PI controller tuned by snake optimizer

Neural computing & applications, 2024-05, Vol.36 (13), p.7439-7454

2024

Link zum Volltext

Verfügbarkeit prüfen

Automated quantum software engineering

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

Sarkar, Aritra

2024

Link zum Volltext

Verfügbarkeit prüfen

Medical, dental, and nursing students' attitudes and knowledge towards artificial intelligence: a systematic review and meta-analysis

BMC medical education, 2024-04, Vol.24 (1), p.412-412

2024

Link zum Volltext

Verfügbarkeit prüfen

Proof of intelligence?

New scientist (1971), 2024-04, Vol.262 (3486), p.32-35

Wilkins, Alex

2024

Link zum Volltext

Verfügbarkeit prüfen

Swin-cryoEM: Multi-class cryo-electron micrographs single particle mixed detection method

PloS one, 2024-04, Vol.19 (4), p.e0298287-e0298287

2024

Link zum Volltext

Verfügbarkeit prüfen

Exploring chemistry and additive manufacturing design spaces: a perspective on computationally-guided design of printable alloys

Materials research letters, 2024-04, Vol.12 (4), p.235-263

2024

Link zum Volltext

Verfügbarkeit prüfen

Uncertainty‐aware refinement framework for ovarian tumor segmentation in CECT volume

Medical physics (Lancaster), 2024-04, Vol.51 (4), p.2678-2694

2024

Link zum Volltext

Verfügbarkeit prüfen

An Algorithm for Calculating the Parameter Selection Area of a Doubly-Fed Induction Generator Based on the Guardian Map Method

Mathematics (Basel), 2024-04, Vol.12 (7), p.1044

2024

Link zum Volltext

Verfügbarkeit prüfen

Algebraic Recognition Approach in IoT Ecosystem

Mathematics (Basel), 2024-04, Vol.12 (7), p.1086

2024

Link zum Volltext

Verfügbarkeit prüfen

Liquid-Driven Microinjection System for Precise Fundus Injection

Sensors (Basel, Switzerland), 2024-04, Vol.24 (7), p.2140

2024

Link zum Volltext

Verfügbarkeit prüfen

A proof system of the CaIT calculus

Frontiers of Computer Science, 2024-04, Vol.18 (2), p.182401, Article 182401

2024

Link zum Volltext

Verfügbarkeit prüfen

Smartphone-Derived Seismocardiography: Robust Approach for Accurate Cardiac Energy Assessment in Patients with Various Cardiovascular Conditions

Sensors (Basel, Switzerland), 2024-04, Vol.24 (7), p.2139

2024

Link zum Volltext

Verfügbarkeit prüfen

Neural Networks Based-Adaptive Control of Nonlinear Ship Manoeuvring System

Journal of control, automation & electrical systems, 2024-04, Vol.35 (2), p.314-325

2024

Link zum Volltext

Verfügbarkeit prüfen

Non-separation Method-Based Global Stability Criteria for Takagi–Sugeno Fuzzy Quaternion-Valued BAM Delayed Neural Networks Using Quaternion-valued Auxiliary Function-Based Integral Inequality

Neural processing letters, 2024-04, Vol.56 (2), p.101

2024

Link zum Volltext

Verfügbarkeit prüfen

To Analyze the Various Machine Learning Algorithms That Can Effectively Process Large Volumes of Data and Extract Relevant Information for Personalized Travel Recommendations

SN computer science, 2024-04, Vol.5 (4), p.336

2024

Link zum Volltext

Verfügbarkeit prüfen

Requirement specification extraction and analysis based on propositional projection temporal logic

Journal of software : evolution and process, 2024-04, Vol.36 (4), p.n/a

2024

Link zum Volltext

Verfügbarkeit prüfen

Universal approximation property of stochastic configuration networks for time series

INDUSTRIAL ARTIFICIAL INTELLIGENCE, 2024-03, Vol.2 (1), p.1-17

2024

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 14.737

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(9.962)
Mit Volltextzugriff
(14.590)

Publikationsform

8 weitere anzeigen...

Weniger anzeigen...

Sprache

11 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(8.642)
Technology
(6.532)
Computer Science
(6.142)
Mathematics
(3.050)
Physical Sciences
(2.866)
Computer Science, Software Engineering
(2.308)
Computer Science, Theory & Methods
(2.084)
Artificial Intelligence
(1.862)
Algorithms
(1.668)
Engineering
(1.645)
Exact Sciences And Technology
(1.605)
Applied Sciences
(1.365)
Computer Science; Control Theory; Systems
(1.270)
Computer Science, Artificial Intelligence
(1.260)
Mathematics, Applied
(1.260)
Software
(1.130)
Software Engineering
(1.059)
Engineering, Electrical & Electronic
(900)
Computer Science, Information Systems
(850)
Logic
(811)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

IngentaConnect
(5.375)
ACM Digital Library
(3.540)
Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
(2.871)
Springer Online Journals Complete
(2.535)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(2.157)
Ebook Central Perpetual and DDA
(2.025)
Springer Book Series
(2.018)
eBooks on EBSCOhost
(1.988)
Springer Books
(1.678)
IngentaConnect Journals
(1.368)
Journals@Ovid Ovid Full Text
(1.167)
Business Source Ultimate
(1.097)
IEEE Electronic Library (IEL)
(897)
Wiley Online Library All Journals
(753)
JSTOR Archive Collection A-Z Listing
(752)
Taylor & Francis Current Content Access
(619)
Taylor & Francis:Master (3349 titles)
(601)
Wiley Online Library Full Collection 2018
(557)
Cambridge Journals Online (DEFF)
(495)
ScienceDirect Journals (5 years ago - present)
(350)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Peak load estimation of renewable energy generation based on imitator dynamic algorithm

Decidable problems in substitution shifts

Prenex universal first-order safety properties

Schematic Program Proofs with Abstract Execution: Theory and Applications

Formal analytics for stealthy attacks against Contingency Analysis in power grids

Identifying codewords in general Reed-Muller codes and determining their weights

Adoption of blockchain + Internet of Things in demand forecasting of farm supply chain

Regression test selection in test-driven development

Effective speed control of brushless DC motor using cascade 1PDf-PI controller tuned by snake optimizer

Automated quantum software engineering

Medical, dental, and nursing students' attitudes and knowledge towards artificial intelligence: a systematic review and meta-analysis

Proof of intelligence?

Swin-cryoEM: Multi-class cryo-electron micrographs single particle mixed detection method

Exploring chemistry and additive manufacturing design spaces: a perspective on computationally-guided design of printable alloys

Uncertainty‐aware refinement framework for ovarian tumor segmentation in CECT volume

An Algorithm for Calculating the Parameter Selection Area of a Doubly-Fed Induction Generator Based on the Guardian Map Method

Algebraic Recognition Approach in IoT Ecosystem

Liquid-Driven Microinjection System for Precise Fundus Injection

A proof system of the CaIT calculus

Smartphone-Derived Seismocardiography: Robust Approach for Accurate Cardiac Energy Assessment in Patients with Various Cardiovascular Conditions

Neural Networks Based-Adaptive Control of Nonlinear Ship Manoeuvring System

Non-separation Method-Based Global Stability Criteria for Takagi–Sugeno Fuzzy Quaternion-Valued BAM Delayed Neural Networks Using Quaternion-valued Auxiliary Function-Based Integral Inequality

To Analyze the Various Machine Learning Algorithms That Can Effectively Process Large Volumes of Data and Extract Relevant Information for Personalized Travel Recommendations

Requirement specification extraction and analysis based on propositional projection temporal logic

Universal approximation property of stochastic configuration networks for time series

Suchergebnisse filtern