![Filosofia Urbino](/img/default-banner.jpg)
- 227
- 77 738
Filosofia Urbino
Italy
เข้าร่วมเมื่อ 28 มิ.ย. 2014
La nostra pagina youtube raccoglie alcuni video realizzati all'interno della scuola di Filosofia, ed è collegata anche al sito della magistrale di Filosofia dell'Informazione (filosofia.uniurb.it/). I video realizzati mostrano eventi ufficiali svolti all'interno dell'ateneo e alcuni argomenti di carattere prettamente filosofico.
Analysis of cognitive properties of interactive systems using model-checking - Antonio Cerone
Analysis of cognitive properties of interactive systems using model-checking
Antonio Cerone
[Nazarbayev University, Astana]
Synergia Seminars Spring 2024
[Abstract]
Interactive systems may appear to work correctly and safely when analysed in isolation from the human environment in which they are supposed to work. In fact, the same cognitive skills that enable humans to perform complex tasks may also become the source of critical errors in the interaction with systems and devices designed as supports for such tasks. It is thus essential to verify the desired properties of an interactive system using a model that not only includes a user-centered description of the task, but also incorporates a representation of human cognitive processes within the task execution. This seminar introduces the Behaviour and Reasoning Description Language (BRDL), a notation for rigorously describing human tasks in terms of the cognitive processes associated with human cognition: perception, attention, and information storage, processing and retrieval. The semantics of BRDL is based on a basic model of human memory and memory processes and is adaptable to the different cognitive theories that have been developed in psychology. This allows us, on the one hand, to keep the syntax of the language to a minimum, thus making it easy to learn and understand without requiring expertise in mathematics or formal methods and, on the other hand, to use semantic variations to compare alternative theories of memory and cognition. Such semantics variations have been implemented using Maude, a modelling language and tool that supports both simulation and formal analysis of properties using model checking. Within the Maude implementation the BRDL model can be combined with the formal model of a computer system, thus modelling human-computer interaction. Therefore, BRDL can be successfully used at two levels: (1) as an informal modelling and reasoning tool for domain experts from the areas of psychology and usability evaluation, and (2) as a formal tool for performing in silico experiments on human cognition, behaviour and learning and for carrying out the simulation and formal verification of interactive systems.
Antonio Cerone
[Nazarbayev University, Astana]
Synergia Seminars Spring 2024
[Abstract]
Interactive systems may appear to work correctly and safely when analysed in isolation from the human environment in which they are supposed to work. In fact, the same cognitive skills that enable humans to perform complex tasks may also become the source of critical errors in the interaction with systems and devices designed as supports for such tasks. It is thus essential to verify the desired properties of an interactive system using a model that not only includes a user-centered description of the task, but also incorporates a representation of human cognitive processes within the task execution. This seminar introduces the Behaviour and Reasoning Description Language (BRDL), a notation for rigorously describing human tasks in terms of the cognitive processes associated with human cognition: perception, attention, and information storage, processing and retrieval. The semantics of BRDL is based on a basic model of human memory and memory processes and is adaptable to the different cognitive theories that have been developed in psychology. This allows us, on the one hand, to keep the syntax of the language to a minimum, thus making it easy to learn and understand without requiring expertise in mathematics or formal methods and, on the other hand, to use semantic variations to compare alternative theories of memory and cognition. Such semantics variations have been implemented using Maude, a modelling language and tool that supports both simulation and formal analysis of properties using model checking. Within the Maude implementation the BRDL model can be combined with the formal model of a computer system, thus modelling human-computer interaction. Therefore, BRDL can be successfully used at two levels: (1) as an informal modelling and reasoning tool for domain experts from the areas of psychology and usability evaluation, and (2) as a formal tool for performing in silico experiments on human cognition, behaviour and learning and for carrying out the simulation and formal verification of interactive systems.
มุมมอง: 29
วีดีโอ
Laurea Magistrale in Filosofia dell'Informazione 2024/2025 Università degli Studi di Urbino Carlo Bo
มุมมอง 1672 หลายเดือนก่อน
Laurea Magistrale in Filosofia dell'Informazione 2024/2025 Università degli Studi di Urbino Carlo Bo Il corso presenta due curricula: Filosofia della Scienza e della Tecnologia Filosofia e Storia per la Didattica Sebbene tutti e due i curricula offrano la possibilità di continuare nel mondo della ricerca o in quello della scuola acquisendo i crediti necessari per accedere ai percorsi abilitanti...
New Master's Degree in PHILOSOPHY OF INFORMATION (blended learning program) Academic year 2024-2025
มุมมอง 752 หลายเดือนก่อน
New Master's Degree in PHILOSOPHY OF INFORMATION (blended learning program) Academic year 2024-2025 Department of Pure and Applied Sciences University of Urbino Carlo Bo. Visit our website filosofia.uniurb.it/ and meet us in person.
Nuova Laurea Magistrale in FILOSOFIA DELL'INFORMAZIONE(corso di studio in modalità mista) 2024-2025
มุมมอง 1752 หลายเดือนก่อน
Nuova Laurea Magistrale in FILOSOFIA DELL'INFORMAZIONE (corso di studio in modalità mista) a.a. 2024-2025 Dipartimento di Scienze Pure e Applicate Università degli Studi di Urbino Carlo Bo.
Prepara il tuo futuro nella Filosofia dell'Informazione! TrainigCamp Università di Urbino 2024/2025
มุมมอง 682 หลายเดือนก่อน
Sei pronto a intraprendere la tua laurea magistrale in Filosofia dell'Informazione con sicurezza e competenza? Allora non perdere l'opportunità di partecipare al nostro Training Camp, il corso preparatorio online intensivo alla Laurea Magistrale in Filosofia dell’Informazione! dal 1 ottobre 2024 al 4 ottobre 2024; dal 7 ottobre 2024 al 10 ottobre 2024. Non lasciare al caso il tuo futuro univers...
Energy and Entropy in Cosmology - Erik Curiel (University of Bonn)
มุมมอง 612 หลายเดือนก่อน
Energy and Entropy in Cosmology Erik Curiel (University of Bonn) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino You can review the presentation slides on the summer school website: sites.google.com/view/xxvii-urbino-summer-school/home
Early Dark Energy: isn't it too early? - Vera Matarese (University of Perugia)
มุมมอง 402 หลายเดือนก่อน
Early Dark Energy: isn't it too early? Vera Matarese (University of Perugia) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino sites.google.com/view/xxvii-urbino-summer-school/home
Dark Energy and what we could know about the global structure of spacetime - Juliusz Doboszewski
มุมมอง 302 หลายเดือนก่อน
Dark Energy and what we could know about the global structure of spacetime Juliusz Doboszewski (University of Bonn) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino sites.google.com/view/xxvii-urbino-summer-school/home
MEASURE, TOPOLOGY AND PROBABILISTIC REASONING IN COSMOLOGY - Erik Curiel (University of Bonn)
มุมมอง 632 หลายเดือนก่อน
MEASURE, TOPOLOGY AND PROBABILISTIC REASONING IN COSMOLOGY Erik Curiel (University of Bonn) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino You can review the presentation slides on the summer school website: sites.google.com/view/xxvii-urbino-summer-school/home
AN INTRODUCTION TO THE PHYSICS OF DARK ENERGY #4 - Viatcheslav Mukhanov (LMU Munich)
มุมมอง 672 หลายเดือนก่อน
AN INTRODUCTION TO THE PHYSICS OF DARK ENERGY #4 Viatcheslav Mukhanov (LMU Munich) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino sites.google.com/view/xxvii-urbino-summer-school/home
AN INTRODUCTION TO THE PHYSICS OF DARK ENERGY #3 - Viatcheslav Mukhanov (LMU Munich)
มุมมอง 502 หลายเดือนก่อน
AN INTRODUCTION TO THE PHYSICS OF DARK ENERGY #3 Viatcheslav Mukhanov (LMU Munich) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino sites.google.com/view/xxvii-urbino-summer-school/home
Epistemological problems of Dark Energy - Erik Curiel (University of Bonn)
มุมมอง 932 หลายเดือนก่อน
Epistemological problems of Dark Energy Erik Curiel (University of Bonn) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino You can review the presentation slides on the summer school website: sites.google.com/view/xxvii-urbino-summer-school/home
Dark Energy and (in)determinism - Juliusz Doboszewski (University of Bonn)
มุมมอง 562 หลายเดือนก่อน
Dark Energy and (in)determinism Juliusz Doboszewski (University of Bonn) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino sites.google.com/view/xxvii-urbino-summer-school/home
AN INTRODUCTION TO THE PHYSICS OF DARK ENERGY #2 - Viatcheslav Mukhanov (LMU Munich)
มุมมอง 502 หลายเดือนก่อน
AN INTRODUCTION TO THE PHYSICS OF DARK ENERGY #2 - Viatcheslav Mukhanov (LMU Munich) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino sites.google.com/view/xxvii-urbino-summer-school/home
Dark Energy Fictionalism: exploring different kinds of fictionalism for Dark Energy - Vera Matarese
มุมมอง 552 หลายเดือนก่อน
Dark Energy Fictionalism: exploring different kinds of fictionalism for Dark Energy Vera Matarese (University of Perugia) Philosophy of Dark Energy XXVII International Summer School in Philosophy of Physics University of Urbino sites.google.com/view/xxvii-urbino-summer-school/home
What is Dark Energy and why do we need it? - Erik Curiel (University of Bonn)
มุมมอง 1032 หลายเดือนก่อน
What is Dark Energy and why do we need it? - Erik Curiel (University of Bonn)
AN INTRODUCTION TO THE PHYSICS OF DARK ENERGY #1 - Viatcheslav Mukhanov (LMU Munich)
มุมมอง 1302 หลายเดือนก่อน
AN INTRODUCTION TO THE PHYSICS OF DARK ENERGY #1 - Viatcheslav Mukhanov (LMU Munich)
Tales of twin cities: what are climate analogues good for? Giovanni Valente (Polytechnic of Milano)
มุมมอง 483 หลายเดือนก่อน
Tales of twin cities: what are climate analogues good for? Giovanni Valente (Polytechnic of Milano)
Sequent Calculi for First-Order Strict-Tolerant Logic - Francesco Paoli (University of Cagliari)
มุมมอง 1514 หลายเดือนก่อน
Sequent Calculi for First-Order Strict-Tolerant Logic - Francesco Paoli (University of Cagliari)
Le predizioni possono salvare la predicibilità? Lo strano caso dei sistemi finanziari - E. Ippoliti
มุมมอง 574 หลายเดือนก่อน
Le predizioni possono salvare la predicibilità? Lo strano caso dei sistemi finanziari - E. Ippoliti
From Serpieri’s multidisciplinarityto transdisciplinary creativity-Giovanni Emanuele Corazza (UniBo)
มุมมอง 304 หลายเดือนก่อน
From Serpieri’s multidisciplinarityto transdisciplinary creativity-Giovanni Emanuele Corazza (UniBo)
Matematica antica di Davide Pietrini (con l'intervento di G. Micheli, F. Marcacci, E. Giannetto)
มุมมอง 914 หลายเดือนก่อน
Matematica antica di Davide Pietrini (con l'intervento di G. Micheli, F. Marcacci, E. Giannetto)
The muon magnetic anomaly - Alberto Lusiani (Scuola Normale Superiore, Pisa)
มุมมอง 204 หลายเดือนก่อน
The muon magnetic anomaly - Alberto Lusiani (Scuola Normale Superiore, Pisa)
Scientific programming: frameworks - Andrea Vicerè (University of Urbino)
มุมมอง 354 หลายเดือนก่อน
Scientific programming: frameworks - Andrea Vicerè (University of Urbino)
Scoperta e mitografia di Leonardo scienziato nell’Otto e Novecento M.Beretta (University of Bologna)
มุมมอง 675 หลายเดือนก่อน
Scoperta e mitografia di Leonardo scienziato nell’Otto e Novecento M.Beretta (University of Bologna)
Quantum chemical modelling and beyond - Francesco Zerbetto (University of Bologna)
มุมมอง 595 หลายเดือนก่อน
Quantum chemical modelling and beyond - Francesco Zerbetto (University of Bologna)
Entanglement, causalità, realismo - Gennaro Auletta (University of Cassino and Southern Lazio)
มุมมอง 2665 หลายเดือนก่อน
Entanglement, causalità, realismo - Gennaro Auletta (University of Cassino and Southern Lazio)
Logic and Algebra in Computer Science: a dual perspective - Antonino Salibra (Université Paris Cité)
มุมมอง 536 หลายเดือนก่อน
Logic and Algebra in Computer Science: a dual perspective - Antonino Salibra (Université Paris Cité)
Automated Theorem Generation/Finding in Geometry - Pedro Quaresma (University of Coimbra)
มุมมอง 267 หลายเดือนก่อน
Automated Theorem Generation/Finding in Geometry - Pedro Quaresma (University of Coimbra)
A Geometry Deductive Database Prover - Pedro Quaresma (University of Coimbra)
มุมมอง 287 หลายเดือนก่อน
A Geometry Deductive Database Prover - Pedro Quaresma (University of Coimbra)
Grandissimo prof. Benci...indimenticabile il suo corso di Analisi I all'Universita' di Bari, a.a. 81/82, laurea in Ingegneria Elettronica.
Buon video ma attenzione bisogna approfondire bene diversi argomenti citati (non dai libri scolastici che sono manipolati a loro piacimento) ci sono errori in ciò che dici..ma non ti fermare puoi creare veramente ottimi contenuti e cresce molto velocemente 🤗
Per sapere, o per lo meno immaginare come tutta quest'acqua sia presente nel nostro pianeta, basterebbe pensare che e' possibile che grazie alle forze autogenerative che la terra e luna possiedono sia stato possibile che miliardi di anni fa l'acqua contenuta All' interno del nostro pianeta fosse stata spinta fuori dalla forza termodinamica che il nucleo aveva Avuto in fase di formazione del pianeta ,con lo strato di roccia che componeva la crosta terrestre ,facendo fuori uscire in tempi a venire continue uscite di acqua diventata salata per il flusso che ha avuto attraversando la roccia ricca di sali minerali espressi in cloruro di sodio per tutto il pianeta ,dove con l'aiuto dei poteri che genera la luna a nostro favore , si sia potuto ottenere un aiuto ulteriore per la fuori uscita dell'acqua dal suolo Ottenendo un controllo perpetuo e naturale da essa delle maree le quali associate al moto terrestre diano vita a flussi di correnti che ne regolano poi la temperatura sia dell'acqua che del aria per tutto il globo. Il ciclo naturale volle poi che si crearono le nubi di conseguenza ai vopori acquei prodotti dal oceono sprigionando numerose piogge e quindi generando acqua anche dal cielo. Come in quasi tutti i corpi celesti presenti nello spazio e' presente all'interno di essi cuantita' di acqua , Cosi come all'origine della sua formazione ebbe il nostro pianeta . Per finire volevo aggiungere che di acqua ce ne stata ce ne e ce ne sara' L'importante e' saperla rispettare ma sopratutto saperla gestire . Ciao a tutti ...
L' acqua voluta e creata da dio come è così per tutto ciò che esiste . Dio ha voluto progettato e dato la vita che nessuno ha mai potuto Gli studiosi scoprono poco alla volta quello creato niliardi di anni fa , da dio ,il piu grande scienziao sapiente e d energia senza fine .
Come mai il tuo dio ha creato gli oceani salati???... Un dispetto?.... stiamo morendo di siccità..... eppure il 70% del pianeta è composta di acqua... Che pena..... credere in questo dio buono...
guarda a me è sembrata sempre iperbolica la previsione che l acqua venga da fuori il sistema solare, ma ora che lo dici mi sembra che lo stesso 20 % sia troppo
lunedì ho una presentazione con lui
Interessantissimo, grazie
Mio padre totale, amazing lesson
No mention of JULIA ?
Grazie 😍😃👋
Bel video 🌠🌌👏👍💗
Chi se ne frega ma queste non sono cose importanti ma no no
Wow Incredible interesante !!!
This is quite excellent and helpful, thank you so much for sharing this video and giving these explanations of Brouwer.
Complimenti al Professore!! Chiarissimo, esaustivo e piacevole.
Very well explained. Thanks for this.
Really interesting!
Che noia tremenda il primo intervento... Capisco l'uso della metafora, ma quando questa viene usata per quasi 1 ora, stanca parecchio. Poteva esporre i suoi dubbi in 10 minuti. Ha preferito allungare il brodo, tirare l'elastico fino al suo limite. Ecco cosa provoca la fuga dalla Filosofia o dai corsi di Filosofia...personaggi del genere. Mugnai tutta la vita.
🤔La filosofia" non" cambia la filosofia ... ma restuisce il Pensiero alla Realtà ...
Ma non è che gli editori sentono i docenti su quali autori si sono laureati...
Greetings! Will you be uploading prof. Martens' other lessons?
Please improve the image quality of the presentations; it is too bad.
Thanks for the feedback. We will upload the following videos with better quality.
Please i need the English version
Discussione interessante, bisognerebbe riproporla nei licei, di fronte ai (e con) diretti interessati: insegnanti e alunni.
like, great video!I'll be back, betsie~;))
Grande, finalmente una divulgazione scientifica all'altezza in mezzo a tanto pattume, mi complimento, hai guadagnato un nuovo iscritto.
Fascinating.
Ciao…. ho la cura... la migliore soluzione EFFICACISSIMA... e tutto scompare dalle malvagità alle depravazioni, cattivi pensieri di separazioni coniugali, persino fobie, allucinazioni, istinti suicidi, ansia, deliri, abomini e panico causato da terzi, comprese le depressioni più ostinate che ci affliggono. Questa che vi porto a conoscenza è la nuova legge di Dio. Infatti puoi parlare di tutto con l’Eterno, dalle banalità quotidiane ai problemi seri, in una parola un vero e proprio dialogo a 360 gradi. La preghiera si svolge mettendosi in ginocchio ed a mani giunte esordendo a voce moderata con il Padre nostro, ave Maria, gloria al Padre; (Importante …non separiamo le mani, poiché l’Eterno comunica con l’anima e si perde il contatto). Nel momento che iniziamo a pregare, potremmo essere disturbati da forze esterne, come i pensieri, le cose inutili le divagazioni ed altro. Attraverso diverse ripetizioni delle preghiere, si allontana il tutto, poiché anche se volessimo pensare qualcosa, sarà impossibile farlo. Inizieremo con un saluto rivolto a Dio e con la frase "Ciao Padre Eterno."; …e gli racconti il tuo problema, chiedendogli il suo intervento. L'importante è non dimenticare l'aiuto che si riceve. Le preghiere devono essere svolte più volte al giorno, anche quando si lavora. Quindi non abbandonare Dio! ti allego le preghiere! Il segno della croce, in nome del Padre, del Figlio e dello Spirito Santo. Padre Nostro che sei nei cieli, sia santificato il Tuo nome, venga il tuo regno, sia fatta la Tua volontà, come in cielo così in terra. Dacci oggi il nostro pane quotidiano, rimetti a noi i nostri debiti come noi li rimettiamo ai nostri debitori. Aiutaci a non cadere nella tentazione, ma liberaci dal male. Amen Ave Maria piena di grazia, il Signore è con te. Tu sei benedetta fra le donne e il benedetto è il frutto del tuo seno Gesù. Santa Maria, Madre di Gesù, prega per noi peccatori, adesso e nell'ora della nostra morte. Amen Gloria al Padre, al Figlio ed allo Spirito Santo. Com’era nel principio, ora e sempre nei secoli dei secoli. Amen
Ma te ne vuoi andare 🧨🧨
è così banale la risposta !, durante la formazione del sistema solare, l' acqua (che era ed è abbondante) è stata spinta oltre un certo limite del disco proto solare, all' incirca nell' attuale posizione tra Marte e Giove, la spinta del vento solare agli inizi era fortissima ed i pianeti rocciosi entro quel limite non potevano trattenerla in mancanza degli stessi gas che creavano un' atmosfera, anch' essi spinti dalla forza iniziale del vento solare, oltre quel limite l' acqua esisteva (ed esiste tutt'ora) solo sotto forma di ghiaccio, più tardi la forza è diminuita e contemporaneamente le forze attrattive del Sole e degli stessi pianeti Giganti che man mano si aggregavano dentro la nube del proto disco creavano scompiglio, pianeti più lontani si avvicinavano e pianeti più vicini si allontanavano interagendo e creando a volte incontri ravvicinati tra di loro, ad un certo punto, quando le orbite cominciavano a stabilizzarsi deve esserci stato un grande scontro tra due pianeti, uno situato nell' attuale fascia degli asteroidi, con una massa paragonabile all' attuale Giove, con molta acqua ghiacciata e l' altro, forse un pianeta esterno retrogrado poi uscito dall' attrazione del Sole, il pianeta verosimilmente dovrebbe essere stato Tiamat (come viene descritto nei racconti babilonesi), in seguito a questa collisione il grosso pianeta si è spezzato, una parte ha formato la Terra scagliandola in un' orbita più vicina al sole portandosi con se in dote gran parte della massa d' acqua ghiacciata e parte dei gas, questa nuovo pianeta (la Terra) si è addensato (forse trascinandosi anche una luna del pianeta originario, la nostra attuale Luna), mantenendo una gran parte di ghiaccio e di gas che hanno creato sia l' atmosfera che l' acqua allo stato liquido (ciò dovuto alla nuova posizione più vicina al Sole), ma sopratutto un nucleo ferroso che ha permesso di mantenere un campo gravitazionale, contemporaneamente gran parte del pianeta originario si è disintegrato formando l' attuale fascia degli asteroidi e cedendo parte dei gas ai pianeti esterni, in particolar modo a Giove che si è ingrandito, se siete curiosi ed approfondire la teoria leggete "ingegneri del cosmo: come è stato progettato il sistema solare" di Marco Pesci
Tutto sto romanzo x non dire come si è formata...
Viviamo dentro la cupola....facile...
Thanks for the great lectures. Kindly upload the videos with higher quality.
Thanks for sharing
Please improve the image quality. It’s lousy.
A whistle-stop tour of physics of two decades from 1997 (emergence of AdS/CFT out of string theory) to 2016 (quantum extremal surface calculation of holographic entropy) by someone who has immense insight how they got there
Che bello aver assistito a una lezione del professor Lanconelli dopo tanto tempo. Grazie.
Beautiful explanation of entanglement in quantum field theory at around 50mins.
GRAZIE. MA. SARÀ. COSÌ. ?? COMUNQUE. GRAZIE. ♥️🌎😎
Urca! E mo’? L’altra acqua che dovrebbe essere ovunque nell’Universo dov’è, com’è? Perché non si individua facilmente?
Mai sentito parlare del diluvio
d4w vur.fyi
fpe vum.fyi
ujc vum.fyi
Bellissima lezione!
grazie per aver pubblicato un video strepitoso come questo!
20th century physics was dominated by the Cartesian product; 21st century will be dominated by the Tensor product. We see this not only in quantum computing, but also in the importance of the tensor product in statistics and data science. C. F. Van Loan recognizes this quite well. See th-cam.com/video/mGN3zmK3lsU/w-d-xo.html (I think)
Grande Prof. Grimani!
hi. could you make a "tracklist" of this video?
Magnifica lezione !