Search results for " SEM"

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

2010

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 …

Futuro passato

2021

The volume propose a collection that reflects on what an event is and in what how temporality is schematized, so as to make it humanly understandable, manageable, thinkable. Covid-19 was, in this sense, just a great accelerator, a particularly caseinteresting about "temporal subversion".

Semi-automated and interactive segmentation of contrast-enhancing masses on breast DCE-MRI using spatial fuzzy clustering

2022

Abstract Multiparametric Magnetic Resonance Imaging (MRI) is the most sensitive imaging modality for breast cancer detection and is increasingly playing a key role in lesion characterization. In this context, accurate and reliable quantification of the shape and extent of breast cancer is crucial in clinical research environments. Since conventional lesion delineation procedures are still mostly manual, automated segmentation approaches can improve this time-consuming and operator-dependent task by annotating the regions of interest in a reproducible manner. In this work, a semi-automated and interactive approach based on the spatial Fuzzy C-Means (sFCM) algorithm is proposed, used to segme…

Mid-infrared intersubband absorption in lattice-matched AlInN/GaN multiple-quantum wells

2005

We report the observation of midinfrared intersubband (ISB) absorption in nearly lattice-matched AlInNGaN multiple-quantum-wells. A clear absorption peak is observed around 3 μm involving transitions from the conduction band ground state to the first excited state. In addition to ISB absorption, photoluminescence experiments were carried out on lattice- matched AlInNGaN single quantum wells in order to determine the spontaneous polarization discontinuity between GaN and Al0.82 In0.18 N compounds. The experimental value is in good agreement with theoretical predictions. Our results demonstrate that the AlInNGaN system is very promising to achieve crack-free and low dislocation density struct…

Room-temperature spin-orbit torque in NiMnSb

2015

Materials that crystalize in diamond-related lattices, with Si and GaAs as their prime examples, are at the foundation of modern electronics. Simultaneously, the two atomic sites in the unit cell of these crystals form inversion partners which gives rise to relativistic non-equilibrium spin phenomena highly relevant for magnetic memories and other spintronic devices. When the inversion-partner sites are occupied by the same atomic species, electrical current can generate local spin polarization with the same magnitude and opposite sign on the two inversion-partner sites. In CuMnAs, which shares this specific crystal symmetry of the Si lattice, the effect led to the demonstration of electric…

First experimental study of photon polarization in radiative B0s decays.

2017

The polarization of photons produced in radiative $B^{0}_{s}$ decays is studied for the first time. The data are recorded by the LHCb experiment in $pp$ collisions corresponding to an integrated luminosity of 3fb$^{-1}$ at center-of-mass energies of $7$ and $8$TeV. A time-dependent analysis of the $B^{0}_{s} \to \phi \gamma$ decay rate is conducted to determine the parameter ${\mathcal{A}}^\Delta$, which is related to the ratio of right- over left-handed photon polarization amplitudes in $b \to s \gamma$ transitions. A value of ${\mathcal{A}}^\Delta=-0.98^{\,+0.46\,+0.23}_{\,-0.52\,-0.20}$ is measured. This result is consistent with the Standard Model prediction within two standard deviatio…

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…

A Semantic Web Approach for Geodata Discovery

2013

International audience; Currently, vast amounts of geospatial information are o ffered through OGC's services. However this information has limited formal semantics. The most common method to search for a dataset consists in matching keywords to metadata elements. By adding semantics to available descriptions we could use modern inference and reasoning mechanisms currently available in the SemanticWeb. In this paper we present a novel architecture currently in development in which we use state of the art triplestores as the backend of a CSW service. In our approach, each metadata record is considered an instance of a given class in a domain ontology. Our architecture also adds a spatial dat…