logseq/journals/2024_02_06.md

• 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]