The Digital Signature Scheme MQQ-SIG

This document contains the Intellectual Property Statement and the technical description of the MQQ-SIG - a new public key digital signature scheme. The complete scientific publication covering the design rationale and the security analysis will be given in a separate publication. MQQ-SIG consists of $n - \frac{n}{4}$ quadratic polynomials with $n$ Boolean variables where n=160, 196, 224 or 256

Reprint of “The Single-Case Reporting Guideline In BEhavioural interventions (SCRIBE) 2016: explanation and elaboration”

There is substantial evidence that research studies reported in the scientific literature do not provide adequate information so that readers know exactly what was done and what was found. This problem has been addressed by the development of reporting guidelines which tell authors what should be reported and how it should be described. Many reporting guidelines are now available for different types of research designs. There is no such guideline for one type of research design commonly used in the behavioral sciences, the single-case experimental design (SCED). The present study addressed this gap. This report describes the Single-Case Reporting guideline In BEhavioural interventions (SCRIBE) 2016, which is a set of 26 items that authors need to address when writing about SCED research for publication in a scientific journal. Each item is described, a rationale for its inclusion is provided, and examples of adequate reporting taken from the literature are quoted. It is recommended that the SCRIBE 2016 is used by authors preparing manuscripts describing SCED research for publication, as well as journal reviewers and editors who are evaluating such manuscripts.Published versio

Affordances and Safe Design of Assistance Wearable Virtual Environment of Gesture

Safety and reliability are the main issues for designing assistance wearable virtual environment of technical gesture in aerospace, or health application domains. That needs the integration in the same isomorphic engineering framework of human requirements, systems requirements and the rationale of their relation to the natural and artifactual environment.To explore coupling integration and design functional organization of support technical gesture systems, firstly ecological psychologyprovides usa heuristicconcept: the affordance. On the other hand mathematical theory of integrative physiology provides us scientific concepts: the stabilizing auto-association principle and functional interaction.After demonstrating the epistemological consistence of these concepts, we define an isomorphic framework to describe and model human systems integration dedicated to human in-the-loop system engineering.We present an experimental approach of safe design of assistance wearable virtual environment of gesture based in laboratory and parabolic flights. On the results, we discuss the relevance of our conceptual approach and the applications to future assistance of gesture wearable systems engineering

A domain-specific language for parallel and grid computing

This paper overviews a Domain-Specific Language (DSL) for parallel and grid computing, layered on top of AspectJ. This DSL aims to bridge the gap between sequential code and parallel/grid applications, by avoiding invasive source code changes in scientific applications. Moreover, it aims to promote the localization of parallelization and gridification issues into well defined modules that can be (un)plugged (from)to existing scientific applications. This paper builds on previous work based on AspectJ and presents the main motivations for implementing a DSL in preference to a pure-AspectJ solution. The paper presents the DSL's design rationale, overviews current implementation and open research issues.(undefined)info:eu-repo/semantics/publishedVersio

Grounding Design of Instruction: An exploration of the uses of Scientific-Based Research and Theory in the Design of Online Instruction by Faculty in Higher Education

This study was conducted to explore the processes educators in higher education used to ground their design of online instruction using scientific-based research and theory. Literature reviewed suggested reasons educators fail to ground the design of instruction were a lack of formal training in instructional methods, skills, support, and research understanding. The rationale for the study was to (a) increase understanding of how educators use scientific research and theory as a basis in decision-making during design and creation of online instruction,(b)identify best practices, and (c) add to the conversation in the instructional design field. A qualitative case study research design was utilized to interview, review course, and review documents of four participants to capture their viewpoints as to the (a) meaning of; (b) evidence; (c) step by step processes; and (d) problems associated with the processes of grounding the design of online instruction in scientific-based research and theory. Data obtained were analyzed through detailed case description, direct interpretation, cross-case analysis, pattern establishment, and naturalistic generalization. Pedagogy, instructional design, instructional technology, support, and problems emerged as key thematic issues. Findings suggested that although educators were consistent in defining meaning, followed step-by-step processes, and had evidence to support their decisions, they encountered logistical challenges of time, technology and design in the process of using scientific-based research and theory to ground the design of online instruction. The implications for practice from this research were similar to recommendations of other researchers. For this process to be smoother, regular training, peer professional interactions, and support must be present

MORTAL - Multiparadigm Optimizing Retargetable Transdisciplinary Abstraction Language

This short paper describes MORTAL, a new general-purpose programming language and compiler for high-performance scientific applications. MORTAL aims to bridge the knowledge gap between computer scientists and scientists by offering a multiparadigm programming environment that allows connecting the mathematical formulae written by scientist to algorithms implemented by the software engineer in a natural way, and understood by both. We provide the rationale for MORTAL, give an overview of the language design and the MORTAL compiler. The compiler is self-hosting, and our initial evaluation shows that MORTAL programs have similar performance as C programs