Lug 032024
 

Research in Blockchain and Quantum Technologies

Dr. Ernestas Filatovas
Vilnius University, Lithuania

Abstract

Blockchain and Quantum technologies are among the most groundbreaking advancements, attracting significant attention from industry, government, and academia. This talk highlights the research advances of our “Blockchain and Quantum Technologies Group” in both fields. In the first part of the talk, we introduce Blockchain technology, covering its main concepts such as decentralization, consensus protocols, transaction flow, etc. These key concepts later are summarized within a layered structure. We then present our recent research, including a systematic review and empirical analysis of blockchain simulators, a multi-criteria decision-making (MCDM) framework for selecting consensus protocols, a data-driven classification of consensus protocols using machine learning, and an empirical analysis of wealth decentralization in blockchain networks. This part concludes with an introduction to our novel blockchain-based platform designed to enhance research reproducibility in machine learning. The second part of the talk shifts to Quantum Computing, beginning with an overview of the current state of this technology and its potential applications across various industries. We then highlight our recent achievements, such as the development of more efficient quantum circuits for integer division and the implementation of a quantum blockchain based on hypergraphs. The talk finishes with a presentation of our ongoing research, where we propose an improved quantum annealing method to scale vehicle routing problems.

Schedule

June 20th, 10:00-12:00 (Palazzo delle Scienze, Aula Magna Matematica)

 Scritto da in 3 Luglio 2024  Senza categoria  Commenti disabilitati su Seminar: Research in Blockchain and Quantum Technologies
Lug 032024
 

From Theory to Practice: Derivative-Free Optimization, Bilevel Problems, and Real-World Applications

Prof. Remigijus Paulavičius
Vilnius University, Lithuania

Abstract

This talk explores the journey from theory to practice in derivative-free optimization (DFO), primarily focusing on the impact of DIRECT-type algorithms and their application to practical problems. While focusing on this key aspect, the presentation also delves into several other pertinent areas of mathematical optimization, such as bilevel optimization, offering a broader perspective on the field’s advancements and challenges. The presentation begins with an overview of the DIRECT algorithm’s role in DFO, highlighting its strengths and limitations. The subsequent discussion delves into advancements in DIRECT-type algorithms and their integration into software tools, facilitating practical applications. The talk presents a comparative analysis of deterministic and stochastic DFO methods through benchmarking studies, evaluating their performance and suitability for various problem domains. Then, the author showcases his contributions to the bilevel optimization field, where he worked on a general bilevel algorithm and underscored the critical need for such algorithms and software tools in practical applications, including ML. Finally, the talk showcases successful collaborations between academia and industry, highlighting the practical implementation of DFO techniques in real-world scenarios with examples from GlobeTrott Travel and Girteka Logistics, demonstrating the impact of DFO in solving complex optimization problems in business settings.

Schedule

June 19th, 10:00-12:00 (Palazzo delle Scienze, Aula Magna Matematica)

 Scritto da in 3 Luglio 2024  Senza categoria  Commenti disabilitati su Seminar: From Theory to Practice: Derivative-Free Optimization, Bilevel Problems, and Real-World Applications
Giu 172024
 

Introduction to scientific Python programming

Dr. Tamás László Storcz
University of Pécs, Hungary

Outline

  1. Scientific data and data science, working with Python ecosystem
  2. Data collection, preparation and cleaning
  3. Data visualization
  4. Feature engineering
  5. Creating and validating AI models
  6. Searching model parameters
  7. Practical data management
  8. Examples of application

Schedule

Please register to the course through this form.

June 24th, 15.00-17.00 Aula F
June 25th, 15.00-17.00 Aula F
June 26th, 15.00-17.00 Aula F
June 27th, 9.30-11.30 Aula F
June 28th, 15.00-17.00 Aula F (final test)

Exam

The final exam consists in a test, which will be taken on the last day of the course.

Mag 222024
 

Human-Centric Aspects of Software Architecture

Prof. Rick Kazman & Prof. Hong-Mei Chen
University of Hawaii, Honolulu

Abstract

In 1992 the political consultant James Carville coined the much-quoted phrase “It’s the economy, stupid”. I shamelessly borrow and adapt Carville’s line, in the context of software architecture to be: “It’s the people, stupid”. A software architecture is not merely a technical artifact; it is a socio-technical artifact. Architects who forget or neglect this critical aspect of their architecture are doomed to failure. An architect is the fulcrum between the world of technology on the one hand, and the world of individuals, groups, and business needs on the other hand. An architect therefore needs to be not just a technical leader, but also a community shepherd. In this talk I will outline some of the non-technical dimensions of a software architect’s job, and describe some of the ways in which these can cause a project to succeed or fail. In addition I will show how a socio-technical ecosystem – a network representation of the technical artifacts as well as the human artifacts – can be captured, modeled, and analyzed, and the ways in which a project can be made better through this analytic lens.

Schedule

June 27th, 11:00-13:00 (Palazzo delle Scienze, Aula Magna Matematica)

 

 Scritto da in 22 Maggio 2024  News  Commenti disabilitati su Seminar: Human-Centric Aspects of Software Architecture
Feb 172024
 

Isometric Immersions and Harmonic Maps

Prof. Cezar Oniciuc
Universitatea “Alexandru Ioan Cuza” Iași

Outline

1. Generalities on Riemannian Geometry
2. Isometric immersions (submanifolds) – generalities
3. Special isometric immersions: umbilicals, minimal, CMC
4. Operators on vector bundle
5. Harmonic maps between Riemannian manifolds: first and second variation; fundamental examples

Schedule

May 21st, 16.00-18.00 Aula II
May 22nd, 16.00-18.00 Aula II
May 23rf, 16.00-18.00 Aula II

May 28th, 16.00-18.00 Aula II
May 29th, 16.00-18.00 Aula II
May 30th, 16.00-18.00 Aula II

June 4th, 16.00-18.00 Aula II
June 6th, 16.00-18.00 Aula II

 

 Scritto da in 17 Febbraio 2024  Senza categoria  Commenti disabilitati su PhD Course: Isometric Immersions and Harmonic Maps
Feb 102024
 

MAIN PhD Seminars 2024

Date Speaker(s)
March, 6th Marco Casula
March, 13rd Luca Zedda
March, 20th Filippo Maria Cassanello
March, 27th Alessandro Iannella
April, 3rd Elisa Crabu
April, 17th Jacopo Mereu
April, 24th Alessandra Perniciano
May, 8th Antonio Sanna
May, 15th Giuseppe Demuru
May, 22nd Massimiliano Fadda
Federico Meloni
May, 29th Andrea Cabriolu
Giorgia Nieddu

All the seminars start at 5 PM.

 

Marco Casula: Bochner-Euclidean volume

We will start with examples of calculating the volume of objects in three-dimensional space and then extend the definition to any manifold. Therefore we will introduce a new and different volume on complex manifolds, with particular attention to cases of finite and infinite volumes. The work is based on the article by Loi-Placini.

Luca Zedda: Self-Supervised Learning: The Dark Matter of Artificial Intelligence

In this seminar, we shall delve into the concept of Self-Supervised Learning, an intriguing and rapidly expanding branch of artificial intelligence. Fundamental concepts of this innovative approach will be introduced, demonstrating how it is possible to connect the process of human cognitive development to that of artificial within the context of deep learning. Through the analysis of self-supervised models, it will be explained how AI can autonomously learn, addressing the challenges posed by the lack of explicit annotations in data and the application of these technologies to real-world scenarios.

Filippo Maria Cassanello: An alternative approach to the Hölder continuity of solution of the fractional p-laplacian

In this seminar we will define the non-local operator “fractional p-laplacian” by also talking about his biological interpretation for describing the movement of population in hostile habitat. Then we will give a different proof of the Hölder continuity of weak solution of this operator by extending the approach that DiBenedetto developped for the p-laplacian. This work is based on the paper “An alternative approach to the Hölder continuity of solution of some elliptic equations” of Duzgun, Marcellini, Vespri and is in collaboration with Prof. Antonio Iannizzotto.

Alessandro Iannella: The Transitional Space: Generative Artificial Intelligence as an Opportunity for Professional Growth for Teachers
This seminar aims to illustrate the benefits, risks, and challenges of using Generative Artificial Intelligence in teaching, also drawing on concepts and metaphors from psychology and sociology. Particular attention will be paid to the different phases of the teaching process, from design to evaluation.

Elisa Crabu: Mathematical tools for Computer Vision

Photometric Stereo is a Computer Vision tecnique that leads to reconstructing the digital shape of an object from a set of images, obtained by lighting the object with a light source placed at different positions around it. The method, by estimating the surface normals, computes an approximation of the surface. In this talk we will describe the main steps of the solution method, presenting the mathematical tools that underlie it, including the singular value decomposition, least square problems and the numerical solution of partial differential equations.

Jacopo Mereu: AI-supported End User Development in VR

End-User Development (EUD) is a research field that aims to design and develop software or hardware technology (digital artifacts) such that their consumers (end users) should be able to adapt such artifacts according to their needs. End users are not a static category; the unique context of the application determines their identity, skills, and experience. In the context of this seminar, the end users are proficient programmers in Unity but lack expertise in constructing Extended Reality environments. The research aims to assist these end users in using a XR Development toolkit, the Mixed Reality Toolkit (MRTK), whose latest version has recently been released. Large Language Models (LLMs) have been chosen as the method to support the end users. These models are trained with extensive documents, allowing them to acquire knowledge across various domains. However, their knowledge has a temporal limitation, as the models lack information about events or developments occurring after a certain date. Consequently, an LLM may lack information about the MRTK3 library. This seminar thus presents a practical case of enhancing the performance of an LLM in a domain where it possesses limited or no prior knowledge.

Alessandra Perniciano: Radiomics: the issue of high dimensional data

Radiomics, a branch of Computer Vision, involves the extraction and analysis of quantitative features from medical imaging modalities such as MRI, PET, and CT scans. The central idea behind Radiomics is that imaging features specific to various diseases may offer valuable insights into predicting prognosis and treatment outcomes across different types of pathologies. Notably, these characteristics remain elusive through traditional visual inspection methods employed in current radiologic practice, yet they provide insights into the underlying biological processes. However, the quantitative extraction of features leads to a situation of high dimensionality where not all the extracted features are necessarily relevant. During this seminar, I will present the challenges related to high dimensionality in Radiomics, providing an analysis of the current state of knowledge and discussing some future development directions.

Antonio Sanna: Harmonic and Biharmonic maps between Riemannian Manifolds

The object of this seminar is the definition of harmonic maps and biharmonic maps between Riemannian manifolds. During the exposition we will introduce the energy functional for smooth maps between two Riemannian manifolds,  and, deriving the corresponding Euler-Lagrange equation — in order to find its critical maps, we will define a certain vector field, called tension field, which is identically zero when the map is harmonic, i.e. critical. We will extend the notion of harmonic maps to that of biharmonic maps which are the critical points of the bienergy functional. We will see that harmonic maps are trivially biharmonic. Thus a crucial problem is to understand when the converse is also true, that is: under what conditions biharmonic maps are harmonic. Beyond this theoretical exploration, we will give some examples of biharmonic maps which are not harmonic. In particular, we will consider the geometrically interesting case of biharmonic isometric immersions.

Giuseppe Demuru: An Introduction to Causal Inference

Causal inference involves the study of cause-and-effect relationships among variables, based on experimental or observational data. Understanding these relationships in depth is essential for making informed decisions and solving complex problems. The well-known statement “Correlation does not imply causation” underscores that simple associations do not necessarily imply causality. Causal inference utilizes methods such as Potential Outcomes (PO) and Directed Acyclic Graphs (DAGs) to identify and quantify the true causal relationships among variables.

Massimiliano Fadda: Translating HTML in proprietary JSON

Growens is an integrated industrial group that creates technologies for content creation, predictive marketing, and mobile messaging, aimed at organizations wishing to communicate effectively with their customers. The seminar will introduce the reasons that led the company to develop this project. An overview of the technologies and methodologies identified for its resolution will then be provided, introducing the architecture of the system that allows the conversion of generic HTML pages into proprietary Json.

Federico Meloni: Mesh generation in the volumetric domain

Representing an object in the virtual world is becoming a frequent practice in fields like industries, entertainment, medicine. To digitally represent an object, the space is discretized due to the inability of a computer to represent space continuously. Therefore, we utilize a series of primitives such as points, segments, polygons, and eventually polyhedra to represent an object, called in this context a mesh. A three-dimensional mesh can be superficial if only the exterior of the object is represented, or volumetric if it includes a description of the volume within. The latter unlocks the possibility of performing a variety of operations such as physical simulations, fluid dynamics, and many others. In this context, algorithms for automatic generation of volumetric meshes are becoming increasingly important and valuable. This seminar will review the basic concepts before proceeding to present high-level algorithms for generating volumetric meshes.

Andrea Cabriolu: A Bayesian approach to an optimization algorithm for the dynamic scheduling of astronomical observations

In the context of the dynamic scheduling of observations with Sardinia Radio Telescope, a key role is played by Optimizer, a set of algorithms to optimize the sequence of the astronomical observations. The calculations are based on several parameters, like weather conditions, device availability, operator’s availability and others. In this talk I’ll introduce the architecture which allows the communication between Optimizer and the whole scheduling system, consisting of a central database and a bunch of other components. The core concepts of the Bayesian statistics will be introduced as well, since this is the main pillar of the computing performed by the algorithm, to optimize the parameters set regargind the observations to be scheduled.

Giorgia Nieddu: State of art on the use of A.I. in mathematics education

In this seminar the most recent results on the use of A.I. in mathematics education, its areas of application, limits and possibilities will be presented.

 Scritto da in 10 Febbraio 2024  Senza categoria  Commenti disabilitati su MAIN PhD Seminars 2024
Gen 142024
 

Foliations

Prof. Gianluca Bande
Dipartimento di Matematica e Informatica
Università degli Studi di Cagliari

Abstract

The course is an introduction to the Theory of Foliations. Basic knowledge of Differential Geometry is required and the basics of Fundamental Group.

Outline

– Definition(s) and examples of Foliations. Dynamical systems. Frobenius’ Theorem.
– Holonomy of a leaf and the Reeb Stability Theorem. Basic and foliated Cohomology. Godbillion-Vey class for a codimension 1 foliation on a 3-manifold.
– The Reeb foliation: definition and a 3D-printer model. Novikov and Likorisch Theorem.

Schedule

The course spans over 3 lectures of 2 hours each (6 hours total). The lectures will be given on February 5, February 12, February 15 – 2024 at 4:30 p.m. in Room B of the Department of Mathematics and Computer Science.

Exam

The final exam consists in a presentation.

References

1. C. Camacho and A. Lins Neto, Geometric theory of foliations, Birkhäuser, 1985.
2.
A. Candel; L. Conlon, Foliations I, Grad. Stud. Math. 23, American Mathematical Society, Providence, 2000.
3.
P. Tondeur, Geometry of Foliations, Monogr. Math 90, Birkhäuser Verlag, Basel, 1997.

 Scritto da in 14 Gennaio 2024  Senza categoria  Commenti disabilitati su PhD Course: Foliations
Set 212023
 

Geometric Analysis

Prof. Antonio Greco
Dipartimento di Matematica e Informatica
Università degli Studi di Cagliari

Abstract

The course is an introduction to the problem of determining the shape of solutions to boundary-value problems for second-order partial differential equations, mainly of elliptic type, occasionally parabolic.

Outline

– Review of the weak maximum principle, the strong maximum principle, and the Hopf lemma.
– Some motivations for Geometric Analysis and some characteristic results: the soap bubble theorem (Aleksandrov’s theorem), Serrin’s overdetermined problem, the Gidas-Ni-Nirenberg symmetry result.
– Convexity of solutions to the Dirichlet problem. Quasiconvexity.
– The Morse index of a solution and its role in Geometric Analysis. Work in progress.

Schedule

The course spans over 8 lectures of 2 hours each (16 hours total), one lecture per week. Details will be specified on the occasion of the first lecture, which will be given on October 20, 2023 at 4 p.m. in room B of the Department of Mathematics and Computer Science

Exam

The final exam consists in a presentation, and it can be recognized as 3.2 CFR.

References

1. Gidas, B.; Ni, Wei-Ming; Nirenberg, L. Symmetry and related properties via the maximum principle. Commun. Math. Phys. 68, 209-243 (1979).
2. Berestycki, H.; Nirenberg, L. On the method of moving planes and the sliding method. Bol. Soc. Bras. Mat., Nova Sér. 22, No. 1, 1-37 (1991).
3. Fraenkel, L. E. An introduction to maximum principles and symmetry in elliptic problems. Cambridge University Press. x, 340 p. (2011).
4. Protter, Murray H.; Weinberger, Hans F. Maximum principles in differential equations. Prentice-Hall, Inc. X, 261 p. (1967).
5. Serrin, James. A symmetry problem in potential theory. Arch. Ration. Mech. Anal. 43, 304-318 (1971).
6. Sperb, Rene P. Maximum principles and their applications. Academic Press. IX, 224 p. (1981).

Dic 182013
 

The consortium of Italian Computer Science PhD granting institutions under the auspices of GRIN, organizes an annual school offering three graduate-level courses aimed at first-year PhD students in Computer Science. In addition to introducing students to timely research topics, the school is meant to promote acquaintance and collaboration among young European researchers. The 2014 edition of the School is the 20th in the series.

The school will offer 3 courses each consisting of 13 hours of lectures:

  • Big Data Analysis of Patterns in Media Content – Nello Cristianini, University of Bristol (UK)
  • An Introduction to Probabilistic and Quantum Programming – Ugo Dal Lago, University of Bologna (Italy)
  • Development of dynamically evolving and self-adaptive software – Carlo Ghezzi, Politecnico di Milano (Italy)

Full details about the school are available here.

Giu 192013
 
Upcoming PhD course

Reversible Computing

July 15-19, 2013
Dipartimento di Matematica e Informatica - Via Ospedale 72, Cagliari

Ivan Lanese
Università di Bologna & INRIA FOCUS Team

Abstract. Reversible computing emerges spontaneously in many areas, such as  quantum computing or biological modeling. Also, reversible computing
allows for recoverability: when an error occurs reversibility allows one to go back to a past state and try again. Reversibility is well  understood in a sequential setting: to reverse a computation one has  to recursively undo the last step. This is not possible in a concurrent scenario, since it may not be clear which the last performed action is.

We will study reversibility for concurrent interacting systems. In particular, we consider causal consistent reversibility, where only actions which have produced no consequences can be undone. We consider uncontrolled forms of reversibility first. However, uncontrolled  reversibility is not suitable for programming safe applications, since  backward steps should be triggered only when an error state is reached. To this end we define a rollback operator allowing the  programmer to control when backward steps are performed. We also show that specifying alternatives is useful to avoid looping behaviors. We  make our intuitions formal using reversible process calculi.  Finally, we discuss applications of our theory to transactions and to debugging.


The official presentation of the course will be on July 15 (Monday) in Aula C, at 10:00. The schedule of the course will be fixed during this meeting.

Course schedule.
  • Monday 15, 10.00-12.00 Aula F [slides]
  • Tuesday 16, 10.00-12.00 Aula F [slides]
  • Wednesday 17, 10.00-12.00 Aula C [slides]
  • Thursday 18, 10.00-12.00 Aula C [slides]
  • Friday 19, 10.00-12.00 Aula C [slides]

The course has been funded by the PhD Course in Computer Science of the University of Cagliari.

 Scritto da in 19 Giugno 2013  Senza categoria  Commenti disabilitati su PhD course: Reversible Computing
contatti | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy