On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure is a semantical and undecidable property, the normal form we introduce enables the handling and provides a better understanding of this fragment. We also introduce inclusion-exclusion games that turn out to be precisely the corresponding model-checking games. These games are not only interesting in their own right, but they also are a key factor towards building a bridge between the semantic and syntactic fragments. On the level of logics with team semantics we additionally present restrictions of inclusion-exclusion logic to capture the union closed fragment. Moreover, we define a team based atom that when adding it to first-order logic also precisely captures the union closed fragment of existential second-order logic which answers an open question by Galliani and Hella

Speed measurements made by Division "A" of the airplane director

The various speeds of an airplane can only be measured in horizontal flight, since there are no means for measuring the angle of ascent or descent. The measurements must be corrected for the density of the air. This is obtained by simultaneous pressure and temperature measurements during flight. Calculation from the mean yearly values in accordance with Everling's suggestion can only be considered an approximation, since the distribution of pressure and temperature in the individual strata at different altitudes undergoes such large variations that the yearly mean gives inaccurate values. Thermographs of the present form are useless for temperature measurements of an airplane. In altitude data, the following are to be distinguished: the height above the earth, the barometric altitude, and the altitude corresponding to the yearly mean air density. Variometers are not suited for the mechanical control of high altitude flight

The order disorder transition in Cu2ZnSnS4 A neutron scattering investigation

In this work a series of stoichiometric Cu2ZnSnS4 CZTS samples annealed at different temperatures in the range of 473 623 K were investigated.The temperature dependence of the Cu Zn order disorder behavior was analyzed by neutron powde rdiffraction measurements.Cu fully occupies the 2a and Sn the 2b position within the whole temperature range. For Zn and the remaining Cu on sites 2d and 2c,a clear change from ordered to disordered kesterite structure is found.The critical temperature Tc for this Landau type second order transition was determined as 552 2 K.It was found that in Cu2ZnSnS4 very long annealing times are necessary to reach equilibrium at low temperature

Characteristics of Voluntary Behavior in the Neighborhood Commons: The Case of Dog Parks

The neighborhood commons, and dog parks in particular, provide a good laboratory to explore the drivers of voluntarism and trust, as well as the situational and demographic correlates that promote or inhibit voluntarism. This analysis connects a central theme of Ostrom’s work on institutions for overcoming social dilemmas to the literature on voluntary actions and the health of small communities. Survey results from more than 500 users of 14 dog parks in the Atlanta area are examined to understand how variation in park and user characteristics predict variation in individual contributions to the commons, including pro-social attitudes and behavior and dispute resolution behavior. Our analysis shows how institutions foster community commons, which are correlated with both voluntarism and the voluntary enforcement of norms on users. These results from a study in the field contribute to a growing literature that explores the circumstances for successful voluntary supply and maintenance of public goods

Cyclic electric field response of morphotropic Bi1/2Na1/2TiO3-BaTiO3 piezoceramics

In this study, the evolution of field induced mechanisms in lead-free piezoelectric ceramics (1-x)Bi1/2Na1/2TiO3-xBaTiO(3) with x = 0.06 and 0.07 was investigated by transmission electron microscopy, neutron, and X-ray diffraction. Preliminary investigations revealed a strong degradation of macroscopic electromechanical properties within the first 100 bipolar electric cycles. Therefore, this structural investigation focuses on a comparative diffraction study of freshly prepared, poled, and fatigued specimens. Transmission electron microscopy and neutron diffraction of the initial specimens reveal the coexistence of a rhombohedral and a tetragonal phase with space group R3c and P4bm, respectively. In situ electric field X-ray diffraction reveals a pronounced field induced phase transition from a pseudocubic state to a phase composition of significantly distorted phases upon poling with an external electric field of 4 kV/mm. Although the structures of the two compositions are pseudocubic and almost indistinguishable in the unpoled virgin state, the electric field response shows significant differences depending on composition. For both compositions, the application of an electric field results in a field induced phase transition in the direction of the minority phase. Electric cycling has an opposite effect on the phase composition and results in a decreased phase fraction of the minority phase in the fatigued remanent state at 0 kV/mm. (C) 2015 AIP Publishing LLCopen

Population Genetics of Franciscana Dolphins (Pontoporia blainvillei): Introducing a New Population from the Southern Edge of Their Distribution

Due to anthropogenic factors, the franciscana dolphin, Pontoporia blainvillei, is the most threatened small cetacean on the Atlantic coast of South America. Four Franciscana Management Areas have been proposed: Espiritu Santo to Rio de Janeiro (FMA I), São Paulo to Santa Catarina (FMA II), Rio Grande do Sul to Uruguay (FMA III), and Argentina (FMA IV). Further genetic studies distinguished additional populations within these FMAs. We analyzed the population structure, phylogeography, and demographic history in the southernmost portion of the species range. From the analysis of mitochondrial DNA control region sequences, 5 novel haplotypes were found, totalizing 60 haplotypes for the entire distribution range. The haplotype network did not show an apparent phylogeographical signal for the southern FMAs. Two populations were identified: Monte Hermoso (MH) and Necochea (NC)+Claromecó (CL)+Río Negro (RN). The low levels of genetic variability, the relative constant size over time, and the low levels of gene flow may indicate that MH has been colonized by a few maternal lineages and became isolated from geographically close populations. The apparent increase in NC+CL+RN size would be consistent with the higher genetic variability found, since genetic diversity is generally higher in older and expanding populations. Additionally, RN may have experienced a recent split from CL and NC; current high levels of gene flow may be occurring between the latter ones. FMA IV would comprise four franciscana dolphin populations: Samborombón West+Samborombón South, Cabo San Antonio+Buenos Aires East, NC+CL+Buenos Aires Southwest+RN and MH. Results achieved in this study need to be taken into account in order to ensure the long-term survival of the species.Fil: Gariboldi, María Constanza. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; ArgentinaFil: Tunez, Juan Ignacio. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Luján; ArgentinaFil: Dejean, Cristina Beatriz. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Ciencias Antropológicas. Sección Antropología Biológica; ArgentinaFil: Failla, Mauricio. Fundación Cethus; ArgentinaFil: Vitullo, Alfredo Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; ArgentinaFil: Negri, Maria Fernanda. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Museo Argentino de Ciencias Naturales ; ArgentinaFil: Cappozzo, Humberto Luis. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Maimónides. Área de Investigaciones Biomédicas y Biotecnológicas. Centro de Estudios Biomédicos, Biotecnológicos, Ambientales y de Diagnóstico; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Parque Centenario. Museo Argentino de Ciencias Naturales ; Argentin

Evidence for distinct coastal and offshore communities of bottlenose dolphins in the north east Atlantic.

Bottlenose dolphin stock structure in the northeast Atlantic remains poorly understood. However, fine scale photo-id data have shown that populations can comprise multiple overlapping social communities. These social communities form structural elements of bottlenose dolphin (Tursiops truncatus) [corrected] populations, reflecting specific ecological and behavioural adaptations to local habitats. We investigated the social structure of bottlenose dolphins in the waters of northwest Ireland and present evidence for distinct inshore and offshore social communities. Individuals of the inshore community had a coastal distribution restricted to waters within 3 km from shore. These animals exhibited a cohesive, fission-fusion social organisation, with repeated resightings within the research area, within a larger coastal home range. The offshore community comprised one or more distinct groups, found significantly further offshore (>4 km) than the inshore animals. In addition, dorsal fin scarring patterns differed significantly between inshore and offshore communities with individuals of the offshore community having more distinctly marked dorsal fins. Specifically, almost half of the individuals in the offshore community (48%) had characteristic stereotyped damage to the tip of the dorsal fin, rarely recorded in the inshore community (7%). We propose that this characteristic is likely due to interactions with pelagic fisheries. Social segregation and scarring differences found here indicate that the distinct communities are likely to be spatially and behaviourally segregated. Together with recent genetic evidence of distinct offshore and coastal population structures, this provides evidence for bottlenose dolphin inshore/offshore community differentiation in the northeast Atlantic. We recommend that social communities should be considered as fundamental units for the management and conservation of bottlenose dolphins and their habitat specialisations