Related papers: Esparsidade, Estrutura, Escalamento e Estabilidade…
We introduce DISTAL, a compiler for dense tensor algebra that targets modern distributed and heterogeneous systems. DISTAL lets users independently describe how tensors and computation map onto target machines through separate format and…
This is the written version of the supersymmetry lectures delivered at the 30th and 31st British Universities Summer Schools in Theoretical Elementary Particle Physics (BUSSTEPP) held in Oxford in September 2000 and in Manchester in…
Peixoto's structural stability and density theorems represent milestones in the modern theory of dynamical systems and their applications. Despite the importance of these theorems, they are often treated rather superficially, if at all, in…
Lectures given at the Workshop "Hadrons 1994", Gramado, RS, Brasil
Plenary talk at the conference, LATTICE 99, held in Pisa, Itay from June 29 to July 3, 1999.
A brief review is presented of the scaling of complex fluids, polymers and polyelectrolytes in solution and in confined geometry, in thermodynamical, structural and rheology properties using equilibrium and nonequilibrium dissipative…
Deploying large language models for clinical Text-to-SQL requires distinguishing two qualitatively different causes of output diversity: (i) input ambiguity that should trigger clarification, and (ii) model instability that should trigger…
This volume contains the proceedings of the Eighth Workshop on Fixed Points in Computer Science which took place on 24 March 2012 in Tallinn, Estonia as an ETAPS-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…
This paper presents results of a work on crawling CEUR Workshop proceedings web site to a Linked Open Data (LOD) dataset in the framework of ESWC 2014 Semantic Publishing Challenge 2014. Our approach is based on using an extensible…
These are lecture notes on scale calculus and M-polyfolds written for a graduate course at UNICAMP March-June 2018 and an advanced mini-course given during the biannual meeting of Brazilian mathematicians, CBM-32, at IMPA in August 2019.
Recently, Paiva and Teixeira (arXiv:1108.4396) showed that the structure constants of a Lie algebra are the solution of a system of linear equations provided a certain subset of the structure constants are given a-priori. Here it is noted…
ESPResSo 4.0 is an extensible simulation package for research on soft matter. This versatile molecular dynamics program was originally developed for coarse-grained simulations of charged systems Limbach et al., Comput. Phys. Commun. 174,…
With the help of link diagrams with decorated crossings, I explain computations in emergent algebras, introduced in arXiv:0907.1520, as the kind of computations done in the front end visual system.
These are the lecture notes (in Italian) of a course held in Perugia, Italy, during the summer 2002. They concern the basic facts on the iterative solution of linear systems. The course is self-contained and requires only basic knowledge of…
A brief review of the SIESTA project is presented in the context of linear-scaling density-functional methods for electronic-structure calculations and molecular-dynamics simulations of systems with a large number of atoms. Applications of…
These are lecture notes of a course held at IMPA, Rio de Janiero, in september 2010: the purpose was to present recent results on Kobayashi hyperbolicity in complex geometry. Our ultimate goal is to describe the results obtained on…
The internal representations learned by deep networks are often sensitive to architecture-specific choices, raising questions about the stability, alignment, and transferability of learned structure across models. In this paper, we…
Lecture given Thursday 22 October 1992 at a Mathematics-Computer Science Colloquium at the University of New Mexico. The lecture was videotaped; this is an edited transcript.
Proceedings of the 5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18), held on October 1st, 2018, in Lisbon, Portugal, and co-located with the 2018 IEEE Symposium on Visual Languages and Human-Centric…
During the last years, the new science of municipalities has been established as a fertile quantitative approach to systematically understand the urban phenomena. One of its main pillars is the proposition that urban systems display…