Richiedi una copia del documento: Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM
simulazione ASN
Il report seguente simula gli indicatori relativi alla produzione scientifica in relazione alle soglie ASN 2023-2025 del proprio SC/SSD. Si ricorda che il superamento dei valori soglia (almeno 2 su 3) è requisito necessario ma non sufficiente al conseguimento dell'abilitazione.
La simulazione si basa sui dati IRIS e presenta gli indicatori calcolati alla data indicata sul report. Si ricorda che in sede di domanda ASN presso il MIUR gli indicatori saranno invece calcolati a partire dal 1° gennaio rispettivamente del quinto/decimo/quindicesimo anno precedente la scadenza del quadrimestre di presentazione della domanda (art 2 del DM 598/2018).
In questa simulazione pertanto il valore degli indicatori potrà differire da quello conteggiato all’atto della domanda ASN effettuata presso il MIUR a seguito di:
La presente simulazione è stata realizzata sulla base delle regole riportate nel DM 598/2018 e dell'allegata Tabella A e delle specifiche definite all'interno del Focus Group Cineca relativo al modulo IRIS ER. Il Cineca non si assume alcuna responsabilità in merito all'uso che il diretto interessato o terzi faranno della simulazione.
La simulazione si basa sui dati IRIS e presenta gli indicatori calcolati alla data indicata sul report. Si ricorda che in sede di domanda ASN presso il MIUR gli indicatori saranno invece calcolati a partire dal 1° gennaio rispettivamente del quinto/decimo/quindicesimo anno precedente la scadenza del quadrimestre di presentazione della domanda (art 2 del DM 598/2018).
In questa simulazione pertanto il valore degli indicatori potrà differire da quello conteggiato all’atto della domanda ASN effettuata presso il MIUR a seguito di:
- Correzioni imputabili a eventuali periodi di congedo obbligatorio, che in sede di domanda ASN danno diritto a incrementi percentuali dei valori.
- Presenza di eventuali errori di catalogazione e/o dati mancanti in IRIS
- Variabilità nel tempo dei valori citazionali (per i settori bibliometrici)
- Variabilità della finestra temporale considerata in funzione della sessione di domanda ASN a cui si partecipa.
La presente simulazione è stata realizzata sulla base delle regole riportate nel DM 598/2018 e dell'allegata Tabella A e delle specifiche definite all'interno del Focus Group Cineca relativo al modulo IRIS ER. Il Cineca non si assume alcuna responsabilità in merito all'uso che il diretto interessato o terzi faranno della simulazione.