Search results for " Informatica"

An implementation of Generic Learned Static Sorted Sets Dictionaries

2022

This repository contains two C++ implementation of a Generic Learned Static Sorted Sets Dictionaries

Logic and Computational Aspects of Computing with Speculations

2020

A novel, alternative approach to the fundamental logic of common- sense reasoning extending the concepts put forward by Lotfi A. Zadeh’s Computing with Words has been recently advanced by Enric Trillas, based on the idea that in order to allow for creativity in automated reasoning, the standard operations of inducing and abducing must be complemented by guessing, or speculating. In this paper, after a recall of Trillas’ skeleton formal model, a reflection is made on the computational aspects of such approach. As computational complexity of such approach generally increases exponentially, hints are given on how to tackle such growth and render more manageable the mechanisation of commonsense…

An analysis System based on Morphological Fuzzy Filters: Application to the study of Marine Pollution Due to Hydrocarbons

2010

An Active Learning Approach for Classifying Explosion Quakes

2022

In this work, an Active Learning approach for improving the classification of passed seismo-volcanic events is proposed. Here we study the specific case of Explosion Quakes from Stromboli Volcano versus other seismo-volcanic events, recorded as seismograms, and the use of Random Forest as a Classification method. In conformity with the active learning paradigm, the approach recalls the human intervention for the annotation of uncertain data. The uncertainty is established by the event probabilities, predicted by a trained random forest classifier. The human intervention consists of editing and relabelling the data into these main three classes: Explosion Quakes, Non-Explosion Quakes or Non-…

M-VIF: A machine-vision based on information fusion

2002

The authors describe a new architecture for machine vision, which is based on information fusion approach. Its general design has been developed by using a formal computation model that integrates three main ingredients of the visual computation: the data, the models, and the algorithms. The hardware design and the software environment of M-VIF are also given. The simulation of M-VIF is under development on the HERMIA-machine.

Internet and Mathematic Education (E-Learning objects and tools for Mathematics Education)

2011

This paper analyzes some e-learning objects and didactics tools for improving mathematics education. The learning objects and tools analyzed are Videos, Applet Java, Geogebra, Wolfram|Alpha with his Widgets, Google Spreadsheets and Wiris. The analysis has been based on the parameters considered more suitable for didactics of mathematics. Such parameters are: interactivity, shareability, availability, applicability and feasibility. The paper presents a brief description of how the didactics is changing with internet, in particularly the didactics of the mathematics. It then shows the objects and tools selected with some application examples. Finally, it illustrates an comparison of the objec…

La Stima Temporale come Misura della Complessità Percettiva di Combinazioni di Stimoli Visivi-Uditivi

2007

La letteratura sulla percezione del tempo è concorde nell’evidenziare che gli esseri umani sono poco accurati nei giudizi temporali, nel senso che solitamente tendono sovrastimare o a sottostimare le durate. I numerosi studi condotti al riguardo divergono, tuttavia, nei meccanismi cognitivi chiamati in causa per spiegare i suddetti biases temporali. In particolare, i modelli basati sulla memoria prevedono che compiti complessi, a causa del maggiore spazio mnestico richiesto, inducano gli individui a sovrastimarne la durata. Diversamente,i modelli basati sull’attenzione evidenziano come l’elevato carico cognitivo sotteso a compiti complessi si traduca nella tendenza a sottostimarne la durata…

Modeling retinal landmarks for medical diagnosis automatization

Searching the internet for learning materials through didactic indicators

2007

Internet offers a huge amount of didactic materials that can be used in creating new online courses. However, those materials need a deep analysis to understand their context and contents before their potential use. As a consequence, the search of didactic material in internet is often quite tedious and time consuming so the searcher usually limits his/her analysis to the first found web pages . To help users in finding efficiently and timely the most appropriate online materials, we have developed a system, called SAXEF (System for Automatic eXtraction of lEearning object Features), that is capable to automatically extract the didactic indicators (a sort of DNA) of any web page (or group o…

Structuring didactic materials on the Web (Struct)

2009

There is an universal agreement that the structuring of didactic materials helps the student in his/her learning process when dealing with such materials. It is then important for the teacher or a student to choose among different structures so to use the one that best conveys the desired knowledge. This need is nowadays a priority also in the e-learning world since several e-learning courses exist on the web and many more are created every day. Unfortunately, most of the existing e-learning platforms offer just a single way to organize the course contents (book structure). Whoever is interested in organizing the course contents in a different way (e.g, with a concept map) must use specific…