Set 232024
 

Conic Programming: Theory and applications

Prof. Benedetto Manca
Università degli Studi di Cagliari

Abstract

The course covers the theory of conic programming, starting from the simplest case of linear programming and introducing conic quadratic and semi-definite programming. The first part of the course will introduce the theoretical backgrounds needed to define the concept of conic programming. In the second part the case of conic quadratic and semi-definite programming will be addressed together with some applications.

Outline

  • From Linear to Conic Programming
  • Conic Quadratic Programming
  • The quadratic formulation of the Distance Geometry Problem
  • Semi-definite Programming
  • The semi-definite relaxation of the Distance Geometry Problem
  • Diagonally dominant matrices and positive semi-definite matrices
  • The ellipsoidal separation problem

Schedule

The course consists in 10 hours, two lectures per week. Details will be specified on the occasion of the first lecture, which will be given on October 3, 2024 at 2:30 p.m. in room B of the Department of Mathematics and Computer Science.

Exam

The final exam consists in a presentation on a specific application of conic programming (conic quadratic or semi-definite).

References

  1. Ben-Tal, Aharon, and Arkadi Nemirovski. Lectures on modern convex optimization: analysis, algorithms, and engineering applications. Society for industrial and applied mathematics, 2001.
  2. Liberti, Leo. “Distance geometry and data science.” Top 28.2 (2020): 271-339
  3. Astorino, Annabella, et al. “Ellipsoidal classification via semidefinite programming.” Operations Research Letters 51.2 (2023): 197-203.
 Scritto da in 23 Settembre 2024  Senza categoria  Commenti disabilitati su PhD Course: Conic Programming: Theory and applications
Set 122024
 

Introduction to Kähler Geometry

Prof. Roberto Mossa, Prof. Giovanni Placini
Università degli Studi di Cagliari

Abstract

This introductory course covers some of the fundamental concepts of Kähler geometry, with particular attention to almost complex and complex manifolds, the properties of Hermitian metrics, and Kähler metrics. Starting from the basics of differential geometry, we will explore the structure of almost complex and complex manifolds. Subsequently, we will delve into the properties of Hermitian metrics, focusing on the definition and characteristics that define Kähler metrics, which play a key role in integrating the complex structure with the Riemannian one. Through concrete examples and applications, students will gain a deep understanding of these concepts, preparing them for advanced studies in Kähler geometry.

Schedule

January-Febrauary 2025 (TBA)

Exam

The final exam consists in a seminar.

 Scritto da in 12 Settembre 2024  Senza categoria  Commenti disabilitati su PhD Course: Introduction to Kähler Geometry
Ago 212024
 

Numerical Analysis with Deep Neural Networks

Prof. Yuesheng Xu
Old Dominion University and Syracuse University, USA

Abstract

This four-talk lecture sequence aims to introduce numerical analysis with deep neural networks. Traditional function classes used in numerical analysis include polynomials, trigonometric polynomials, splines, finite elements, wavelets, and kernels. Deep neural networks were recently employed in numerical analysis as a class of approximation functions, demonstrating advantages over traditional function classes. These talks will cover the following topics:

  1. Deep neural network representation of a function
  2.  Optimization problems that learn a neural network
  3. Adaptive solutions of integral equations with deep neural networks
  4. Adaptive solutions of partial differential equations with deep neural networks.

Schedule

September 12nd, 9.30-11.30 Aula A
September 13nd, 9.30-11.30 Aula A

 Scritto da in 21 Agosto 2024  Senza categoria  Commenti disabilitati su Seminar: Numerical Analysis with Deep Neural Networks
Lug 222024
 

QUBO and Quantum Annealing

Prof. Michele Marchesi
University of Cagliari and NetService spa

Abstract

The seminar, lasting about an hour, presents the problems of unconstrained binary quadratic optimization, where the variables assume binary values (0/1 or -1/1), and the function to be optimized is a quadratic form with real coefficients. It will discuss various real problems that can be represented as QUBO and how to incorporate constraints using penalty coefficients. Exact classical solvers, which can only be used for small problems due to the NP-complete complexity of QUBO problems, and the main heuristic solvers: Tabu Search and Simulated Annealing, will then be presented. Finally, the Quantum Annealing approach for solving this type of problem on specialized quantum computers will be presented.

Schedule

July 25th, 9:30-10:30 (Palazzo delle Scienze, Aula B)

 Scritto da in 22 Luglio 2024  Senza categoria  Commenti disabilitati su Seminar: QUBO and Quantum Annealing
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)

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)

 

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
contatti | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy