Related papers: Personal report of the 3rd ECMDA-FA'07 conference

This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.

These lecture notes where presented as a course of the CIMPA summer school in Manila, July 20-30, 2009, Semidefinite programming in algebraic combinatorics. This version is an update June 2010.

This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second workshop on Formal and Model-Driven Techniques for Developing…

Telegraphic notes on the historical bibliography of the Gamma function and Eulerian integrals. Correction to some classical references. Some topics of the interest of the author. We provide some extensive (but not exhaustive) bibliography.…

Proceedings contribution to Symposium in Memory of Prof. E. Anastassakis, Publ. Center of Technical University of Athens (2002). (contains no abstract).

Informal seminar notes explaining the ideas in math.DS/0411344 and math.DS/0411345.

These notes arose from a mini lecture series the author gave at the Early Career Researchers Workshop on Geometric Analysis and PDEs, held in January 2020 at the Matrix institute of the University of Melbourne. We discussed some classical…

Notes of five lectures given at the 2003 European School of High-Energy Physics, Tsakhkadzor, Armenia, September 2003

This is a written, expanded version of the summary talk given at the conclusion of the ICGC-2004 held at Cochin. Brief introductory remarks are included to provide a slightly wider context to the theme talks.

Over the last few years, with the growth of time-series collecting and storing, there has been a great demand for tools and software for temporal data engineering and modeling. This paper presents a generic workflow for time series data…

Home page of the workshop proceedings, with pointers to the individually archived papers. Includes front matter from the printed version of the proceedings.

These notes were originally prepared as additional material for the lessons I have given at the summer school Gamma-ray Astrophysics and Multifrequency: Data analysis and astroparticle problems, organized by the Department of Physics of the…

Software is foundationally important to scientific and social progress, however, traditional acknowledgment of the use of others' work has not adapted in step with the rapid development and use of software in research. This report outlines…

Brief lecture notes for a course about random matrices given at the University of Cambridge.

In this report I will give a summary of some of the main topics covered in Session A3, mathematical studies of the field equations, at GRG18, Sydney. Unfortunately, due to length constraints, some of the topics covered at the session will…

In this talk, I summarize the activities in the $e^- e^-$ session. The consensus is that if the next generation $e^+ e^-$ linear collider wants to include an $e^- e^-$ option, the planning has to include it as early as possible. By doing so…

Summary and outlook presented at the 9th International Conference on the Structure of Baryons (BARYONS 2002), Jefferson Lab, March 3-8, 2002

This paper presents a retrospective overview of a decade of research in our department towards self-organizing personal knowledge assistants in evolving corporate memories. Our research is typically inspired by real-world problems and often…

In this report, which is an extended version of that appearing in the Proceedings of GR16, I will give a summary of the main topics covered in Session A.3. on mathematical relativity at GR16, Durban. The summary is mainly based on extended…

This is the transcript of the after-dinner talk I gave at the close of the 16 Nov 2013 symposium "Celebrating the Science of Kenneth Geddes Wilson" [1] at Cornell University (see Fig. 1 for the poster). The video of my talk is on-line [2],…