The common interpretation of HBT data measured at top SPS energies leads to apparent source lifetimes of 6–8 fm/c and emission duration of approximately 2–3 fm/c. We investigate a scenario with continuous pion emission from a long-lived (∼ 17 fm/c) thermalized source in order to show that it is not excluded by the data. Starting from a description of the source’s spacetime expansion based on gr...

Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...

During recent decades social theory has struggled with the attempt to overcome both subjectivist and structuralist conceptions. In this effort, actors have been understood to construct social reality through their practices. Thus, social practices are socially constructed at the same time. Neither subjects nor objects existed prior to this work of construction; the nature of reality is therefor...

Muitos sistemas jurídicos adotaram normas que acarretam a exclusão de provas tenham sido obtidas com violação regras procedimentais. A normalmente ocorre antes do início processo ou mesmo durante o seu transcorrer. Contudo, maioria dos casos criminais atualmente não são resolvidos por meio um completo, mas alguma espécie procedimento abrevia, exemplo, acordo penal uma ordem em decreto. Neste ar...

Symbolic integration deals with the evaluation of integrals in closed form. We present an overview of Risch’s algorithm including recent developments. The algorithms discussed are suited for both indefinite and definite integration. They can also be used to compute linear relations among integrals and to find identities for special functions given by parameter integrals. The aim of this present...

We have recently shown that symbolic execution together with the implicit path enumeration technique can successfully be applied in the Worst-Case Execution Time (WCET) analysis of programs. Symbolic execution offers a precise framework for program analysis and tracks complex program properties by analyzing single program paths in isolation. This path-wise program exploration of symbolic execut...

applying two definitions of the union of if-events, p. grzegorzewski gave two generalizations of the inclusion-exclusion principle for if-events.in this paper we prove an inclusion-exclusion principle for if-states based on a method which can also be used to prove grzegorzewski's inclusion-exclusion principle for probabilities on if-events.finally, we give some applications of this principle by...

background: blood donation safety is one of the basic goals of the organization of blood transfusion in the world. self-exclusion and failed options are additional screening tests to routine diagnostic tests which is performed to detect the transmitted infection through blood or blood products. the purpose of this study was to investigate the efficacy of these systems on the improvement of bloo...