Imunidade recíproca e livre concorrência: considerações acerca de sua fruição por empresas estatais

This study begins with a brief overview of tax immu nities in general, dealing with the concept, legal, doctrinal ratings and limits. Then enters into the reciprocal immunity, since its birth in the United States, its justifica tions, until her current developments in the Brazilian Supreme Court, which has expanded it quite considerably. That Court has extended to state owned enterprises, even if pa id by public prices or rates, or if acts somewhat away from its essential functions, es pecially if they are public services provider. Given this linkage, these are also treate d in own topic, grounded in newer doctrinal proposals and less attached to historical formalisms (see such Supremacy of Public Interest over Private one). Public services are approached in its diversity, oblivious to traditional monolithic nature and accu stomed to the modern doctrine of fundamental human rights. It deals also the princip les of free enterprise and free competition, given that the public service provider s have lived intensely in this environment, be they public or private agents. In d ialectical topic, these institutes are placed in joint discussion, all in an attempt to in vestigate their interactions and propose criteria less generic and removed from real ity, to assess the legitimacy of the mutual enjoyment of immunity by certain agents. Sev eral cases of the Court are analyzed individually, checking in each one the app lication of the proposed criteria, such logical-deductive activity and theory of pract ice approach. At the end, the conclusions refer to a reciprocal immunity less rhe torical and ideological and more pragmatic and consequentialist. It is proposed the end to the general rules or abstract formulas of subsumption, with concerns on the one h and the actual maintenance of the federal pact, and on the other by a solid econo mic order without inapt advantages to certain players, which flatly contradicts the co nstitutional premises.

Estudo de complexos de ferro e de cobre com a base de Shiff 3-Meosalen e ligantes de relevância biológica

The goal set for this work was to synthesize and to characterize new iron and copper complexes with the Schiff base 3-MeOsalen and ligands of biological relevance, whose formulas are [Fe(3-MeOsalen)NO2], [Fe(3-MeOsalen)(etil2-dtc)], [Fe(3-MeOsalen)NO] and Na[Cu(3-MeOsalen)NO2]. The compounds were characterized by vibrational spectroscopy in the infrared region (IV) and Electronic spectroscopy in the ultraviolet and visible region (Uv-Vis). From the analysis of infrared spectra, they proved to formation of precursor complexes, as evidenced by changes in the vibrationals frequencies ν(C=N) e ν(C-O) and the emergence of vibrationals modes metal-oxygen and metal-nitrogen. For nitro complexes of iron and copper were observed ν(NO2)ass around 1300 cm-1 e ν(NO2)sim in 1271 cm-1 , indicating that the coordination is done via the nitrogen atom. The complex spectrum [Fe(3-MeOsalen)(etil2-dtc)] exhibited two bands, the ν(C-NR2) in 1508 cm-1 e ν(C-S) in 997 cm-1 , the relevant vibrational modes of coordinating ligand in the bidentate form. For the complex [Fe(3-MeOsalen)NO] was observed a new intense band in 1670 cm-1 related to the ν(NO). With the electronic spectra, the formation of complexes was evidenced by shifts of bands intraligands transitions and the emergence of new bands such as LMCT (p Cl-  d* Fe3+) in [Fe(3-MeOsalen)Cl] and the d-d in [Cu(3-MeOsalen)H2O]. As for the [Fe(3-MeOsalen)NO2] has highlighted the absence of LMCT band present in the precursor complex as for the [Cu(3-MeOsalen)NO2] found that the displacement of the band hipsocrômico d-d on 28 nm. The electronic spectrum of [Fe(3-MeOsalen)(etil2-dtc)] presented LMCT band shifts and changes in intraligantes transitions. With regard to [Fe(3-MeOsalen)NO], revealed a more energetic transitions intraligands regions from the strong character π receiver NO and MLCT band of transition dπFe(II)π*(NO).

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Síntese de ferritas de cobalto e níquel dopadas com zinco e caracterização de suas propriedades eletromagnéticas

This work shows that the synthesis by combustion is a prominent alternative to obtain ceramic powders of higher oxides, nanostructured and of high purity, as the ferrites of formulas Co(1-x)Zn(x)Fe2O4 e Ni(1-x)Zn(x)Fe2O4 with x ranging from 0.2 mols, in a range from 0.2 ≤ x ≥ 1.0 mol, that presents magnetic properties in coexistence of ferroelectric and ferrimagnetic states, which can be used in antennas of micro tapes and selective surfaces of low frequency in a range of miniaturized microwaves, without performance loss. The obtainment occurred through the combustion process, followed by appropriate physical processes and ordered to the utilization of the substrate sinterization process, it gave us a ceramic material, of high purity degree in a nanometric scale. The Vibrating Sample Magnetometer (VSM) analysis showed that those ferritic materials presents parameters, as materials hysteresis, that have own behavior of magnetic materials of good quality, in which the magnetization states can be suddenly changed with a relatively small variation of the field intensity, having large applications on the electronics field. The X-ray Diffraction (XRD) analysis of the ceramic powders synthesized at 900 °C, characterize its structural and geometrical properties, the crystallite size and the interplanar spacing. Other analysis were developed, as Scanning Electron Microscopy (SEM), X-ray Fluorescence (XRF), electric permittivity and the tangent loss, in high frequencies, through the equipment ZVB - 14 Vector Network Analyzer 10 MHz-14 GHz, of ROHDE & SCHWART.

Manutenção da Heterozigosidade em populações de plantas autógamas

Neste trabalho objetivou-se verificar, teoricamente , a possibilidade de manutenção de heterozigotos, em populações de plantas autógamas, na presença e na ausência de seleção dependente de frequência (SDF). Considerou-se apenas um loco com dois alelos. Utilizou-se a dedução algébrica de formulas referentes a alguns modelos de populações e um programa para simular a sucessão das gerações em uma calculadora científica avançada. Comparou-se os resultados do modelo com os dados obtidos experimentalmente por Allard e Workman (1963) e por Harding, Allard e Smeltzer (1966). Os coeficientes de determinação foram 0,9653 e 0,9166 para a primeira e a segunda comparação, respectivamente. Estes coeficientes indicam que o modelo D representa de modo bastante fidedigno as variações observadas em populações experimentais de plantas predominantemente autógamas

Percepção Ambiental em Museus Paisagens de Arte Contemporânea: a legibilidade dos museus Inhotim/Brasil e em Serralves/Portugal avaliada pelo público/visitante

This thesis nalyzes the wayfinding in Landscape Museum of Contemporary Art (MPAC), based on the Institute of Contemporary Art CACI, Minas Gerais, Brazil and the Museum of Contemporary Art of the Serralves Foundation, Porto, Portugal. The study focuses on the interrelationship of the public/visitors with the landscape, architecture and contemporary art museums in these, in order to understand visual perception and apprehension of such an environment for their users. For both were confronted documentation (visual and written) and people talk. The main hypothesis put forward is that the audience/visitor MPAC appreciates the interrelationship between the natural environment (park/garden) and built environment (the works of contemporary art and the galleries), giving equal value to both. To complement this, a second hypothesis is that during the visit to MPACS, visitors define their paths spontaneously, but strongly influenced by existing visual indicators (maps, signage and striking landscape elements), which facilitate the readability of space, which also contribute to the offered services and the experiences of similar institutions. The analytical basis of the research used the concepts of legibility (LYNCH, 2009), wayfinding (GIBSON, 2009; ARTHUR, PASSINI, 2002; WEISMAN, 1982), Experiential Cotinnum (TUAN, 1985), Space Bound (CRUZ PINTO, 2007) and habitus (BOURDIEU, 1992). Methodologically was used qualitative research (DEMO 2000) by means of a case study (YIN, 2005; STAKE, 1999) and participant observation (WHYTE, 2005). In the two institutions interviews with researchers and curators, behavior observation and questionnaires from employees, trainees, monitors and the public/visitor of the two museums were performed. Although partially referende the initial hypothesis, the research showed that the public/visitor value appears more natural environments, they experience a greater intensity and in addition to the factors listed in the second case, your perception and definition of paths suffer significant influence of emotional relations established with space. Generally the audience/visitor adapts easily to different demands of contemporary art exhibition in the two museums and the built environment (park/garden and museum) interferes with your reading path during the visit, perceived by the public/visitor condition as a factor that favors the enjoyment of works on different mounts (wayfinding), though often become a factor that hinders the legibility of the building and its built environment

Formulação e caracterização de matérias-primas para revestimento cerâmico Semi-Poroso com adição de chamote de telhas

The ceramics industry in Piauí is nowadays with 55 industries where 11 are in Teresina which is the mainstream of the state, producing 55 million shingles; in which 10 % is of this production is wasted being sometimes thrown on the margins of rivers, roads and highways provoking an environmental degradation. The main goal of this work is to verify the potential of producing semi porous ceramic using grog of shingles, on the first part of this work bodies-of-proof were produced from a basic formula of an industry, doping it with 5 %, 10 %, 15 % and 20 % in mass and in the second part of this work some bodies-of-proof were produced from a formula where one raw material was substituted by 50 % of grog and another substituting it all by grog, bodies-of-proof made of a basic formula previously announced was used for experiment control.The grog and the raw materials were characterized by: particle size analysis , thermal differential analysis, X ray diffraction , X ray fluorescence, an thermal gravimetric analysis and rational analyses. The bodies-of-proof were sintetisized in an industrial oven obeying the normal cycle adopted by an industry, with peak temperatures of 1135 oC and a fast burning cycle of 25 minutes having as energetic fuel liquefied petroleum gas . The pieces that were obtained by this were submersed in rehearsed physics of: water absorption of, apparent specific mass, apparent porosity, lineal retraction, rupture tension to the flexural and dilatometry; mineralogical analysis for X ray diffraction; and microstructural for electronic microscope of sweeping. For all the formulas with addition of grog, superior priorities to the requested by the requirements for semi porous and for the formula to F2-2,5 superior priorities to standard formulas which justifies the incorporation of the shingles in mass for the semi porous ceramic