-
UCxn: Typologically Informed Annotation of Constructions Atop Universal Dependencies
Authors:
Leonie Weissweiler,
Nina Böbel,
Kirian Guiller,
Santiago Herrera,
Wesley Scivetti,
Arthur Lorenzi,
Nurit Melnik,
Archna Bhatia,
Hinrich Schütze,
Lori Levin,
Amir Zeldes,
Joakim Nivre,
William Croft,
Nathan Schneider
Abstract:
The Universal Dependencies (UD) project has created an invaluable collection of treebanks with contributions in over 140 languages. However, the UD annotations do not tell the full story. Grammatical constructions that convey meaning through a particular combination of several morphosyntactic elements -- for example, interrogative sentences with special markers and/or word orders -- are not labele…
▽ More
The Universal Dependencies (UD) project has created an invaluable collection of treebanks with contributions in over 140 languages. However, the UD annotations do not tell the full story. Grammatical constructions that convey meaning through a particular combination of several morphosyntactic elements -- for example, interrogative sentences with special markers and/or word orders -- are not labeled holistically. We argue for (i) augmenting UD annotations with a 'UCxn' annotation layer for such meaning-bearing grammatical constructions, and (ii) approaching this in a typologically informed way so that morphosyntactic strategies can be compared across languages. As a case study, we consider five construction families in ten languages, identifying instances of each construction in UD treebanks through the use of morphosyntactic patterns. In addition to findings regarding these particular constructions, our study yields important insights on methodology for describing and identifying constructions in language-general and language-particular ways, and lays the foundation for future constructional enrichment of UD treebanks.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Lessons learned after three years of SPIDER operation and the first MITICA integrated tests
Authors:
D. Marcuzzi,
V. Toigo,
M. Boldrin,
G. Chitarin,
S. Dal Bello,
L. Grando,
A. Luchetta,
R. Pasqualotto,
M. Pavei,
G. Serianni,
L. Zanotto,
R. Agnello,
P. Agostinetti,
M. Agostini,
D. Aprile,
M. Barbisan,
M. Battistella,
G. Berton,
M. Bigi,
M. Brombin,
V. Candela,
V. Candeloro,
A. Canton,
R. Casagrande,
C. Cavallini
, et al. (117 additional authors not shown)
Abstract:
ITER envisages the use of two heating neutral beam injectors plus an optional one as part of the auxiliary heating and current drive system. The 16.5 MW expected neutral beam power per injector is several notches higher than worldwide existing facilities. A Neutral Beam Test Facility (NBTF) was established at Consorzio RFX, exploiting the synergy of two test beds, SPIDER and MITICA. SPIDER is dedi…
▽ More
ITER envisages the use of two heating neutral beam injectors plus an optional one as part of the auxiliary heating and current drive system. The 16.5 MW expected neutral beam power per injector is several notches higher than worldwide existing facilities. A Neutral Beam Test Facility (NBTF) was established at Consorzio RFX, exploiting the synergy of two test beds, SPIDER and MITICA. SPIDER is dedicated to develo** and characterizing large efficient negative ion sources at relevant parameters in ITER-like conditions: source and accelerator located in the same vacuum where the beam propagates, immunity to electromagnetic interferences of multiple radio-frequency (RF) antennas, avoidance of RF-induced discharges on the outside of the source. Three years of experiments on SPIDER have addressed to the necessary design modifications to enable full performances. The source is presently under a long shut-down phase to incorporate learnings from the experimental campaign. Parallelly, developments on MITICA, the full-scale prototype of the ITER NBI featuring a 1 MV accelerator and ion neutralization, are underway including manufacturing of in-vessel components, while power supplies and auxiliary plants are already under final testing and commissioning. Integration, commissioning and tests of the 1MV power supplies are essential for this first-of-kind system, unparalleled both in research and industry field. The integrated test to confirm 1MV output by combining invertor systems, DC generators and transmission lines extracted errors/accidents in some components. To realize a concrete system for ITER, solutions for the repair and the improvement of the system were developed. Hence, NBTF is emerging as a necessary facility, due to the large gap with existing injectors, effectively dedicated to identify issues and find solutions to enable successful ITER NBI operations in a time bound fashion.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Lutma: a Frame-Making Tool for Collaborative FrameNet Development
Authors:
Tiago Timponi Torrent,
Arthur Lorenzi,
Ely Edison da Silva Matos,
Frederico Belcavello,
Marcelo Viridiano,
Maucha Andrade Gamonal
Abstract:
This paper presents Lutma, a collaborative, semi-constrained, tutorial-based tool for contributing frames and lexical units to the Global FrameNet initiative. The tool parameterizes the process of frame creation, avoiding consistency violations and promoting the integration of frames contributed by the community with existing frames. Lutma is structured in a wizard-like fashion so as to provide us…
▽ More
This paper presents Lutma, a collaborative, semi-constrained, tutorial-based tool for contributing frames and lexical units to the Global FrameNet initiative. The tool parameterizes the process of frame creation, avoiding consistency violations and promoting the integration of frames contributed by the community with existing frames. Lutma is structured in a wizard-like fashion so as to provide users with text and video tutorials relevant for each step in the frame creation process. We argue that this tool will allow for a sensible expansion of FrameNet coverage in terms of both languages and cultural perspectives encoded by them, positioning frames as a viable alternative for representing perspective in language models.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Continuous dependence and uniqueness for lateral Cauchy problems for linear integro-differential parabolic equations
Authors:
A. Lorenzi,
L. Lorenzi,
M. Yamamoto
Abstract:
Via Carleman estimates we prove uniqueness and continuous dependence results for lateral Cauchy problems for linear integro-differential parabolic equations without initial conditions. The additional information supplied prescribes the conormal derivative of the temperature on a relatively open subset of the lateral boundary of the space-time domain.
Via Carleman estimates we prove uniqueness and continuous dependence results for lateral Cauchy problems for linear integro-differential parabolic equations without initial conditions. The additional information supplied prescribes the conormal derivative of the temperature on a relatively open subset of the lateral boundary of the space-time domain.
△ Less
Submitted 11 October, 2016;
originally announced October 2016.
-
A strongly ill-posed problem for a degenerate parabolic equation with unbounded coefficients in an unbounded domain $Ω\times {\mathcal O}$ of $\R^{M+N}$
Authors:
Alfredo Lorenzi,
Luca Lorenzi
Abstract:
In this paper we deal with a strongly ill-posed second-order degenerate parabolic problem in the unbounded open set $Ω\times {\mathcal O}\subset \mathbb R^{M+N}$, related to a linear equation with unbounded coefficients, with no initial condition, but endowed with the usual Dirichlet condition on $(0,T)\times \partial(Ω\times {\mathcal O})$ and an additional condition involving the $x$-normal deri…
▽ More
In this paper we deal with a strongly ill-posed second-order degenerate parabolic problem in the unbounded open set $Ω\times {\mathcal O}\subset \mathbb R^{M+N}$, related to a linear equation with unbounded coefficients, with no initial condition, but endowed with the usual Dirichlet condition on $(0,T)\times \partial(Ω\times {\mathcal O})$ and an additional condition involving the $x$-normal derivative on $Γ\times {\mathcal O}$, $Γ$ being an open subset of $Ω$.
The task of this paper is twofold: determining sufficient conditions on our data implying the uniqueness of the solution $u$ to the boundary value problem as well as determining a pair of metrics with respect of which $u$ depends continuously on the data.
The results obtained for the parabolic problem are then applied to a similar problem for a convolution integrodifferential linear parabolic equation.
△ Less
Submitted 7 October, 2012;
originally announced October 2012.
-
Parabolic integrodifferential identification problems related to radial memory kernels II
Authors:
A. Favaron,
A. Lorenzi
Abstract:
We are concerned with the problem of recovering the radial kernel $k$, depending also on time, in the parabolic integro-differential equation $$D_{t}u(t,x)={\cal A}u(t,x)+\int_0^t k(t-s,|x|){\cal B}u(s,x)ds +\int_0^t D_{|x|}k(t-s,|x|){\cal C}u(s,x)ds+f(t,x),$$ ${\cal A}$ being a uniformly elliptic second-order linear operator in divergence form. We single out a special class of operators…
▽ More
We are concerned with the problem of recovering the radial kernel $k$, depending also on time, in the parabolic integro-differential equation $$D_{t}u(t,x)={\cal A}u(t,x)+\int_0^t k(t-s,|x|){\cal B}u(s,x)ds +\int_0^t D_{|x|}k(t-s,|x|){\cal C}u(s,x)ds+f(t,x),$$ ${\cal A}$ being a uniformly elliptic second-order linear operator in divergence form. We single out a special class of operators ${\cal A}$ and two pieces of suitable additional information for which the problem of identifying $k$ can be uniquely solved locally in time when the domain under consideration is a ball or a disk.
△ Less
Submitted 13 July, 2006;
originally announced July 2006.
-
Parabolic integrodifferential identification problems related to radial memory kernels I
Authors:
A. Favaron,
A. Lorenzi
Abstract:
We are concerned with the problem of recovering the radial kernel $k$, depending also on time, in a parabolic integro-differential equation $$D_{t}u(t,x)={\cal A}u(t,x)+\int_0^t k(t-s,|x|){\cal B}u(s,x)ds +\int_0^t D_{|x|}k(t-s,|x|){\cal C}u(s,x)ds+f(t,x),$$ ${\cal A}$ being a uniformly elliptic second-order linear operator in divergence form. We single out a special class of operators…
▽ More
We are concerned with the problem of recovering the radial kernel $k$, depending also on time, in a parabolic integro-differential equation $$D_{t}u(t,x)={\cal A}u(t,x)+\int_0^t k(t-s,|x|){\cal B}u(s,x)ds +\int_0^t D_{|x|}k(t-s,|x|){\cal C}u(s,x)ds+f(t,x),$$ ${\cal A}$ being a uniformly elliptic second-order linear operator in divergence form. We single out a special class of operators ${\cal A}$ and two pieces of suitable additional information for which the problem of identifying $k$ can be uniquely solved locally in time when the domain under consideration is a spherical corona or an annulus.
△ Less
Submitted 13 July, 2006;
originally announced July 2006.
-
Some identification problems for integro-differential operator equations
Authors:
Alfredo Lorenzi,
Alexander Ramm
Abstract:
We consider, in a Hilbert space $H$, the convolution integro-differential equation $u''(t)-h*Au(t)=f(t)$, $0\le t\le T$, $h*v(t)=\int_0^t h(t-s)v(s) ds$, where $A$ is a linear closed densely defined (possibly selfadjoint and/or positive definite) operator in $H$. Under suitable assumptions on the data we solve the inverse problem consisting of finding the kernel $h$ from the extra data (measured…
▽ More
We consider, in a Hilbert space $H$, the convolution integro-differential equation $u''(t)-h*Au(t)=f(t)$, $0\le t\le T$, $h*v(t)=\int_0^t h(t-s)v(s) ds$, where $A$ is a linear closed densely defined (possibly selfadjoint and/or positive definite) operator in $H$. Under suitable assumptions on the data we solve the inverse problem consisting of finding the kernel $h$ from the extra data (measured data) of the type $g(t):=(u(t),φ)$, where $φ$ is some eigenvector of $A^*$. An inverse problem for the first-order equation $u'(t)-l*Au(t)=f(t)$, $0\le t\le T$, is also studied when $A$ enjoys the same properties as in the previous case.
△ Less
Submitted 17 November, 2000;
originally announced November 2000.