- 150 - 200 out of 149,560 results
- Publication Year, Title (descending)
A formal proof of Hensel's lemma over the p-adic integers
Lewis, R. Y., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 15-26 12 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
A Formal Proof of the Expressiveness of Deep Learning
Bentkamp, A., Blanchette, J. C. & Klakow, D., Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 347-368Research output: Contribution to Journal › Article › Academic › peer-review
A Framework for Citing Nanopublications
Fabris, E., Kuhn, T. & Silvello, G., 2019, Digital Libraries for Open Knowledge: 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Proceedings. Doucet, A., Isaac, A., Golub, K., Aalberg, T. & Jatowt, A. (eds.). Springer Verlag, p. 70-83 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11799 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Afschaffing (niet-girale) aandelen aan toonder
van Veen, W. J. M., 22 Jun 2019, In : WPNR. 150, 7244, p. 491-494 4 p.Research output: Contribution to Journal › Article › Professional
Afstand of nabijheid? Publiek-private relaties rondom normovertredend gedrag van werknemers
Meerts, C., 2019, In : Tijdschrift voor Bijzonder Strafrecht en Handhaving. 2019, 2Research output: Contribution to Journal › Article › Academic › peer-review
Afterword
Murray, J., Swennen, A. & Kosnik, C., 2019, International Research, Policy and Practice in Teacher Education. Springer International Publishing Switzerland, p. 203-209 7 p. (International Research, Policy and Practice in Teacher Education).Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
A Fully Polynomial Time Approximation Scheme for Packing While Traveling
Neumann, F., Polyakovskiy, S., Skutella, M., Stougie, L. & Wu, J., 1 Jan 2019, Algorithmic Aspects of Cloud Computing - 4th International Symposium, ALGOCLOUD 2018, Revised Selected Papers. Disser, Y. & Verykios, V. S. (eds.). Springer Verlag, p. 59-72 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11409 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
A functional trait approach to identifying life history patterns in stochastic environments
Smallegange, I. M. & Berg, M. P., Aug 2019, In : Ecology and Evolution. 9, 16, p. 9350-9361 12 p.Research output: Contribution to Journal › Article › Academic › peer-review
Afvalbeleid kan doelmatiger
Gradus, R. H. J. M. & Dijkgraaf, E., 14 Feb 2019, In : Economisch Statistische Berichten. 104, 4770, p. 68-70 3 p., 5.Research output: Contribution to Journal › Article › Professional
Afwijzing in de klas: de rol van taalvaardigheid
van der Wilt, F. M. & van der Veen, C., 2019, (Accepted/In press) In : Zorgbreed.Research output: Contribution to Journal › Article › Professional
Against All Odds: Exploring wellbeing transformation with mothers of disabled children from poor urban settlements in Southern Africa
van der Mark, E. J., 2019, 242 p.Research output: PhD Thesis › PhD Thesis - Research VU, graduation VU › Academic
Against Quasi-Fideism
de Ridder, G. J., 2019, (Accepted/In press) In : Faith and Philosophy.Research output: Contribution to Journal › Article › Academic › peer-review
Age and Gender Effects in Sensitivity to Social Rewards in Adolescents and Young Adults
Altikulaç, S., Bos, M. G. N., Foulkes, L., Crone, E. A. & van Hoorn, J., 29 Jul 2019, In : Frontiers in Behavioral Neuroscience. 13, JULY, p. 1-11 11 p., 171.Research output: Contribution to Journal › Article › Academic › peer-review
Age Difference in the Clinical Encounter: Intersectionality and Phenomenology
Eilenberger, H. G., Halsema, A. & Slatman, J., Feb 2019, In : the American Journal of Bioethics. 19, 2, p. 32-34 3 p.Research output: Contribution to Journal › Comment / Letter to the editor › Academic
Agency and Time Representation in English and Dutch Speakers
Loermans, A. C., de Koning, B. B. & Krabbendam, L., 1 Jun 2019, In : Journal of Language and Social Psychology. 38, 3, p. 353-375 23 p.Research output: Contribution to Journal › Article › Academic › peer-review
A generalized parallel task model for recurrent real-time processes
Bonifaci, V., Wiese, A., Baruah, S. K., Marchetti-Spaccamela, A., Stiller, S. & Stougie, L., 1 May 2019, In : ACM Transactions on Parallel Computing. 6, 1, 3.Research output: Contribution to Journal › Article › Academic › peer-review
A Genetic Investigation of the Well-Being Spectrum
Baselmans, B. M. L., van de Weijer, M. P., Abdellaoui, A., Vink, J. M., Hottenga, J. J., Willemsen, G., Nivard, M. G., de Geus, E. J. C., Boomsma, D. I. & Bartels, M., 15 May 2019, In : Behavior Genetics. 49, 3, p. 286-297 12 p.Research output: Contribution to Journal › Article › Academic › peer-review
A genome-scale metabolic network of the aroma bacterium Leuconostoc mesenteroides subsp. cremoris
Özcan, E., Selvi, S. S., Nikerel, E., Teusink, B., Toksoy Öner, E. & Çakır, T., 1 Jan 2019, In : Applied Microbiology and Biotechnology.Research output: Contribution to Journal › Article › Academic › peer-review
A geophysical-geochemical approach to the study of the paleogene julian-slovenian basin “megabeds” (Southern alps-northwestern dinarides, Italy/Slovenia)
Ogata, K., Pogačnik, Ž., Tunis, G., Pini, G. A., Festa, A. & Senger, K., 3 Apr 2019, In : Geosciences (Switzerland). 9, 4, p. 1-17 17 p., 155.Research output: Contribution to Journal › Article › Academic › peer-review
Age-related differences in neural spectral power during motor learning
Rueda-Delgado, L. M., Heise, K. F., Daffertshofer, A., Mantini, D. & Swinnen, S. P., May 2019, In : Neurobiology of Aging. 77, p. 44-57 14 p.Research output: Contribution to Journal › Article › Academic › peer-review
Age-Related DNA Methylation Changes: Potential Impact on Skeletal Muscle Aging in Humans
Gensous, N., Bacalini, M. G., Franceschi, C., Meskers, C. G. M., Maier, A. B. & Garagnani, P., 2019, In : Frontiers in Physiology. 10, p. 996Research output: Contribution to Journal › Review article › Academic › peer-review
Agglomeration and Human Capital Spillovers: Identification and Spatial Scope
Verstraten, P. W. A. H., 2019, 203 p.Research output: PhD Thesis › PhD Thesis - Research VU, graduation VU › Academic
Aggregation of Linked Data: A case study in the cultural heritage domain
Freire, N., Meijers, E., De Valk, S., Voorburg, R., Isaac, A. & Cornelissen, R., 22 Jan 2019, Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018. Song, Y., Liu, B., Lee, K., Abe, N., Pu, C., Qiao, M., Ahmed, N., Kossmann, D., Saltz, J., Tang, J., He, J., Liu, H. & Hu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 522-527 6 p. 8622348Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Aggregation of linked data in the cultural heritage domain: A case study in the Europeana network
Freire, N., Voorburg, R., Cornelissen, R., de Valk, S., Meijers, E. & Isaac, A., Aug 2019, In : Information (Switzerland). 10, 8, p. 1-15 15 p., 252.Research output: Contribution to Journal › Article › Academic › peer-review
Aggressive behaviour in childhood and adolescence: the role of smoking during pregnancy, evidence from four twin cohorts in the EU-ACTION consortium
Malanchini, M., Smith-Woolley, E., Ayorech, Z., Rimfeld, K., Krapohl, E., Vuoksimaa, E., Korhonen, T., Bartels, M., van Beijsterveldt, T. C. E. M., Rose, R. J., Lundström, S., Anckarsäter, H., Kaprio, J., Lichtenstein, P., Boomsma, D. I. & Plomin, R., Mar 2019, In : Psychological Medicine. 49, 4, p. 646-654 9 p.Research output: Contribution to Journal › Article › Academic › peer-review
Agile earth observation satellite scheduling: An orienteering problem with time-dependent profits and travel times
Peng, G., Dewil, R., Verbeeck, C., Gunawan, A., Xing, L. & Vansteenwegen, P., 1 Nov 2019, In : Computers and Operations Research. 111, p. 84-98 15 p.Research output: Contribution to Journal › Article › Academic › peer-review
A global multi-hazard risk analysis of road and railway infrastructure assets
Koks, E. E., Rozenberg, J., Zorn, C., Tariverdi, M., Vousdoukas, M., Fraser, S. A., Hall, J. W. & Hallegatte, S., 25 Jun 2019, In : Nature Communications. 10, p. 1-11 11 p., 2677.Research output: Contribution to Journal › Article › Academic › peer-review
Agreeing on disagreement: Heterogeneity or uncertainty?
ter Ellen, S., Verschoor, W. F. C. & Zwinkels, R. C. J., Jun 2019, In : Journal of Financial Markets. 44, p. 17-30 14 p.Research output: Contribution to Journal › Article › Academic › peer-review
A Greek substitute šatammu (temple dean) in Babylon in 125 BC
van der Spek, R. J., Mar 2019, In : Nouvelles Assyriologiques Brèves et Utilitaires. 2019, 1, p. 59-61 3 p., 35.Research output: Contribution to Journal › Article › Academic
Agreement between physical therapists and radiologists of stratifying patients with shoulder pain into new treatment related categories using ultrasound; an exploratory study
Thoomes-de Graaf, M., Ottenheijm, R. P. G., Verhagen, A. P., Duijn, E., Karel, Y. H. J. M., van den Borne, M. P. J., Beumer, A., van Broekhoven, J., Dinant, G. J., Tetteroo, E., Lucas, C., Koes, B. W. & Scholten-Peeters, G. G. M., 1 Apr 2019, In : Musculoskeletal science & practice. 40, p. 1-9 9 p.Research output: Contribution to Journal › Article › Academic › peer-review
A Growth Mind-Set Intervention Improves Interest but Not Academic Performance in the Field of Computer Science
Burnette, J. L., Hoyt, C. L., Russell, V. M., Lawson, B., Dweck, C. S. & Finkel, E., 1 Jan 2019, In : Social Psychological and Personality Science.Research output: Contribution to Journal › Article › Academic › peer-review
A hybrid partial and general equilibrium modeling approach to assess the hydro-economic impacts of large dams: The case of the Grand Ethiopian Renaissance Dam in the Eastern Nile River basin
Kahsay, T. N., Arjoon, D., Kuik, O., Brouwer, R., Tilmant, A. & van der Zaag, P., 1 Jul 2019, In : Environmental Modelling and Software. 117, p. 76-88 13 p.Research output: Contribution to Journal › Article › Academic › peer-review
Aiming for impact: Differential effect of motivational drivers on effort and performance in knowledge valorisation
van de Burgwal, L., Hendrikse, R. & Claassen, H. J. H. M., 29 May 2019, In : Science and Public Policy.Research output: Contribution to Journal › Article › Academic › peer-review
Airbnbizing Europe: From Landlords to Entrepreneurs
Dalakoglou, D. & Poulimenakos, G., 2019, In : Σύγχρονα Θέματα (Synchrona Themata) .Research output: Contribution to Journal › Article › Academic › peer-review
Airline loyalty (programs) across borders: A geographic discontinuity approach
de Jong, G., Behrens, C. & van Ommeren, J., 1 Jan 2019, In : International Journal of Industrial Organization. 62, p. 251-272 22 p.Research output: Contribution to Journal › Article › Academic › peer-review
Air-Stable and Oriented Mixed Lead Halide Perovskite (FA/MA) by the One-Step Deposition Method Using Zinc Iodide and an Alkylammonium Additive
Muscarella, L. A., Petrova, D., Cervasio, R. J., Farawar, A., Lugier, O., McLure, C., Slaman, M. J., Wang, J., Ehrler, B., von Hauff, E. & Williams, R. M., 15 May 2019, In : ACS Applied Materials and Interfaces. 11, 19, p. 17555-17562 8 p.Research output: Contribution to Journal › Article › Academic › peer-review
Al 50 jaar een eigen koers
van den Belt, C., Sep 2019, In : De Nieuwe Koers. 50Research output: Contribution to Journal › Article › Professional
A Late Glacial surface rupturing earthquake at the Peel Boundary fault zone, Roer Valley Rift System, the Netherlands
Van Balen, R. T., Bakker, M. A. J., Kasse, C., Wallinga, J. & Woolderink, H. A. G., 15 Aug 2019, In : Quaternary Science Reviews. 218, p. 254-266 13 p.Research output: Contribution to Journal › Article › Academic › peer-review
A late Roman gold neck-ring from the Netherlands
Heeren, S. & Deckers, P., Feb 2019, In : The Searcher. 402, p. 12-15 4 p.Research output: Contribution to Journal › Article › Popular
A Late Roman gold neck ring with inscription from Walcheren (prov. Zeeland/NL)
Heeren, S. & Deckers, P., Jun 2019, In : Archaologisches Korrespondenzblatt. 49, 1, p. 149-163 15 p.Research output: Contribution to Journal › Article › Academic › peer-review
A learning-based framework for optimizing service migration in mobile edge clouds
Brandherm, F., Wang, L. & Mühlhäuser, M., 25 Mar 2019, EdgeSys 2019 - Proceedings of the 2nd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2019. Association for Computing Machinery, Inc, p. 12-17 6 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Algorithmic correspondence and canonicity for non-distributive logics
Conradie, W. & Palmigiano, A., 1 Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 923-974 52 p.Research output: Contribution to Journal › Article › Academic › peer-review
A Life at the Company: Oral History and Sense Making
Kroeze, R. & Vervloet, J., Jan 2019, In : Enterprise and Society. 20, 1, p. 33 46 p.Research output: Contribution to Journal › Article › Academic › peer-review
A linear mixed-model approach to study multivariate gene-environment interactions
't Hoen, P. A., van Meurs, J. B. J., Isaacs, A., Jansen, R., Franke, L., Boomsma, D. I., Pool, R., van Dongen, J., Hottenga, J. J., Van Greevenbroek, M. J., Stehouwer, C. D. A., van der Kallen, C. J. H., Schalkwijk, C. G., Wijmenga, C., Zhernakova, A., Tigchelaar, E. F., Slagboom, P. E., Beekman, M., Deelen, J., van Heemst, D. & 30 others, Jan 2019, In : Nature Genetics. 51, 1, p. 180-186 7 p.Research output: Contribution to Journal › Article › Academic › peer-review
Alive and Kicking: Baby Steps in Robotics
Jelisavcic, M., 2019, 254 p.Research output: PhD Thesis › PhD Thesis - Research VU, graduation VU › Academic
Alkynamide phthalazinones as a new class of TbrPDEB1 inhibitors
de Heuvel, E., Singh, A. K., Edink, E., van der Meer, T., van der Woude, M., Sadek, P., Krell-Jørgensen, M. P., van den Bergh, T., Veerman, J., Caljon, G., Kalejaiye, T. D., Wijtmans, M., Maes, L., de Koning, H. P., Jan Sterk, G., Siderius, M., de Esch, I. J. P., Brown, D. G. & Leurs, R., 18 Jun 2019, In : Bioorganic and Medicinal Chemistry. p. 1-15 15 p.Research output: Contribution to Journal › Article › Academic › peer-review
Alkynamide phthalazinones as a new class of TbrPDEB1 inhibitors (Part 2)
de Heuvel, E., Singh, A. K., Boronat, P., Kooistra, A. J., van der Meer, T., Sadek, P., Blaazer, A. R., Shaner, N. C., Bindels, D. S., Caljon, G., Maes, L., Sterk, G. J., Siderius, M., Oberholzer, M., de Esch, I. J. P., Brown, D. G. & Leurs, R., 15 Sep 2019, In : Bioorganic and Medicinal Chemistry. 27, 18, p. 4013-4029 17 p.Research output: Contribution to Journal › Article › Academic › peer-review
Alleenstaande minderjarigen verdwijnen uit de opvang
Reneman, M., 11 Jun 2019Research output: Online publication or Non-textual form › Online publication or Website › Professional
All-sky search for long-duration gravitational-wave transients in the second Advanced LIGO observing run
LIGO Scientific Collaboration and Virgo Collaboration, 15 May 2019, In : Physical Review D. 99, 10, 104033.Research output: Contribution to Journal › Article › Academic › peer-review
A longitudinal evaluation of active outreach after an aeroplane crash: screening for post-traumatic stress disorder and depression and assessment of self-reported treatment needs
Gouweloos-Trines, J., Te Brake, H., Sijbrandij, M., Boelen, P. A., Brewin, C. R. & Kleber, R. J., 2019, In : European Journal of Psychotraumatology. 10, 1, p. 1554406Research output: Contribution to Journal › Article › Academic › peer-review