Parceria Público Privada e o Programa de Aceleração do Crescimento: geração de emprego no município de Araraquara

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

El programa Presupuesto Participativo : Participación ciudadana, democracia deliberativa e inclusión social. Análisis de las tensiones y potencialidades de la experiencia de Corrientes

El artículo se centra en el análisis del programa Presupuesto Participativo implementado en Corrientes durante los años 2010, 2011 y 2012. Nuestro interés está puesto en indagar las limitaciones y posibilidades de esta herramienta en relación con la participación, la construcción de la ciudadanía y la inclusión. En este sentido, se orienta a considerar cómo se interpelan y posicionan los actores sociales que intervienen en la misma y cómo se configura la relación entre el Estado municipal y la sociedad civil correntinos

El programa Presupuesto Participativo : Participación ciudadana, democracia deliberativa e inclusión social. Análisis de las tensiones y potencialidades de la experiencia de Corrientes

El artículo se centra en el análisis del programa Presupuesto Participativo implementado en Corrientes durante los años 2010, 2011 y 2012. Nuestro interés está puesto en indagar las limitaciones y posibilidades de esta herramienta en relación con la participación, la construcción de la ciudadanía y la inclusión. En este sentido, se orienta a considerar cómo se interpelan y posicionan los actores sociales que intervienen en la misma y cómo se configura la relación entre el Estado municipal y la sociedad civil correntinos

El programa Presupuesto Participativo : Participación ciudadana, democracia deliberativa e inclusión social. Análisis de las tensiones y potencialidades de la experiencia de Corrientes

El artículo se centra en el análisis del programa Presupuesto Participativo implementado en Corrientes durante los años 2010, 2011 y 2012. Nuestro interés está puesto en indagar las limitaciones y posibilidades de esta herramienta en relación con la participación, la construcción de la ciudadanía y la inclusión. En este sentido, se orienta a considerar cómo se interpelan y posicionan los actores sociales que intervienen en la misma y cómo se configura la relación entre el Estado municipal y la sociedad civil correntinos

Climate reconstructions from the Tibet Plateau (PKDB286426)

Fluid inclusions of protogenous halite, which were collected from two boreholes in the Charhan Salt Lake in the north part of the Qinghai-Xizang Plateau, werea nalyzed for their hydrogen and oxygen isotopes and for their Na, Mg etc. ions.On these grounds, the evolution of lake environment in this region during the last 50 000 years are discussed in this paper. The emphasis is to discuss the time range of extremely arid and cold climate at the last Glacial stage and the geological event of playa associated with such a climate.The guanidine hydrochloride method was used for measurement of hydrogen and oxygen stable isotopes. The measurement of Na, Mg etc. ions were achieved by determination of crystallization temperature of hydrohalite under microscope and then by calculation of chemical compositions of inclusion fluid using a thermodynamic model.The results obtained show that protogenous halite in the Charhan Lake area was formed in three different environment conditions: (1) In fluid inclusions of halite formed in the early period (50 000-30 000 a B. P. ), dD averages -14.9 per mil, d(18)O averages 8.37 per mil, and Mg(2+)ranges from 0.42 to 1.59 mol/L. Their plotting points fall on the right top part of the evaporation line of the present Charhan Lake area, indicating that the Lake water at that time had a higher concentration of brine, and the climate was hot and dry. (2) In fluid inclusions of halite formed in the middle period (30 000-15 000 a B. P.), SD average -66.0 per mil, d(18)O averages 1.00 pr mil, and Mg(2+) 1 mol/L. Their plotting points fall on the left low part of the evaporation line, indicating that the lake water at that time had a concentration of brine lower than that in the early period, and the environment was cold and dry. (3) In fluid inclusions of halite formed in the late period (15 000-present), dD averages 30.8 per mil, d(18)O averages 5.85 per mil, and Mg(2+) M 1 mol/L. Their plotting fall on the evaporation line, indicating that the climate environment at that time was warm and dry, almost the same as the present.The temperature variation of the last 50 000 years in the Charhan Lake area was calculated using the conversion equation proposed by Lorious et al. The time range of the Great ice age of the Last Glacial Stage is about 21 000-15 000 a B.P., which basically coincides with the time of a worldwide low sea level. The temperature in that period was below 0°C and 6-7°C lower than now. Because of lower temperatures, water supply to the lake area decreased rapidly and the concentration of lake water increased sharply. Therefore the Mg(2+) concentration in inclusion fluid reaches or closes to 2mol/L and the Mg/Na ratio varies within a very wide range. These show that the Charhan Lake at that time entered its playa stage. The Charhan Salt Lake is a typical one in the north part of the Qinghai-Xizang Plateau. It can be supposed that the extremely arid and cold climate of the Great Ice Age made most lakes in the north part of the Qinghai-Xizang Plateau enter their playa stage. This event is of importance for formation of salt resources.

Abstract Interpretation-based verification/certification in the ciaoPP system

CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm (Constraint) Logic Programming system. It uses modular, incremental abstract interpretation as a fundamental tool to obtain information about programs. In CiaoPP, the semantic approximations thus produced have been applied to perform high- and low-level optimizations during program compilation, including transformations such as múltiple abstract specialization, parallelization, partial evaluation, resource usage control, and program verification. More recently, novel and promising applications of such semantic approximations are being applied in the more general context of program development such as program verification. In this work, we describe our extensión of the system to incorpórate Abstraction-Carrying Code (ACC), a novel approach to mobile code safety. ACC follows the standard strategy of associating safety certificates to programs, originally proposed in Proof Carrying- Code. A distinguishing feature of ACC is that we use an abstraction (or abstract model) of the program computed by standard static analyzers as a certifícate. The validity of the abstraction on the consumer side is checked in a single-pass by a very efficient and specialized abstractinterpreter. We have implemented and benchmarked ACC within CiaoPP. The experimental results show that the checking phase is indeed faster than the proof generation phase, and that the sizes of certificates are reasonable. Moreover, the preprocessor is based on compile-time (and run-time) tools for the certification of CLP programs with resource consumption assurances.

Aspects physionomiques de la végétation halo résistante et halophile du Nord et du Sud de l’Algérie occidentale

On se propose, à travers cette étude de cartographier la végétation halo résistante et halophile de deux zones de l’Algérie occidentale l’une au Nord (région de Hammam Boughrara) et l’autre au Sud (région du Chott El-Gharbi). Une comparaison de ces deux zones d’un point de vue physionomique a été menée, afin de mettre en évidence la diversité phytoécologique de ces peuplements. Les données bioclimatiques montrent que les zones d’étude sont toutes deux caractérisées par une longue période de sécheresse estivale variant de 6 à 7 mois. D’un autre côté, l’approche édaphique montre une texture limono-sableuse à sableuse aussi bien au Nord qu’au Sud. Par contre la salinité est nettement plus accentuée au Sud atteignant 1350 μ.S/cm. La carte physionomique de la végétation de la zone nord fait apparaitre la dominance de formations pures à Tamarix gallica L. (27,13%) ou à Atriplex halimus L. (37,99%), et de formations en mosaïques, où les deux genres se trouvent mêlés (16,87%). Au niveau de la zone sud deux grandes unités physionomiques se distinguent: les groupements à Salsola vermiculata L. (24 %) et les groupements à Lygeum spartum L. (6 %). Les groupements à Artemisia herba– alba Asso. occupent par contre de petites surfaces (2 %) de qualité moyenne à médiocre. Les peuplements à Arthrocnemum glaucum (Del.) Ung. quant à eux, se répartissent tout autour de la daya du Chott El-Gharbi, où la salinité est à son maximum, en constituant un tapis végétal assez dense (1 %).

Actas de la primera conferencia de la Office of Economic Opportunity sobre Programas Contra la Pobreza para Trabajadores Migratorios y Trabajadores de Periodos Temporales Durante el año Agrícola efectuadas el 18 al 20 de enero de 1966 en Washington, D. C.

Mode of access: Internet.

Potential for application of ignition interlock devices to prohibit operation of motor vehicles by intoxicated individuals. Final report.

Mode of access: Internet.

Development of training materials for traffic court administration. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Traffic case adjudication systems: a seminar. Administrators' guide.

National Highway Traffic Safety Administration, Washington, D.C.

Traffic case adjudication systems: a seminar. Instructor's manual.

National Highway Traffic Safety Administration, Washington, D.C.

Guidance for preventing asbestos disease among auto mechanics.

Mode of access: Internet.

Before the Interstate commerce commission. In the matter of the application of the Great northern railway company, etc., Finance docket no. 7439. In the matter of the application of the Western Pacific railroad company, etc. Finance docket no. 7440. In the matter of the application of the Great northern railway company and the Western Pacific railroad company, etc. Finance docket no. 7781 ...

Vol. [1]-[2]. Applicants' opening brief. F.G. Dorety, F.M. Angellotti [and others], attorneys.--v. [3]-[5] Brief for Southern Pacific company, Union Pacific railroad company, Oregon short line railroad company, Oregon-Washington railroad & navigation company and Los Angeles & Salt Lake railroad company, interveners. B.C. Dey, G.V. Shoup [and others] attorneys.

Fact sheet : draft RCRA post-closure permit modification : Chevron-Texaco/Lockport Facility, Lockport, Illinois : ILD041518861 : State ID #1970500012 : post-closure permit log no. B-38RI-M-1.

"This fact sheet has been prepared pursuant to the requirements of Title 35 Illinois Administrative Code (35 IAC) Section 705.143. The fact sheet is intended to be a brief summary of the principal facts and significant factual, legal, methodological, and policy questions considered in preparing a draft Class 3 RCRA permit modification. This permit modification will allow the current permittee, Chevron Environmental Services Company (CESC), to establish an onsite Corrective Action Management Unit (CAMU) to manage remediation wastes generated during site remediation activities performed under the RCRA Corrective Action program and to establish a facility-wide Groundwater Management Zone (GMZ) for the duration of the corrective action work at the closed refinery. Pursuant to 35 IAC 705.143(a), this fact sheet is sent to the applicant, to the information repository and to any other person who requests it."