Related papers: The Poster Session of SSS 2005
The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on June 22nd, 2015, as a satellite event of the 20th International…
The plenary presentations of the conference are summarised, highlighting some aspects that were of particular interest and attempting to link a few of the topics covered. Particular emphasis is placed on the problem of deep-inelastic…
This is position paper accepted to the Computational Science & Engineering Software Sustainability and Productivity Challenges (CSESSP Challenges) Workshop, sponsored by the Networking and Information Technology Research and Development…
This paper gives highlights of the experimental results shown at this conference.
Assessing small-signal stability of power systems composed of thousands of interacting generators is a computationally challenging task. To reduce the computational burden, this paper introduces a novel condition to assess and certify…
We present a summary of the conference "The Cosmic Agitator: Magnetic Fields in the Galaxy" held in Lexington KY in 2008 Mar 26-29. The presentation draws primarily from material in the slides prepared for the Conference Summary by one of…
This report documents the process that led to the NSF Workshop on "Sustainable Computing for Sustainability" held in April 2024 at NSF in Alexandria, VA, and reports on its findings. The workshop's primary goals were to (i) advance the…
This poster describes the timing system being designed for Spallation Neutron Source being built at Oak Ridge National lab.
This volume contains the proceedings of EXPRESS/SOS 2025: the Combined 32nd International Workshop on Expressiveness in Concurrency and the 22nd Workshop on Structural Operational Semantics, which was held in Aarhus, Denmark, as an…
Research papers are well structured documents. They have text, figures, equations, tables etc., to covey their ideas and findings. They are divided into sections like Introduction, Model, Experiments etc., which deal with different aspects…
This volume contains the proceedings of the First International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2012), held in Kyoto on November 12, 2012, as a satellite event of the ICFEM conference. The aim of this…
The Programme and Abstracts booklet of the sixth Conference on "Physics of Neutron Stars" held at the Ioffe Physical Technical Institute, St. Petersburg, Russia, on June 6 -- 8, 2001 is presented. The abstracts contain references to the web…
This study aims to develop a personalized Recommender System that helps to address the problems encountered by the faculty members of Higher Education Institutions in the selection of Seminar and Training Programs (STP). The researcher used…
In this paper, we provide an overview of the SV-Ident shared task as part of the 3rd Workshop on Scholarly Document Processing (SDP) at COLING 2022. In the shared task, participants were provided with a sentence and a vocabulary of…
This article is preface to the SIGMA special issue "Tensor Models, Formalism and Applications", http://www.emis.de/journals/SIGMA/Tensor_Models.html. The issue is a collection of eight excellent, up to date reviews on random tensor models.…
These are lectures notes on support preconditioning, originally written in 2007. The notes cover large sparse linear systems of equations, krylov subspace solvers for symmetric diagonally dominant linear systems, sparse Cholesky, support…
Positionality statements are a reflective practice established in fields such as social sciences, where they enhance transparency, reflexivity, and ethical integrity by acknowledging how researchers identities, experiences, and perspectives…
This is the arXiv index for the electronic proceedings of GD 2023, which contains the peer-reviewed and revised accepted papers with an optional appendix. Proceedings (without appendices) are also to be published by Springer in the Lecture…
This thesis proposes novel Small-Signal Stability Analysis (SSSA)-based techniques that contribute to electric power system modal analysis, automatic control, and numerical integration. Modal analysis is a fundamental tool for power system…
This is a comprehensive review of the worldsheet techniques for the quantization of type IIB superstring theory on the AdS_5 x S^5 background, using the pure spinor formalism. Particular emphasis is devoted to AdS/CFT applications, with…