University of Trento

About: University of Trento is a education organization based out in Trento, Italy. It is known for research contribution in the topics: Population & Context (language use). The organization has 10527 authors who have published 30978 publications receiving 896614 citations. The organization is also known as: Universitá degli Studi di Trento & Universita degli Studi di Trento.

Will silicon be the photonic material of the third millenium

Abstract: Silicon microphotonics, a technology which merges photonics and silicon microelectronic components, is rapidly evolving. Many different fields of application are emerging: transceiver modules for optical communication systems, optical bus systems for ULSI circuits, I/O stages for SOC, displays, .... In this review I will give a brief motivation for silicon microphotonics and try to give the state-of-the-art of this technology. The ingredient still lacking is the silicon laser: a review of the various approaches will be presented. Finally, I will try to draw some conclusions where silicon is predicted to be the material to achieve a full integration of electronic and optical devices.

GEOtop: A Distributed Hydrological Model with Coupled Water and Energy Budgets

Abstract: This paper describes a new distributed hydrological model, called GEOtop. The model accommodates very complex topography and, besides the water balance, unlike most other hydrological models, integrates all the terms in the surface energy balance equation. GEOtop uses a discretization of the landscape based on digital elevation data. These digital elevation data are preprocessed to allow modeling of the effect of topography on the radiation incident on the surface, both shortwave (including shadowing) and longwave (accounting for the sky view factor). For saturated and unsaturated subsurface flow, GEOtop makes use of a numerical solution of the 3D Richards’ equation in order to properly model, besides the lateral flow, the vertical structure of water content and the suction dynamics. These characteristics are deemed necessary for consistently modeling hillslope processes, initiation of landslides, snowmelt processes, and ecohydrological phenomena as well as discharges during floods and interstorm...

Specifying and analyzing early requirements in Tropos

Abstract: We present a framework that supports the formal verification of early requirements specifications. The framework is based on Formal Tropos, a specification language that adopts primitive concepts for modeling early requirements (such as actor, goal, and strategic dependency), along with a rich temporal specification language. We show how existing formal analysis techniques, and in particular model checking, can be adapted for the automatic verification of Formal Tropos specifications. These techniques have been implemented in a tool, called the T-Tool, that maps Formal Tropos specifications into a language that can be handled by the NuSMV model checker. Finally, we evaluate our methodology on a course-exam management case study. Our experiments show that formal analysis reveals gaps and inconsistencies in early requirements specifications that are by no means trivial to discover without the help of formal analysis tools.

Entailment above the word level in distributional semantics

Abstract: We introduce two ways to detect entailment using distributional semantic representations of phrases. Our first experiment shows that the entailment relation between adjective-noun constructions and their head nouns (big cat|= cat), once represented as semantic vector pairs, generalizes to lexical entailment among nouns (dog|= animal). Our second experiment shows that a classifier fed semantic vector pairs can similarly generalize the entailment relation among quantifier phrases (many dogs|= some dogs) to entailment involving unseen quantifiers (all cats|= several cats). Moreover, nominal and quantifier phrase entailment appears to be cued by different distributional correlates, as predicted by the type-based view of entailment in formal semantics.