TY  - JOUR
AU  - Oostdijk, N.H.J.
AU  - Lambooij, M.S.
AU  - Beinema, P.F.
AU  - Wong, A.
AU  - Kunneman, F.A.
AU  - Keizers, P.H.J.
PY  - 2019
UR  - https://hdl.handle.net/2066/206068
TI  - Fora fueling the finding of fortified dietary supplements. An exploratory study directed at monitoring the internet for contaminated food supplements based on the reported effects of their users
SN  - 1932-6203
IS  - iss. 5
JF  - PLoS One
VL  - vol. 14
N1  - 15 mei 2019
DO  - https://doi.org/10.1371/journal.pone.0215858
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/206068/206068.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Kameni, E.D.
AU  - Weide, Th.P. van der
AU  - Groot, W.T. de
PY  - 2019
UR  - https://hdl.handle.net/2066/210239
TI  - From conceptual model to implementation model: Piloting a multi-level case study in Cameroon
EP  - 35
SN  - 1638-5713
SP  - 1
JF  - ARIMA
VL  - vol. 32
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/210239/210239.pdf?sequence=1
ER  - 
TY  - THES
AU  - Bjeković, M.
PY  - 2018
SN  - 9789492380937
UR  - https://hdl.handle.net/2066/180503
PB  - [S.l. : s.n.]
TI  - Pragmatics of Enterprise Modelling Languages: A Framework for Understanding and Explaining
N1  - Radboud University, 12 januari 2018
N1  - Promotor : Proper, H.A. 
Co-promotores : Sottet, J.-S., Hoppenbrouwers, S.J.B.A.
PS  - XIX, 269 p.
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/180503/180503.pdf?sequence=1
ER  - 
TY  - THES
AU  - Kameni, E.D.
PY  - 2018
SN  - 9789402812145
UR  - https://hdl.handle.net/2066/196535
PB  - [S.l. : s.n.]
TI  - Natural Model-based Design in Context for modeling application domain and generating a simulation tool: application for environmental problems
N1  - Radboud University, 5 november 2018
N1  - Promotores : Weide, Th.P. van der, Groot, W.T. de
PS  - xiv, 150 p.
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/196535/196535.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Proper, H.A.
AU  - Bjeković, M.
AU  - Gils, B. van
AU  - Hoppenbrouwers, S.J.B.A.
PY  - 2018
UR  - https://hdl.handle.net/2066/195308
PB  - Cham : Springer International Publishing
TI  - Towards Grounded Enterprise Modelling
EP  - 151
SN  - 9783319738055
SN  - 0302-9743
SP  - 141
CT  - Debruyne, C. (ed.), On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers
JF  - Lecture Notes in Computer Science
N1  - On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017
DO  - https://doi.org/10.1007/978-3-319-73805-5_15
ER  - 
TY  - JOUR
AU  - Kameni, E.D.
AU  - Weide, T. van der
AU  - Groot, W.T. de
PY  - 2017
UR  - https://hdl.handle.net/2066/178701
TI  - Natural Model based Design in Context: an Effective Method for Environmental Problems
EP  - 116
SN  - 2255-9922
IS  - iss. 12
SP  - 86
JF  - Complex Systems Informatics and Modeling Quarterly
VL  - vol. 2017
DO  - https://doi.org/10.7250/csimq.2017-12.05
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/178701/178701.pdf?sequence=1
ER  - 
TY  - BOOK
AU  - Lieshout, M.J. van
AU  - Hoepman, J.-H.
PY  - 2015
SN  - 9789082483505
UR  - https://hdl.handle.net/2066/151610
PB  - Nijmegen : The Privacy & Identity Lab
TI  - The Privacy & Identity Lab. 4 Years Later
PS  - 175 p.
DO  - http://dx.doi.org/10.13140/RG.2.1.1210.7600
ER  - 
TY  - JOUR
AU  - Zarwin, Z.
AU  - Bjekovic, M.
AU  - Favre, M.
AU  - Sottet, J.-S.
AU  - Proper, H.A.
PY  - 2014
UR  - https://hdl.handle.net/2066/130027
TI  - Natural Modelling
EP  - 4(35)
SN  - 1660-1769
IS  - iss. 3
SP  - 4(1)
JF  - Journal of Object Technology
VL  - vol. 13
DO  - http://dx.doi.org/10.5381/jot.2014.13.3.a4
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/130027/130027.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Bjekovic, M.
AU  - Proper, E.
AU  - Sottel, J.-S.
PY  - 2012
UR  - https://hdl.handle.net/2066/103852
PB  - [S.l.] : CEUR
TI  - Towards a coherent enterprise modelling landscape
EP  - 12
SN  - 16130073
SN  - 1613-0073
SP  - 1
CT  - Sandkuhl, K. (ed.), Emerging Topics in the Practice of Enterprise Modeling : short paper proceedings of 5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling, Rostock, Germany, November 7-8, 2012
JF  - Ceur Workshop Proceedings
N1  - 5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling (PoEM), Rostock, Germany, November 7-8, 2012
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/103852/103852.pdf?sequence=1
ER  - 
TY  - CHAP
AU  - Hoepman, J.-H.
AU  - Lieshout, M.J. van
PY  - 2012
UR  - https://hdl.handle.net/2066/103642
PB  - [S.l.] : Eleven International Publishing
TI  - Privacy
EP  - 87
SN  - 9789490947750
SP  - 75
CT  - Leukfeldt, E.R.; Stol, W.P. (ed.), Cyber Safety: An Introduction
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/103642/103642.pdf?sequence=1
ER  - 
TY  - CHAP
AU  - Koster, C.H.A.
AU  - Beney, J.G.
AU  - Verberne, S.
AU  - Vogel, M.
PY  - 2011
UR  - https://hdl.handle.net/2066/92190
PB  - Berlin : Springer Berlin Heidelberg
TI  - Phrase-Based Document Categorization
EP  - 286
SN  - 9783642192319
SP  - 263
CT  - Lupu, M.; Mayer, K.; Tait, J. (ed.), Current Challenges in Patent Information Retrieval
DO  - http://dx.doi.org/10.1007/978-3-642-19231-9_13
ER  - 
TY  - CONF
AU  - Oostdijk, N.H.J.
AU  - Verberne, S.
AU  - Koster, C.H.A.
PY  - 2010
UR  - https://hdl.handle.net/2066/83619
PB  - Malta : European Language Resources Association (ELRA)
TI  - Constructing a broad-coverage lexicon for text mining in the patent domain
EP  - 2299
SP  - 2292
CT  - Proceedings of LREC 2010
N1  - The Seventh conference on International Language Resources and Evaluation (LREC), 17 mei 2010
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/83619/83619.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Verberne, S.
AU  - D'hondt, E.K.L.
AU  - Oostdijk, N.H.J.
AU  - Koster, C.H.A.
PY  - 2010
UR  - https://hdl.handle.net/2066/84168
PB  - [S.l. : s.n.]
TI  - Quantifying the Challenges in Parsing Patent Claims
EP  - 21
SP  - 14
CT  - Proceedings of the 1st International Workshop on Advances in Patent Information Retrieval at ECIR 2010
N1  - the 1st International Workshop on Advances in Patent Information Retrieval (AsPIRe-2010), 28 maart 2010
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/84168/84168.pdf?sequence=1
ER  - 
TY  - CONF
AU  - Koster, C.H.A.
AU  - Oostdijk, N.H.J.
AU  - Verberne, S.
AU  - D'hondt, E.K.L.
PY  - 2009
UR  - https://hdl.handle.net/2066/75287
PB  - Enschede, Nederland : [S.n.]
TI  - Challenges in Professional Search with PHASAR
EP  - 102
SP  - 101
CT  - Proceedings of the Dutch-Belgian Information Retrieval workshop (DIR 2009)
N1  - Dutch-Belgian Information Retrieval workshop, 2 februari 2009
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/75287/75287.pdf?sequence=1
ER  - 
TY  - CONF
AU  - O'Connor, Russell
PY  - 2008
UR  - https://hdl.handle.net/2066/32281
AB  - Reasoning about real number expressions in a proof assistant is challenging. Several problems in theorem proving can be solved by using exact real number computation. I have implemented a library for reasoning and computing with complete metric spaces in the Coq proof assistant and used this library to build a constructive real number implementation including elementary real number functions and proofs of correctness. Using this library, I have created a tactic that automatically proves strict inequalities over closed elementary real number expressions by computation.
PB  - New York : Springer
TI  - Certified exact transcendental real number computation in Coq
EP  - 261
SN  - 9783540710677
SN  - 9783540710653
SP  - 246
CT  - Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (ed.) Theorem proving in higher order logic : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/32281/certextrr.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Duysens, J.E.J.
AU  - Tax, A.A.M.
AU  - Murrer, L.
AU  - Dietz, V.
PY  - 1996
UR  - https://hdl.handle.net/2066/123895
AB  - 1. The phase-dependent modulation of medium-latency (P2) (70-80 ms) responses in semitendinosus (ST), biceps femoris (BF), rectus femoris (RF), and tibialis anterior (TA) was studied with the use of low-intensity stimulation (2 times perception threshold) of the sural nerve. The shocks were given in a random order at 16 phases of the step cycle in 10 normal subjects during forward walking (FW) or backward walking (BW) on a treadmill. 2. All subjects exhibited P2 responses in all muscles studied both during BW and FW. The amplitude of the facilitatory P2 responses showed phase-dependent changes that could not have been predicted on the basis of the variations in background activity throughout the step cycle. 3. During FW, the P2 facilitatory responses in BF were large (with respect to the background activity) throughout the whole step cycle except for a short period near the end of the swing phase. In ST the responses were smaller and appeared primarily at the end of the stance phase and during the first part of the swing phase. During the second half of swing the P2 responses were basically suppressive. A modulation pattern similar to the one in ST was found in RF and TA, except that there was no reversal to suppressive responses in the swing phase in RF. Instead, a reduction in the amplitude of the facilitatory P2 responses occurred. 4. During BW, the modulation pattern recorded in the same subjects was different from the one seen during FW. Large facilitatory P2 responses were present in all muscles in middle and late swing. In the first half of stance the responses were most prominently seen in BF and RF. At the end of stance and/or at the onset of swing the facilitatory responses decreased in amplitude (BF and RF) or reversed to P2 suppressions (ST and TA). 5. We conclude that there are both facilitatory and suppressive pathways from the sural nerve to the leg muscles studied and that the balance of activity in these paths is phase dependent during both FW and BW. It is suggested that the phase-dependent modulation of P2 responses could largely rely on a central motor program. During BW the same motor program is used as during FW, but possibly running in reverse, thereby causing a shift both in the timing of the reflex reversal and in the periods of reflex suppression.
TI  - Backward and forward walking use different patterns of phase-dependent modulation of cutaneous reflexes in humans
EP  - 310
SN  - 0022-3077
IS  - iss. 1
SP  - 301
JF  - Journal of Neurophysiology
VL  - vol. 76
DO  - https://doi.org/10.1152/jn.1996.76.1.301
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/123895/123895.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Koster, C.H.A.
AU  - Weide, T.P. van der
PY  - 1995
UR  - https://hdl.handle.net/2066/27604
PB  - Cambridge univ press
TI  - Hairy search trees
EP  - 694
SN  - 0010-4620
IS  - iss. 8
SP  - 691
JF  - The Computer Journal
VL  - vol. 38
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/27604/27604___.PDF?sequence=1
ER  - 
TY  - JOUR
AU  - Duysens, J.E.J.
AU  - Tax, A.A.M.
AU  - Nawijn, S.E.
AU  - Berger, W.
AU  - Prokop, T.
AU  - Altenmuller, E.
PY  - 1995
UR  - https://hdl.handle.net/2066/123963
TI  - Gating of sensation and evoked potentials following foot stimulation during human gait
EP  - 431
SN  - 0014-4819
SP  - 423
JF  - Experimental Brain Research
VL  - vol. 105
ER  - 
TY  - JOUR
AU  - Tax, A.A.M.
AU  - Wezel, B.M.H. van
AU  - Dietz, V.
PY  - 1995
UR  - https://hdl.handle.net/2066/174111
TI  - Bipedal reflex coordination to tactile stimulation of the sural nerve during human running
EP  - 1964
SN  - 0022-3077
SP  - 1947
JF  - Journal of Neurophysiology
VL  - vol. 73
DO  - https://doi.org/10.1152/jn.1995.73.5.1947
ER  - 
TY  - CHAP
AU  - Duysens, J.E.J.
AU  - Tax, A.A.M.
PY  - 1994
UR  - https://hdl.handle.net/2066/123987
PB  - San Diego : Academic
TI  - Interlimb reflexes during gait in cat and human
EP  - 126
SN  - 0126792704
SP  - 97
CT  - Swinnen, S.P. (ed.), Interlimb Coordination: Neural, dynamical, and cognitive constraints
ER  - 
TY  - CHAP
AU  - Wezel, B.M.H. van
AU  - Tax, A.A.M.
AU  - Duysens, J.E.J.
AU  - Gielen, C.C.A.M.
AU  - Dietz, V.
PY  - 1994
UR  - https://hdl.handle.net/2066/123983
PB  - Nijmegen : Stg World Biomechanics
TI  - Bipedal synergy of cutaneous reflex responses during human running
SN  - 9090072977
CT  - Second World Congress of Biomechanics. Abstracts. Volume I
ER  - 
TY  - JOUR
AU  - Duysens, J.E.J.
AU  - Tax, A.A.M.
AU  - Wezel, B.M.H. van
AU  - Berger, W.
AU  - Prokop, T.
AU  - Dietz, V.
PY  - 1994
UR  - https://hdl.handle.net/2066/123985
AB  - During movement, there often is a need to control the movement generated sensory input and its perception. A movement related increase in detection threshold of cutaneous stimuli has been demonstrated by several authors (Coquery, 1978; Dyhre-Poulson, 1978). Most studies have concentrated on cutaneous sensation of the hand. In contrast, little is known about movement related modulation of transmission from cutaneous afferents from the foot in humans. To investigate how gait influences the perceived intensity of cutaneous input from the skin of the foot, the tibial or sural nerve was stimulated at the ankle during walking or running on a treadmill in a series of volunteers (with approval of the ethical committee). The task of the subjects was either to verbally report the detection of a stimulus or to press a hand-held force transducer with a force which was equivalent to the intensity of the sensation. As compared to standing, the detection threshold for these stimuli was raised by more than 30 % during locomotion. This relative insensitivity during gait was correlated with a reduction in evoked activity. Following sural nerve stimulation, the amplitude of somatosensory evoked potentials (SEP, P40- N80 complex), recorded at scalp level, was on average 62 % of the level during standing. Moreover, during walking there was a phase-dependent modulation in perceived intensity for all stimulus levels used (in the range between 1-5 and 2-5 times the perception threshold measured while standing). Shocks given just prior to footfall, were perceived as more intense than shocks of equal intensity given in other parts of the step cycle. In contrast there was a decrease in sensitivity for stimuli delivered immediately after ipsi- and contralateral footfall. In agreement with this, during gait the amplitude of the SEP was larger than average at the end of the swing phase and smaller just after foot fall of the stimulated leg. The reduced sensation and the decrease in amplitude of the evoked potentials after touchdown are thought to be due to occlusion or masking by concomitant afferent input from the foot. The phasic increase in sensitivity at end swing may result from a centrally generated facilitation of sensory transmission of signals related to anticipated touchdown.
TI  - Cutaneous sensation and evoked potentials following foot stimulation are gated during human gait
EP  - 28
SN  - 0022-3751
SP  - 28
JF  - Journal of Physiology
VL  - vol. 479
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/123985/123985.pdf?sequence=1
ER  - 
TY  - JOUR
AU  - Geuvers, J.H.
AU  - Nederhof, MJ
PY  - 1991
UR  - https://hdl.handle.net/2066/104056
TI  - Modular Proof of Strong Normalization for the Calculus of Constructions
EP  - 189
SN  - 0956-7968
IS  - iss. 2
SP  - 155
JF  - Journal of Functional Programming
VL  - vol. 1
L1  - https://repository.ubn.ru.nl/bitstream/handle/2066/104056/104056.pdf?sequence=1
ER  -