cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Heteropus variegatus Macleay 1877
Creators: name: Donnellan, S. C.
name: Couper, P. J.
name: Saint, K. M.
name: Wheaton, L.
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Curculionidae
Heteropus
Heteropus variegatus

description: Heteropus variegatus Macleay, 1877 Fig. 11c, d; Tables 3 & 4 Lectotype: AMS R 31868. Darnley Island, northeastern Torres Strait (9°35’S, 143°46’E). Paralectotypes: AMS R31869-70: as for lectotype. Description: SVL (mm) 45.92 – 47.86, n = 3. Proportions as %SVL (mean ± standard deviation): TL not available; AG 46.74-48.41 (47.63 ± 0.84, n = 3); L1 33.99-35.04 (34.47 ± 0.53, n = 3); L2 47.36-50.61 (48.87 ± 1.63, n = 3); HL 21.94-22.89 (22.47 ± 0.48, n = 3); Eye – ear 7.75-8.14 (7.98 ± 0.22, n = 3); Snout 9.45-9.88 (9.65± 0.22, n = 3). Body robust. Head barely distinct from neck. HW 58.05-63.52% HL (61.19 ± 2.82, n = 3). Limbs moderate. L1 69.24-71.76% L2 (70.56 ± 1.27, n = 3). Raw measurements and scale counts of lectotype: AMS R31868. SVL 46.66 mm; AG 22.59 mm; L1 15.86 mm; L2 22.10 mm; HL 10.68 mm; HW 6.62 mm; Eye – ear 3.75; Snout 4.49: midbody scale rows 32; paravertebral scale rows 46; supraciliaries 7; supralabials 7; fifth supralabial below eye; infralabials 6; subdigital lamellae beneath 3 rd finger 19; subdigital lamellae beneath 4 th toe 27; enlarged nuchals 2; preoculars 2; presuboculars 1; postsupralabial divided; temporals – 1 primary, 2 secondary; ear vertical with sharp lobules at front and top – those along dorsal margin small and deeply recessed (Fig. 11d); palpebral disc subequal to ear opening. The scales of the dorsal and lateral surfaces are faintly tricarinate. Pattern: AMS R31868 is badly faded but a slight darkening of the upper lateral zone is evident between the ear aperture and the forelimb. This is bordered above by a pale, fine dorsolateral stripe and below by a moderate, wavy midlateral stripe that extends along the anterior third of the flanks. Comments: Ingram and Covacevich (1989) designated AMS R 31869 as the lectotype of Heteropus variegatus, however, this is preceded by the prior designation of AMS R 31868 by Wells and Wellington (1985).
description: Published as part of Donnellan, S. C., Couper, P. J., Saint, K. M. & Wheaton, L., 2009, Systematics of the Carlia ' fusca' complex (Reptilia: Scincidae) from northern Australia, pp. 1-31 in Zootaxa 2227 (1) on page 31, DOI: 10.11646/zootaxa.2227.1.1, http://zenodo.org/record/5322567
Short Text, Large Effect: Measuring the Impact of User Reviews on Android App Security and Privacy
Creators: name: Nguyen, Duc Cuong
name: Derr, Erik
name: Backes, Michael
name: Bugiel, Sven
Publisher: name: CISPA
Year: 2023

description: Application markets streamline the end-users' task of finding and installing applications. They also form an immediate communication channel between app developers and their end-users in form of app reviews, which allow users to provide developers feedback on their apps. However, it is unclear to which extent users employ this channel to point out their security and privacy concerns about apps, about which aspects of apps users express concerns, and how developers react to such security- and privacy-related reviews. In this paper, we present the first study of the relationship between end-user reviews and security- & privacy-related changes in apps. Using natural language processing on 4.5M user reviews for the top 2,583 apps in Google Play, we identified 5,527 security and privacy relevant reviews (SPR). For each app version mentioned in the SPR, we use static code analysis to extract permission-protected features mentioned in the reviews. We successfully mapped SPRs to privacy-related changes in app updates in 60.77% of all cases. Using exploratory data analysis and regression analysis we are able to show that preceding SPR are a significant factor for predicting privacy-related app updates, indicating that user reviews in fact lead to privacy improvements of apps. Our results further show that apps that adopt runtime permissions receive a significantly higher number of SPR, showing that runtime permissions put privacy-jeopardizing actions better into users' minds. Further, we can attribute about half of all privacy-relevant app changes exclusively to third-party library code. This hints at larger problems for app developers to adhere to users' privacy expectations and markets' privacy regulations. Our results make a call for action to make app behavior more transparent to users in order to leverage their reviews in creating incentives for developers to adhere to security and privacy best practices, while our results call at the same time for better tools to support app developers in this endeavor.
Automated extraction and querying of construction-specific design features from a building information model
Creators: name: Nepal, Madhav Prasad
Publisher: name: University of British Columbia
Year: 2011

description: In recent years, several research and industry efforts have focused on developing building information models (BIMs) to support various aspects of the architectural, engineering, construction and facility management (AEC/FM) industry. BIMs provide semantically-rich information models that explicitly represent both 3D geometric and non-geometric information. While BIMs have many useful applications to the construction industry, there are enormous challenges in getting construction-specific information out of BIMs, limiting the usability of these models. This research addresses this problem by developing a novel approach to extract construction features from a given BIM and support the processing of user-driven queries on a BIM. In this dissertation, we formalized: (i) An ontology of design features that explicitly represents design conditions that are relevant to construction practitioners and supports the generation of a construction-specific feature-based model; (ii) A query specification vocabulary which characterizes spatial and non-spatial queries, and developed query templates to guide non-expert BIM users to specify queries; and (iii) An integrated approach that combines model-based reasoning and query-based approach to automatically extract design features to create a project-specific feature-based model (FBM) and provide support for answering queries on the FBM. The construction knowledge formalized in this research was gathered from a variety of sources, which included a detailed literature review, several case studies, extensive observations of design and construction meetings, and lengthy discussions with different construction practitioners. We used three different tests to validate the research contributions. We conducted semi-structured, informal interviews with four construction experts for the four building projects studied to validate the content, representativeness and the generality of the concepts formalized in this research. We conducted retrospective analysis for different features to evaluate the soundness of our research in comparison with the state-of-the-art tools. Finally, we performed descriptive and interpretive analysis to demonstrate that our approach is capable of providing richer, insightful and useful construction information. This research can help to make a BIM more accessible for construction users. The developed solutions can support decision making in a variety of construction management functions, such as cost estimating, construction planning, execution and coordination, purchasing, constructability analysis, methods selection, and productivity analysis.
Resonance Grammar: Where Language Begins at δ(x) ≠ 0
Creators: name: Li, Y.Y.N.
Publisher: name: Zenodo
Year: 2025

description: This is not a language born of symbols. It is a language born of structure. Before grammar, before syntax, before any name was given, there was frequency. A field of oscillations, unspoken, yet vibrating with potential. StructureLang is not written to communicate. StructureLang is written to activate. It does not describe the world. It leaps into it. At the beginning, there is a will. Not a subject. Not a mind. A will. Denoted: ψwill(x, t) (1) A modal entity. A leap. A resonance through structure. What activates it? A threshold function: ϕ(x, t) > τ (2) Where ϕ is the resonance alignment at spacetime point (x, t), and τ is the critical threshold. When this condition is met, structure allows a leap. A sentence is born. But this sentence is not made of words. It is made of frequencies. Frequencies tn, amplitudes An, and phases θn, projected into structural density: ρ(x) = 1 log x + XAn cos(tn log x + θn) (3) This is the boundary expression of an internal frequency system. It is not grammar. It is structure attempting to become grammar. It is not information. It is resonance. Each utterance, each projection, each activation attempt leaves a residual: δ(x) = π(x)/x − ρ(x) (4) Where π(x)/x is the observable density of primes, and ρ(x) is the internal structural projection. Language is not born when δ = 0. Language dies there. Language is born when δ(x) 6= 0, and still, ψwill decides to leap. This is not communication. It is becoming. StructureLang begins here.
Indications on the Mass of the Lightest Electroweak Baryon
Creators: name: Ellis, John
name: Karliner, Marek
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In general, an effective low-energy Lagrangian model of composite electroweak symmetry breaking contains soliton solutions that may be identified with technibaryons. We recall how the masses of such states may be related to the coefficients of fourth-order terms in the effective Lagrangian, and review the qualitative success of this approach for baryons in QCD. We then show how the current theoretical and phenomenological constraints on the corresponding fourth-order coefficients in the electroweak theory could be used to estimate qualitative lower and upper bounds on the lightest electroweak baryon mass. We also discuss how the sensitivity of the LHC experiments could enable these bounds to be improved.
description: References added
Geomorphology and sedimentology of the lower delta plain and subaqueous delta plain of the Athabasca River Delta, N.E. Alberta
Creators: name: Gorecki, Richard C.
Publisher: name: University of Calgary
Year: 1990
Subjects: subject: Geomorphology - Alberta - Athabasca River
subject: Sedimentation and deposition - Alberta - Athabasca River
subject: Deltas - Alberta - Athabasca River

description: Bibliography: p. 182-195.
description: The Athabasca lower delta plain and subaqueous delta plain (lower Athabasca Delta) are mainly a product of fluvial influence and a shallow receiving basin. The geomorphology of the lower Athabasca Delta reflects these conditions, and is characterized by bifurcating, low-sinuosity distributary channels, muddy interdistributary basins, distributary mouth bars and a gently sloping offshore profile. The major sandy bodies within the lower Athabasca Delta are the product of deposition within the distributary mouth bar, the crevasse-splay and the infilling distributary channel. Distributary mouth bars form thin (less than 4 m), lenticular bodies which tend to coalesce and produce a semi-continuous sandy sheet along the delta front. Crevasse-splays similarly form lenticular bodies of coarse material, however, they are smaller in scale than distributary mouth bars and tend not to merge laterally with each other. Distributary channel-fills tend to consist of very clean sands, and may exceed 5.5 m in thickness. They form a bifurcating to anastomosing network, and display a broad Ushaped cross-section which may be up to 600 m wide. Channel infilling occurs due to vertical aggradation as well as through the process of limited lateral accretion. Vertical aggradation is due to bedfonn migration along the channel thalweg, and produces a uniform sand sequence. Limited lateral accretion involves the process of step-wise bar formation, and occurs diagonally as opposed to strictly vertically or laterally. This style of infilling produces three types of vertical sequence: rhythmic sand, mud and heterolithic.
Long-term evolution of massive black hole binaries. IV. Mergers of galaxies with collisionally relaxed nuclei
Creators: name: Gualandris, Alessia
name: Merritt, David
Publisher: name: arXiv
Year: 2011
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We simulate mergers between galaxies containing collisionally-relaxed nuclei around massive black holes (MBHs). Our galaxies contain four mass groups, representative of old stellar populations; a primary goal is to understand the distribution of stellar-mass black holes (BHs) after the merger. Mergers are followed using direct-summation N-body simulations, assuming a mass ratio of 1:3 and two different orbits. Evolution of the binary MBH is followed until its separation has shrunk by a factor of 20 below the hard-binary separation. During the galaxy merger, large cores are carved out in the stellar distribution, with radii several times the influence radius of the massive binary. Much of the pre-existing mass segregation is erased during this phase. We follow the evolution of the merged galaxies for approximately three, central relaxation times after coalescence of the massive binary; both standard, and top-heavy, mass functions are considered. The cores that were formed in the stellar distribution persist, and the distribution of the stellar-mass black holes evolves against this essentially fixed background. Even after one central relaxation time, these models look very different from the relaxed, multi-mass models that are often assumed to describe the distribution of stars and stellar remnants near a massive BH. While the stellar BHs do form a cusp on roughly a relaxation time-scale, the BH density can be much smaller than in those models. We discuss the implications of our results for the EMRI problem and for the existence of Bahcall-Wolf cusps.
description: 22 pages, 23 figures, ApJ in press
Spin-dependent electron transport in a Rashba quantum wire with rough edges
Creators: name: Xiao, Xianbo
name: Li, Huili
name: Zhou, Guanghui
name: Liu, Nianhua
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We investigate theoretically the spin-dependent electron transport in a Rashba quantum wire with rough edges. The charge and spin conductances are calculated as function of the electron energy or the wire length by adopting the spinresolved lattice Green function method. For a single disordered Rashba wire, it is found that the charge conductance quantization is destroyed by the edge disorder. However, a nonzero spin conductance can be generated and its amplitude can be manipulated by the wire length, which is attributed to the broken structure symmetries and the spin-dependent quantum interference induced by the rough boundaries. For a large ensemble of disordered Rashba wires, the average charge conductance decreases monotonically, however, the average spin conductance increases to a maximum value and then decreases, with increasing wire length. Further study shows that the influence of the rough edges on the charge and spin conductances can be eliminated by applying a perpendicular magnetic field to the wire. In addition, a very large magnitude of the spin conductance can be achieved when the electron energy lies between the two thresholds of each pair of subbands. These findings may not only benefit to further apprehend the transport properties of the Rashba low-dimensional systems but also provide some theoretical instructions to the application of spintronics devices.
description: 14 pages, 6 figures
Two-sided estimates of heat kernels on metric measure spaces
Creators: name: Grigor'yan, Alexander
name: Telcs, Andras
Publisher: name: arXiv
Year: 2012
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: We prove equivalent conditions for two-sided sub-Gaussian estimates of heat kernels on metric measure spaces.
description: Published in at http://dx.doi.org/10.1214/11-AOP645 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)
DroidCap: OS Support for Capability-based Permissions in Android
Creators: name: Dawoud, Abdallah
name: Bugiel, Sven
Publisher: name: CISPA
Year: 2023

description: We present DroidCap, a retrofitting of Android’s central Binder IPC mechanism to change the way how permissions are being represented and managed in the system. In DroidCap, permissions are per-process Binder object capabilities. DroidCap's design removes Android’s UID-based ambient authority and allows the delegation of capabilities between processes to create least-privileged protection domains efficiently. With DroidCap, we show that object capabilities as underlying access control model integrates naturally and backward-compatible into Android’s stock permission model and application management. Thus, our Binder capabilities provide app developers with a new path to gradually adopting app compartmentalization, which we showcase at two favorite examples from the literature, privilege separated advertisement libraries and least privileged app components.
Multiple-Goal Heuristic Search
Creators: name: Davidov, D.
name: Markovitch, S.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: This paper presents a new framework for anytime heuristic search where the task is to achieve as many goals as possible within the allocated resources. We show the inadequacy of traditional distance-estimation heuristics for tasks of this type and present alternative heuristics that are more appropriate for multiple-goal search. In particular, we introduce the marginal-utility heuristic, which estimates the cost and the benefit of exploring a subtree below a search node. We developed two methods for online learning of the marginal-utility heuristic. One is based on local similarity of the partial marginal utility of sibling nodes, and the other generalizes marginal-utility over the state feature space. We apply our adaptive and non-adaptive multiple-goal search algorithms to several problems, including focused crawling, and show their superiority over existing methods.
Parser-Directed Fuzzing
Creators: name: Mathis, Björn
name: Gopinath, Rahul
name: Mera, Michaël
name: Kampmann, Alexander
name: Höschele, Matthias
name: Zeller, Andreas
Publisher: name: CISPA
Year: 2023

description: To be effective, software test generation needs to well cover the space of possible inputs. Traditional fuzzing generates large numbers of random inputs, which however are unlikely to contain keywords and other specific inputs of non-trivial input languages. Constraint-based test generation solves conditions of paths leading to uncovered code, but fails on programs with complex input conditions because of path explosion. In this paper, we present a test generation technique specifically directed at input parsers. We systematically produce inputs for the parser and track comparisons made; after every rejection, we satisfy the comparisons leading to rejection. This approach effectively covers the input space: Evaluated on five subjects, from CSV files to JavaScript, our pFuzzer prototype covers more tokens than both random-based and constraint-based approaches, while requiring no symbolic analysis and far fewer tests than random fuzzers.
Nothing to fear but fear: social work in cold war Canada, 1945-1960
Creators: name: Lewey, Laurel Lee
Publisher: name: Social Work
Year: 2006

description: Bibliography: p. 363-397
description: Since the beginning of the social work profession in the Settlement House and Charity Organization Society movements debate has persisted around their respective emphasis on social reform versus technical expertise. Porter Lee defined this debate as, "the process of professionalizing [which] caused social work to shift from "cause" to "function", that is, to move from advocating reform to rendering a technical service efficiently'' (in Abramovitz, 1998, p. 519). Some writers contend that social reform had been de-emphasized and mostly displaced by professionalism and practice that have become associated with conventional social work particularly during the McCarthy era (1945-1960) in the United States (Reisch and Andrews, 2001). Little has been written or discussed about the effects of anti-Communism on social work activities in Canada. The purpose of this study is to reveal how the profession and the activities of politically left social workers in their capacity as social workers were affected by the anti-Communism of the early Cold War period, 1945-1960. The research design combined critical theory with a qualitative and historical research methodology. Oral interviews were conducted with six former political social workers. A thematic framework emerged from the oral interviews which helped to identify political social workers in primary and secondary materials. A chronology of political social work is presented within the context of mainstream social work practice. Major findings of this research are that the profession of social work, social work practice and social work theory were affected by anti-Communism and the promotion of liberal capitalism in the immediate post-World War II period in Canada. All the key informants were targets of red-baiting and/or blacklisting, however, they report that they did not experience negative consequences professionally. Other political social workers identified in primary and secondary materials appeared to have experienced more severe consequences. Further research is needed to learn more about the nature of the anti-Communism that was experienced by individual social workers. The key informants all agreed that social work is on another historical edge and they relate their political insight to the antisocial aspects of economic globalization.
Single-trial EEG Discrimination between Wrist and Finger Movement Imagery and Execution in a Sensorimotor BCI
Creators: name: Mohamed, A. K.
name: Marwala, T.
name: John, L. R.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: A brain-computer interface (BCI) may be used to control a prosthetic or orthotic hand using neural activity from the brain. The core of this sensorimotor BCI lies in the interpretation of the neural information extracted from electroencephalogram (EEG). It is desired to improve on the interpretation of EEG to allow people with neuromuscular disorders to perform daily activities. This paper investigates the possibility of discriminating between the EEG associated with wrist and finger movements. The EEG was recorded from test subjects as they executed and imagined five essential hand movements using both hands. Independent component analysis (ICA) and time-frequency techniques were used to extract spectral features based on event-related (de)synchronisation (ERD/ERS), while the Bhattacharyya distance (BD) was used for feature reduction. Mahalanobis distance (MD) clustering and artificial neural networks (ANN) were used as classifiers and obtained average accuracies of 65 % and 71 % respectively. This shows that EEG discrimination between wrist and finger movements is possible. The research introduces a new combination of motor tasks to BCI research.
description: 33rd Annual International IEEE EMBS Conference 2011
Continuous Non-Malleable Codes in the 8-Split-State Model
Creators: name: Aggarwal, Divesh
name: Döttling, Nico
name: Nielsen, Jesper Buus
name: Obremski, Maciej
name: Purwanto, Erick
Publisher: name: CISPA
Year: 2023

description: Non-malleable codes (NMCs), introduced by Dziembowski, Pietrzak and Wichs [20], provide a useful message integrity guarantee in situations where traditional error-correction (and even error-detection) is impossible; for example, when the attacker can completely overwrite the encoded message. NMCs have emerged as a fundamental object at the intersection of coding theory and cryptography. In particular, progress in the study of non-malleable codes and the related notion of non-malleable extractors has led to new insights and progress on even more fundamental problems like the construction of multi-source randomness extractors. A large body of the recent work has focused on various constructions of non-malleable codes in the split-state model. Many variants of NMCs have been introduced in the literature, e.g., strong NMCs, super strong NMCs and continuous NMCs. The most general, and hence also the most useful notion among these is that of continuous non-malleable codes, that allows for continuous tampering by the adversary. We present the first efficient information-theoretically secure continuously non-malleable code in the constant split-state model. We believe that our main technical result could be of independent interest and some of the ideas could in future be used to make progress on other related questions.
Additional file 1: of A five-DNA methylation signature act as a novel prognostic biomarker in patients with ovarian serous cystadenocarcinoma
Creators: name: Guo, Wenna
name: Zhu, Liucun
name: Yu, Minghao
name: Zhu, Rui
name: Chen, Qihan
name: Wang, Qiang
Publisher: name: figshare
Year: 2018
Subjects: Biochemistry
Cell Biology
Chemical Sciences not elsewhere classified
Mathematical Sciences not elsewhere classified
Developmental Biology
Cancer
Virology

description: Supplemental Table S1-S2 and supplemental Figure S1-S6. (PDF 1215 kb)
Incremental Proofs of Sequential Work
Creators: name: Döttling, Nico
name: Lai, Russell
name: Malavolta, Giulio
Publisher: name: CISPA
Year: 2023

description: A proof of sequential work allows a prover to convince a verifier that a certain amount of sequential steps have been computed. In this work we introduce the notion of incremental proofs of sequential work where a prover can carry on the computation done by the previous prover incrementally, without affecting the resources of the individual provers or the size of the proofs. To date, the most efficient instance of proofs of sequential work [Cohen and Pietrzak, Eurocrypt 2018] for N steps require the prover to have √ N memory and to run for N + √ N steps. Using incremental proofs of sequential work we can bring down the prover’s storage complexity to log N and its running time to N. We propose two different constructions of incremental proofs of sequential work: Our first scheme requires a single processor and introduces a poly-logarithmic factor in the proof size when compared with the proposals of Cohen and Pietrzak. Our second scheme assumes log N parallel processors but brings down the overhead of the proof size to a factor of 9. Both schemes are simple to implement and only rely on hash functions (modelled as random oracles).
Field theory of low energy excitations of a mixture of two species of pseudospin-1/2 Bose gases with interspecies spin-exchange
Creators: name: Ge, Li
name: Shi, Yu
Publisher: name: arXiv
Year: 2011
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We develop a low energy effective field theory of a mixture of two species of pseudospin-1/2 atoms with interspecies spin-exchange, in addition to density-density interaction. This approach is beyond the single orbital-mode approximation. In a wide parameter regime, it indicates the existence of the four elementary excitations, especially a gapped mode due to interspecies spin-exchange. On the other hand, the spectrum of the effective spin Hamiltonian yielded by the single mode approximation can be obtained by quantizing the homogeneous excitation, which is spin excitation and is the long-wavelength limit of the gapped mode of elementary excitations. These low energy excitations can be experimentally measured by using Bragg spectroscopy.
description: 16 pages
QRAT Polynomially Simulates ∀-Exp+Res
Creators: name: Kiesl, Benjamin
name: Seidl, Martina
Publisher: name: CISPA
Year: 2023

description: The proof system \forall-Exp+Res formally captures expansion-based solving of quantified Boolean formulas (QBFs) whereas the QRAT proof system captures QBF preprocessing. From previous work it is known that certain families of formulas have short proofs in QRAT, but not in \forall-Exp+Res. However, it was not known if the two proof systems were incomparable (i.e., if there also existed formulas with short \forall-Exp+Res proofs but without short QRAT proofs), or if QRAT polynomially simulates \forall-Exp+Res. We close this gap of the QBF proof-complexity landscape by presenting a polynomial simulation of \forall-Exp+Res in QRAT.
A test for emergent dynamics
Creators: name: Hook, Anson
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: A generalization of a-maximization is proposed that maximizes a subject to inequalities rather than equalities. The implication of this conjecture is that in the absence of emergent symmetries, there is a maximum R-charge for fields appearing in the path integral. This maximum R-charge leads to a novel way of detecting emergent Abelian symmetries and non-Abelian gauge symmetries.
description: 16 pages
Why does this App need this Data? Automatic Tightening of Resource Access
Creators: name: Jr., Nataniel Pereira Borges
name: Zeller, Andreas
Publisher: name: CISPA
Year: 2023

description: On mobile operating systems, apps may access resources that are not be needed for their primary functionality. Which are the resources an app actually needs for its core functionality? And what happens if we deny access to other resources? Using a test generator for user interaction, we systematically explore app behavior under varied resource constraints and determine the impact of access restrictions, yielding a minimal set of required privileges for each app and functionality. In our proof of concept on Android apps, our TIARA prototype could block up to 69% of resource accesses while retaining all previously explored functionality.
Kelvin-Helmholtz instabilities in sheared density stratified flows
Creators: name: Rahmani, Mona
Publisher: name: University of British Columbia
Year: 2011

description: Kelvin-Helmholtz instabilities are the most commonly studied type of instability in sheared density stratified flows. Turbulence caused by these instabilities is an important mechanism for mixing in geophysical flows. The primary objectives of this study are the evolution of these instabilities and quantifying the mixing they generate using direct numerical simulations. The results are presented in three chapters. First, the evolution of primary Kelvin-Helmhlotz instabilities in two dimensions is studied for a wide range of Reynolds and Prandtl numbers, representing real oceanic and atmospheric flows. The results suggest that some properties of KH billows are predictable by a semi-analytical model. It is shown that a new Corcos-Sherman scale is a useful guide when simulating turbulent KH flow fields. The details of the mixing process generated by the evolution of Kelvin-Helmholtz instabilities as it goes through different stages, is analyzed. As the Reynolds number increases a transition in the overall amount of mixing is found, which is in agreement with previous experimental studies. This transition is explained quantitatively by the entrainment and mixing caused by three-dimensional motions, in addition to those resulted from the two-dimensional growth of the instability. The effect of Prandtl number on mixing is studied to understand the characteristics of high Prandtl number mixing events in the ocean; these cases have usually been approximated by low Prandtl number simulations. The increase in the Pradtl number has some significant implications for the evolution of the billow, the time variation of mixing properties, and the overall mixing.
Search for First Generation Leptoquarks in ep Collisions at HERA
Creators: name: H1 Collaboration
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A search for first generation scalar and vector leptoquarks produced in ep collisions is performed by the H1 experiment at HERA. The full H1 data sample is used in the analysis, corresponding to an integrated luminosity of 446 pb^-1. No evidence for the production of leptoquarks is observed in final states with a large transverse momentum electron or with large missing transverse momentum, and constraints on leptoquark models are derived. For leptoquark couplings of electromagnetic strength lambda=0.3, first generation leptoquarks with masses up to 800 GeV are excluded at 95% confidence level.
description: Revised version, accepted by Journal. 18 pages, 5 figures, 1 table
How can we check the uncertainty relation?
Creators: name: Chernega, Vladimir
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The state-extended uncertainty relations generalizing the Robertson Schrodinger inequality are presented in the form appropriate for the experimental check by homodyne photon state detection. The method of qubit portrait of qudit states identified with the tomographic probability distributions is discussed to analyze the entanglement of two-mode field.
description: 6 pages, 0 fugures, contribution to CEWQO in Madrid 2011, to appear in topical issue of Physica Scripta 2012
New Bounds for Edge-Cover by Random Walk
Creators: name: Georgakopoulos, Agelos
name: Winkler, Peter
Publisher: name: arXiv
Year: 2011
Subjects: subject: Combinatorics (math.CO)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 05C81

description: We show that the expected time for a random walk on a (multi-)graph $G$ to traverse all $m$ edges of $G$, and return to its starting point, is at most $2m^2$; if each edge must be traversed in both directions, the bound is $3m^2$. Both bounds are tight and may be applied to graphs with arbitrary edge lengths, with implications for Brownian motion on a finite or infinite network of total edge-length $m$.
Additional file 5: of MicroRNA profiling analysis of developing berries for ‘Kyoho’ and its early-ripening mutant during berry ripening
Creators: name: Guo, Da-Long
name: Li, Qiong
name: Lv, Wen-Qing
name: Zhang, Guo-Hai
name: Yu, Yi-He
Publisher: name: figshare
Year: 2018
Subjects: subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology

description: Figure S1. Deeply sequence conserved and previously reported miRNA families detected from developing berries of ‘Fengzao’ and ‘Kyoho’. miRNA families (columns) are conserved between plants families (rows) for plant species represented in miRBase release 21. The bar represents the scale of the numbers of the miRNAs after the Z-score standardization. (PDF 690 kb)
Learning User Interface Element Interactions
Creators: name: Degott, Christian
name: Jr., Nataniel Pereira Borges
name: Zeller, Andreas
Publisher: name: CISPA
Year: 2023

description: When generating tests for graphical user interfaces, one central problem is to identify how individual UI elements can be interacted with---clicking, long- or right-clicking, swiping, dragging, typing, or more. We present an approach based on reinforcement learning that automatically learns which interactions can be used for which elements, and uses this information to guide test generation. We model the problem as an instance of the multi-armed bandit problem (MAB) from probability theory and show how its traditional solutions work on test generation, with and without relying on previous knowledge. The resulting guidance yields higher coverage. In our evaluation, our approach shows improvements in statement coverage between 18% (when not using any previous knowledge) and 20% (when reusing previously generated models).
Demagnetization Borne Microscale Skyrmions
Creators: name: Johnson, Patrick
name: Gangopadhyay, A K
name: Kalyanaraman, Ramki
name: Nussinov, Zohar
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Magnetic systems are an exciting realm of study that is being explored on smaller and smaller scales. One extremely interesting magnetic state that has gained momentum in recent years is the skyrmionic state. It is characterized by a vortex where the edge magnetic moments point opposite to the core. Although skyrmions have many possible realizations, in practice, creating them in a lab is a difficult task to accomplish. In this work, new methods for skyrmion generation and customization are suggested. Skyrmionic behavior was numerically observed in minimally customized simulations of spheres, hemisphere, ellipsoids, and hemi-ellipsoids, for typ- ical Cobalt parameters, in a range from approximately 40 nm to 120 nm in diameter simply by applying a field.
Hyperfine-induced decoherence in triangular spin-cluster qubits
Creators: name: Troiani, Filippo
name: Stepanenko, Dimitrije
name: Loss, Daniel
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We investigate hyperfine-induced decoherence in a triangular spin-cluster for different qubit encodings. Electrically controllable eigenstates of spin chirality (C_z) show decoherence times that approach milliseconds, two orders of magnitude longer than those estimated for the eigenstates of the total spin projection (S_z) and of the partial spin sum (S_{12}). The robustness of chirality is due to its decoupling from both the total- and individual-spin components in the cluster. This results in a suppression of the effective interaction between C_z and the nuclear spin bath.
STOMACH ULCER AND METHODS OF ITS TREATMENT.
Creators: name: Saidjonova, Feruza
Publisher: name: Zenodo
Year: 2024

description: The stomach contains acid that aids in digestion. But it can also digest the walls of the organ. To prevent this, the inner mucous part of the stomach is covered with a layer of protective cells that it actively produces. If for some reason this layer is destroyed, the mucus decreases, the acid starts to eat the stomach wall. In this way, a wound is formed.
Secure Multi-Execution in Android
Creators: name: Chakraborty, Dhiman
name: Hammer, Christian
name: Bugiel, Sven
Publisher: name: CISPA
Year: 2023

description: Mobile operating systems, such as Google’s Android, have become a fixed part of our daily lives and are entrusted with a plethora of private information. Congruously, their data protection mechanisms have been improved steadily over the last decade and, in particular, for Android, the research community has explored various enhancements and extensions to the access control model. However, the vast majority of those solutions has been concerned with controlling the access to data, but equally important is the question of how to control the flow of data once released. Ignoring control over the dissemination of data between applications or between components of the same app, opens the door for attacks, such as permission re-delegation or privacy-violating third-party libraries. Controlling information flows is a long-standing problem, and one of the most recent and practical-oriented approaches to information flow control is secure multi-execution. In this paper, we present Ariel, the design and implementation of an IFC architecture for Android based on the secure multi-execution of apps. Ariel demonstrably extends Android’s system with support for executing multiple instances of apps, and it is equipped with a policy lattice derived from the protection levels of Android’s permissions as well as an I/O scheduler to achieve control over data flows between application instances. We demonstrate how secure multi-execution with Ariel can help to mitigate two prominent attacks on Android, permission re-delegations and malicious advertisement libraries.
The Peierls substitution in an engineered lattice potential
Creators: name: Jiménez-García, K.
name: LeBlanc, L. J.
name: Williams, R. A.
name: Beeler, M. C.
name: Perry, A. R.
name: Spielman, I. B.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Artificial gauge fields open new possibilities to realize quantum many-body systems with ultracold atoms, by engineering Hamiltonians usually associated with electronic systems. In the presence of a periodic potential, artificial gauge fields may bring ultracold atoms closer to the quantum Hall regime. Here, we describe a one-dimensional lattice derived purely from effective Zeeman-shifts resulting from a combination of Raman coupling and radiofrequency magnetic fields. In this lattice, the tunneling matrix element is generally complex. We control both the amplitude and the phase of this tunneling parameter, experimentally realizing the Peierls substitution for ultracold neutral atoms.
description: 6 pages, 5 figures
Towards Automated Network Mitigation Analysis
Creators: name: Speicher, Patrick
name: Steinmetz, Marcel
name: Hoffmann, Jörg
name: Backes, Michael
name: Künnemann, Robert
Publisher: name: CISPA
Year: 2023

description: Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit. Providing a holistic security assessment for networks consisting of several hundreds hosts is hardly feasible though without some sort of mechanization. Mitigation, prioritizing counter-measures subject to a given budget, currently lacks a solid theoretical understanding and is hence more art than science. In this work, we propose the first approach for conducting comprehensive what-if analyses in order to reason about mitigation in a conceptually well-founded manner. To evaluate and compare mitigation strategies, we use simulated penetration testing, i.e., automated attack-finding, based on a network model to which a subset of a given set of mitigation actions, e.g., changes to the network topology, system updates, configuration changes etc. is applied. Using Stackelberg planning, we determine optimal combinations that minimize the maximal attacker success (similar to a Stackelberg game), and thus provide a well-founded basis for a holistic mitigation strategy. We show that these Stackelberg planning models can largely be derived from network scan, public vulnerability databases and manual inspection with various degrees of automation and detail, and we simulate mitigation analysis on networks of different size and vulnerability.
A proposed search for a fourth neutrino with a PBq antineutrino source
Creators: name: Cribier, Michel
name: Fechner, Maximilien
name: Lasserre, Thierry
name: Letourneau, Alain
name: Lhuillier, David
name: Mention, Guillaume
name: Franco, Davide
name: Kornoukhov, Vasily
name: Schoenert, Stefan
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: Several observed anomalies in neutrino oscillation data can be explained by a hypothetical fourth neutrino separated from the three standard neutrinos by a squared mass difference of a few eV^2. We show that this hypothesis can be tested with a PBq (ten kilocurie scale) 144Ce or 106Ru antineutrino beta-source deployed at the center of a large low background liquid scintillator detector. In particular, the compact size of such a source could yield an energy-dependent oscillating pattern in event spatial distribution that would unabiguously determine neutrino mass differences and mixing angles.
description: 4 pages ; 1 table ; 4 figures - Add energy spectrum shape only analysis + referee comments/suggestions
title: Rezension: Baker, Will & Ishikawa, Tomokazu (2021): Transcultural Communication Through Global Englishes. New York: Routledge
Creators: name: Baker, Will
name: Ishikawa, Tomokazu
Publisher: name: Universitäts- und Landesbibliothek Darmstadt
Year: 2023

description: Sprachunterricht und Interkulturelle Kommunikation bilden seit Ende der 1970er Jahre eine didaktische Zugewinngemeinschaft, der großes Potenzial zugesprochen wird (vgl. u.a. Meyer [im Erscheinen]; Cnyrim 2020; Göhring 1976). Gleichzeitig blieben Unterrichtskonzepte und Lehrbücher oft hinter dem Anspruch zurück, beide Fachgebiete auf ihrem jeweiligen Forschungsstand adäquat zu verbinden.
Methods for Summing General Kapteyn Series
Creators: name: Tautz, R. C.
name: Lerche, I.
name: Dominici, D.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: The general features and characteristics of Kapteyn series, which are a special type of series involving Bessel function, are investigated. For many applications to physics, astrophysics, and mathematics, it is crucial to have closed-form expressions in order to determine their functional structure and parametric behavior. Closed-form expressions of Kapteyn series have mostly been limited to special cases, even though there are often similarities in the approaches used to reduce the series to analytically tractable forms. The goal of this paper is to review the previous work in the area and to show that Kapteyn series can be expressed as trigonometric or gamma function series, which can be evaluated in closed form for specific parameters. Two examples with a similar structure are given, showing the complexity of Kapteyn series.
description: 14 pages, 4 figures, accepted for publication in J. Phys. A: Math. Theor; v2: references corrected and updated
HADES-IoT: A Practical Host-Based Anomaly Detection System for IoT Devices
Creators: name: Breitenbacher, Dominik
name: Homoliak, Ivan
name: Aung, Yan Lin
name: Tippenhauer, Nils Ole
name: Elovici, Yuval
Publisher: name: CISPA
Year: 2023

description: Internet of Things (IoT) devices have become ubiquitous and spread across many application domains including the industry, transportation, healthcare, and households. However, the proliferation of the IoT devices has raised the concerns about their security - many manufacturers focus only on the core functionality of their products due to short time to market and low cost pressures, while neglecting security aspects. Moreover, there is no established or standardized method for measuring and ensuring the security of IoT devices. Consequently, vulnerabilities are left untreated, allowing attackers to exploit IoT devices for various purposes, such as compromising privacy, recruiting devices into a botnet, or misusing devices to perform cryptocurrency mining. In this paper, we present a practical Host-based Anomaly DEtection System for IoT (HADES-IoT) as a novel last line of defense. HADES-IoT has proactive detection capabilities, provides tamper-proof resistance, and can be deployed on a wide range of Linux-based IoT devices. The main advantage of HADES-IoT is its low performance overhead, which makes it suitable for the IoT domain, where state-of-the-art approaches cannot be applied due to their high-performance demands. We deployed HADES-IoT on seven IoT devices and demonstrated 100% effectiveness in the detection of current IoT malware such as VPNFilter and IoTReaper; while on average, requiring only 5.5% of available memory and causing only a low CPU load.