Search results for " Informatica"
showing 10 items of 978 documents
Suffix Automata and Standard Sturmian Words
2007
Blumer et al. showed (cf. [3,2]) that the suffix automaton of a word w must have at least |w|+1 states and at most 2|w|-1 states. In this paper we characterize the language L of all binary words w whose minimal suffix automaton S(w) has exactly |w| + 1 states; they are precisely all prefixes of standard Sturmian words. In particular, we give an explicit construction of suffix automaton of words that are palindromic prefixes of standard words. Moreover, we establish a necessary and sufficient condition on S(w) which ensures that if w ∈ L and a ∈ {0, 1} then wa ∈ L. By using such a condition, we show how to construct the automaton S(wa) from S(w). More generally, we provide a simple construct…
Spoken conversational context improves query auto-completion in web search
2021
Web searches often originate from conversations in which people engage before they perform a search. Therefore, conversations can be a valuable source of context with which to support the search process. We investigate whether spoken input from conversations can be used as a context to improve query auto-completion. We model the temporal dynamics of the spoken conversational context preceding queries and use these models to re-rank the query auto-completion suggestions. Data were collected from a controlled experiment and comprised conversations among 12 participant pairs conversing about movies or traveling. Search query logs during the conversations were recorded and temporally associated…
The Life, Death and Miracles of Alan Mathison Turing
2010
The life of Alan Turing is described in many biographies. The best and most encyclopaedic of these is that of Andrew Hodges; quite pleasant is the agile volume by Gianni Rigamonti, Turing, il genio e lo scandalo (Flaccovio editore, Palermo, 1991). Both of these also make mention of his tragic end, which certainly casts a shadow on the mores English society at the time; but of course, who knows how other societies might have behaved?
Small-sample characterization of stochastic approximation staircases in forced-choice adaptive threshold estimation
2007
Despite the widespread use of up—down staircases in adaptive threshold estimation, their efficiency and usability in forced-choice experiments has been recently debated. In this study, simulation techniques were used to determine the small-sample convergence properties of stochastic approximation (SA) staircases as a function of several experimental parameters. We found that satisfying some general requirements (use of the accelerated SA algorithm, clear suprathreshold initial stimulus intensity, large initial step size) the convergence was accurate independently of the spread of the underlying psychometric function. SA staircases were also reliable for targeting percent-correct levels far …
Analysis of Cardiac Pulse Arrival Time Series at Rest and during Physiological Stress
2022
The study of cardiovascular dynamics is pivotal in the prevention and monitoring of cardiovascular diseases. Pulse Arrival Time (PAT) series contain information concerning not only the dynamics of the Autonomic Nervous System (ANS), but of all the systems involved in the regulation of cardiovascular homeostasis. This study aims to highlight how indexes extracted from PAT series in time-, frequency- and information-domain allow to discriminate among different physiological conditions. Analyses were carried out on 76 young healthy subjects, at rest and during orthostatic or mental stress. Our results show that PAT indexes vary according to the ANS condition, and may thus be useful parameters …
Global functorial hypergestures over general skeleta for musical performance
2016
Musical performance theory using Lagrangian formalism, inspired by physical string theory, has been described in previous research. That approach was restricted to zero-addressed hypergestures of local character, and also to digraph skeleta of simple arrow type. In this article, we extend the theory to hypergestures that are defined functorially over general topological categories as addresses, are global, and are also defined for general skeleta. We also prove several versions of the important Escher Theorem for this general setup. This extension is highly motivated by theoretical and practical musical performance requirements of which we give concrete examples.
Hypergestures in Complex Time: Creative Performance Between Symbolic and Physical Reality
2015
Musical performance and composition imply hypergestural transformation from symbolic to physical reality and vice versa. But most scores require movements at infinite physical speed that can only be performed approximately by trained musicians. To formally solve this divide between symbolic notation and physical realization, we introduce complex time (\(\mathbb {C}\)-time) in music. In this way, infinite physical speed is “absorbed” by a finite imaginary speed. Gestures thus comprise thought (in imaginary time) and physical realization (in real time) as a world-sheet motion in space-time, corresponding to ideas from physical string theory. Transformation from imaginary to real time gives us…
Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.
2014
This short paper just considers the possibility of a new view for posing and proving the Aristotle’s Principles of Non-Contradiction and Excluded-Middle. It is done by means of their refutability, or deducibility, respectively, under Tarski’s Consequence Operators.
Intelligent Knowledge Understanding from Students Questionnaires: A Case Study
2022
Learning Analytics techniques are widely used to improve students’ performance. Data collected from students’ assessments are helpful to predict their success and questionnaires are extensively adopted to assess students’ knowledge. Several mathematical models studying the correlation between students’ hidden skills and their performance to questionnaires’ items have been introduced. Among them, Non-negative matrix factorizations (NMFs) have been proven to be effective in automatically extracting hidden skills, a time-consuming activity that is usually tackled manually prone to subjective interpretations. In this paper, we present an intelligent data analysis approach based upon NMF. Data a…
FEDRO: a software tool for the automatic discovery of candidate ORFs in plants with c →u RNA editing
2019
RNA editing is an important mechanism for gene expression in plants organelles. It alters the direct transfer of genetic information from DNA to proteins, due to the introduction of differences between RNAs and the corresponding coding DNA sequences. Software tools successful for the search of genes in other organisms not always are able to correctly perform this task in plants organellar genomes. Moreover, the available software tools predicting RNA editing events utilise algorithms that do not account for events which may generate a novel start codon. We present Fedro, a Java software tool implementing a novel strategy to generate candidate Open Reading Frames (ORFs) resulting from Cytidi…