Suchergebnisse

Embora criado pela Lei 6.815 de agosto de 1980, uma lei muito criticada por pesquisadores, migrantes e por representantes de diversas instituições que trabalham com o tema das migrações, o CNIg - Conselho Nacional de Imigração, instituído no período de ditadura militar (1964-1984), se democratizou tanto na sua composição como nas suas ações. Estas envolvem a participação de diversas instituições e da sociedade civil. A partir de 2000, o CNIg vem ampliando as formas mais adequadas de tratamento da questão migratória, especialmente no que tange ao trabalhador migrante. Este Conselho teve e continua tendo um papel fundamental na imigração haitiana no Brasil, que iniciou no começo de 2010. O que torna sua atuação nesta imigração incontornável para entendêla. Quem fez a honra de falar a respeito, depois de cinco anos do fenômeno, é o próprio Presidente do CNIg, Paulo Sérgio de Almeida. Com dez anos na instituição e oito na sua presidência, ele se pronuncia sobre sua relação com o tema, sobre a forma como o CNIg lidou com a imigração haitiana, seus desafios e das perspectivas de trabalho do Conselho. Esta entrevista mostra o olhar do poder público sobre uma migração que chamou a atenção do Brasil nos últimos anos.

The design of Conflict-free Replicated Data Types traditionally requires implementing new designs from scratch to meet a desired behavior. Although there are composition rules that can guide the process, there has not been a lot of work explaining how existing data types relate to each other, nor work that factors out common patterns. To bring clarity to the field we explain underlying patterns that are common to flags, sets, and registers. The identified patterns are succinct and composable, which gives them the power to explain both current designs and open up the space for new ones. ; This work was partially supported by the European Union H2020 LightKone project under grant 732505 (https://www. ...

Conflict-free Data Types (CRDTs) were designed to automatically resolve conflicts in eventually consistent systems. Different CRDTs were designed in both operation-based and state-based flavors such as Counters, Sets, Registers, Maps, etc. In a previous paper [2], Baquero et al. presented the problem with embedded CRDT counters and a solution, covering state-based counters that can be embedded in maps, but needing an ad-hoc extension to the standard counter API. Here, we present a resettable operation-based counter design, with the standard simple API and small state, through a causalstability- based state compaction. ; Project "Coral - Sustainable Ocean Exploitation: Tools and Sensors/NORTE-01-0145-FEDER-000036" is financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF). The research leading to these results has received funding from the European Union's Horizon 2020 - The EU Framework Programme for Research and Innovation 2014-2020, under grant agreement No. 732505, project LightKone. Project "TEC4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact/NORTE-01-0145-FEDER-000020" is financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership. Agreement, and through the European Regional Development Fund ...

Conflict-free Replicated Data Types (CRDTs) can simplify the design of deterministic eventual consistency. Considering the several CRDTs that have been deployed in production systems, counters are among the first. Counters are apparently simple, with a straightforward inc/dec/read API, but can require complex implementations and several variants have been specified and coded. Unlike sets and registers, that can be adapted to operate inside maps, current counter approaches exhibit anomalies when embedded in maps. Here, we illustrate the anomaly and propose a solution, based on a new counter model and implementation. ; Project Norte01-0145-FEDER-000020 is financed by the North Portugal Regional Operational Programme (Norte 2020), under the Portugal 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF). Funding from the European Union Seventh Framework Program (FP7/2007-2013) under grant agreement 609551, SyncFree project. ...

Strongly consistent systems supporting distributed transactions can be prone to high latency and do not tolerate partitions. The present trend of using weaker forms of consistency, to achieve high availability, poses notable challenges in writing applications due to the lack of linearizability, e.g., to ensure global invariants, or perform mutator operations on a distributed datatype. This paper addresses a specific problem: the exactly-once transfer of a "quantity" from one node to another on an unreliable network (coping with message duplication, loss, or reordering) and without any form of global synchronization. This allows preserving a global property (the sum of quantities remains unchanged) without requiring global linearizability and only through using pairwise interactions between nodes, therefore allowing partitions in the system. We present the novel quantity-transfer algorithm while focusing on a specific use-case: a redistribution protocol to keep the quantities in a set of nodes balanced; in particular, averaging a shared real number across nodes. Since this is a work in progress, we briefly discuss the correctness of the protocol, and we leave potential extensions and empirical evaluations for future work. ; This work is financed by the FCT Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project UID/EEA/50014/2013; and by the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement 609551, SyncFree project. ...

Eventual consistency is a relaxed consistency model used in large-scale distributed systems that seek better availability when consistency can be delayed. CRDTs are distributed data types that make eventual consistency of a distributed object possible and non ad-hoc. Specifically, state-based CRDTs achieve this through shipping the entire replica state that is, eventually, merged to other replicas ensuring conver- gence. This imposes a large communication overhead when the replica size or the number of replicas gets larger. In this work, we introduce a decomposable version of state-based CRDTs, called Delta State-based CRDTs (δ-CRDT). A δ-CRDT is viewed as a join of multiple fine-grained CRDTs of the same type, called deltas (δ). The deltas are produced by applying δ-mutators, on a replica state, which are mod- ified versions of the original CRDT mutators. This makes it possible to ship small deltas (or batches) instead of ship- ping the entire state. The challenges are to make the join of deltas equivalent to the join of the entire object in clas- sical state-based CRDTs, and to find a way to derive the δ-mutators. We address this challenge in this work, and we explore the minimal requirements that a communication al- gorithm must offer according to the guarantees provided by the underlying messaging middleware. ; Project Norte-01-0124-FEDER-000058 is co-financed by the North Portugal Regional Operational Program (ON.2 - O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF). Funding from the European Union Seventh Framework Program (FP7/2007-2013) with grant agreement 609551, SyncFree project. ...

Conflict-free Replicated Data Types (CRDTs) are data abstractions (registers, counters, sets, maps, among others) that provide a relaxed consistency model called Eventual Consistency. Current designs for CRDT counters do not scale, having a size linear with the number of both active and retired nodes (i.e., nodes that leave the system permanently after previously manipulating the value of the counter). In this paper we present a new counter design called Borrow-Counter, that provides a mechanism for the retirement of transient nodes, keeping the size of the counter linear with the number of active nodes. ; Project "TEC4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact/NORTE-01-0145-FEDER-000020" is financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF). The research leading to these results has received funding from the European Union's Horizon 2020 - The EU Framework Programme for Research and Innovation 2014-2020, under grant agreement No. 732505, project LightKone. ...

Pure operation-based (op-based) Conflict-free Replicated Data Types (CRDTs) are generic and very efficient as they allow for compact solutions in both sent messages and state size. Although the pure op-based model looks promising, it is still not fully understood in terms of practical implementation. In this paper, we explain the challenges faced in implementing pure op-based CRDTs in a real system: the well-known in-memory cache key-value store Redis. Our purpose of choosing Redis is to implement a multi-master replication feature, which the current system lacks. The experience demonstrates that pure op-based CRDTs can be implemented in existing systems with minor changes in the original API. ; European Union Seventh Framework Program (FP7/2007-2013) under grant agreement 609551, SyncFree project. Project "TEC4Growth - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact/NORTE-01-0145-FEDER-000020"is financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF). ...

Determining the size of a network and its diameter are important functions in distributed systems, as there are a number of algorithms which rely on such parameters, or at least on estimates of those values. The Extrema Propagation technique allows the estimation of the size of a network in a fast, distributed and fault tolerant manner. The technique was previously studied in a simulation setting where rounds advance synchronously and where there is no message loss.This work presents two main contributions. The first, is the study of the Extrema Propagation technique under asynchronous rounds and integrated in the Network Friendly Epidemic Multicast (NeEM) framework. The second, is the evaluation of a diameter estimation technique associated with the Extrema Propagation. This study also presents a small enhancement the Extrema Propagation in terms of communication cost and points out some other possible enhancements. Results show that there is a clear trade-off between time and communication that must be considered when configuring the protocol—a faster convergence time implies a higher communication cost. Results also show that its possible to reduce the total communication cost by more than 18% using a simple approach. The diameter estimation technique is shown to have a relative error of less than10% even when using a small sample of nodes. ; The authors would like to thank Jose Orlando Pereira and Nuno Carvalho for their help in the NeEM integration and testing. This work has been partially supported by FCT and POCI 2010, co-funded by the Portuguese Government and European Union in the FEDER ...

The objective of the present study was to perform a meta-analysis that compared the chemical composition of corn silage produced for different experimental purposes, i.e., by research groups that studied corn silage (SCS) or by research groups that only used corn silage (UCS) as a form of roughage. We analyzed 203 papers that were published between January 1994 and December 2014 and contained a total of 647 treatments and the analysis of 1701 silos. We found a significant difference (P < 0.0001) in the dry matter (DM) content of SCS silage (33.00%) and that of UCS silage (30.64%). The DM contents of neutral detergent fiber for the SCS and UCS silage were high (54.72 and 55.14% DM, respectively) but were not significantly different from one another (P = 0.5936), and the acid detergent fiber content of the UCS silage (31.04% DM) was higher than that of the SCS silage (29.65%, P = 0.0214), which indicated that the UCS silage was less digestible than the SCS silage. This was also corroborated (P = 0.0064) by the mean content of total digestible nutrients (64.18% DM) in the UCS silage, which likely results from the lower level of care taken when using standard silage production methods, compared to that taken by SCS researchers. Therefore, we concluded that the corn silage produced by research groups in Brazil are not analyzed in full and that, as a result, there is a paucity of important information, such as the content of organic acids. In addition, we also found that corn silage produced in Brazil contains a high level of neutral detergent fiber.

This longitudinal retrospective study evaluated production and composition of milk from dairy cows according to season on a rural property in Palmeira das Missões, Rio Grande do Sul, Brazil, between January 2009 and December 2016. Milk yield per hectare per month was the primary variable measured, along with chemical composition (total dry extract, defatted dry extract, fat, protein, and lactose), somatic cell count, and total bacterial count of milk. Production in summer (513.53 kg/ha/month) did not differ (p > 0.05) from that in fall (504.69 kg/ha/month) or spring (564.63 kg/ha/month), but production in winter (639.20 kg/ha/month) was significantly higher than in summer (p < 0.0057). The real price of milk did not differ (p > 0.05) among seasons. The total dry extract content differed (p < 0.0059) between seasons. However, the cooler fall and winter seasons favored the production of total solids. The defatted dry extract content was higher (p < 0.0001) in winter (8.65%), compared to the other seasons of the year. Fat content did not differ (p > 0.05) among seasons. Protein content differed (p < 0.0200) between summer (3.01%) and winter (3.16%), but both seasons did not differ (p > 0.05) from fall (3.13%) or spring (3.05%). Winter lactose levels (4.52%) were higher (p < 0.0011) than during other seasons. The somatic cell count did not differ (p > 0.05) among seasons, demonstrating that the evaluated herd possesses standard mammary gland health. The total bacterial count did not differ (p > 0.05) among the seasons, demonstrating that the hygiene of the facilities remains constant. As expected, the temperature and humidity index varied (p < 0.0001) with the seasons, and the deleterious effects were more pronounced in summer and spring, as they are the hottest seasons in humid subtropical environments. The results emphasize that the organized management of milk production reduces the variation in milk composition, making it easier to maintain a consistent high milk quality and also generating extra revenue.

Nitrogen fertilization can be used to increase production for area, as well as to improve the grains nutritional value. The aim of this study was to evaluate the chemical composition of two linseed cultivars (Brown and Golden) submitted to increasing doses of nitrogen fertilization in a completely randomized design. The Brown and Golden flax sowing was in April 2014, using 40 kg of viable seeds ha-1 and 100 kg ha-1 of diammonium phosphate (16-46-00) as fertilizer. It was evaluated the increasing doses of N fertilization in the cover: 0, 50, 100, 150 and 200 kg of N ha-1, applied in the urea form. For the fatty acids (FA) analysis, a composite sample of each variety was performed for the treatment 0 and 200 kg N ha-1. The composite samples were grounded in a multi-use mill with cooling jacket. The cooling was aimed to avoid the heating of the samples during their processing, in order to reduce the chances of FA profile alterations. The application of nitrogen positively influenced the production of grains and oil ha-1 of the cultivars, improved the Brown flax dry matter in vitro digestibility and the Golden flax neutral detergent fiber, ether extract and crude protein amounts. The cultivar Brown flax presented higher production of grains and oil ha-1 when compared to Golden flax, which presented lower neutral detergent fiber, crude protein, total carbohydrates and higher amounts of ether extract. The Golden flax was nutritionally healthier, as it presented higher proportions of C18:3 n3, unsaturated fatty acids, unsaturated/saturated fatty acids and hypocholesterolemic index. Both cultivars have potential ingredients to be used in animal feed, aiming to improve the quality of the final product.