cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Trace-Relating Compiler Correctness and Secure Compilation
Creators: name: Abate, Carmine
name: Blanco, Roberto
name: Ciobaca, Stefan
name: Durier, Adrien
name: Garg, Deepak
name: Hritcu, Catalin
name: Patrignani, Marco
Publisher: name: CISPA
Year: 2023

description: Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect, for instance, the externally observable events of each execution. This definition requires, however, the set of traces of the source and target languages to be exactly the same, which is not the case when the languages are far apart or when observations are fine-grained. To overcome this issue, we study a generalized compiler correctness definition, which uses source and target traces drawn from potentially different sets and connected by an arbitrary relation. We set out to understand what guarantees this generalized compiler correctness definition gives us when instantiated with a non-trivial relation on traces. When this trace relation is not equality, it is no longer possible to preserve the trace properties of the source program unchanged. Instead, we provide a generic characterization of the target trace property ensured by correctly compiling a program that satisfies a given source property, and dually, of the source trace property one is required to show in order to obtain a certain target property for the compiled code. We show that this view on compiler correctness can naturally account for undefined behavior, resource exhaustion, different source and target values, side-channels, and various abstraction mismatches. Finally, we show that the same generalization also applies to many secure compilation definitions, which characterize the protection of a compiled program against linked adversarial code.
title: Rezension: Mehrsprachigkeit im Kontext des Kurmancî-Kurdischen und des Deutschen. Eine Fallstudie aus einer kurdisch-deutschen Kindertagesstätte. Language Development Bd. 42. Tübingen: Narr. ISBN: 978-3-8233-8552-3. 256 Seiten. 68,00 €
Creators: name: Kırgız, Yaşar
Publisher: name: Universitäts- und Landesbibliothek Darmstadt
Year: 2023

description: Die Studie von Yaşar Kırgız widmet sich in einer longitudinal angelegten Fallstudie dem Erwerb des Kurmancî-Kurdischen und des Deutschen im Vorschulalter. Dabei werden sechs Kinder einer kurdisch-deutschen Berliner Kindertagesstätte acht Monate lang begleitet und anhand verschiedener Spracherhebungsinstrumente ihre Erzählfähigkeiten erfasst und analysiert. Kırgız beschränkt sich nicht nur auf die beiden fokussierten Sprachen (Kurdisch, Deutsch), sondern betrachtet das gesamte sprachliche Repertoire der Kinder, sodass für die Erhebung auch der Einfluss der Gesamtsprachenpraxis berücksichtigt wird. Diese Ergebnisse werden durch die Analyse der Einflussfaktoren (Kita, Familien) erweitert.
Search for Lepton Number Violating Charged Current Processes with Neutrino Beams
Creators: name: Kanemura, Shinya
name: Kuno, Yoshitaka
name: Ota, Toshihiko
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We propose a new idea to test a class of loop-induced neutrino mass mechanisms by searching for lepton number violating charged current processes with incident of a neutrino beam. The expected rates of these processes are estimated based on some theoretical assumptions. They turn out to be sizable so that detection of such processes could be possible at near detectors in future highly intense neutrino-beam facilities.
description: 4 pages, 5 eps files
Video 1 EUS-guided cholecochoduodenostomy by using an electrocautery-enhanced lumen-apposing stent with coaxial double-pigtail plastic stent.
Creators: name: Gornals, Joan B
Publisher: name: figshare
Year: 2020
Subjects: subject: 110307 Gastroenterology and Hepatology
subject: FOS: Clinical medicine

description: EUS-guided cholecochoduodenostomy by using an electrocautery-enhanced lumen-apposing stent with coaxial double-pigtail plastic stent.
Electronic and magnetic properties in strongly correlated heterostructures
Creators: name: Ueda, Suguru
name: Kawakami, Norio
name: Sigrist, Manfred
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We present a theoretical study of a model heterostructure for a Mott-insulator sandwiched between two band insulators, such as SrTiO3/LaTiO3. Particular emphasis is given on the interplay between magnetism and inhomogeneous charge distributions. Our mean-field analysis of the generalized Hubbard model displays numerous ordered phases in the ground-state phase diagram. In particular, we find a canted antiferromagnetic state near the interface when antiferromagnetic-ordering exists inside the Mott insulator. A checkerboard charge-ordering proposed previously is also stabilized for large long-range Coulomb interactions. Regarding its origin we also point out the importance of interlayer spin-mediated interactions. It is further shown that such a strong spin-charge coupling gives rise to pronounced magnetic/charge order phase transitions in external magnetic fields: a firstorder metamagnetic transition and a reentrant charge-order transition with checkerboard pattern. The mechanisms stabilizing these intriguing phases are explored through a detailed analysis of the physical quantities with special focus on the spin-charge interplay.
description: 13 pages, 15 figures
Type-Directed Scheduling of Streaming Accelerators
Creators: name: Durst, David
name: Feldman, Matthew
name: Huff, Dillon
name: Akeley, David
name: Daly, Ross
name: Bernstein, Gilbert Louis
name: Patrignani, Marco
Publisher: name: CISPA
Year: 2023

description: Designing efficient, application-specialized hardware accelerators requires assessing trade-offs between a hardware module’s performance and resource requirements. To facilitate hardware design space exploration, we describe Aetherling, a system for automatically compiling data-parallel programs into statically scheduled, streaming hardware circuits. Aetherling contributes a space- and time-aware intermediate language featuring data-parallel operators that represent parallel or sequential hardware modules, and sequence data types that encode a module’s throughput by specifying when sequence elements are produced or consumed. As a result, well-typed operator composition in the space-time language corresponds to connecting hardware modules via statically scheduled, streaming interfaces. We provide rules for transforming programs written in a standard data-parallel language (that carries no information about hardware implementation) into equivalent space-time language programs. We then provide a scheduling algorithm that searches over the space of transformations to quickly generate area-efficient hardware designs that achieve a programmer-specified throughput. Using benchmarks from the image processing domain, we demonstrate that Aetherling enables rapid exploration of hardware designs with different throughput and area characteristics, and yields results that require 1.8-7.9× fewer FPGA slices than those of prior hardware generation systems.
Estimates for the concentration functions of weighted sums of independent random variables
Creators: name: Eliseeva, Yu. S.
name: Zaitsev, A. Yu.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics
subject: 60F05 (Primary) 60E5, 60G50 (Secondary)

description: Let $X,X_1,...,X_n$ be independent identically distributed random variables. The paper deals with the question about the behavior of the concentration function of the random variable $\sum_{k=1}^{n}a_k X_k$ according to the arithmetic structure of coefficients $a_k$. Recently the interest to this question has increased significantly due to the study of distributions of eigenvalues of random matrices. In this paper we formulate and prove some refinements of the results of Friedland and Sodin (2007) and Rudelson and Vershynin (2009).
description: submitted to Theory of Probability and its Applications
Two-Population Dynamics in a Growing Network Model
Creators: name: Ivanova, Kristinka
name: Iordanov, Ivan
Publisher: name: arXiv
Year: 2011
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Social and Information Networks (cs.SI)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: We introduce a growing network evolution model with nodal attributes. The model describes the interactions between potentially violent V and non-violent N agents who have different affinities in establishing connections within their own population versus between the populations. The model is able to generate all stable triads observed in real social systems. In the framework of rate equations theory, we employ the mean-field approximation to derive analytical expressions of the degree distribution and the local clustering coefficient for each type of nodes. Analytical derivations agree well with numerical simulation results. The assortativity of the potentially violent network qualitatively resembles the connectivity pattern in terrorist networks that was recently reported. The assortativity of the network driven by aggression shows clearly different behavior than the assortativity of the networks with connections of non-aggressive nature in agreement with recent empirical results of an online social system.
description: 23 pages, 6 figures; in press in Physica A
Experimentelle Untersuchungen zum Innengeräusch von Fahrzeugluftreifen
Creators: name: Krauss, Oliver
Publisher: name: KIT Scientific Publishing
Year: 2019
Subjects: Reifengeräusch
Torus
Hohlraummode
stehende Welle
tire noise
torus
cavity mode
standing wave

description: Im torusförmigen Reifenhohlraum können sich stehende Wellen ausbilden, die zu sehr hohen Schalldruckpegeln führen. Zur Untersuchung dieser Hohlraummoden werden Versuche mit Impulsanregung, an einem Reifen-Innentrommelprüfstand und unter realen Betriebsbedingungen am Gesamtfahrzeug durchgeführt. Neben Grundlagenuntersuchungen zur Identifizierung der Hohlraummoden und zur Analyse verschiedener Systemzustände werden einige Anregungsmechanismen sowie wichtige Einflussfaktoren vorgestellt.
Congruences modulo powers of 2 and  3 for a restricted binary partition function a la Andrews and Lewis
Creators: name: Yao, Olivia
name: Gu, Chao
name: Ma, Yinghua
Publisher: name: Faculty of Science, University of Calgary
Year: 2017

description: Let $W(n)$ denote the number of partitions of $n$ into powers of 2 such that for all $i\geq 0$, $2^{2i}$ and $2^{2i+1}$ cannot both be parts of a particular partition. Recently,  Lan and Sellers proved  a number of congruences modulo 2, 3 and 4. In this note,  we prove a number of Ramanujan-type congruences modulo powers of 2 and 3.
description: Contributions to Discrete Mathematics, Vol 12, No 1 (2017)
Shaping the top asymmetry
Creators: name: Aguilar-Saavedra, J. A.
name: Perez-Victoria, M.
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: We study different profiles of the distribution of the top forward-backward asymmetry, depending on the invariant mass of the t tbar pair. We show that they can be reproduced by one or more light colour octets, while keeping moderate departures of the t tbar cross section and invariant mass distributions with respect to the Standard Model predictions at Tevatron and LHC.
description: LaTeX 14 pages. Final version to appear in PLB, with an enlarged discussion about dijet constraints
QASHQADARYO VILOYATI TABIIY RESURSLARIDAN IQTISODIYOT TARMOQLARIDA FOYDALANISH
Creators: name: Komilova, Nilufar
name: Normatova, Gulasal
Publisher: name: Zenodo
Year: 2024

description: O'zbekistonning Janubiy qismida joylashgan Qashqadaryo viloyati mintaqaning iqtisodiy tarmoqlarida hal qiluvchi rol o'ynaydigan boy tabiiy boyliklari bilan mashhur. Mintaqada turli xil tabiiy resurslar, shu jumladan unumdor yerlar, suv resurslari, foydali qazilma konlari va qulay iqlim mavjud bo'lib, ular mintaqada iqtisodiy o'sish va rivojlanishni ta'minlash uchun ishlatilgan.
Independence complexes and incidence graphs
Creators: name: Tsukuda, Shuichi
Publisher: name: Faculty of Science, University of Calgary
Year: 2017
Subjects: Poset; Graph; Independent set

description: We show that the independence complex of the incidence graph of
 a hypergraph is homotopy equivalent to the combinatorial Alexander dual of
 the independence complex of the hypergraph, generalizing a result of Csorba.
 As an application, we refine and generalize a result of Kawamura on a
 relation between the homotopy types of the independence complex and
 the edge covering complex of a graph.
description: Contributions to Discrete Mathematics, Vol 12, No 1 (2017)
On a dual/hybrid approach to small secret LWE
Creators: name: Espitau, Thomas
name: Joux, Antoine
name: Kharchenko, Natalia
Publisher: name: CISPA
Year: 2023

description: In this paper, we investigate the security of the Learning With Error (LWE) problem with small secrets by refining and improv- ing the so-called dual lattice attack. More precisely, we use the dual attack on a projected sublattice, which allows generating instances of the LWE problem with a slightly bigger noise that correspond to a frac- tion of the secret key. Then, we search for the fraction of the secret key by computing the corresponding noise for each candidate using the newly constructed LWE samples. As secrets are small, we can perform the search step very efficiently by exploiting the recursive structure of the search space. This approach offers a trade-off between the cost of lattice reduction and the complexity of the search part which allows to speed up the attack. Besides, we aim at providing a sound and non-asymptotic analysis of the techniques to enable its use for practical selection of se- curity parameters. As an application, we revisit the security estimates of some fully homomorphic encryption schemes, including the Fast Fully Homomorphic Encryption scheme over the Torus (TFHE) which is one of the fastest homomorphic encryption schemes based on the (Ring-)LWE problem. We provide an estimate of the complexity of our method for various parameters under three different cost models for lattice reduc- tion and show that the security level of the TFHE scheme should be re-evaluated according to the proposed improvement (for at least 7 bits for the most recent update of the parameters that are used in the imple- mentation).
Potential Bans of Corn and Soybean Pesticides: Economic Implications for Farmers and Consumers
Creators: name: Osteen, Craig
name: Kuchler, Fred
name: Osteen, Craig
name: Kuchler, Fred
Publisher: name: Unknown
Year: 1986
Subjects: subject: Agricultural and Food Policy
subject: Crop Production/Industries
subject: Production Economics
subject: Productivity Analysis
subject: Research Methods/ Statistical Methods
subject: Pesticide regulations
subject: benefit-risk assessment
subject: economic implications
subject: corn
subject: soybeans
subject: pesticide use

description: Removing corn and soybean pesticides with alleged environmental and safety risks from the market could increase U.S. agricultural production costs, crop prices, farm incomes, and consumer expenditures, causing farmers to gain and consumers to lose. Banning all triazines, acetanilides, soil insecticides, or seed treatments would have the largest effects. This report uses an econometric-simulation model, incorporating relatively new developments in welfare economics, to analyze the economic implications of potential bans of corn and soybean insecticides, nematicides, fungicides, and herbicides through cost and yield assessments. Banning an individual corn or soybean pesticide would not significantly affect crop production, but banning all pesticides used for an important pest problem would have substantial effects. This study also demonstrates the interdependence among pesticide regulatory decisions.
Measurement of the charge asymmetry in top-quark pair production in proton-proton collisions at sqrt(s) = 7 TeV
Creators: name: CMS Collaboration
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The difference in angular distributions between top quarks and antiquarks, commonly referred to as the charge asymmetry, is measured in pp collisions at the LHC with the CMS experiment. The data sample corresponds to an integrated luminosity of 1.09 inverse femtobarns at a centre-of-mass energy of 7 TeV. Top-quark pairs are selected in the final state with an electron or muon and four or more jets. At least one jet is identified as originating from b-quark hadronization. The charge asymmetry is measured in two variables, one based on the pseudorapidities (eta) of the top quarks and the other on their rapidities (y). The results A[C,eta] = -0.017 +/- 0.032 (stat.) + [+0.025/-0.036] (syst.) and A[C,y] = -0.013 +/- 0.028 (stat.) + [+0.029/-0.031] (syst.) are consistent within uncertainties with the standard-model predictions.
Automatic determination of puck possession and location in broadcast hockey video
Creators: name: Duan, Xin
Publisher: name: University of British Columbia
Year: 2011

description: The goal is to automatically determine puck possession and location in broadcast hockey video. The task is challenging for several reasons. The puck itself is small, moves rapidly and lacks distinctive local visual features. Players also move and change direction rapidly. Interactions among players on the same team and with players on the opposing team are complex. This thesis demonstrates an automatic system composed of two modules that explore the task from different perspectives. The system takes as input player tracking results that have been registered to a geometric model of the ice surface under a given homography. It analyzes video sequences according to the user specified module and generates graphical annotation and data storage as output. In the first module, puck candidates are detected directly. An innovative hierachical graph-based method is used to track puck transitions between players. Based on these puck transitions, a puck state engine is created to determine puck possession and to select the most likely puck trajectory. In the second module, a dense player motion field is constructed to estimate puck location and possession according to motion convergence points. This work is a first attempt to extend automated hockey video analysis to include puck detection and puck possession. It stands as a proof of concept system for the broad area of team sports analysis.
Errata for Stochastic calculus for symmetric Markov processes
Creators: name: Chen, Zhen-Qing
name: Fitzsimmons, Patrick J.
name: Kuwae, Kazuhiro
name: Zhang, Tu-Sheng
Publisher: name: arXiv
Year: 2012
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: This erratum corrects the article arXiv:0806.2044 published in Ann. Probab. 36 (2008) 931--970
description: Published in at http://dx.doi.org/10.1214/11-AOP684 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)
A note on the Weibel instability and thermal fluctuations
Creators: name: Treumann, R. A.
name: Baumjohann, W.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Geophysics (physics.geo-ph)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: The thermal fluctuation level of the Weibel instability is recalculated. It is shown that the divergence of the fluctuations at long wavelengths, i.e. the Weibel infrared catastrophe, never occurs. At large wavelengths the thermal fluctuation level is terminated by the presence of even the smallest available stable thermal anisotropy. Weibel fields penetrate only one skin depth into the plasma. When excited inside, they cause layers of antiparallel fields of skin depth width and vortices which may be subject to reconnection.
description: 4 pages, 2 figures, accepted by Ann Geophys
STAR SUPER EDGE MAGIC DEFICIENCY OF GRAPHS
Creators: name: Kathiresan, KM
name: Sabarimalai Madha, S
Publisher: name: Faculty of Science, University of Calgary
Year: 2017
Subjects: star super edge magic deficiency; super edge magic injection

description: A graph G is called edge - magic if there is a bijec-
tive function f : V (G)∪E(G) → {1, 2, . . . , |V (G)|+|E(G)|} such
that for every edge xy ∈ E(G), f(x) + f(xy) + f(y) = c is a con-
stant, called the valence of f. A graph G is said to be super edge
- magic if f(V (G)) = {1, 2, . . . , |V (G)|}. Let G be a graph with
p vertices with V (G) = {v1, v2, . . . , vp}. In G, every vertex vi is
identified to the center vertex of Smi , for some mi ≥ 0, 1 ≤ i ≤ n,
where S0 = K1 and the graph is denoted by G(m1,m2,...,mp). Let
M(G) = {(m1,m2, . . . ,mp)|G(m1,m2,...,mp) is a super edge magic
graph }. The star super edge magic deficiency Sμ∗(G) is defined
as
Sμ∗(G) = min(m1,,m2,...,mp)(m1 + m2 + · · · + mp) if M(G) 6= ∅;
+∞ if M(G) = ∅.
In this paper we determine the star super edge magic deficiency
of certain classes of graphs.
description: Contributions to Discrete Mathematics, Vol 12, No 1 (2017)
Securing Asynchronous Exceptions
Creators: name: Cortiñas, Carlos Tomé
name: Vassena, Marco
name: Russo, Alejandro
Publisher: name: CISPA
Year: 2023

description: Language-based information-flow control (IFC) techniques often rely on special purpose, ad-hoc primitives to address different covert channels that originate in the runtime system, beyond the scope of language constructs. Since these piecemeal solutions may not compose securely, there is a need for a unified mechanism to control covert channels. As a first step towards this goal, we argue for the design of a general interface that allows programs to safely interact with the runtime system and the available computing resources. To coordinate the communication between programs and the runtime system, we propose the use of asynchronous exceptions (interrupts), which, to the best of our knowledge, have not been considered before in the context of IFC languages. Since asynchronous exceptions can be raised at any point during execution—often due to the occurrence of an external event—threads must temporarily mask them out when manipulating locks and shared data structures to avoid deadlocks and, therefore, breaking program invariants. Crucially, the naive combination of asynchronous exceptions with existing features of IFC languages (e.g., concurrency and synchronization variables) may open up new possibilities of information leakage. In this paper, we present MACasync, a concurrent, statically enforced IFC language that, as a novelty, features asynchronous exceptions. We show how asynchronous exceptions easily enable (out of the box) useful programming patterns like speculative ex- ecution and some degree of resource management. We prove that programs in MACasync satisfy progress-sensitive non-interference and mechanize our formal claims in the Agda proof assistant.
Optimal super dense coding over memory channels
Creators: name: Shadman, Zahra
name: Kampermann, Hermann
name: Macchiavello, Chiara
name: Bruß, Dagmar
Publisher: name: arXiv
Year: 2011
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study the super dense coding capacity in the presence of quantum channels with correlated noise. We investigate both the cases of unitary and non-unitary encoding. Pauli channels for arbitrary dimensions are treated explicitly. The super dense coding capacity for some special channels and resource states is derived for unitary encoding. We also provide an example of a memory channel where non-unitary encoding leads to an improvement in the super dense coding capacity.
description: 8 pages, 5 figures
α-Resolvable λ-fold G-designs
Creators: name: Gionfriddo, Mario
name: Lo Faro, Giovanni
name: Milici, Salvatore
name: Tripodi, Antoinette
Publisher: name: Faculty of Science, University of Calgary
Year: 2017
Subjects: α-resolvable G-design; α-parallel class

description: A λ-fold G-design is said to be α-resolvable if its blocks can be partitioned into classes such that every class contains each vertex exactly α times. In this paper we study the existence problem of an α-resolvable λ-fold G-design oforder v in the case when G is any connected subgraph of K_4 and prove that the necessary conditions for its existence are also sufficient.
description: Contributions to Discrete Mathematics, Vol 12, No 1 (2017)
Fine-Grained Complexity of Regular Expression Pattern Matching and Membership
Creators: name: Schepper, Philipp
Publisher: name: CISPA
Year: 2023

description: The currently fastest algorithm for regular expression pattern matching and membership improves the classical O(nm) time algorithm by a factor of about log^{3/2}n. Instead of focussing on general patterns we analyse homogeneous patterns of bounded depth in this work. For them a classification splitting the types in easy (strongly sub-quadratic) and hard (essentially quadratic time under SETH) is known. We take a very fine-grained look at the hard pattern types from this classification and show a dichotomy: few types allow super-poly-logarithmic improvements while the algorithms for the other pattern types can only be improved by a constant number of log-factors, assuming the Formula-SAT Hypothesis.
MOESM6 of Differential analysis of quantitative proteome and acetyl-proteome profiling between premenopausal and postmenopausal ovarian tissues
Creators: name: Yi, Jinling
name: Hu, Huatianshu
name: Shi, Peipei
name: Shi, Song
name: Zhao, Junda
name: Xu, Linna
name: Yang, Weining
name: Li, Bin
name: Zhu, Jin
name: Zou, Shien
Publisher: name: figshare
Year: 2018
Subjects: subject: Biophysics
subject: Biochemistry
subject: Physical Sciences not elsewhere classified
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified

description: Additional file 6: Figure S2.
Junior Management Science, Bd. 5 Nr. 4 (2020)
Creators: name: Junior Management Science
Publisher: name: Junior Management Science
Year: 2020

description: Economics of Hydrogen: Scenario-based Evaluation of the Power-to-Gas Technology...532-561 Leaders’ Resilience in the International Context...512-531 Die Quellenbesteuerung bei digitalen Transaktionen – Status quo und mögliche Handlungsalternativen...477-511 To Be Is to Do: Exploring How Founder Social and Role Identities Shape Strategic Decisions in New Venture Creation Process...452-476 The Effect of Gratitude on Individuals’ Effort – A Field Experiment...429-451 On the Analysis of Moral Hazard Using Experimental Studies...410-428
Supporting domain heterogeneous data sources for semantic integration
Creators: name: Xu, Jian
Publisher: name: University of British Columbia
Year: 2011

description: A SEMantic Integration System (SemIS) allows a query over one database to be answered using the knowledge managed in multiple databases in the system. It does so by translating a query across the collaborative databases in which data is autonomously managed in heterogeneous schemas. In this thesis, we investigate the challenges that arise in enabling domain heterogeneous (DH) databases to collaborate in a SemIS. In such a setting, distributed databases modeled as independent data sources are pairwise mapped to form the semantic overlay network (SON) of the SemIS. We study two problems we believe are foremost to allow a SemIS to integrate DH data sources. The first problem tackled in this thesis is to efficiently organize data sources so that query answering is efficient despite the increased level of source heterogeneity. This problem is modeled as an “Acquaintance Selection” problem and our solution helps data sources to choose appropriate acquaintances to create schema mappings with and therefore allows a SemIS to have a single-layered and flexible SON. The second problem tackled in this thesis is to allow aggregate queries to be translated across domain heterogeneous (DH) data sources where objects are usually represented and managed at different granularity. We focus our study on relational databases and propose novel techniques that allow a (non-aggregate) query to be answered by aggregations over objects at a finer granularity. The new query answering framework, named “decomposition aggregation query (DAQ)” processing, integrates data sources holding information in different domains and different granularity. New challenges are identified and tackled in a systematic way. We studied query optimizations for DAQ to provide efficient and scalable query processing. The solutions for both problems are evaluated empirically using real-life data and synthetic data sets. The empirical studies verified our theoretical claims and showed the feasibility, applicability (for real-life applications) and scalability of the techniques and solutions.
Comments on the Golden Partition Conjecture
Creators: name: Peczarski, Marcin Piotr
Publisher: name: Faculty of Science, University of Calgary
Year: 2017
Subjects: Poset; Linear extension; 1/3--2/3 Conjecture; Golden Partition Conjecture

description: We generalize the result of Zaguia that 1/3--2/3 Conjecture is satisfied by every N-free finite poset which is not a chain: we show a wider class of posets which satisfy the Golden Partition Conjecture. We generalize the result of Pouzet that 1/3--2/3 Conjecture is satisfied by every finite poset with a non-trivial automorphism: we show that such posets satisfy the Golden Partition Conjecture.
description: Contributions to Discrete Mathematics, Vol 12, No 1 (2017)
The nutritional quality of colobus vellerosus diet at the boabeng-fiema monkey sanctuary in Ghana
Creators: name: Tan, Evelyn Yee-Ling Chanida
Publisher: name: University of Calgary
Year: 2006

description: Bibliography: p. 114-123
description: Some pages are in colour.
description: The nutritional quality of foods is one important feature of habitat quality. For folivores, the protein-to-fiber ratio is a reliable predictor of food selection and folivore biomass and allows for comparisons between forests. I analyzed the nutritional quality of mature leaves eaten by Colobus vellerosus in three forests. This study fits well with previous research and there was a correlation between feeding time and the protein-to-fiber ratio. Surprisingly we found that food, nonfood, deciduous, evergreen, pioneer, and nonpioneer species had similar nutrient profiles. Seasonality and leaf longevity may have an overriding influence on leaf quality. Additionally, plants allocated nutrients evenly throughout plant parts because of their deciduous phenology pattern. Differences between forests were variable and may have been the result of ecological disturbance or soil quality. From a conservation perspective, nutritional studies allow us to assess the population viability of primates that are living in increasingly fragmented habitats.
Emerging Behavioral and Multi-Modal Biometric Approaches
Creators: name: Rahman, Md Wasiur
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Computer Science

description: Emerging behavioral biometrics play a vital role in situations where traditional biometrics may fail to identify the person correctly. This thesis focuses on designing new methods for biometric identification systems using emerging behavioral biometric characteristics such as EEG brain waves and Kinect gait. This research also develops multimodal biometric methods using the combination of emerging behavioral biometric characteristics with physiological biometric characteristics (such as face). The sub-goal of this research is to establish a relationship between a person's mental activity and a system identification accuracy. To fulfill this goal, this research studies overt and covert EEG signals. The second emerging behavioral biometric system is Kinect skeletal gait, where novelty of the work is in considering all possible joint-distance combinations. Finally, two multimodal systems are proposed and developed using the score-level fusion. The performance of the proposed identification systems is evaluated using five publicly available databases.
Solar magnetism eXplorer (SolmeX)
Creators: name: Peter, H.
name: Abbo, L.
name: Andretta, V.
name: Auchere, F.
name: Bemporad, A.
name: Berrilli, F.
name: Bommier, V.
name: Braukhane, A.
name: Casini, R.
name: Curdt, W.
name: Davila, J.
name: Dittus, H.
name: Fineschi, S.
name: Fludra, A.
name: Gandorfer, A.
name: Griffin, D.
name: Inhester, B.
name: Lagg, A.
name: Degl'Innocenti, E. Landi
name: Maiwald, V.
name: Sainz, R. Manso
name: Pillet, V. Martinez
name: Matthews, S.
name: Moses, D.
name: Parenti, S.
name: Pietarila, A.
name: Quantius, D.
name: Raouafi, N. -E.
name: Raymond, J.
name: Rochus, P.
name: Romberg, O.
name: Schlotterer, M.
name: Schuehle, U.
name: Solanki, S.
name: Spadaro, D.
name: Teriaca, L.
name: Tomczyk, S.
name: Bueno, J. Trujillo
name: Vial, J. -C.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Plasma Physics (physics.plasm-ph)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: The magnetic field plays a pivotal role in many fields of Astrophysics. This is especially true for the physics of the solar atmosphere. Measuring the magnetic field in the upper solar atmosphere is crucial to understand the nature of the underlying physical processes that drive the violent dynamics of the solar corona -- that can also affect life on Earth. SolmeX, a fully equipped solar space observatory for remote-sensing observations, will provide the first comprehensive measurements of the strength and direction of the magnetic field in the upper solar atmosphere. The mission consists of two spacecraft, one carrying the instruments, and another one in formation flight at a distance of about 200m carrying the occulter to provide an artificial total solar eclipse. This will ensure high-quality coronagraphic observations above the solar limb. Solmex integrates two spectro-polarimetric coronagraphs for off-limb observations, one in the EUV and one in the IR, and three instruments for observations on the disk. The latter comprises one imaging polarimeter in the EUV for coronal studies, a spectro-polarimeter in the EUV to investigate the low corona, and an imaging spectro-polarimeter in the UV for chromospheric studies. SOHO and other existing missions have investigated the emission of the upper atmosphere in detail (not considering polarization), and as this will be the case also for missions planned for the near future. Therefore it is timely that SolmeX provides the final piece of the observational quest by measuring the magnetic field in the upper atmosphere through polarimetric observations.
description: Submitted to Experimental Astronomy. 30 pages, 19 figures
Stenus votrubai Puthz 2014
Creators: name: Macháčková, Lenka
name: Mikátová, Šárka
name: Hájek, Jiří
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Staphylinidae
Stenus
Stenus votrubai

description: Stenus votrubai Puthz, 2014 Stenus votrubai Puthz, 2014b: 192, Figs 3, 4. The holotype and one paratype are deposited in NMPC (general collection): HOLOTYPE (♂, dissected genitalia mounted on a separate plastic card): ‘ INDONESIA, E KALIMANTAN / ca. 50 km W of BALIKPAPAN / PT Fajar Surya Swadaya [area] / 01º13.4’S, 116º22.6’E, 66 m / J. Hájek, J. Schneider & / P. Votruba leg. 27+ 30.xi.2011 [p] // stream in primary rainforest, / ca. 2m wide, sandy+mud bottom; / collecting in stream and tributaries, / on vegetation and dead wood [p] // ♂ [hw] - Holotypus [p] / [on reverse:] PUTHZ,2014 [hw, red label] // Stenus [p] / spec. / votrubai nov. [hw] / det. Puthz 201 [p] 4 [hw] ’. PARATYPE (♀): ‘ INDONESIA, E KALIMANTAN / ca. 50 km W of BALIKPAPAN / PT Fajar Surya Swadaya [area] / 01º13.4’S, 116º22.6’E, 66 m / J. Hájek, J. Schneider & / P. Votruba leg. 27+ 30.xi.2011 [p] // stream in primary rainforest, / ca. 2m wide, sandy+mud bottom; / collecting in stream and tributaries, / on vegetation and dead wood [p] // ♀ - Paratypus [p] / [on reverse:] PUTHZ / 2014 [hw, orange label] // Stenus [p] / votrubai sp. n. [hw] / det. Puthz 201 [p] 4 [hw] ’. Current status. Valid species.
description: Published as part of Macháčková, Lenka, Mikátová, Šárka & Hájek, Jiří, 2017, Catalogue of type specimens of beetles (Coleoptera) deposited in the National Museum, Prague, Czech Republic, pp. 791-834 in Acta Entomologica Musei Nationalis Pragae (Acta. Ent. Mus. Natl. Pragae) (Acta. Ent. Mus. Natl. Pragae) 57 (2) on page 827, DOI: 10.1515/aemnp-2017-0101, http://zenodo.org/record/5318735
description: {"references": ["PUTHZ V. 2014 b: Vier neue Stenus-Arten. Mitteilungen des Internationalen Entomologischen Vereins 39: 187 - 195."]}
Some non-existence results for distance-$j$ ovoids in small generalized polygons
Creators: name: Bishnoi, Anurag
name: Ihringer, Ferdinand
Publisher: name: Faculty of Science, University of Calgary
Year: 2017
Subjects: Generalized Polygon; Ovoid; Exact Cover

description: We give a computer-based proof for the non-existence of distance-$2$ ovoids in the dual split Cayley hexagon $\mathsf{H}(4)^D$.   Furthermore, we give upper bounds on partial distance-$2$ ovoids of $\mathsf{H}(q)^D$ for $q \in \{2, 4\}$.
description: Contributions to Discrete Mathematics, Vol 12, No 1 (2017)
Characterizations and algorithms for generalized Cops and Robbers games
Creators: name: Bonato, Anthony
name: MacGillivray, Gary
Publisher: name: Faculty of Science, University of Calgary
Year: 2017

description: We propose a definition of generalized Cops and Robbers games where there are two players, the Pursuer and the Evader, who each move via prescribed rules. If the Pursuer can ensure that the gameenters into a fixed set of final positions, then the Pursuer wins; otherwise, the Evader wins. A relational characterization of the games where the Pursuer wins is provided. A precise formula isgiven for the length of the game, along with an algorithm for computing if the Pursuer has a winning strategy whose complexity is a function of the parameters of the game. For games where theposition of one player does not affect the available moves of he other, a vertex elimination ordering characterization, analogous to a cop-win ordering, is given for when the Pursuer has a winningstrategy.
description: Contributions to Discrete Mathematics, Vol 12, No 1 (2017)
Additional file 3 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 3: Table S2. Comparison ofdifferent dominant follicle diameter of rLH added groups.
Exact Black Holes and Universality in the Backreaction of non-linear Sigma Models with a potential in (A)dS4
Creators: name: Anabalon, Andres
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The aim of this paper is to construct accelerated, stationary and axisymmetric exact solutions of the Einstein theory with self interacting scalar fields in (A)dS4. To warm up, the backreaction of the (non)-minimally coupled scalar field is solved, the scalar field equations are integrated and all the potentials compatible with the metric ansatz and Einstein gravity are found. With these results at hand the non-linear sigma model is tackled. The scalar field Lagrangian is generic; neither the coupling to the curvature, neither the metric in the scalar manifold nor the potential, are fixed ab initio. The unique assumption in the analysis is the metric ansatz: it has the form of the most general Petrov type D vacuum solution of general relativity; it is a a cohomogeneity two Weyl rescaling of the Carter metric and therefore it has the typical Plebanski-Demianski form with two arbitrary functions of one variable and one arbitrary functions of two variables. It is shown, by an straightforward manipulation of the field equations, that the metric is completely integrable without necessity of specifiying anything in the scalar Lagrangian. This results in that the backreaction of the scalar fields, within this class of metrics, is universal. The metric functions generically show an explicit dependence on a dynamical exponent that allows to smoothly connect this new family of solutions with the actual Plebanski-Demianski spacetime. The remaining field equations imply that the scalar fields follow geodesics in the scalar manifold with an affine parameter given by a non-linear function of the spacetime coordinates and define the on-shell form of the potential plus a functional equation that it has to satisfy. Finally, a general family of (A)dS4 static hairy black holes is explicitly constructed and its properties are outlined.
description: Several typos corrected
A Combinatorial Approach to Quantum Random Functions
Creators: name: Döttling, Nico
name: Malavolta, Giulio
name: Pu, Sihang
Publisher: name: CISPA
Year: 2023

description: Quantum pseudorandom functions (QPRFs) extend the classical security of a PRF by allowing the adversary to issue queries on input superpositions. Zhandry [Zhandry, FOCS 2012] showed a separation between the two notions and proved that common construction paradigms are also quantum secure, albeit with a new ad-hoc analysis. In this work we revisit the question of constructing QPRFs and propose a new method starting from small-domain (classical) PRFs: At the heart of our approach is a new domain-extension technique based on bipartite expanders. Interestingly, our analysis is almost entirely classical. As a corollary of our main theorem, we obtain the first (approximate) key-homomorphic quantum PRF based on the quantum intractability of the learning with errors problem.
Closing the Gap: Eternal Domination on 3 x n Grids
Creators: name: Messinger, Margaret-Ellen
Publisher: name: Faculty of Science, University of Calgary
Year: 2017
Subjects: graph protection; all guards move; m-eternal domination

description: The domination number for grid graphs has been a long studied problem; the first results appeared over thirty years ago [Jacobson 1984] and the final results appeared in 2013 [Goncalves 2013]. Grid graphs are a natural class of graphs to consider for the eternal dominating set problem as the domination number forms a lower bound for the eternal domination number.  The 3 x n grid has been considered in several papers, and the difference between the upper and lower bounds for the eternal domination number in the all-guards move model has been reduced to a linear function of n. In this short paper, we provide an upper bound for the eternal domination number which exceeds the lower bound by at most 3.
description: Contributions to Discrete Mathematics, Vol 12, No 1 (2017)
A Fast and Simple Algorithm for Training Neural Probabilistic Language Models
Creators: name: Mnih, Andriy
name: Teh, Yee Whye
Publisher: name: arXiv
Year: 2012
Subjects: subject: Computation and Language (cs.CL)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: In spite of their superior performance, neural probabilistic language models (NPLMs) remain far less widely used than n-gram models due to their notoriously long training times, which are measured in weeks even for moderately-sized datasets. Training NPLMs is computationally expensive because they are explicitly normalized, which leads to having to consider all words in the vocabulary when computing the log-likelihood gradients. We propose a fast and simple algorithm for training NPLMs based on noise-contrastive estimation, a newly introduced procedure for estimating unnormalized continuous distributions. We investigate the behaviour of the algorithm on the Penn Treebank corpus and show that it reduces the training times by more than an order of magnitude without affecting the quality of the resulting models. The algorithm is also more efficient and much more stable than importance sampling because it requires far fewer noise samples to perform well. We demonstrate the scalability of the proposed approach by training several neural language models on a 47M-word corpus with a 80K-word vocabulary, obtaining state-of-the-art results on the Microsoft Research Sentence Completion Challenge dataset.
description: Appears in Proceedings of the 29th International Conference on Machine Learning (ICML 2012)
Reservoir Characterization Using Well Logs and Digitized Core Images: A Case Study from the Montney Formation
Creators: name: Sun, Yu
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Engineering--Petroleum

description: Tight reservoirs typically have low permeability (<0.1 mD) and small scale (mms-cm) heterogeneity, which are difficult to characterize using conventional methods. The aim of this study is to develop a reliable permeability predictor and to characterize the small scale heterogeneity based on a limited petrophysical dataset from the finely laminated tight gas formation, the Montney Formation. Three approaches, multiple variable regression, empirical model and artificial neural networks (ANNs), have been used to predict permeability based on well logs. The ANN developed from the workflow produces predictions for permeability with R2 = 0.99 and mean square errors equal to 0.0069, which is more accurate than the other two methods. A digital image analysis program is developed in Matlab, which can correct the effects of fractures, converts the image into gray value data and identifies the locations and thicknesses of laminations. By analyzing the digitized image data, lamination scale heterogeneity can be quantitatively characterized. By incorporating the gray values into the ANN, the network’s ability to generalize is much improved, increasing the test set R2 value from 0.26 to 0.89.
Lossiness and Entropic Hardness for Ring-LWE
Creators: name: Brakerski, Zvika
name: Döttling, Nico
Publisher: name: CISPA
Year: 2023

description: The hardness of the Ring Learning with Errors problem (RLWE) is a central building block for efficiency-oriented lattice-based cryptography. Many applications use an “entropic” variant of the problem where the so-called “secret” is not distributed uniformly as prescribed but instead comes from some distribution with sufficient min-entropy. However, the hardness of the entropic variant has not been substantiated thus far. For standard LWE (not over rings) entropic results are known, using a “lossiness approach” but it was not known how to adapt this approach to the ring setting. In this work we present the first such results, where entropic security is established either under RLWE or under the Decisional Small Polynomial Ratio (DSPR) assumption which is a mild variant of the NTRU assumption. In the context of general entropic distributions, our results in the ring setting essentially match the known lower bounds (Bolboceanu et al., Asiacrypt 2019; Brakerski and Döttling, Eurocrypt 2020).