Search results for "Mathematical logic"
showing 10 items of 394 documents
Designing an Online Escape Room as an Educational Tool
2021
In this chapter, online escape rooms are assessed as part of game-based learning (GBL) that can be used as a free educational tool for teachers to enrich their remote classes. This study was created to test the possibilities that an escape room can provide in a remote learning environment. The benefits and the downsides are explored to understand the design process and the results from the different mechanisms used. The results can give an insight into future possibilities for making escape rooms for classes or for using this format as a prototype for an escape room application. An online escape room for Latvia’s Independence Day was developed for this purpose based on flexible learning iti…
Patterns of trading profiles at the Nordic Stock Exchange. A correlation-based approach.
2016
We investigate the trading behavior of Finnish individual investors trading the stocks selected to compute the OMXH25 index in 2003 by tracking the individual daily investment decisions. We verify that the set of investors is a highly heterogeneous system under many aspects. We introduce a correlation based method that is able to detect a hierarchical structure of the trading profiles of heterogeneous individual investors. We verify that the detected hierarchical structure is highly overlapping with the cluster structure obtained with the approach of statistically validated networks when an appropriate threshold of the hierarchical trees is used. We also show that the combination of the cor…
"Tea for two": the Archive of the Italian Latinity of the Middle Ages meets the CLARIN infrastructure
2020
This paper aims at showing how integrating the Archive of the Italian Latinity of the Middle Ages (ALIM) into the ILC4CLARIN repository can provide mutual benefits. Making ALIM available to a large community of scholars and researchers, on the one side, represents the first step to reduce the lack of resources for Medieval Latin in CLARIN and, on the other side, constitutes an unprecedented contribution to not only linguistic investigations, but also to the studies of the culture and science at the basis of the Western European society. The paper describes the adopted approach aiming to keep intact the structure of the archive and its metadata, which are both accurately mirrored into the IL…
Quality Model - Master Plan and DNA of an Information System
2012
Every theory has its surroundings and postulates. So has a theory about quality models, and it is better to make the main lines of these ideas explicit before presenting the theory itself. A human made information system (IS) as a technical artifact exists and operates always in the context of societies, organizations, personal lives etc. It is a tool used for gathering, storing, processing, presenting and exchanging (communication) information. These activities can be termed “information behavior” (Allen et al., 2011). Accordingly the context of an information system has a two-tiered structure (Figure 1). The inner tier, information behavior, is subordinate to the outer tier, human society…
Insights on Partial Information Sharing in Supply Chain dynamics
2015
This paper provides an assessment of partial Information Sharing (IS) in Supply Chain (SC). We study the dynamics of collaborative multi-echelon structure, characterized by an increasing level of information visibility among partners. To do so, we mathematically model six four-echelon serial SCs via difference equations and conduct numerical simulations on the basis of a robust design of experiment. Results shows how (1) as the extent of IS increases, the performance of whole SC improves as well, and (2) the impact of IS depends not on which particular members are involved but on the number of collaborative members.
An experimentalist point of view on quantitative elaboration of theoretical models
1980
Abstract In a number of problems of solute–solute–solvent interaction, information on the geometrical structure of solvent in the near neighborhood of solute is now available. This was obtained from a variety of experiments as well as from numerical calculations. The present trend in computer simulation as well as an experimental techniques seems to appropriately be towards an extension of this information to include thermal disorder. Despite these efforts, other aspects of solute–solute–solvent interaction do not seem likely to find exhaustive answers through a study of the geometrical configurations of solvent molecules around the solute. More detailed calculations of inter- and intra-mol…
Modelling the insect Mushroom Bodies: Application to sequence learning
2015
Learning and reproducing temporal sequences is a fundamental ability used by living beings to adapt behaviour repertoire to environmental constraints. This paper is focused on the description of a model based on spiking neurons, able to learn and autonomously generate a sequence of events. The neural architecture is inspired by the insect Mushroom Bodies (MBs) that are a crucial centre for multimodal sensory integration and behaviour modulation. The sequence learning capability coexists, within the insect brain computational model, with all the other features already addressed like attention, expectation, learning classification and others. This is a clear example that a unique neural struc…
A KST-BASED SYSTEM FOR STUDENT TUTORING
2008
Abstract: A novel assessment procedure based on knowledge space theory (KST) is presented along with a complete implementation of an intelligent tutoring system. (ITS) that has been used to test our theoretical findings. The key idea is that correct assessment of the student knowledge is strictly related to the structure of the domain ontology. Suitable relationships between the concepts must be present to allow the creation of a reverse path from the "knowledge state" representing the student goal to the one that contains her actual knowledge about this topic. Knowledge space theory is a very good framework to guide the process of building the ontology used, by the artificial tutor The sys…
Creating futures images for sustainable cruise ships : insights on collaborative foresight for sustainability enhancement
2021
The aim of the study was to explore futures images of collaborative sustainability enhancement within a cruise ship building network. Addressing collaborative sustainability at the organizational level rather than at the macro (regional or planetary) level, the paper explores socially constructed and shared futures images, which are less widely studied than individual-level images of the future. We advance an analytical model for constructing and evaluating collectively held futures images based on the structure and content of those images. From our data, we identified four futures images: Money rules; The customer is always right; Local economy focus; and The most sustainable ships in the …
Towards a network-based view of effective entrepreneurial ecosystems
2021
AbstractWe conceptualize entrepreneurial ecosystems as fundamentally reliant on networks and explore how and under what conditions inter-organizational networks lead an entrepreneurial ecosystem to form and evolve. It is widely accepted that entrepreneurial ecosystems possess a variety of symbiotic relationships. Research has focused considerable efforts in refining the structure and content of resources found within these networked relationships. However, merely focusing on actor-level characterizations dilutes the notion that social relationships change and are complex. There has been little conceptual treatment of the behavioral and governance factors that underpin how quality interactio…