Shingle 2.0: generalising self-consistent and automated domain discretisation for multi-scale geophysical models

The approaches taken to describe and develop spatial discretisations of the domains required for geophysical simulation models are commonly ad hoc, model or application specific and under-documented. This is particularly acute for simulation models that are flexible in their use of multi-scale, anisotropic, fully unstructured meshes where a relatively large number of heterogeneous parameters are required to constrain their full description. As a consequence, it can be difficult to reproduce simulations, ensure a provenance in model data handling and initialisation, and a challenge to conduct model intercomparisons rigorously. This paper takes a novel approach to spatial discretisation, considering it much like a numerical simulation model problem of its own. It introduces a generalised, extensible, self-documenting approach to carefully describe, and necessarily fully, the constraints over the heterogeneous parameter space that determine how a domain is spatially discretised. This additionally provides a method to accurately record these constraints, using high-level natural language based abstractions, that enables full accounts of provenance, sharing and distribution. Together with this description, a generalised consistent approach to unstructured mesh generation for geophysical models is developed, that is automated, robust and repeatable, quick-to-draft, rigorously verified and consistent to the source data throughout. This interprets the description above to execute a self-consistent spatial discretisation process, which is automatically validated to expected discrete characteristics and metrics.Comment: 18 pages, 10 figures, 1 table. Submitted for publication and under revie

SciTech News Volume 71, No. 3 (2017)

Columns and Reports From the Editor.........................3 Division News Science-Technology Division....5 Chemistry Division....................8 Conference Report, Marion E, Sparks Professional Development Award Recipient..9 Engineering Division................10 Engineering Division Award, Winners Reflect on their Conference Experience..15 Aerospace Section of the Engineering Division .....18 Architecture, Building Engineering, Construction, and Design Section of the Engineering Division................20 Reviews Sci-Tech Book News Reviews...22 Advertisements IEEE..........................................

Parts and Wholes. An Inquiry into Quantum and Classical Correlations

** The primary topic of this dissertation is the study of the relationships between parts and wholes as described by particular physical theories, namely generalized probability theories in a quasi-classical physics framework and non-relativistic quantum theory. ** A large part of this dissertation is devoted to understanding different aspects of four different kinds of correlations: local, partially-local, no-signaling and quantum mechanical correlations. Novel characteristics of these correlations have been used to study how they are related and how they can be discerned via Bell-type inequalities that give non-trivial bounds on the strength of the correlations. ** The study of quantum correlations has also prompted us to study a) the multi-partite qubit state space with respect to its entanglement and separability characteristics, and b) the differing strength of the correlations in separable and entangled qubit states. Results include a novel classification of multipartite (partial) separability and entanglement, strong constraints on the monogamy of entanglement and of non-local correlations, and many new entanglement detection criteria that are directly experimentally accessible. ** Because of the generality of the investigation these results also have strong foundational as well as philosophical repercussions for the different sorts of physical theories as a whole; notably for the viability of hidden variable theories for quantum mechanics, for the possibility of doing experimental metaphysics, for the question of holism in physical theories, and for the classical vs. quantum dichotomy.Comment: Dissertation, Utrecht University, 2008. 286 pages. ISBN: 978-90-3934916-8. A hard copy is obtainable via Igitur of the Utrecht University Library. This version 3 has exactly the same content as the version 2. Only the page layout has been changed to match the hard copy layout of the Dissertation which is on B5 forma

Multipartite quantum correlations and local recoverability

Characterizing genuine multipartite quantum correlations in quantum physical systems has historically been a challenging problem in quantum information theory. More recently however, the total correlation or multipartite information measure has been helpful in accomplishing this goal, especially with the multipartite symmetric quantum (MSQ) discord [Piani et al., Phys. Rev. Lett. 100, 090502, 2008] and the conditional entanglement of multipartite information (CEMI) [Yang et al., Phys. Rev. Lett. 101, 140501, 2008]. Here we apply a recent and significant improvement of strong subadditivity of quantum entropy [Fawzi and Renner, arXiv:1410.0664] in order to develop these quantities further. In particular, we prove that the MSQ discord is nearly equal to zero if and only if the multipartite state for which it is evaluated is approximately locally recoverable after performing measurements on each of its systems. Furthermore, we prove that the CEMI is a faithful entanglement measure, i.e., it vanishes if and only if the multipartite state for which it is evaluated is a fully separable state. Along the way we provide an operational interpretation of the MSQ discord in terms of the partial state distribution protocol, which in turn, as a special case, gives an interpretation for the original discord quantity. Finally, we prove an inequality that could potentially improve upon the Fawzi-Renner inequality in the multipartite context, but it remains an open question to determine whether this is so.Comment: 25 pages, 1 figure; v2: minor changes; v3: minor corrections and improvement

Report on the Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2)

This technical report records and discusses the Second Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE2). The report includes a description of the alternative, experimental submission and review process, two workshop keynote presentations, a series of lightning talks, a discussion on sustainability, and five discussions from the topic areas of exploring sustainability; software development experiences; credit & incentives; reproducibility & reuse & sharing; and code testing & code review. For each topic, the report includes a list of tangible actions that were proposed and that would lead to potential change. The workshop recognized that reliance on scientific software is pervasive in all areas of world-leading research today. The workshop participants then proceeded to explore different perspectives on the concept of sustainability. Key enablers and barriers of sustainable scientific software were identified from their experiences. In addition, recommendations with new requirements such as software credit files and software prize frameworks were outlined for improving practices in sustainable software engineering. There was also broad consensus that formal training in software development or engineering was rare among the practitioners. Significant strides need to be made in building a sense of community via training in software and technical practices, on increasing their size and scope, and on better integrating them directly into graduate education programs. Finally, journals can define and publish policies to improve reproducibility, whereas reviewers can insist that authors provide sufficient information and access to data and software to allow them reproduce the results in the paper. Hence a list of criteria is compiled for journals to provide to reviewers so as to make it easier to review software submitted for publication as a “Software Paper.

A model for artistic research

The series of Cahiers of artistic research, created at IMPAR, University of Aveiro/INET-md, respond to the responsibility and the need to offer - first and foremost to our students, but also to the broader academic community - consistent guidance to assist the conception, design and development of artistic research projects. The aim of this series of Cahiers is to establish an alternative path for artistic research. Firmly grounded in the articulation between declarative and procedural knowledge, the 1st Cahier took the first steps along this path and constitutes an attempt to clearly define when research is artistic research. The second Cahier was published in January 2019 to complement the epistemological foundations proposed in the first Cahier launching two premises whose distinctive feature is to dictate the inextricable complementarity and complicity between artistic production and its respective clarification. Resuming, it was proposed that clarification should be understood as a written contribution - possibly reinforced by other media - which would have the dual function of improving our aesthetic experience and elucidating on the consequent mythopoetic reconfiguration. The mythopoetic reconfiguration would result from a process of reflection that should specify the relevance of the artistic intervention - within the social/artistic fields in which it intervenes - and would be based on four steps: scepticism, criticism of old mythopoetic constructions, ethical decisions and, finally, systematisation. It was suggested that clarification should be recognized as a contribution to knowledge according to its potential to promote empathetic communication. Emerging from the articulation of narrative and paradigmatic modes of knowledge, material thinking was suggested to be clarification's mode of knowledge. Material thinking is grounded on embodied meaning, is communicated in co-presence only, and therefore appeals to empathy. It follows that artistic research does not necessarily depend on the traditional academic research methods of observation and analysis, which belong to the paradigmatic mode of knowledge. Structure of this volume Built in a two-dimensional text that juxtaposes narrative and paradigmatic modes of discourse, this 3rd Cahier proposes artistic research as a trans-disciplinary field dedicated to artists interested in triangulating different modes of knowledge to realize the full potential of their artistic practices. This volume is structured in four parts. First, we present a short overview of the main points discussed in the 2nd Cahier, adding some new inputs concerning the processes of knowledge production and communication. Secondly, we look more closely at the notion of mythopoetic configurations: the role they play within humanity and their relationship with artistic research. Thirdly, we discuss the role of gestures in the process of reconfiguring new mythopoetic narratives, elaborating on the notion of Exemplarization proposed by Lehrer (2012). Finally, in the fourth part, we present an explanatory model for artistic research based on the intersection of three fundamental spheres: Ethics, Remix Culture and Aesthetic Appreciation.publishe

A Core Reference Hierarchical Primitive Ontology for Electronic Medical Records Semantics Interoperability

Currently, electronic medical records (EMR) cannot be exchanged among hospitals, clinics, laboratories, pharmacies, and insurance providers or made available to patients outside of local networks. Hospital, laboratory, pharmacy, and insurance provider legacy databases can share medical data within a respective network and limited data with patients. The lack of interoperability has its roots in the historical development of electronic medical records. Two issues contribute to interoperability failure. The first is that legacy medical record databases and expert systems were designed with semantics that support only internal information exchange. The second is ontological commitment to the semantics of a particular knowledge representation language formalism. This research seeks to address these interoperability failures through demonstration of the capability of a core reference, hierarchical primitive ontological architecture with concept primitive attributes definitions to integrate and resolve non-interoperable semantics among and extend coverage across existing clinical, drug, and hospital ontologies and terminologies

State-of-the-art analysis of the pedagogical underpinnings of open science, citizen science and open innovation activities

The document corresponds to O2A1 of the INOS Project. This state-of-theart analysis elaborates on the current state of knowledge on learning design in open science, citizen science, and innovation activities, in order to improve their pedagogical value. This includes reporting on the different types of activities, the learning design of these activities, and the learning outcomes of these activities

Analysis of opportunities for cache coherence in heterogeneous embedded systems

[ES] En el contexto de los sistemas empotrados heterogéneos surgen nuevas necesidades y retos. Este trabajo se va a centrar en la coherencia de éstos sistemas para analizar la posibilidad de aplicar técnicas que se ajusten mejor a dichas necesidades. Previo al análisis se presentará en qué consiste y qué soluciones se proponen actualmente para el problema de la coherencia.[EN] New challenges arise in the context of embedded heterogeneous systems. This work is focused on the coherence of those systems in order to analyze the posibility of applying techniques that best cope with such challenges. Prior to that, we will offer an explanation of what the coherency problem is and what the currently proposed solutions to that problem are.Esteve García, A. (2012). Analysis of opportunities for cache coherence in heterogeneous embedded systems. http://hdl.handle.net/10251/29846Archivo delegad

Editorial Introduction: Web-based Archaeology and Collaborative Research

Description to be added.Cannot be left empt