OpenLLM-France/wikimedia huggingface dataset:
# Model checking

Il model checking è un metodo per verificare algoritmicamente i sistemi formali. Viene realizzato mediante la verifica del modello, spesso derivato dal modello hardware o software, soddisfacendo una specifica formale. La specifica è spesso scritta come formule logiche temporali.
Il modello solitamente viene espresso come un sistema di transizioni, cioè grafo orientato formato da nodi (o vertici) e archi. Un insieme di proposizioni atomiche è associato ad ogni nodo. I nodi rappresentano gli stati di un sistema, gli archi rappresentano le possibili esecuzioni che alterino lo stato, mentre le proposizioni atomiche rappresentano le proprietà fondamentali che caratterizzano un punto di esecuzione.
Formalmente il problema è posto così: scelta una proprietà da verificare, espressa come una formula logica temporale p, e un modello M avente stato iniziale s, decidere se $M,s\models p$.
Gli strumenti del model checking si scontrano con la crescita esponenziale dell'insieme degli stati, comunemente conosciuto come il problema dell'esplosione combinatoria, che deve servire a risolvere la maggior parte dei problemi del mondo reale. I ricercatori hanno sviluppato algoritmi simbolici, riduzione parziale dell'ordine, diagrammi decisionali, astrazioni e model checking al volo per risolvere il problema. Questi strumenti furono inizialmente sviluppati per la correttezza logica dei sistemi a stati discreti, ma da allora sono stati estesi per trattare sistemi sistema real-time e forme limitate di sistemi ibridi.

## Strumenti

* Alloy (Analizzatore di leghe)
* BLAST (Berkeley Lazy Abstraction Software Verification Tool)
* CADP
* CPAchecker:
* ECLAIR:
* FDR2:
* ISP
* Java Pathfinder: un modello open-source per programmi Java
* Libdmc: un framework per il model checking distribuito
* mCRL2 Insieme di strumenti, Boost Software License, basato sull'algebra ACP
* NuSMV:
* PAT:
* Prism: un model checker simbolico probabilstico
* Roméo: un ambiente integrato per la modellazione, validazione e verifica di sistemi in tempo reale modellati in maniera parametrica, sul tempo, e su Reti di Petri stopwatch
* SPIN:
* TAPAs:
* TAPAAL: un ambiente integrato per la modellazione, validazione e verifica di Reti di Petri Timed-Arc
* TLA+ model checker di Leslie Lamport
* UPPAAL:
# Arhat

Nel buddhismo, gli arhat (sanscrito: अर्हत् "degno di venerazione") o arahant (pāli) sono coloro i quali hanno raggiunto il nirvana. Gli arhat praticano solo per loro stessi, per raggiungere il Nirvana il prima possibile, al contrario invece dei Bodhisattva.
Il termine "arhat" è sanscrito; in vietnamita si dice La Hán; in cinese 阿羅漢, āluóhàn o 羅漢, luóhàn; in coreano 아라한, 阿羅漢, arahan o 나한, 羅漢, nahan; in giapponese arakan (阿羅漢) o rakan (羅漢); in tibetano dgra bcom pa (དགྲ་བཅོམ་པ).།
Un arhat ha quindi percorso lo stesso cammino di un Buddha raggiungendo il nibbāṇa (pāli, nirvāṇa sans.), ma non attraverso una dottrina e una disciplina sviluppati autonomamente, bensì grazie all'insegnamento di un Buddha, vivente o passato. Prima del Sutra del Loto, gli "arhat" non potevano ottenere l'illuminazione perché avevano bruciato i semi della buddità; solo nel IV capitolo del Sutra del Loto, con la parabola del figlio del ricco, tutta l'assemblea degli Arhat o "ascoltatori della voce" manifesta il proprio ringraziamento al Buddha per la predizione dell'illuminazione e rammarico per essersi accontentati di uno stato inferiore, essendo convinti di poter meritare solo quello.
Nelle altre scuole di buddhismo, e in particolare nel buddhismo Mahāyāna, gli arhat sono dei Buddha a tutti gli effetti, detti śrāvakabuddha, ma comunque inferiori a coloro che, pur potendo ormai conseguire tale stato, prendono il voto di continuare a rinascere innumerevoli volte come bodhisattva fintanto che resteranno al mondo esseri senzienti non illuminati, e sono detti Bodhisattvabuddha o Samyaksambuddha.
# East Lexington (Virginia)

East Lexington è un census-designated place (CDP) degli Stati Uniti d'America, situato nello stato della Virginia, nella contea di Rockbridge. Secondo il censimento del 2020 gli abitanti di East Lexington ammontavano a 1824.
# Jiangxi Open 2024 - Doppio

Il doppio femminile del torneo di tennis professionistico Jiangxi Open 2024, facente parte della categoria WTA 250 nell'ambito del WTA Tour 2024, si è giocato dal 28 ottobre al 3 novembre 2024 a Jiujiang, in Cina.
In finale Guo Hanyu e Moyuka Uchijima hanno sconfitto Katarzyna Piter e Fanny Stollár con il punteggio di 7-6$^{(5)}$, 7-5. É il terzo titolo in carriera per Guo, mentre è il primo titolo in carriera per Uchijima.
Laura Siegemund e Vera Zvonarëva erano le campionesse in carica, ma entrambe hanno scelto di non prendere parte a questa edizione del torneo.

## Teste di serie

* Marie Bouzková / Zhang Shuai (quarti di finale)
* Jiang Xinyu / Wu Fang-hsien (quarti di finale)
* Angelica Moratelli / Anna Sisková (primo turno)
* Katarzyna Piter / Fanny Stollár (finale)

## Wildcard

* Feng Shuo / Wang Meiling (primo turno)
* Wang Jiaqi / Zheng Wushuang (primo turno)

## Tabellone
### Legenda

| Primo turno | Primo turno | Primo turno | Primo turno | Primo turno | Quarti di finale | Quarti di finale | Quarti di finale | Quarti di finale | Quarti di finale | Semifinali | Semifinali | Semifinali | Semifinali | Semifinali | Finale | Finale | Finale | Finale | Finale |
| 1 | M Bouzková S Zhang | M Bouzková S Zhang | 6 | 6 | | | | | | | | | | | | | | | |
| | Y Cavallé Reimers A Rus | Y Cavallé Reimers A Rus | 2 | 2 | 1 | M Bouzková S Zhang | M Bouzková S Zhang | 6$^4$ | 1 | | | | | | | | | | |
| | E Pridankina E Jašina | 6 | 5 | [10] | | E Pridankina E Jašina | E Pridankina E Jašina | 7 | 6 | | | | | | | | | | |
| | J Kulambaeva P Plipuech | 2 | 7 | [8] | | | | | | | E Pridankina E Jašina | E Pridankina E Jašina | 1 | 3 | | | | | |
| 4 | K Piter F Stollár | K Piter F Stollár | 6 | 6 | | | | | | 4 | K Piter F Stollár | K Piter F Stollár | 6 | 6 | | | | | |
| | S Murray Sharan E Silva | S Murray Sharan E Silva | 3 | 2 | 4 | K Piter F Stollár | 6$^4$ | 6 | [10] | | | | | | | | | | |
| | E Appleton Q Tang | E Appleton Q Tang | 5 | 3 | | S Lansere K Rachimova | 7 | 4 | [8] | | | | | | | | | | |
| | S Lansere K Rachimova | S Lansere K Rachimova | 7 | 6 | | | | | | | | | | | 4 | Katarzyna Piter Fanny Stollár | Katarzyna Piter Fanny Stollár | 6$^5$ | 5 |
| WC | S Feng M Wang | 6 | 2 | [10] | | | | | | | | | | | | Guo Hanyu Moyuka Uchijima | Guo Hanyu Moyuka Uchijima | 7 | 7 |
| | H Guo M Uchijima | 1 | 6 | [12] | | H Guo M Uchijima | H Guo M Uchijima | 6 | 6 | | | | | | | | | | |
| | A Hartono P Thombare | 7 | 4 | [10] | | A Hartono P Thombare | A Hartono P Thombare | 4 | 2 | | | | | | | | | | |
| 3 | A Moratelli A Sisková | 5 | 6 | [3] | | | | | | | H Guo M Uchijima | H Guo M Uchijima | 6 | 7 | | | | | |
| | A Bondár K Zimmermann | A Bondár K Zimmermann | 6 | 6 | | | | | | | A Bondár K Zimmermann | A Bondár K Zimmermann | 1 | 5 | | | | | |
| WC | J Wang W Zheng | J Wang W Zheng | 0 | 4 | | A Bondár K Zimmermann | 1 | 7 | [10] | | | | | | | | | | |
| | M Hontama T Korpatsch | M Hontama T Korpatsch | 6$^2$ | 4 | 2 | X Jiang F-h Wu | 6 | 5 | [5] | | | | | | | | | | |
| 2 | X Jiang F-h Wu | X Jiang F-h Wu | 7 | 6 | | | | | | | | | | | | | | | |
# Louis Nganioni

Louis Nganioni (Melun, 3 giugno 1995) è un calciatore francese, difensore del Pontarlier.

## Caratteristiche tecniche

È un terzino sinistro.

## Carriera
### Club

È cresciuto nelle giovanili dell'Olympique Lione.
Ha esordito fra i professionisti l'8 agosto 2015 con la maglia dell'Utrecht in un match di Eredivisie perso 3-2 contro il Feyenoord.

## Statistiche
### Presenze e reti nei club

Statistiche aggiornate al 7 luglio 2017.
| Stagione | Squadra | Campionato | Campionato | Campionato | Coppe nazionali | Coppe nazionali | Coppe nazionali | Coppe continentali | Coppe continentali | Coppe continentali | Altre coppe | Altre coppe | Altre coppe | Totale | Totale |
| Stagione | Squadra | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Pres | Reti |
| 2015-2016 | Utrecht | ERE | 11 | 0 | CO | 1 | 0 | | - | - | | - | - | 12 | 0 |
| 2016-2017 | Brest | L1 | 20 | 1 | CF+CdL | 2+1 | 0 | | - | - | | - | - | 23 | 1 |
| Totale carriera | Totale carriera | Totale carriera | 31 | 1 | | 4 | 0 | | - | - | | - | - | 35 | 1 |
# Davide Denegri

Davide Camillo Denegri (Tortona, 8 maggio 1998) è un cestista italiano.

## Palmarès

* Mondiali Under-19:
    Egitto 2017
* Supercoppa LNP: 1
    Vanoli Cremona: 2022
* Coppa Italia di Legadue: 1
    Vanoli Cremona: 2023
# Cercopithecus ascanius

Il cercopiteco nasobianco del Congo (Cercopithecus ascanius (Audebert, 1799)) è un primate della famiglia dei Cercopitecidi.

## Descrizione

Hanno la faccia nera con basette bianche, una macchia biancastra sul naso e del blu attorno agli occhi. Il corpo è marrone, gli arti grigio-bluastri. L'estremità della coda è rossa sul lato inferiore. La lunghezza del corpo varia tra i 40 e 60 cm, il peso tra 3 e 6 kg.

## Distribuzione e habitat

Vivono in zone dell'Africa centrale e meridionale, dall'Africa centrale all'Uganda e allo Zambia. L'habitat è costituito soprattutto dalla foresta pluviale tropicale, ma possono vivere anche in altre foreste.

## Biologia

Vivono in gruppi di 11-14 individui formati da un maschio adulto, diverse femmine e piccoli. Conducono vita arboricola e hanno attività diurna. Si nutrono soprattutto di frutta, ma la dieta comprende anche semi e altri vegetali e occasionalmente insetti e altri piccoli animali. La gravidanza dura circa cinque mesi e al termine nasce in genere un solo cucciolo. La maturità sessuale si raggiunge ad un'età compresa tra i 4 e i 6 anni.

## Tassonomia

Sono note le seguenti sottospecie:
* Cercopithecus ascanius ascanius
* Cercopithecus ascanius atrinasus
* Cercopithecus ascanius katangae
* Cercopithecus ascanius schmidti
* Cercopithecus ascanius whitesidei
# Jarosław Niezgoda

Jarosław Niezgoda (Poniatowa, 15 marzo 1995) è un calciatore polacco, di ruolo attaccante, svincolato.

## Carriera
### Club

Comincia a giocare nelle giovanili del Wisła Puławy. Nel 2012 viene promosso in prima squadra. L'8 gennaio 2016 viene acquistato dal Legia Varsavia. Fa parte anche della rosa della seconda squadra. Il 31 agosto 2016 viene ceduto in prestito al Ruch Chorzów. Nel giugno 2017 rientra dal prestito.

### Nazionale

Ha debuttato con la nazionale Under-21 polacca il 23 marzo 2017, in Polonia-Italia (1-2). Ha messo a segno la sua prima rete con la maglia della nazionale Under-21 il 27 marzo 2017, in Polonia-Repubblica Ceca (1-2), in cui ha siglato la rete del momentaneo 1-1. Ha partecipato, con la nazionale Under-21, all'Europeo 2017.

## Palmarès
### Club
#### Competizioni nazionali

* Coppa di Polonia: 1
    Legia Varsavia: 2017-2018
* Campionato polacco: 1
    Legia Varsavia: 2017-2018
# Poeti spasmodici

I poeti spasmodici (spasmodic poets) erano un gruppo di poeti britannici vissuti durante l'epoca vittoriana. Il termine venne coniato da William Edmonstoune Aytoun con un intento sia dispregiativo che umoristico. L'epiteto stesso è attribuito da Thomas Carlyle a Lord Byron.
Tra i poeti spasmodici troviamo artisti come George Gilfillan, amico e ispiratore di William McGonagall. Gilfillan lavorò per trent'anni al suo lungo poema Night, ma è noto soprattutto per aver incoraggiato i lavori dei giovani spasmodici nelle recensioni letterarie che lui stesso scrisse sotto lo pseudonimo di "Apollodorus". Altri associati al gruppo erano Philip James Bailey, Richard Hengist Horne, Sydney Thompson Dobell, Alexander Smith, John Stanyan Bigg, Gerald Massey, John Westland Marston e Ebenezer Jones.
Il termine "spasmodico" venne applicato dai recensori dell'epoca anche all'Aurora Leigh di Elizabeth Barrett Browning, al Maud di Tennyson, al Golden Legend di Longfellow e alla produzione poetica di Arthur Hugh Clough. Questi poeti, però, non vengono generalmente inclusi nella scuola spasmodica dai critici letterari moderni. La poesia spasmodica ebbe un'enorme popolarità dalla fine degli anni '40 fino agli anni '50 dell'Ottocento, quando improvvisamente passò di moda.
Dal punto di vista stilistico, la poesia spasmodica era caratterizzata dalla produzione di drammi in versi, i cui protagonisti erano, di sovente, poeti. Elementi tipici sono i lunghi soliloqui introspettivi del protagonista; caratteristica che finì per marchiare la produzione spasmodica come estremamente egoistica.
# François Marquet

François Marquet (Theux, 17 aprile 1995) è un calciatore belga, centrocampista svincolato.

## Caratteristiche tecniche

È un centrocampista centrale.

## Carriera
### Club

Cresciuto nelle giovanili dello Standard Liegi, ha esordito il 19 maggio 2013 in un match vinto 4-3 contro il Lokeren.

## Statistiche
### Presenze e reti nei club

Statistiche aggiornate al 7 luglio 2017.
| Stagione | Squadra | Campionato | Campionato | Campionato | Coppe nazionali | Coppe nazionali | Coppe nazionali | Coppe continentali | Coppe continentali | Coppe continentali | Altre coppe | Altre coppe | Altre coppe | Totale | Totale |
| Stagione | Squadra | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Pres | Reti |
| 2012-2013 | Standard Liegi | PL | 1 | 0 | CB | 0 | 0 | | - | - | | - | - | 1 | 0 |
| 2013-2014 | Standard Liegi | PL | 0 | 0 | CB | 0 | 0 | UEL | 4 | 0 | | - | - | 4 | 0 |
| 2014-gen. 2015 | Standard Liegi | PL | 3 | 0 | CB | 0 | 0 | UCL | 1 | 0 | | - | - | 4 | 0 |
| Totale Standard Liegi | Totale Standard Liegi | Totale Standard Liegi | 4 | 0 | | 0 | 0 | | 5 | 0 | | - | - | 9 | 0 |
| gen.-giu. 2015 | Jong PSV | EED | 13 | 1 | | - | - | | - | - | | - | - | 13 | 1 |
| 2015-2016 | Mouscron-Péruwelz | PL | 26 | 0 | CB | 3 | 1 | | - | - | | - | - | 29 | 1 |
| 2016-2017 | Waasland-Beveren | PL | 19+4 | 1+0 | CB | 2 | 1 | | - | - | | - | - | 25 | 2 |
| Totale carriera | Totale carriera | Totale carriera | 66 | 2 | | 5 | 2 | | 5 | 0 | | - | - | 76 | 4 |
# Bruno Godeau

Bruno Godeau (Bruxelles, 10 maggio 1992) è un calciatore belga, difensore del Sint-Truiden.

## Caratteristiche tecniche

È un difensore centrale.

## Carriera
### Club

Cresciuto nelle giovanili dell'Anderlecht, ha esordito il 20 ottobre 2012 con la maglia dello Zulte Waregem in un match perso 3-0 contro il Lokeren.

### Nazionale

Ha giocato nelle nazionali giovanili belghe Under-18 ed Under-21.

## Statistiche
### Presenze e reti nei club

Statistiche aggiornate al 7 luglio 2017.
| Stagione | Squadra | Campionato | Campionato | Campionato | Coppe nazionali | Coppe nazionali | Coppe nazionali | Coppe continentali | Coppe continentali | Coppe continentali | Altre coppe | Altre coppe | Altre coppe | Totale | Totale |
| Stagione | Squadra | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Comp | Pres | Reti | Pres | Reti |
| 2012-2013 | Zulte Waregem | PL | 20 | 1 | CB | 1 | 0 | | - | - | | - | - | 21 | 1 |
| 2013-2014 | Zulte Waregem | PL | 14 | 0 | CB | 1 | 0 | UCL+UEL | 1+1 | 0 | | - | - | 17 | 0 |
| 2014-2015 | Westerlo | PL | 22 | 0 | CB | 1 | 0 | | - | - | | - | - | 23 | 0 |
| 2015-gen. 2016 | Zulte Waregem | PL | 8 | 0 | CB | 1 | 0 | | - | - | | - | - | 9 | 0 |
| Totale Zulte Waregem | Totale Zulte Waregem | Totale Zulte Waregem | 42 | 1 | | 3 | 0 | | 2 | 0 | | - | - | 47 | 1 |
| gen.-giu. 2016 | Ostenda | PL | 13 | 1 | CB | 0 | 0 | | - | - | | - | - | 23 | 1 |
| 2016-2017 | Ostenda | PL | 20 | 1 | CB | 5 | 0 | | - | - | | - | - | 25 | 1 |
| Totale Ostenda | Totale Ostenda | Totale Ostenda | 33 | 2 | | 5 | 0 | | - | - | | - | - | 38 | 2 |
| Totale carriera | Totale carriera | Totale carriera | 97 | 3 | | 9 | 0 | | 2 | 0 | | - | - | 108 | 3 |

## Palmarès
### Club
#### Competizioni nazionali

* Coppa del Belgio: 1
    Gent: 2021-2022
# Nikolaj Vangelov

Nikolaj Rumenov Vangelov (in bulgaro Николай Вангелов; Sofia, 15 febbraio 1996) è un cestista bulgaro di formazione italiana.
# Mads Aaquist

Mads Aaquist (31 dicembre 1994) è un calciatore danese, centrocampista svincolato.

## Caratteristiche tecniche

Prevalentemente, viene schierato come centravanti.

## Carriera
### Club

Asante iniziò la carriera nel Copenaghen e, nel 2014, metà della stagione in prestito all'Horsens ed il 21 gennaio 2015 venne ceduto all'Helsingør.

### Nazionale

Ha giocato in tutte le nazionali giovanili danesi comprese tra l'Under-16 e 'Under-20.

## Palmarès
### Club
#### Competizioni nazionali

* 1. Division: 1
    Viborg: 2020-2021
# Karolis Petrukonis

Karolis Petrukonis (Trakai, 18 maggio 1987) è un ex cestista lituano.

## Palmarès

* Campionato estone: 1
    Tartu Ülikooli: 2014-15
* Coppa di Estonia: 1
    Tartu Ülikooli: 2014
# Denis Terent'ev

Denis Sergeevič Terent'ev (in russo Дени́с Серге́евич Тере́нтьев; San Pietroburgo, 13 agosto 1992) è un calciatore russo, difensore del Baltika.
# Martin Schiller

Martin Schiller (Vienna, 8 marzo 1982) è un allenatore di pallacanestro austriaco.

## Palmarès
### Squadra

* Campionato lituano: 1
    Žalgiris Kaunas: 2020-21
* Coppa di Lituania: 1
    Žalgiris Kaunas: 2020-21

### Individuale

* Dennis Johnson Coach of the Year Award (2020)
# Centroplacaceae

Centroplacaceae Doweld & Reveal è una famiglia di piante angiosperme dell'ordine Malpighiales.

## Tassonomia

La famiglia comprende i seguenti generi:
* Bhesa Buch.-Ham. ex Arn.
* Centroplacus Pierre
# Mongolo

* ciò che è pertinente alla Mongolia
* appartenente al gruppo etnico dei mongoli
* lingua mongola
* Gamma 69
# Casa Campanini

Casa Campanini è un edificio in stile liberty di Milano situato in via Vincenzo Bellini al civico 11.

## Storia e descrizione

Il palazzo, edificato tra il 1904 e il 1906 dall'architetto Alfredo Campanini per diventare la sua residenza, assieme a Palazzo Castiglioni costituisce uno dei migliori esempi del liberty milanese.
Di immediato impatto sono le cariatidi che accompagnano l'ingresso, realizzate in cemento dallo scultore Michele Vedani: benché esse rappresentino un chiaro omaggio alle monumentali cariatidi del Sommaruga poste in origine all'ingresso di Palazzo Castiglioni, queste sculture esprimono una propria intima melanconia.
Il notevole cancello d'ingresso, in ferro battuto, disegnato dallo stesso Campanini e realizzato dal Mazzucotelli, riprende i motivi floreali tipici della decorazione liberty. La stessa eleganza formale si ritrova nei ferri battuti all'interno del palazzo e nella gabbia dell'ascensore. Il palazzo nel suo insieme, rispetto al più monumentale Palazzo Castiglioni, assume forme meno maestose, ma più attente alla vita quotidiana.
All'interno del palazzo si può notare la moltitudine di vetri policromi, fregi e affreschi tipici del gusto liberty; ancora conservati sono gli arredi originali e le ceramiche. Degni di nota sono anche il soffitto del porticato del cortile, in cui il tema floreale viene interpretato mediante disegni di mazzi di ciliegie rosse, e il lampadario in ferro battuto.
Allontanandosi dal palazzo, si può osservare meglio il disegno dei comignoli sul tetto, simili a pinnacoli di sabbia.
# Rachel Neylan

Rachel Neylan (Sydney, 9 marzo 1982) è una ciclista su strada australiana, attiva in formazioni Elite UCI dal 2011 al 2023. Nel 2012 ha vinto la medaglia d'argento nella prova in linea ai campionati del mondo di Valkenburg.

## Palmarès

* 2015 (Orica-AIS, due vittorie)
    2ª tappa Trophée d'Or féminin (Cosne-Cours-sur-Loire > Cosne-Cours-sur-Loire)
    Classifica generale Trophée d'Or féminin
* 2016 (Orica-AIS, una vittoria)
    Grand Prix du Morbihan
* 2019 (Team Virtu Cycling, una vittoria)
    2ª tappa, 2ª semitappa Gracia-Orlová (Dětmarovice > Orlová)

## Piazzamenti
### Grandi Giri

* Giro d'Italia
    2011: ritirata (10ª tappa)
    2015: 32ª
    2018: ritirata (4ª tappa)
    2019: 46ª
    2020: 69ª
* Tour de France
    2022: 28ª
    2023: 49ª

### Competizioni mondiali

* Campionati del mondo su strada
    Valkenburg 2012 - In linea Elite: 2ª
    Ponferrada 2014 - In linea Elite: 24ª
    Richmond 2015 - In linea Elite: 19ª
    Bergen 2017 - In linea Elite: 54ª
    Imola 2020 - In linea Elite: 51ª
    Fiandre 2021 - In linea Elite: 24ª
* Campionati del mondo gravel
    Fiandre 2024 - Elite: 53ª
* Giochi olimpici
    Rio de Janeiro 2016 - In linea: 22ª
# Campionati mondiali di volo con gli sci 1981

I Campionati mondiali di volo con gli sci 1981, sesta edizione della manifestazione, si svolsero dal 26 febbraio al 1º marzo a Oberstdorf, in Germania Ovest, e contemplarono esclusivamente la gara individuale maschile. Furono realizzate tre serie di salti.

## Risultati

| Posizione | Atleta | Nazione | Punti |
| 1 | Jari Puikkonen | Finlandia | 1201,0 |
| 2 | Armin Kogler | Austria | 1140,5 |
| 3 | Tom Levorstad | Norvegia | 1068,0 |
| 4 | Markku Reijonen | Finlandia | 1013,0 |
| 5 | Horst Bulau | Canada | 1002,5 |
| 6 | Halvor Asphol | Norvegia | 996,0 |
Trampolino: Heini Klopfer

## Medagliere per nazioni

| Posizione | Nazione | Oro | Argento | Bronzo | Totale |
| 1 | Finlandia | 1 | 0 | 0 | 1 |
| 2 | Austria | 0 | 1 | 0 | 1 |
| 3 | Norvegia | 0 | 0 | 1 | 1 |
# Nor-Am Cup 1981

La Nor-Am Cup 1981 fu la 6ª edizione della manifestazione organizzata dalla Federazione Internazionale Sci.
In campo maschile lo statunitense Tiger Shaw si aggiudicò la classifica generale; il suo connazionale Michael Frost vinse quella di slalom gigante, il canadese François Jodoin quella di slalom speciale. Lo statunitense Mark Taché era il detentore uscente della Coppa generale.
In campo femminile furono disputate 10 gare (4 slalom giganti, 6 slalom speciali), in 5 diverse località. Le statunitensi Brenda Buglione e Noel Lyons si aggiudicarono a pari merito la classifica generale e la Buglione vinse anche quella di slalom speciale; le loro connazionali Pam Fletcher e Leslie Smith vinsero a pari merito quella di slalom gigante. La statunitense Maggie Crane era la detentrice uscente della Coppa generale.
# Chiara Chiti

Chiara Chiti (Firenze, 21 agosto 1987) è un'attrice e modella italiana.

## Biografia

Chiara Chiti esordisce come modella a Milano; scritturata per un provino, nel 2008 viene scelta come protagonista di Un gioco da ragazze, il suo film d'esordio, nella parte di Elena, una ragazza sbandata.
Nel 2011 entra a far parte del cast della serie televisiva Non smettere di sognare; il suo ultimo film è Vorrei vederti ballare del 2012 dove è co-protagonista insieme a Giulio Forges Davanzati.

## Filmografia
### Cinema

* Un gioco da ragazze, regia di Matteo Rovere (2008)
* Vorrei vederti ballare, regia di Nicola Deorsola (2012)

### Televisione

* Non smettere di sognare, regia di Roberto Burchielli - Serie TV (2011)
* Che Dio ci aiuti, regia di Francesco Vicario - Serie TV 1ª stagione - Episodio 12 (2012)