- document
-
Makrodimitris, S. (author), Pronk, I.B. (author), Abdelaal, T.R.M. (author), Reinders, M.J.T. (author)Multi-omic analyses are necessary to understand the complex biological processes taking place at the tissue and cell level, but also to make reliable predictions about, for example, disease outcome. Several linear methods exist that create a joint embedding using paired information per sample, but recently there has been a rise in the...review 2024
- document
-
Ruiz Hadad, L. (author), Ali, Muhammad (author), Pronk, M. (author), van Loosdrecht, Mark C.M. (author), Saikaly, Pascal E. (author)Currently, the most cost-effective and efficient method for phosphorus (P) removal from wastewater is enhanced biological P removal (EPBR) via polyphosphate-accumulating organisms (PAOs). This study integrates a literature review with genomic analysis to uncover the phylogenetic and metabolic diversity of the relevant PAOs for wastewater...review 2024
- document
-
Mans, R. (author), Daran, J.G. (author), Pronk, J.T. (author)Evolutionary engineering, which uses laboratory evolution to select for industrially relevant traits, is a popular strategy in the development of high-performing yeast strains for industrial production of fuels and chemicals. By integrating whole-genome sequencing, bioinformatics, classical genetics and genome-editing techniques, evolutionary...review 2018
- document
- Rossum, Harmen M. (author), Kozak, B.U. (author), Pronk, J.T. (author), van Maris, A.J.A. (author) review 2016
- document
-
Pronk, C.N.A. (author), Visser, F.B. (author), Sijmonsma, R.M.M. (author)Within the studies on Advanced Man-Machine Interfaces and Crew Support (AMMI&CS), being part of the Crew Workstation Testbed activities at ESTEC, a Dutch consortium is preparing the implementation of the User Support Organisation (USO) concept in a ground-based mission simulation. The objective of the Implementation study is to demonstrate and...report 1993
- document
-
Broekhuis, S. (author), Koppert, C. (author), Pronk, K.M.A. (author)Document(en) uit de collectie Chemische Procestechnologiereport 1970
- document
- Pronk, J. (author) report 1998
- document
- Pronk, J. (author) report 1999
- document
- Pronk, J. (author) report 1999
- document
-
Pronk, Z. (author), van Woerkom, P.T.L.M. (author)Computer simulation and testing of zero-gravity operations in support of development of space structures becomes more and more standard. Yet, the need for hardware simulation and test facilities representing zero-gravity conditions remains necessary, because of the strong requirements for verification and validation of system responses and model...report 1995
- document
- Pronk, C.N.A. (author), Koopman, N. (author), de Hoop, D. (author) report 1992
- document
-
Pronk, C.N.A. (author), Elfving, A. (author), Ersu, E. (author), Lippay, A.L. (author)Recently, the European Space Agency (ESA) initiated studies for definition of a facility for simulation of space operations, involving space manipulators and other in orbit servicing and assembly systems. This European Robotic Operations Simulator (EUROSIM) shall be used in all system and operation development phases.report 1987
- document
-
Rendezvous and docking and space robotics proximity operations: part III: test bed conceptual designPrins, J.J.M. (author), Pronk, C.N.A. (author)In the framework of ESA's Columbus programme, Europe has to master new space operations such as remotely and/or automatically controlled rendezvous and docking (RVD) and manipulation. The need for a test bed for development and verifcation of the critical proximity operations involved was identified. This report presents the results of a study...report 1985
- document
- Pronk, C. (author) report 1972
- document
-
Pronk, C. (author)This paper presents a study on modeling and verifying the kernel of Real-Time Operating Systems (RTOS). The study will show advances in formally verifying such an RTOS both by refinement and by model checking approaches. This work fits in the context of Hoare’s verification challenge. Several real-time operating systems will be discussed...report 2010
- document
-
Dieleman, P. (author), Pronk, C.N.A. (author)A short study has been carried out by NLR to identify Research and Development (R&D) areas in the field of Automation and Robotics (A&R) for space applications which may be relevant for Dutch space industry to participate in. The report at hand gives an overview of space A&R activities and a preliminary identification of R&D topics, whereby...report 1990
- document
-
Brouwer, M.P.A.M. (author), Pronk, Z. (author), Visser, F.B. (author), de Haas, J. (author)At the early beginning (1989) of implementation of the European User Support Organisation (USO) concept, development and implementation of a Dutch Utilisation Centre (DUC) started at NLR premises. After development of several pilot DUC facilities, DUC participated in a Columbus simulation mission and in the 2nd International Micro-gravity...report 1996
- document
-
Pronk, Z. (author), de Haas, J. (author)This report contains a description of work performed under contract with the "Nederlands Instituut vor Vliegtuigontwikkeling en Ruimtevaart, NIVR". The objective of the work was to implement and demonstrate a real-time simulation package in the development and test environment of the NLR Teleoperations and Robotics laboratory. Originally,...report 1996
- document
- Pronk, J. (author) report 1998
- document
-
Slippens, C.P.R.C. (author), Pronk, C.N.A. (author)Tijdens de COSPAR meeting in Den Haag van 25 juni tot en met 7 juli 1990 werd in het Congres centrum een tentoonstelling ingericht waar het Nederlandse bedrijfsleven onder stimulans van het NIVR een gezamenlijke inbreng demonstreerde met betrekking tot gebruikers-ondersteuning bij experimenten in de ruimte. De gezamenlijke presentatie van...report 1991