La insuficiencia de las disposiciones del pensamiento para cubrir la brecha entre pensamiento crítico y acción crítica

En este artículo se evalúan las disposiciones del pensamiento crítico; se demuestra la circularidad de sus enunciados y, consecuencia de ello, su insuficiencia para cubrir la brecha que va de las habilidades del pensamiento crítico a la acción crítica.

Valores nas forças armadas brasileiras: uma análise sobre o reconhecimento da sociedade civil

A presente dissertação tem como objetivo refletir sobre a percepção dosvalores nas F orças Almadas Brasileiras por segmentos da sociedade civil organizada. Utilizando como base os estudos de diversos autores, procura desenvolver a fundamentação teórica sobre os valores e as organizações. Neste sentido, busca a construção das nuances explicativas, com base na conceituação e na importância dos valores, tanto para o ser humano como para as mais diversas organizações. A pesquisa de campo se desenvolve por meio de questionários semi-estruturados, suscitando aspectos valiosos em relação aos indivíduos, às organizações militares e à sociedade com os valores de um modo geral.

A mechanical analogous model for the power system with Automatic Voltage Regulator

This paper deals with the subject-matter of teaching immaterial issues like power system dynamics where the phenomena and events are not sense-perceptible. The dynamics of the power system are recognized as analogous to the dynamics of a simple mechanical pendulum taken into account the well-known classical model for the synchronous machine. It is shown that even for more sophisticated models including flux decay and Automatic Voltage Regulator the mechanical device can be taken as an analogous, since provided some considerations about variation and control of the pendulum length using certain control laws. The resulting mathematical model represents a mechanical system that can be built for use in laboratory teaching of power system dynamics. © 2010 Praise Worthy Prize S.r.l. - All rights reserved.

Justified Belief Change

Justification Logic is a framework for reasoning about evidence and justification. Public Announcement Logic is a framework for reasoning about belief changes caused by public announcements. This paper develops JPAL, a dynamic justification logic of public announcements that corresponds to the modal theory of public announcements due to Gerbrandy and Groeneveld. JPAL allows us to reason about evidence brought about by and changed by Gerbrandy--Groeneveld-style public announcements.

Automated design of self-stabilization

Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current state, the system behavior shall eventually reach a legitimate state and shall remain legitimate thereafter. The elegance of self-stabilization stems from the fact that it distinguishes distributed systems by a strong fault tolerance property against arbitrary state perturbations. The difficulty of designing and reasoning about self-stabilization has been witnessed by many researchers; most of the existing techniques for the verification and design of self-stabilization are either brute-force, or adopt manual approaches non-amenable to automation. In this dissertation, we first investigate the possibility of automatically designing self-stabilization through global state space exploration. In particular, we develop a set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies. Our heuristics equally exploit the computational power of a single workstation and the available parallelism on computer clusters. We obtain existing and new stabilizing solutions for classical protocols like maximal matching, ring coloring, mutual exclusion, leader election and agreement. Second, we consider a foundation for local reasoning about self-stabilization; i.e., study the global behavior of the distributed system by exploring the state space of just one of its components. It turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. In particular, we provide necessary and sufficient conditions – verifiable in the local state space of every process – for global deadlock- and livelock-freedom of protocols on ring topologies. Local reasoning potentially circumvents two fundamental problems that complicate the automated design and verification of distributed protocols: (1) state explosion and (2) partial state information. Moreover, local proofs of convergence are independent of the number of processes in the network, thereby enabling our assertions about deadlocks and livelocks to apply on rings of arbitrary sizes without worrying about state explosion.

Soziales und moralisches Denken von Kindern über den Ein- und Ausschluss behinderter Kinder

Die Studie untersucht, wie 70 Kindergartenkinder im Vergleich zu 71 Fünft- und Sechstklässler über Situationen denken, in welchen sich ein Protagonist für die Wahl eines behinderten oder nicht behinderten Kindes in seine Gruppe entscheiden musste. Die Situationen wurden nach Behinderungsform des behinderten Kindes (geistig behindert, körperbehindert) und nach Gruppenaktivität (schulisch, sozial, sportlich) variiert. Die Kinder sollten die Wahl des Protagonisten vorhersagen und die Wahl begründen. Die älteren Kinder berücksichtigten in ihren Überlegungen stärker den situativen Kontext als die jüngeren Kinder. Allerdings erwarteten sie weniger häufig den Einschluss des geistig behinderten Kindes als den Einschluss des körperbehinderten Kindes. Die Ergebnisse der Studie werden vor dem Hintergrund von Forschung zur Entwicklung sozialen und moralischen Denkens über Ein- und Ausschluss diskutiert.

Meta-Analysis of Long-Term Land Management Effect on Soil Organic Carbon (SOC) in Ethiopia

The role of Soil Organic Carbon (SOC) in mitigating climate change, indicating soil quality and ecosystem function has created research interested to know the nature of SOC at landscape level. The objective of this study was to examine variation and distribution of SOC in a long-term land management at a watershed and plot level. This study was based on meta-analysis of three case studies and 128 surface soil samples from Ethiopia. Three sites (Gununo, Anjeni and Maybar) were compared after considering two Land Management Categories (LMC) and three types of land uses (LUT) in quasi-experimental design. Shapiro-Wilk tests showed non-normal distribution (p = 0.002, a = 0.05) of the data. SOC median value showed the effect of long-term land management with values of 2.29 and 2.38 g kg-1 for less and better-managed watersheds, respectively. SOC values were 1.7, 2.8 and 2.6 g kg-1 for Crop (CLU), Grass (GLU) and Forest Land Use (FLU), respectively. The rank order for SOC variability was FLU>GLU>CLU. Mann-Whitney U and Kruskal-Wallis test showed a significant difference in the medians and distribution of SOC among the LUT, between soil profiles (p<0.05, confidence interval 95%, a = 0.05) while it is not significant (p>0.05) for LMC. The mean and sum rank of Mann Whitney U and Kruskal Wallis test also showed the difference at watershed and plot level. Using SOC as a predictor, cross-validated correct classification with discriminant analysis showed 46 and 49% for LUT and LMC, respectively. The study showed how to categorize landscapes using SOC with respect to land management for decision-makers.

Nematode abundance in cold seep sediments of the Nordic Margins (Nyregga, Styregga, Haakon Mosby Mud Volcano)

Cold-seep environments and their associated symbiont-bearing mega faunal communities create islands of primary production for macro-and meiofauna in the otherwise monotonous and nutrient-poor deep-sea environment. To examine the spatial variation and distribution patterns of metazoan meiobenthos in different seepage-related habitats, samples were collected in two regions off Norway: several pockmarks associated with the Storegga Slide including the Nyegga pockmark area, and the active, methane-venting Haakon Mosby Mud Volcano west of the Barents Sea during the Vicking cruise aboard the RV ''PourquoiPas?'' in May-June 2006. Meiofaunal samples at control sites were sampled with a multiple corer, while the other sites were sampled with push cores operated by the ROV Victor6000.The meiofaunal samples were fixed in 4% buffered formaldehyde and washed over a 32 mm-mesh sieve. Metazoan meiofauna were extracted by density gradient centrifugation. All material was fixed with 4% buffered formalin and stained with Rose Bengal. The metazoan meiofauna was sorted out, enumerated and identified down to major taxa under the stereomicroscope. Afterwards, abundances of Nematodes were depth integrated over the top 5 cm to gain individual abundances per 10 cm**2.

Efficient negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved by us) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, we report on an implementation, using the Ciao Prolog system preprocessor, and provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques are shown to offer important improvements in this application.

Efficient implementation of general negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, after proposing some extensions to the method, we provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques (in particular those included in the Ciao Prolog system preprocessor) have had a significant role in the success of the technique.

Evaluating knowledge-based approaches to the multilingual extension of a temporal expression normalizer

The extension to new languages is a well known bottleneck for rule-based systems. Considerable human effort, which typically consists in re-writing from scratch huge amounts of rules, is in fact required to transfer the knowledge available to the system from one language to a new one. Provided sufficient annotated data, machine learning algorithms allow to minimize the costs of such knowledge transfer but, up to date, proved to be ineffective for some specific tasks. Among these, the recognition and normalization of temporal expressions still remains out of their reach. Focusing on this task, and still adhering to the rule-based framework, this paper presents a bunch of experiments on the automatic porting to Italian of a system originally developed for Spanish. Different automatic rule translation strategies are evaluated and discussed, providing a comprehensive overview of the challenge.

Individualistic sensitivities and exposure to climate change explain variation in species' distribution and abundance changes

The responses of animals and plants to recent climate change vary greatly from species to species, but attempts to understand this variation have met with limited success. This has led to concerns that predictions of responses are inherently uncertain because of the complexity of interacting drivers and biotic interactions. However, we show for an exemplar group of 155 Lepidoptera species that about 60% of the variation among species in their abundance trends over the past four decades can be explained by species-specific exposure and sensitivity to climate change. Distribution changes were less well predicted, but nonetheless, up to 53% of the variation was explained. We found that species vary in their overall sensitivity to climate and respond to different components of the climate despite ostensibly experiencing the same climate changes. Hence, species have undergone different levels of population “forcing” (exposure), driving variation among species in their national-scale abundance and distribution trends. We conclude that variation in species’ responses to recent climate change may be more predictable than previously recognized.

Sequence analysis, chromosomal distribution and long-range organization show that rapid turnover of new and old pBuM satellite DNA repeats leads to different patterns of variation in seven species of the Drosophila buzzatii cluster

We aimed to study patterns of variation and factors influencing the evolutionary dynamics of a satellite DNA, pBuM, in all seven Drosophila species from the buzzatii cluster (repleta group). We analyzed 117 alpha pBuM-1 (monomer length 190 bp) and 119 composite alpha/beta (370 bp) pBuM-2 repeats and determined the chromosome location and long-range organization on DNA fibers of major sequence variants. Such combined methodologies in the study of satDNAs have been used in very few organisms. In most species, concerted evolution is linked to high copy number of pBuM repeats. Species presenting low-abundance and scattered distributed pBuM repeats did not undergo concerted evolution and maintained part of the ancestral inter-repeat variability. The alpha and alpha/beta repeats colocalized in heterochromatic regions and were distributed on multiple chromosomes, with notable differences between species. High-resolution FISH revealed array sizes of a few kilobases to over 0.7 Mb and mutual arrangements of alpha and alpha/beta repeats along the same DNA fibers, but with considerable changes in the amount of each variant across species. From sequence, chromosomal and phylogenetic data, we could infer that homogenization and amplification events involved both new and ancestral pBuM variants. Altogether, the data on the structure and organization of the pBuM satDNA give insights into genome evolution including mechanisms that contribute to concerted evolution and diversification.

Altitudinal variation in haemosporidian parasite distribution in great tit populations.

BACKGROUND: One of the major issues concerning disease ecology and conservation is knowledge of the factors that influence the distribution of parasites and consequently disease outbreaks. This study aimed to investigate avian haemosporidian composition and the distribution of these parasites in three altitudinally separated great tit (Parus major) populations in western Switzerland over a three-year period. The objectives were to determine the lineage diversity of parasites occuring across the study populations and to investigate whether altitudinal gradients govern the distribution of haemosporidian parasites by lineage. METHODS: In this study molecular approaches (PCR and sequencing) were used to detect avian blood parasites (Plasmodium sp., Haemoproteus sp. and Leucocytozoon sp.) in populations of adult great tits caught on their nests during three consecutive breeding seasons. RESULTS: High levels of parasite prevalence (88-96%) were found across all of the study populations with no significant altitude effect. Altitude did, however, govern the distribution of parasites belonging to different genera, with Plasmodium parasites being more prevalent at lower altitudes, Leucocytozoon parasites more at high altitude and Haemoproteus parasite prevalence increasing with altitude. A total of 27 haemosporidian parasite lineages were recorded across all study sites, with diversity showing a positive correlation to altitude. Parasites belonging to lineage SGS1 (P. relictum) and PARUS4 and PARUS19 (Leucocytozoon sp.) dominated lower altitudes. SW2 (P. polare) was the second most prevalent lineage of parasite detected overall and these parasites were responsible for 68% of infections at intermediate altitude, but were only documented at this one study site. CONCLUSIONS: Avian haemosporidian parasites are not homogeneously distributed across host populations, but differ by altitude. This difference is most probably brought about by environmental factors influencing vector prevalence and distribution. The high occurrence of co-infection by different genera of parasites might have pronounced effects on host fitness and should consequently be investigated more rigorously.

Plasticity of stomatal distribution pattern and stem tracheid dimensions in Podocarpus lambertii: an ecological study

Leaf and wood plasticity are key elements in the survival of widely distributed plant species. Little is known, however, about variation in stomatal distribution in the leaf epidermis and its correlation with the dimensions of conducting cells in wood. This study aimed at testing the hypothesis that Podocarpus lambertii, a conifer tree, possesses a well-defined pattern of stomatal distribution, and that this pattern can vary together with the dimensions of stem tracheids as a possible strategy to survive in climatically different sites. Leaves and wood were sampled from trees growing in a cold, wet site in south-eastern Brazil and in a warm, dry site in north-eastern Brazil. Stomata were thoroughly mapped in leaves from each study site to determine a spatial sampling strategy. Stomatal density, stomatal index and guard cell length were then sampled in three regions of the leaf: near the midrib, near the leaf margin and in between the two. This sampling strategy was used to test for a pattern and its possible variation between study sites. Wood and stomata data were analysed together via principal component analysis. The following distribution pattern was found in the south-eastern leaves: the stomatal index was up to 25 higher in the central leaf region, between the midrib and the leaf margin, than in the adjacent regions. The inverse pattern was found in the north-eastern leaves, in which the stomatal index was 10 higher near the midrib and the leaf margin. This change in pattern was accompanied by smaller tracheid lumen diameter and length. Podocarpus lambertii individuals in sites with higher temperature and lower water availability jointly regulate stomatal distribution in leaves and tracheid dimensions in wood. The observed stomatal distribution pattern and variation appear to be closely related to the placement of conducting tissue in the mesophyll.