cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Yunnaniata konstantinovi Lopatin 2009, new species
Creators: name: Lopatin, I. K.
name: Konstantinov, A. S.
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Chrysomelidae
Yunnaniata
Yunnaniata konstantinovi

description: Yunnaniata konstantinovi Lopatin, new species (Figs 21–27) Holotype, male. China, Yunnan, Lijiang, Yulongshan, Prim forest 2800 m, N 27°28'20" E 100°14'6", 29.V.2002, leg. A. Konstantinov & M. Volkovitsh (IZAS). Body black, weakly shiny, elytra with four reddish-yellow transverse bands, not reaching sutural or lateral margins (Fig. 24). Head protruding. Frontal ridge convex, triangular. Antennal sockets situated close to each other. Antennal calli weakly convex. Labrum with broad impression in middle of anterior margin. Gena and sides of mandibles covered with long, stiff bristles. Antenna short and relatively thick. Proportions of antennomeres as follows: 15:8:7:8:8:8:8:8:7:11:12. Pronotum nearly flat, with wide and shallow impressions on sides of disc (Fig. 22). Pronotal surface densely and minutely shagreened with sparse punctures on sides and near base. Anterior angles strongly protruding forward, separated by deep furrow, and bearing a large setiferous pore. Scutellum large and short, without punctures. Elytra narrow at humeri, widening strongly to posterior third. Sutural margins rounded. Elytral surface densely and minutely shagreened, with small and sparse punctures. Distance between punctures about twice as large as diameter of puncture. Elytral margins slightly swollen, separated by deep, narrow furrow. Venter densely and minutely shagreened. Posterior side of abdominal ventrites with rows of small punctures. Tibiae with rows of stiff bristles. First tarsomere of all legs elongate, wide distally. Aedeagus as in Figs 25–27. Etymology. This species is named after A. S. Konstantinov.
description: Published as part of Lopatin, I. K. & Konstantinov, A. S., 2009, New genera and species of leaf beetles (Coleoptera: Chrysomelidae) from China and South Korea, pp. 1-18 in Zootaxa 2083 (1) on page 10, DOI: 10.11646/zootaxa.2083.1.1, http://zenodo.org/record/5321822
If You Can't Kill a Supermutant, You Have a Problem
Creators: name: Gopinath, Rahul
name: Mathis, Björn
name: Zeller, Andreas
Publisher: name: CISPA
Year: 2023

description: Quality of software test suites can be effectively and accurately measured using mutation analysis. Traditional mutation involves seeding first and sometimes higher order faults into the program, and evaluating each for detection.However, traditional mutants are often heavily redundant, and it is desirable to produce the complete matrix of test cases vs mutants detected by each. Unfortunately, even the traditional mutation analysis has a heavy computational footprint due to the requirement of independent evaluation of each mutant by the complete test suite, and consequently the cost of evaluation of complete kill matrix is exorbitant.We present a novel approach of combinatorial evaluation of multiple mutants at the same time that can generate the complete mutant kill matrix with lower computational requirements.Our approach also has the potential to reduce the cost of execution of traditional mutation analysis especially for test suites with weak oracles such as machine-generated test suites, while at the same time liable to only a linear increase in the time taken for mutation analysis in the worst case.
Calomicrus yunnanus Lopatin, new species
Creators: name: Lopatin, I. K.
name: Konstantinov, A. S.
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Chrysomelidae
Calomicrus
Calomicrus yunnanus

description: Calomicrus yunnanus Lopatin, new species (Figs 28, 29) Holotype, male. China, Yunnan, Xiaguan-Dacang, 19 km, 08.VI.2002, 1900 m, river side, N 25°28'53" E 100°15'42" A. Konstantinov & M. Volkovitsh leg (IZAS). Paratypes 22 specimens. China, Yunnan, Tiger Leaping Gorge, 2000 m, N 27°04'53" E 100°04'31", 25. V.2002; Dali-Lijiang, 40 km, 2500 m, 24. V.2002, N 26°04'54" E 100°09'39"; Xiaguan-Kunming Rd. 150 km, 1600 m, N 24°59'06" E 101°43'43", 10. VI.2002, A. Konstantinov & M. Volkovitsh leg. (18 USNM, 4 ZMAS). Body length 4.0 mm, width 2.0 mm. Body bluish-green with metallic lustre. Labrum and antennae, except antennomere one, black. Antennomere one with greenish luster. Legs blackish-green. Abdomen, except ventrite one, orange-yellow. Antennal calli convex, delimited by deep furrows. Frontal ridge strongly convex, widening triangularly ventrally. Frons and vertex smooth and shiny. Labrum large, convex, with groups of long setae on sides. Antennae shorter than body. Antennomeres two as long as three, antennomere four slightly shorter than two and three together. Pronotum 1.34 times wider than long with sides evenly rounded and maximum width in middle. Disc with two shallow, round impressions covered with sparse and small punctures. Lateral explanation wide on anterior and posterior corners, well visible from above. Elytra three times as long as pronotum and 1.5 times as wide as long. Maximum width posterior of middle. Elytral punctures small. Distance between punctures as long as diameter of puncture in basal part, apically punctures much smaller. Aedeagus as in Figs 28, 29. Comments: Calomicrus yunnanus is close to C. parvicollis (Weise) from which it can be separated by the shape of the sides of the pronotum being more convex and the shape of the aedeagus. The apical part of the aedeagus is strongly converging posteriorly with a small notch at the tip. The apical part of the aedeagus of C. parvicollis is widened abruptly, flattened and lacks notches at the tip. Etymology: The species name refers to the type locality.
description: Published as part of Lopatin, I. K. & Konstantinov, A. S., 2009, New genera and species of leaf beetles (Coleoptera: Chrysomelidae) from China and South Korea, pp. 1-18 in Zootaxa 2083 (1) on pages 10-11, DOI: 10.11646/zootaxa.2083.1.1, http://zenodo.org/record/5321822
The role of caspase-2 in the progression of Huntington disease in the YAC128 mouse
Creators: name: Carroll, Jeffrey Bryan
Publisher: name: University of British Columbia
Year: 2010

description: Huntington Disease (HD) is a neurodegenerative disorder caused by expansion of a poly-glutamine tract in the huntingtin (htt) protein. Poly-glutamine (polyQ) expansion of huntingtin leads to inevitable onset of affective, cognitive, motor symptoms and eventual death. Loss of neurons in specific regions of the brain underlies the development of symptoms in HD, and this loss has been shown to involve activation of caspase enzymes. The genetically faithful YAC128 mouse model of HD is an excellent system for the analysis of moderators of pathology, as a large suite of affective, cognitive, motor and neuropathological measures have been validated. We have applied advanced magnetic resonance imaging (MRI) techniques to the YAC128 mouse to define the natural history of neuropathology with great precision. This precision enables the understanding that pathology in the YAC128 is spatiotemporally dynamic, and establishes a toolkit of cross-sectional pathology markers with fidelity to the human disease. Caspase-2 (casp2) is a cysteinyl protease that has been implicated in the pathology of neurodegenerative conditions including excitotoxicity, ischemia, Alzheimer’s and Huntington disease. However, no interventional in vivo evidence unequivocally links casp2 to HD pathology. Casp2-/- mice are available to study the role played by casp2 in HD pathology. Careful longitudinal characterization of phenotypes in the casp2-/- mice is crucial for understanding the limitations of therapies targeting this enzyme, as well as deeper understanding the biology of casp2. We have therefore examined a number of parameters in aging mice, and discovered a large number of undocumented alterations, primarily metabolic in nature. Casp2-/- mice fail to gain fat mass due to altered basal metabolism and feeding behavior. They also have pathological alterations in the liver and hypothalamus that may underlie these changes. We have used mice lacking casp2 bred to the YAC128 model of HD to investigate the role played by caspase-2 in HD pathology. Mice lacking casp2 are protected from a number of behavioral and cognitive phenotypes of HD, while the neuropathology observed is unaltered by expression of casp2. This suggests a novel role for casp2 in neuronal function.
^{75}As NMR study of the growth of paramagnetic-metal domains due to electron doping near the superconducting phase in LaFeAsO_{1-x}F_{x}
Creators: name: Fujiwara, N.
name: Nakano, T.
name: Kamihara, Y.
name: Hosono, H.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We studied the electric and magnetic behavior near the phase boundary between antiferromagnetic (AF) and superconducting (SC) phases for a prototype of high-T_c pnictides LaFeAsO_{1-x}F_{x} by using nuclear magnetic resonance, and found that paramagnetic-metal (PM) domains segregate from AF domains. PM domains grow in size with increasing electron doping level and are accompanied by the onset of superconductivity, and thus application of pressure or increasing the doping level causes superconductivity. The existence of PM domains cannot be explained by the existing paradigm that focuses only on the relationship between superconductivity and antiferromagnetism. Based on orbital fluctuation theory, the existence of PM domains is evidence of the ferroquadrupole state.
description: 5 figures
Turbulence properties and global regularity of a modified Navier-Stokes equation
Creators: name: Grafke, Tobias
name: Grauer, Rainer
name: Sideris, Thomas C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We introduce a modification of the Navier-Stokes equation that has the remarkable property of possessing an infinite number of conserved quantities in the inviscid limit. This new equation is studied numerically and turbulence properties are analyzed concerning energy spectra and scaling of structure functions. The dissipative structures arising in this new equation are curled vortex sheets contrary to vortex tubes arising in Navier-Stokes turbulence. The numerically calculated scaling of structure functions is compared with a phenomenological model based on the She-Lévêque approach. Finally, for this equation we demonstrate global well-posedness for sufficiently smooth initial conditions in the periodic case and in $\mathbb R^3$. The key feature is the availability of an additional estimate which shows that the $L^4$-norm of the velocity field remains finite.
Bounded Synthesis of Reactive Programs
Creators: name: Gerstacker, Carsten
name: Klein, Felix
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: Most algorithms for the synthesis of reactive systems focus on the construction of finite-state machines rather than actual programs. This often leads to badly structured, unreadable code. In this paper, we present a bounded synthesis approach that automatically constructs, from a given specification in linear-time temporal logic (LTL), a program in Madhusudan's simple imperative language for reactive programs. We develop and compare two principal approaches for the reduction of the synthesis problem to a Boolean constraint satisfaction problem. The first reduction is based on a generalization of bounded synthesis to two-way alternating automata, the second reduction is based on a direct encoding of the program syntax in the constraint system. We report on preliminary experience with a prototype implementation, which indicates that the direct encoding outperforms the automata approach.
Sqwélqwel: A Storybasket of the International Indigenous Studies Program at the University of Calgary
Creators: name: Fry, Monique Renee
Publisher: name: Arts
Year: 2018
Subjects: subject: Post-Secondary Education
subject: Indigenous Theory and Methods
subject: Indigenous Studies
subject: Decolonization
subject: Ceremony
subject: Storywork
subject: Indigenous Research Framework
subject: Stó:lō
subject: Education
subject: Native American Studies

description: This storybasket contains a Creation Story of the International Indigenous Studies Program at the University of Calgary. Using Indigenous research theories and methods in my own constructed research framework, I have gathered knowledge to determine how the program has endured within a system that has privileged western knowledge and western ways of teaching and learning. As a methodological intervention I have privileged Indigenous ways of knowing, research, and voices to decolonize all entry points of the thesis. Systemic and institutional racism has been the defining barrier that has impacted the growth of the International Indigenous Studies Program. Through it all, there have been some successes due in part to the passionate sessional instructors, courageous students, and relationships that put the holistic needs of learners at the center. In my Give Away (Conclusion) I have offered recommendations that would support the program’s development in the short and long terms. Above all, the need for deeper Indigenous community relationships to support the program at all levels fits into the larger Indigenous Strategy of the University of Calgary, and hopefully creates a space where the holistic, reflexive, and relational needs of all its learners can thrive.
Weak localization of bulk channels in topological insulator thin film
Creators: name: Lu, Hai-Zhou
name: Shen, Shun-Qing
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: Weak antilocalization (WAL) is expected whenever strong spin-orbit coupling or scattering comes into play. Spin-orbit coupling in the bulk states of a topological insulator is very strong, enough to result in the topological phase transition. However, the recently observed WAL in topological insulators seems to have an ambiguous origin from the bulk states. Starting from the effective model for three-dimensional topological insulators, we find that the lowest two-dimensional (2D) bulk subbands of a topological insulator thin film can be described by the modified massive Dirac model. We derive the magnetoconductivity formula for both the 2D bulk subbands and surface bands. Because with Relatively large gap, the 2D bulk subbands may lie in the regimes where the unitary behavior or even weak localization (WL) is also expected, instead of always WAL. As a result, the bulk states may contribute small magnetoconductivity or even compensate the WAL from the surface states. Inflection in magnetoconductivity curves may appear when the bulk WL channels outnumber the surface WAL channels, providing a signature of the weak localization from the bulk states.
description: 9 pages, 5 figures
A spectroscopic survey of thick disc stars outside the solar neighbourhood
Creators: name: Kordopatis, G.
name: Recio-Blanco, A.
name: de Laverny, P.
name: Gilmore, G.
name: Hill, V.
name: Wyse, R. F. G.
name: Helmi, A.
name: Bijaoui, A.
name: Zoccali, M.
name: Bienaymé, O.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We performed a spectroscopic survey of nearly 700 stars probing the galactic thick disc far from the solar neighbourhood towards the galactic coordinates (l~277, b~47). The derived effective temperatures, surface gravities and overall metallicities were then combined with stellar evolution isochrones, radial velocities and proper motions to derive the distances, kinematics and orbital parameters of the sample stars. The targets belonging to each galactic component (thin disc, thick disc, halo) were selected either on their kinematics or according to their position above the galactic plane, and the vertical gradients were also estimated. We present here atmospheric parameters, distances and kinematics for this sample, and a comparison of our kinematic and metallicity distributions with the Besancon model of the Milky Way. The thick disc far from the solar neighbourhood is found to differ only slightly from the thick disc properties as derived in the solar vicinity. For regions where the thick disc dominates, we measured vertical velocity and metallicity trends of d(V_phi)/dZ = 19 +/- 8 km/s/kpc and d[M/H]/dZ = -0.14 +/- 0.05 dex/kpc, respectively. These trends can be explained as a smooth transition between the different galactic components, although intrinsic gradients could not be excluded. In addition, a correlation d(V_phi)/d[M/H] = -45 +/- 12 km/s/dex between the orbital velocity and the metallicity of the thick disc is detected. This gradient is inconsistent with the SDSS photometric survey analysis, which did not detect any such trend, and challenges radial migration models of thick disc formation. Estimations of the scale heights and scale lengths for different metallicity bins of the thick disc result in consistent values, with hR~3.4 \pm 0.7 kpc, and hZ~694 \pm 45 pc, showing no evidence of relics of destroyed massive satellites.
description: 19 pages, 15 figures, accepted for publication in A&A
The Complexity of Monitoring Hyperproperties
Creators: name: Bonakdarpour, B.
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: —We study the runtime verification of hyperproperties, expressed in the temporal logic HyperLTL, as a means to inspect a system with respect to security polices. Runtime monitors for hyperproperties analyze trace logs that are organized by common prefixes in the form of a tree-shaped Kripke structure, or are organized both by common prefixes and by common suffixes in the form of an acyclic Kripke structure. Unlike runtime verification techniques for trace properties, where the monitor tracks the state of the specification but usually does not need to store traces, a monitor for hyperproperties repeatedly model checks the growing Kripke structure. This calls for a rigorous complexity analysis of the model checking problem over treeshaped and acyclic Kripke structures.
DroidMate-2: A Platform for Android Test Generation
Creators: name: Borges, Nataniel P.
name: Hotzkow, Jenny
name: Zeller, Andreas
Publisher: name: CISPA
Year: 2023

description: Android applications (apps) represent an ever increasing portion of the software market. Automated test input generators are the state of the art for testing and security analysis. We introduce DroidMate-2 (DM-2), a platform to easily assist both developers and researchers to customize, develop and test new test generators. DM-2 can be used without app instrumentation or operating system modifications, as a test generator on real devices and emulators for app testing or regression testing. Additionally, it provides sensitive resource monitoring or blocking capabilities through a lightweight app instrumentation, out-of-the-box statement coverage measurement through a fully-fledged app instrumentation and native experiment reproducibility. In our experiments we compared DM-2 against DroidBot, a state-of-the-art test generator by measuring statement coverage. Our results show that DM-2 reached 96% of its peak coverage in less than 2/3 of the time needed by DroidBot, allowing for better and more efficient tests. On short runs (5 minutes) DM-2 outperformed DroidBot by 7% while in longer runs (1 hour) this difference increases to 8%.
Load Evaluation of the Hay River Bridge Under Different Platoons of Connected Trucks
Creators: name: Kamranian, Zahra
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Engineering
subject: Engineering--Civil

description: Cold weather, great distances, low population and high transportation costs in the North West Territories (NWT); make it a desirable location to use platooning technology. This research evaluates the performance of the Hay River Bridge, which is located on the main road from Edmonton to Yellowknife, under platoons of connected trucks. The bridge load evaluation under platoons of two, three and four Alberta Non-Permit (NP) legal trucks shows enough capacity using PC-specific permit conditions. Furthermore, the bridge load evaluation under a platoon of two Alberta legal NP trucks shows enough capacity with PS-specific permit conditions. The bridge is able to tolerate platoons consist of three or four reduced weight of Alberta NP trucks under PS permit conditions.
Intrinsic spin fluctuations reveal the dynamical response function of holes coupled to nuclear spin baths in (In,Ga)As quantum dots
Creators: name: Li, Yan
name: Sinitsyn, N.
name: Smith, D. L.
name: Reuter, D.
name: Wieck, A. D.
name: Yakovlev, D. R.
name: Bayer, M.
name: Crooker, S. A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The problem of how single "central" spins interact with a nuclear spin bath is essential for understanding decoherence and relaxation in many quantum systems, yet is highly nontrivial owing to the many-body couplings involved. Different models yield widely varying timescales and dynamical responses (exponential, power-law, Gaussian, etc). Here we detect the small random fluctuations of central spins in thermal equilibrium (holes in singly-charged (In,Ga)As quantum dots) to reveal the timescales and functional form of bath-induced spin relaxation. This spin noise indicates long (400 ns) spin correlation times at zero magnetic field, that increase to $\sim$5 $μ$s as hole-nuclear coupling is suppressed with small (100 G) applied fields. Concomitantly, the noise lineshape evolves from Lorentzian to power-law, indicating a crossover from exponential to inverse-log dynamics.
description: 4 pages & 4 figures, + 8 pages supplemental material
Inno a Demetra - Traduzione
Creators: name: Daventry, Andrew
Publisher: name: Zenodo
Year: 2019
Subjects: inni omerici
Persefone
lettere classiche
traduzioni
Demetra
greco antico

description: Una delle pagine più belle della letteratura greca: un autore sconosciuto canta il dolore di una madre e i misteri della natura e della religione in una lirica commuovente, che negli anni ha affascinato alcuni dei più grandi artisti e letterati, da Ovidio a Goethe e Tennyson.

Traduzione in italiano realizzata da Andrew Daventry
description: {"references": ["Brandenstein, Wilhelm (1936). \u1f08\u03c4\u03c1\u03cd\u03b3\u03b5\u03c4\u03bf\u03c2. In: Philologische Wochenschrift, LVI.", "Ciani, Maria Grazia (2010). Inno a Demetra. In: Persefone. Variazioni sul mito. Venezia: Marsilio.", "Crudden, Michael (2009). Homeric Hymn to Demeter. In: The Homeric Hymns - Oxford World's Classics. Oxford: Oxford University Press.", "Foley, Helene P. (1993). The Homeric Hymn to Demeter. Princeton: Princeton University Press.", "Gerunzi, Egisto (1900). Gl'inni omerici dichiarati e tradotti da Egisto Gerunzi. Firenze: Le Monnier.", "Leconte de Lisle, Charles Marie Ren\u00e9 (2001). Hymne hom\u00e9rique \u00e0 D\u00e9m\u00e9ter. In: Hymnes; \u00c9pigrammes; La Batrakhomiomakhie. Clermont-Ferrand: Paleo.", "Pisani, Vittore (1961). Note di fonetica e morfologia greche. In: Rendiconti dell'Istituto Lombardo di Scienze e Lettere, LXXIII.", "Rayor, Diane J. (2014). Homeric Hymn to Demeter. In: The Homeric Hymns: A Translation, with Introduction and Notes. Berkeley: University of California Press.", "Romagnoli, Ettore (1939). Inno a Demetra. In: Omero minore: Inni, Batracomiomachia, Epigrammi, Margite. Bologna: Zanichelli."]}
Stegana (Steganina) lingnanensis Cheng, Gao & Chen, 2009, sp. nov.
Creators: name: Cheng, Yu
name: Gao, Jian-Jun
name: Chen, Hong-Wei
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Drosophilidae
Stegana
Stegana lingnanensis

description: Stegana (Steganina) lingnanensis sp. nov. (Figs 11–14) Specimens examined. Holotype: ♂ (SCAU, No. 120635), CHINA: Huolushan, Guangzhou, Guangdong, 23°10ʹ N, 113°22ʹ E, altitude 130 m, 5.iv.2005, on tree trunk, MF Xu. Paratypes: CHINA: 2♂ 1♀ (SCAU, Nos 120636-38), same data as holotype. Diagnosis. Aedeagus broadened, slightly bifid medially, with 1 pair of small projections and pubescence (Fig. 14); gonopods with 1 acute projection medially (Fig. 14); 10th sternite with 1 pair of asymmetric projections sublaterally (Fig. 13). Description. Male and female: Pedicel grey-yellow; first flagellomere mostly black. Palpus yellow basally, black distally. Katepisternum dark brown on upper part, white on lower part. Legs brown to dark brown, white on basal parts of all femora and distal part of mid and hind tibiae, yellow-brown on 1st to 4th tarsomeres of all legs. Fore femur with 4 setae on distal half of ventral surface. Male terminalia: Epandrium with approximately 21 setae near posterior to ventral margin on each body-side (Fig. 11). Surstylus broadened submedially (Fig. 12). Cercus with sporadic pubescence (Fig. 11). Plate between hypandrium and aedeagus lacking pubescence (Fig. 14). Measurements: BL = 2.72 mm in holotype (range in 2♂ 1♀ paratypes: 2.66–3.12 mm in ♂, 2.53 mm in ♀); ThL = 1.41 mm (1.38–1.44 mm in ♂, 1.31 mm in ♀); WL = 2.30 mm (2.28–2.40 mm in ♂, 2.23 mm in ♀); WW = 1.28 mm (1.22–1.28 mm in ♂, 1.20 mm in ♀). Indices: arb = 8/6 (8/7), avd = 0.92 (0.80–0.86), adf = 1.08 (1.08–1.25), flw = 1.83 (1.69–1.92), FW/HW = 0.37 (0.37–0.41), ch/o = 0.07 (0.07–0.08), prorb = 1.08 (1.04), rcorb = 0.68 (0.67–0.74), vb = 0.26 (0.19–0.23), dcl = 0.39 (0.43–0.46), presctl = 0.63 (0.59–0.65), sctl = 1.36 (1.31–1.45), sterno = 0.94 (0.92), orbito = 2.43 (1.88–2.14), dcp = 0.19 (0.18–0.21), sctlp = 1.42 (1.15– 1.29), C = 1.94 (1.72–1.86), 4c = 1.26 (1.31–1.44), 4v = 1.78 (1.77–1.92), 5x = 1.15 (1.08–1.15), ac = 8.50 (8.50–9.00), M = 0.56 (0.52–0.56), C3F = 0.66 (0.57–0.65). Distribution. China (Guangdong). Etymology. Pertaining to the type locality.
description: Published as part of Cheng, Yu, Gao, Jian-Jun & Chen, Hong-Wei, 2009, Stegana ornatipes species group from the Oriental Region (Diptera: Drosophilidae), pp. 37-48 in Zootaxa 2216 (1) on page 42, DOI: 10.11646/zootaxa.2216.1.3, http://zenodo.org/record/5321864
AKARI Observation of the North Ecliptic Pole (NEP) Supercluster at z = 0.087: mid-infrared view of transition galaxies
Creators: name: Ko, Jongwan
name: Im, Myungshin
name: Lee, Hyung Mok
name: Lee, Myung Gyoon
name: Kim, Seong Jin
name: Shim, Hyunjin
name: Jeon, Yiseul
name: Hwang, Ho Seong
name: Willmer, Christopher N. A.
name: Malkan, Matthew A.
name: Papovich, Casey
name: Weiner, Benjamin J.
name: Matsuhara, Hideo
name: Oyabu, Shinki
name: Takagi, Toshinobu
Publisher: name: arXiv
Year: 2011
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present the mid-infrared (MIR) properties of galaxies within a supercluster in the North Ecliptic Pole region at z?0.087 observed with the AKARI satellite. We use data from the AKARI NEP-Wide (5.4 deg2) IR survey and the CLusters of galaxies EVoLution studies (CLEVL) mission program. We show that near-IR (3 μm)-mid- IR (11 μm) color can be used as an indicator of the specific star formation rate and the presence of intermediate age stellar populations. From the MIR observations, we find that red-sequence galaxies consist not only of passively evolving red early-type galaxies, but also of 1) "weak-SFG" (disk-dominated star-forming galaxies which have star formation rates lower by \sim 4 \times than blue-cloud galaxies), and 2) "intermediate- MXG" (bulge-dominated galaxies showing stronger MIR dust emission than normal red early-type galaxies). Those two populations can be a set of transition galaxies from blue, star-forming, late-type galaxies evolving into red, quiescent, early-type ones. We find that the weak-SFG are predominant at intermediate masses (1010M\odot < M\star < 1010.5M\odot) and are typically found in local densities similar to the outskirts of galaxy clusters. As much as 40% of the supercluster member galaxies in this mass range can be classified as weak-SFGs, but their proportion decreases to < 10% at larger masses (M\star > 1010.5 M\odot) at any galaxy density. The fraction of the intermediate-MXG among red- sequence galaxies at 1010M\odot < M\star < 1011M\odot also decreases as the density and mass increase. In particular, \sim42% of the red-sequence galaxies with early-type morphologies are classified as intermediate-MXG at intermediate densities. These results suggest that the star formation activity is strongly dependent on the stellar mass, but that the morphological transformation is mainly controlled by the environment.
description: 46 pages, 25 figures, accepted for publication in ApJ
Don't Trust The Locals: Investigating the Prevalence of Persistent Client-Side Cross-Site Scripting in the Wild.
Creators: name: Steffens, Marius
name: Rossow, Christian
name: Johns, Martin
name: Stock, Ben
Publisher: name: CISPA
Year: 2023

description: The Web has become highly interactive and an important driver for modern life, enabling information retrieval, social exchange, and online shopping. From the security perspective, Cross-Site Scripting (XSS) is one of the most nefarious attacks against Web clients. Research has long since focused on three categories of XSS: Reflected, Persistent, and DOMbased XSS. In this paper, we argue that our community must consider at least four important classes of XSS, and present the first systematic study of the threat of Persistent Client-Side XSS, caused by the insecure use of client-side storage. While the existence of this class has been acknowledged, especially by the non-academic community like OWASP, prior works have either only found such flaws as side effects of other analyses or focused on a limited set of applications to analyze. Therefore, the community lacks in-depth knowledge about the actual prevalence of Persistent Client-Side XSS in the wild. To close this research gap, we leverage taint tracking to identify suspicious flows from client-side persistent storage (Web Storage, cookies) to dangerous sinks (HTML, JavaScript, and script.src). We discuss two attacker models capable of injecting malicious payloads into storage, i.e., a Network Attacker capable of temporarily hijacking HTTP communication (e.g., in a public WiFi), and a Web Attacker who can leverage flows into storage or an existing reflected XSS flaw to persist their payload. With our taint-aware browser and these models in mind, we study the prevalence of Persistent Client-Side XSS in the Alexa Top 5,000 domains. We find that more than 8% of them have unfiltered data flows from persistent storage to a dangerous sink, which showcases the developers’ inherent trust in the integrity of storage content. Even worse, if we only consider sites that make use of data originating from storage, 21% of the sites are vulnerable. For those sites with vulnerable flows from storage to sink, we find that at least 70% are directly exploitable by our attacker models. Finally, investigating the vulnerable flows originating from storage allows us to categorize them into four disjoint categories and propose appropriate mitigations.
Observation of lattice waves through observation of the photoluminescence Blinking in InGaN Quantum Well devices
Creators: name: Micheletto, R.
name: Oikawa, K.
name: Feldmeier, C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The photoluminescence of III-V wide band-gap semiconductors as InGaN is characterized by local intensity fluctuations, known as 'blinking points', that despite decades of research are not yet completely understood. In this letter we report experimental data and a theoretical interpretation that suggests they are caused by the interference of thermal vibrations of the Quantum Well lattice. With far-field optical tests we could observe the lower frequency tail of these interference waves and study their dynamics as they propagate up to distances of several tens of microns.
description: 4 pages, 4 figures
The role of the in-medium four-quark condensates revised
Creators: name: Drukarev, E. G.
name: Ryskin, M. G.
name: Sadovnikova, V. A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We calculate the nucleon self-energies in nuclear matter in the QCD sum rules approach, taking into account the contributions of the four-quark condensates. We analyze the dependence of the results on the model employed for the calculation of the condensates and demonstrate that the relativistic character of the models is important. The condensates are calculated with inclusion of the most important terms beyond the gas approximation. This corresponds to inclusion of the two-body nucleon forces and of the most important three-body forces. The results are consistent with the convergence of the operator product expansion. The density dependence of the nucleon self-energies is obtained. The results are consistent with those obtained by the standard nuclear physics methods, thus inspiring further development of the approach.
description: 38 pages, 7 figures, 4 tables
Collective Knowledge framework to automate, crowdsource, reproduce and share HPC experiments
Creators: name: Fursin, Grigori
Publisher: name: Zenodo
Year: 2019
Subjects: collective knowledge
open science
collaborative research
reproducible research
reusable components
common APIs
abstraction
portable workflows
native environment

description: Validating experimental results from articles has finally become a norm at many HPC and systems conferences. Nowadays, more than half of accepted papers pass artifact evaluation and share related code and data. Unfortunately, lack of a common experimental framework, common research methodology and common formats places an increasing burden on evaluators to validate a growing number of ad-hoc artifacts. Furthermore, having too many ad-hoc artifacts and Docker snapshots is almost as bad as not having any (!), since they cannot be easily reused, customized and built upon.

While overviewing more than 100 papers during artifact evaluation at PPoPP, CGO, PACT and other conferences, I noticed that many of them use similar experimental setups, benchmarks, models, data sets, environments and platforms. This motivated me to develop Collective Knowledge (CK), an open workflow framework with a unified Python API to automate common researchers’ tasks such as detecting software and hardware dependencies, installing missing packages, downloading data sets and models, compiling and running programs, performing autotuning and co-design, crowdsourcing

time-consuming experiments across computing resources provided by volunteers similar to SETI@home, applying statistical analysis and machine learning, validating results and plotting them on a common scoreboard for open and fair comparison, automatically generating interactive articles, and so on: cKnowledge.org.

In this talk I will introduce CK concepts and present several real world use cases from General Motors, Amazon and Arm

on collaborative benchmarking, autotuning and co-design of efficient software/hardware stacks for deep learning. I will also present results and reusable CK components from the 1st ACM ReQuEST optimization tournament. Finally, I will introduce our latest initiative to create an open repository of reusable research components and workflows.
description: Presentation at the 4th EasyBuild User Meeting at Louvain-la-Neuve.
description: {"references": ["Fursin, Grigori et.al (2016). Collective Knowledge: Towards R&D sustainability."]}
Fidelius: Protecting User Secrets from Compromised Browsers
Creators: name: Eskandarian, Saba
name: Cogan, Jonathan
name: Birnbaum, Sawyer
name: Brandon, Peh Chang Wei
name: Franke, Dillon
name: Fraser, Forest
name: Garcia, Gaspar
name: Gong, Eric
name: Nguyen, Hung T.
name: Sethi, Taresh K.
name: Subbiah, Vishal
name: Backes, Michael
name: Pellegrino, Giancarlo
name: Boneh, Dan
Publisher: name: CISPA
Year: 2023

description: Users regularly enter sensitive data, such as passwords, credit card numbers, or tax information, into the browser window. While modern browsers provide powerful client-side privacy measures to protect this data, none of these defenses prevent a browser compromised by malware from stealing it. In this work, we present Fidelius, a new architecture that uses trusted hardware enclaves integrated into the browser to enable protection of user secrets during web browsing sessions, even if the entire underlying browser and OS are fully controlled by a malicious attacker. Fidelius solves many challenges involved in providing protection for browsers in a fully malicious environment, offering support for integrity and privacy for form data, JavaScript execution, XMLHttpRequests, and protected web storage, while minimizing the TCB. Moreover, interactions between the enclave and the browser, the keyboard, and the display all require new protocols, each with their own security considerations. Finally, Fidelius takes into account UI considerations to ensure a consistent and simple interface for both developers and users. As part of this project, we develop the first open source system that provides a trusted path from input and output peripherals to a hardware enclave with no reliance on additional hypervisor security assumptions. These components may be of independent interest and useful to future projects. We implement and evaluate Fidelius to measure its performance overhead, finding that Fidelius imposes acceptable overhead on page load and user interaction for secured pages and has no impact on pages and page components that do not use its enhanced security features.
Analytical Release Management for Mobile Apps
Creators: name: Nayebi, Maleknaz
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Mobile apps
subject: Release planning
subject: Crowd-sourcing
subject: Data analytics
subject: Big Data
subject: App store mining
subject: Empirical software engineering
subject: Computer Science

description: Developing software products and maintaining software versions for adding or modifying functionality and quality to software is affected by several factors that have been traditionally analyzed under the terms “when to release” and “what to release”. Along the emergence of mobile apps, the release practices are changing. App stores are markets for many small sized software products which provide an open platform for users to express their opinions about using apps. The rise in popularity of mobile devices has led to a parallel growth in the size of the app store market, intriguing several research studies and commercial platforms on mining app stores. Large numbers of similar software products in a market make app design highly competitive. On the other side, app store reviews are currently the primary tool being used to analyze different aspects of app development and evolution. However, app users' feedback does not only occur on the app store. In fact, despite the mass quantity of posts that are made daily on social media, the importance and value that these discussions provide remain largely unused. While release management of software products has been long the subject of studies, mobile apps bring new opportunities and threats to the release practices. This thesis is a series of eight papers contributing to: - Understanding the opportunities and threats for release management of mobile apps. - Analyzing evolution of mobile apps over different releases. - Providing new formulation to integrate the opportunities of app stores into planning models. - Providing decision support for release management of mobile applications.
Mechanical squeezing via parametric amplification and weak measurement
Creators: name: Szorkovszky, Alex
name: Doherty, Andrew C.
name: Harris, Glen I.
name: Bowen, Warwick P.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Nonlinear forces allow motion of a mechanical oscillator to be squeezed below the zero-point motion. Of existing methods, mechanical parametric amplification is relatively accessible, but previously thought to be limited to 3dB of squeezing in the steady state. We consider the effect of applying continuous weak measurement and feedback to this system. If the parametric drive is optimally detuned from resonance, correlations between the quadratures of motion allow unlimited steady-state squeezing. Compared to back-action evasion, we demonstrate that the measurement strength, temperature and efficiency requirements for quantum squeezing are significantly relaxed.
description: 4 pages, 3 figures
Benthoctopus profundorum Robson 1932
Creators: name: Strugnell, Jan
name: Voight, Janet R.
name: Collins, Patrick C.
name: Allcock, A. Louise
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Cephalopoda
Octopoda
Octopodidae
Benthoctopus
Benthoctopus profundorum

description: Benthoctopus cf. profundorum Robson, 1932 Material examined: Benthoctopus cf. profundorum : * FMNH 307179, RV Atlantis HOV Alvin, 11°25'N 103°47'W (East Pacific Rise), Dive 3934, 15 November 2003, 2492 m, female, leg. & det. JR Voight. Diagnosis. Arms 3–4 times ML. Arm formula 1>2>3=4. Funnel organ W-shaped. Gills 6 lamellae per demibranch. Male characters unknown. Integument smooth. Remarks. This species shows some affinity with B. profundorum as described by Robson in his 1932 monograph. It has a similar W-shaped funnel organ, the same number of gill lamellae per demibranch (6–7 for the type of profundorum) and similarly sized suckers (SDI 5.9 reported for the type of profundorum versus 5.8 in our specimen). The arms appear to be very slightly shorter (83% of the total length in B. profundorum versus 78% in our specimen) and the web is slightly shallower (WDI 22.6% versus 34% in profundorum). Despite the similarities, we hesitate to place our specimen firmly in profundorum given the very great distance between the catch location and the type locality (34°37'N 140°32'E) of profundorum. Although other specimens have previously been attributed to profundorum, these need to be treated with caution. It is doubtful that any specimens other than the type can be referred to this species (Voss & Pearcy 1990).
description: Published as part of Strugnell, Jan, Voight, Janet R., Collins, Patrick C. & Allcock, A. Louise, 2009, Molecular phylogenetic analysis of a known and a new hydrothermal vent octopod: their relationships with the genus Benthoctopus (Cephalopoda: Octopodidae), pp. 442-459 in Zootaxa 2096 (1) on page 448, DOI: 10.11646/zootaxa.2096.1.27, http://zenodo.org/record/5321990
description: {"references": ["Robson, G. C. (1932) A monograph of the recent Cephalopoda based on the collections in the British Museum (Natural History), Part II, The Octopoda (excluding the Octopodinae). British Museum (Natural History) London 359 pp., 6 plates.", "Voss G. L. & Pearcy, W. G. (1990) Deep-water octopods of the Northeastern Pacific. Proceedings of the California Academy of Sciences, 37, 47 - 94."]}
Benthoctopus oregonensis Voss & Pearcy 1990
Creators: name: Strugnell, Jan
name: Voight, Janet R.
name: Collins, Patrick C.
name: Allcock, A. Louise
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Cephalopoda
Octopoda
Octopodidae
Benthoctopus
Benthoctopus oregonensis

description: Benthoctopus oregonensis Voss & Pearcy, 1990 Type material examined: Benthoctopus oregonensis Voss & Pearcy, 1990 holotype, USNM 729991, RV Yaquina, 44°37'N 125°01'W (off Oregon Coast), Stn 6606-123, 6 August 1966, 1260 m, male. Additional material examined: Benthoctopus oregonensis: * FMNH 278314, RV Wecoma, 44°46'N 125°31'W (off Oregon coast), Stn 15, 21 April 1997, 2750 m, female, leg. & det. JR Voight. Diagnosis. Arms approximately 3–4 times ML. Arm formula usually 1>2>3>4. Funnel organ W-shaped. Gills with 11 lamellae per outer demibranch. LLI approximately 6 (holotype). Maximum spermatophore length 70, maximum SpLI 80, maximum number of spermatophores 27. Mature males without enlarged suckers. Integument smooth. Remarks. Medial element of the funnel organ narrowly incised.
description: Published as part of Strugnell, Jan, Voight, Janet R., Collins, Patrick C. & Allcock, A. Louise, 2009, Molecular phylogenetic analysis of a known and a new hydrothermal vent octopod: their relationships with the genus Benthoctopus (Cephalopoda: Octopodidae), pp. 442-459 in Zootaxa 2096 (1) on page 448, DOI: 10.11646/zootaxa.2096.1.27, http://zenodo.org/record/5321990
description: {"references": ["Voss G. L. & Pearcy, W. G. (1990) Deep-water octopods of the Northeastern Pacific. Proceedings of the California Academy of Sciences, 37, 47 - 94."]}
Health governance, medical pluralism and the politics of integration : a legal theory for increasing access to healthcare
Creators: name: Iyioha, Irehobhude Otibhor
Publisher: name: University of British Columbia
Year: 2011

description: This thesis investigates why and how extant systems of health governance and the associated boundaries of legitimacy imposed by these systems impact on the realization of key healthcare objectives. It contends that while purporting to represent a universally valid approach to healthcare delivery, the transposed laws/institutions that underlie these governance systems are of themselves designed to address health and health systems-related problems through methods often unsuited to the unique experiential dynamics that ought to shape governance in any given society. This thesis responds to this disparity between governance regimes and societal realities by advancing dual healthcare reform initiatives. First, it espouses the concept of medical integration—consistent with the recommendations of the World Health Organization, which involves the systemic synthesis of indigenous, complementary, alternative and biomedical healthcare resources. Second, since medical integration faces legal complications—which are products of decontextualized governance systems that are incompatible with the pluralistic nature of healthcare usage/delivery in underserved populations – this thesis proposes that health equity is dependent on a new approach to governance sustained by a reformed legal process in which legal policies reflect socio-economic, geo-cultural, and political-historical dynamics. Drawing insights from Lon Fuller‘s interactional law theory and Felix Cohen‘s functional jurisprudence, this study propounds a theory of integral governance—herein denoted as Integrated Governance—which offers a legal and institutional framework for medical integration. Integrated Governance is first a theory of law centering on the institutionalization of laws that embody empirical trends and a theory of democratic governance advancing an interactive and interdependent relationship between the state, health professionals of multiple healthcare paradigms, consumers, and relevant non-state actors. The thesis applies research outcomes from two Canadian cities and four Nigerian urban and rural communities to support its contentions. By identifying in both countries prevalent clinical practices that complement trends in consumer healthcare behaviour, and highlighting disparities between these practices/trends and extant governance regimes, the research substantiates the underlying thesis of this study – that this disparity represents a failure of governance. The research further supports the thesis that governance must be restructured to produce functional healthcare institutions that address the needs of legal subjects.