Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
van Hulst, M.
10  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Formal verification techniques: industrial status and persp..:

, In: Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition,
Moussa, I. ; Pacalet, R. ; Blasquez, J.... - p. 1050 , 2002
Link: https://doi.org/10.1109/..
 
?
2

REL: An Entity Linker Standing on the Shoulders of Giants:

, In: Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval,
van Hulst, Johannes M. ; Hasibi, Faegheh ; Dercksen, Koen.. - p. 2197-2200 , 2020
Link: https://dl.acm.org/doi/1..
 
?
3

Bayesian Estimation for Linear Systems with Nonlinear Outpu..:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
van Zuijlen, R.A.C. ; van Hulst, J.S. ; Heemels, W.P.M.H.. - p. 2166-2171 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Estimation of Dynamic Gaussian Processes:

, In: 2023 62nd IEEE Conference on Decision and Control (CDC),
Van Hulst, Jilles ; Van Zuijlen, Roy ; Antunes, Duarte. - p. 3206-3211 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Analysis and insights from reactive power measurements of l..:

, In: 27th International Conference on Electricity Distribution (CIRED 2023),
Vanin, M. ; Ergun, H. ; D'Hulst, R... - p. None , 2023
Link: https://doi.org/10.1049/..
 
?
6

Market-based flexibility services for congestion management..:

, In: 27th International Conference on Electricity Distribution (CIRED 2023),
Brummund, D. ; Milzer, G. ; D'Hulst, R.... - p. None , 2023
Link: https://doi.org/10.1049/..
 
?
7

Determining the remaining lifespan of concrete structures:

, In: Life-Cycle of Engineering Systems: Emphasis on Sustainable Civil Infrastructure,
Groeneweg, T.W. ; van Hulst, J.G.A. ; Reinders, J.G.A.M. - p. 2086-2090 , 2016
Link: https://doi.org/10.1201/..
 
?
8

Maximal Synthesis for Hennessy-Milner Logic:

, In: 2013 13th International Conference on Application of Concurrency to System Design,
van Hulst, A.C. ; Reniers, M.A. ; Fokkink, W. J. - p. 1-10 , 2013
Link: https://doi.org/10.1109/..
 
?
9

CONTRIBUTORS:

, In: Mechanical Ventilation,
Apostolakos, Michael J. ; Badia, Joan R. ; Bagshaw, Sean M.... - p. xiii-xvii , 2008
Link: https://doi.org/10.1016/..
 
?
10

Single molecule femtosecond dynamics in an excitonicaly cou..:

, In: InternationalQuantum Electronics Conference, 2004. (IQEC).,
van Dijk, Erik M.H.P. ; Hernando, Jordi ; Garcia-Parajo, Maria F.. - p. 807-807 , 2004
Link: https://doi.org/10.1364/..
 
1-10