Related papers: SPM Bulletin 32
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but sharing also common interests in the development, implementation and application of decision procedures for…
This paper is an updated version of a survey on projective configurations of subspaces in general position. The preceding version was published in Russian in 1989 and in English in 1990 (in Leningrad Math. J.) opening a new section ``Light…
The aim of these notes (which were partially covered in lectures given at the Peyresq Summer School on 17--22 June, 2002) is to give an introduction to some mathematical aspects of supersymmetry. Some (hopefully) original point of view are…
We describe SemEval-2022 Task 7, a shared task on rating the plausibility of clarifications in instructional texts. The dataset for this task consists of manually clarified how-to guides for which we generated alternative clarifications and…
This bibliometric review summarised the research trends and analysed research areas in multiple sclerosis (MS) over the last decade. The documents containing the term "multiple sclerosis" in the article title were retrieved from the Scopus…
Recently delivered lectures on Self-Referential Mathematics, [2], at the Department of Mathematics and Applied Mathematics, University of Pretoria, are briefly presented. Comments follow on the subject, as well as on Inconsistent…
Most conference papers present new results, but this paper will focus more on opportunities for the audience to make their own contributions. This paper is intended to challenge the community to think more broadly about what we can do with…
Increasingly, researchers have suggested the benefits of temporal analysis to improve our understanding of the learning process. Sequential pattern mining (SPM), as a pattern recognition technique, has the potential to reveal the temporal…
Submissions accepted for The 8th International Conference on ICT for Sustainability (ICT4S 2022), Demonstrations and Posters Track Proceedings, Plovdiv, Bulgaria, Mon 13 - Fri 17 June 2022. Most of the submissions are included in the arXiv…
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…
As the volume of scientific publications grows exponentially, researchers increasingly face difficulties in locating relevant literature. Research Paper Recommender Systems have become vital tools to mitigate this information overload by…
The contribution contains the preface to the Proceedings to the 21st Workshop "What Comes Beyond the Standard Models", Bled, June 23 - July 1, 2018, published in Bled workshops in physics, Vol.19, No. 2, DMFA-Zalo\v{z}nistvo, Ljubljana,…
For over three decades, scanning probe microscopy (SPM) has been a key method for exploring material structures and functionalities at nanometer and often atomic scales in ambient, liquid, and vacuum environments. Historically, SPM…
Fast Abstracts at EDCC 2012 are short presentations, aiming to serve as a rapid and flexible mechanism to report on current work that may or may not be complete, introduce new ideas to the community, and state positions on controversial…
This document is an internet supplement to my book "Partially Observed Markov Decision Processes - From Filtering to Controlled Sensing" published by Cambridge University Press in 2016. This internet supplement contains exercises, examples…
I summarize the highlights of the conference. First I provide a brief history of the beach symposia series our massive star community has been organizing. Then I use most of my allocated space discussing what I believe are the main answered…
The THedu'11 workshop received thirteen submissions, twelve of which were accepted and presented during the workshop. For the post-conference proceedings nine submission where received and accepted. The submissions are within the scope of…
We introduce the notion of Mal'tsev reflection which allows us to set up a partial notion of Mal'tsevness with respect to a class $\Sigma$ of split epimorphisms stable under pullback and containing the isomorphisms, and we investigate what…
This volume contains the thesis abstracts presented at the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'2016) held on September 8-12 in Potsdam, Germany.
Contents: -Report from the APS Topical Group in Gravitation, Beverly Berger -Some remarks on the passing of S. Chandrasekhar, Robert Wald -LIGO Project Status, Syd Meshkov and Stan Whitcomb -New Hyperbolic forms of the Einstein Equations,…