Search results for "Semantic"

CitySearcher: A City Search Engine For Interests

2017

We introduce CitySearcher, a vertical search engine that searches for cities when queried for an interest. Generally in search engines, utilization of semantics between words is favorable for performance improvement. Even though ambiguous query words have multiple semantic meanings, search engines can return diversified results to satisfy different users' information needs. But for CitySearcher, mismatched semantic relationships can lead to extremely unsatisfactory results. For example, the city Sale would incorrectly rank high for the interest shopping because of semantic interpretations of the words. Thus in our system, the main challenge is to eliminate the mismatched semantic relationsh…

SAGGIO INTRODUTTIVO. FLESSIBILITA' E PRECARIETA' COME POSSIBILITA'

2007

Tiolo corretto: "Flessibilità e precarietà come possibilità" La flessibilità e la precarietà, intese anche come possibilità, sono elemento fondante del fenomeno migratorio. La flessibilità è analizzata nell’ottica della globalizzazione. La flessibilità e la precarizzazione dell’occupazione diventano anche fonte di precarizzazione nella vita privata. Pur in questo contesto, la flessibilità ha caratteristiche particolari, vissuta come “possibilità”, legata al desiderio di più tempo libero di cui ci si può riappropriare; dell’opportunità soprattutto per le donne di inserimento sociale e di assistenza, attraverso i servizi del welfare, ma anche il loro vivere la flessibilità come la possibilità…

Contextual diversity favors the learning of new words in children regardless of their comprehension skills

2021

Available online 6 November 2021 Recent research has shown the benefits of high contextual diversity, defined as the number of different contexts in which a word appears, when incidentally learning new words. These benefits have been found both in laboratory settings and in ecological settings such as the classroom during regular hours. To examine the nature of this effect in young readers aged 11–13 years, we analyzed whether these benefits are modulated by the individuals’ reading comprehension scores; that is, would better comprehenders benefit the most from contextual diversity? The manipulation of contextual diversity was done by inserting the novel words into three different contexts/…

Il fumetto può aiutare nei processi di insegnamento/apprendimento delle Matematiche?

2010

Episodic memories: how do the hippocampus and the entorhinal ring attractors cooperate to create them?

2020

AbstractThe brain is capable of registering a constellation of events, encountered only once, as an episodic memory that can last for a lifetime. As evidenced by the clinical case of the patient HM, memories preserving their episodic nature still depend on the hippocampal formation, several years after being created, while semantic memories are thought to reside in neocortical areas. The neurobiological substrate of one-time learning and life-long storing in the brain, that must exist at the cellular and circuit level, is still undiscovered. The breakthrough is delayed by the fact that studies jointly investigating the rodent hippocampus and entorhinal cortex are mostly targeted at understa…

Towards CNC Programming Using Haskell

2004

Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.

MLOG: a strongly typed confluent functional language with logical variables

1994

Poirriez, V., MLOG: a strongly typed confluent functional language with logical variables, Theoretical Computer Science 122 (1994) 201-223. A new programming language called MLOG is introduced. MLOG is a conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML Light FLU0 was implemented. Numerous examples are presented to illustrate the possibilities of MLOG. The pattern matching of ML is kept for X-calculus bindings and an unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern-matching and logical variables, Although the evaluation strategy for the application is fixed, the or…

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras

2013

AbstractWe prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background to such diverse tools. In particular, we offer a detailed proof of the duality …

Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes

2009

Our research shows that autonomic behavior can be achieved by leveraging variability models at runtime. In this way, the modeling effort made at design time is not only useful for producing the system but also provides a richer semantic base for autonomic behavior during execution. The use of variability models at runtime brings new opportunities for autonomic capabilities by reutilizing the efforts invested at design time. Our proposed approach has two aspects: reuse of design knowledge to achieve AC and reuse of existing model-management technologies at runtime. We developed the Model-Based Reconfiguration Engine (MoRE) to implement model-management operations. Our research demonstrates t…

Motor and linguistic linking of space and time in the cerebellum

2009

Background: Recent literature documented the presence of spatial-temporal interactions in the human brain. The aim of the present study was to verify whether representation of past and future is also mapped onto spatial representations and whether the cerebellum may be a neural substrate for linking space and time in the linguistic domain. We asked whether processing of the tense of a verb is influenced by the space where response takes place and by the semantics of the verb. Principal Findings: Responses to past tense were facilitated in the left space while responses to future tense were facilitated in the right space. Repetitive transcranial magnetic stimulation (rTMS) of the right cereb…