101 lines
7.0 KiB
Markdown
101 lines
7.0 KiB
Markdown
- Maude is a specification language based on rewriting logic
|
||
- Set of rewrite rules that describe the one-step possible concurrent
|
||
transitions in the modeled system
|
||
- sort TimeStamp .
|
||
sort Series .
|
||
--- Substitute original time of a timestamp within a timeseries with a early time
|
||
eq applyEarly(empty, T' @ V', TMIN, EPS) = empty .
|
||
ceq applyEarly(T @ V ; S, T' @ V', TMIN, EPS) = genRandomEarlyTime(T, TMIN, EPS) @ V ; S if T = T' /\ V = V' .
|
||
ceq applyEarly(T @ V ; S, T' @ V', TMIN, EPS) = T @ V ; applyEarly(S, T' @ V', TMIN, EPS) if T =/= T' or V =/= V' .
|
||
--- perform a Early mutation
|
||
eq earlyMutation(S, EPS) = applyEarly(S, getTimestampAt(genRandomIndex(countEls(S)), S), getMinTime(S), EPS) .
|
||
red earlyMutation(3 @ 4 ; 55 @ 3 ; 22 @ 7 ; 11 @ 8 ; 2 @ 9 ; empty, 0.0005) .
|
||
- sort TimeStamp .
|
||
- sort Series .
|
||
- *--- Substitute original time of a timestamp within a timeseries with a early time*
|
||
- eq applyEarly(empty, T' @ V', TMIN, EPS) = empty .
|
||
- ceq applyEarly(T @ V ; S, T' @ V', TMIN, EPS) = genRandomEarlyTime(T, TMIN, EPS) @ V ; S if T = T' /\ V = V' .
|
||
- ceq applyEarly(T @ V ; S, T' @ V', TMIN, EPS) = T @ V ; applyEarly(S, T' @ V', TMIN, EPS) if T =/= T' or V =/= V' .
|
||
- *--- perform a Early mutation*
|
||
- eq earlyMutation(S, EPS) = applyEarly(S, getTimestampAt(genRandomIndex(countEls(S)), S), getMinTime(S), EPS) .
|
||
-
|
||
- red earlyMutation(3 @ 4 ; 55 @ 3 ; 22 @ 7 ; 11 @ 8 ; 2 @ 9 ; empty, 0.0005) .
|
||
- ## 🗒️Notes
|
||
- **Candidatura di Fabio Graziosi a guida del DISIM**
|
||
- type:: [[meeting]]
|
||
external-links::
|
||
tags::
|
||
people::
|
||
date:: [[06-02-2024]] - 18:25
|
||
duration::
|
||
- **INTRODUZIONE**
|
||
- E' arrivato lungo, voleva accertarsi di sistemare il progetto PNRR VITALITY in maniera tale che potesse "camminare da solo".
|
||
- staff di 11 persone, una per ogni spoke
|
||
- 150 reclutati
|
||
- Siamo al 26% di avanzamento di spesa (a 19 di 36 + 6)
|
||
- Il MUR a Natale ha fatto lo stato della situazione
|
||
- alcuni progetti erano al 3%, i migliori al 21% di spesa, VINALITY era' al 19%
|
||
- Da quel momento e' iniziata a concretizzarsi l'idea di candidarsi
|
||
- Consapevole che e' un'operazione complicata
|
||
- Ci sono grandi temi da sottolineare (non e' un programma che sara' illustrato in assemblea):
|
||
- Attitudine all'innovazione (recupero della capacità di governale l'innovazione)
|
||
- Qualsiasi tema dell'agenda nazionale riguarda il DISIM (nella sua completezza, ovvero dipartimento che ha tutto quello che serve per una ricerca di qualità)
|
||
- Il Dipartimento cresce se le aree del dipartimento crescono insieme
|
||
- Finanziamenti, occasioni di crescita, consolidamento etc.
|
||
- **DIDATTICA**
|
||
- Occasioni per fare analisi ed interventi di revisione considerando le triennali (fonte che alimenta tutto il resto)
|
||
- Capire quali sono le leve di attrattività per far crescere le nostre triennali e quindi irrobbustire le magistrali
|
||
- La partenza del 3+2 fu accompagnata da Campus One / Manager Didattico ... scelta che fu dirompente (?!?!?!? connessione scadente)
|
||
- Credo si sia riferito ad una figura a supporto e miglioramento della gestione didattica
|
||
- Relazioni con gli stakeholders che di fatto attualmente non esiste (a parte connessioni spot).
|
||
- C'e' la necessità di intercettare i risultati di ricerca per migliorare le attività produttive
|
||
- Migliorare la nostra offerta didattica considerando i need degli stakeholder
|
||
- Processi di internazionalizzazione
|
||
- Abbiamo 3 grandi flussi di ingresso
|
||
- Internazionali (doppio titoli, erasmus, etc)
|
||
- Le caratteristiche d'ingresso sono definite by design
|
||
- Programmi che il ministero destina a studenti internazionali (paesi in guerra, etc)
|
||
- Anche questo filone, sappiamo come trattarlo
|
||
- Filone libero
|
||
- Eterogeneità mostruosa
|
||
- Anche in queto caso, dobbiamo analizzare i tre filoni e mettere in campo azioni migliorative. Ridurre la distanza tra i nostri requisiti d'ingresso e studente in arrivo.
|
||
- **RICERCA**
|
||
- Noi siamo, grazie al lavoro fatto da Paola, Bruno, Guido, etc. un dipartimento lungimirante (multidisciplinarietà, ??!??!?! ancora connessione scadente)
|
||
- Logica di piena interazione tra le aree
|
||
- Coinvolgere e far crescere i giovani che possono guardare in piu' direzioni (ancora tema interdisciplinare)
|
||
- **ALTRO**
|
||
- Gestione dipartimentale che ha a che fare con risorse
|
||
- Sappiamo che avremo un periodo caratterizzato da contrazione delle disponibilità
|
||
- Far crescere il dipartimento nonostante tutto
|
||
- **BREVE DIBATTITO, interventi (non si sente bene):**
|
||
- *GUIDO*: Concorda con le azioni illustrate (sebbene ad alto livello di astrazione) e si mette a disposizione per agevolare la transizione
|
||
- Le macrolinee programmatiche sono condivisibili, sebbene poi purtroppo c'e' la normale amministrazione che distoglie l'attenzione
|
||
- La difficotà principale e' coinvolgere le persone!!!
|
||
- E' necessario coinvolgere un progetto nel quale coinvolgere le persone (cosa piu' complicata)
|
||
- *FILIPPO*: In questo momento entrare nei dettagli tecnici mi sembra impossibile al momento. Apprezziamo le linee programmatiche illustrate.
|
||
- *HENRY*: Ringrazia Guido per il lavoro svolto full-time. Due aspetti piu' cari:
|
||
- Unico CAD (quello di INF) con 8 curricula
|
||
- C'e' necessità di sistemare le criticità di gestione dei CAD (a disposizione a dare una mano)
|
||
- *VITTORIO*: Ringrazia per il coraggio :-)
|
||
- Difficile andare tecnicamente sulle singole cose
|
||
- C'e' stato un cambiamento delle modalità di lavoro accellerato dalla pandemia, ma non e' stato decellerato successivamente :-)
|
||
- e.g. spingere contro la volontà di coloro che sono contrari alla modalità di svolgere meeting in presenza
|
||
- Fabio concorda e fa un accenno alla questione didattica a distanza
|
||
- *ALFONSO*: Ringrazia anche lui per il coraggio.
|
||
- Rimarca la necessità di avere un supporto alla didattica (amministrativo etc.)
|
||
- fa riferimento all'uso che attualmente si fa di sistemi informativi che vengono introdotti senza aver prima coinvolto gli stakeholder (noi :-) )
|
||
- Fabio concorda e fa riferimento ad un'azione pilota che poi l'Ateneo potrà decidere se adottarlo se ci saranno risultati.
|
||
- *STEFANO SMRIGLIO*: Ringrazia e fa un riferimento alla questione stakeholder, una questione fondamentale
|
||
-
|
||
-
|
||
-
|
||
- ## 🤝Meetings
|
||
- {{query (and [[06-02-2024]] (property :type "meeting") (not [[06-02-2024]]))}}
|
||
- ## 📜Reviews
|
||
- {{query (and [[REVIEWS]] (or (property :date-end [[06-02-2024]]) (property :date-start [[06-02-2024]]) (property :date-submitted [[06-02-2024]])))}}
|
||
query-table:: true
|
||
query-properties:: [:file :year :venue :deadline]
|
||
- ## ⤴️Omnivore readings
|
||
- {{query (and (property :source [[Omnivore]]) (or (property :deadline [[06-02-2024]]) (property :date-saved [[06-02-2024]]) (property :date-archived [[06-02-2024]])))}}
|
||
query-table:: true
|
||
query-properties:: [:labels :state :full-title] |