Continued Hereditarily Finite Set-Approximations

We study an encoding RA that assigns a real number to each hereditarily finite set, in a broad sense. In particular, we investigate whether the map RA can be used to produce codes that approximate any positive real number α to arbitrary precision, in a way that is related to continued fractions. This is an interesting question because it connects the theory of hereditarily finite sets to the theory of real numbers and continued fractions, which have important applications in number theory, analysis, and other fields

Continued Hereditarily Finite Set-Approximations

We study an encoding RA that assigns a real number to each hereditarily finite set, in a broad sense. In particular, we investigate whether the map RA can be used to produce codes that approximate any positive real number to arbitrary precision, in a way that is related to continued fractions. This is an interesting question because it connects the theory of hereditarily finite sets to the theory of real numbers and continued fractions, which have important applications in number theory, analysis, and other fields

Cognitive Process Designer - An Open-Source Tool to Capture Processes according to the Linked Data Principles

Processes need to be captured in a structured way in order to analyze them by using computer-assisted methods. This circumstance becomes more important as the process becomes complex. Although there are standardized formats, they do not capture semantics of input/output parameters, involved persons or references to external data sources. Existing solutions provide tools to capture processes locally and specify new properties to extend the semantics of process languages. However, a collaborative platform to capture, discuss and share information is more advantageous, because processes are usually used and maintained collaboratively. In addition, users cannot define own semantics for their use-case scenarios and the proposed semantics and processes are not published according to the Linked Data principles. To address these problems we 1) provide an open-source tool to capture BPMN processes graphically in a Semantic MediaWiki; 2) allow users to define own semantics and 3) publish the information according to the Linked Data principles

Cognitive Process Designer -An Open-Source Tool to Capture Processes according to the Linked Data Principles Demo Paper

Abstract. Processes need to be captured in a structured way in order to analyze them by using computer-assisted methods. This circumstance becomes more important as the process becomes complex. Although there are standardized formats, they do not capture semantics of input/output parameters, involved persons or references to external data sources. Existing solutions provide tools to capture processes locally and specify new properties to extend the semantics of process languages. However, a collaborative platform to capture, discuss and share information is more advantageous, because processes are usually used and maintained collaboratively. In addition, users cannot define own semantics for their use-case scenarios and the proposed semantics and processes are not published according to the Linked Data principles. To address these problems we 1) provide an open-source tool to capture BPMN processes graphically in a Semantic MediaWiki; 2) allow users to define own semantics and 3) publish the information according to the Linked Data principles

Distributed workflows with Jupyter

The designers of a new coordination interface enacting complex workflows have to tackle a dichotomy: choosing a language-independent or language-dependent approach. Language-independent approaches decouple workflow models from the host code's business logic and advocate portability. Language-dependent approaches foster flexibility and performance by adopting the same host language for business and coordination code. Jupyter Notebooks, with their capability to describe both imperative and declarative code in a unique format, allow taking the best of the two approaches, maintaining a clear separation between application and coordination layers but still providing a unified interface to both aspects. We advocate the Jupyter Notebooks’ potential to express complex distributed workflows, identifying the general requirements for a Jupyter-based Workflow Management System (WMS) and introducing a proof-of-concept portable implementation working on hybrid Cloud-HPC infrastructures. As a byproduct, we extended the vanilla IPython kernel with workflow-based parallel and distributed execution capabilities. The proposed Jupyter-workflow (Jw) system is evaluated on common scenarios for High Performance Computing (HPC) and Cloud, showing its potential in lowering the barriers between prototypical Notebooks and production-ready implementations

A review of daylighting strategies in schools: state of the art and expected future trends

The study of daylight conditions within educational buildings has been a topic of interest since the nineteenth century in western countries, and European ones in particular. Although it has been argued that providing a view outside—or even using daylight instead of more stable and manageable artificial light—could reduce students’ performance without providing a pleasant and healthy environment, nowadays it seems that a large consensus upon the need to design well daylit spaces is being reached. This paper reviews how the research community has tackled the task of understanding and solving the complex relationships amongst local climate, users’ needs and design constraints in school buildings by showing the different approaches used and technological solutions suggested. The reported case studies, based either on experimental measurements or on simulations, highlight the need of a comprehensive approach to the topic to fully understand the non‐trivial requirements of a daylit educational environment

A survey of current, stand-alone OWL Reasoners

Abstract. We present a survey of the current OWL reasoner landscape. Through literature and web search we have identified 35 OWL reasoners that are, at least to some degree, actively maintained. We conducted a survey directly addressing the respective developers, and collected 33 responses. We present an analysis of the survey, characterising all reasoners across a wide range of categories such as supported expressiveness and reasoning services. We will also provide some insight about ongoing research efforts and a rough categorisation of reasoner calculi

Tsunami risk management for crustal earthquakes and non-seismic sources in Italy

publishedVersio