Search results for "processo"

El principio acusatorio entendido como eslogan político

2015

DOI: http://dx.doi.org/10.22197/rbdpp.v1i1.4 Submitted by Rafaella Monterei (rcarine@stj.jus.br) on 2016-09-08T16:37:09Z No. of bitstreams: 2 principio_acusatorio_entendido_aroca.pdf: 788677 bytes, checksum: 0d51536909f157adc401a744731a5ca2 (MD5) license.txt: 1239 bytes, checksum: c9b4c351324448672315a00808efb725 (MD5) Approved for entry into archive by Roberta Marins (rmarins@stj.jus.br) on 2016-11-18T17:58:55Z (GMT) No. of bitstreams: 2 principio_acusatorio_entendido_aroca.pdf: 788677 bytes, checksum: 0d51536909f157adc401a744731a5ca2 (MD5) license.txt: 1239 bytes, checksum: c9b4c351324448672315a00808efb725 (MD5) Made available in DSpace on 2016-11-18T17:58:55Z (GMT). No. of bitstreams: 2 …

The defendant’s guilt beyond a reasonable doubt in the Italian criminal justice system

2021

The criminal law standard of Beyond A Reasonable Doubt (BARD) constitutes an evidentiary and judicial rule, formulated and applied for centuries in common law jurisdictions, which was expressly stated in the Italian Code of Criminal Procedure only about fifteen years ago. Unfortunately, the concept of reasonable doubt is inherently complex and does not easily lend itself to definition or refinement. In this regard, the Author examines especially the various positions and elaborations developed by legal literature and case-law in Italy, proposing a specific interpretation of the BARD rule that enhances and completes the particular procedural connotations of the adversarial system adopted i…

Panel Discussion: Systems for Data Analysis What they AEE; what they Could be?

1985

CRANE: I’d like to pose a couple of questions: (1) Command Languages — A tool for the astronomer or for the programmer? (2) Portability — Holy Cow or Red Herring? I propose that we start with the first one and see how far we get. If we don’t get past that, fine. If we get on to the question of portability, this is also fine. Let me just open up the discussion by asking Rudi Albrecht to make a comment.

La sospensione-estinzione del processo esecutivo : i nodi dell'art. 624 c.p.c. vengono al pettine

2010

Compiler Driven Automatic Kernel Context Migration for Heterogeneous Computing

2014

Computer systems provide different heterogeneous resources (e.g., GPUs, DSPs and FPGAs) that accelerate applications and that can reduce the energy consumption by using them. Usually, these resources have an isolated memory and a require target specific code to be written. There exist tools that can automatically generate target specific codes for program parts, so-called kernels. The data objects required for a target kernel execution need to be moved to the target resource memory. It is the programmers' responsibility to serialize these data objects used in the kernel and to copy them to or from the resource's memory. Typically, the programmer writes his own serializing function or uses e…

MICROPROCESSOR-BASED SUBOPTIMAL CONTROL OF CONVERTER-FED HYPO-HYPERSYNCHRONOUS CASCADE DRIVES

1984

This work consists ofi a theoretic and experimental study o£ a possible practical realization oi a micro pro cess or-based control system using a converter-fad hypo-hypersynchronous cascade. drive. Vlrstly, the design o£ a microprocessor-based controller Is carried out considering an approximate mathematical model, linear-type, o& the drive -In question, by using optimal control techniques. Several physical constraints, -buck as -input variables constraints, state variables constraints and processing time. o& microprocessor are taken -into account. The approach followed attorn us to obtain a suboptimal, closed-loop control system. In addition, In order to carry out a more accurate study ofa…

BGSA: a bit-parallel global sequence alignment toolkit for multi-core and many-core architectures

2018

Abstract Motivation Modern bioinformatics tools for analyzing large-scale NGS datasets often need to include fast implementations of core sequence alignment algorithms in order to achieve reasonable execution times. We address this need by presenting the BGSA toolkit for optimized implementations of popular bit-parallel global pairwise alignment algorithms on modern microprocessors. Results BGSA outperforms Edlib, SeqAn and BitPAl for pairwise edit distance computations and Parasail, SeqAn and BitPAl when using more general scoring schemes for pairwise alignments of a batch of sequence reads on both standard multi-core CPUs and Xeon Phi many-core CPUs. Furthermore, banded edit distance perf…

Using mathematical morphology for unsupervised classification of functional data

2011

This paper is concerned with the unsupervised classification of functional data by using mathematical morphology. Different morphological operators are used to extract relevant structures of the functions (considered as sets through their subgraph representations). These operators can be considered as preprocessing tools whose outputs are also functional data. We explore some dissimilarity measures and clustering methods for the classification of the transformed data. Our approach is illustrated through a detailed analysis of two data sets. These techniques, which have mainly been used in image processing, provide a flexible and robust toolbox for improving the results in unsupervised funct…

A parallel and sensitive software tool for methylation analysis on multicore platforms.

2015

Abstract Motivation: DNA methylation analysis suffers from very long processing time, as the advent of Next-Generation Sequencers has shifted the bottleneck of genomic studies from the sequencers that obtain the DNA samples to the software that performs the analysis of these samples. The existing software for methylation analysis does not seem to scale efficiently neither with the size of the dataset nor with the length of the reads to be analyzed. As it is expected that the sequencers will provide longer and longer reads in the near future, efficient and scalable methylation software should be developed. Results: We present a new software tool, called HPG-Methyl, which efficiently maps bis…

RabbitMash: accelerating hash-based genome analysis on modern multi-core architectures

2020

Abstract Motivation Mash is a popular hash-based genome analysis toolkit with applications to important downstream analyses tasks such as clustering and assembly. However, Mash is currently not able to fully exploit the capabilities of modern multi-core architectures, which in turn leads to high runtimes for large-scale genomic datasets. Results We present RabbitMash, an efficient highly optimized implementation of Mash which can take full advantage of modern hardware including multi-threading, vectorization and fast I/O. We show that our approach achieves speedups of at least 1.3, 9.8, 8.5 and 4.4 compared to Mash for the operations sketch, dist, triangle and screen, respectively. Furtherm…