Related papers: Esparsidade, Estrutura, Escalamento e Estabilidade…
This is an expository introduction to tropical algebraic geometry based on my lectures at the Workshop on Tropical Geometry and Integrable Systems in Glasgow, July 4-8, 2011, and at the ELGA 2011 school on Algebraic Geometry and…
Epistemic logic programs (ELPs) are a popular generalization of standard Answer Set Programming (ASP) providing means for reasoning over answer sets within the language. This richer formalism comes at the price of higher computational…
Computation models and specification methods seem to be worlds apart. The project on abstract state machines (in short ASMs, also known as evolving algebras) started as an attempt to bridge the gap by improving on Turing's thesis. We sought…
Between 2017 and 2019, a standard Linear Algebra course from Instituto Superior T\'ecnico, University of Lisbon, used virtual learning content, mainly videos and formative assessment, delivered at the institution's MOOC platform to support…
This is a standard textbook for the course of linear algebra and multidimensional geometry as it was taught in 1991-1998 at Mathematical Department of Bashkir State University. Both coordinate and invariant approaches are used, but…
We survey classical and recent developments in numerical linear algebra, focusing on two issues: computational complexity, or arithmetic costs, and numerical stability, or performance under roundoff error. We present a brief account of the…
These notes are based on the lecture courses given at the Ruhr-Universit{\"a}t-Bochum (03--08.02.1997) and at the Universit{\'e} Paul Sabatier (Toulouse, 08-12.01.1996).
This is a detailed write-up of Koll\'ar's course at the EMS summer school in Algebraic Geometry in Eger, Hungary, August 1996. The topics include definitions and examples of rational and unirational varieties, with special attention to…
This volume contains selected papers presented at the 9th International Workshop on Reduction Strategies in Rewriting and Programming, WRS2009, which was held in Brasilia on the 28th June 2009, associated to RTA 2009 (the 20th International…
This volume represents the proceedings of the 4th annual meetings of the Underrepresented Students in Topology and Algebra Research Symposium (USTARS 2014), held on 11-13 April 2014 in Berkeley, California.
This text is an introduction to algebraic enumerative geometry and to applications of tropical geometry to classical geometry, based on a course given during the X-UPS mathematical days, 2008 May 14th and 15th. The aim of this text is to be…
These are the very unpretentious lecture notes for the minicourse "Introduction to evolution equations in Geometry," a part of the Brazilian Colloquium of Mathematics held at IMPA, in July of 2009.
These are the notes for two lectures delivered at the Les Houches summer school Mathematical Statistical Mechanics, held in July 2005. I review some basic notions on sparse graph error correcting codes with emphasis on `modern' aspects,…
This volume contains the proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics held on the 31st of August 2009 in Bologna, Italy as a affiliated workshop of CONCUR 2009, the 20th International Conference on…
The anomalous scaling phenomena of three-dimensional passive scalar turbulence are studied using high resolution direct numerical simulation. The inertial range scaling exponents of the passive scalar increment and the scalar dissipation…
This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrucken, Germany, April 1--3, 2011. QAPL 2011 is a satellite event of the European Joint Conferences on…
Notes on algebraic stacks, prepared for an 11-lecture course at the NCTS, Taipei, during the fall of 2022.
This is the introduction and bibliography for lecture notes of a course given at the Summer School on Noncommutative Geometry and Applications, sponsored by the European Mathematical Society, at Monsaraz and Lisboa, Portugal, September…
Talk given at NATO ARW in Kiev (September 2000) "Non-commutative Structures in Mathematics and Physics".
As hardware architectures are evolving in the push towards exascale, developing Computational Science and Engineering (CSE) applications depend on performance portable approaches for sustainable software development. This paper describes…