cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: How to professionalize teachers to use technology in a meaningful way – Design research of a CPD program
Creators: name: Thurm, Daniel
name: Klinger, Marcel
name: Barzel, Bärbel
Publisher: name: DuEPublico: Duisburg-Essen Publications Online, University of Duisburg-Essen, Germany
Year: 2017

description: The German Centre for Mathematics Teacher Education (DZLM) together with the Ministry of Education is in charge of developing, delivering and evaluating a long-term continuing professional development program (CPD) with respect to graphics calculators (GC). In this paper we describe the design of the CPD program and two associated research studies. The studies aim at examining conditions which must be considered when designing a CPD program, and at investigating the effects caused by the CPD program on teachers’ beliefs and classroom practices as well as on students’ competencies. We developed a questionnaire to measure teachers’ beliefs related to GC and a survey about the integration of the GC into classroom practice. Furthermore, an achievement test was constructed to measure students’ competencies that focus on areas where the literature expects the GC to be relevant.
Privacy and correctness trade-offs for information-theoretically secure quantum homomorphic encryption
Creators: name: Hu, Yanglin
name: Ouyang, Yingkai
name: Tomamichel, Marco
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: Cryptography and Security (cs.CR)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Quantum homomorphic encryption, which allows computation by a server directly on encrypted data, is a fundamental primitive out of which more complex quantum cryptography protocols can be built. For such constructions to be possible, quantum homomorphic encryption must satisfy two privacy properties: data privacy which ensures that the input data is private from the server, and circuit privacy which ensures that the ciphertext after the computation does not reveal any additional information about the circuit used to perform it, beyond the output of the computation itself. While circuit privacy is well-studied in classical cryptography and many homomorphic encryption schemes can be equipped with it, its quantum analogue has received little attention. Here we establish a definition of circuit privacy for quantum homomorphic encryption with information-theoretic security. Furthermore, we reduce quantum oblivious transfer to quantum homomorphic encryption. By using this reduction, our work unravels fundamental trade-offs between circuit privacy, data privacy and correctness for a broad family of quantum homomorphic encryption protocols, including schemes that allow only the computation of Clifford circuits.
Discussion of "Impact of Frequentist and Bayesian Methods on Survey Sampling Practice: A Selective Appraisal" by J. N. K. Rao
Creators: name: Meeden, Glen
Publisher: name: arXiv
Year: 2011
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: Discussion of "Impact of Frequentist and Bayesian Methods on Survey Sampling Practice: A Selective Appraisal" by J. N. K. Rao [arXiv:1108.2356]
description: Published in at http://dx.doi.org/10.1214/11-STS346A the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Numerical Modeling of Inclined Dense Jets in Stagnant Water on a Sloped Bottom
Creators: name: Wang, Xinyun
Publisher: name: Université d'Ottawa / University of Ottawa
Year: 2020
Subjects: Inclined dense jet
Sloped bottom

description: Desalination plants are becoming essential due to the limited water resources in order to reduce the pressure of high demand of freshwater in many countries in recent decades. A concerning problem associated with desalination plants is the high concentration brine which has high risk to marine environments. Inclined dense jets are commonly used to treat brine produced by desalination plants or in industrial outfall discharges. They are produced when the brine is discharged at an upwardly inclined angle through a pipe or a diffuser system. Previous studies have mainly focused on jets on a horizontal bottom. In the present study, the influence of sloped bottom is investigated by numerical simulations using a modified solver in OpenFOAM (pisoFoam). Four different Reynolds Averaged Navier Strokes (RANS) turbulence models (Realizable k-ε, Standard k-ε, RNG k-ε and Nonlinear k-ε were employed to assess the accuracy of the selected turbulence models in predicting the jet behavior. Jets of inclination angle of 30° with four different initial conditions (Froude number=15, 20, 25, 30) on three different bed slope angles (2°, 5°, 10°) in stagnant water were conducted. Although inclined dense jets of the discharge angel of 60° are more common in discharge systems, sometimes they cannot be used in shallow waters in order to prevent surface pollution. In such cases, a relatively small jet inclining angle can be used to prevent the surface pollution and as shown in this thesis, bed slope can enhance the brine mixing and dilution. The results showed that Realizable k-ε model is more accurate among the turbulence models studied herein. The dilution at the impact point can be estimated based on the Froude number and initial conditions. After the impact point, the slope did enhance the dilution of the plume compared to the horizontal bed. The dilution was thus affected by the slope and the dilution after the impact point on the slope appeared to be linearly related to the distance to the source. Besides, the slope could enhance the jet dilution up to 20% compared with the horizontal bed after the impact point.
Stellar dynamics around transient co-rotating spiral arms
Creators: name: Kawata, Daisuke
name: Grand, Robert J. J.
name: Cropper, Mark
Publisher: name: arXiv
Year: 2011
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Spiral density wave theory attempts to describe the spiral pattern in spiral galaxies in terms of a long-lived wave structure with a constant pattern speed in order to avoid the winding dilemma. The pattern is consequently a rigidly rotating, long-lived feature. We run an N-body/SPH simulation of a Milky Way-sized barred disk, and find that the spiral arms are transient features whose pattern speeds decrease with radius, in such a way that the pattern speed is almost equal to the rotation curve of the galaxy. We trace particle motion around the spiral arms. We show that particles from behind and in front of the spiral arm are drawn towards and join the arm. Particles move along the arm in the radial direction and we find a clear trend that they migrate toward the outer (inner) radii on the trailing (leading) side of the arm. Our simulations demonstrate that at all radii where there is a co-rotating spiral arm the particles continue to be accelerated (decelerated) by the spiral arm for long periods, which leads to strong migration.
description: 2 pages, 2 figures, to appear in the proceedings of "Assembling the puzzle of the Milky Way", Le Grand-Bornand, 17-22 April, 2011, eds. C. Reyle, A. Robin, M. Schultheis
FED-AMR D1.4 Webinars
Creators: name: Oleastro, Monica
name: Wögerbauer, Markus
name: Rainer, Karin
name: Rathammer, Krista
name: Canica, Manuela
Publisher: name: Zenodo
Year: 2020
Subjects: FED-AMR

description: Various webinars were organised in order to initiate knowledge transfer and as platform for in depth scientific discussion within the consortium.
Bringing order into the realm of Transformer-based language models for artificial intelligence and law
Creators: name: Greco, Candida M.
name: Tagarelli, Andrea
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computation and Language (cs.CL)
subject: Artificial Intelligence (cs.AI)
subject: Information Retrieval (cs.IR)
subject: Neural and Evolutionary Computing (cs.NE)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: Transformer-based language models (TLMs) have widely been recognized to be a cutting-edge technology for the successful development of deep-learning-based solutions to problems and applications that require natural language processing and understanding. Like for other textual domains, TLMs have indeed pushed the state-of-the-art of AI approaches for many tasks of interest in the legal domain. Despite the first Transformer model being proposed about six years ago, there has been a rapid progress of this technology at an unprecedented rate, whereby BERT and related models represent a major reference, also in the legal domain. This article provides the first systematic overview of TLM-based methods for AI-driven problems and tasks in the legal sphere. A major goal is to highlight research advances in this field so as to understand, on the one hand, how the Transformers have contributed to the success of AI in supporting legal processes, and on the other hand, what are the current limitations and opportunities for further research development.
description: Please refer to the published version: Greco, C.M., Tagarelli, A. (2023) Bringing order into the realm of Transformer-based language models for artificial intelligence and law. Artif Intell Law, Springer Nature. November 2023. https://doi.org/10.1007/s10506-023-09374-7
Probing fractional topological insulators with magnetic edge perturbations
Creators: name: Béri, B.
name: Cooper, N. R.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We discuss detection strategies for fractional topological insulators (FTIs) realizing time-reversal invariant analogues of fractional quantum Hall systems in the Laughlin universality class. Focusing on transport measurements, we study the effect of magnetic perturbations on the edge modes. We find that the modes show unexpected robustness against magnetic backscattering for moderate couplings and edge interactions, allowing for various phase transitions signaling the FTI phase. We also describe protocols for extracting the universal integer m characterizing the phase and the edge interaction parameter from the conductance of setups with magnets and a quantum point contact.
description: 4 pages, 2 figures
Predicting Complications After Spinal Surgery: Surgeons’ Aided and Unaided Predictions
Creators: name: Kingwell, Stephen
Publisher: name: Université d'Ottawa / University of Ottawa
Year: 2020
Subjects: Predictive analytics
Surgery
Model impact
Machine learning

description: Despite the emergence of artificial intelligence (AI) and machine learning (ML) in medicine and the resultant interest in predictive analytics in surgery, there remains a paucity of research on the actual impact of prediction models and their effect on surgeons’ risk assessment of post-surgical complications. This research evaluated how spinal surgeons predict post-surgical complications with and without additional information generated by a ML predictive model. The study was conducted in two stages. In the preliminary stage an ML prediction model for post-surgical complications in spine surgery was developed. In the second stage, a survey instrument was developed, using patient vignettes, to determine how providing ML model support affected surgeons’ predictions of post-surgical complications. Results show that support provided by a ML prediction model improved surgeons’ accuracy to correctly predict the presence or absence of a complication in patients undergoing spinal surgery from 49.1% to 54.8% (p=0.024). It is clear that predicting post-surgical complications in patients undergoing spinal surgery is difficult, for models and experienced surgeons, but it is not surprising that additional information provided by the ML model prediction was beneficial overall. This is the first study in the spine surgery literature that has evaluated the impact of a ML prediction model on surgeon prediction accuracy of post-surgical complications.
Low-Drift-Rate External Cavity Diode Laser
Creators: name: Chang, Eddie H.
name: Rivera, Jared
name: Bostwick, Brian
name: Schneider, Christian
name: Yu, Peter
name: Hudson, Eric R.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: Atomic Physics (physics.atom-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We present the design, construction, and simulation of a simple, low-cost external cavity diode laser with a measured free-running frequency drift rate of 1.4(1)~MHz/h at 852 nm. This performance is achieved via a compact, nearly monolithic aluminum structure to minimize temperature gradients across the laser cavity. We present thermal finite element method simulations which quantify the effects of temperature gradients, and suggest that the drift rate is likely limited by laser-diode aging.
Active metasurfaces: lighting the path to commercial success
Creators: name: Gu, Tian
name: Kim, Hyun Jung
name: Rivero-Baleine, Clara
name: Hu, Juejun
Publisher: name: arXiv
Year: 2022
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Active optical metasurfaces are rapidly emerging as a major frontier in photonics research, development, and commercialization. They promise compact, light-weight, and energy-efficient reconfigurable optical systems with unprecedented performance and functions that can be dynamically defined on-demand. Compared to their passive counterparts, the reconfiguration capacity of active metasurfaces also set additional challenges in scalable design, manufacturing, and control toward their practical deployment. This perspective aims to review the state-of-the-art of active metasurface technologies and their applications while highlighting key research advances essential to enabling their transition from laboratory curiosity to commercial reality.
Metallic Quantized Anomalous Hall Effect without Chiral Edge States
Creators: name: Bai, Kai-Zhi
name: Fu, Bo
name: Zhang, Zhenyu
name: Shen, Shun-Qing
Publisher: name: arXiv
Year: 2023
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The quantum anomalous Hall effect (QAHE) is a topological state of matter with a quantized Hall resistance. It has been observed in some two-dimensional insulating materials such as magnetic topological insulator films and twisted bilayer graphene. These materials are insulating in the bulk, but possess chiral edge states carrying the edge current around the systems. Here we discover a metallic QAHE in a topological insulator film with magnetic sandwich heterostructure, in which the Hall conductance is quantized to $e^{2}/h$, but the longitudinal conductance remains finite. This effect is attributed to the existence of a pair of massless Dirac cones of surface fermions, with each contributing half of the Hall conductance due to quantum anomaly. It is not characterized by a Chern number and not associated to any chiral edge states. Our study offers novel insights into topological transport phenomena and topological metallic states of matter.
description: 6 pages, 4 figures
Generating the Electro-Weak Scale by Vector-like Quark Condensation
Creators: name: Klett, Sophie
name: Lindner, Manfred
name: Trautner, Andreas
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We show that vector-like quarks in the fundamental or higher-dimensional representations of QCD can generate the electro-weak scale in a phenomenologically viable way by chiral symmetry breaking condensates. The thereby generated scales are determined by numerically solving the Dyson-Schwinger equation and these scales are sizable, because they grow with the hard vector-like mass. Communicating such a scale to the Standard Model via a conformally invariant scalar sector can dynamically generate the electro-weak scale without a naturalness problem, because all non-dynamical mass scales are protected by chiral symmetry. We present a minimal setup which requires only a new neutral scalar with mass not too far above the electro-weak scale, as well as vector-like quarks at the (multi-)TeV scale. Both are consistent with current bounds and are attractive for future experimental searches at the LHC and future colliders. Depending on the hypercharge of the vector-like quarks, hadrons made of them are color-neutral bound states which would be interesting Dark Matter candidates.
description: 19 pages, 9 figures, 1 table
Reply to comment by P.Markos [arXiv:1205.0689]
Creators: name: Suslov, I. M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: We present another interpretation of the data by P.Markos and give a lot of new illustrations for our conception. All existing numerical data look perfectly compatible with predictions of the self-consistent theory of localization.
description: Latex, 5pages, 5 figures included
Ultrasonic triggering of giant magnetocaloric effect in MnAs thin films
Creators: name: Duquesne, J. -Y.
name: Prieur, J. -Y.
name: Canalejo, J. Agudo
name: Etgens, V. H.
name: Eddrief, M.
name: Ferreira, A. L.
name: Marangolo, M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: Mechanical control of magnetic properties in magnetostrictive thin films offers the unexplored opportunity to employ surface wave acoustics in such a way that acoustic triggers dynamic magnetic effects. The strain-induced modulation of the magnetic anisotropy can play the role of a high frequency varying effective magnetic field leading to ultrasonic tuning of electronic and magnetic properties of nanostructured materials, eventually integrated in semiconductor technology. Here, we report about the opportunity to employ surface acoustic waves to trigger magnetocaloric effect in MnAs(100nm)/GaAs(001) thin films. During the MnAs magnetostructural phase transition, in an interval range around room temperature (0°C - 60°C), ultrasonic waves (170 MHz) are strongly attenuated by the phase coexistence (up to 150 dB/cm). We show that the giant magnetocaloric effect of MnAs is responsible of the observed phenomenon. By a simple anelastic model we describe the temperature and the external magnetic field dependence of such a huge ultrasound attenuation. Strain-manipulation of the magnetocaloric effect could be a further interesting route for dynamic and static caloritronics and spintronics applications in semiconductor technology.
A strong form of the Quantitative Isoperimetric inequality
Creators: name: Fusco, Nicola
name: Julin, Vesa
Publisher: name: arXiv
Year: 2011
Subjects: subject: Metric Geometry (math.MG)
subject: FOS: Mathematics

description: We give a refinement of the quantitative isoperimetric inequality. We prove that the isoperimetric gap controls not only the Fraenkel asymmetry but also the oscillation of the boundary.
CO2 Adsorption on Polyethylenimine-Impregnated Lamellar Silica
Creators: name: Bogahawatta, Vimarsha
Publisher: name: Université d'Ottawa / University of Ottawa
Year: 2020
Subjects: lamellar silica
CO2 uptake
PEI

description: The increasingly stringent environmental regulations worldwide demand the use of efficient methods for air purification. Moreover, the alarming effect of greenhouse gases on the world climate requires the removal and sequestration of large quantities of anthropogenic carbon dioxide (CO2). This work is contributed towards the development of efficient, amine-containing, lamellar structured silica adsorbents for CO2 removal. Seven different materials were prepared by impregnation of various amounts of PEI, over as synthesized, or partially extracted or calcined lamellar silica. Materials were characterized by powder XRD and SEM. CO2 adsorption capacity was measured by thermogravimetry. The effects of PEI loading, temperature, CO2 partial pressure and surface alkyl chains were investigated. PEI seems to be dispersed better in a consistent surface alkyl chain network, leading to enhanced CO2 uptake. VB-13, the material with 50 wt% of PEI, recorded the highest CO2 uptake at 75 °C, in the presence of both 15% CO2/N2 and 100% CO2 with values of 3.02 and 3.50 mmol/g respectively. The optimum temperature for CO2 uptake was found to be 75 °C for samples with high PEI loading. Moreover, higher uptake was recorded in the presence of 100% CO2 versus 15% CO2/N2 for all temperatures. Another objective of this study was to investigate the effect of humidity on the CO2 adsorption process. In that case use of the column-breakthrough technique coupled with mass spectrometry to discriminate between CO2 and water was considered. Complete understanding of the technique and the different effects of moisture on CO2 adsorption over amine-containing materials, namely promotion of CO2 uptake and stabilization of the adsorbent, were achieved, based on a thorough scrutiny of the literature. Nonetheless, because of the Covid-19 pandemic and several technical issues, some experiments could not be undertaken.
Far-from-equilibrium superconductor in fluctuational regime
Creators: name: Petkovic, A.
name: Chtchelkatchev, N. M.
name: Vinokur, V. M.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We derive Ginzburg-Landau-like action for two-dimensional disordered superconductor under far-from-equilibrium conditions in a fluctuational regime. Then, utilizing it, we calculate fluctuation induced density of states, Maki-Thomson and Aslamazov-Larkin type contributions to the in-plane electrical conductivity. We apply our approach to thin superconducting film sandwiched between a gate and a substrate that have different temperatures and different electrochemical potentials.
description: 12 pages, 5 figures
One-level density of quadratic twists of $L$-functions
Creators: name: Gao, Peng
name: Zhao, Liangyi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 11M26, 11M50, 11F66

description: In this paper, we investigate the one-level density of low-lying zeros of quadratic twists of automorphic $L$-functions under the generalized Riemann hypothesis and the Ramanujan-Petersson conjecture. We improve upon the known results using only functional equations for quadratic Dirichlet $L$-functions.
description: 9 pages
FED-AMR D6.1. Protocol for a systematic review on environmental factors influencing the prevalence of antibiotic resistance in the environment
Creators: name: Lo Iacono, Giovanni
name: Gardner, Brian
name: Chambers, Mark
Publisher: name: Zenodo
Year: 2021
Subjects: FED-AMR
systematic review

description: In this task, a protocol for a systematic review was outlined, which investigates the impact of environment factors on the prevalence of antimicrobial resistance (AMR) in the environment. The intention is to use the data gathered from this systematic review as the input for a machine learning approach.
Thermodynamic stability of neutral Xe defects in diamond
Creators: name: Drumm, D. W.
name: Per, M. C.
name: Russo, S. P.
name: Hollenberg, L. C. L.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Optically active defect centers in diamond are of considerable interest, and ab initio calculations have provided valuable insight into the physics of these systems. Candidate structures for the Xe center in diamond, for which little structural information is known, are modeled using density functional theory. The relative thermodynamic stabilities were calculated for two likely structural arrangements. The split-vacancy structure is found to be the most stable for all temperatures up to 1500 K. A vibrational analysis was also carried out, predicting Raman- and IR-active modes which may aid in distinguishing between center structures.
Solving Non-local Fokker-Planck Equations by Deep Learning
Creators: name: Jiang, Senbao
name: Li, Xiaofan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Computational Physics (physics.comp-ph)
subject: Numerical Analysis (math.NA)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Physics-informed neural networks (PiNNs) recently emerged as a powerful solver for a large class of partial differential equations under various initial and boundary conditions. In this paper, we propose trapz-PiNNs, physics-informed neural networks incorporated with a modified trapezoidal rule recently developed for accurately evaluating fractional laplacian and solve the space-fractional Fokker-Planck equations in 2D and 3D. We describe the modified trapezoidal rule in detail and verify the second-order accuracy. We demonstrate trapz-PiNNs have high expressive power through predicting solution with low $\mathcal{L}^2$ relative error on a variety of numerical examples. We also use local metrics such as pointwise absolute and relative errors to analyze where could be further improved. We present an effective method for improving performance of trapz-PiNN on local metrics, provided that physical observations of high-fidelity simulation of the true solution are available. Besides the usual advantages of the deep learning solvers such as adaptivity and mesh-independence, the trapz-PiNN is able to solve PDEs with fractional laplacian with arbitrary $α\in (0,2)$ and specializes on rectangular domain. It also has potential to be generalized into higher dimensions.
Semantic spatial interoperability framework : a case study in the architecture, engineering and construction (AEC) domain
Creators: name: Webster, April
Publisher: name: University of British Columbia
Year: 2010

description: The volume of disseminated digital spatial data has exploded, generating demand for tools to support interoperability and the extraction of usable knowledge. Previous work on spatial interoperability has focused on semi-automatically generating the mappings to mediate multi-modal spatial data. We present a case study in the Architecture, Engineering and Construction (AEC) domain that demonstrates that even after this level of semantic interoperability has been achieved, mappings from the integrated spatial data to concepts desired by the domain experts must be articulated. We propose the Semantic Spatial Interoperability Framework to provide the next layer of semantic interoperability: GML provides the syntactic glue for spatial and non-spatial data integration, and an ontology provides the semantic glue for domain-specific knowledge extraction. Mappings between the two are created by extending XQuery with spatial query predicates.
Web-based continuing education for registered nurses: clinical application and learners' experiences
Creators: name: Atack, Lynda I.
Publisher: name: Graduate Studies
Year: 2001
Subjects: subject: RT73 .A86 2001
subject: Nursing - Computer-assisted instruction
subject: Nursing - Study and teaching
subject: Nurses - Education (Continuing education)
subject: Internet in education

description: Bibliography: p. 221-239.
Check Your Data Freedom: A Taxonomy to Assess Life Science Database Openness
Creators: name: De Rosnay, Melanie Dulong
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantitative Methods (q-bio.QM)
subject: Digital Libraries (cs.DL)
subject: FOS: Biological sciences
subject: FOS: Computer and information sciences

description: Molecular biology data are subject to terms of use that vary widely between databases and curating institutions. This research presents a taxonomy of contractual and technical restrictions applicable to databases in life science. It builds upon research led by Science Commons demonstrating why open data and the freedom to integrate facilitate innovation and how this openness can be achieved. The taxonomy describes technical and legal restrictions applicable to life science databases, and its metadata have been used to assess terms of use of databases hosted by Life Science Resource Name (LSRN) Schema. While a few public domain policies are standardized, most terms of use are not harmonized, difficult to understand and impose controls that prevent others from effectively reusing data. Identifying a small number of restrictions allows one to quickly appreciate which databases are open. A checklist for data openness is proposed in order to assist database curators who wish to make their data more open to make sure they do so.
Formal Framework For Mils Integration
Creators: name: Schmaltz, Julien
name: Blasum, Holger
name: Langenstein, Bruno
name: Leconte, Betrand
name: Müller, Kevin
name: Verbeek, Freek
name: Koolen, Ruud
Publisher: name: Zenodo
Year: 2016
Subjects: separation kernel
intransitive noninterference
Isabelle/HOL
firewall application

description: To achieve security certification according to the highest levels of assurance, formal models and proofs of security properties are required. In the MILS context, this includes formalisation of key components – such as separation kernels – and the formalisation of applications built on top of these verified components. In the second chapter of this document, we use the Isabelle/HOL proof assistant to formalise the Firewall application built on top of a verified separation kernel according to the model of Greve, Wilding, and Vanfleet (GWV). This Firewall application has been formalised twice after the original effort by GWV. These different efforts have been compared and discussed on paper. Our main contribution is to provide a formal comparison between these formalisations in the formal logic of a proof assistant.

In the third chapter of this document, we extend Rushby’s model of noninterference with explicit between-domain information transfer, as well as programs that determine domain behaviour. These extensions enable the reasoning at an abstract level built on top of noninterference, at a much finer level than allowed by base noninterference. As an illustration of our approach, we formally model and analyse an example system inspired by the GWV Firewall.
description: This deliverable presents EURO-MILS research results about the development of a formal environment to analyse MILS architectures. Its second chapter presents and discusses three existing approaches. This chapter shows their shortcomings. The third chapter proposes possible extensions of Rushby's model to address them.
Brevicornu intermedium
Creators: name: El Mouden, Mohamed Amin
name: Chandler, Peter J.
name: Saidoun, Imane
name: Driauach, Ouafaa
name: Belqat, Boutaïna
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Mycetophilidae
Brevicornu
Brevicornu intermedium

description: Brevicornu intermedium (Santos Abréu, 1920)
Material examined.
Morocco – Middle Atlas Region • 214 ♂♂; Gouffre Izora; 19/V/2022; K. Aattouch, M. El Ouahabi and M. A. El Mouden leg; UAE-FST MA 22/2467 • 134 ♂♂; Grotte Bouslama; 19/V/2022; K. Aattouch, M. El Ouahabi and M. A. El Mouden leg; UAE-FST MA 22/2468 • 1 ♂; Vallée des oiseaux; 19/V/2022; K. Aattouch, M. El Ouahabi and M. A. El Mouden leg; UAE-FST MA 22/2469 • 29 ♂♂; Grotte Bouhayati; 20/V/2022; K. Aattouch, M. El Ouahabi and M. A. El Mouden leg; UAE-FST MA 22/2470 • 1 ♂; Oued Sidi Boulaâla; 20/V/2022; K. Aattouch, M. El Ouahabi and M. A. El Mouden leg; UAE-FST MA 22/2471 • 11 ♂♂; Aïn Admam; 22/V/2022; K. Aattouch, M. El Ouahabi and M. A. El Mouden leg; UAE-FST MA 22/2472 • 1 ♂; Forêt Admam; 22/V/2022; K. Aattouch, M. El Ouahabi and M. A. El Mouden leg; UAE-FST MA 22/2473.
North African distribution.
Morocco (Banamar et al. 2020).
description: Published as part of El Mouden, Mohamed Amin, Chandler, Peter J., Saidoun, Imane, Driauach, Ouafaa & Belqat, Boutaïna, 2025, A new species of Docosia Winnertz, 1864 and new records of fungus gnats (Diptera, Bolitophilidae, Keroplatidae and Mycetophilidae) from North Africa, pp. 349-379 in ZooKeys 1233 on pages 349-379, DOI: 10.3897/zookeys.1233.130502
Tunable zero-energy Dirac and Luttinger nodes in a two-dimensional topological superconductor
Creators: name: Mays, Ryan
name: Nikolic, Predrag
Publisher: name: arXiv
Year: 2022
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Cooper pairing in ultrathin films of topological insulators, induced intrinsically or by proximity effect, can produce an energetically favorable spin-triplet superconducting state. The spin-orbit coupling acts as an SU(2) gauge field and stimulates the formation of a spin-current vortex lattice in this superconducting state. Here we study the Bogoliubov quasiparticles in such a state and find that the quasiparticle spectrum consists of a number of Dirac nodes pinned to zero energy by the particle-hole symmetry. Some nodes are "accidental" and move through the first Brillouin zone along high-symmetry directions as the order parameter magnitude or the strength of the spin-orbit coupling are varied. At special parameter values, nodes forming neutral quadruplets merge and become gapped out, temporarily producing a quadratic band-touching spectrum. All these features are tunable by controlling the order parameter magnitude via a gate voltage in a heterostructure device. In addition to analyzing the spectrum at the mean-field level, we briefly discuss a few experimental signatures of this spectrum.
LACOME : early evaluation and further development of a multi-user collaboration system for shared large displays
Creators: name: MacKenzie, Russell
Publisher: name: University of British Columbia
Year: 2010

description: Large screen displays are becoming more prevalent as their prices continue to fall. For these large screens, the paradigm of one-user-per-display begins to break down because there is adequate space and resolution for a variety of simultaneous content. LACOME, the Large Collaborative Meeting Environment, is a set of software tools that allow multiple users to simultaneously publish their personal computer displays onto a large shared display using any VNC server. Once published, windows or even full desktops can be moved, resized, and iconified; optionally, they may even be controlled by other users. LACOME is groupware: multiple users can interact with the shared display simultaneously. Our work focuses on enhancing the stability and usability of the LACOME system, which previously existed only as a rough, proof-of-concept prototype. The LACOME Server was originally developed using C++ on Linux. To simplify administration and provide cross-platform support, the LACOME Server is ported to Java. A new engine provides performance-guaranteed rendering. The secure transmission of VNC passwords is now supported using SSL, instead of relying on default passwords. Interactive widgets such as an IP address display and a ‘Return to Desktop’ button support usability. The LACOME Client has been converted into a JavaTM Web Start application, eliminating the need for installation or configuration by new users. Additionally, LACOME Client settings now persist across usage sessions and a new feature, “Publish Me,” automatically determines the user’s IP address to initiate a VNC connection. We also develop a new window manipulation technique, the Large Screen Optimized (LSO) technique, which features larger interaction handles. Clicking near the edge of a window ‘snaps’ the cursor precisely to the edge of that window, allowing a user to quickly place objects against the edges or corners of the screen. The addition of an explicit mode switch to take control of the contents of a window allows us to utilize the entire window area for manipulation and provide a ‘zooming resize’ feature. An initial user study shows that users preferred and were able to manipulate windows more quickly using the LSO technique than with a more traditional technique.
Temperature fluctuations in finite systems: Application to the one-dimensional Ising chain
Creators: name: Farías, Constanza
name: Davis, Sergio
Publisher: name: arXiv
Year: 2022
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The theory of superstatistics, originally proposed for the study of complex nonequilibrium systems, has recently been extended to studies of small systems interacting with a finite environment, because such systems display interestingly similar statistical behavior. In both situations there are several applicable definitions of inverse temperature, either intrinsic or dependent of the statistical ensemble. In this work we develop these concepts focusing our attention on a region of an isolated, one-dimensional Ising chain as an example of a subsystem that does not follow the canonical Gibbs distribution. For this example, we explicitly show that superstatistics cannot describe the behavior of the subsystem, and verify a recently reported relation between the fundamental and microcanonical inverse temperatures. Our results hint at a new framework for dealing with regions of microcanonical systems with positive heat capacity, which should be described by some new class of statistical ensembles outside superstatistics but still preserving the notion of temperature fluctuations.
Modelling The Spectral Contrasts Of Stellar Faculae.
Creators: name: Norris, Charlotte M.
name: Beeck, Benjamin
name: Unruh, Yvonne
name: Solanki, Sami
name: Yeo, Kok Leng
name: Krivova, Natalie
Publisher: name: Zenodo
Year: 2016
Subjects: Faculae
solar
Sun
variability
photosphere

description: Facular contrasts are an important parameter in modelling stellar variability and exoplanet transits. The ultimate goal of this work will be to model the contrasts of faculae for different spectral types and thus improve the modelling of solar and stellar photospheric variability. This is done by using a radiative transfer algorithm (ATLAS9) on magneto-convection simulations. Starting with solar twins, we derive facular contrasts as a function of limb angle and discuss their wavelength dependence.
description: Poster #170
description: {"references": ["Beeck, B., Cameron, R. H., Reiners, A., & Sch\u00fcssler, M. 2013, A&A, 558, A48;", "Beeck, B., Sch\u00fcssler, M., Cameron, R. H., & Reiners, A. 2015, A&A, 581, A42;", "Castelli, F., & Kurucz, R. L. 1994, A&A, 281, 817;", "V\u00f6gler, A., Shelyag, S., Sch\u00fcssler, M., et al. 2005, A&A, 429, 335;", "Yeo, K. L., Solanki, S. K., & Krivova, N. A. 2013, A&A, 550, A95;", "Herrero, E., Ribas, I., Jordi, C., et al. 2015, Highlights of Spanish Astrophysics VIII, 494."]}
Towards a sustainable approach to wine tourism development in the Oliver, British Columbia region
Creators: name: Poitras, Lisa
Publisher: name: Environmental Design
Year: 2003

description: Bibliography: p. 125-128
description: The wine industry in the South Okanagan has experienced considerable growth and change over the past decade. With an ideal climate and topography for grape growing, the Oliver area has welcomed many new wineries, and celebrated the increasing success of its established vineyards and experienced wine makers. The opportunity for the development of tourism based on wine has only recently been pursued. Recognizing the potential benefits of wine tourism for both the wineries, and the Oliver community, the Town of Oliver has initiated a campaign to promote itself as the Wme Capital of Canada. There are currently 13 wineries in the Oliver area, many of which are beginning to invest in additional facilities and services that cater to tourists. The development of wine tourism is supported by recent forces and trends in tourism, which reveal an increasing demand for forms of cultural tourism, including special interest and recreation vacations, agri-tourism, and activities such as visits to historic sites. This :MDP strives to assess the planning implications of wine tourism development in the Oliver area. A thorough review of local documents, visitation to the area, key informant interviews, and a review of literature focused on tourism planning, sustainable tourism, and wine tourism allow for discussion of the possibility of sustainable wine tourism development at the local level. The result is a compilation of the perceived issues surrounding tourism development in Oliver, and a set of guiding actions. These guidelines outline how the Town can best proceed in its development as a wine tourism destination, and how principles of Sustainable Tourism can be incorporated into wine tourism planning. In general, this :MDP reveals that although the Oliver community is well-positioned to become a wine tourism destination, many issues need to be addressed to ensure tourism development is sustainable. This implies balancing the demands of tourists with the needs of locals, while ensuring preservation of the town's natural and cultural environments.
Frequency Response and Eddy Current Power Loss in Magneto-Mechanical Transmitters
Creators: name: Jing, Jiheng
name: Tawfick, Sameh
name: Bahl, Gaurav
Publisher: name: arXiv
Year: 2022
Subjects: subject: Applied Physics (physics.app-ph)
subject: Systems and Control (eess.SY)
subject: FOS: Physical sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Magneto-mechanical transmitters offer a compact and low-power solution for the generation of ultra-low frequency (ULF) magnetic signals for through-ground and through-seawater communications. Resonant arrays of smaller magneto-mechanical transmitters are particularly interesting in this context as the physical scaling laws allow for the increase of operating frequency and reduce the power requirements for ULF signal generation. In this work, we introduce a generalized model for accurate prediction of frequency and mode shape in generalized magneto-mechanical resonator arrays (MMRAs) that accounts for near-field magnetic interactions as well as magnetically induced nonlinearity. Using experiments, we demonstrate that our predictive capability is significantly improved compared against simplified dipole approximations. We additionally model the eddy current losses internal to the array and find that they are in agreement with experimental observations.
description: 12 pages, 8 figures, 6 tables
Corrigendum: Sources of male and female students' belonging uncertainty in the computer sciences (Front. Psychol., (2019), 10, (1740), 10.3389/fpsyg.2019.01740)
Creators: name: Höhne, Elisabeth
name: Zander, Lysann
Publisher: name: Lausanne : Frontiers Research Foundation
Year: 2023
Subjects: subject: ability-related stereotypes
subject: belonging uncertainty
subject: computer science
subject: gender
subject: higher education
subject: minority students
subject: social identity
subject: STEM
subject: Dewey Decimal Classification::100 | Philosophie::150 | Psychologie

description: In the published article, there was an error in the Conclusion, Paragraph 2. In the final sentence “relationship” should have read “relationships.” The corrected paragraph appears below. “The present study identified male and female sources of belonging uncertainty in the computer sciences and thereby extends our understanding of this theoretical concept. Our results suggest that belonging uncertainty is comprised of both students’ concerns about their social connectedness in an academic domain and concerns about their academic abilities. Therefore, conceptualizing belonging uncertainty as regarding only concerns about the quality of one’s social relationships in an academic domain leads to an incomplete picture of this phenomenon.”In addition, there were also errors in some of the references in the published article. The reference for Berkman and Syme (1979) was written as “Berkman, L. F., and Syme, L. (1979). Social networks, host resistance, and mortality: a nine-year follow-up study of Alameda county residents. Am. J. Epidemiol. 109, 186–204. doi: 10.1017/CBO9780511759048” It should be “Berkman, L. F., and Syme, S. L. (1979). Social networks, host resistance, and mortality: a nine-year follow-up study of Alameda county residents. Am. J. Epidemiol. 109, 186–204. doi: 10.1093/oxfordjournals.aje.a112674”. The reference for Cohen (1988) was written as: “Cohen, J. E. (1988). Statistical Power Analysis for the Behavioral Sciences, 2nd Edn. Hillsdale, NJ: Lawrence Erlbaum Associated, Inc.” It should be “Cohen, J. (1988). Statistical Power Analysis for the Behavioral Sciences, 2nd Edn. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.”
“Fear Factor(y)”: Academia. Subtle Mechanisms of Symbolic Domination in the Academic Field
Creators: name: Beyer, Stephanie
name: Schmitz, Andreas
Publisher: name: Hoboken, NJ : Wiley-Blackwell
Year: 2023
Subjects: subject: academic capitalism
subject: academic field
subject: fear
subject: knowledge
subject: rankings
subject: symbolic domination
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie

description: The structure of and recent transformations in science affect the structure of the academic field, and ultimately the actors themselves: Today, academics often experience pressure, stress, and emotional discomfort. In this contribution, we show how emotions such as fear and concern may arise in reaction to the contemporary conditions of academic life, and how these emotions can operate as elements of the hierarchies between human actors (scientists) and institutional actors (universities). Using qualitative interview data with scholars from the United States, we illustrate how fear structures the actors' social practices—and how fear is thereby translated into the positional structure of the academic field. We discuss two sets of relations—intra- and inter-institutional—that entail structuring mechanisms. We thus attest how fear as an individual trait and social characteristic becomes part of the (re-)production of the fields' hierarchy.
Formation and rotation of skyrmion crystal in the chiral-lattice insulator Cu2OSeO3
Creators: name: Seki, S.
name: Kim, J. -H.
name: Inosov, D. S.
name: Georgii, R.
name: Keimer, B.
name: Ishiwata, S.
name: Tokura, Y.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Small angle neutron scattering experiments were performed on a bulk single crystal of chiral-lattice multiferroic insulator Cu$_2$OSeO$_3$. In the absence of an external magnetic field, helical spin order with magnetic modulation vector $q \parallel <001>$ was identified. When a magnetic field is applied, a triple-$q$ magnetic structure emerges normal to the field in the A-phase just below the magnetic ordering temperature $T_c$, which suggests the formation of a triangular lattice of skyrmions. Notably, the favorable $q$-direction in the A-phase changes from $q \parallel <110>$ to $q \parallel <001>$ upon approaching $T_c$. Near the phase boundary between these two states, the external magnetic field induces a 30$^\circ$-rotation of the skyrmion lattice. This suggests a delicate balance between the magnetic anisotropy and the spin texture near $T_c$, such that even a small perturbation significantly affects the ordering pattern of the skyrmions.
description: 5 pages, 4 figures, published as a Rapid Communication in Phys. Rev. B