256 research outputs found
Cr-Lohner algorithm
Get PDFWe present a Lohner type algorithm for the computation of rigorous bounds for the solutions of ordinary differential equations and its derivatives with respect to the initial conditions up to an arbitrary order
-Lohner algorithm
Get PDFWe present a Lohner type algorithm for the computation of rigorous bounds for the solutions of ordinary differential equations and its derivatives with respect to the initial conditions up to an arbitrary order
Measurement of Direct-Photon Elliptic Flow in Pb-Pb Collisions at = 2.76 TeV
No full textWe present the first measurement of the direct-photon elliptic flow v_{2}^{\gamma,dir} in Pb-Pb collisions at sqrt(NN) = 2.76 TeV with data taken by the ALICE experiment at the LHC. The measurement provides evidence for a non-zero v_{2}^{\gamma,dir} for 1 < p_T < 3 GeV/c with a magnitude similar to the observed charged pion v_2. In order to explain the large inverse slope parameter T_eff of the low p_T direct-photon spectrum observed at LHC and RHIC, recent hydrodynamical descriptions of the direct-photon production include a substantial portion of thermal photons from the hot plasma phase. As a consequence of the early production time, v_{2}^{\gamma,dir} is expected to be small compared to hadrons. A large v_{2}^{\gamma,dir} might lend support for a significant direct-photon emission from late stages of the system evolution where hadron flow has developed
Anisotropic flow of direct photons in Pb-Pb collisions at 2.76 TeV per nucleon
No full textThe measurement of direct photons is a unique tool for the study of early phases of ultra- relativistic nucleus-nucleus collisions. Since photons do not interact with the strong-coupling medium created in these collisions, they carry undistorted information about the system at their production time. During the hydrodynamic expansion of the fireball, pressure gradients turn inhomogeneities in the initial energy density distribution into azimuthal anisotropies in the produced particle spectra. Recent hydrodynamic calculations predict a substantial portion of direct photons from early phases of the collision, where the anisotropic flow has not fully devel- oped. Thus, the direct-photon azimuthal anisotropy is generally expected to be small compared to the anisotropy of hadrons. However, measurements by the PHENIX experiment at RHIC revealed a direct-photon anisotropic flow with a magnitude similar to that for pions. This thesis presents the first measurement of the direct-photon anisotropic flow in Pb-Pb collisions at a center-of-mass energy of 2.76TeV per nucleon at the LHC. In particular, its dependence on the collision centrality and the triangular component were measured for the first time. Photons were measured by their conversion in the ALICE detector material. Background contributions of photons from hadron decays were determined in a cocktail simulation and subtracted. The results provide evidence for a hadron-like direct-photon anisotropic flow and are thus qualitatively consistent with the observations at RHIC. These findings challenge our present theoretical understanding of the time evolution of heavy-ion collisions and might indicate a significantly enhanced direct-photon emission from late stages of the system evolution
Octavias Pseudo-Seneca: Translation, introductory study and notes
No full textEsta pesquisa de mestrado objetivou o estudo da peça latina Otávia do Pseudo-Sêneca, que inclui uma tradução para o português, acompanhada de notas e de um estudo introdutório. Este trabalho centrou-se em apontar o que se têm discutido entre os estudiosos de literatura clássica em relação à peça. Foi pertinente para esse expediente uma análise do gênero praetexta, do qual faz parte esta peça, considerando as divergências entre praetexta republicana e imperial, bem como a observação de como a peça integra mito e história. Essa pesquisa inclui também considerações sobre como Otávia dialoga com as tragédias de Sêneca, autor ao qual a peça foi atribuída erroneamente.This Master\'s degree investigation aimed the study of the latin play Pseudo-Seneca\'s Octavia, which includes a translation into Portuguese, accompanied by notes and an introductory study. This work focused on showing what has been discussed between the classical literary scholars about the play. It was relevant to this expedient an analysis of praetexta genre, which this play is part, considering the differences between republican and imperial praetexta, as well as the observation of how the play includes myth and history. This research also includes considerations on how Octavia dialogues with Senecan tragedies, author to whom the play was erroneously attributed
De imitatione: The imitation process in the Senecas Letters to Lucilius
No full textA imitatio, enquanto fundamento das produções discursivas romanas, foi amplamente debatida não apenas na Antiguidade, mas também entre estudiosos modernos. A relação entre uma obra e os modelos que a influenciam suscita a formulação de diferentes perspectivas interpretativas. Lúcio Aneu Sêneca, filósofo estoico romano, aborda essa relação entre produções discursivas novas e os modelos que as integram em suas obras filosóficas. A maneira como o filósofo analisa esse fenômeno intertextual reflete, inevitavelmente, sua postura como pensador estoico. Essa pesquisa, portanto, investiga em que medida a teoria senequiana da imitatio, presente nas Cartas a Lucílio, dialoga com os debates retórico-poéticos contemporâneos ao autor ou e quanto, por outro lado, expressa percepções filosóficas com as quais ele descreve esse fenômeno textual-discursivoImitation, as a foundation of Roman discursive productions, is a widely discussed subject among the Ancients and the Moderns scholars. The connection between a work and its models has been arousing different interpretive perspectives. Lucius Annaeus Seneca, a Roman Stoic philosopher, addresses to this subject some space at his philosophical works. The way the philosopher analyzes this intertextual phenomenon inevitably reflects his stance as a Stoic thinker. Therefore, this research investigates to what extent the senecan theory of imitatio, present in the Letters to Lucilius, dialogues with the rhetorical-poetic debates contemporary to the author or, alternatively, expresses philosophical perceptions with which he describes this textual-discursive phenomeno
Sources of disgust in the drama Dzień świra by Marek Koterski
No full textThe article is an analysis and interpretation of a drama Dzień świra (Day of the wacko) by Marek Koterski in the affective perspective. In this essay, the author proves that protagonist's behaviour
is determined by disgust. In the introduction author refers to some of theoretical conceptions of disgust (e.g. Darwin, Kant, Menninghaus, Rozin, Haidt and McCauley). Subsequently, the author describes the character of disgust in Dzień świra. According to the author, disgust is the effect of narcissistic personality of protagonist, the routine and protagonist's non-fulfillment. The author also discusses the influence of protagonist's mother on the shaping protagonist's character and his tendency to disgust. In conclusions, the author notices the correlation between repressed problems and emotions with disgust. As it turns out, the protagonist is not ready to confront with his problems and gain self-knowledge.ŁUKASZ WRÓBLEWSKI - absolwent filologii polskiej i kulturoznawstwa, doktorant w Katedrze Antropologii Literatury i Badań Kulturowych Wydziału Polonistyki UJ, stypendysta Ministra Nauki i Szkolnictwa Wyższego. Zajmuje się badaniem tekstów kultury w perspektywie afektywnej i antropologiczno kulturowej. Publikował m. in. w "Tekstach Drugich", "Postscriptum Polonistycznym" , "Przeglądzie Humanistycznym" , "Stanie Rzeczy", "Masce" oraz tomach zbiorowych. Jest autorem książki Masłowska: opowieść o wstręcie (2016) i współredaktorem monografii Rozkosz w kulturze (2016), W kulturze dotyku? Dotyk i jego reprezentacje w tekstach kultury (2016) oraz Nagość w kulturze (2017).Uniwersytet Jagielloński27328
Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing
No full textWe present a machine-checked correctness proof for information flow noninterference based on interprocedural slicing. It reuses a correctness proof of the context-sensitive interprocedural slicing algorithm of Horwitz, Reps, and Binkley. The underlying slicing framework is modular in the programming language used; by instantiating this framework the correctness proofs hold for the respective language, without reproving anything in the correctness proofs for slicing and noninterference. We present instantiations with two different languages to show the applicability of the framework, and thus a verified noninterference algorithm for these languages. The formalization and proofs are conducted in the proof assistant Isabelle/HOL.</jats:p
Proving information flow noninterference by reusing a machinechecked correctness proof for slicing
No full textWe present a machine-checked correctness proof for information flow noninterference based on interprocedural slicing. It reuses a correctness proof of the context-sensitive interprocedural slicing algorithm of Horwitz, Reps, and Binkley. The underlying slicing framework is modular in the pro-gramming language used; by instantiating this framework the correctness proofs hold for the respec-tive language, without reproving anything in the correctness proofs for slicing and noninterference. We present instantiations with two different languages to show the applicability of the framework, and thus a verified noninterference algorithm for these languages. The formalization and proofs are conducted in the proof assistant Isabelle/HOL.
The role of spontaneous lipid curvature in the interaction of interfacially active peptides with membranes
No full textAbstractResearch on antimicrobial peptides is in part driven by urgent medical needs such as the steady increase in pathogens being resistant to antibiotics. Despite the wealth of information compelling structure–function relationships are still scarce and thus the interfacial activity model has been proposed to bridge this gap. This model also applies to other interfacially active (membrane active) peptides such as cytolytic, cell penetrating or antitumor peptides. One parameter that is strongly linked to interfacial activity is the spontaneous lipid curvature, which is experimentally directly accessible. We discuss different parameters such as H-bonding, electrostatic repulsion, changes in monolayer surface area and lateral pressure that affect induction of membrane curvature, but also vice versa how membrane curvature triggers peptide response. In addition, the impact of membrane lipid composition on the formation of curved membrane structures and its relevance for diverse mode of action of interfacially active peptides and in turn biological activity are described. This article is part of a Special Issue entitled: Interfacially Active Peptides and Proteins. Guest Editors: William C. Wimley and Kalina Hristova
- …
