Related papers: Esparsidade, Estrutura, Escalamento e Estabilidade…
This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual…
Optimization and Stochastic Processes Applied to Economy and Finance -- is the name of this book translated to English; It has been used at the IME-USP - The Institute of Mathematics and Statistics of the University of Sao Paulo, since…
These are detailed notes for a lecture on "Non-associative Algebraic Structures: Classification and Structure" which I presented as a part of my Agrega\c{c}\~ao em Matem\'atica e Applica\c{c}\~oes (University of Beira Interior, Covilh\~a,…
This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International…
This volume contains the proceedings of RULE 2009: the tenth International Workshop on Rule-Based Programming. It took place in June 28th 2009, Brasilia, Brazil, as a satellite event of RDP 2009. The first Rule workshop was held in Montreal…
These Notes originated from a course I delivered at the Institute of Mathematics of the Universidade Federal do Rio de Janeiro, Brazil (UFRJ) in July-September 1989, were initially published in 1989 in Spanish under the title…
This book was intended to serve as supporting material for a mini-course on web geometry delivered at the 27th Brazilian Mathematical Colloquium which took place at IMPA in the last week of July 2009.
This is a survey article, based on the author's lectures in the 2015 AMS Summer Research Institute in Algebraic Geometry, and to appear in the Proceedings.
This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) that will…
This work connects two mathematical fields - computational complexity and interval linear algebra. It introduces the basic topics of interval linear algebra - regularity and singularity, full column rank, solving a linear system, deciding…
Lectures given at the First School on Field Theory and Gravitation, Vit\'{o}ria, Esp\'{\i}rito Santo, Brazil, 15-19 April, 1997.
Automatic Essay Scoring (AES) is defined as the computer technology that evaluates and scores the written essays, aiming to provide computational models to grade essays either automatically or with minimal human involvement. While there are…
This volume contains the proceedings of the International Workshop on Developments in Implicit Computational complExity (DICE 2010), which took place on March 27-28 2010 in Paphos, Cyprus, as a satellite event of the Joint European…
These lectures give a brief introduction to the Computer Algebra systems Reduce and Maple. The aim is to provide a systematic survey of most important commands and concepts. In particular, this includes a discussion of simplification…
An early-stage version of simulation package ' ELSES' (Extra-Large-Scale Electronic-Structure calculation) is developed for electronic structure and dynamics of large systems, particularly, nm-scale or 10nm-scale systems (www.elses.jp).…
This volume contains the proceedings of the Second International Workshop on Developments in Implicit Computational complExity (DICE 2011), which took place on April 2-3 2011 in Saarbruecken, Germany, as a satellite event of the Joint…
The present overview of interacting particle systems on random graphs collects the notes of a mini-course given by the authors at the Brazilian School of Probability, 5--9 August 2024, in Salvador, Bahia, Brazil. The content is a personal…
Comment on "Time Step Sensitivity of Nonlinear Atmospheric Models: Numerical Convergence, Truncation Error Growth, and Ensemble Design" Teixeira et al.
This volume contains the proceedings of the 16th International Workshop on Expressiveness in Concurrency (EXPRESS'09), which took place on 5th September 2009 in Bologna, co-located with CONCUR'09. The EXPRESS workshop series aim at bringing…
Electronic structure calculations have been instrumental in providing many important insights into a range of physical and chemical properties of various molecular and solid-state systems. Their importance to various fields, including…