Related papers: Report on workshop A1: Exact solutions and their i…
The CREST 2018 workshop is the third in a series of workshops addressing formal approaches to reasoning about causation in systems engineering. The topic of formally identifying the cause(s) of specific events - usually some form of…
These lecture notes are an expanded write-up of my short lecture series "Noncommutative Resolutions" given to the MSRI Graduate Student Workshop "Noncommutative Algebraic Geometry" during June 2012. The notes include five chapters, an…
This talk presents an overview of the theoretical contributions at the Hard Probes 2013 conference, held in Stellenbosch, South Africa, in November 2013.
In this arxiv-post I present my solutions (published or not) to Problems that appeared in Amer. Math. Monthly, Math. Magazine, Elemente der Mathematik and CRUX, that were mostly done in collaboration with Rudolf Rupp. Some of them…
This volume contains the proceedings of the Fifteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2018), a two-day workshop held in Austin, Texas, USA, on November 5-6, 2018, immediately after FMCAD'18. The…
This is an interim report discussing possible guidelines for the assessment and evaluation of projects developing speech and language systems. It was prepared at the request of the European Commission DG XIII by an ad hoc study group, and…
This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the…
Below are the problems that I formulated at Open Problems Session of {\it Workshop on Group Actions on Rational Varieties}, McGill University and University of Montreal, Canada, March 2002. To appear in: "Affine Algebraic Geometry"…
The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace…
The 9th Semantic Ambient Media Experience (SAME) proceedings where based on the academic contributions to a two day workshop that was held at Curtin University, Perth, WA, Australia. The symposium was held to discuss visualisation, emerging…
This volume contains the proceedings of WCSI 2010, the International Workshop on Component and Service Interoperability. WCSI 2010 was held in Malaga (Spain) on June 29th, 2010 as a satellite event of the TOOLS 2010 Federated Conferences.…
Some general comments are made on the evolution of this series of workshops and on some features of this particular Workshop without attempting to summarize all the talks presented.
We summarize the talks presented at the QG3 session (loop quantum gravity: cosmology and black holes) of the 15th Marcel Grossmann Meeting held in Rome, Italy on July 1-7 2018.
In this work we calculate the exact Green's function for arbitrary rectangular potentials. Specifically we focus on Green's function for rectangular quantum wells enlarging the knowledge of exact solutions for Green's functions and also…
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…
This paper reports the activities and outcomes in the Workshop on Grasping and Manipulation Datasets that was organized under the International Conference on Robotics and Automation (ICRA) 2016. The half day workshop was packed with nine…
Retrieval-augmented generation (RAG) has gained wide attention as the key component to improve generative models with external knowledge augmentation from information retrieval. It has shown great prominence in enhancing the functionality…
Proceedings for the 14th installment of Applied Antineutrino Physics (AAP) workshop series.
These notes give an introduction to the Gabriel-Roiter measure of a finite dimensional algebra. They are based on a series of four lectures at the "Advanced School and Conference on Representation Theory and Related Topics" in Trieste…
This text contains lecture notes of the course taught to Ph.D. students of Jagiellonian University in Krakow on 25-28 November, 2013.