E-LIB Suche - Ergebnisse für: van Dijk, Jaco

1

Incentives and barriers for R&D-based SMEs to participate i..:

Faber, Jan ; van Dijk, Jaco ; van Rijnsoever, Frank
Science and Public Policy. 43 (2015) 3 - p. 414-428 , 2015

2

Interdependent technology attributes and the diffusion of c..:

van Rijnsoever, Frank J. ; van Hameren, Daan ; Walraven, Peter F.G..
Telematics and Informatics. 26 (2009) 4 - p. 410-420 , 2009

Link: https://doi.org/10.1016/..

3

Identifying critical inhalation technique errors in Dry Pow..:

Kocks, Janwillem ; Bosnic-Anticevich, Sinthia ; van Cooten, Joyce...
BMC Pulmonary Medicine. 23 (2023) 1 - p. , 2023

Link: https://doi.org/10.1186/..

4

Multi-core On-The-Fly Saturation:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

van Dijk, Tom ; Meijer, Jeroen ; van de Pol, Jaco - p. 58-75 , 2019

Link: https://doi.org/10.1007/..

5

Distributed binary decision diagrams for symbolic reachabil..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Oortwijn, Wytse ; Dijk, Tom van ; Pol, Jaco van de - p. 21-30 , 2017

Link: https://dl.acm.org/doi/1..

6

Multi-core symbolic bisimulation minimisation:

van Dijk, Tom ; van de Pol, Jaco
International Journal on Software Tools for Technology Transfer. 20 (2017) 2 - p. 157-177 , 2017

Link: https://doi.org/10.1007/..

7

Sylvan: multi-core framework for decision diagrams:

van Dijk, Tom ; van de Pol, Jaco
International Journal on Software Tools for Technology Transfer. 19 (2016) 6 - p. 675-696 , 2016

Link: https://doi.org/10.1007/..

8

On-chip microwave photonic beamformer circuits operating wi..:

Zhuang, Leimeng ; Hoekman, Marcel ; Taddei, Caterina...
Optics Express. 22 (2014) 14 - p. 17079 , 2014

Link: https://doi.org/10.1364/..

9

Exploring design scenarios for large-scale implementation o..:

Silvester, Sacha ; Beella, Satish Kumar ; van Timmeren, Arjan...
Journal of Cleaner Production. 48 (2013) - p. 211-219 , 2013

Link: https://doi.org/10.1016/..

10

Multi-Core BDD Operations for Symbolic Reachability:

van Dijk, Tom ; Laarman, Alfons ; van de Pol, Jaco
Electronic Notes in Theoretical Computer Science. 296 (2013) - p. 127-143 , 2013

Link: https://doi.org/10.1016/..

11

Kinase activities in pancreatic ductal adenocarcinoma with ..:

Vallés‐Martí, Andrea ; de Goeij‐de Haas, Richard R. ; Henneman, Alex A....
Molecular Oncology. 18 (2024) 8 - p. 2020-2041 , 2024

Link: https://doi.org/10.1002/..

12

The effect of left bundle branch block on left ventricular ..:

van der Land, Vroni ; Germans, Tjeerd ; van Dijk, Jeroen...
The International Journal of Cardiovascular Imaging. 23 (2006) 4 - p. 529-536 , 2006

Link: https://doi.org/10.1007/..

13

Identifying critical inhalation technique errors in Dry Pow..:

Kocks, Janwillem ; Bosnic-Anticevich, Sinthia ; van Cooten, Joyce...
https://research.rug.nl/en/publications/1302dd99-414d-4579-8e61-1bf90c5b4ac6. , 2023

Link: https://hdl.handle.net/1..

14

Identifying critical inhalation technique errors in Dry Pow..:

Kocks, Janwillem ; Bosnic-Anticevich, Sinthia ; van Cooten, Joyce...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10433653/. , 2023

Link: http://www.ncbi.nlm.nih...

15

Identifying critical inhalation technique errors in Dry Pow..:

Kocks, Janwillem ; Bosnic-Anticevich, Sinthia ; van Cooten, Joyce...
BMC Pulmonary Medicine. , 2023

Link: https://hdl.handle.net/2..