cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: O genezie umowy składu w kodeksie cywilnym z 1964 r.
Creators: name: Dolata, Tomasz
Publisher: name: E-Wydawnictwo. Prawnicza i Ekonomiczna Biblioteka Cyfrowa. Wydział Prawa, Administracji i Ekonomii Uniwersytetu Wrocławskiego
Year: 2021

description: Umowa składu pojawiła się w rodzimym (polskim) porządku prawnym już w rozporządzeniu Prezydenta Rzeczypospolitej z 1924 r. o prawie o domach składowych, a następnie w kodeksie handlowym z 1934 r. Po uchyleniu stosowania tego kodeksu umowa składu znalazła się i pozostaje jako jedna z umów nazwanych w księdze zobowiązań kodeksu cywilnego z 1964 r. Artykuł traktuje przede wszystkim o okolicznościach i uwarunkowaniach wprowadzenia umowy składu do polskiego kodeksu cywilnego. Doszło do tego dzięki staraniom specjalisty w zakresie prawa przewozowego – doc. dr. Władysława Górskiego, który poproszony został przez Komisję Kodyfikacyjną o stworzenie projektu uregulowania umowy przewozu i spedycji (zwanej wówczas ekspedycją). Uczony rozszerzył swój projekt o umowę składu i potrafił tak uzasadnić swoje wywody, że przekonał członków Zespołu Prawa Cywilnego Materialnego Komisji Kodyfikacyjnej, którzy przychylili się do jego argumentacji.
Minting Mechanisms for (PoS) Blockchains
Creators: name: Deuber, Dominic
name: Döttling, Nico
name: Magri, Bernardo
name: Malavolta, Giulio
name: Thyagarajan, Sri Aravinda Krishnan
Publisher: name: CISPA
Year: 2023

description: Permissionless blockchain systems, such as Bitcoin, rely on users using their computational power to solve a puzzle in order to achieve a consensus. To incentivise users in maintaining the system, newly minted coins are assigned to the user who solves this puzzle. A hardware race that has hence ensued among the users, has had a detrimental impact on the environment, with enormous energy consumption and increased global carbon footprint. On the other hand, proof of stake systems incentivise coin hoarding as players maximise their utility by holding their stakes. As a result, existing cryptocurrencies do not mimic the day-to-day usability of a fiat currency, but are rather regarded as crypto-assets or investment vectors. In this work we initiate the study of minting mechanisms in cryptocurrencies as a primitive on its own right, and as a solution to prevent coin hoarding we propose a novel minting mechanism based on waiting-time first-price auctions. Our main technical tool is a protocol to run an auction over any blockchain. Moreover, our protocol is the first to securely implement an auction without requiring a semi-trusted party, i.e., where every miner in the network is a potential bidder. Our approach is generically applicable and we show that it is incentive-compatible with the underlying blockchain, i.e., the best strategy for a player is to behave honestly. Our proof-of-concept implementation shows that our system is efficient and scales to tens of thousands of bidders.
Self force via $m$-mode regularization and 2+1D evolution: II. Scalar-field implementation on Kerr spacetime
Creators: name: Dolan, Sam R.
name: Wardell, Barry
name: Barack, Leor
Publisher: name: arXiv
Year: 2011
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: This is the second in a series of papers aimed at developing a practical time-domain method for self-force calculations in Kerr spacetime. The key elements of the method are (i) removal of a singular part of the perturbation field with a suitable analytic "puncture" based on the Detweiler--Whiting decomposition, (ii) decomposition of the perturbation equations in azimuthal ($m$-)modes, taking advantage of the axial symmetry of the Kerr background, (iii) numerical evolution of the individual $m$-modes in 2+1-dimensions with a finite difference scheme, and (iv) reconstruction of the physical self-force from the mode sum. Here we report an implementation of the method to compute the scalar-field self-force along circular equatorial geodesic orbits around a Kerr black hole. This constitutes a first time-domain computation of the self force in Kerr geometry. Our time-domain code reproduces the results of a recent frequency-domain calculation by Warburton and Barack, but has the added advantage of being readily adaptable to include the back-reaction from the self force in a self-consistent manner. In a forthcoming paper---the third in the series---we apply our method to the gravitational self-force (in the Lorenz gauge).
description: 30 pages, 5 figures, 3 tables. To match published version
Additional file 2: of Thrombopoietin knock-in augments platelet generation from human embryonic stem cells
Creators: name: Zhang, Leisheng
name: Liu, Cuicui
name: Wang, Hongtao
name: Wu, Dan
name: Su, Pei
name: Wang, Mengge
name: Guo, Jiaojiao
name: Zhao, Shixuan
name: Dong, Shuxu
name: Zhou, Wen
name: Arakaki, Cameron
name: Zhang, Xiaobing
name: Zhou, Jiaxi
Publisher: name: figshare
Year: 2018
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Developmental Biology
subject: Hematology

description: Figure S1. Identification of TPO-KI H1 hESCs by flow cytometer analysis of GFP+ population, agarose gel electrophoresis of amplified PCR products, qRT-PCR and western blotting analysis of pluripotency markers, or imaging analysis of teratoma. (PDF 201 kb)
Manipulating scale-dependent perception of images
Creators: name: Trentacoste, Matthew Michael
Publisher: name: University of British Columbia
Year: 2011

description: The purpose of most images is to effectively convey information. Implicit in this assumption is the fact that the recipient of that information is a human observer, with a visual system responsible for converting raw sensory inputs into the perceived appearance. The appearance of an image not only depends on the image itself, but the conditions under which it is viewed as well as the response of human visual system to those inputs. This thesis examines the scale-dependent nature of image appearance, where the same stimulus can appear different when viewed at varying scales, that arises from the mechanisms responsible for processing spatial vision in the brain. In particular, this work investigates changes in the perception of blur and contrast resulting from the image being represented by different portions of the viewer's visual system due to changes in image scale. These methods take inspiration from the fundamental organization of spatial image perception into multiple parallel channels for processing visual information and employ models of human spatial vision to more accurately control the appearance of images under changing viewing conditions. The result is a series of methods for understanding the blur and contrast present in images and manipulating the appearance of those qualities in a perceptually-meaningful way.
De la escrituridad didáctica a la grabación sonora. Panorama metateórico e historiográfico de diálogos ELE
Creators: name: Arribas, Nieves
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/01 Glottologia e linguistica

description: Linguistic communication through printed texts is asynchronous – lacking a biunivocal and reciprocal temporal correspondence between sender and receiver – and this is especially relevant in the case of dialogues designed to teach foreign languages. Imitating oral speech in written texts historically constitutes a whole discursive, prototypical yet not exclusive tradition of literary creation. Within the broad variational continuum of textual genres with written dialogues, those belonging to the field of Spanish as a Foreign Language face an added difficulty in their mimesis of spoken language: reproducing speech samples in linguistic diasystems that are different from those of the native language of the receiver. At the end of the 19th century, the importance of oral speech was emphasised in linguistics; however, it was only later that the diamesic aspects of speech were distinguished from the conceptual ones. Without claiming to expose anything novel, the origin of this unbroken teaching tradition will be outlined in order to analyse what samples of conversationality were created particularly for Italian-speaking Spanish learners from the end of the 19th century until the emergence of sound recording at the beginning of the 20th century, what type of “written spoken language” or “written orality” (“escritur(al)idad”, writtenness)2 tried to account, at least in part, for expressions belonging to an informal and relaxed conversation, and what linguistic theories supported the evolution of this variational continuum.
АНТРОПОНИМЫ И ТОПОНИМЫ В ТЕКСТАХ СТАТЕЙНЫХ СПИСКОВ РОССИЙСКИХ ПОСЛАННИКОВ В СРЕДНЮЮ АЗИЮ В XVII В.
Creators: name: Шарипова, Малохат
Publisher: name: Zenodo
Year: 2025

description: Статья посвящена особенностям употребления антропонимов и топонимов восточного происхождения в текстах статейных списков российских посланников в Среднюю Азию в XVII веке. На фактическом материале показаны их произношение и написание в русском языке.
Aproximación universitaria decimonónica al estudio de la lengua española Egidio Gorra (1898), Lingua e letteratura spagnuola delle origini, Milán, Hoepli
Creators: name: Lombardini, Hugo. E.
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: In 1832, Bachi published a work that is considered the first university grammar book of Spanish for learners of Italian, who were not Italian native speakers. It was dedicated to students of Harvard University (USA). As far as Italian is concerned – although there are some other previous texts (Spagnolo de Monaci and D'Ovidio 1879) – Egidio Gorra’s work (Lingua e letteratura spagnuola delle origini), published by Hoepli in Milan (1898), constitutes the first historical grammar book specifically dedicated to a higher-education audience. It is a work intended for students of the Faculty of Letters of the University of Pavia, which includes many of the typical features of a university textbook. The purpose of the paper is to consider this characterization in light of previous Spanish grammars for Italian speakers, highlighting those elements that distinguish it as a university textbook.
Salinibacter pepae sp. nov., Salinibacter abyssi sp. nov., and Salinibacter pampae sp. nov.
Creators: name: Viver, Tomeu
Publisher: name: SeqCode Registry
Year: 2023

description: Taxonomic classification of Sal. pepae sp. nov., Sal. pampae sp. nov. and Sal. abyssi sp. nov.
Pion-photon transition form factor using light-cone sum rules: theoretical results, expectations, and a global-data fit
Creators: name: Bakulev, A. P.
name: Mikhailov, S. V.
name: Pimikov, A. V.
name: Stefanis, N. G.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A global fit to the data from different collaborations (CELLO, CLEO, BaBar) on the pion-photon transition form factor is carried out using light-cone sum rules. The analysis includes the next-to-leading QCD radiative corrections and the twist-four contributions, while the main next-to-next-to-leading term and the twist-six contribution are taken into account in the form of theoretical uncertainties. We use the information extracted from the data to investigate the pivotal characteristics of the pion distribution amplitude. This is done by dividing the data into two sets: one containing all data up to 9 GeV$^2$, whereas the other incorporates also the high-$Q^2$ tail of the BaBar data. We find that it is not possible to accommodate into the fit these BaBar data points with the same accuracy and conclude that it is difficult to explain these data in the standard scheme of OCD.
description: 8pages, 6 Figures, 2 Tables. Talk presented by the second and third authors at the 5th joint International HADRON STRUCTURE '11 Conference, Tatranska Strba (Slovak Republic),June 27--July 1, 2011.v2 minor corrections, 3 references are added
Verifiable Timed Signatures Made Practical
Creators: name: Thyagarajan, Sri Aravinda Krishnan
name: Bhat, Adithya
name: Malavolta, Giulio
name: Nico, Döttling
name: Kate, Aniket
name: Schröder, Dominique
Publisher: name: CISPA
Year: 2023

description: A verifiable timed signature (VTS) scheme allows one to time-lock a signature on a known message for a given amount of time T such that after performing a sequential computation for time T anyone can extract s from the time-lock. Verifiability ensures that anyone can publicly check if a time-lock contains a valid signature on m without solving it first, and that the signature can be obtained by solving the same for time T. This work formalizes VTS, presents efficient constructions compatible with BLS, Schnorr, and ECDSA signatures, and experimentally demonstrates that (unlike the predecessors) our constructions can be employed in practice. On a technical level, we design an efficient cut-and-choose protocol based on the recently proposed homomorphic time-lock puzzles to prove the validity of a signature encapsulated in a time-lock puzzle. We also present a new efficient range proof protocol that significantly improves upon existing proposals in terms of the proof size, and is of independent interest. VTS is a versatile tool with numerous existing applications. In this work, we demonstrate VTS’s applicability to resolve three challenging issues in the space of cryptocurrencies. Specifically, we show how VTS is the cryptographic cornerstone to construct: (i) Payment channel networks with improved on-chain unlinkability of users involved in a transaction, (ii) multi-party signing of transactions for cryptocurrencies without any on-chain notion of time and (iii) cryptocurrency-enabled fair multi-party computation protocol.
title: Odpowiedzialność karna w spółce z ograniczoną odpowiedzialnością na podstawie polskiego kodeksu handlowego z 1934 roku
Creators: name: Pasek, Andrzej
Publisher: name: E-Wydawnictwo. Prawnicza i Ekonomiczna Biblioteka Cyfrowa. Wydział Prawa, Administracji i Ekonomii Uniwersytetu Wrocławskiego
Year: 2021

description: Opracowanie zawiera analizę stanów faktycznych przestępstw zawartych w Dziale IX Księgi pierwszej polskiego kodeksu handlowego z 1934 r. Omówione zostały kolejno: działanie na szkodę spółki z ograniczoną odpowiedzialnością, niezgłoszenie upadłości, ogłoszenie albo przedstawienie nieprawdziwych danych, dopuszczenie do nabycia przez spółkę własnych udziałów lub brania ich w zastaw, dopuszczenie do wydania przez spółkę dokumentów na okaziciela lub na zlecenie oraz delikty członków zarządu i likwidatorów. Wykazano, że zostały one skonstruowane w sposób przejrzysty i syntetyczny oraz zwięźle zredagowane. Ich celem było dodatkowe wzmocnienie sankcją karną prawidłowego wykonywania obowiązków różnych podmiotów w ramach funkcjonowania spółki z ograniczoną odpowiedzialnością, a w konsekwencji jak najlepsza ochrona obrotu gospodarczego.
Innovation, Prescription and Pedagogy Which English is presented in English language teaching materials published in Italy in the late nineteenth/early twentieth centuries?
Creators: name: Nava, Andrea
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: The analysis of language teaching materials does not only provide tangible evidence of the implementation of methods but may also yield important information about the type and nature of language that has acted as input and normative reference for language learners in different contexts and different times. Previous research into ELT (English language teaching) materials as sources of information about English language norms and usage has almost exclusively targeted materials aimed at native English speakers. This article shifts the focus on to ELT materials aimed at learners of English as a foreign language, in particular Italian learners of English. The study is based on two highly successful ELT textbooks published in Italy between the second half of the 19th and the first few decades of the 20th centuries. Through a grammaticological investigation, the study seeks to provide a picture of the kind of English that is presented in historical Italian ELT materials, focusing in particular on how these materials evaluate syntactic changes occurring in English at the end of the 19th and into the 20th centuries.
Imparare la “seconda madrelingua” Il tedesco a Milano nella Scuola Germanica Istituto Giulia (1925-1993)
Creators: name: Spazzali, Paola
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: Between 1925 and 1993, the Istituto Giulia played an important role for German learning in Milan. Since it was founded and run by German nuns, German was a vehicular language from kindergarten to high school diploma and was taught as if it were the mother tongue. Most pupils being Italian, there were didactic problems partly solved with targeted strategies, especially at the nursery school and in the first primary classes, partly by relying on the initiative of individual teachers. Based on the material of the Congregation’s private archives and on the testimonies of teachers and students, this paper highlights some aspects of the teaching of German.
title: Development potential of a biogas CHP plant near city of Zagreb
Creators: name: Boričević, Maria Magdalena
Publisher: name: TU Wien
Year: 2024
Subjects: subject: Zagreb
subject: Renewable Energy
subject: Greenhouse Gas Emissions
subject: Biogas Power Plant
subject: Cost-effectiveness

description: The city of Zagreb is the capital of the Republic of Croatia and is, therefore, the most interesting area for energy. A little less than 1 million people live inside the city, and there are large production and industries in its surroundings.Like the entire planet, the city of Zagreb and the Republic of Croatia are working to reduce Greenhouse Gas Emissions, and the best way to do this is through renewable energy sources.Although there are increasingly small, private investments in renewable energy sources, larger projects that would cover a larger number of households must be considered.This thesis aims to investigate the potential and cost-effectiveness of building a biogas power plant near Zagreb and examine all their possibilities.
Additional file 2 of Effect of recombinant LH supplementation timing on clinical pregnancy outcome in long-acting GnRHa downregulated cycles
Creators: name: Huang, Chenyang
name: Shen, Xiaoyue
name: Mei, Jie
name: Sun, Yanxin
name: Sun, Haixiang
name: Xing, Jun
Publisher: name: figshare
Year: 2022
Subjects: Medicine
Cell Biology
Biotechnology
Biological Sciences not elsewhere classified
Mathematical Sciences not elsewhere classified
Developmental Biology
Science Policy

description: Additional file 2: Table S1. Comparison of different LH afterGnRHa.
Il Circolo Filologico Milanese e lo studio delle lingue (1904-1918)
Creators: name: Calvi, Maria Vittoria
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: This paper aims to focus, from a glottodidactic point of view, on some organizational and methodological aspects related to the foreign language courses offered by the Circolo Filologico Milanese, which was the first Milanese cultural institution open to all citizens in the 19th century. To do this, a number of documents related to the period 1904-1918, which were collected at the Institution’s Archives, will be analysed.
Thermal spin pumping mediated by magnon in the semiclassical regime
Creators: name: Nakata, Kouki
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We microscopically analyze thermal spin pumping mediated by magnons, at the interface between a ferromagnetic insulator and a non-magnetic metal, in the semiclassical regime. The generation of a spin current is discussed by calculating the thermal spin transfer torque, which breaks the spin conservation law for conduction electrons and operates the coherent magnon state. Inhomogeneous thermal fluctuations between conduction electrons and magnons induce a net spin current, which is pumped into the adjacent non-magnetic metal. The pumped spin current is proportional to the temperature difference. When the effective temperature of magnons is lower than that of conduction electrons, localized spins lose spin angular momentum by emitting magnons and conduction electrons flip from down to up by absorbing all the emitted momentum, and vice versa. Magnons at the zero mode cannot contribute to thermal spin pumping because they are eliminated by the spin-flip condition. Consequently thermal spin pumping does not cost any kinds of applied magnetic fields. We have discussed the distinction from the theory proposed by Xiao et al. [Phys. Rev. B, 81 (2010) 214418], Adachi et al. [Phys. Rev. B, 83 (2011) 094410], and Bender et al. [arXiv:1111.2382].
description: 14 pages, 3 figures. We would like to thank the referee for suggesting to emphasize (clarify) the distinction from the recent preprint by Bender et al. [arXiv:1111.2382]. v2; Fig. 3 is available at the URL specified in this document. We would like to thank S. A. Bender for giving the detailed explanation for their work. arXiv admin note: substantial text overlap with arXiv:1201.1947
IReEn: Iterative Reverse-Engineering of Black-Box Functions via Neural Program Synthesis
Creators: name: Hajipour, Hossein
name: Malinowski, Mateusz
name: Fritz, Mario
Publisher: name: CISPA
Year: 2023

description: In this work, we investigate the problem of revealing the functionality of a black-box agent. Notably, we are interested in the interpretable and formal description of the behavior of such an agent. Ideally, this description would take the form of a program written in a high-level language. This task is also known as reverse engineering and plays a pivotal role in software engineering, computer security, but also most recently in interpretability. In contrast to prior work, we do not rely on privileged information on the black box, but rather investigate the problem under a weaker assumption of having only access to inputs and outputs of the program. We approach this problem by iteratively refining a candidate set using a generative neural program synthesis approach until we arrive at a functionally equivalent program. We assess the performance of our approach on the Karel dataset. Our results show that the proposed approach outperforms the state-of-the-art on this challenge by finding a functional equivalent program in 78% of cases -- even exceeding prior work that had privileged information on the black-box.
Status and experimental test for the ILC positron source
Creators: name: Riemann, Sabine
name: Dietrich, Felix
name: Moortgat-Pick, Gudrid
name: Ushakov, Andriy
name: Aulenbacher
name: Heidrich, Steffen
name: Heil, Philipp
name: Tamashevich, Yegor
Publisher: name: Deutsches Elektronen-Synchrotron, DESY, Hamburg
Year: 2018

description: 12th Annual Helmholtz Alliance Workshop on "Physics at the Terascale", Hamburg, Germany, 26 Nov 2018 - 28 Nov 2018
Censura e controcensura. I testi didattici inglesi nella scuola secondaria tra ideologia fascista e defascistizzazione
Creators: name: Khalaf, Omar
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: This essay proposes a preliminary investigation of the control measures that the fascist government in Italy and, just after the Liberation, the Allied Military Government Education Sub-commission took upon over the educative tools employed for the teaching and the study of the English language in secondary schools. The authors and editors reacted differently: some followed the Ministry’s provision and published an emended edition, others decided to interrupt the publication of the book. This study focuses on a selection of English schoolbooks that underwent the pre- and post-fascist control. The anthology Letture inglesi by Guido Fornelli, which was not republished despite the very limited number of pages censored by the Commission, and Achille Sardo’s Cento lezioni pratiche di inglese, which survived to both censorships.
Zero bias anomaly in a two dimensional granular insulator
Creators: name: Ossi, Netanel
name: Bitton, Liora
name: Gutman, Dmitri B.
name: Frydman, A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We compare tunneling density of states (TDOS) into two ultrathin Ag films, one uniform and one granular, for different degrees of disorder. The uniform film shows a crossover from Altshuler-Aronov (AA) zero bias anomaly to Efros Shklovskii (ES) like Coulomb gap as the disorder is increased. The granular film, on the other hand, exhibits AA behavior even deeply in the insulating regime. We analyze the data and find that granularity introduces a new regime for the TDOS. While the conductivity is dominated by hopping between clusters of grains and is thus insulating, the TDOS probes the properties of an individual cluster which is "metallic".
description: 4 pages, 4 figures
Studiare tedesco nel secondo dopoguerra (1945-1960). Analisi di alcuni manuali per la scuola secondaria
Creators: name: Murelli, Adriano
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: In this paper four German textbooks addressed to Italian secondary school students and published between 1945 and 1960 are examined. Three parameters of analysis are considered: structure, method, syllabus. After comparing the textbooks, the issue of the status of post-WWII textbooks from today’s perspective will be discussed.
TrollThrottle --- Raising the Cost of Astroturfing
Creators: name: Esiyok, Ilkan
name: Hanzlik, Lucjan
name: Künnemann, Robert
name: Budde, Lena Marie
name: Backes, Michael
Publisher: name: CISPA
Year: 2023

description: Astroturfing, i.e., the fabrication of public discourse by private or state-controlled sponsors via the creation of fake online accounts, has become incredibly widespread in recent years. It gives a disproportionally strong voice to wealthy and technology-savvy actors, permits targeted attacks on public forums and could in the long run harm the trust users have in the internet as a communication platform. Countering these efforts without deanonymising the participants has not yet proven effective; however, we can raise the cost of astroturfing. Following the principle `one person, one voice', we introduce Trollthrottle, a protocol that limits the number of comments a single person can post on participating websites. Using direct anonymous attestation and a public ledger, the user is free to choose any nickname, but the number of comments is aggregated over all posts on all websites, no matter which nickname was used. We demonstrate the deployability of Trollthrottle by retrofitting it to the popular news aggregator website Reddit and by evaluating the cost of deployment for the scenario of a national newspaper (168k comments per day), an international newspaper (268k c/d) and Reddit itself (4.9M c/d).
Plausible cloth wrinkling for captured mesh sequences
Creators: name: Chen, Xi
Publisher: name: University of British Columbia
Year: 2011

description: Cloth modeling has become an important research topic in computer graphics, as garments are ubiquitous in virtual environments used in movies or games. While recent studies can successfully capture the general shape of cloth as well as a continuous cloth motion, they usually lose high frequency details such as wrinkles or folds. This work provides a method of recovering high frequency details for captured cloth animation sequences without any aids of additional information. The method analyzes the stretch/shrinkage tensor fields in 4D space-time domain for the original cloth animation sequences. Based on the assumption of cloth developability, the stretch/shrinkage information is utilized to recover fold shapes and directions. Finally, a space-time consistent deformation method is applied to recover the high frequency folds. The work is generally applicable to most of the cloth capture methods applied either on scanned point clouds or video sequences.
Leading Relativistic Corrections to the Kompaneets Equation
Creators: name: Brown, Lowell S.
name: Preston, Dean L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: We calculate the first relativistic corrections to the Kompaneets equation for the evolution of the photon frequency distribution brought about by Compton scattering. The Lorentz invariant Boltzmann equation for electron-photon scattering is first specialized to isotropic electron and photon distributions, the squared scattering amplitude and the energy-momentum conserving delta function are each expanded to order v^/c^4, averages over the directions of the electron and photon momenta are then carried out, and finally an integration over the photon energy yields our Fokker- Planck equation. The Kompaneets equation, which involves only first- and second-order derivatives with respect to the photon energy, results from the order v^2/c^2 terms, while the first relativistic corrections of order v^4/c^4 introduce third- and fourth-order derivatives. We emphasize that our result holds when neither the electrons nor the photons are in thermal equilibrium; two effective temperatures characterize a general, non-thermal electron distribution. When the electrons are in thermal equilibrium our relativistic Fokker-Planck equation is in complete agreement with the most recent published results, but we both disagree with older work.
description: 18 pages. New version corrects comments on other work that was incorrect; additional reference provided
Turbulence and structure formation in complex plasmas and fluids
Creators: name: Kendl, Alexander
Publisher: name: arXiv
Year: 2012
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: The formation and evolution of nonlinear and turbulent dynamical structures in two-dimensional complex plasmas and fluids is explored by means of generalised (drift) fluid simulations. Recent numerical results on turbulence in dusty magnetised plasmas, strongly coupled fluids, semi-classical ("quantum") plasmas and in rotating quantum fluids are reviewed and discussed.
PMForce: Systematically Analyzing PostMessage Handlers at Scale
Creators: name: Steffens, Marius
name: Stock, Ben
Publisher: name: CISPA
Year: 2023

description: The Web has become a platform in which sites rely on intricate interactions that span across the boundaries of origins. While the Same-Origin Policy prevents direct data exchange with documents from other origins, the postMessage API offers one relaxation that allows developers to exchange data across these boundaries. While prior manual analysis could show the presence of issues within postMessage handlers, unfortunately, a steep increase in postMessage usage makes any manual approach intractable.To deal with this increased work load, we set out to automatically find issues in postMessage handlers that allow an attacker to execute code in the vulnerable sites, alter client-side state, or leak sensitive information. To achieve this goal, we present an automated analysis framework running inside the browser, which uses selective forced execution paired with lightweight dynamic taint tracking to find traces in the analyzed handlers that end in sinks allowing for code-execution or state alterations. We use path constraints extracted from the program traces and augment them with Exploit Templates, i.e., additional constraints, ascertaining that a valid assignment that solves all these constraints produces a code-invoking or state-manipulating behavior. Based on these constraints, we use Z3 to generate postMessages aimed at triggering the insecure functionality to prove exploitability, and validate our findings at scale. We use this framework to conduct the most comprehensive experiment studying the security issues of postMessage handlers found throughout the top 100,000 most influential sites yet, which allows us to find potentially exploitable data flows in 252 unique handlers out of which 111 were automatically exploitable.
Imparare l’inglese e altre lingue straniere a Varese nel secondo dopoguerra. Domenico Bulferetti e l’Ateneo Prealpino
Creators: name: Vicentini, Alessandra
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: This contribution aims to highlight, through archival research, how foreign languages were taught and learnt at the Ateneo Prealpino (Eng. transl. Prealpine Athenaeum) in Varese, Italy. It looks at the teachers’ curricula and work experience, the students’ background and expectations and, finally, the texts (i.e. grammar books and other didactic material) and the glottodidactic methods, which were employed to teach foreign languages (especially English). The essay also describes the various educational and cultural activities that were organized at the institution, thanks to its founder, Domenico Bulferetti, an anti-fascist scholar and a former pupil of Pascoli, whose personal and professional story intertwined with the cultural, social and economic development of Varese, the ‘garden city’ in northern Italy, between the end of WWII and the 1970s.
Reconstruction of Planar Domains from Partial Integral Measurements
Creators: name: Batenkov, Dmitry
name: Golubyatnikov, Vladimir
name: Yomdin, Yosef
Publisher: name: arXiv
Year: 2012
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 44A60 (Primary) 34A55 (Secondary)

description: We consider the problem of reconstruction of planar domains from their moments. Specifically, we consider domains with boundary which can be represented by a union of a finite number of pieces whose graphs are solutions of a linear differential equation with polynomial coefficients. This includes domains with piecewise-algebraic and, in particular, piecewise-polynomial boundaries. Our approach is based on one-dimensional reconstruction method of [Bat]* and a kind of "separation of variables" which reduces the planar problem to two one-dimensional problems, one of them parametric. Several explicit examples of reconstruction are given. Another main topic of the paper concerns "invisible sets" for various types of incomplete moment measurements. We suggest a certain point of view which stresses remarkable similarity between several apparently unrelated problems. In particular, we discuss zero quadrature domains (invisible for harmonic polynomials), invisibility for powers of a given polynomial, and invisibility for complex moments (Wermer's theorem and further developments). The common property we would like to stress is a "rigidity" and symmetry of the invisible objects. * D.Batenkov, Moment inversion of piecewise D-finite functions, Inverse Problems 25 (2009) 105001
description: Proceedings of Complex Analysis and Dynamical Systems V, 2012
Padding Ain't Enough: Assessing the Privacy Guarantees of Encrypted DNS
Creators: name: Bushart, Jonas
name: Rossow, Christian
Publisher: name: CISPA
Year: 2023

description: DNS over TLS (DoT) and DNS over HTTPS (DoH) encrypt DNS to guard user privacy by hiding DNS resolutions from passive adversaries. Yet, past attacks have shown that encrypted DNS is still sensitive to traffic analysis. As a consequence, RFC 8467 proposes to pad messages prior to encryption, which heavily reduces the characteristics of encrypted traffic. In this paper, we show that padding alone is insufficient to counter DNS traffic analysis. We propose a novel traffic analysis method that combines size and timing information to infer the websites a user visits purely based on encrypted and padded DNS traces. To this end, we model DNS Sequences that capture the complexity of websites that usually trigger dozens of DNS resolutions instead of just a single DNS transaction. A closed world evaluation based on the Tranco top-10k websites reveals that attackers can deanonymize test traces for 86.1 % of all websites, and even correctly label all traces for 65.9 % of the websites. Our findings undermine the privacy goals of state-of-the-art message padding strategies in DoT/DoH. We conclude by showing that successful mitigations to such attacks have to remove the entropy of inter-arrival timings between query responses.
Appunti bibliografici sulla storia dell’insegnamento delle lingue straniere nell’Università italiana
Creators: name: San Vicente, Félix
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: In the recent development of linguistic historiography, the interest in foreign and second languages has developed considerably as regards the materials used to describe and learn/teach them, such as dictionaries, grammars, textbooks and other resources that have spread throughout Europe since the Renaissance. The nationalization of public education in Italy since the Unity represented an important turning point for their study, in the entire school system in the first place, and then in the universities, in which they made their way between literary and philological teachings up to the seventies of the last century, when linguistic teachings began to strengthen themselves through the creation of first and second level university chairs all over the country. The bibliography presented and commented in this study reflects these different issues and, in particular, the strong attempt made by linguists at the end of the last century to adapt university language teachings to the identity of the different faculties and the new methods of teaching.
L’impronta Garzanti nei dizionari di francese. Norma e uso nelle edizioni del 1966 e del 1992
Creators: name: Barsi, Monica
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2019
Subjects: L-LIN/02 Didattica delle lingue moderne

description: The dictionaries published by Garzanti under the direction of Livio Garzanti between 1952 and 1995 are part of an ambitious project aimed at disseminating knowledge. This includes a series of works belonging to the section Grandi Opere, which were inspired by Anglo-Saxon publishing models. The first edition of the major French-Italian bilingual dictionary (1966) represents a new editorial product, which leaves behind the past era of repertoires such as the Dizionario di francese by Carlo Boselli, already included in the Treves catalogue and republished by Aldo Garzanti. The 1966 edition’s numerous reprints testify to its success, which will be echoed by the brand even in the transition to other publishing houses. This contribution investigates the peculiar relationship between norm and usage, that is that balance between prescription in production and description in reception constantly sought in the teaching of foreign languages. In this sense, the French-Italian dictionaries which were published by Garzanti when French moved from playing a predominant to a minor role after English are concerned with the publishing house’s attention to linguistic varieties nourished by the force of usage within increasingly wider social and geographical contexts.
Exchanging experiences on modal interchange policies to foster a low-carbon urban mobility. The match-up methodology
Creators: name: Conticelli, Elisa
name: Saavedra Rosas, Paula Isabella
name: Tondelli, Simona
Publisher: name: Alma Mater Studiorum - Università di Bologna
Year: 2020
Subjects: ICAR/05 Trasporti
ICAR/20 Tecnica e pianificazione urbanistica

description: This e-book aims at describing in detail the learning process developed within MATCH-UP to stimulate the exchange of experience mainly at interregional and local levels. It can be a useful reference for those who are interested in establishing an exchange of experience process among peers that are dealing with the same topics and co-designing effective and tailored solutions at local level with the active involvement of the local Stakeholders who are key players for achieving good results.
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Creators: name: Baumeister, Jan
name: Finkbeiner, Bernd
name: Schirmer, Sebastian
name: Schwenger, Maximilian
name: Torens, Christoph
Publisher: name: CISPA
Year: 2023

description: The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system.
Search for associated Higgs boson production using like charge dilepton events in ppbar collisions at sqrt{s} = 1.96 TeV
Creators: name: D0 Collaboration
name: Abazov, V. M.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We present a search for associated Higgs boson production in the process pbar -> W/ZH -> l\pml'\pm + X in ee, eμ, and μμ final states. The search is based on data collected by the D0 experiment at the Fermilab Tevatron Collider at sqrt{s} = 1.96 TeV corresponding to 5.3 fb-1 of integrated luminosity. We require two isolated leptons (electrons or muons) with the same electric charge and additional kinematic requirements. No significant excess above background is observed, and we set 95% C.L. observed (expected) upper limits on ratio of the production cross section to the standard model expectation of 6.4 (7.3) for a Higgs boson mass of 165 GeV and 13.5 (19.8) for a mass of 115 GeV.
description: To be submitted to PRD
Measurement of the polarization observables I^s and I^c in the reaction γp -> p π^0 π^0 with the CBELSA/TAPS experiment
Creators: name: Sokhoyan, Vahe
Publisher: name: arXiv
Year: 2011
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: To unambiguously identify baryon resonances the measurement of polarization observables is of great importance. With the CBELSA/TAPS experiment, located at the ELSA accelerator facility in Bonn, polarization observables have been determined. Using a linearly polarized photon beam impinging on a liquid hydrogen target, the polarization observables I^s and I^c for the reaction γp -> p π^0 π^0 have been determined for the first time.
description: 4 pages, 3 figures. Proceedings for NSTAR 2011 conference
Synthesis and spectral characterization of naphtho<1,8-bc>thiophene and 3,4-disubstituted benz0[b]thiophene compounds
Creators: name: Irvine, Nicholas Martin
Publisher: name: University of Calgary
Year: 1992
Subjects: subject: Thiophene - Spectra
subject: Thiophene - Synthesis
subject: Organic cyclic compounds
subject: Ergot alkaloids

description: Bibliography: p. 183-191.
Fluorescent Determination of Mercury(II) and Glutathione with Binding to Thymine–Guanine Base Pairs
Creators: name: Zhang, Liyuan
name: Liu, Jinxiao
name: Gao, Mengying
name: Han, Li
name: Liu, Xueguo
name: Xing, Xiaojing
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Biophysics
subject: Biochemistry
subject: Physical Sciences not elsewhere classified
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: It has been demonstrated that thymine–guanine (T–G) mismatches in duplex DNA specifically coordinate with mercury ion (Hg2+), forming T–Hg2+–G base pairs. However, the binding performance of T–G mismatches with Hg2+ and its application in biosensors have been rarely reported so far. In this study, the binding between T–G mismatches and Hg2+ was investigated and efforts were made to systematical characterize the analytical performance of T–G mismatches in the determination of Hg2+ and glutathione (GSH), where the thymine–thymine (T–T) mismatches were used as the reference. In specific, Hg2+ induced the conformational change of the fluorescently labeled DNA (FDNA) consisted of seven T–T mismatches, resulting in the dissociation of FDNA with its complementary sequence labeled with a quencher, followed by the disappearance of the fluorescence resonance energy transfer (FRET). The experimental results suggest that the T–G mismatch showed faster signaling kinetics and high sensitivity in sensing Hg2+ with a limit of detection of 4.72 nM for Hg2+. Moreover, the platform based on the T–Hg2+–G structure was successfully applied to determine glutathione with a detection limit of 18.96 nM. These findings of this study may describe the interactions between Hg2+ and nucleobases and extend the applications of Hg2+–mediated base pairs.
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL
Creators: name: Finkbeiner, Bernd
name: Gieseking, Manuel
name: Hecking-Harbusch, Jesko
name: Olderog, Ernst-Rüdiger
Publisher: name: CISPA
Year: 2023

description: The correctness of networks is often described in terms of the individual data flow of components instead of their global behavior. In software-defined networks, it is far more convenient to specify the correct behavior of packets than the global behavior of the entire network. Petri nets with transits extend Petri nets and Flow-LTL extends LTL such that the data flows of tokens can be tracked. We present the tool AdamMC as the first model checker for Petri nets with transits against Flow-LTL. We describe how AdamMC can automatically encode concurrent updates of software-defined networks as Petri nets with transits and how common network specifications can be expressed in Flow-LTL. Underlying AdamMC is a reduction to a circuit model checking problem. We introduce a new reduction method that results in tremendous performance improvements compared to a previous prototype. Thereby, AdamMC can handle software-defined networks with up to 82 switches.