Search results for "Programming Language"
showing 10 items of 624 documents
Manipulating the alpha level cannot cure significance testing
2018
We argue that making accept/reject decisions on scientific hypotheses, including a recent call for changing the canonical alpha level from p = 0.05 to p = 0.005, is deleterious for the finding of new discoveries and the progress of science. Given that blanket and variable alpha levels both are problematic, it is sensible to dispense with significance testing altogether. There are alternatives that address study design and sample size much more directly than significance testing does; but none of the statistical tools should be taken as the new magic method giving clear-cut mechanical answers. Inference should not be based on single studies at all, but on cumulative evidence from multiple in…
Low Level Languages for the PAPIA Machine
1986
The paper presents the low-level languages implemented up to date to program the PAPIA machine. The parallel assembly-level P-MAGRO package, the microcode level instruction set and a machine simulating environment are described.
Parallel and scalable short-read alignment on multi-core clusters using UPC++
2016
[Abstract]: The growth of next-generation sequencing (NGS) datasets poses a challenge to the alignment of reads to reference genomes in terms of alignment quality and execution speed. Some available aligners have been shown to obtain high quality mappings at the expense of long execution times. Finding fast yet accurate software solutions is of high importance to research, since availability and size of NGS datasets continue to increase. In this work we present an efficient parallelization approach for NGS short-read alignment on multi-core clusters. Our approach takes advantage of a distributed shared memory programming model based on the new UPC++ language. Experimental results using the …
Dynamic interface for machine vision systems
2002
Iconic programming intends to provide expressive tools to implement, to debug, and to execute programs. For this purpose, visual languages need pictorial constructs and metaphors to guide the design of algorithms in interactive fashion. In the paper a new class of dynamic visual interfaces, named DIVA (Dynamic Interface for Visual Applications), is introduced, its properties are described, and an application to visual compilers in a multi-processors system dedicated to image analysis is given. Moreover, a formal definition of dynamic icon (DI) is also given.
PMT: New analytical framework for automated evaluation of geo-environmental modelling approaches
2019
Geospatial computation, data transformation to a relevant statistical software, and step-wise quantitative performance assessment can be cumbersome, especially when considering that the entire modelling procedure is repeatedly interrupted by several input/output steps, and the self-consistency and self-adaptive response to the modelled data and the features therein are lost while handling the data from different kinds of working environments. To date, an automated and a comprehensive validation system, which includes both the cutoff-dependent and –independent evaluation criteria for spatial modelling approaches, has not yet been developed for GIS based methodologies. This study, for the fir…
Teaching GP to program like a human software developer
2019
Program synthesis is one of the relevant applications of GP with a strong impact on new fields such as genetic improvement. In order for synthesized code to be used in real-world software, the structure of the programs created by GP must be maintainable. We can teach GP how real-world software is built by learning the relevant properties of mined human-coded software - which can be easily accessed through repository hosting services such as GitHub. So combining program synthesis and repository mining is a logical step. In this paper, we analyze if GP can write programs with properties similar to code produced by human software developers. First, we compare the structure of functions generat…
Space-Time, Phenomenology, and the Picture Theory of Language
2010
To estimate Minkowski’s introduction of space-time in relativity, the case is made for the view that abstract language and mathematics carries meaning not only by its connections with observation but as pictures of facts. This view is contrasted to the more traditional intuitionism of Hume, Mach, and Husserl. Einstein’s attempt at a conceptual reconstruction of space and time as well as Husserl’s analysis of the loss of meaning in science through increasing abstraction is analysed. Wittgenstein’s picture theory of language is used to explain how meaning is conveyed by abstract expressions, with the Minkowski space as a case.
Bounds on mixed state entanglement
2020
In the general framework of d 1 ×
Engineering Ising-XY spin models in a triangular lattice via tunable artificial gauge fields,
2013
Emulation of gauge fields for ultracold atoms provides access to a class of exotic states arising in strong magnetic fields. Here we report on the experimental realisation of tunable staggered gauge fields in a periodically driven triangular lattice. For maximal staggered magnetic fluxes, the doubly degenerate superfluid ground state breaks both a discrete Z2 (Ising) symmetry and a continuous U(1) symmetry. By measuring an Ising order parameter, we observe a thermally driven phase transition from an ordered antiferromagnetic to an unordered paramagnetic state and textbook-like magnetisation curves. Both the experimental and theoretical analysis of the coherence properties of the ultracold g…
Locality, QED and classical electrodynamics
1998
We report on some conceptual changes in our present understanding of Quantum Field Theory and muse about possible consequences for the understanding of $v>c$ signals.