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.

A ideologia da encenação: uma análise dos aspectos cênico/ideológicos da encenação produzida pela indústria cultural

The research that led to this dissertation adopted a set of scenic/ideological aspects inherent to the productions of the Culture Industry as its object of research. The intellectual output of Theodor W. Adorno and Max Horkheimer underscored the approaches on this subject, since it provides the same set of scenic/ideological features to be explored because, according to the authors, scenes produced by the culture industry are linked to the dominant ideology, since they act in favor of maintaining the status quo. The first objective was the definition this set of features inherent to the scene produced by the culture industry, through the exploration of literature produced by Adorno and Horkheimer, so it was possible to define a set composed of nine elements: Construction of characters as characteristic types; Stereotypes; Naturalization of Stereotyped language; Simplistic playwriting; Reuse dramatic formula; Love and sexuality as themes of plots; Utilization of tragic element; Objetive representation; Approximation of fiction and reality. The second goal was the analysis of scene produced by the culture industry nowadays, so that it was possible to verify if any scenic/ideological aspects indicated by Adorno and Horkheimer in the mid-twentieth century were present among the productions from this beginning of the twenty-first century. Through the analysis of three soap operas produced in Brazil in 2012, it was found that the nine scenic/ideological aspects as indicated by Adorno and Horkheimer appeared in the observed productions. Additionally, a new scenic/ideological feature, not indicated by Adorno and Horkheimer is present: the merchandising

Parâmetros citogenéticos de espécies comerciais de carangidae (perciformes), com vistas a sua empregabilidade na conservação biológica e piscicultura marinha

Worldwide, families Carangidae and Rachycentridae represent one of the groups most important commercial fish, used for food, and great potential for marine aquaculture. However, the genetic bases that can underpin the future cultivation of these species, cytogenetic between these aspects are very weak. The chromosomal patterns have provided basic data for the exploration of biotechnological processes aimed at handling chromosomal genetic improvement, such as induction of polyploidy, androgenesis and ginogenesis, as well as obtaining monosex stocks and interspecific hybridizations. This paper presents a comprehensive cytogenetic survey in 10 species, seven of the family Carangidae and the monotypic family Rachycentridae. Classical cytogenetic analysis and in situ mapping of multigene sequences were employed, and additionally for the genus Selene and morphotypes of Caranx lugubris, comparisons were made using geometric morphometrics. In general, conservative species exhibit a marked chromosome number (2n=48). Although present in large part, different karyotypic form, retain many characteristics typical of chromosomal Order Perciformes, the high number of elements monobrachyal, Ag-NORs/18S rDNA sites and heterochromatin simply reduced, preferably centromeric. The main mechanisms involved in karyotypic diversification are the pericentric inversions, with secondary action of centric fusions. In addition to physical mapping and chromosome detail for the species are presented and discussed patterns of intra-and interspecific diversity, cytotaxonomic markers. This data set provides a better understanding of these patterns caryoevolutyonary groups and conditions for the development of protocols based on Biotechnology for chromosomal manipulation Atlantic these species