Логіки, орієнтовані на специфікації програм

Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико- синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних логік різних рівнів абстрактності та загальності. Для логік еквітонних квазіарних предикатів на основі секвенційних числень доведені тео- реми про визначність. На базі аксіоматичної системи специфікацій програм над метаномінативними даними побудовано прототип системи автоматизації доведення теорем теорії МНД.Composition nominative logics oriented on program specification are considered. Such logics based on composition nominative approach are constructed in a semantic-syntactic style. The spectrum of logics of various abstraction and generality levels is developed. The definability theorems are proved based on the sequent calculi for logics of equitone quasiare predicates. The prototype of automatic theorem prover is constructed for the axiomatic system of program specification over metanominative data

Energy Security as a Key Driving Factor for Socioeconomic Development: From Mitigation to Solution

This book looks at the increasing demand for energy of contemporary societies and economies from around the world. Energy is the driving force behind development. As such, the future challenge will be not only to meet the rising demand but also to implement less reliance on depleting fossil fuels, which cause damage to the environment. Moreover, the sustainability of supplied energy requires a reduction of emissions to control the absorption capacity vis-à-vis the environment. Globally, policymakers have largely recognized the significance of the relationship between energy and economic progress. Policymakers usually consider the social and economic aspects of energy security in terms of affordability and accessibility of service. The conditions of socioeconomic development depend on safe, secure, and sustainable energy at affordable prices. One of the prime concerns of policymakers should be to ensure energy security at the national level. These factors result in an increasing interest in undertaking activities in developing renewable resources. Energy efficiency is treated as the most cost-effective way to reduce energy demand while maintaining stable economic activity. Increasing energy efficiency is an important contributive aspect to solving issues in relation to climate change, energy security, and energy competitiveness. As a result, no country can afford to waste energy—giving rise to this Special Issue of “Energy Security as a Key Driving Factor for Socioeconomic Development: From Mitigation to Solution” in the journal Energies

Schemes of transmission of classical information via quantum channels with many senders: discrete and continuous variables cases

Superadditivity effects in the classical capacity of discrete multi-access channels (MACs) and continuous variable (CV) Gaussian MACs are analysed. New examples of the manifestation of superadditivity in the discrete case are provided including, in particular, a channel which is fully symmetric with respect to all senders. Furthermore, we consider a class of channels for which {\it input entanglement across more than two copies of the channels is necessary} to saturate the asymptotic rate of transmission from one of the senders to the receiver. The 5-input entanglement of Shor error correction codewords surpass the capacity attainable by using arbitrary two-input entanglement for these channels. In the CV case, we consider the properties of the two channels (a beam-splitter channel and a "non-demolition" XP gate channel) analyzed in [Czekaj {\it et al.}, Phys. Rev. A {\bf 82}, 020302 (R) (2010)] in greater detail and also consider the sensitivity of capacity superadditivity effects to thermal noise. We observe that the estimates of amount of two-mode squeezing required to achieve capacity superadditivity are more optimistic than previously reported.Comment: 19 pages, 11 figure

Gusto musical y espacio social juvenil. Prácticas musicales en Barcelona y Trójmiasto

La tesi té com a objectiu general estudiar les pràctiques musicals de joves habitants o en trànsit a les ciutats de Barcelona i Trójmiasto. La intenció és poder desvetllar lògiques de sentit i identitat cultural que es generen a través d'aquestes. L'aproximació a l'estudi del gust i l'espai social juvenil intenta participar en els debats actuals en aquestes àrees, desenvolupant una aproximació teòric-metodològica a través d'un estudi sobre les pràctiques musicals vistes des de les trajectòries biogràfiques. Buscant contribuir en la comprensió del procés de socialització, les divisions i distincions socials que constitueixen la cultura popular contemporània. Aquesta recerca es basa en l'anàlisi qualitativa de dades etnogràfiques recollits a Barcelona i en Trójmiasto. Les entrevistes en profunditat han estat el principal instrument per a l'obtenció de dades per a aquest estudi. Però també es va recórrer a l'observació participant, a fonts secundàries i una combinació d'acostaments i tècniques d'anàlisis.Els principals resultats de la recerca van revelar com el gust musical és un punt d'ancoratge l'anàlisi del qual ens va permetre aportar comprensió i triangular els processos de mediació entre les diferents instàncies socials en els quals es creen estratègies quotidianes per a la conformació del gust musical. La tesi en el seu conjunt va demostrar la utilitat de posar en el centre de l'anàlisi a observar què classe de coses fan les persones en relació a la música i quina classe de discursos creen les persones en relació a la música. I d'aquesta manera hem pogut pensar al gust musical com un procés i no com un objecte. Ho vam poder presentar en aquesta tesi des de les seves vinculacions a través de les biografies des d'una aproximació en la qual el gust constitueix una pràctica corporal, col·lectiva i instrumentada.La tesis tiene como objetivo general estudiar las prácticas musicales de jóvenes habitantes o en tránsito en las ciudades de Barcelona y Trójmiasto. La intención es poder desvelar lógicas de sentido e identidad cultural que se generan a través de éstas. La aproximación al estudio del gusto y el espacio social juvenil intenta participar en los debates actuales en estas áreas, desarrollando una aproximación teórico-metodológica a través de un estudio sobre las prácticas musicales vistas desde las trayectorias biográficas. Buscando contribuir en la comprensión del proceso de socialización, las divisiones y distinciones sociales que constituyen la cultura popular contemporánea. Esta investigación se basa en el análisis cualitativo de datos etnográficos recogidos en Barcelona y en Trójmiasto. Las entrevistas en profundidad han sido el principal instrumento para la obtención de datos para este estudio. Pero también se recurrió a la observación participante, a fuentes secundarias y una combinación de acercamientos y técnicas de análisis. Los principales resultados de la investigación revelaron como el gusto musical es un punto de anclaje cuyo análisis nos permitió aportar comprensión y triangular los procesos de mediación entre las diferentes instancias sociales en los que se crean estrategias cotidianas para la conformación del gusto musical. La tesis en su conjunto demostró la utilidad de poner en el centro del análisis en observar qué clase de cosas hacen las personas en relación a la música y qué clase de discursos crean las personas en relación a la música. Y de esa manera hemos podido pensar al gusto musical como un proceso y no como un objeto. Lo pudimos presentar en esta tesis desde sus vinculaciones a través de las biografías desde una aproximación en la que el gusto constituye una práctica corporal, colectiva e instrumentada.The thesis has the overall aim to study the musical practices of young people in the cities of Barcelona and Trójmiasto. The intention is to analyse meaning-making and cultural identity that are generated through them. The approach to the study of taste and youth social space seeks to participate in current debates in these areas, developing a theoretical-methodological approach through a study of musical practices from the biographical trajectories. We are seeking understanding the process of socialization, social divisions and distinctions that constitute contemporary popular culture. This research is based on qualitative analysis of ethnographic data collected in Barcelona and Trójmiasto. In-depth interviews have been the main instrument for data collection for this study. But participant observation, secondary sources and a combination of approaches and analytical techniques were also used. The main results of the research revealed musical taste is an anchor point whose analysis allowed us to bring understanding and perspective to study mediation processes between different social instances in which everyday strategies are set to shape musical tastes. The thesis as a whole demonstrates the usefulness of putting at the center of analysis a scope at what kinds of things people do in relation to music and what kind of discourses people create in relation to music. Thus we presented musical taste as a process rather than an object. In this thesis musical taste is understood from its links through the biographies from an approach in which the taste is an embodied, instrumented and collective practice

Solidarity Starts at Home: An Analysis of the Polish Perception of Social Inclusion and Exclusion of Migrants

With the Eurosceptic and anti-refugee Law and Justice Party in power in Poland, advocating for the rights of Polish migrants in the Brexit negotiations, the question, then, arises: how do Poles simultaneously justify the idea of a borderless EU and the rejection of refugees? I argue that all actors in the debate on social inclusion and exclusion of migrants are using the value of solidarity, but defining it differently because of the collective identities that they prioritize. There are two prevalent, historically grounded sides in the debate: one side is liberal, and cosmopolitan, the other is illiberal and ethno-nationalist

Indoor Air Quality: From Sampling to Risk Assessment in the Light of New Legislations

This Special Issue aims to make a concrete technical contribution to the solution of the various problems related to indoor air pollution. In 11 papers, international scientists report the last findings in this field from different points of view including topics such as the IAQ legislation, the role of IAQ in schools, hospitals and (micro)environments in general, the performance of an olfactometer system or the impact of an indoor malodor, BTEX measures in a Fire Station, and a chemical characterization of e-cigarette (e-cig) refill liquids (e-liq). It seems appropriate to encourage the development of reference values or specific action values in order to better manage particularly problematic situations in these environments. In the absence of national references to be used for a comparison, it is possible to use those reported in the legislation of other European countries or, by ad hoc working groups or by analogy, to use other standards such as those relating to ambient air

The Impact of Audiovisual Translation Modality on the Reception and Perception of Culture-Specific References

The presented PhD Thesis gives insight into preferences, expectations, and viewing styles of Polish audience with regard to American humorous productions featuring culturespecific references in the form of cultural lacunas, when watched with various modes of AVT proper (dubbing, voice over, and subtitles, presented here in the form of fansubs) or in the original (unaided and with English subtitles). The study is based on two online surveys, which served as the basis for the analysis of a series of eye-tracking experiments conducted between May and September 2016 at the AVT Lab of the Institute of Applied Linguistics at Warsaw University. As the research was devised in such a manner as to focus solely on intertextual humor acts that constitute cultural lacunas and which appear both in the dialogue and on the screen, Polish viewers were exposed to the most challenging types of audiovisual materials, which require possessing a specific culture repertoire in the source culture (SC). The findings attempt to help identify multiple factors that may influence the reception and perception of the type of productions analyzed. The manifestations of Wundtian recognition, partial report advantage, short-term conceptual memory, attribute amnesia, expectancy-based binding, as well as the phenomena of change blindness, selective attention, false memories, and blinking inhibition occur in the conducted research. These, and other observations, have hopefully contributed to gaining “a better knowledge of viewers' needs (...) and reception capacity” (Gambier 2009: 51).Niniejsza rozprawa doktorska daje wgląd w preferencje, oczekiwania i style oglądania przejawiane przez polskich widzow w odniesieniu do amerykańskich produkcji humorystycznych, zawierających referencje do kultury źrodłowej w postaci lakun kulturowych, w sytuacji oglądania ich z rożnymi rodzajami tzw. „AVT proper”, czyli przekładu audiowizualnego właściwego (dubbingiem, wersją lektorską oraz napisami, analizowanymi w formie fansubow) oraz w oryginale (bez wspomagania oraz z napisami anglojęzycznymi). Badanie opiera się na dwoch ankietach internetowych, ktore zostały zestawione i porownane, a następnie posłużyły za punkt wyjścia do analizy cyklu eksperymentow okulograficznych z udziałem 35 badanych, zrealizowanych między majem a wrześniem 2016 r. w AVT Labie Instytutu Lingwistyki Stosowanej Uniwersytetu Warszawskiego. Badanie zostało zaprojektowane w taki sposob, aby umożliwić skupienie się wyłącznie na intertekstualnych aktach humoru, ktore stanowią lakuny kulturowe i występują zarowno w listach dialogowych, jak i na ekranie. Polskim widzom przedstawiono zatem materiały audiowizualne o najwyższym stopniu trudności, ktore wymagają wiedzy na temat konkretnego repertuaru kulturowego w kulturze źrodłowej. Uzyskane wyniki pozwoliły na wyrożnienie czynnikow, ktore mogą wywierać wpływ na recepcję i percepcję analizowanego rodzaju produkcji. W przeprowadzonym badaniu zaobserwowano przypadki Wundtiańskiego rozpoznania (recognition), przewagi częściowego raportu (partial report advantage), konceptualnej pamięci krotkotrwałej (short-term conceptual memory), amnezji atrybutowej (attribute amnesia), wiązaniu opartym na oczekiwaniach (expectancy-based binding), jak rownież przejawy nieumiejętności zauważania zmiany (change blindness), wybiorczej uwagi (selective attention), fałszywych wspomnień (false memories) oraz wstrzymywania mrugania (blinking inhibition). Na podstawie otrzymanych rezultatow można wyrożnić szereg obserwacji o charakterze globalnym oraz lokalnym. Te i inne obserwacje przyczyniły się, miejmy nadzieję, do uzyskania „szerszej wiedzy na temat potrzeb (…) oraz zdolności recepcyjnej widzow” (Gambier 2009: 51)