1,550 research outputs found

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

    Get PDF
    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

    Get PDF
    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

    Dependency Concepts up to Equivalence

    Get PDF

    THE RELATIONSHIP OF SEX ROLE SELF CONCEPT AND ROLE CONFLICT IN FEMALE NURSING ADMINISTRATORS

    Get PDF
    This study investigated the relationship between the sex role self concept of female nursing administrators and the role conflict they experienced. The correlation of age. education and experience with sex role self concept and role conflict was examined. This was a descriptive survey with a purposive probability sample of 126 subjects from three mid-Atlantic states. A mail survey resulted in a useful return of 88 questionnaires, including 81 females. The Bem Sex Role Inventory was utilized to measure sex role self concept; masculinity and femininity are viewed as two independent dimensions present in every individual. Role conflict was measured by an investigator developed tool designed to examine internal role conflict associated with socialization as a female and nurse while occupying an administrative position. Masculine self concept, not feminine, had a significant relationship to role conflict. Education was significantly correlated with sex role self concept and role conflict, while age and experience were not. Education had a positive relationship with masculine self concept which was inversely related to role conflict. Size of hospital had a significant inverse relationship with role conflict

    Quimby\u27s Quests

    Get PDF
    Introduction to Quimby: Quimby, the little green pom-pom with googly eyes and pipe-cleaner limbs, was my quarantine companion last Spring Semester while I was on the mostly empty campus. He was created during the beginning stages of the pandemic while I was stuck here at Bard finishing my classes remotely. They could go on adventures using his imagination while we were in quarantine, and they have followed me in my work ever since.The purpose of their creation was for their cute and simple character to use their imagination to have some wholesome fun, hopefully bringing smiles to people’s faces. Quimby Quarrency: It was challenging having to develop something with hope as the central focus. The spring and summer of 2020 was quite difficult, but I think that the one thing that I was most hopeful for is when I can give hugs freely. Amid this pandemic, it\u27s been hard for me not to feel lonely and isolated. I really just can’t wait until the day when I can go home and hug the rest of my friends and family without having to fear for everyone’s health. The hug coupon is probably less like something with monetary value (not because love and caring are priceless), but more of a coupon and reminder. I miss the times where I can freely wear my favorite shirt with Olaf from Disney’s Frozen that boldly shares the phrase “FREE HUGS.” That shirt and my love of hugs are where I got my idea for this project hope, innocence and the use of imagination. I really wanted to appeal to childhood, family and the importance of spending time together while using one’s imagination to boost creativity and togetherness. Childhood Innocence & Imagination: When I was a kid, I didn’t go to screens and technology to pass the time and be entertained. I remember playing make-believe, whether with just myself, with my brother, or anyone else we had around. With this pandemic, I’ve been thinking that screens have become the portal to seeing/connecting with others, the source of education. I really wanted to stay away from that a bit because I figured we are all a little fatigued from technology. I used cardboard to be my main building material because it reminded me of when I was younger. Whenever my parents would buy large appliances or furniture, they come in a large cardboard box. My brother and I were always given the box to play with. As soon as we got the box, there were so many possibilities because it no longer was some mundane object. We made dollhouses, raceways, rocket ships, castles, and so much more with our imagination. Installation: For my show, I created an environment similar to Quimby’s living room that morphs into their imaginary world. The living room is composed of a couch, two side tables, a coffee table, a window, a television remote and a clock all created out of cardboard. Above the couch, a picture of Quimby hugging their guardian is depicted. This set-up matches the living room in the illustrations that I drew and painted that were displayed on the wall wearing cardboard frames to fit the theme. All my digital work was documented and displayed in a slideshow projecting on the wall opposite to the couch to look like someone could sit down and watch TV showing the adventures that Quimby has gone on. In the imaginary section of the show after you step off the welcome mat to the living room, there is a large cardboard island displaying a palm tree and open treasure chest filled with jewels. On the other side of the island, a large stuffed Quimby sits looking into his jewel-filled hands with amazement disregarding the map beside him. Opposite of the living room on the far side of the imaginary world, I created a cardboard castle complete with a drawbridge and a tower on each side. In one tower window, a small plush quimby wearing a gold crown sits with butterflies surrounding them while their hand reaches out and their hair drops out of the window in Rapunzel fashion. Around the exhibition space, my illustrations of Quimby’s quests are hung on the walls with cardboard frames. Corresponding scenes and sets made of cardboard of course are placed throughout on stacked (cardboard) boxes. One is of a model plane soaring above the viewer’s head with Quimby in the cockpit waving. Another is themed like a jewel heist where Quimby is suspended from the ceiling of the museum above the case of a crown surrounded by red lasers. The next scene is astronaut Quimby floating in space around the planets and stars. Lastly, a small living room set with a fireplace and rocking chair is for when baby Quimby visits their grandparents in the winter. This last scene is really close to me because it reminds me of some of the wonderful memories that I had growing up with my grandparents. In the future, I plan on animating more of the illustrations of Quimby’s quests and also using stop-motion animation in the sets to let them come to life

    The order disorder transition in Cu2ZnSnS4 A neutron scattering investigation

    Get PDF
    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

    Mechanism for the Combined Li-Na Ionic Conductivity in Sugilite (Fe2Na2KLi3Si12O30)-Type Compounds

    Get PDF
    This study explains the ionic conductivity in the mineral sugilite (idealized formula: Fe2Na2KLi3Si12O30) by resolving the dynamic disorder of both Li and Na cations using synchrotron X-ray single-crystal diffraction from 298 K to 1023 K. Non-zero anharmonic atomic displacement parameters at Na and Li sites at 1023 K adumbrated long-range charge transport routes for Li and Na cations commonly parallel to the (a-b) plane. Temperature-enhanced diffuse residuals in Fourier maps could unambiguously localize two interstitial sites suitable for Li, as well as three for Na. Each two-dimensional (2D) network of Li and Na interstitials was formed parallel to each other, providing Li and Na hopping pathways. The higher concentration of Na cations hopping in short distances of 2.0962(4)-2.3015(5) Å could be the main reason for the higher bulk conductivity values evaluated by impedance spectra of sugilite in comparison to those of its structural relatives with low Na contents, e.g., the mineral sogdianite ((Zr,Al,Fe)2Na0.36KLi3Si12O30). Bond valence sum landscape maps supported the critical role of dynamic disorder of Na+ over densely packed 2D interstitial networks for combined ionic conductivity along with mobile Li+ in sugilite-type compounds
    corecore