Blanco, Enrique
34  Ergebnisse:
Personensuche X
?
1

Vocational Education for the Industrial Revolution:

, In: Lecture Notes in Networks and Systems; Smart Industry & Smart Education,
 
?
2

From Natural Language Requirements to the Verification of P..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
 
?
3

Verification of Neural Networks Meets PLC Code: An LHC Cool..:

, In: Engineering Applications of Neural Networks; Communications in Computer and Information Science,
 
?
4

High-Baudrate Silicon Photonics Ring Resonator Modulators f..:

, In: 2023 Asia Communications and Photonics Conference/2023 International Photonics and Optoelectronics Meetings (ACP/POEM),
 
?
5

Simplification of numeric variables for PLC model checking:

, In: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design,
 
?
6

Design and analysis of a voltage ride-through testing solut..:

, In: 2023 25th European Conference on Power Electronics and Applications (EPE'23 ECCE Europe),
 
?
7

Classification of Two-channel Signals by Means of Genetic P..:

, In: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation,
 
?
8

Artificial Cell Systems Based in Gene Expression Protein Ef..:

, In: Advancing Artificial Intelligence through Biological Process Applications,
 
?
11

Artificial Cell Systems Based in Gene Expression Protein Ef..:

, In: Advancing Artificial Intelligence through Biological Process Applications,
 
?
15

Forecasting of Wind Turbine Synthetic Signals Based on Nonl..:

, In: IFIP Advances in Information and Communication Technology; Artificial Intelligence Applications and Innovations,
 
1-15