Search results for "computer"
showing 10 items of 30657 documents
The Tucker tensor decomposition for data analysis: capabilities and advantages
2022
Tensors are powerful multi-dimensional mathematical objects, that easily embed various data models such as relational, graph, time series, etc. Furthermore, tensor decomposition operators are of great utility to reveal hidden patterns and complex relationships in data. In this article, we propose to study the analytical capabilities of the Tucker decomposition, as well as the differences brought by its major algorithms. We demonstrate these differences through practical examples on several datasets having a ground truth. It is a preliminary work to add the Tucker decomposition to the Tensor Data Model, a model aiming to make tensors data-centric, and to optimize operators in order to enable…
Building and Testing a Comparative Interface on Northwest European Historical Parliamentary Debates : Relative Term Frequency Analysis of British Rep…
2022
Tensions between the people and parliament over representation are a normal feature of representative democracies. In this paper, we demonstrate how digital humanities analysis tools help in answering questions about the timing of debates on popular representation, tensions over its realization, and representatives’ changing perceptions on their parliamentary role. Our long-term approach to the conceptual history of political representation is based on the analysis of digitized parliamentary debates as nexuses of multi-sited political discourse. We combine computer-assisted distant and context-sensitive close reading to consider diachronic trends and synchronic political struggles surroundi…
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …
ModeLTER : modelling of landscapes and territories over the long term, the members of an European Associated Laboratory (EAL) in CAENTI.
2006
International audience; The aim of this new project is the modelisation of landscapes and territories over the long term. This has been a topic that engaged the proposed research team for several years, particularly in the frame of two European projects, Archeomedes I & II, during the 1990s (Van der Leeuw S., Favory F., Fiches J.- L. (eds.) 2003, Favory F., Girardot J.-J., van der Leeuw S. 2004). Both French and Slovenian teams were involved in the project by Professors S. Van der Leeuw and Z. Stančič. Since this period, the collaboration of French and Slovenian researchers increased in activity, and it finds now a new organization in an European Associated Laboratory, linking archaeologist…
Challenges and Opportunities of English Grammar Acquisition by Distance at the Tertiary Level
2021
Distance learning introduced in almost all educational establishments in spring 2020 has raised interest among researchers how to deal with it in a more productive way. Thus, the goal of the research was to find out undergraduates’ views on distance learning of English grammar and the use of online revision materials in developing students’ independent study skills at a tertiary institution in Latvia. the research tool was a questionnaire consisting of open-ended and closed questions. Twenty-three students answered the survey questions. the research results indicate that studying by distance is preferred because it allows the students to choose the study time and place, to develop their tim…
Health literacy as a learning outcome in schools
2012
PurposeThe aim of this paper is to define health literacy as a learning outcome in schools, and to describe the learning conditions that are relevant for targeting health literacy.Design/methodology/approachThe paper draws on theoretical and empirical educational literature, and also the experiences of the authors.FindingsHealth literacy is defined as consisting of five core components: theoretical knowledge, practical knowledge, critical thinking, self‐awareness, and citizenship. The first three components are rather similar to the commonly‐accepted health literacy concept, but the definition given in this paper expands the concept via two additional – but essential – components. It is emp…
The role of age and digital competence on the use of online health and social care services: A cross-sectional population-based survey
2022
Objective Online health and social care services are getting widespread which increases the risk that less advantaged groups may not be able to access these services resulting in digital exclusion. We examined the combined effects of age and digital competence on the use of online health and social care services. Methods We used a large representative population-based sample of 4495 respondents from Finland. Paper-based self-assessment questionnaire with an online response option was mailed to participants. The associations were analyzed using survey weighted logistic regression, exploring potential non-linear effects of age and controlling for potential sex differences. Results Higher age,…
Navigation Performance Evaluation for AutomaticGuided Vehicles
2015
International audience; —Automatic guided vehicles (AGVs), an industrial form of a mobile robot,typically navigate using a central computer commanding AGV movement on predefined paths. How well they follow these paths is not well-defined in research articles and their performance is reported in non-standard manufacturer specifications. Furthermore, AGV technology is advancing towards vision guidance to map and localize their position from onboard the vehicle, whereas performance evaluation of advanced navigation techniques is just beginning. This paper describes AGV experiments using ground truth measurement comparisonfor performance evaluationof AGV navigation. A generic test procedure and…
Optical measurement of virtual reality headset performance
2018
Virtuaalitodellisuussilmikoiden päänseurantajärjestelmän suorituskyvyn mittaamista varten kehitettiin mittausmenetelmä ja sulautettu kameramoduuli. Kyse on päästä päähän mittauksesta (engl. end-to-end measurement), jossa robotti liikuttaa silmikkoa ja kamera mittaa sisällön muutoksia näytöllä. Tavoitteena on optisesti mitata päänseurantajärjestelmän tarkkuutta kuvaamalla näytön sisältöä näytön virkistykseen tahdistettuna. Työssä keskityttiin kameramoduulin ja siihen liittyvien konenäköalgoritmien kehittämiseen. Mittauksessa näytöllä on kolmiulotteinen kohde, jossa on tunnistettavia pisteitä. Paikallistamalla nämä pisteet kuvassa voidaan määrittää grafiikkamoottorin virtuaalisen kameran asen…
L2 English questions
2014
The research on the amount and the types of corrective feedback beneficial for learning a second or foreign language has produced inconsistent results. Interestingly, studying corrective feedback from the perspective of a sociocultural theory of learning has the potential to resolve these differences although so far, these studies have been largely qualitative. The present study attempts to contribute to the existing research on corrective feedback from this perspective by comparing the effects of two types of automated corrective feedback on learning: adaptive feedback (i.e., feedback incrementally adapting to learners’ abilities by becoming more explicit and detailed) and knowledge of res…