Search results for "programming."
showing 10 items of 3035 documents
Complement lysis: a hole is a hole.
1991
recent experimental advances 21, it is now possible to produce MACs with a precise molecular composition 7 for better designed experiments. In my judgement, however, it will always be problematic to propose a single unifying mechanism for MAC action simply because MAC effects are not uniform. The reason for attempting to classify MACs as leaky patch or channel formers is a desire to wield Occam's razor and carve out the simplest unifying theory. But this razor often cuts one's throat, especially when it comes to immunological processes. A system that degranulates platelets, 'kills' such widely diverse targets as artificial liposomes, 'dead' viruses and erythrocytes, metabolically active cel…
Genetic analyses of ling (Molva molva) in the Northeast Atlantic reveal patterns relevant to stock assessments and management advice
2014
AbstractThe ling, Molva molva, is a commercially exploited demersal gadid fish distributed throughout the Northeast Atlantic. Here, we provide the first study of population genetic structure by genotyping 6 geographically distinct samples with 11 microsatellite DNA markers. The results rejected the hypothesis of a single ling stock in the Northeast Atlantic, and rather suggested the existence of two or more groups, with the main grouping represented by a western (comprising Rockall and Iceland) and an eastern group (Faroe Bank, Norway). Significant genetic differences coincide with an expanse of deep water that probably limits connectivity facilitated by migration. Retention in gyres and di…
On the definition of viscosity solutions for parabolic equations
2001
In this short note we suggest a refinement for the definition of viscosity solutions for parabolic equations. The new version of the definition is equivalent to the usual one and it better adapts to the properties of parabolic equations. The basic idea is to determine the admissibility of a test function based on its behavior prior to the given moment of time and ignore what happens at times after that.
On global solutions of the Maxwell-Dirac equations
1987
We prove, for the Maxwell-Dirac equations in 1+3 dimensions, that modified wave operators exist on a domain of small entire test functions of exponential type and that the Cauchy problem, inR+×R3, has a unique solution for each initial condition (att=0) which is in the image of the wave operator. The modification of the wave operator, which eliminates infrared divergences, is given by approximate solutions of the Hamilton-Jacobi equation, for a relativistic electron in an electromagnetic potential. The modified wave operator linearizes the Maxwell-Dirac equations to their linear part.
Star-free trace languages
1992
Abstract Generalizing a classical result of Schutzenberger to free partially commutative monoids, we prove that the family of star-free trace languages coincides with the family of aperiodic trace languages.
Analysis of DNA sequence variation within marine species using Beta-coalescents
2013
We apply recently developed inference methods based on general coalescent processes to DNA sequence data obtained from various marine species. Several of these species are believed to exhibit so-called shallow gene genealogies, potentially due to extreme reproductive behaviour, e.g. via Hedgecock's "reproduction sweepstakes". Besides the data analysis, in particular the inference of mutation rates and the estimation of the (real) time to the most recent common ancestor, we briefly address the question whether the genealogies might be adequately described by so-called Beta coalescents (as opposed to Kingman's coalescent), allowing multiple mergers of genealogies. The choice of the underlying…
A genetic algorithm for scratch removal in static images
2002
This paper investigates the removal of line scratches from old moving pictures and gives a twofold contribution. First, it presents a simple technique for detecting the scratches, based on an analysis of the statistics of the grey levels. Second, the scratch removal is approached as an optimisation problem, which is solved by using a genetic algorithm. The method can be classified as a static approach, as it works independently on each single frame of the sequence. It does not require any a-priori knowledge of the absolute position of the scratch, nor an external starting population of chromosomes for the genetic algorithm. The central column of the line scratch once detected is changed wit…
The Acts project: track reconstruction software for HL-LHC and beyond
2019
The reconstruction of trajectories of the charged particles in the tracking detectors of high energy physics experiments is one of the most difficult and complex tasks of event reconstruction at particle colliders. As pattern recognition algorithms exhibit combinatorial scaling to high track multiplicities, they become the largest contributor to the CPU consumption within event reconstruction, particularly at current and future hadron colliders such as the LHC, HL-LHC and FCC-hh. Current algorithms provide an extremely high standard of physics and computing performance and have been tested on billions of simulated and recorded data events. However, most algorithms were first written 20 year…
Concept and Development of Modular VLIW Processor Based on FPGA
2010
Modern FPGA chips, with their larger memory capacity and reconfigurability potential, are opening new frontiers in rapid prototyping of embedded systems. With the advent of high density FPGAs it is now possible to implement a high performance VLIW processor core in an FPGA. Architecture based on Very Long Instruction Word (VLIW) processors are an optimal choice in the attempt to obtain high performance level in embedded system. In VLIW architecture, the effectiveness of these processors depends on the ability of compilers to provide sufficient instruction level parallelism(ILP) in program code. Using advanced compiler technology could take these functions, This paper describes research resu…
Multiple modular very long instruction word processors based on field programmable gate arrays
2007
Modern field programmable gate array (FPGA) chips, with their large memory capacity and reconfigurability potential, are opening new frontiers in rapid prototyping of embedded systems. With the advent of high-density FPGAs, it is now possible to implement a high-performance very long instruction word (VLIW) processor core in an FPGA. This paper describes research results about enabling the DSP TMS320 C6201 model for real-time image processing applications by exploiting FPGA technology. We present a modular DSP C6201 VHDL model with a variable instruction set. We call this new development a minimum mandatory modules (M3) approach. Our goals are to keep the flexibility of DSP in order to shor…