Catalogo Ricerca FBK

Catalogo Ricerca FBK: [20232] Home page macrotipologia

Sfoglia

1 Contributo su Rivista 8317
- 1.1 Articolo in rivista 7934
- 1.2 Recensione in rivista 263
- 1.3 Scheda bibliografica 1
- 1.4 Nota a sentenza 2
- 1.5 Abstract in rivista 74
- 1.6 Traduzione in rivista 43

2 Contributo in Volume 1714

3 Libro 302
- 3.1 Monografia o trattato scientifico 286
- 3.2 Concordanza 0
- 3.3 Indice 1
- 3.4 Bibliografia 4
- 3.5 Edizione critica 3
- 3.6 Pubblicazione di fonti inedite 0
- 3.7 Commento scientifico 0
- 3.8 Traduzione di libro 8

4 Contributo in Atti di Convegno (Proceeding) 8232
- 4.1 Contributo in Atti di convegno 7473
- 4.2 Abstract in Atti di convegno 445
- 4.3 Poster 314

5 Altro 1286
- 5.01 Composizione 0
- 5.02 Disegno 0
- 5.03 Design 0
- 5.04 Performance 0
- 5.05 Esposizione 0
- 5.06 Mostra 1
- 5.07 Manufatto 0
- 5.08 Prototipo d'arte e relativi progetti 1
- 5.09 Cartografia 0
- 5.10 Banca dati 8
- 5.11 Software 21
- 5.12 Altro 1255

6 Brevetti 75
- 6.1 Brevetto 75

7 Curatele 307
- 7.1 Curatela 307

Prodotti recenti

Identifying COVID-19 survivors living with post-traumatic stress disorder through machine learning on Twitter

The COVID-19 pandemic has disrupted people’s lives and caused significant economic damage around the world, but its impact on people’s mental health has not been paid due attention by the research community. According to anecdotal data, the pandemic has raised serious concerns related to mental health among the masses. However, no systematic investigations have been conducted previously on mental health monitoring and, in particular, detection of post-traumatic stress disorder (PTSD). The goa...

Model Checking of Optimal LTL and ASAP properties

Model checking has long been employed as a method for the formal verification of control systems, with a focus on ensuring correctness and safety. However, in practical scenarios (e.g., robotics, aviation and aerospace), simply verifying whether a control system satisfies a given property may not suffice. There is often the requisite to optimize system behavior with respect to certain criteria, such as response time. For instance, in verifying a reachability property, one may be interested i...

Planning and learning to perceive in partially unknown environments

For applying symbolic planning, an agent acting in an environment needs to know its symbolic state, and an abstract model of the environment dynamics. However, in the real world, an agent has low-level perceptions of the environment (e.g. its position given by a GPS sensor), rather than symbolic observations representing its current state. Furthermore, in many real-world scenarios, it is not feasible to provide an agent with a complete and correct model of the environment, e.g., when the envi...

Morphological vs. Lexical Antonyms in Italian: A Computational Study on Lexical Competition

In this paper, we examine the competition between pairs of adjectives in Italian that are antonyms of the same term: one is a “morphological antonym” formed by negative prefixation, the other is a “lexical antonym” with no morphological relationship with the term in question. We consider pairs of adjectives that are reported as antonyms in lexicographic resources and extract the nouns that can be modified by both adjectives from a large corpus. We select a set of 8 nouns for each pair that pr...

Chain-of-Thought to Enhance Document Retrieval in Certified Medical Chatbots

We propose a Retrieval-Augmented Generation pipeline aimed at retrieving certified medical information. Inspired by the recently introduced Hypothetical Document Embeddings framework, we use the LLM to generate a document to query our certified repository. Although showing promising results in the first user evaluation, the proposed pipeline sometimes fails to retrieve the correct documents. We therefore propose a second Chain-of-thought-inspired pipeline to enhance the generation of the Hypo...

Scopri

Accesso al fulltext

no fulltext17944
open1032
restricted783
reserved453
partially open16
embargoed2
mixed2

IRIS Institutional Research Information System