A PETROPHYSICAL EVALUATION OF THE TRENTON-BLACK RIVER FORMATION OF THE MICHIGAN BASIN

This work is conducted to study the geological and petrophysical features of the Trenton- Black River limestone formation. Log curves, crossplots and mineral identification methods using well-log data are used to determine the components and analyze changes in lithology. Thirty-five wells from the Michigan Basin are used to define the mineralogy of Trenton-Black River limestone. Using the different responses of a few log curves, especially gamma-ray, resistivity and neutron porosity, the formation tops for the Utica shale, the Trenton limestone, the Black River limestone and the Prairie du Chien sandstone are identified to confirm earlier authors’ work and provide a basis for my further work. From these, an isopach map showing the thickness of Trenton-Black River formation is created, indicating that its maximum thickness lies in the eastern basin and decreases gradually to the west. In order to obtain more detailed lithological information about the limestone formations at the thirty-five wells, (a) neutron-density and neutron-sonic crossplots, (b) mineral identification methods, including the M-N plot, MID plot, ϱmaa vs. Umaa MID plot, and the PEF plot, and (c) a modified mineral identification technique are applied to these wells. From this, compositions of the Trenton-Black River formation can be divided into three different rock types: pure limestone, partially dolomitized limestone, and shaly limestone. Maps showing the fraction of dolomite and shale indicate their geographic distribution, with dolomite present more in the western and southwestern basin, and shale more common in the north-central basin. Mineral identification is an independent check on the distribution found from other authors, who found similar distributions based on core descriptions. The Thomas Stieber method of analysis is best suited to sand-shale sequences, interpreting hree different distributions of shale within sand, including dispersed, laminated and structural. Since this method is commonly applied in clastic rocks, my work using the Thomas Stieber method is new, as an attempt to apply this technique, developed for clastics, to carbonate rocks. Based on the original assumption and equations with a corresponding change to the Trenton-Black River formation, feasibility of using the Thomas Stieber method in carbonates is tested. A graphical display of gamma-ray versus density porosity, using the properties of clean carbonate and pure shale, suggests the presence of laminated shale in fourteen wells in this study. Combined with Wilson’s study (2001), it is safe to conclude that when shale occurs in the Trenton-Black River formation, it tends to be laminated shale.

Reaction Control in Quiescent Systems of Free-Radical Retrograde-Precipitation Polymerization

Free-radical retrograde-precipitation polymerization, FRRPP in short, is a novel polymerization process discovered by Dr. Gerard Caneba in the late 1980s. The current study is aimed at gaining a better understanding of the reaction mechanism of the FRRPP and its thermodynamically-driven features that are predominant in controlling the chain reaction. A previously developed mathematical model to represent free radical polymerization kinetics was used to simulate a classic bulk polymerization system from the literature. Unlike other existing models, such a sparse-matrix-based representation allows one to explicitly accommodate the chain length dependent kinetic parameters. Extrapolating from the past results, mixing was experimentally shown to be exerting a significant influence on reaction control in FRRPP systems. Mixing alone drives the otherwise severely diffusion-controlled reaction propagation in phase-separated polymer domains. Therefore, in a quiescent system, in the absence of mixing, it is possible to retard the growth of phase-separated domains, thus producing isolated polymer nanoparticles (globules). Such a diffusion-controlled, self-limiting phenomenon of chain growth was also observed using time-resolved small angle x-ray scattering studies of reaction kinetics in quiescent systems of FRRPP. Combining the concept of self-limiting chain growth in quiescent FRRPP systems with spatioselective reaction initiation of lithography, microgel structures were synthesized in a single step, without the use of molds or additives. Hard x-rays from the bending magnet radiation of a synchrotron were used as an initiation source, instead of the more statistally-oriented chemical initiators. Such a spatially-defined reaction was shown to be self-limiting to the irradiated regions following a polymerization-induced self-assembly phenomenon. The pattern transfer aspects of this technique were, therefore, studied in the FRRP polymerization of N-isopropylacrylamide (NIPAm) and methacrylic acid (MAA), a thermoreversible and ionic hydrogel, respectively. Reaction temperature increases the contrast between the exposed and unexposed zones of the formed microgels, while the irradiation dose is directly proportional to the extent of phase separation. The response of Poly (NIPAm) microgels prepared from the technique described in this study was also characterized by small angle neutron scattering.

Mycobacterium avium Subsp. avium infection in four veal calves: differentiation from intestinal tuberculosis

Mycobacterium avium subsp. avium (Maa) is an intracellular pathogen belonging to the Mycobacterium avium-intracellulare complex (MAC). Reservoirs of MAC are the natural environment, wildlife and domestic animals. In adult bovine, MAC infections are typically caused by Mycobacterium avium subsp. paratuberculosis (Map). Maa infections in bovine are rarely reported but may cause clinical disease and pathological lesions similar to those observed in paratuberculosis or those induced by members of the Mycobacterium tuberculosis complex (MTBC). Therefore, differentiation of MAC from MTBC infection should be attempted, especially if unusual mycobacterial lesions are encountered. Four veal calves from a fattening farm dying with clinical signs of otitis media, fever, and weight loss were submitted for necropsy. Samples from affected organs were taken for histologic investigation, bacteriologic culture, and bacterial specification using PCR. Macroscopic thickening of the intestinal mucosa was induced by granulomatous enteritis and colitis. Intracytoplasmic acid-fast bacteria were detected by Ziehl-Neelsen stains and PCR revealed positive results for Mycobacterium avium subsp. avium. Clinical and pathological changes of Maa infection in veal calves had features of Mycobacterium avium subsp. paratuberculosis and the MTBC. Therefore, Mycobacterium tuberculosis complex infection should be considered in cases of granulomatous enteritis in calves.

Der Bericht der Central-Abtheilung vom 15. d. M. über den daselbst näher bezeichneten Antrag des Abgeordneten Hanow ...

Welsch (Projektbearbeiter): Der Antrag des Abgeordneten Hanow zur Einstellung der laufenden Verhandlungen die Regulierung der bäuerlichen Lasten und Abgaben gegenüber dem Gutsherrn betreffend wird mit vier Änderungsanträgen als Gesetzentwurf der Nationalversammlung zur Annahme empfohlen

... Bericht der Central-Abtheilung über den Antrag des Abgeordneten Hanow, betreffend: die Einstellung der schwebenden Verhandlungen, behufs Regulirung der gutsherrlichen und bäuerlichen Verhältnisse und Dienst-Ablösungen

Berichterstatter: der Abgeordnete Maaß

Erläuterungsbericht zum Entwurf mit dem Kennwort "Unerschöpflich an Reiz etc." Prämiiert mit dem 1. Preis

Harry Maaß

Na 1 Nachlass Max Horkheimer, 502 - Korrespondenzen mit Theodor W. Adorno (p. VI 1, 269 - 366; VI 1 A, 1 - 55)

Briefwechsel zwischen Max Horkheimer und Theodor W. Adorno, 1927 - 1938; 1 Brief von Theodor W. Adorno an Hans F. Redlich, 1938; 1 Brief von Max Horkheimer an United States of America General Consul in Stuttgart, 1938; 1 Brief von Rudolph Kolisch an Theodor W. Adorno, 1938; 1 Brief von Paul F. Lazarsfeld an Theodor W. Adorno, 1938; 2 Briefe von Theodor W. Adorno an Paul F. Lazarsfeld, 1938; 1 Brief von Hanna Maaß an Gretel Adorno, 1937; Briefwechsel und Beilagen zwischen Max Horkheimer, Theodor W. Adorno und Gretel Adorno, 1939 - 1940; 1 Brief (Entwurf) von Theodor W. Adorno an Robert M. Hutchins, 1940; 4 Briefe von Friedrich Pollock an Theodor W. Adorno, 1940; 2 Briefe von Margot von Mendelssohn an Theodor W. Adorno, 1940; 2 Briefe von Theodor W. Adorno an Margot von Mendelssohn, 1940; 1 Brief von Franz L. Neumann an Theodor W. Adorno, 1940; 1 Brief (Entwurf von T.W. Adorno) von Max Horkheimer an Mrs. Charles E. Mitchell, 1940; 1 Brief und Beilage von Gretel Adorno an Frederick Wild, 1939; 1 Brief von French und Co. Eifert an Gretel Adorno, 1939; 2 Briefe von Theodor W. Adorno an Herbert W. Schneider, 1939; 1 Brief von Theodor W. Adorno an Jean Wahl, 1939; 1 Brief von Max Horkheimer an Roger M. Howson von der Columbia University Library in New York, 1939;

Sulphur isotope analyses in the southern ocean and the central Dronning Maud Land, East Antarctica

Sulphur isotope analyses are an important tool for the study of the natural sulphur cycle. On the northern hemisphere such studies of the atmospheric part of the cycle are practically impossible due to the high emission rate of anthropogenic sulphur. Merely in remote areas of the world such as the Antarctic 34S analyses can be used to identify the various sulphur sources (sea spray, biogenic und volcanic sources). We report here results of 34S measurements on sulphates from recent atmospheric precipitations (snow), lake waters, and salt efflorescences sampled in the Schirmacher Oasis and the Gruber Mountains, central Dronning Maud Land, East Antarctica. By plotting the delta 34S of precipitation versus % sea-spray sulphate the isotopic composition of the excess sulphate (which is probably of marine-biogenic origin) is extrapolated to be +4 per mil. Lake water sulphate and atmospheric precipitations have a comparable sulphur isotope composition (about +5 per mil). The analyzed secondary sulphates from the salt efflorescences, mainly gypsum and a few water-soluble sulphatcs (hexahydrite, epsomite, burkeite. and pickeringite), vary in their isotopic composition between about -12 and +8 per mil. This wide scatter is probably due to chemical weathering of primary sulphides having different delta 34S values in the substratum.

Por Don Geronimo de Rocamora, señor de... Benferri... con el futuro colegio de la Inmaculada Concepcion, de San Joachin y Santa Ana de la ciudad de Orihuela, sobre la... sucession de vinculo y Mayorazgo fundado por Don Juan de Rocamora... [Texto impreso]

La última fecha que cita el texto es la de 1677

Automated wordlength optimization framework for multi-source statistical interval-based analysis of nonlinear systems with control-flow structures

El uso de aritmética de punto fijo es una opción de diseño muy extendida en sistemas con fuertes restricciones de área, consumo o rendimiento. Para producir implementaciones donde los costes se minimicen sin impactar negativamente en la precisión de los resultados debemos llevar a cabo una asignación cuidadosa de anchuras de palabra. Encontrar la combinación óptima de anchuras de palabra en coma fija para un sistema dado es un problema combinatorio NP-hard al que los diseñadores dedican entre el 25 y el 50 % del ciclo de diseño. Las plataformas hardware reconfigurables, como son las FPGAs, también se benefician de las ventajas que ofrece la aritmética de coma fija, ya que éstas compensan las frecuencias de reloj más bajas y el uso más ineficiente del hardware que hacen estas plataformas respecto a los ASICs. A medida que las FPGAs se popularizan para su uso en computación científica los diseños aumentan de tamaño y complejidad hasta llegar al punto en que no pueden ser manejados eficientemente por las técnicas actuales de modelado de señal y ruido de cuantificación y de optimización de anchura de palabra. En esta Tesis Doctoral exploramos distintos aspectos del problema de la cuantificación y presentamos nuevas metodologías para cada uno de ellos: Las técnicas basadas en extensiones de intervalos han permitido obtener modelos de propagación de señal y ruido de cuantificación muy precisos en sistemas con operaciones no lineales. Nosotros llevamos esta aproximación un paso más allá introduciendo elementos de Multi-Element Generalized Polynomial Chaos (ME-gPC) y combinándolos con una técnica moderna basada en Modified Affine Arithmetic (MAA) estadístico para así modelar sistemas que contienen estructuras de control de flujo. Nuestra metodología genera los distintos caminos de ejecución automáticamente, determina las regiones del dominio de entrada que ejercitarán cada uno de ellos y extrae los momentos estadísticos del sistema a partir de dichas soluciones parciales. Utilizamos esta técnica para estimar tanto el rango dinámico como el ruido de redondeo en sistemas con las ya mencionadas estructuras de control de flujo y mostramos la precisión de nuestra aproximación, que en determinados casos de uso con operadores no lineales llega a tener tan solo una desviación del 0.04% con respecto a los valores de referencia obtenidos mediante simulación. Un inconveniente conocido de las técnicas basadas en extensiones de intervalos es la explosión combinacional de términos a medida que el tamaño de los sistemas a estudiar crece, lo cual conlleva problemas de escalabilidad. Para afrontar este problema presen tamos una técnica de inyección de ruidos agrupados que hace grupos con las señales del sistema, introduce las fuentes de ruido para cada uno de los grupos por separado y finalmente combina los resultados de cada uno de ellos. De esta forma, el número de fuentes de ruido queda controlado en cada momento y, debido a ello, la explosión combinatoria se minimiza. También presentamos un algoritmo de particionado multi-vía destinado a minimizar la desviación de los resultados a causa de la pérdida de correlación entre términos de ruido con el objetivo de mantener los resultados tan precisos como sea posible. La presente Tesis Doctoral también aborda el desarrollo de metodologías de optimización de anchura de palabra basadas en simulaciones de Monte-Cario que se ejecuten en tiempos razonables. Para ello presentamos dos nuevas técnicas que exploran la reducción del tiempo de ejecución desde distintos ángulos: En primer lugar, el método interpolativo aplica un interpolador sencillo pero preciso para estimar la sensibilidad de cada señal, y que es usado después durante la etapa de optimización. En segundo lugar, el método incremental gira en torno al hecho de que, aunque es estrictamente necesario mantener un intervalo de confianza dado para los resultados finales de nuestra búsqueda, podemos emplear niveles de confianza más relajados, lo cual deriva en un menor número de pruebas por simulación, en las etapas iniciales de la búsqueda, cuando todavía estamos lejos de las soluciones optimizadas. Mediante estas dos aproximaciones demostramos que podemos acelerar el tiempo de ejecución de los algoritmos clásicos de búsqueda voraz en factores de hasta x240 para problemas de tamaño pequeño/mediano. Finalmente, este libro presenta HOPLITE, una infraestructura de cuantificación automatizada, flexible y modular que incluye la implementación de las técnicas anteriores y se proporciona de forma pública. Su objetivo es ofrecer a desabolladores e investigadores un entorno común para prototipar y verificar nuevas metodologías de cuantificación de forma sencilla. Describimos el flujo de trabajo, justificamos las decisiones de diseño tomadas, explicamos su API pública y hacemos una demostración paso a paso de su funcionamiento. Además mostramos, a través de un ejemplo sencillo, la forma en que conectar nuevas extensiones a la herramienta con las interfaces ya existentes para poder así expandir y mejorar las capacidades de HOPLITE. ABSTRACT Using fixed-point arithmetic is one of the most common design choices for systems where area, power or throughput are heavily constrained. In order to produce implementations where the cost is minimized without negatively impacting the accuracy of the results, a careful assignment of word-lengths is required. The problem of finding the optimal combination of fixed-point word-lengths for a given system is a combinatorial NP-hard problem to which developers devote between 25 and 50% of the design-cycle time. Reconfigurable hardware platforms such as FPGAs also benefit of the advantages of fixed-point arithmetic, as it compensates for the slower clock frequencies and less efficient area utilization of the hardware platform with respect to ASICs. As FPGAs become commonly used for scientific computation, designs constantly grow larger and more complex, up to the point where they cannot be handled efficiently by current signal and quantization noise modelling and word-length optimization methodologies. In this Ph.D. Thesis we explore different aspects of the quantization problem and we present new methodologies for each of them: The techniques based on extensions of intervals have allowed to obtain accurate models of the signal and quantization noise propagation in systems with non-linear operations. We take this approach a step further by introducing elements of MultiElement Generalized Polynomial Chaos (ME-gPC) and combining them with an stateof- the-art Statistical Modified Affine Arithmetic (MAA) based methodology in order to model systems that contain control-flow structures. Our methodology produces the different execution paths automatically, determines the regions of the input domain that will exercise them, and extracts the system statistical moments from the partial results. We use this technique to estimate both the dynamic range and the round-off noise in systems with the aforementioned control-flow structures. We show the good accuracy of our approach, which in some case studies with non-linear operators shows a 0.04 % deviation respect to the simulation-based reference values. A known drawback of the techniques based on extensions of intervals is the combinatorial explosion of terms as the size of the targeted systems grows, which leads to scalability problems. To address this issue we present a clustered noise injection technique that groups the signals in the system, introduces the noise terms in each group independently and then combines the results at the end. In this way, the number of noise sources in the system at a given time is controlled and, because of this, the combinato rial explosion is minimized. We also present a multi-way partitioning algorithm aimed at minimizing the deviation of the results due to the loss of correlation between noise terms, in order to keep the results as accurate as possible. This Ph.D. Thesis also covers the development of methodologies for word-length optimization based on Monte-Carlo simulations in reasonable times. We do so by presenting two novel techniques that explore the reduction of the execution times approaching the problem in two different ways: First, the interpolative method applies a simple but precise interpolator to estimate the sensitivity of each signal, which is later used to guide the optimization effort. Second, the incremental method revolves on the fact that, although we strictly need to guarantee a certain confidence level in the simulations for the final results of the optimization process, we can do it with more relaxed levels, which in turn implies using a considerably smaller amount of samples, in the initial stages of the process, when we are still far from the optimized solution. Through these two approaches we demonstrate that the execution time of classical greedy techniques can be accelerated by factors of up to ×240 for small/medium sized problems. Finally, this book introduces HOPLITE, an automated, flexible and modular framework for quantization that includes the implementation of the previous techniques and is provided for public access. The aim is to offer a common ground for developers and researches for prototyping and verifying new techniques for system modelling and word-length optimization easily. We describe its work flow, justifying the taken design decisions, explain its public API and we do a step-by-step demonstration of its execution. We also show, through an example, the way new extensions to the flow should be connected to the existing interfaces in order to expand and improve the capabilities of HOPLITE.

Potentiation of epidermal growth factor receptor-mediated oncogenesis by c-Src: implications for the etiology of multiple human cancers.

c-Src is a nontransforming tyrosine kinase that participates in signaling events mediated by a variety of polypeptide growth factor receptors, including the epidermal growth factor receptor (EGFR). Overexpression and continual ligand stimulation of the EGFR results in morphological transformation of cells in vitro and tumor development in vivo. Elevated levels of c-Src and the EGFR are found in a variety of human malignancies, raising the question of whether c-Src can functionally cooperate with the EGFR during tumorigenesis. To address this issue, we generated c-Src/EGFR double overexpressors and compared their proliferative and biochemical characteristics to those of single overexpressors and control cells. We found that in cells expressing high levels of receptor, c-Src potentiated DNA synthesis, growth in soft agar, and tumor formation in nude mice. Growth potentiation was associated with the formation of a heterocomplex between c-Src and activated EGFR, the appearance of a distinct tyrosyl phosphorylation on the receptor, and an enhancement of receptor substrate phosphorylation. These findings indicate that c-Src is capable of potentiating receptor-mediated tumorigenesis and suggest that synergism between c-Src and the EGFR may contribute to a more aggressive phenotype in multiple human tumors.