Sustentabilidade ambiental da criação de camarões de água doce e uso do aguapé no tratamento dos efluentes

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

Sobre revoluções científicas na matemática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Effect of Water Exchange and Mechanical Aeration on Grow-out of the Amazon River Prawn in Ponds

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Sobre o uso de sistemas de computação algébrica na solução de problemas de mecânica das estruturas

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

Regularity at infinity of real mappings and a Morse-Sard theorem

We prove a new Morse-Sard-type theorem for the asymptotic critical values of semi-algebraic mappings and a new fibration theorem at infinity for C-2 mappings. We show the equivalence of three different types of regularity conditions which have been used in the literature in order to control the asymptotic behaviour of mappings. The central role of our picture is played by the p-regularity and its bridge toward the rho-regularity which implies topological triviality at infinity.

Effect of rotifers fatty acid composition on the occurrence of skeletal deformities in red porgy Pagrus pagrus (Linnaeus, 1758)

Red porgy has been proposed as a candidate for diversification of marine aquaculture production (Hernández-Cruz et al., 1999). However, limited larval survival together with the elevated levels of skeletal deformities occurrence (over 50% of the population), under intensive or semi-intensive systems constitute the major bottlenecks for the production of this species at commercial scale (Roo et al., in press). Essential fatty imbalances on early life stages, may alter the osteological development of reared larvae (Cahu et al., 2003). The objective of this study was to determine the effect of rotifers enrichment, particularly on DHA, on growth, survival and occurrence of skeleton deformities in red porgy.

Use of computer algebra in the calculation of Feynman diagrams

The increasing precision of current and future experiments in high-energy physics requires a likewise increase in the accuracy of the calculation of theoretical predictions, in order to find evidence for possible deviations of the generally accepted Standard Model of elementary particles and interactions. Calculating the experimentally measurable cross sections of scattering and decay processes to a higher accuracy directly translates into including higher order radiative corrections in the calculation. The large number of particles and interactions in the full Standard Model results in an exponentially growing number of Feynman diagrams contributing to any given process in higher orders. Additionally, the appearance of multiple independent mass scales makes even the calculation of single diagrams non-trivial. For over two decades now, the only way to cope with these issues has been to rely on the assistance of computers. The aim of the xloops project is to provide the necessary tools to automate the calculation procedures as far as possible, including the generation of the contributing diagrams and the evaluation of the resulting Feynman integrals. The latter is based on the techniques developed in Mainz for solving one- and two-loop diagrams in a general and systematic way using parallel/orthogonal space methods. These techniques involve a considerable amount of symbolic computations. During the development of xloops it was found that conventional computer algebra systems were not a suitable implementation environment. For this reason, a new system called GiNaC has been created, which allows the development of large-scale symbolic applications in an object-oriented fashion within the C++ programming language. This system, which is now also in use for other projects besides xloops, is the main focus of this thesis. The implementation of GiNaC as a C++ library sets it apart from other algebraic systems. Our results prove that a highly efficient symbolic manipulator can be designed in an object-oriented way, and that having a very fine granularity of objects is also feasible. The xloops-related parts of this work consist of a new implementation, based on GiNaC, of functions for calculating one-loop Feynman integrals that already existed in the original xloops program, as well as the addition of supplementary modules belonging to the interface between the library of integral functions and the diagram generator.

Planung und Berechnung der systemischen Leistungsverfügbarkeit komplexer Logistiksysteme

Das Verständnis von Leistungsverfügbarkeit, wie sie in der VDI-Richtlinie 4486 definiert ist, reicht für die Planung komplexer, dynamischer und teil-autonomer Systeme nicht aus. Die Definition in der VDI 4486 setzt den Fokus ausschließlich auf den Erfüllungsgrad vereinbarter Prozesse bei der Inbetriebnahme lo-gistischer Anlagen und regelt die Messungen und Be-rechnungen der Leistungsverfügbarkeit zu diesem Zeitpunkt. Es bleibt die Frage, wie ein Materialflusssystem für eine spezifizierte Leistungsverfügbarkeit geplant werden kann. Dazu werden die Wirkzusammenhänge zwischen dem logistischen System und seinen Sub-Systemen z.B. vertikale Integration von Wirkzusammenhängen der Instandhaltung, von Echtzeiteffekten der Kommunikationsprozesse oder Effekten der Ma-schinensteuerung, betrachtet.

The Conflict between Basescu and Tariceanu – A Governmental System Viewpoint

Semi-presidential systems of democratic governance risk ending up in a stalemate when it is not clear which of the two „heads” – head of State or head of Government – shall take the lead. The current political situation in Romania features some of the commonly observed characteristics of such an institutional blockade. However, after addressing these formal aspects of political Romania, the author argues for not forgetting to take into account the informal, actor-related factors. The nature of the Romanian political parties and party system seems to hinder the finding of a consensus needed to exit the self-imposed blockade. More specifically, it is the Democratic Party (PD) that is the key to understanding the recent developments. The Government of April the third has yet to prove its efficiency.

Marginal lands or marginal people? Analysing key processes determining the outcomes of large-scale land acquisitions in Lao PDR and Cambodia

This chapter aims to overcome the gap existing between case study research, which typically provides qualitative and process-based insights, and national or global inventories that typically offer spatially explicit and quantitative analysis of broader patterns, and thus to present adequate evidence for policymaking regarding large-scale land acquisitions. Therefore, the chapter links spatial patterns of land acquisitions to underlying implementation processes of land allocation. Methodologically linking the described patterns and processes proved difficult, but we have identified indicators that could be added to inventories and monitoring systems to make linkage possible. Combining complementary approaches in this way may help to determine where policy space exists for more sustainable governance of land acquisitions, both geographically and with regard to processes of agrarian transitions. Our spatial analysis revealed two general patterns: (i) relatively large forestry-related acquisitions that target forested landscapes and often interfere with semi-subsistence farming systems; and (ii) smaller agriculture-related acquisitions that often target existing cropland and also interfere with semi-subsistence systems. Furthermore, our meta-analysis of land acquisition implementation processes shows that authoritarian, top-down processes dominate. Initially, the demands of powerful regional and domestic investors tend to override socio-ecological variables, local actors’ interests, and land governance mechanisms. As available land grows scarce, however, and local actors gain experience dealing with land acquisitions, it appears that land investments begin to fail or give way to more inclusive, bottom-up investment models.

Fruit yield and growth parameters of several Carica papaya L. genotypes in a temperate climate

The aim of this work was to evaluate changes in growth and productivity parameters of different precocious hybrids and a naturalized variety of papaya under both greenhouse and field cultivation in a temperate climate (the center of the province of Santa Fe, Argentina). In view of the aforesaid, the purpose of our research was to identify further genotypes better suited for the cultivation of this species in temperate climates and demonstrate the need for the use of semi-controlled systems to make possible the cultivation of these promising genotypes in middle latitudes. The average yield was 291% higher in greenhouse than in the field. The average productivity for hybrid genotypes compared with the naturalized variety more than doubled in both environments. Considering behavior in height, leaf area index and yield parameters, hybrids H2 (principally), and H4 showed a great adaptation for use in semi-forced systems. The use of greenhouse and short stature papaya hybrids allows its feasible and surely profitable cultivation in non- tropical climates.

Sistemas semissólidos à base de nanopartículas lipídicas

As nanopartículas lipídicas foram desenvolvidas no início dos anos 90 e, atendendo às vantagens que apresentam comparativamente a outros sistemas coloidais, têm-se demonstrado muito promissoras, tanto para uso cosmético como farmacêutico. No entanto, atualmente apenas existem comercializados produtos cosméticos à base de nanopartículas lipídicas, o que pode ser justificado pelas restrições regulamentares relacionadas com a introdução de medicamentos no mercado. Existem dois tipos de nanopartículas lipídicas, as nanopartículas de lípidos sólidos (Solid Lipid Nanoparticles, SLN) e os vetores lipídicos nanoestruturados (Nanostructured Lipid Carriers, NLC), consistindo ambos em dispersões aquosas de nanopartículas sólidas. A baixa viscosidade destes sistemas dificulta a sua aplicação tópica. Neste contexto, têm sido desenvolvidas várias formulações semissólidas à base de nanopartículas lipídicas para aplicação tópica, nomeadamente cutânea, ocular, nasal e vaginal. A primeira parte desta dissertação consiste na revisão bibliográfica relativa ao estado da arte dos sistemas semissólidos à base de nanopartículas lipídicas, para uso farmacêutico e cosmético, baseada nos estudos realizados por diversos autores, entre 2012 e 2016. Na segunda parte, são apresentados resultados do trabalho experimental relativo ao desenvolvimento e caraterização de uma formulação semissólida à base de nanopartículas lipídicas.

Applying the extended Kalman filter to systems described by nonlinear differential-algebraic equations

This paper describes a method for the state estimation of nonlinear systems described by a class of differential-algebraic equation models using the extended Kalman filter. The method involves the use of a time-varying linearisation of a semi-explicit index one differential-algebraic equation. The estimation technique consists of a simplified extended Kalman filter that is integrated with the differential-algebraic equation model. The paper describes a simulation study using a model of a batch chemical reactor. It also reports a study based on experimental data obtained from a mixing process, where the model of the system is solved using the sequential modular method and the estimation involves a bank of extended Kalman filters.

Improved algebraic cryptanalysis of QUAD, Bivium and Trivium via graph partitioning on equation systems

We present a novel approach for preprocessing systems of polynomial equations via graph partitioning. The variable-sharing graph of a system of polynomial equations is defined. If such graph is disconnected, then the corresponding system of equations can be split into smaller ones that can be solved individually. This can provide a tremendous speed-up in computing the solution to the system, but is unlikely to occur either randomly or in applications. However, by deleting certain vertices on the graph, the variable-sharing graph could be disconnected in a balanced fashion, and in turn the system of polynomial equations would be separated into smaller systems of near-equal sizes. In graph theory terms, this process is equivalent to finding balanced vertex partitions with minimum-weight vertex separators. The techniques of finding these vertex partitions are discussed, and experiments are performed to evaluate its practicality for general graphs and systems of polynomial equations. Applications of this approach in algebraic cryptanalysis on symmetric ciphers are presented: For the QUAD family of stream ciphers, we show how a malicious party can manufacture conforming systems that can be easily broken. For the stream ciphers Bivium and Trivium, we nachieve significant speedups in algebraic attacks against them, mainly in a partial key guess scenario. In each of these cases, the systems of polynomial equations involved are well-suited to our graph partitioning method. These results may open a new avenue for evaluating the security of symmetric ciphers against algebraic attacks.

Biolistic transformation of elite indica rice (Oryza sativa L.) cultivars through semi-solid and liquid medium selection systems

Following microprojectile mediated delivery of a plasmid construct (pAHC-25) encoding bar (bialophos resistance) gene into five-day-old scutellar calli derived from mature embryos, the effectiveness of selection procedure for bar-gene expressing tissue was compared for two indica rice cultivars (IR-64 and Karnal Local). While IR-64 transformants could be selected through the generally used semi-solid selection medium, the same procedure was not effective in the basmati cultivar Karnal Local. In the latter case, while lower concentrations (2–4 mg 1−1) of the selective agent phosphinothricin (PPT) yielded only escapes, higher concentrations (6–8 mg l−1) inhibited proliferation of transformed as well as untransformed sectors. For Karnal Local, a liquid medium based selection system was successfully utilized for recovering transformed sectors and, eventually, regenerants. The study demonstrates the generation of transformants of two elite indica cultivars using the environment-independent system of mature embryos from seeds.