Escola ambiental: transferência de tecnologias geradas pela Embrapa para a segurança alimentar e a valorização da agricultura urbana nas escolas da cidade de Belém, Pará.

Organizar e qualificar os conhecimentos e tecnologias sobre educação ambiental, segurança alimentar, cultivo de hortas, formação de pomares e a criação de abelhas sem ferrão adaptáveis ao cultivo em escolas; Implantar módulos de cultivos de hortifrutigrangeiros, de pomares e de criação de abelhas sem ferrão para demonstração de tecnologias visando contribuir para a formação educacional sobre educação ambiental e segurança alimentar; Desenvolver ações de comunicação para disseminar as iniciativas e os resultados do projeto; Capacitar agentes multiplicadores (professores, funcionários, alunos, familiares de alunos e etc.) para desenvolvimento da agricultura urbana através de ação educativa e melhoria de hábitos alimentares; Monitorar e avaliar os resultados e impactos das ações de TT

Variational Approach to Hard Sphere Segregation Under Gravity

It is demonstrated that the minimization of the free energy functional for hard spheres and hard disks yields the result that excited granular materials under gravity segregate not only in the widely known "Brazil nut" fashion, i.e. with the larger particles rising to the top, but also in reverse "Brazil nut" fashion. Specifically, the local density approximation is used to investigate the crossover between the two types of segregation occurring in the liquid state, and the results are found to agree qualitatively with previously published results of simulation and of a simple model based on condensation.Comment: 10 pages, 3 figure

Energie- en klimaatmonitor agrosectoren 2011

Onderzoek van Agenschap NL en WUR-LEI in opdracht van het ministerie van Economische Zaken, Landbouw en Innovatie (EL&I). Uit de monitor blijkt dat de Nederandse land- en tuinbouwbedrijven meer elektriciteit produceren dan ze zelf verbruiken. De totale bijdrage van deze sectoren aan de in Nederland gebruikte duurzame energie is 44 procent. Ruim de helft van het energieverbruik van de land- en tuinbouwbedrijven zelf (uitgezonderd de glastuinbouw) is afkomstig uit hernieuwbare bronnen

Surface Instability in Windblown Sand

We investigate the formation of ripples on the surface of windblown sand based on the one-dimensional model of Nishimori and Ouchi [Phys. Rev. Lett. 71, 197 (1993)], which contains the processes of saltation and grain relaxation. We carry out a nonlinear analysis to determine the propagation speed of the restabilized ripple patterns, and the amplitudes and phases of their first, second, and third harmonics. The agreement between the theory and our numerical simulations is excellent near the onset of instability. We also determine the Eckhaus boundary, outside which the steady ripple patterns are unstable.Comment: 23 pages, 8 figure

Consistent couplings between spin-2 and spin-3 massless fields

We solve the problem of constructing consistent first-order cross-interactions between spin-2 and spin-3 massless fields in flat spacetime of arbitrary dimension n > 3 and in such a way that the deformed gauge algebra is non-Abelian. No assumptions are made on the number of derivatives involved in the Lagrangian, except that it should be finite. Together with locality, we also impose manifest Poincare invariance, parity invariance and analyticity of the deformations in the coupling constants.Comment: LaTeX file. 29 pages, no figures. Minor corrections. Accepted for publication in JHE

Topological Interference Management With Transmitter Cooperation

Interference networks with no channel state information at the transmitter except for the knowledge of the connectivity graph have been recently studied under the topological interference management framework. In this paper, we consider a similar problem with topological knowledge but in a distributed broadcast channel setting, i.e., a network where transmitter cooperation is enabled. We show that the topological information can also be exploited in this case to strictly improve the degrees of freedom (DoF) as long as the network is not fully connected, which is a reasonable assumption in practice. Achievability schemes from graph theoretic and interference alignment perspectives are proposed. Together with outer bounds built upon generator sequence, the concept of compound channel settings, and the relation to index coding, we characterize the symmetric DoF for the so-called regular networks with constant number of interfering links, and identify the sufficient and/or necessary conditions for the arbitrary network topologies to achieve a certain amount of symmetric DoF

Exact Gap Computation for Code Coverage Metrics in ISO-C

Test generation and test data selection are difficult tasks for model based testing. Tests for a program can be meld to a test suite. A lot of research is done to quantify the quality and improve a test suite. Code coverage metrics estimate the quality of a test suite. This quality is fine, if the code coverage value is high or 100%. Unfortunately it might be impossible to achieve 100% code coverage because of dead code for example. There is a gap between the feasible and theoretical maximal possible code coverage value. Our review of the research indicates, none of current research is concerned with exact gap computation. This paper presents a framework to compute such gaps exactly in an ISO-C compatible semantic and similar languages. We describe an efficient approximation of the gap in all the other cases. Thus, a tester can decide if more tests might be able or necessary to achieve better coverage.Comment: In Proceedings MBT 2012, arXiv:1202.582

Wave: A New Family of Trapdoor One-Way Preimage Sampleable Functions Based on Codes

We present here a new family of trapdoor one-way Preimage Sampleable Functions (PSF) based on codes, the Wave-PSF family. The trapdoor function is one-way under two computational assumptions: the hardness of generic decoding for high weights and the indistinguishability of generalized $(U,U+V)$-codes. Our proof follows the GPV strategy [GPV08]. By including rejection sampling, we ensure the proper distribution for the trapdoor inverse output. The domain sampling property of our family is ensured by using and proving a variant of the left-over hash lemma. We instantiate the new Wave-PSF family with ternary generalized $(U,U+V)$-codes to design a "hash-and-sign" signature scheme which achieves existential unforgeability under adaptive chosen message attacks (EUF-CMA) in the random oracle model. For 128 bits of classical security, signature sizes are in the order of 15 thousand bits, the public key size in the order of 4 megabytes, and the rejection rate is limited to one rejection every 10 to 12 signatures.Comment: arXiv admin note: text overlap with arXiv:1706.0806

Integrating evolution into ecological modelling: accommodating phenotypic changes in agent based models.

PMCID: PMC3733718This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Evolutionary change is a characteristic of living organisms and forms one of the ways in which species adapt to changed conditions. However, most ecological models do not incorporate this ubiquitous phenomenon. We have developed a model that takes a 'phenotypic gambit' approach and focuses on changes in the frequency of phenotypes (which differ in timing of breeding and fecundity) within a population, using, as an example, seasonal breeding. Fitness per phenotype calculated as the individual's contribution to population growth on an annual basis coincide with the population dynamics per phenotype. Simplified model variants were explored to examine whether the complexity included in the model is justified. Outputs from the spatially implicit model underestimated the number of individuals across all phenotypes. When no phenotype transitions are included (i.e. offspring always inherit their parent's phenotype) numbers of all individuals are always underestimated. We conclude that by using a phenotypic gambit approach evolutionary dynamics can be incorporated into individual based models, and that all that is required is an understanding of the probability of offspring inheriting the parental phenotype

The impacts of environmental warming on Odonata: a review

Climate change brings with it unprecedented rates of increase in environmental temperature, which will have major consequences for the earth's flora and fauna. The Odonata represent a taxon that has many strong links to this abiotic factor due to its tropical evolutionary history and adaptations to temperate climates. Temperature is known to affect odonate physiology including life-history traits such as developmental rate, phenology and seasonal regulation as well as immune function and the production of pigment for thermoregulation. A range of behaviours are likely to be affected which will, in turn, influence other parts of the aquatic ecosystem, primarily through trophic interactions. Temperature may influence changes in geographical distributions, through a shifting of species' fundamental niches, changes in the distribution of suitable habitat and variation in the dispersal ability of species. Finally, such a rapid change in the environment results in a strong selective pressure towards adaptation to cope and the inevitable loss of some populations and, potentially, species. Where data are lacking for odonates, studies on other invertebrate groups will be considered. Finally, directions for research are suggested, particularly laboratory studies that investigate underlying causes of climate-driven macroecological patterns