The Effect of the AGN Feedback on the Interstellar Medium of Early-Type Galaxies: 2D Hydrodynamical Simulations of the Low-Rotation Case

We present 2D hydrodynamical simulations for the evolution of early-type galaxies containing central massive black holes (MBHs), starting at age 2 Gyr. The code contains accurate and physically consistent radiative and mechanical AGN wind feedback, with parsec-scale central resolution. Mass input comes from stellar evolution; energy input includes Type Ia and II supernova and stellar heating; star-formation is included. Realistic, axisymmetric dynamical models for the galaxies are built solving the Jeans' equations. The lowest mass models (Mstar = 8 10^{10}Msun) develop global outflows sustained by SNIa's heating, ending with a significantly lower amount of hot gas and new stars. In more massive models, nuclear outbursts last to the present epoch, with large and frequent fluctuations in nuclear emission and from the gas (Lx). Each burst last ~ 10^{7.5} yr, during which (for r < 2-3 kpc) cold, inflowing, and hot, outflowing gas phases coexist. The Lx-T relation for the gas matches that of local galaxies. AGN activity causes positive feedback for star formation. Roughly half of the total mass loss is recycled into new stars (DeltaMstar), just ~ 3% of it is accreted on the MBH, the remainder being ejected from the galaxy. The ratio between the mass of gas expelled to that in to new stars, the load factor, is ~0.6. Rounder galaxies shapes lead to larger final MBH masses, DeltaMstar, and Lx. Almost all the time is spent at very low nuclear luminosities, yet one quarter of the total energy is emitted at an Eddington ratio > 0.1. The duty-cycle of AGN activity approximates 4% (Abridged).Comment: 26 pages, 15 figure, submitted to ApJ. Comments welcom

Rain estimation from satellites: An examination of the Griffith-Woodley technique

The Griffith-Woodley Technique (GWT) is an approach to estimating precipitation using infrared observations of clouds from geosynchronous satellites. It is examined in three ways: an analysis of the terms in the GWT equations; a case study of infrared imagery portraying convective development over Florida; and the comparison of a simplified equation set and resultant rain map to results using the GWT. The objective is to determine the dominant factors in the calculation of GWT rain estimates. Analysis of a single day's convection over Florida produced a number of significant insights into various terms in the GWT rainfall equations. Due to the definition of clouds by a threshold isotherm the majority of clouds on this day did not go through an idealized life cycle before losing their identity through merger, splitting, etc. As a result, 85% of the clouds had a defined life of 0.5 or 1 h. For these clouds the terms in the GWT which are dependent on cloud life history become essentially constant. The empirically derived ratio of radar echo area to cloud area is given a singular value (0.02) for 43% of the sample, while the rainrate term is 20.7 mmh-1 for 61% of the sample. For 55% of the sampled clouds the temperature weighting term is identically 1.0. Cloud area itself is highly correlated (r=0.88) with GWT computed rain volume. An important, discriminating parameter in the GWT is the temperature defining the coldest 10% cloud area. The analysis further shows that the two dominant parameters in rainfall estimation are the existence of cold cloud and the duration of cloud over a point

AOIPS 3 User's guide. Volume 1: Overview and software utilization

This is Volume I of the Atmospheric and Oceanographic Information Processing System (AOIPS) User's Guide. AOIPS 3 is the version of the AOIPS software as of April 1989. The AOIPS software was developed jointly by the Goddard Space Flight Center and General Sciences Corporation. Volume 1 is intended to provide the user with an overall guide to the AOIPS system. It introduces the user to AOIPS system concepts, explains how programs are related and the necessary order of program execution, and provides brief descriptions derived from on-line help for every AOIPS program. It is intended to serve as a reference for information such as: program function, inmput/output variable descriptions, program limitations, etc. AOIPS is an interactive meteorological processing system with capabilities to ingest and analyze the many types of meteorological data. AOIPS includes several applications in areas of relevance to meteorological research. AOIPS is partitioned into four applications components: satellite data analysis, radar data analysis, aircraft data analysis, and utilities

Application of the GeoUML Tools for the Production and Validation of Inspire Datasets

The structure of INSPIRE datasets is oriented to the exchange of data, not to its storage and manipulation in a database. Therefore data transformation is required. This paper analyses the possibility of using in this context the tools developed by SpatialDBGroup at Politecnico di Milano in order to create and validate spatial databases. The considered scenario is the following one: - an organisation (data provider) is willing to provide WFS and GML conformant to INSPIRE specifications (services and data); - this organisation is hosting geodata related to one or more INSPIRE themes on a spatial relational database, called here Source Database - in order to facilitate the implementation of INSPIRE compliant GML data, the organisation implements a new "INSPIRE-structured" spatial database, called here INSPIRE Database - a Transformation Procedure is created which extracts the data from the Source Database and loads it into the INSPIRE Database - the INSPIRE Database is "validated" also using topological operators, in order to identify also topological constraints gaps. We assume that both the Source Database and the INSPIRE Database are SQL based and that their physical schemas have been generated by the GeoUML Catalogue tool from the corresponding conceptual schemas, called SCSOURCE and SCINSPIRE. In this scenario the availability of the conceptual schemas suggests different areas where the tools can provide a great benefit: 1. Creation of the GeoUML specification SCINSPIRE, automatic generation of the corresponding physical SQL structure and Validation of the INSPIRE Database with respect to the specification 2. (Semi)automatic generation of the Transformation Procedure using a set of correspondence rules between elements of SCSOURCE and SCINSPIRE 3. Automatic generation of the WFS configuration from the SCINSPIRE In this paper we describe the work which has already been done and the research directions which we are following in order to deal with these points

Linear resolutions of powers and products

The goal of this paper is to present examples of families of homogeneous ideals in the polynomial ring over a field that satisfy the following condition: every product of ideals of the family has a linear free resolution. As we will see, this condition is strongly correlated to good primary decompositions of the products and good homological and arithmetical properties of the associated multi-Rees algebras. The following families will be discussed in detail: polymatroidal ideals, ideals generated by linear forms and Borel fixed ideals of maximal minors. The main tools are Gr\"obner bases and Sagbi deformation

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents, and nested sequents. Here we adapt the method to a more general external formalism of labelled sequents and provide sufficient criteria on the Kripke-frame characterization of a logic that guarantee the IPs. In particular, we show that classes of frames definable by quantifier-free Horn formulas correspond to logics with the IPs. These criteria capture the modal cube and the infinite family of transitive Geach logics

Bladder cancer mortality of workers exposed to aromatic amines: an updated analysis.

none6nonePIOLATTO G; NEGRI E; LAVECCHIA C; PIRA E; DECARLI A; PETO JPIOLATTO G; NEGRI E; LAVECCHIA C; PIRA E; DECARLI A; PETO