cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Medieval Hebrew manuscripts in Italian bookhand version 1.0
Creators: name: EZRA, Daniel STOEKL BEN
Publisher: name: Zenodo
Year: 2021
Subjects: kraken_pytorch

description: This model for Medieval Hebrew manuscripts in Italian bookhand was trained on the Italian part of the dataset published here: https://zenodo.org/record/5167263 on top of a previous generalized model. For the editorial markup for additions, deletions, linefillers and abbreviations see the article by Stökl Ben Ezra, Daniel; Brown-DeVost, Bronson; Jablonski, Pawel; Kiessling, Benjamin; Lolli, Elena; Lapin, Hayim: "BiblIA - a general model for Medieval Hebrew manuscripts and an open annotated dataset published in The 6th International Workshop on Historical Document Imaging and Processing (HIP \'21) (HIP@ICDAR), Lausanne, Switzerland, September 5-6, 2021.
Turbulent patterns in wall-bounded flows: a Turing instability?
Creators: name: Manneville, Paul
Publisher: name: arXiv
Year: 2012
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Physical sciences

description: In their way to/from turbulence, plane wall-bounded flows display an interesting transitional regime where laminar and turbulent oblique bands alternate, the origin of which is still mysterious. In line with Barkley's recent work about the pipe flow transition involving reaction-diffusion concepts, we consider plane Couette flow in the same perspective and transform Waleffe's classical four-variable model of self-sustaining process into a reaction-diffusion model. We show that, upon fulfillment of a condition on the relative diffusivities of its variables, the featureless turbulent regime becomes unstable against patterning as the result of a Turing instability. A reduced two-variable model helps us to delineate the appropriate region of parameter space. An {\it intrinsic} status is therefore given to the pattern's wavelength for the first time. Virtues and limitations of the model are discussed, calling for a microscopic support of the phenomenological approach.
description: to appear in Europhysics Letters in a different format
Using Next-Generation Sequencing to Identify Genes Mutated in Human Disorders
Creators: name: Barclay, Sarah
Publisher: name: Graduate Studies
Year: 2017
Subjects: subject: Bioinformatics
subject: FOS: Computer and information sciences
subject: Genetics
subject: FOS: Biological sciences
subject: Medicine and Surgery
subject: Rapid-Onset Obesity
subject: Hypoventilation
subject: Hypothalamic Dysfunction
subject: Autonomic Dysregulation
subject: Developmental Topographical Disorientation
subject: Exome Sequencing
subject: Negative Results
subject: Next-Generation Sequencing

description: Next-generation sequencing – and, in particular, exome sequencing, the targeted application of next-generation sequencing to the coding portion of the genome – appeared on the scene, in the last decade, as a promising new way of efficiently searching for and successfully identifying causative mutations in human disease. I have applied exome sequencing to the study of two human traits. The first is ROHHAD (Rapid-Onset Obesity with Hypoventilation, Hypothalamic Dysfunction and Autonomic Dysregulation), a rare, complex, and potentially fatal pediatric syndrome. The second is DTD (Developmental Topographical Disorientation), a novel behavioural phenotype in which individuals are unable to effectively navigate their surroundings. Though the two phenotypes themselves have little in common, they are united in the fact that both are believed to have a genetic basis, and are therefore candidates for the application of exome sequencing to search for causative mutations. The research described in this thesis has applied exome sequencing to both ROHHAD and DTD to search for causative mutations. In neither case were we able to identify causative genes, but in both cases we were able to rule out several genetic hypotheses (rare coding mutations across most of the genome), and, perhaps most importantly, we were able to rule out exome sequencing as a means of identifying disease-causing mutations for these traits. In addition to ruling out major hypotheses as to the underlying bases of these two traits, thus clearing the way for the exploration of additional hypotheses, the ROHHAD and DTD studies also provided informative illustrations of next-generation sequencing studies that do not identify causative genes. Together, they provided a framework for reporting negative results from next-generation sequencing studies, highlighting the importance of clearly reporting the data-quality, as well as ways to limit the number of false positive variant calls and considerations for the effective filtering of DNA sequence variants to ensure that the search for disease-causing candidates has been as thorough as possible.
Query Driven Visualization
Creators: name: Buddelmeijer, Hugo
name: Valentijn, Edwin A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Software Engineering (cs.SE)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: The request driven way of deriving data in Astro-WISE is extended to a query driven way of visualization. This allows scientists to focus on the science they want to perform, because all administration of their data is automated. This can be done over an abstraction layer that enhances control and flexibility for the scientist.
description: 4 pages, Procedings ADASS XXI, ASP Conference Series
SampleFix: Learning to Correct Programs by Sampling Diverse Fixes
Creators: name: Hajipour, Hossein
name: Bhattacharyya, Apratim
name: Fritz, Mario
Publisher: name: CISPA
Year: 2023

description: Automatic program correction is an active topic of research, which holds the potential of dramatically improving productivity of programmers during the software development process and correctness of software in general. Recent advances in machine learning, deep learning and NLP have rekindled the hope to eventually fully automate the process of repairing programs. A key challenge is ambiguity, as multiple codes -- or fixes -- can implement the same functionality. In addition, datasets by nature fail to capture the variance introduced by such ambiguities. Therefore, we propose a deep generative model to automatically correct programming errors by learning a distribution of potential fixes. Our model is formulated as a deep conditional variational autoencoder that samples diverse fixes for the given erroneous programs. In order to account for ambiguity and inherent lack of representative datasets, we propose a novel regularizer to encourage the model to generate diverse fixes. Our evaluations on common programming errors show for the first time the generation of diverse fixes and strong improvements over the state-of-the-art approaches by fixing up to 65% of the mistakes.
Magnetic field amplification in electron phase-space holes and related effects
Creators: name: Treumann, R. A.
name: Baumjohann, W.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Space Physics (physics.space-ph)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Three-dimensional electron phase space holes are shown to be positive charges on the plasma background which produce a radial electric field and force the trapped electron component into an azimuthal drift. In this way electron holes generate magnetic fields in the hole. We solve the cylindrical hole model exactly for the hole charge, electric potential and magnetic field. In electron holes, the magnetic field is amplified on the flux tube of the hole; equivalently, in ion holes the field would be decreased. The flux tube adjacent to the electron hole is magnetically depleted by the external hole dipole field. This causes magnetic filamentation. It is also shown that holes are massive objects, each carrying a finite magnetic moment. Binary magnetic dipole interaction of these moments will cause alignment of the holes into chains along the magnetic field or, in the three-dimensional case, produce a magnetic fabric in the volume of hole formation. Since holes, in addition to being carriers of charges and magnetic moments, also have finite masses, they behave like quasi-particles, performing ExB, magnetic field, and diamagnetic drifts. In an inhomogeneous magnetic field, their magnetic moments experience torque which causes nutation of the hole around the direction of the magnetic field presumably giving rise to low frequency magnetic modulations like pulsations. A gas of many such holes may allow for a kinetic description in which holes undergo binary dipole interactions. This resembles the polymeric behaviour. Both magnetic field generation and magnetic structure formation is of interest in auroral, solar coronal and shock physics, in particular in the problem of magnetic field filamentation in relativistic foreshocks and cosmic ray acceleration.
description: 13 pages, 4 figures, Ann Geophys in press
Elastic, dielectric and piezoelectric anomalies and Raman spectroscopy of 0.5Ba(Ti0.8Zr0.2)O3-0.5(Ba0.7Ca0.3)TiO3
Creators: name: Damjanovic, Dragan
name: Biancoli, Alberto
name: Batooli, Leili
name: Vahabzadeh, Amirhossein
name: Trodahl, Joe
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The solid solution 0.5Ba(Ti0.8Zr0.2)O3-0.5(Ba0.7Ca0.3)TiO3 (BCZT) is a promising lead-free piezoelectric material with exceptionally high piezoelectric coefficients. The strong response is related to structural instabilities close to ambient temperature. We report here on temperature-induced anomalies in the dielectric, piezoelectric, and elastic coefficients and Raman spectroscopy of ceramic BCZT. The data indicate ferroelectric-ferroelectric structural phase transitions in this material in addition to those previously reported. An anomaly is also observed above the Curie temperature TC and is associated with the loss of polar structure that persists thirty degrees above TC.
How to Win First-Order Safety Games
Creators: name: Seidl, Helmut
name: Müller, Christian
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: First-order (FO) transition systems have recently attracted attention for the verification of parametric systems such as network protocols, software-defined networks or multi-agent workflows like conference management systems. Functional correctness or noninterference of these systems have conveniently been formulated as safety or hypersafety properties, respectively. In this article, we take the step from verification to synthesis---tackling the question whether it is possible to automatically synthesize predicates to enforce safety or hypersafety properties like noninterference. For that, we generalize FO transition systems to FO safety games. For FO games with monadic predicates only, we provide a complete classification into decidable and undecidable cases. For games with non-monadic predicates, we concentrate on universal first-order invariants, since these are sufficient to express a large class of properties---for example noninterference. We identify a non-trivial sub-class where invariants can be proven inductive and FO winning strategies be effectively constructed. We also show how the extraction of weakest FO winning strategies can be reduced to SO quantifier elimination itself. We demonstrate the usefulness of our approach by automatically synthesizing nontrivial FO specifications of messages in a leader election protocol as well as for paper assignment in a conference management system to exclude unappreciated disclosure of reports.
Specialty Grocery Wholesaling: Structure and Performance
Creators: name: Epps, Walter B.
name: Epps, Walter B.
Publisher: name: Unknown
Year: 1986
Subjects: subject: Industrial Organization
subject: Labor and Human Capital
subject: Marketing
subject: FOS: Economics and business
subject: Productivity Analysis
subject: Market structure
subject: market performance
subject: wholesale grocery merchant
subject: perishable foods

description: Specialty grocery merchants sell more food at wholesale than any other group of wholesale vendors, according to this benchmark study of the industry. The typical specialty grocery merchant is a supplier of perishable foods who runs a low-volume wholesale operation with few employees, handles one product line, supplies particular customers, trades with other wholesale vendors, and offers specialized services. Small specialty establishments predominate, but changes in marketing channels, such as processors selling directly to retail clients, may reduce the demand for services of small specialty merchants.
A Systematic review protocol on workplace equality and inclusion practices in the healthcare sector
Creators: name: Ni Luasa, Siobhan
name: RYAN, NUALA
name: Lynch, Raymond
Publisher: name: University of Limerick
Year: 2023
Subjects: subject: Education
subject: Health sciences
subject: FOS: Health sciences

description: Introduction While equality and inclusion practices in healthcare have been advanced from a service user perspective, little is known about the application of workplace equality and inclusion practices in healthcare on upper-middle-income and high-income countries. In the developed world, the composition of the healthcare workforce is changing, with nationals and non-nationals working ‘side-by-side’ suggesting that healthcare organisations must have robust and meaningful workplace equality and inclusion practices. Healthcare organisations who welcome and value all their employees are more creative and productive, which can lead to better quality of care. Additionally, staff retention is maximised, and workforce integration will succeed. In view of this, this study aims to identify and synthesise current best evidence relating to workplace equality and inclusion practices in the healthcare sector in middle-income and high-income economies. Methods and analysis Using the Population, Intervention, Comparison and Outcome (PICO) framework, a search of the following databases will be made—MEDLINE, CINAHL, EMBASE, SCOPUS, PsycInfo, Business Source Complete and Google Scholar—using Boolean terms to identify peer-reviewed literatures concerning workplace equality and inclusion in healthcare from January 2010 to 2022. A thematic approach will be employed to appraise and analyse the extracted data with the view to assessing what is workplace equality and inclusion; why it is important to promote workplace equality and inclusion in healthcare; how can workplace equality and inclusion practices be measured in healthcare; and how can workplace equality and inclusion be advanced in health systems. Ethics and dissemination Ethical approval is not required. Both a protocol and a systematic review paper are to be published concerning workplace equality and inclusion practices in the healthcare sector.
The Higgs sector of the munuSSM and collider physics
Creators: name: Fidalgo, Javier
name: Lopez-Fogliani, Daniel E.
name: Munoz, Carlos
name: de Austri, Roberto Ruiz
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The $μν$SSM is a supersymmetric standard model that accounts for light neutrino masses and solves the $μ$ problem of the MSSM by simply using right-handed neutrino superfields. Since this mechanism breaks R-parity, a peculiar structure for the mass matrices is generated. The neutral Higgses are mixed with the right- and left-handed sneutrinos producing 8$\times$8 neutral scalar mass matrices. We analyse the Higgs sector of the $μν$SSM in detail, with special emphasis in possible signals at colliders. After studying in general the decays of the Higges, we focus on those processes that are genuine of the $μν$SSM, and could serve to distinguish it from other supersymmetric models. In particular, we present viable benchmark points for LHC searches. For example, we find decays of a MSSM-like Higgs into two lightest neutralinos, with the latter decaying inside the detector leading to displaced vertices, and producing final states with 4 and 8 $b$-jets plus missing energy. Final states with leptons and missing energy are also found.
description: Final version to appear in JHEP. The discussion on signals at colliders, expanded. 33 pages, 8 figures and 9 tables
Efficient fluorescence collection and ion imaging with the "tack" ion trap
Creators: name: Shu, G.
name: Chou, C. -K.
name: Kurz, N.
name: Dietrich, M. R.
name: Blinov, B. B.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Quantum Physics (quant-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Trapped, laser-cooled ions produce intense fluorescence. Detecting this fluorescence enables efficient measurement of quantum state of qubits based on trapped atoms. It is desirable to collect a large fraction of the photons to make the detection faster and more reliable. Additionally, efficient fluorescence collection can improve speed and fidelity of remote ion entanglement and quantum gates. Here we show a novel ion trap design that incorporates metallic spherical mirror as the integral part of the trap itself, being its RF electrode. The mirror geometry enables up to 35% solid angle collection of trapped ion fluorescence; we measure a 25% effective solid angle, likely limited by imperfections of the mirror surface. We also study properties of the images of single ions formed by the mirror and apply aberration correction. Owing to the simplicity of its design, this trap structure can be adapted for micro-fabrication and integration into more complex trap architectures.
description: 9 pages, 6 figures
title: On the stable estimation of flow geometry and wall shear stress from magnetic resonance images
Creators: name: Egger, Herbert
name: Teschner, Gabriel
Publisher: name: IOP Publishing
Year: 2021

description: We consider the stable reconstruction of flow geometry and wall shear stress from measurements obtained by magnetic resonance imaging (MRI). As noted in a review article by Petersson, most approaches considered so far in the literature seem to not be satisfactory. We therefore propose a systematic reconstruction procedure that allows us to obtain stable estimates of flow geometry and wall shear stress and we are able to quantify the reconstruction errors in terms of bounds for the measurement errors under reasonable smoothness assumptions. A complete analysis of our approach is given in the framework of regularization methods. In addition, we briefly discuss the implementation of our method and we demonstrate its viability, accuracy, and regularizing properties for experimental data.
Controller Synthesis for Hyperproperties
Creators: name: Bonakdarpour, B.
name: Finkbeiner, B.
Publisher: name: CISPA
Year: 2023

description: We investigate the problem of controller synthesis for hyperproperties specified in the temporal logic HyperLTL. Hyperproperties are system properties that relate multiple execution traces. Hyperproperties can elegantly express information-flow policies like noninterference and observational determinism. The controller synthesis problem is to automatically design a controller for a plant that ensures satisfaction of a given specification in the presence of the environment or adversarial actions. We show that the controller synthesis problem is decidable for HyperLTL specifications and finite-state plants. We provide a rigorous complexity analysis for different fragments of HyperLTL and different system types: tree-shaped, acyclic, and general graphs.
Additional file 1: of Whole-genome sequencing and analysis of Plasmodium falciparum isolates from China-Myanmar border area
Creators: name: Shen, Hai-Mo
name: Chen, Shen-Bo
name: Cui, Yan-Bing
name: Xu, Bin
name: Kassegne, Kokouvi
name: Abe, Eniola
name: Wang, Yue
name: Chen, Jun-Hu
Publisher: name: figshare
Year: 2018
Subjects: subject: Physical Sciences not elsewhere classified
subject: Genetics
subject: FOS: Biological sciences
subject: Evolutionary Biology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified

description: Multilingual abstracts in the five official working languages of the United Nations. (PDF 899 kb)
Explainable Reactive Synthesis
Creators: name: Baumeister, Tom
name: Finkbeiner, Bernd
name: Torfah, Hazem
Publisher: name: CISPA
Year: 2023

description: Reactive synthesis transforms a specification of a reactive system, given in a temporal logic, into an implementation. The main advantage of synthesis is that it is automatic. The main disadvantage is that the implementation is usually very difficult to understand. In this paper, we present a new synthesis process that explains the synthesized implementation to the user. The process starts with a simple version of the specification and a corresponding simple implementation. Then, desired properties are added one by one, and the corresponding transformations, repairing the implementation, are explained in terms of counterexample traces. We present SAT-based algorithms for the synthesis of repairs and explanations. The algorithms are evaluated on a range of examples including benchmarks taken from the SYNTCOMP competition.
Medieval Hebrew manuscripts in Sephardi bookhand version 1.0
Creators: name: EZRA, Daniel STOEKL BEN
Publisher: name: Zenodo
Year: 2021
Subjects: kraken_pytorch

description: This model for Medieval Hebrew manuscripts in Sephardi bookhand was trained on the Sephardi part of the dataset published here: https://zenodo.org/record/5167263 on top of a previous generalized model. For the editorial markup for additions, deletions, linefillers and abbreviations see the article by Stökl Ben Ezra, Daniel; Brown-DeVost, Bronson; Jablonski, Pawel; Kiessling, Benjamin; Lolli, Elena; Lapin, Hayim: "BiblIA - a general model for Medieval Hebrew manuscripts and an open annotated dataset published in The 6th International Workshop on Historical Document Imaging and Processing" (HIP '21) (HIP@ICDAR), Lausanne, Switzerland, September 5-6, 2021.
Photometric and Spectroscopic Study of Abell 0671
Creators: name: Pan, Zhizheng
name: Yuan, Qirong
name: Kong, Xu
name: Fan, Dongxin
name: Zhou, Xu
name: Lin, Xuanbin
Publisher: name: arXiv
Year: 2011
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: In this paper we present a photometric and spectroscopic study of the nearby galaxy cluster Abell 0671 (A671) with 15 intermediate-band filters in the Beijing-Arizona-Taiwan-Connecticut (BATC) system and the Sloan Digital Sky Survey (SDSS) data. The photometric redshift technique is applied to the galaxy sample for further membership determination. After the color-magnitude relation is taken into account, 97 galaxies brighter than h_batc=19.5 mag are selected as new member galaxies. Based on the enlarged sample of cluster galaxies, spatial distribution, dynamics of A671 are investigated. The substructures of A671 are well shown by the sample of bright members, but it appears less significant based on the enlarged sample, which is mainly due to larger uncertainties in the light-of-sight velocities of the newly-selected faint members. The SDSS r-band luminosity function of A671 is flat at faint magnitudes, with the faint end slope parameter alpha=-1.12. The SDSS spectra allow us to investigate the star formation history of bright cluster galaxies, and the galaxies in the core region are found to be older than those in the outskirts. No environmental effect is found for metallicities of the early-type galaxies (ETGs). The positive correlation between age and stellar mass supports the downsizing scenario. By comparing ETG absorption-line indices with the state-of-art stellar population models, we derive the relevant parameters of simple stellar population (such as age, [Fe/H], [Mg/Fe], [C/Fe], [N/Fe], and [Ca/Fe]). The ETGs at cluster center tend to have smaller hb indices, indicating that central ETGs are likely to be older. The distribution of total metallicity indicator, [MgFe]', does not show any environmental effects. The relations between the simple stellar population parameters and velocity dispersion in A671 are in good agreement with previous studies.
description: 14 pages, 12 figures. Submitted to MNRAS. Accepted 2011 September 27. Received 2011 September 26; in original form 2011 May 27
title: Gradual reset and set characteristics in yttrium oxide based resistive random access memory
Creators: name: Petzold, Stefan
name: Piros, Eszter
name: Sharath, Sankaramangalam Ulhas
name: Zintler, Alexander
name: Hildebrandt, Erwin
name: Molina-Luna, Leopoldo
name: Wenger, Christian
name: Alff, Lambert
Publisher: name: IOP Publishing
Year: 2021

description: This paper addresses the resistive switching behavior in yttrium oxide based resistive random access memory (RRAM) (TiN/yttrium oxide/Pt) devices. We report the coexistence of bipolar and unipolar resistive switching within a single device stack. For bipolar DC operation, the devices show gradual set and reset behavior with resistance ratio up to two orders of magnitude. By using nanosecond regime pulses (20 to 100 ns pulse width) of constant voltage amplitude, this gradual switching behavior could be utilized in tuning the resistance during set and reset spanning up to two orders of magnitude. This demonstrates that yttrium oxide based RRAM devices are alternative candidates for multibit operations and neuromorphic applications.
Two new computer based results in game theory related to combinatorial games and Nash equilibria
Creators: name: Oudalov, Vladimir
Publisher: name: No Publisher Supplied
Year: 2013

description: This thesis consists of two chapters.The first chapter is about the new version of NIM recently introduced by Gurvichtogether with a generalization of the minimal excludant function (mex). This gameNIM(a,b) is played with two piles of matches. Two players alternate turns. By onemove, each player can take either “almost the same” number of matches from each pile(the difference of the two numbers is strictly less thana) or any number of matches fromone pile and strictly less thanbfrom the other. This game further extends Fraenkel’sNIM = NIM(a,1), which, in its turn, is a generalization of the classic Wythoff NIM =NIM(1,1).Gurvich introduced a generalization mexbof the standard minimum excludant mex =mex1defining mexb(S⊂Z+) = min{n:∀s∈S s≤n⇒s+b≤n}. He also showedthat P-positions (the kernel) of NIM(a,b) are given by the following recursion:xn= mexb({xi,yi|0≤i < n}), yn=xn+an;n≥0,and conjectured that for alla,bthe limits`(a,b) =xn(a,b)/nexist and are irrationalalgebraic numbers. Here we prove it showing that`(a,b) =ar−1, wherer >1 is the Perron root of the polynomialP(z) =zb+1−z−1−a−1∑i=1zdib/ae,wheneveraandbare coprime; furthermore, it is known that`(ka,kb) =k`(a,b).In particular,`(a,1) =αa=12(2−a+√a2+ 4). In 1982, Fraenkel introducedthe game NIM(a) = NIM(a,1), obtained the above recursion and solved it explicitlygettingxn=bαanc, yn=xn+an=b(αa+a)nc. Here we provide a polynomial timealgorithm based on the Perron-Frobenius theory solving game NIM(a,b), although wehave no explicit formula for its kernel.The second chapter of the thesis is about the existence of Nash equilibria (NE) inpure stationary strategies inn-person positional games with no moves of chance, withperfect information, and with the mean or total effective cost function.We construct a NE-free three-person game with positive local costs, disproving theconjecture suggested by Boros and Gurvich in Math. Soc. Sci. 46 (2003) 207-241.Still, the following four problems remain open:Whether NE exist in alltwo-person games with total effective costs such that (I) alllocal costs are strictly positive or (II) without directed cycles of the cost zero?If NE exist in alln-person games with the terminal (transition-free) cost functions,provided all directed cycles form a unique outcomecand (III) assuming thatcis worsethan any terminal outcome or (IV) without this assumption?Forn= 3 cases (I) and (II) are answered in the negative, while forn= 2 cases(III) and (IV) are proven. We briefly survey other negative and positive results onNash-solvability in pure stationary strategies for the games under consideration.
A Case Study on Leadership in a Transnational Landscape of Practice
Creators: name: Kay, Douglas William
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Education--Higher

description: The purpose of this qualitative single case study was to explore the nature of leadership that emerged within a higher education-based community of practice engaged in the process of developing an interprofessional teaching and learning initiative between nursing and medical students. The setting of this initiative was located in one country in the Arabian Gulf Region in the Middle East. This study was situated in a unique setting as it involved a group of North American-based faculty and academic support staff members piloting an experiential teaching and learning experience within a transnational higher education context. This study was set within a wider landscape where several North American-based universities had established transnational branch campuses in this particular country in the Arabian Gulf Region. As such, it was the first identified study of its kind that had been conducted within this situated context. This study had an emphasis on investigating leadership representation within an interprofessional community of practice and the impact this had on the sustainability of the community throughout their first collective iteration of engagement and potentially beyond. Qualitative data sources collected for this study included individual interviews, meeting observations, and field note documentation captured from community participants throughout the research period. Data analysis followed a social anthropological approach that is aligned with the exploration and investigation of group processes and dynamics within an authentic working environment. This single case study offered a conceptual rationale that situated the research context within a review of literature relating to leadership in the areas of transnational higher education, the scholarship of teaching and learning, communities of practice and situated learning. Further positioning of this research offered a review of literature on community of practice systems conveners and distributed leadership. These were two forms of organizational leadership in alignment with operational aspects of communities of practice in the situated context of this study.
title: Stability predictions of magnetic M₂AX compounds
Creators: name: Ohmer, Dominik
name: Opahle, Ingo
name: Singh, Harish Kumar
name: Zhang, Hongbin
Publisher: name: IOP Publishing
Year: 2021

description: Based on high throughput density functional theory calculations, we evaluated systematically the stability of 580 M₂AX compounds. The thermodynamic, mechanical, and dynamical stability and the magnetic structure are calculated. We found 20 compounds fulfilling all three stability criteria, confirming Cr₂AlC, Cr₂GeC, Cr₂GaC, Cr₂GaN, and Mn₂GaC, which have been synthesized. The stability trends with respect to the M- and A-elements are discussed by analyzing the formation energies, indicating that Cr and Mn containing M₂AX compounds are more stable than Fe, Co, or Ni containing compounds. Further insights on the stability are obtained by detailed analysis of the crystal orbital Hamilton population (COHP).
Local transient rheological behavior of concentrated suspensions
Creators: name: Blanc, Frédéric
name: Peters, François
name: Lemaire, Elisabeth
Publisher: name: arXiv
Year: 2011
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: This paper reports experiments on the shear transient response of concentrated non-Brownian suspensions. The shear viscosity of the suspensions is measured using a wide-gap Couette rheometer equipped with a Particle Image Velocimetry (PIV) device that allows measuring the velocity field. The suspensions made of PMMA particles (31$μ$m in diameter) suspended in a Newtonian index- and density-matched liquid are transparent enough to allow an accurate measurement of the local velocity for particle concentrations as high as 50%. In the wide-gap Couette cell, the shear induced particle migration is evidenced by the measurement of the time evolution of the flow profile. A peculiar radial zone in the gap is identified where the viscosity remains constant. At this special location, the local particle volume fraction is taken to be the mean particle concentration. The local shear transient response of the suspensions when the shear flow is reversed is measured at this point where the particle volume fraction is well defined. The local rheological measurements presented here confirm the macroscopic measurements of Gadala-Maria and Acrivos (1980). After shear reversal, the viscosity undergoes a step-like reduction, decreases slower and passes through a minimum before increasing again to reach a plateau. Upon varying the particle concentration, we have been able to show that the minimum and the plateau viscosities do not obey the same scaling law with respect to the particle volume fraction. These experimental results are consistent with the scaling predicted by Mills and Snabre (2009) and with the results of numerical simulation performed on random suspensions [Sierou and Brady (2001)]. The minimum seems to be associated with the viscosity of an isotropic suspension, or at least of a suspension whose particles do not interact through non-hydrodynamic forces, while the plateau value would correspond to the viscosity of a suspension structured by the shear where the non-hydrodynamic forces play a crucial role.
Elevating search results from flat lists to structured expansions
Creators: name: Liang, Xueyao
Publisher: name: University of British Columbia
Year: 2012

description: Keyword based search interfaces are extremely popular as a means for efficiently discovering items of interest from a huge collection, as evidenced by the success of search engines like Google and Bing. However, most of the current search services still return results as a flat ranked list of items. Considering the huge number of items which can match a query, this list based interface can be very difficult for the user to explore and find important items relevant to their search needs. In this work, we consider a search scenario in which each item is annotated with a set of keywords. E.g., in Web 2.0 enabled systems such as flickr and del.icio.us, it is common for users to tag items with keywords. Based on this annotation information, we can automatically group query result items into different expansions of the query corresponding to subsets of keywords. We formulate and motivate this problem within a top-k query processing framework, but as that of finding the top-k most important expansions. Then we study additional desirable properties for the set of expansions returned, and formulate the problem as an optimization problem of finding the best k expansions satisfying all the desirable properties. We propose several efficient algorithms for this problem. Our problem is similar in spirit to recent works on automatic facets generation, but has the important difference and advantage that we don’t need to assume the existence of pre-defined categorical hierarchy which is critical for these works. Through extensive experiments on both real and synthetic datasets, we show our proposed algorithms are both effective and efficient.
On the Parameterized Complexity of Maximum Degree Contraction Problem
Creators: name: Saurabh, Saket
name: Tale, Prafullkumar
Publisher: name: CISPA
Year: 2023

description: In the Maximum Degree Contraction problem, input is a graph G on n vertices, and integers k, d, and the objective is to check whether G can be transformed into a graph of maximum degree at most d, using at most k edge contractions. A simple brute-force algorithm that checks all possible sets of edges for a solution runs in time n^O(k). As our first result, we prove that this algorithm is asymptotically optimal, upto constants in the exponents, under Exponential Time Hypothesis (ETH). Belmonte, Golovach, van't Hof, and Paulusma studied the problem in the realm of Parameterized Complexity and proved, among other things, that it admits an FPT algorithm running in time (d + k)^(2k) ⋅ n^O(1) = 2^O(k log (k+d)) ⋅ n^????(1), and remains NP-hard for every constant d ≥ 2 (Acta Informatica (2014)). We present a different FPT algorithm that runs in time 2^O(dk) ⋅ n^O(1). In particular, our algorithm runs in time 2^O(k) ⋅ n^O(1), for every fixed d. In the same article, the authors asked whether the problem admits a polynomial kernel, when parameterized by k + d. We answer this question in the negative and prove that it does not admit a polynomial compression unless NP ⊆ coNP/poly.
Distinct values of bilinear forms on algebraic curves
Creators: name: De Zeeuw, Frank
name: Valculescu, Claudiu
Publisher: name: Faculty of Science, University of Calgary
Year: 2016

description: Let $B$ be a bilinear form on pairs of points in the complex plane, of the form $B(p,q) = p^TMq$, for an invertible $2\times2$ complex matrix $M$. We prove that any finite set $S$ contained in an irreducible algebraic curve $C$ of degree $d$ in $\mathbb{C}^2$ determines at least $c_d|S|^{4/3}$ distinct values of $B$, unless the curve $C$ has an exceptional form. This strengthens a result of Charalambides in several ways.

The proof is based on that of Pach and De Zeeuw, who proved a similar statement for the Euclidean distance function in the real plane. Our main motivation for this paper is that for bilinear forms, this approach becomes more natural, and should better lend itself to understanding and generalization.
description: Contributions to Discrete Mathematics, Vol 11, No 1 (2016)
title: Quasi-best approximation in optimization with PDE constraints
Creators: name: Gaspoz, Fernando
name: Kreuzer, Christian
name: Veeser, Andreas
name: Wollner, Winnifried
Publisher: name: IOP Publishing
Year: 2021

description: We consider finite element solutions to quadratic optimization problems, where the state depends on the control via a well-posed linear partial differential equation. Exploiting the structure of a suitably reduced optimality system, we prove that the combined error in the state and adjoint state of the variational discretization is bounded by the best approximation error in the underlying discrete spaces. The constant in this bound depends on the inverse square root of the Tikhonov regularization parameter. Furthermore, if the operators of control action and observation are compact, this quasi-best approximation constant becomes independent of the Tikhonov parameter as the mesh size tends to 0 and we give quantitative relationships between mesh size and Tikhonov parameter ensuring this independence. We also derive generalizations of these results when the control variable is discretized or when it is taken from a convex set.
ZAP is a novel protein phosphatase 1 regulatory subunit localized to the nucleus
Creators: name: Ulke-Lemee, Annegret
Publisher: name: University of Calgary
Year: 2006

description: Bibliography: p. 150-166
description: Some pages are in colour.
description: Nearly all cellular processes are regulated by reversible protein phosphorylation and protein phosphatase 1 (PP 1) is one of the most abundant phosphatases in eukaryotic eel Is. Its intracellular localization, activity and substrate specificity are conferred by a multitude of regulatory subunits, most of which bind via an "RVxF" amino acid motif. ZAP (also ZAP3, ZAPl 13 or YLPMl) possesses an "RVxF" motif and was discovered as a phosphatase­associated protein by microcystin-Sepharose affinity chromatography (Tran et al, (2004) Molecular and Cellular Proteomics, Vol. 3, pp 257). ZAP binds to PPl in a far western overlay, pull-down studies and co-immuno-precipitation and this binding is dependent on ZAP's "RVxF" motif. In addition, ZAP-PPl has no activity against glycogen phosphorylase a unless PP1 is dissociated from the complex by the addition of an "RVxF" containing peptide. Two splice variants of ZAP are present in mammals with apparent molecular weights of 180kDa and 240kDa. Bioinformatic investigation showed that ZAP is conserved in higher eukaryotes, but is missing from fungi, Caenorhabditis elegans and prokaryotes. Its highly conserved carboxy-terminus has similarity to the P-loop kinase domain. Analysis of secondary structure prediction and conserved amino acids suggests that ZAP could have poly-nucleotide kinase activity, however, no activity has been found so far. ZAP is retained specifically on poly-adenylic acid agarose and is di-methylated on arginine residues. Immuno-cytochemistry demonstrated that ZAP is localized in nuclear foci, but does not co­localize with splicing speckles. After transcriptional inhibition by actinomycin D, ZAP re­localized to nucleolar caps. Co-immuno-precipitation with a ZAP antibody revealed several ZAP binding proteins which were identified by peptide mass fingerprinting and western blotting. Heterogeneous nuclear ribonucleoprotein-G (hnRNP-G) is a di-methylated RNA binding protein that also binds to Sam68. The RNA-binding and scaffolding protein Sam68 (src associated in mitosis, 68kDa) associates with tyrosine kinases of the src family and is a binding partner of ZAP. Like most hnRNPs, the association of ZAP, Sam68 and hnRNP-G is dependent on RNA or DNA. The NFl 10/NF45 dimer binds to ZAP as well as to RNA. Lastly, CIA is a nuclear receptor co-regulator and associates with ZAP's amino-terminus. ZAP together with Sam68 and hnRNP-G could form part of a larger hnRNP complex that is involved in mRNA processing. In addition, many ZAP binding proteins are phosphorylated and could be dephosphorylated by ZAP associated PP 1.
Isomorphism Testing for Graphs Excluding Small Minors
Creators: name: Grohe, Martin
name: Neuen, Daniel
name: Wiebking, Daniel
Publisher: name: CISPA
Year: 2023

description: We prove that there is a graph isomorphism test running in time n^{polylog(h)} on n-vertex graphs excluding some h-vertex graph as a minor. Previously known bounds were n^{poly(h)} (Ponomarenko, 1988) and n^{polylog(n)} (Babai, STOC 2016). For the algorithm we combine recent advances in the group-theoretic graph isomorphism machinery with new graph-theoretic arguments.
On the hunt for ultramassive black holes in brightest cluster galaxies
Creators: name: Hlavacek-Larrondo, J.
name: Fabian, A. C.
name: Edge, A. C.
name: Hogan, M. T.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We investigate where brightest cluster galaxies (BCGs) sit on the fundamental plane of black hole (BH) activity, an established relation between the X-ray luminosity, the radio luminosity and the mass of a BH. Our sample mostly consists of BCGs that lie at the centres of massive, strong cooling flow clusters, therefore requiring extreme mechanical feedback from their central active galactic nucleus (AGN) to offset cooling of the intracluster plasma (L_mech>10^44-45 erg/s). Based on the BH masses derived from the M_BH-sigma and M_BH-M_K correlations, we find that all of our objects are offset from the plane such that they appear to be less massive than predicted from their X-ray and radio luminosities (to more than a 99 per cent confidence level). For these objects to be consistent with the fundamental plane, the M_BH-sigma and M_BH-M_K correlations therefore seem to underestimate the BH masses of BCGs, on average by a factor of 10. Our results suggest that the standard relationships between BH mass and host galaxy properties no longer hold for these extreme galaxies. Furthermore, our results imply that if these BHs follow the fundamental plane, then many of those that lie in massive, strong cool core clusters must be ultramassive with M_BH>10^10M_sun. This rivals the largest BH masses known and has important ramifications for our understanding of the formation and evolution of BHs.
description: 9 pages, 3 figures. Minor changes (of editorial nature) with respect to v1
Diagonal recurrence relations for the Stirling numbers of the first kind
Creators: name: Qi, Feng
Publisher: name: Faculty of Science, University of Calgary
Year: 2016

description: In the paper, the author presents diagonal recurrence relations for the Stirling numbers of the first kind. As by-products, the author also recovers three explicit formulas for special values of the Bell polynomials of the second kind.
description: Contributions to Discrete Mathematics, Vol 11, No 1 (2016)
Towards Post-Quantum Security for Signal's X3DH Handshake
Creators: name: Brendel, Jacqueline
name: Fischlin, Marc
name: Günther, Felix
name: Janson, Christian
name: Stebila, Douglas
Publisher: name: CISPA
Year: 2023

description: Modern key exchange protocols are usually based on the Diffie–Hellman (DH) primitive. The beauty of this primitive, among other things, is its potential reusage of key shares: DH shares can be either used a single time or in multiple runs. Since DH-based protocols are insecure against quantum adversaries, alternative solutions have to be found when moving to the post-quantum setting. However, most post-quantum candidates, including schemes based on lattices and even supersingular isogeny DH, are not known to be secure under key reuse. In particular, this means that they cannot be necessarily deployed as an immediate DH substitute in protocols. In this paper, we introduce the notion of a split key encapsulation mechanism (split KEM) to translate the desired key-reusability of a DH-based protocol to a KEM-based flow. We provide the relevant security notions of split KEMs and show how the formalism lends itself to lifting Signal’s X3DH handshake to the post-quantum KEM setting without additional message flows. Although the proposed framework conceptually solves the raised issues, instantiating it securely from post-quantum assumptions proved to be non-trivial. We give passively secure instantiations from (R)LWE, yet overcoming the above-mentioned insecurities under key reuse in the presence of active adversaries remains an open problem. Approaching one- sided key reuse, we provide a split KEM instantiation that allows such reuse based on the KEM introduced by Kiltz (PKC 2007), which may serve as a post-quantum blueprint if the underlying hardness assumption (gap hashed Diffie–Hellman) holds for the commutative group action of CSIDH (Asiacrypt 2018). The intention of this paper hence is to raise awareness of the challenges arising when moving to KEM-based key exchange protocols with key-reusability, and to propose split KEMs as a specific target for instantiation in future research.
Automorphisms of circulants that respect partitions
Creators: name: Morris, Joy
Publisher: name: Faculty of Science, University of Calgary
Year: 2016

description: In this paper, we begin by partitioning the edges (or arcs) of a circulant (di)graph according to which generator in the connection set leads to each edge. We then further refine the partition by subdividing any part that corresponds to an element of order less than n, according to which of the cycles generated by that element the edge is in. It is known that if the (di)graph is connected and has no multiple edges, then any automorphism that respects the first partition and fixes the vertex corresponding to the group identity must be an automorphism of the group (this is in fact true in the more general context of Cayley graphs). We show that automorphisms that respect the second partition and fix 0 must also respect the first partition, so are again precisely the group automorphisms of $\mathbb{Z}_n$.
description: Contributions to Discrete Mathematics, Vol 11, No 1 (2016)