23 research outputs found
An application of geoelectrical methods for contamination plume recognition in Urbanowice waste disposal
The purpose of this work was to detect groundwater pollution and to identify the conditions of soil and groundwater near the Urbanowice landfill site using geoelectrical measurements. Presented measurements are preliminary results from tested site and are beginning of continuous monitoring. Contamination outflows detected by resistivity and IP technique show a good correlation with available hydrological data. Contamination plume were found in Eastern part of survey profil
Application of DOI index to analysis of selected examples of resistivity imaging models in Quaternary sediments
Interpretation of resistivity cross sections may be in many cases unreliable due to the presence of artifacts left by the inversion process. One way to avoid erroneous conclusions about geological structure is creation of Depth of Investigation (DOI) index maps, which describe durability of prepared model with respect to variable parameters of inversion. To assess the usefulness of this interpretation methodology in resistivity imaging method over quaternary sediments, it has been used to one synthetic data set and three investigation sites. Two of the study areas were placed in the Upper Silesian Industrial District region: Bytom-Karb, Chorzów-Chorzów Stary; and one in the Southern Pomeranian Lake District across Pilawa River Valley. Basing on the available geological information the results show high utility of DOI index in analysis of received resistivity models, on which areas poorly constrained by data has been designated
Application of passive seismic to shallow geological structures in urban areas
To study the shallow geological structure the Refraction Microtremor (ReMi) method was applied. This technique uses seismic noise analysis where a source of this small vibrations is the human activity e.g.: traffic, production, factories. The surveys were carried out in selected urban areas in the region of the Upper Silesian Industrial District: Sosnowiec-Pogon , Chorzow-Chorzow Stary and Bytom-Karb. Each area is characterized by the presence of nearby roads with a very high traffic. The results of passive seismic (ReMi) were confronted with data obtained using Multichannel Analysis of Surface Waves (MASW) and resistivity imaging (RI). Seismic surveys were performed by apparatus PASI with 24 channels using geophones of 4.5Hz. The results showed that passive seismic can be satisfactorily used in such urban conditions. The shallow geological structure interpreted by seismic methods have been well-correlated with resistivity studies
A foundation for real recursive function theory
The class of recursive functions over the reals, denoted by REC(R), was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class REC(R) was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways into the new model of computation; restrictions of REC(R) were proved to represent different classes of recursive functions, e.g., recursive, primitive recursive and elementary functions, and structures such as the Ritchie and the Grzergorczyk hierarchies.
The class of real recursive functions was then stratified in a natural way, and REC(R) and the analytic hierarchy were recently recognised as two faces of the same mathematical concept.
In this new article, we bring a strong foundational support to the Real Recursive Function Theory, rooted in Mathematical Analysis, in a way that the reader can easily recognise both its intrinsic mathematical beauty and its extreme simplicity. The new paradigm is now robust and smooth enough to be taught. To achieve such a result some concepts had to change and some new results were added
PHP141 Regulatory Approval To Patient Access, An Evaluation of Eu5 And Us National Timing Differences: An Update
A Survey on Continuous Time Computations
We provide an overview of theories of continuous time computation. These
theories allow us to understand both the hardness of questions related to
continuous time dynamical systems and the computational power of continuous
time analog models. We survey the existing models, summarizing results, and
point to relevant references in the literature
The correlation between HTA recommendations and reimbursement status of orphan drugs in Europe
The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation
In this paper we revisit one of the rst models of analog
computation, Shannon's General Purpose Analog Computer (GPAC).
The GPAC has often been argued to be weaker than computable analysis.
As main contribution, we show that if we change the notion of GPACcomputability
in a natural way, we compute exactly all real computable
functions (in the sense of computable analysis). Moreover, since GPACs
are equivalent to systems of polynomial di erential equations then we
show that all real computable functions can be de ned by such models