564 research outputs found
Self-Supervised Monocular Depth Estimation of Untextured Indoor Rotated Scenes
No full textCollection of left and right RGB view as well as disparity for the left view in Airsim Building_99 simulation environment. Made by Benjamin Keltjens, Tom van Dijk and Guido de Croon using Microsoft Airsim. Used for training for Filled Disparity Monodepth
Risico's 'groen' gas voor CO2 - dosering ingeschat : Interview met Tom Dueck en Chris van Dijk
No full textDe overheid wil gebruik van duurzaam 'groen gas' ofwel 'biogas' stimuleren. De vraag is of dit gas een verhoogd risico oplevert bij het gebruik van rookgassen voor CO2-dosering in de tuinbouw. Biogas kan mee helpen aan het gebruik van duurzamer energie in de glastuinbou
Risico's 'groen' gas voor CO2 - dosering ingeschat : Interview met Tom Dueck en Chris van Dijk
No full textDe overheid wil gebruik van duurzaam 'groen gas' ofwel 'biogas' stimuleren. De vraag is of dit gas een verhoogd risico oplevert bij het gebruik van rookgassen voor CO2-dosering in de tuinbouw. Biogas kan mee helpen aan het gebruik van duurzamer energie in de glastuinbou
Preface for the special issue on selected software artifacts from DisCoTec 2023 – the 18th International Federated Conference on Distributed Computing Techniques
No full textThis special issue includes a selection of the artefacts presented at the 18th International Federated Conference on Distributed Computing Techniques (DiScoTec 2023), held at the NOVA University Lisbon (Lisbon, Portugal), in June 18-23, 2023. The federated conference included: COORDINATION 2023, the 25th International Conference on Coordination Models and Languages); DAIS 2023, the 23rd International Conference on Distributed Applications and Interoperable Systems; and FORTE 2023, the 43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems. All the three conferences welcomed submissions describing technological artefacts, including innovative prototypes supporting the modelling, development, analysis, simulation, or testing of systems in the broad spectrum of distributed computing subjects. The artefact evaluation chairs have selected a subset of high-quality accepted artefacts to be invited for submission to this special issue. Following the revision process, nine artefacts have been accepted to be part of this special issue. The published contributions include different types of artefacts, including programming libraries, frameworks, as well as tools for the analysis, verification, and simulation of distributed systems
Geen vertrouwen meer in CO2 uit eigen WKK (interview met Tom Dueck en Chris van Dijk )
No full textTelers twijfelen aan de kwaliteit van rookgasreinigers en durven hun gewas niet meer bloot te stellen aan mogelijk schadelijke gassen. Onderzoek wijst uit dat strengere normen en technische verbeteringen aan rookgasreinigers nodig zijn om veilig gebruik van CO2 uit rookgas te waarborge
Geen vertrouwen meer in CO2 uit eigen WKK (interview met Tom Dueck en Chris van Dijk )
No full textTelers twijfelen aan de kwaliteit van rookgasreinigers en durven hun gewas niet meer bloot te stellen aan mogelijk schadelijke gassen. Onderzoek wijst uit dat strengere normen en technische verbeteringen aan rookgasreinigers nodig zijn om veilig gebruik van CO2 uit rookgas te waarborge
Waar is de stem van het kind?
No full textReactie op artikel Botsende perspectieven van Annemarie van Dijk. De samenwerking tussen onderwijs en jeugdzorg verloopt moeizaam. Hoe komt dat en hoe organiseer je deze wel op een goede manier? Scenario 1 schetst de manier waarop er nu wordt gereageerd op het – verzonnen – verhaal van Tom. Scenario 2 belicht hoe dat anders zou kunnen. Vier deskundigen reageren
Dense 3D pressure discomfort threshold (PDT) map of the human head, face and neck: A new method for mapping human sensitivity
Full text linkWe want to thank miss L. Di Brigida and mr. B.J. Naagen for their assistance in conducting this study. We also want to thank E. Hees- terbeek (MD) for medical safety consulting, and dr. T. Albin for his advice on statistics. Crescent Med, in particular ir. S.R. Andary, for supporting this study by making manhours available. This study was partly financed by the Dutch Research Council (NWO) (project number: 18636) . The authors would also like to acknowledge the previous unpub- lished work of our MSc. students on sensitivity of different features of the head for a multitude of design projects, as their work showed the need and laid the groundwork for a full head PDT model: B. Bossen- broek, J. van Dijk, L. Kok, T. Paclik, J. Snoek, G. van Soelen; T.A. Rotte, M. Otten, Z.M. Hayde, V. Aus dem Kamen, P. Mo ? singer, J.E. Sanchez; S. Krabbenborg, A. Bisnajak, A. Abarca, E. Liermann, P. Bosch and N. van den Brink. And last but not least all the volunteers who were so kind to take part in this study
The Worst-Case Complexity of Symmetric Strategy Improvement
Full text linkSymmetric strategy improvement is an algorithm introduced by Schewe et al. (ICALP 2015) that can be used to solve two-player games on directed graphs such as parity games and mean payoff games. In contrast to the usual well-known strategy improvement algorithm, it iterates over strategies of both players simultaneously. The symmetric version solves the known worst-case examples for strategy improvement quickly, however its worst-case complexity remained open. We present a class of worst-case examples for symmetric strategy improvement on which this symmetric version also takes exponentially many steps. Remarkably, our examples exhibit this behaviour for any choice of improvement rule, which is in contrast to classical strategy improvement where hard instances are usually hand-crafted for a specific improvement rule. We present a generalized version of symmetric strategy iteration depending less rigidly on the interplay of the strategies of both players. However, it turns out it has the same shortcomings
Inferential profiles emerging from reading for summarization and reading for translation tasks: an exploratory study
Full text linkTese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão, Programa de Pós-Graduação em Inglês: Estudos Linguísticos e Literários, Florianópolis, 2014.Abstract: The present research is an exploratory study, which intended to investigate the influence of reading purpose and readers' experience on task products and inferential processes in two study conditions, namely reading for summarization and reading for translation. The theoretical background guiding this study stemmed from models of discourse processing that have been established in the field (Graesser et al., 1994; Kintsch & van Dijk, 1978; van den Broek, Risden & Husebye-Hartman, 1995; van Dijk & Kintsch, 1983). Six participants took part in this research, two of them were professional translators and four of them were undergraduate students from the seventh semester of the Letras Course at Universidade Federal de Santa Catarina (UFSC). Two narrative texts in English, (L2), were read, then summarized and translated into Portuguese, (L1). In addition, keylogging data stemming from the study tasks (i.e., reading for summarization and reading for translation) were collected using Translog 2006, and retrospective verbal protocols were carried out after each study task. Analytical procedures involved triangulation of quantitative data from scores of the task products and total task times recorded in Translog 2006, with qualitative data from retrospective protocols. Verbalizations were categorized using a framework adapted from Graesser & Kreuz (1993) in order to help identify inference types generated for narrative texts under the aforementioned study conditions. The previous experience variable indicated positive tendencies for the translators' group and some trend towards beneficial effects for both undergraduate students. Qualitative data analysis resulting in the identification of inferential profiles was carried out to help explain efficient and strategic use of inferences in narrative comprehension. Implications of this study results led to pedagogical practices that foster the explicit teaching of inferences with a view to raising students' awareness about inferences possibilities and functions for reading, summaries and translations.Esta pesquisa é um estudo exploratório, o qual pretendeu investigar a influência do propósito de leitura e a experiência dos leitores sobre os produtos das tarefas do estudo e processos inferenciais em duas condições de estudo, ou seja, leitura para resumo e leitura para tradução. O referencial teórico que norteia este estudo originou-se nos modelos de processamento do discurso que estão consagrados neste campo de conhecimento (Graesser et al., 1994; Kintsch & van Dijk, 1978; van den Broek, Risden & Husebye-Hartman, 1995; van Dijk & Kintsch, 1983). Seis participantes fizeram parte desta pesquisa, duas delas eram tradutoras profissionais e quatro delas eram estudantes de graduação do sétimo semestre do curso de Letras da Universidade Federal de Santa Catarina (UFSC). Dois textos narrativos em inglês, (L2), foram lidos, resumidos e traduzidos para o português, (L1). Além disso, foram coletados dados de movimento de teclado gerados durante realização das tarefas do estudo (ou seja, leitura para resumo e leitura para tradução) por meio do programa Translog©2006. Após cada tarefa do estudo, foram realizados protocolos verbais retrospectivos. Os procedimentos analíticos envolveram a triangulação de dados quantitativos a partir de pontuações dos produtos do estudo e tempos totais de tarefas registrados no Translog©2006 com dados qualitativos dos protocolos verbais. As verbalizações foram categorizadas por meio de uma taxonomia adaptada a partir da tipologia proposta Graesser e Kreuz (1993) para que se identificassem os tipos de inferências geradas para textos narrativos sob as condições supracitadas do estudo. Os resultados relacionados à experiência prévia indicaram tendências positivas entre participantes e tarefas. A análise qualitativa dos dados resultou na identificação de perfis inferenciais, a qual foi realizada para ajudar a explicar o uso estratégico e eficiente de inferências na compreensão de narrativas. Os resultados sugerem que perfis inferenciais dinâmicos e abrangentes foram associados a processos e produtos de tarefas de resumo e tradução mais satisfatórios. As implicações dos resultados do estudo levaram a práticas pedagógicas que incentivem o ensino explícito inferências com o propósito de conscientizar os estudantes sobre as possibilidades e funções das inferências para leitura, resumo e tradução
- …
