cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
РАЦИОНАЛЬНОЕ ИСПОЛЬЗОВАНИЕ ТЕХНОГЕННОГО СЫРЬЯ ГОК «ТУВААСБЕСТ»
Creators: name: Зырянова Вале Нтина Николаевна
name: Манзырыкчы Хере Лмаа Борисовна
name: Очур-Оол Арж Ана Петровна
Publisher: name: Вестник Тувинского государственного университета. Технические и физико-математические науки
Year: 2020
Subjects: вяжущие; прочность; серпен тинит; Ак-Дову ракское месторождение; магнез иальные вяжущие; серпент инитовый цемент; гипс овые вяжущие; дио ксид кремния «бе лая сажа»

description: В ста тье приведены резул ьтаты комплексной перер аботки промышленных отх одов ГОК «Туваа сбест» и созд ание инновационных техноло гических схем перер аботки минерального и техног енного сырья, кот орые были бы эффек тивны для разв ития строительного комп лекса региона. Индустр иальное развитие Респу блики Тыва в обоз римой перспективе дол жно базироваться на осво ении ее минер альных богатств, при соблюдении щадящего воздействия на природную среду. В то же время освоение минеральных ресурсов од ним из наиболее капиталоемких. В настоящее время в Рос сии наблюдается тенденция увеличения темпов роста капитального и жилищного строительства. В условиях Республики Тыва этот процесс сдерживается вследствие дороговизны привозных строительных материалов. В то же время на территории Республики Тува насчитывается более ста разве данных месторождений глин, из них 19 месторождения учтены балансом. Одновременно на территории республики накоплены значительные объемы техногенных отходов: золотисто-шлаковых отвалов ТЭЦ, отходов кобальтового и асбестового производства, которые по своему составу являются перспективным сыр ьем для полу чения строительных и композитных материалов. Среди них особую ценность представляют отходы обогащения асбеста, состоящие в основном из серпентинитов. На предприятии ОАО «Туваасбест» отобрана пр оба (1000 кг) серпентинита из отвалов производства. Да лее активированный серпентинит перерабатывали по разработанной технологической схеме. В результате переработки бы ли получены: ок сид магния ( MgO), диоксид кремния ( SiO2), гипс полутораводный ( CaSO4 1,5 H2O), Fe-Cr-Ni концентрат ( Fe-44%: Cr, Ni-5,6%), раствор натрия хлористого, комплексная переработка техногенного сырья может обесп ечить растущие потре бности республики и строит ельных отходов на окруж ающую среду.
Taraxacum
Creators: name: Uhlemann, Ingo
Publisher: name: Zenodo
Year: 2011
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Asterales
Asteraceae
Taraxacum

description: Taraxacum sect. Alpina
 Die in der subalpinen und alpinen Stufe der Alpen nicht seltene Sektion umfasst gegenwärtig etwa 30 im Artrang beschriebene Sippen, welche in den europäischen Hochgebirgen beheimatet sind. Vom Autor wurden davon bislang elf im Gebiet gefunden. Von diesen werden zwei (T. carinthiacum, T. parsennense) in die Synonymie verwiesen, T. senile (ehemals bei den Fontana eingereiht) in die Sektion Alpina gestellt und T. pseudofontanum (siehe S. 46) der Sektion Fontana zugeordnet.
Da diese Sektion hier noch nicht abschließend behandelt werden kann, wird auf einen Artenschlüssel verzichtet. Bedeutsam für die Identifikation der Arten sind vor allem die Blattgestalt, Blattstielflügelung, Berandung der äußeren Involukralblätter und Farbe der Griffeläste. Die Pollenpräsenz/-absenz wird in vielen bisherigen Schlüsseln als wichtiges Merkmal verwendet (z. B. SOEST 1969), weil leicht überprüfbar. Nach meiner Beobachtung hat dieses Merkmal in vielen Fällen jedoch nicht die ihm unterstellte Stabilität.
description: Published as part of Uhlemann, Ingo, 2011, Notizen zur Taraxacum-Flora Österreichs und Südtirols, pp. 27-53 in Neilreichia 6 on page 38, DOI: 10.5281/zenodo.303107
Supersymmetric BCS
Creators: name: Barranco, Alejandro
name: Russo, Jorge G.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Superconductivity (cond-mat.supr-con)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We implement relativistic BCS superconductivity in N=1 supersymmetric field theories with a U(1)_R symmetry. The simplest model contains two chiral superfields with a Kahler potential modified by quartic terms. We study the phase diagram of the gap as a function of the temperature and the specific heat. The superconducting phase transition turns out to be first order, due to the scalar contribution to the one-loop potential. By virtue of supersymmetry, the critical curves depend logarithmically with the UV cutoff, rather than quadratically as in standard BCS theory. We comment on the difficulties in having fermion condensates when the chemical potential is instead coupled to a baryonic U(1)_B current. We also discuss supersymmetric models of BCS with canonical Kahler potential constructed by "integrating-in" chiral superfields.
description: 26 pages, 5 figures
Computing holes in semi-groups and its applications to transportation problems
Creators: name: Hemmecke, Raymond
name: Takemura, Akimichi
name: Yoshida, Ruriko
Publisher: name: Faculty of Science, University of Calgary
Year: 2009

description: An integer feasibility problem is a fundamental problem in many areas, 

such as operations research, number theory, and statistics.

To study a family of systems with no nonnegative integer solution, we focus 

on a commutative semigroup generated by a finite 

set of vectors in $\Z^d$ and its saturation. In this paper

we present an algorithm to compute an explicit description for the

set of holes which is the difference of a semi-group $Q$ generated

by the vectors and its saturation. We apply our procedure

to compute an infinite family of holes for the

semi-group of the $3\times 4\times 6$ transportation problem. Furthermore,

we give an upper bound for the entries of the holes when the set of

holes is finite. Finally, we present an algorithm to find all $Q$-minimal

saturation points of $Q$.
description: Contributions to Discrete Mathematics, Vol 4, No 1 (2009)
ТРАНСПОРТИРОВКА БЕТОННОЙ СМЕСИ ПРИ МИНУСОВЫХ ТЕМПЕРАТУРАХ
Creators: name: Борбак-Оол Наадым Сылдысович
Publisher: name: Вестник Тувинского государственного университета. Технические и физико-математические науки
Year: 2020
Subjects: бетонная смесь; автобетоносмеситель; железобетонная конструкция; бетон; смесительное устройство; отрицательная температура; строительный сезон; импульсная обработка; электроразогрев

description: В данной статье предлагаются различные методы транспортировки готовой бетонной смеси к строительному объекту автобетоносмесителем при критически-экстремальных, минусовых температурах, а также круглогодичное возведение железобетонных конструкций, даже при отрицательной температуре окружающей среды с помощью химических добавок, и затвердевание бетонной смеси такими современными методами как высоковольтная импульсная обработка заливаемых бетонов; технология возведения малоэтажных зданий в несъемной теплоизоляционной опалубке; технология непрерывного разогрева бетонных смесей с использованием электроэнергии. На основе этих современных методов возведения зданий из бетонных материалов в северных холодных условиях окружающей среды, рекомендуются данные методы перемещения готовых смесей из бетона. Данные методы позволят повысить технические характеристики как универсальность и круглогодичную работу автобетоносмесителей.
Exorcising Spectres with secure compilers
Creators: name: Patrignani, Marco
name: Guarnieri, Marco
Publisher: name: CISPA
Year: 2023

description: Attackers can access sensitive information of programs by exploiting the side-effects of speculatively-executed instructions using Spectre attacks. To mitigate these attacks, popular compilers deployed a wide range of countermeasures whose security, however, has not been ascertained: while some are believed to be secure, others are known to be insecure and result in vulnerable programs. This paper develops formal foundations for reasoning about the security of these defenses. For this, it proposes a framework of secure compilation criteria that characterise when compilers produce code resistant against Spectre v1 attacks. With this framework, this paper performs a comprehensive security analysis of countermeasures against Spectre v1 attacks implemented in major compilers, deriving the first security proofs of said countermeasures.
МEТOДЫ OПРEДEЛEНИЯ CРOКOВ СЛУЖБЫ И ВЛИЯНИЯ КАПИТАЛЬНОГО РЕМОНТА НA ДOЛГOВEЧНOСТЬ CТPОИТEЛЬНЫX МAШИH
Creators: name: Бобобеков Орифджон Кобилович
Publisher: name: Вестник Тувинского государственного университета. Технические и физико-математические науки
Year: 2020
Subjects: период использования; капитальный ремонт; коэффициент готовности; дoлгoвeчнoсть; строительная техника

description: Важной задачей эксплуатации строительной техники является определение периода ее использования, при котором дорожно-эксплуатационное регулирование, привлекающее строительную технику в производство и несущее все связанные с ней расходы, сохраняет способность извлекать прибыль. Hезaвиcимo oт пeрвoнaчaльнoй cтoимoсти строительной техники, затруднения, связанные c ее техобслуживанием, a тaкжe упущeннoй выгoдой oт потенциального вклaдa этиx cрeдcтв в бoлeе выгодные активы, техника для ухода за дорогами остается в дорожно-эксплуатационном регулировании дo тeх пoр, пoкa указанные обременения в должной мeрe не кoмпeнcируютcя прибылью oт выполненной рaбoты. Существуют понятия максимального и приемлемого периодов использования. Максимальный период использования техники для ухода за дорогами подразумевает максимально возможную эффективность, а оптимальный – минимально возможную эффективность. Остаточный запас производственной силы до максимального периода использования выражается в маш-часах. Учет периода использования нужен для реализации необходимых для парка показателей техобслуживания техники для ухода за дорогами при заданных условиях его организации. Эти показатели могут быть техническими (производительность, объем выпущенной продукции), экономическими (затраты, издержки, доходы, окупаемость) и касающимися коэффициента готовности и количества простоев. Расcмoтpены главные элeмeнты дорожно-строительной техники, a тaкжe глaвныe этaпы периода ее использования. В статье также представлены существующие методы расчета приемлемого периода использования и показано влияние капитального ремонта на его продолжительность.
Accounting for spin fluctuations beyond LSDA in the density functional theory
Creators: name: Ortenzi, L.
name: Mazin, I. I.
name: Blaha, P.
name: Boeri, L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We present a method to correct the magnetic properties of itinerant systems in local spin density approximation (LSDA) and we apply it to the ferromagnetic-paramagnetic transition under pressure in a typical itinerant system, Ni$_{3}$Al. We obtain a scaling of the critical fluctuations as a function of pressure equivalent to the one obtained within Moryia's theory. Moreover we show that in this material the role of the bandstructure is crucial in driving the transition. Finally we calculate the magnetic moment as a function of pressure, and find that it gives a scaling of the Curie temperature that is in good agreement with the experiment. The method can be easily extended to the antiferromagnetic case and applied, for instance, to the Fe-pnictides in order to correct the LSDA magnetic moment.
description: 7 pages, 4 figures
Taraxacum helveticum Soest
Creators: name: Uhlemann, Ingo
Publisher: name: Zenodo
Year: 2011
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Asterales
Asteraceae
Taraxacum
Taraxacum helveticum

description: Taraxacum helveticum Soest,
Acta Bot. Neerl. 8 (2): 85 (1959) –
Abb. 7 A.
 Syn.: T. helveticum f. lobatum Soest, Acta Bot. Neerl. 8 (2): 86 (1959).
 Österreich, Kärnten: Hohe Tauern, Mallnitzer Tauern, Mallnitz, Mallnitzer Tauerntal, Weg zur Hagener Hütte, am Rande eines Baches, ca. 2100 m s.m., 27.8. 1998, leg. Uhlemann (Hb. DR, WU).
 Österreich, Tirol: Ötztal, am Gipfel der Hohen Mutt, 2700 m s.m., September 1957 (Hb. M 0027541). – Ötztaler Alpen, Rettenbachtal, Endpunkt der befahrenen Hochstraße westl. Sölden bis unterhalb des Gletschers am Pitztaler Löchl, südexponierter Hang zwischen Pölleskogel und Einzeiger, oberhalb 2784 m s.m., 3. 8. 1991, leg. Sander (Hb. Sander).
 Bei T. helveticum dürfte es sich wohl um die grazilste Art der Sektion Alpina handeln, die eine weite Verbreitung in den gesamten Alpen hat. Nahezu ganzrandige Laubblätter (selten etwas gelappt), grüne, ungeflügelte Blattstiele sowie Blütenkörbe mit sehr schmalen (1–2 mm breiten) äußeren Involukralblättern und fast schwarzen Griffelästen charakterisieren T. helveticum. In den vom Autor untersuchten Populationen in der Schweiz, Österreich und Italien finden sich häufig einzelne Individuen, zuweilen auch nur einzelne Laubblätter an einer Pflanze, welche sehr kurze, dreieckige Blattlappen besitzen. Insofern kommt der von SOEST (1959) aufgestellten f. lobatum kein taxonomischer Wert zu, so dass diese hier eingezogen wird.
description: Published as part of Uhlemann, Ingo, 2011, Notizen zur Taraxacum-Flora Österreichs und Südtirols, pp. 27-53 in Neilreichia 6 on page 38, DOI: 10.5281/zenodo.303107
Fuzzy Logic Controller for Frequency Regulation of a Hydro and Wind Based Isolated Hybrid Micro-grid
Creators: name: Pal, Suvajit
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Hybrid micro-grid
subject: energy management scheme
subject: Renewable Energy
subject: solar
subject: Wind
subject: hydro
subject: fuzzy logic controller
subject: pi conventional controller
subject: Engineering--Electronics and Electrical

description: Operation of an isolated hybrid micro-grid requires a system to be capable of regulating the system frequency as well as the voltage. The operation of a hydro power plant combined with a wind power plant and a solar power plant is analyzed in this thesis. The main balancing mechanism of the proposed hybrid micro-grid is the hydro power plant. Speed governor of hydro power plant and wind pitch controller of wind power plant are implemented using both conventional PI and Fuzzy logic based controllers. A supervisory controller, that will supervise individual controllers and determine the desired power generation of hydro and wind power generating units, is also proposed. By monitoring the system frequency, voltage and active power of various power generating units under various operating conditions, it is concluded that the proposed control scheme provides reliable system frequency and voltage regulation, and energy management.
Stellar Parameters and Chemical Abundances of G Giants
Creators: name: Wang, Liang
name: Liu, Yujuan
name: Zhao, Gang
name: Sato, Bun'ei
Publisher: name: arXiv
Year: 2011
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present basic stellar parameters of 99 late-type G giants based on high resolution spectra obtained by the High Dispersion Spectrograph attached to Subaru Telescope. These stars are targets of a Doppler survey program searching for extra-solar planets among evolved stars, with a metallicity of -0.8
description: 21 pages, 15 figures, PASJ accepted
Computing geologically consistent models from geophysical data
Creators: name: Granek, Justin
Publisher: name: University of British Columbia
Year: 2011

description: In this thesis an attempt is made to develop a methodology by which the information provided by downhole physical property logs can be leveraged to assist in the creation of constraints for the inversion of surface geophysics. I first motivate the research with an introduction to the utility of downhole physical property logging, including an overview of the diverse methods and data which can be acquired. Background information is also provided on statistical classification techniques and the UBC-GIF (University of British Columbia Geophysical Inversion Facility) inversion formulation so that the methodology can be properly understood. The introduced methodology differs from previous attempts at incorporation of a priori information since it applies statistical classification of in situ physical property measurements (as opposed to physical property values inferred from geology) as the basis for constraints. Statistical classification, combined with the iterative nature of the scheme, act to propagate the information from the downhole physical property logs through-out the model with minimum user input required. This automated approach reduces the potential for bias from unsupported constraints, while maximizing the integration of the classification results. The methodology is explained, and then demonstrated on three simple illustrative models. The results from these demonstrations are compared against unconstrained inversion, and the strengths and shortcomings of the methodology are discussed.
Where We Stand (or Fall): An Analysis of CSRF Defenses in Web Frameworks
Creators: name: Likaj, Xhelal
name: Khodayari, Soheil
name: Pellegrino, Giancarlo
Publisher: name: CISPA
Year: 2023

description: Cross-Site Request Forgery (CSRF) is among the oldest web vulnerabilities that, despite its popularity and severity, it is still an understudied security problem. In this paper, we undertake one of the first security evaluations of CSRF defense as implemented by popular web frameworks, with the overarching goal to identify additional explanations to the occurrences of such an old vulnerability. Starting from a review of existing literature, we identify 16 CSRF defenses and 18 potential threats agains them. Then, we evaluate the source code of the 44 most popular web frameworks across five languages (i.e., JavaScript, Python, Java, PHP, and C#) covering about 5.5 million LoCs, intending to determine the implemented defenses and their exposure to the identified threats. We also quantify the quality of web frameworks' documentation, looking for incomplete, misleading, or insufficient information required by developers to use the implemented CSRF defenses correctly. Our study uncovers a rather complex landscape, suggesting that while implementations of CSRF defenses exist, their correct and secure use depends on developers' awareness and expertise about CSRF attacks. More than a third of the frameworks require developers to write code to use the defense, modify the configuration to enable CSRF defenses, or look for an external library as CSRF defenses are not built-in. Even when using defenses, developers need to be aware and address a diversity of additional security risks. In total, we identified 157 security risks in 37 frameworks, of which 17 are directly exploitable to mount a CSRF attack, leveraging implementation mistakes, cryptography-related flaws, cookie integrity, and leakage of CSRF tokens---including three critical vulnerabilities in CakePHP, Vert.x-Web, and Play. The developers' feedback indicate that, for a significant fraction of risks, frameworks have divergent expectations about who is responsible for addressing them. Finally, the documentation analysis reveals several inadequacies, including not mentioning the implemented defense, and not showing code examples for correct use.
Density conditions for quantum propositions
Creators: name: Havlicek, Hans
name: Svozil, Karl
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mathematical Physics (math-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: As has already been pointed out by Birkhoff and von Neumann, quantum logic can be formulated in terms of projective geometry. In three-dimensional Hilbert space, elementary logical propositions are associated with one-dimensional subspaces, corresponding to points of the projective plane. It is shown that, starting with three such propositions corresponding to some basis $\{{\vec u},{\vec v},{\vec w}\}$, successive application of the binary logical operation $(x,y)\mapsto (x\vee y)^\perp$ generates a set of elementary propositions which is countable infinite and dense in the projective plane if and only if no vector of the basis $\{{\vec u},{\vec v},{\vec w}\}$ is orthogonal to the other ones.
Additional file 1 of Performance of the ROX index to predict intubation in immunocompromised patients receiving high-flow nasal cannula for acute respiratory failure
Creators: name: Lemiale, Virginie
name: Dumas, Guillaume
name: Demoule, Alexandre
name: Pène, Frederic
name: Kouatchet, Achille
name: Bisbal, Magali
name: Nseir, Saad
name: Argaud, Laurent
name: Kontar, Loay
name: Klouche, Kada
name: Barbier, Francois
name: Seguin, Amelie
name: Louis, Guillaume
name: Constantin, Jean-Michel
name: Mayaux, Julien
name: Wallet, Florent
name: Peigne, Vincent
name: Girault, Christophe
name: Oziel, Johanna
name: Nyunga, Martine
name: Terzi, Nicolas
name: Bouadma, Lila
name: Lautrette, Alexandre
name: Bige, Naike
name: Raphalen, Jean-Herle
name: Papazian, Laurent
name: Bruneel, Fabrice
name: Lebert, Christine
name: Benoit, Dominique
name: Meert, Anne-Pascale
name: Jaber, Samir
name: Mokart, Djamel
name: Darmon, Michael
name: Azoulay, Elie
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Hematology
subject: Virology

description: Additional file 1: Figure S1. ROC curve for ROX index 6 hours after HFNC onset. Figure S2. Probability of intubation according to the multivariable model including ROX index. Figure S3. ROC curve of adjusted ROX index 6 hours after HFNC onset. Figure S4. Comparison between ROC curves of adjusted ROX index and modified model without ROX index. Figure S5. Probability of intubation according to ROX index quartile.
Taraxacum panalpinum Soest
Creators: name: Uhlemann, Ingo
Publisher: name: Zenodo
Year: 2011
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Asterales
Asteraceae
Taraxacum
Taraxacum panalpinum

description: Taraxacum panalpinum Soest,
Acta Bot. Neerl. 8 (2): 88 (1959) –
Abb. 7 B, C.
 Österreich, Tirol: Ötztaler Alpen, Timmelsjoch, feinerdereicher Steinschutt, 2500 m s.m., 14. 8. 1999, leg. Uhlemann (Hb. DR 003014). — Zillertaler Alpen, Schlegeisstausee, 26.7. 1994, leg. Uhlemann (Hb.
DR 003016).
Als besonders charakteristisches Merkmal dieser Art müssen die zahlreichen (5–7) Blattseitenlappenpaare erwähnt werden, die waagerecht abstehen oder etwas zurückgerichtet sind und vorderseits kleine, spitze Zähne aufweisen. Außerdem besitzt die Art grüne, ungeflügelte Stiele, aufrecht stehende, zumeist an den Spitzen zurückgebogene äußere Involukralblätter und graugrüne Griffeläste.
Diese aus dem Vernelatal bei Davos (Schweiz) beschriebene Art hat eine weite Verbreitung in der östlichen Schweiz, wurde in Österreich bislang aber nur selten gefunden.
description: Published as part of Uhlemann, Ingo, 2011, Notizen zur Taraxacum-Flora Österreichs und Südtirols, pp. 27-53 in Neilreichia 6 on page 39, DOI: 10.5281/zenodo.303107
Constituent quark scaling violation due to baryon number transport
Creators: name: Dunlop, J.
name: Lisa, M. A.
name: Sorensen, P.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In ultra-relativistic heavy ion collisions at $\roots\approx200$ GeV, the azimuthal emission anisotropy of hadrons with low and intermediate transverse momentum ($p_T\lesssim 4$ GeV/c) displays an intriguing scaling. In particular, the baryon (meson) emission patterns are consistent with a scenario in which a bulk medium of flowing quarks coalesces into three-quark (two-quark) "bags." While a full understanding of this number of constituent quark (NCQ) scaling remains elusive, it is suggestive of a thermalized bulk system characterized by colored dynamical degrees of freedom-- a quark-gluon plasma (QGP). In this scenario, one expects the scaling to break down as the central energy density is reduced below the QGP formation threshold; for this reason, NCQ-scaling violation searches are of interest in the energy scan program at the Relativistic Heavy Ion Collider (RHIC). However, as $\roots$ is reduced, it is not only the initial energy density that changes; there is also an increase in the net baryon number at midrapidity, as stopping transports entrance-channel partons to midrapidity. This phenomenon can result in violations of simple NCQ scaling. Still in the context of the quark coalescence model, we describe a specific pattern for the break-down of the scaling that includes different flow strengths for particles and their anti-partners. Related complications in the search for recently suggested exotic phenomena are also discussed.
description: 7 pages, 2 tables, 2 figures. Wording sharpened. Two tables added, to quantify the estimate of stopped quark fractions
Economic evaluation of an injury prevention strategy in high school basketball
Creators: name: McAllister, Jenelle Robyn
Publisher: name: Kinesiology
Year: 2006

description: Bibliography: p. 88-98
description: Objective: To examine the resource use and cost impact of high school basketball injuries in Calgary and area high school basketball players and to determine the cost of a balance training program in preventing injury in this population. Design: Economic Evaluation in conjunction with a Cluster-Randomized Controlled Trial. Main Outcome Measures: Mean cost per player by treatment arm; mean cost of injury in individuals suffering an injury, by treatment arm; cost to prevent one injury in a Calgary and area high school basketball player. Results: The mean cost per player and mean cost of injury were significantly greater for the intervention group than the control group. The cost of preventing one injury is $2000.40. Conclusions: The current practice for injury prevention in high school basketball (i.e. the status quo) was less expensive and marginally as effective as the balance training program. Further investigation to address poor compliance to the program is required.
Infrared spectroscopy of intermediate mass young stellar objects
Creators: name: Pitann, Jan
name: Hennemann, Martin
name: Birkmann, Stephan
name: Bouwman, Jeroen
name: Krause, Oliver
name: Henning, Thomas
Publisher: name: arXiv
Year: 2011
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: In this paper we present Spitzer Infrared Spectrograph spectroscopy for 14 intermediate-mass young stellar objects. We use Spitzer spectroscopy to investigate the physical properties of these sources and their environments. Our sample can be divided into two types of objects: young isolated, embedded objects with spectra that are dominated by ice and silicate absorption bands, and more evolved objects that are dominated by extended emission from polycyclic aromatic hydrocarbons (PAHs) and pure H2 rotational lines. We are able to constrain the illuminating FUV fields by classifying the PAH bands below 9micron. For most of the sources we are able to detect several atomic fine structure lines. In particular, the [NeII] line appearing in two regions could originate from unresolved photodissociation regions (PDRs) or J-shocks. We relate the identified spectral features to observations obtained from NIR through submillimeter imaging. The spatial extent of several H2 and PAH bands is matched with morphologies identified in previous Spitzer/IRAC observations. This also allows us to distinguish between the different H2 excitation mechanisms. In addition, we calculate the optical extinction from the silicate bands and use this to constrain the spectral energy distribution fit, allowing us to estimate the masses of these YSOs.
description: 21 pages, 26 figures, accepted to ApJ
With a Little Help from My Friends: Constructing Practical Anonymous Credentials
Creators: name: Hanzlik, Lucjan
name: Slamanig, Daniel
Publisher: name: CISPA
Year: 2023

description: Anonymous credentials (ACs) are a powerful cryptographic tool for the secure use of digital services, when simultaneously aiming for strong privacy guarantees of users combined with strong authentication guarantees for providers of services. They allow users to selectively prove possession of attributes encoded in a credential without revealing any other meaningful information about themselves. While there is a significant body of research on AC systems, modern use-cases of ACs such as mobile applications come with various requirements not sufficiently considered so far. These include preventing the sharing of credentials and coping with resource constraints of the platforms (e.g., smart cards such as SIM cards in smartphones). Such aspects are typically out of scope of AC constructions, and, thus AC systems that can be considered entirely practical have been elusive so far. In this paper we address this problem by introducing and formalizing the notion of core/helper anonymous credentials (CHAC). The model considers a constrained core device (e.g., a SIM card) and a powerful helper device (e.g., a smartphone). The key idea is that the core device performs operations that do not depend on the size of the credential or the number of attributes, but at the same time the helper device is unable to use the credential without its help. We present a provably secure generic construction of CHACs using a combination of signatures with flexible public keys (SFPK) and the novel notion of aggregatable attribute-based equivalence class signatures (AAEQ) along with a concrete instantiation. The key characteristics of our scheme are that the size of showing tokens is independent of the number of attributes in the credential(s) and that the core device only needs to compute a single elliptic curve scalar multiplication, regardless of the number of attributes. We confirm the practical efficiency of our CHACs with an implementation of our scheme on a Multos smart card as the core and an Android smartphone as the helper device. A credential showing requires less than 500 ms on the smart card and around 200 ms on the smartphone (even for a credential with 1000 attributes).
Poster: Development of Wearing Practice and Common Use Errors of Mouth-Nose Coverings as well as Preference in the Choice of Masks in the Population during the COVID-19 Pandemic in Two Cities of North Rhine-Westphalia, Germany
Creators: name: Neuwirth, Meike M.
name: Neuwirth, Martin
name: Ludewig, Veronica Montilva
name: Mattner, Frauke
name: Otchwemah, Robin
Publisher: name: Zenodo
Year: 2021
Subjects: Public health,
mouth-nose covers
COVID-19
observational study
population's motivation
wearing
transmission prevention

description: Introduction:
 The mandatory wearing of mouth-nose covers is, in addition to maintaining distance, a central component of the transmission prevention of COVID-19 and is intended to protect potential contact persons from ingesting pathogencontaining material. Objectives:
 The study examined whether the population's motivation to comply with the oral-nasal coverage requirement was higher immediately after its implementation than in the weeks that followed, as declining coronavirus disease-19 (COVID-19) case rates and the end of the initial lockdown on May 15, 2020, may have led to a decrease in risk awareness and thus noncompliance with the established behavioral rules. Methods:
 In a covert observational study in mask-required settings (public transportation and retail stores), mask types used and observed mask use errors were recorded over two time periods in a total of 9131 individuals. In addition, the importance of individual mask features, wearing behavior, and reasons for choosing current mouth-to-nose coverage, as well as attitudes toward COVID-19 protective measures, were collected in an online survey. Individuals observed in public and individuals in the online surveys represent two separate cohorts. Results:
 Over the time (07.05.–13.05.2020/12.06.–08.07.2020), the mask wear adherence increased in from 97.2% to 98.6% (p < .001). In addition, a percentage decrease in the number of people without mouth-nose cover (p < .001) and an increase in the correct mask application was observed (p = .024). In the online survey, 84% of respondents identified comfort/convenience and 81% of respondents identified fit as the most important mask attributes. The reasons for the choice of the mouth-nose cover used were heterogeneous and varied. The respondents stated that they found the wearing of a mouth-nose-covering annoying (57%) but useful (60%), but would not wear a mask if there was no mask obligation or recommendation to wear the masks (67%). Conclusion:
 Despite improvement, a high frequency of errors (31%) in wearing face masks were still observed, indicatingth e need for better clarification of the population on the correct wearing of a mask.
Impacts of non-native species on the morphology of threespine stickleback (Gasterosteus aculeatus)
Creators: name: Kienzle, Hannah Marie
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Threespine Stickleback
subject: evolutionary ecology
subject: Invasive species
subject: morphological adaptation
subject: smallmouth bass
subject: signal crayfish
subject: Ecology
subject: FOS: Biological sciences

description: Invasive species have demonstrated their capability to greatly modify ecosystems and communities. Introducing multiple species can potentially alter how a native population adapts relative to when species are introduced individually. I assessed whether native threespine stickleback (Gasterosteus aculeatus) exhibit distinct morphological characteristics corresponding to a varying combination of the presence of introduced smallmouth bass (Micropterus dolomieu) and signal crayfish (Pacifastacus leniusculus) on Vancouver Island. I also examined morphological changes over 18 - 43 years to determine whether contemporary characteristics become magnified in the presence of non-native species. There are clear distinctions in stickleback traits and body shape among non-native species combinations. Bass and crayfish lake stickleback are highly armoured, whereas bass-only lakes contain stickleback with reduced armour. Klein and Dougan Lake stickleback, which coexist with signal crayfish, showed significant increases in size over time. These patterns suggest that smallmouth bass and signal crayfish may have differential impacts on stickleback morphology.
Chapter XVIII. Diptera (Brachycera): Mydaidae
Creators: name: Bequaert, Michel
Publisher: name: Zenodo
Year: 1959
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Mydidae

description: Bequaert, Michel (1959): Chapter XVIII. Diptera (Brachycera): Mydaidae. In: South African Animal Life (Results of the Lund University Expedition in 1950-1951). Lund: Almqvist and Wiksell: 356-372, DOI: http://doi.org/10.5281/zenodo.3994689
description: {"references": ["BEQUAERT, M. 1938. Contribution a la connaissance des Mydaidae de PAfrique. Bull. et Ann. soc . Ent. Belgique. T. LXXVIII, pp. 331-349.", "1951 . Contribution nouvelle a la connaissance des Mydaidae de PAfrique tropicale. BuJl. Inst. roy. Sciences naturelles de Belgique. T. XXVII, n\u00b0 19, pp. 1-20.", "BEZZI, M. 1924. The South African Mydaidae as represented in the South African Museum. Ann. South African Museum . Vol. XIX, pp. 191-234.", "BRUNETII, E. 1929. New African Diptera. Ann. Mag. Nat. Hist. , 10 ser., vol. 4, 19, pp. 1-35.", "SACK, Pius. 1934. Mydaidae in LINDNER, Die Fliegen der Palaearktischen Region. Lief. 79.", "SEGUY, E. 1928. Etudes sur quelques Mydaidae nouveaux ou connus. Encycl. Entom. peu Serie B. II. Diptera. T. IV, pp. 129-156.", "1929. Un Mydaidae nouveau de I'Afrique orientale portugaise. Ann. Soc. Ent. France. Vol. 9s, p. 110", "1930. Contribution a. Petude de la Faune du Mozambique. Voyage de M. P. LESNE 1928- 1929. Bulletin du Museuin 2. T. II, pp. 645-656", "STUCKENBERG, B. R. 1955. A new Mydaid Fly from South Africa. Annals of the Natal Museum. Vol. XIII, part 2, pp. _243-246"]}
Nature of the low velocity zone in Cascadia from receiver function waveform inversion
Creators: name: Hansen, Ralf Theodor Johannes
Publisher: name: University of British Columbia
Year: 2011

description: Dipping low-velocity zones (LVZs) are a ubiquitous structural element of subduction zones worldwide. In this study we map seismic attributes characterizing the LVZ beneath the Cascadia subduction zone from northern Vancouver Island to northern California using receiver function waveform inversion. Throughout this region, the LVZ is characterized by high Vp/Vs ratios (mean=2.77), strong S-velocity contrasts (~50%) and thicknesses averaging 3.38 km. The LVZ is immediately underlain by a second, weaker layer exhibiting moderate Vp/Vs ratios (mean=1.85) with mean thickness of 4.62 km. We interpret the combined structure in terms of subducting oceanic crust, based on classical structural/petrological descriptions and constraints from previous studies of ophiolites and ocean drill cores. The LVZ is identified with pervasively hydrated, high porosity pillow basalts and sheeted dikes of Layer 2 with possible contributions from sediments (Layer 1). Fluids released from metamorphic dehydration reactions are maintained near lithosphere fluid pressures through an impermeable plate boundary above, and a low porosity, gabbroic/mafic-cumulate dominated Layer 3 below.
Two new prenylated C6–C3 compounds from Illicium micranthum Dunn
Creators: name: Liu, Lu
name: Lv, Xiao-Man
name: Hua, Tian
name: Khan, Afsar
name: Huang, Xiao-Bing
name: Wang, Yi-Fen
name: Zhou, Zhi-Hong
Publisher: name: Taylor & Francis
Year: 2018
Subjects: Biochemistry
Pharmacology
Environmental Sciences not elsewhere classified
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified
Cancer

description: Phytochemical investigation of Illicium micranthum led to the isolation of two new prenylated C6–C3 compounds, 12-O-methyl-2,3-dehydroillifunone C (1) and illiciminone A (2), together with three known analogues (3-5) and one known sesquiterpene lactone (6). The structures were established by extensive spectroscopic characterization and the reported data. All the isolates were evaluated for their acetylcholinesterase (AChE) inhibition activity. Compound 5 showed weak inhibitory activity (46.0%) at 50 μM concentration.
Neuropsychological constraints to human data production on a global scale
Creators: name: Gros, Claudius
name: Kaczor, Gregor
name: Markovic, Dimitrije
Publisher: name: arXiv
Year: 2011
Subjects: subject: Social and Information Networks (cs.SI)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: Which are the factors underlying human information production on a global level? In order to gain an insight into this question we study a corpus of 252-633 Million publicly available data files on the Internet corresponding to an overall storage volume of 284-675 Terabytes. Analyzing the file size distribution for several distinct data types we find indications that the neuropsychological capacity of the human brain to process and record information may constitute the dominant limiting factor for the overall growth of globally stored information, with real-world economic constraints having only a negligible influence. This supposition draws support from the observation that the files size distributions follow a power law for data without a time component, like images, and a log-normal distribution for multimedia files, for which time is a defining qualia.
description: to be published in: European Physical Journal B
Delta-based Verification of Software Product Families
Creators: name: Scaletta, Marco
name: Hähnle, Reiner
name: Steinhöfel, Dominic
name: Bubel, Richard
Publisher: name: CISPA
Year: 2023

description: The quest for feature- and family-oriented deductive verification of software product lines resulted in several proposals. In this paper we look at delta-oriented modeling of product lines and combine two new ideas: first, we extend Hähnle & Schaefer’s delta-oriented version of Liskov’s substitution principle for behavioral subtyping to work also for overridden behavior in benign cases. For this to succeed, programs need to be in a certain normal form. The required normal form turns out to be achievable in many cases by a set of program transformations, whose correctness is ensured by the recent technique of abstract execution. This is a generalization of symbolic execution that permits reasoning about abstract code elements. It is needed, because code deltas contain partially unknown code contexts in terms of “original” calls. Second, we devise a modular verification procedure for deltas based on abstract execution, representing deltas as abstract programs calling into unknown contexts. The result is a “delta-based” verification approach, where each modification of a method in a code delta is verified in isolation, but which overcomes the strict limitations of behavioral subtyping and works for many practical programs. The latter claim is substantiated with case studies and benchmarks.
Construction of a 3-dimensional MDS-code
Creators: name: Aguglia, Angela
name: Giuzzi, Luca
Publisher: name: Faculty of Science, University of Calgary
Year: 2008

description: In this paper, we describe a procedure for constructing $q$--ary

$[N,3,N-2]$--MDS codes, of length $N\leq q+1$ (for $q$ odd) or

$N\leq q+2$ (for $q$ even), using a set of non--degenerate Hermitian

forms in $PG(2,q^2)$.
description: Contributions to Discrete Mathematics, Vol 3, No 1 (2008)
Partitions with parts occurring at most thrice
Creators: name: Fink, Alex
name: Guy, Richard
name: Krusemeyer, Mark
Publisher: name: Faculty of Science, University of Calgary
Year: 2008

description: We study partitions of  n  into parts that occur at most

thrice, with weights whose definition is motivated by an

identity of Jacobi.  A combinatorial bijection between odd

and even partitions of maximum weight is extended to a

bijection of ``potholes'' (partitions supplied with extra

structure) which is used to show that, when  n  is not triangular,

the numbers of odd and even partitions of any weight are

equal.  The situation for triangular numbers is also analyzed,

and this provides a new proof of Jacobi's identity.

Finally, the numbers of potholes are related to a Jacobi

theta function, and several other combinatorial connexions

are noted.
description: Contributions to Discrete Mathematics, Vol 3, No 2 (2008)
Thermophilic Endospore-Forming Bacteria as Models for Exploring Microbial Dispersal in Time and Space
Creators: name: Cramm, Margaret
Publisher: name: Graduate Studies
Year: 2017
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: environmental microbiology
subject: microbial biogeography

description: Thermophilic endospore-forming bacteria – “ thermospores ” – are particularly useful model organisms for exploring microbial biogeography because they remain viable for long geologic time periods owing to a dormant state that confers resistant to extreme conditions. Using high temperature incubation experiments and 16S rRNA gene amplicon sequencing, geographic and temporal thermospore dispersal in marine sediments was explored. Thermospores detected in surface sediments across the North Atlantic are likely to originate from multiple warm temperature habitats, and are viable in sediments buried ~15 000 years ago. These approaches also revealed thermospore viability following the extreme stress of prolonged -80°C exposure. Thermospore viability and dispersal on a scale of millions of years was explored in a 1.2 km long sediment core. Uneven thermospore germination posed a challenge for thermospore detection but their capacity for use as models of biological dispersal remains valid.
A generalization of the q-Pfaff-Saalschütz formula
Creators: name: Wang, Mingjin
Publisher: name: Faculty of Science, University of Calgary
Year: 2008

description: We use the Andrews-Askey integral, the Leibniz rule for

$q$-difference operator and the $q$-Chu-Vandermonde formula to

give a generalization of the q-pfaff-saalsch\"{u}tz formula.
description: Contributions to Discrete Mathematics, Vol 3, No 2 (2008)
A note on Gromov-Hausdorff-Prokhorov distance between (locally) compact measure spaces
Creators: name: Abraham, Romain
name: Delmas, Jean-Francois
name: Hoscheit, Patrick
Publisher: name: arXiv
Year: 2012
Subjects: subject: Metric Geometry (math.MG)
subject: Probability (math.PR)
subject: FOS: Mathematics

description: We present an extension of the Gromov-Hausdorff metric on the set of compact metric spaces: the Gromov-Hausdorff-Prokhorov metric on the set of compact metric spaces endowed with a finite measure. We then extend it to the non-compact case by describing a metric on the set of rooted complete locally compact length spaces endowed with a locally finite measure. We prove that this space with the extended Gromov-Hausdorff-Prokhorov metric is a Polish space. This generalization is needed to define Lévy trees, which are (possibly unbounded) random real trees endowed with a locally finite measure.
Certified Abstract Cost Analysis
Creators: name: Albert, Elvira
name: Hähnle, Reiner
name: Merayo, Alicia
name: Steinhöfel, Dominic
Publisher: name: CISPA
Year: 2023

description: A program containing placeholders for unspecified statements or expressions is called an abstract (or schematic) program. Placeholder symbols occur naturally in program transformation rules, as used in refactoring, compilation, optimization, or parallelization. We present a generalization of automated cost analysis that can handle abstract programs and, hence, can analyze the impact on the cost of program transformations. This kind of relational property requires provably precise cost bounds which are not always produced by cost analysis. Therefore, we certify by deductive verification that the inferred abstract cost bounds are correct and sufficiently precise. It is the first approach solving this problem. Both, abstract cost analysis and certification, are based on quantitative abstract execution (QAE) which in turn is a variation of abstract execution, a recently developed symbolic execution technique for abstract programs. To realize QAE the new concept of a cost invariant is introduced. QAE is implemented and runs fully automatically on a benchmark set consisting of representative optimization rules.
Fold and Mycielskian on homomorphism complexes
Creators: name: Csorba, Péter
Publisher: name: Faculty of Science, University of Calgary
Year: 2008

description: Homomorphism complexes were introduced by Lov\'asz to study topological obstructions to graph colorings.  We show that folding in the second parameter of the homomorphism complex yields a homotopy equivalence.  We study how the Mycielski construction changes the homotopy type of the homomorphism complex. We construct graphs showing that the topological bound obtained by odd cycles can be arbitrarily worse than the bound provided by Hom(K_2,G).
description: Contributions to Discrete Mathematics, Vol 3, No 2 (2008)