Delves into Big Data in neuroscience, analyzing large datasets and addressing challenges in data organization, standardization, integration, and visualization.
Delves into the relationship between architecture, landscape, and territory, exploring critical reviews of architectural projects and the concept of ruins.
Introduces semantic modelling through tabular data and RDF, covering relational databases, schema migration, future-proof schemata, SPARQL querying, and metaknowledge limitations.
Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
