cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
Creators: name: Xu, Tongtong
name: Chen, Liushan
name: Pei, Yu
name: Zhang, Tian
name: Pan, Minxue
name: Furia, Carlo A.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Fault localization is a crucial step of automated program repair, because accurately identifying program locations that are most closely implicated with a fault greatly affects the effectiveness of the patching process. An ideal fault localization technique would provide precise information while requiring moderate computational resources---to best support an efficient search for correct fixes. In contrast, most automated program repair tools use standard fault localization techniques---which are not tightly integrated with the overall program repair process, and hence deliver only subpar efficiency.
 In this paper, we present retrospective fault localization: a novel fault localization technique geared to the requirements of automated program repair. A key idea of retrospective fault localization is to reuse the outcome of failed patch validation to support mutation-based dynamic analysis---providing accurate fault localization information without incurring onerous computational costs.
 We implemented retrospective fault localization in a tool called RESTORE---based on the JAID Java program repair system. Experiments involving faults from the Defects4J standard benchmark indicate that retrospective fault localization can boost automated program repair: RESTORE efficiently explores a large fix space, delivering state-of-the-art effectiveness (41 Defects4J bugs correctly fixed, 8 more than any other automated repair tools for Java) while simultaneously boosting performance (speedup over 3 compared to JAID). Retrospective fault localization is applicable to any automated program repair techniques that rely on fault localization and dynamic validation of patches.
Microscopic Entropy of Rotating Electrically Charged AdS$_4$ Black Holes from Field Theory Localization
Creators: name: Nian, Jun
name: Zayas, Leopoldo A. Pando
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We employ supersymmetric localization to determine the exact partition function of 3d $\mathcal{N}=2$ gauge theories on a background given by a round $S^2$ fibered over a circle and certain complexified background fields. The Coulomb branch localization locus includes monopole configurations, and the partition function reduces to a matrix model. We consider the partition function of the ABJM theory on this background as an explicit case. We verify that the large-$N$ limit of the ABJM theory partition function produces, in the Cardy limit, the entropy function of the dual rotating, electrically charged asymptotically AdS$_4$ supersymmetric black holes and thus provides a microscopic explanation for the Bekenstein-Hawking entropy.
description: 35 pages, no figures; v2: typos corrected, discussions added in Sec. 5; v3: typos corrected in Sec. 2.1, expositions improved in Sec. 2.1 and Sec. 5
Divisorial contractions to codimension three orbits
Creators: name: Boissière, Samuel
name: Floris, Enrica
Publisher: name: arXiv
Year: 2020
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14E05, 14E30

description: Let $G$ be a connected algebraic group. We study $G$-equivariant extremal contractions whose centre is a codimension three $G$-simply connected orbit. In the spirit of an important result by Kawakita in 2001, we prove that those contractions are weighted blow-ups.
description: 22 pages, 2 figures
Effects of repeated fertilization on nitrogen fluxes in a young lodgepole pine stand as measured by an in situ sequential coring technique
Creators: name: Whynot, Tim W.
Publisher: name: University of British Columbia
Year: 2010

description: A young lodgepole pine stand has been fertilized four times since 1982 with four levels of nitrogen (N) fertilizer with or without other macro and micro nutrients ("PK"). The effect of these repeated fertilizer additions on N mineralization and uptake has been assessed using a sequential coring in situ technique. Both N and PK fertilization appear to have increased N mineralization and uptake (but not significant statistically), while N additions have significantly increased the inorganic N concentration in the soil. Because N mineralization has been increased, it appears as though repeated fertilization has resulted in a sustained increase in site quality as opposed to a short term increase in tree production. The increased uptake demand of the trees on the heavily fertilized plots can be partially met by increased mineralization; therefore, fertilizer application on these plots could theoretically be reduced without reducing the rate of uptake. Even though moisture appears to be limiting on the site, significant growth responses indicate that an improvement in site nutrient status has increased the degree to which growth potential for the site has been achieved. However, responses have probably been reduced by moisture limitations on the site. The sequential coring technique appears to offer several advantages over other field and lab techniques for assessing N fluxes. Because it results in minimal soil disturbance and is sensitive to environmental factors which affect N processes, it should be useful for testing models of N mineralization and evaluating more rapid indexes of N availability. Gross mineralizable N (incubated mineral N concentration) estimated by anaerobic incubation in the laboratory produced results consistent with those obtained in the field. Gross mineralizable N also correlated more closely with foliar N concentration and content (on a per needle basis) than in situ mineralization. However, net mineralizable N (gross minus initial N mineral concentration) did not produce results consistent with the sequential coring data from the field. Sequential coring also requires very intensive spatial and temporal sampling (at least following fertilization) which will restrict its use to research, and then only to studies which require accurate estimates of in situ N fluxes, as opposed to a simple index of N availability.
A mean-field model of Integrate-and-Fire neurons: non-linear stability of the stationary solutions
Creators: name: Cormier, Quentin
Publisher: name: arXiv
Year: 2020
Subjects: subject: Probability (math.PR)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 60H10 (Primary) 60K35, 45D05, 37A30 (Secondary)

description: We investigate a stochastic network composed of Integrate-and-Fire spiking neurons, focusing on its mean-field asymptotics. We consider an invariant probability measure of the McKean-Vlasov equation and establish an explicit sufficient condition to ensure the local stability of this invariant distribution. Furthermore, we prove a conjecture proposed initially by J. Touboul and P. Robert regarding the bistable nature of a specific instance of this neuronal model.
Automated Repair of Resource Leaks in Android Applications
Creators: name: Bhatt, Bhargav Nagaraja
name: Furia, Carlo A.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Resource leaks -- a program does not release resources it previously acquired -- are a common kind of bug in Android applications. Even with the help of existing techniques to automatically detect leaks, writing a leak-free program remains tricky. One of the reasons is Android's event-driven programming model, which complicates the understanding of an application's overall control flow.
 In this paper, we present PlumbDroid: a technique to automatically detect and fix resource leaks in Android applications. PlumbDroid uses static analysis to find execution traces that may leak a resource. The information built for detection also undergirds automatically building a fix -- consisting of release operations performed at appropriate locations -- that removes the leak and does not otherwise affect the application's usage of the resource.
 An empirical evaluation on resource leaks from the DroidLeaks curated collection demonstrates that PlumbDroid's approach is scalable, precise, and produces correct fixes for a variety of resource leak bugs: PlumbDroid automatically found and repaired 50 leaks that affect 9 widely used resources of the Android system, including all those collected by DroidLeaks for those resources; on average, it took just 2 minutes to detect and repair a leak. PlumbDroid also compares favorably to Relda2/RelFix -- the only other fully automated approach to repair Android resource leaks -- since it usually detects more leaks with higher precision and producing smaller fixes. These results indicate that PlumbDroid can provide valuable support to enhance the quality of Android applications in practice.
Cyclic stratum of Frobenius manifolds, Borel-Laplace $(\boldsymbolα,\boldsymbolβ)$-multitransforms, and integral representations of solutions of Quantum Differential Equations
Creators: name: Cotti, Giordano
Publisher: name: arXiv
Year: 2020
Subjects: subject: Algebraic Geometry (math.AG)
subject: Mathematical Physics (math-ph)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 53D45 (Primary), 18E30 (Secondary)

description: In the first part of this paper, we introduce the notion of "cyclic stratum" of a Frobenius manifold $M$. This is the set of points of the extended manifold $\mathbb C^*\times M$ at which the unit vector field is a cyclic vector for the isomonodromic system defined by the flatness condition of the extended deformed connection. The study of the geometry of the complement of the cyclic stratum is addressed. We show that at points of the cyclic stratum, the isomonodromic system attached to $M$ can be reduced to a scalar differential equation, called the "master differential equation" of $M$. In the case of Frobenius manifolds coming from Gromov-Witten theory, namely quantum cohomologies of smooth projective varieties, such a construction reproduces the notion of quantum differential equation.
 In the second part of the paper, we introduce two multilinear transforms, called "Borel-Laplace $(\boldsymbol α,\boldsymbolβ)$-multitransforms", on spaces of Ribenboim formal power series with exponents and coefficients in an arbitrary finite dimensional $\mathbb C$-algebra $A$. When $A$ is specialized to the cohomology of smooth projective varieties, the integral forms of the Borel-Laplace $(\boldsymbol α,\boldsymbolβ)$-multitransforms are used in order to rephrase the Quantum Lefschetz Theorem. This leads to explicit Mellin-Barnes integral representations of solutions of the quantum differential equations for a wide class of smooth projective varieties, including Fano complete intersections in projective spaces.
 In the third and final part of the paper, as an application, we show how to use the new analytic tools, introduced in the previous parts, in order to study the quantum differential equations of Hirzebruch surfaces. This finally leads to the proof of Dubrovin Conjecture for all Hirzebruch surfaces.
description: 102 pages, 5 figures; final version, several typos corrected
Are Social Networks Watermarking Us or Are We (Unawarely) Watermarking Ourself?
Creators: name: Bertini, Flavio
name: Sharma, Rajesh
name: Montesi, Danilo
Publisher: name: arXiv
Year: 2020
Subjects: subject: Multimedia (cs.MM)
subject: FOS: Computer and information sciences

description: In the last decade, Social Networks (SNs) have deeply changed many aspects of society, and one of the most widespread behaviours is the sharing of pictures. However, malicious users often exploit shared pictures to create fake profiles leading to the growth of cybercrime. Thus, keeping in mind this scenario, authorship attribution and verification through image watermarking techniques are becoming more and more important. In this paper, firstly, we investigate how 13 most popular SNs treat the uploaded pictures, in order to identify a possible implementation of image watermarking techniques by respective SNs. Secondly, on these 13 SNs, we test the robustness of several image watermarking algorithms. Finally, we verify whether a method based on the Photo-Response Non-Uniformity (PRNU) technique can be successfully used as a watermarking approach for authorship attribution and verification of pictures on SNs. The proposed method is robust enough in spite of the fact that the pictures get downgraded during the uploading process by SNs. The results of our analysis on a real dataset of 8,400 pictures show that the proposed method is more effective than other watermarking techniques and can help to address serious questions about privacy and security on SNs.
description: 43 pages, 6 figures
title:  De la double origine à l’expérience trans-frontière chez Nina Bouraoui
Creators: name: Yilancioğlu  ,  S. Seza
Publisher: name: Roma TrE-Press
Year: 2021

description: Garçon manqué (2000) et Mes mauvaises pensées (2005) de Nina Bouraoui constituent le corpus de cette étude. Nina Bouraoui, écrivaine franco-algérienne née d’une mère française et d’un père algérien, est une plume contemporaine, une nomade littéraire et une individue trans-frontière. L’écrivaine raconte dans ces deux romans la transmutation culturelle géographique et sexuelle, autrement dit l’interculturalité qu’elle a vécue dans deux sociétés différentes : l’orient et l’occident. Ces deux romans nous permettent de connaître les effets sociaux sur la transformation de l’individu et d’annoncer l’ouverture d’une nouvelle ère du point de vue social, psychologique, gender, culturel, politique, tout en mettant l’accent sur l’effacement des frontières entre les identités nationales, les pays et les genres.
description: Interculture : contributions, réseaux, spécificités des contextes francophones
Holomorphically finitely generated Hopf algebras and quantum Lie groups
Creators: name: Aristov, Oleg
Publisher: name: arXiv
Year: 2020
Subjects: subject: Functional Analysis (math.FA)
subject: Quantum Algebra (math.QA)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics

description: We study topological Hopf algebras that are holomorphically finitely generated (HFG) as Fréchet Arens--Micheal algebras in the sense of Pirkovskii. Some of them, but not all, can be obtained from affine Hopf algebras by applying the analytization functor. We show that a commutative HFG Hopf algebra is always an algebra of holomorphic functions on a complex Lie group (actually a Stein group), and prove that the corresponding categories are equivalent. With a compactly generated complex Lie group~$G$, Akbarov associated a cocommutative topological Hopf algebra, the algebra ${\mathscr A}_{exp}(G)$ of exponential analytic functionals. We show that it is HFG but not every cocommutative HFG Hopf algebra is of this form. In the case when $G$ is connected, using previous results of the author we establish a theorem on the analytic structure of ${\mathscr A}_{exp}(G)$. It depends on the large-scale geometry of $G$. We also consider some interesting examples including complex-analytic analogues of classical $\hbar$-adic quantum groups.
description: V.8 minor changes, V.7: Ex. 4.11 is corrected; V.6: some results are moved to Appendix A, corrd: Pr. 3.8 (former Pr. 3.15), Pr. 3.10 (former Pr. 3.17), Exs. 4.1, 4.2, 4.11, Pr. 5.6, proof of Pr. 4.3 is rewritten; V.5: proof of Th. 2.2 is corrd, Pr. 2.3, 2,4 are added; V.3: Corrections in Ques. 2 and Ex. 4.11; V.2: the notation \hat U_\hbar(sl_2) is changed by \widetilde U(sl_2)_\hbar
"Every Client has a Trauma History": Teaching Respectful Relationships to Marginalised Youth. An Evaluation of NAPCAN's Respectful Relationships Program Northern Territory 2017-2018
Creators: name: Dobia, Brenda
Publisher: name: Western Sydney University
Year: 2019

description: This report presents findings from a research evaluation of a one-year program run by NAPCAN in the Northern Territory which sought to develop a trauma-informed approach to Respectful Relationships Education (RRE). The program was undertaken under contract with Territory Families, and focused on providing training in trauma-informed RRE to staff in the youth services sector who worked with young people experiencing complex challenges. A major outcome of the project was the development of the individualised, trauma-informed RRE modules. These modules, adapted from the school-based Love Bites program and developed in conjunction with some of the experienced practitioner-participants, were constructed for flexible use in informal settings.
Gauge fixing and regularity of axially symmetric and axistationary second order perturbations around spherical backgrounds
Creators: name: Mars, Marc
name: Reina, Borja
name: Vera, Raül
Publisher: name: arXiv
Year: 2020
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Perturbation theory in geometric theories of gravitation is a gauge theory of symmetric tensors defined on a Lorentzian manifold (the background spacetime). The gauge freedom makes uniqueness problems in perturbation theory particularly hard as one needs to understand in depth the process of gauge fixing before attempting any uniqueness proof. This is the first paper of a series of two aimed at deriving an existence and uniqueness result for rigidly rotating stars to second order in perturbation theory in General Relativity. A necessary step is to show the existence of a suitable choice of gauge and to understand the differentiability and regularity properties of the resulting gauge tensors in some "canonical form", particularly at the centre of the star. With a wider range of applications in mind, in this paper we analyse the fixing and regularity problem in a more general setting. In particular we tackle the problem of the Hodge-type decomposition into scalar, vector and tensor components on spheres of symmetric and axially symmetric tensors with finite differentiability down to the origin, exploiting a strategy in which the loss of differentiability is as low as possible. Our primary interest, and main result, is to show that stationary and axially symmetric second order perturbations around static and spherically symmetric background configurations can indeed be rendered in the usual "canonical form" used in the literature while loosing only one degree of differentiability and keeping all relevant quantities bounded near the origin.
description: 60 pages, no figures
title: Comité permanente sobre el derecho de marcas, dibujos y modelos industriales e indicaciones geográficas :
title: Informe adoptado por el Comité Permanente.
titleType: Subtitle
Creators: name: (:Unas)
Publisher: name: Unknown
Year: 0

description: El Comité Permanente sobre el Derecho de Marcas, Diseños Industriales e Indicaciones Geográficas (denominado en adelante el “Comité Permanente” o el “SCT”) celebró su vigésima sesión en Ginebra del 1 al 5 de diciembre de 2008.
Existence and uniqueness of compact rotating configurations in GR in second order perturbation theory
Creators: name: Mars, Marc
name: Reina, Borja
name: Vera, Raül
Publisher: name: arXiv
Year: 2020
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Existence and uniqueness of rotating fluid bodies in equilibrium is still poorly understood in General Relativity (GR). Apart from the limiting case of infinitely thin disks, the only known global results in the stationary rotating case (Heilig [14] and Makino [21] [arXiv:1705.07392]) show existence in GR nearby a Newtonian configuration (under suitable additional restrictions). In this work we prove existence and uniqueness of rigidly (slowly) rotating fluid bodies in equilibrium to second order in perturbation theory in GR. The most widely used perturbation framework to describe slowly rigidly rotating stars in the strong field regime is the Hartle-Thorne model. The model involves a number of hypotheses, some explicit, like equatorial symmetry or that the perturbation parameter is proportional to the rotation, but some implicit, particularly on the structure and regularity of the perturbation tensors and the conditions of their matching at the surface. In this work, with basis on the gauge results obtained in [25], the Hartle-Thorne model is fully derived from first principles and only assuming that the perturbations describe a rigidly rotating finite perfect fluid ball (with no layer at the surface) with the same barotropic equation of state as the static ball. Rigidly rotating fluid balls are analyzed consistently in second order perturbation theory by imposing only basic differentiability requirements and boundedness. Our results prove in particular that, at this level of approximation, the spacetime must be indeed equatorially symmetric and is fully determined by two parameters, namely the central pressure and the uniform angular velocity of the fluid.
description: 81 pages, no figures
Testing a mean reversion hypothesis on the Toronto stock exchange
Creators: name: Williams-Short, Rowan Peter
Publisher: name: University of British Columbia
Year: 2010

description: Monthly returns data for the 150 companies that have been listed on the Toronto Stock Exchange for at least 95% of the period from January 1963 to December 1987 are transformed into continuously compounded returns, adjusted for inflation, gathered into portfolios, and examined for the property known as mean reversion. The model used to describe this scenario comprises two components, namely a random walk and an autoregressive scheme of order one. The study's foundation is a paper by Fama and French(1988), using data from the New York Stock Excange, but in addition to all the estimation performed in that paper, other parameters are estimated. The parameter originally of prime interest is shown to behave in accordance with model predictions, in the case of nearly all 28 portfolios constructed. However, this interpretation is shown to be seriously jeopardised in view of closer scutiny of model parameters, which indicate that the model is a poor approximation to the data.
Human, Organizational and Technological Factors of IT Security
Creators: name: Muldner, Kasia
Publisher: name: Zenodo
Year: 2008
Subjects: HOT Admin
IT Security
Human factors
Organizational factors
Technological factors
Qualitative research

description: Given that Information Technology (IT) has become pervasive in today's organizations, properly securing systems is critical. However, many challenges remain with respect to implementing sound technologies and security processes. In the past decade, the research focus has shifted, from only considering pure technological factors, to also include organizational and human factors, as these latter two factors play a key role in influencing security practices and outcomes. The corresponding research area, namely HCISec, explores how to design "usable security" solutions for all users. To date, however, little work has targeted the population that is at the crossroads of the above mentioned human/organizational/technological factors, namely security professionals, who are responsible for protecting their organizations from IT-related threats. Currently, these individuals lack sufficient support, as is evident by the rising number and cost of incidents. As a first step in gaining insight on how to provide this support, we are conducting a field study that involves gathering data from security administrators working in a variety of organizations. Here, we will present findings from our study, which are based on inductive qualitative analysis, and include descriptive models of the unique needs of this highly specialized population, the challenges it faces, and the sub-optimal situations that lead to security incidents. Based on our findings, we propose some guidelines for designing effective "usable security" solutions.
VerifyThis 2019: A Program Verification Competition (Extended Report)
Creators: name: Dross, Claire
name: Furia, Carlo A.
name: Huisman, Marieke
name: Monahan, Rosemary
name: Müller, Peter
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: VerifyThis is a series of program verification competitions that emphasize the human aspect: participants tackle the verification of detailed behavioral properties -- something that lies beyond the capabilities of fully automatic verification, and requires instead human expertise to suitably encode programs, specifications, and invariants. This paper describes the 8th edition of VerifyThis, which took place at ETAPS 2019 in Prague. Thirteen teams entered the competition, which consisted of three verification challenges and spanned two days of work. The report analyzes how the participating teams fared on these challenges, reflects on what makes a verification challenge more or less suitable for the typical VerifyThis participants, and outlines the difficulties of comparing the work of teams using wildly different verification approaches in a competition focused on the human aspect.
EVALUATION OF THE EFFECTIVENESS OF KINESIOTHERAPY METHODS IN PRIMARY SCHOOL CHILDREN
Creators: name: Vorko, V.
name: Kamyshna, I.
Publisher: name: Sciences of Europe
Year: 2021
Subjects: kinesiotherapy
cerebral palsy
physical rehabilitation
spasticity
therapeutic physical culture.

description: The article is devoted to the study of the effectiveness of modern methods of kinesiotherapy, determining their place in a multidisciplinary and comprehensive approach to the rehabilitation of primary school patients with cerebral palsy.
Predicting Mechanical Properties from Microstructure Images in Fiber-reinforced Polymers using Convolutional Neural Networks
Creators: name: Sun, Yixuan
name: Hanhan, Imad
name: Sangid, Michael D.
name: Lin, Guang
Publisher: name: arXiv
Year: 2020
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Machine Learning (cs.LG)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Evaluating the mechanical response of fiber-reinforced composites can be extremely time consuming and expensive. Machine learning (ML) techniques offer a means for faster predictions via models trained on existing input-output pairs and have exhibited success in composite research. This paper explores a fully convolutional neural network modified from StressNet, which was originally for lin-ear elastic materials and extended here for a non-linear finite element (FE) simulation to predict the stress field in 2D slices of segmented tomography images of a fiber-reinforced polymer specimen. The network was trained and evaluated on data generated from the FE simulations of the exact microstructure. The testing results show that the trained network accurately captures the characteristics of the stress distribution, especially on fibers, solely from the segmented microstructure images. The trained model can make predictions within seconds in a single forward pass on an ordinary laptop, given the input microstructure, compared to 92.5 hours to run the full FE simulation on a high-performance computing cluster. These results show promise in using ML techniques to conduct fast structural analysis for fiber-reinforced composites and suggest a corollary that the trained model can be used to identify the location of potential damage sites in fiber-reinforced polymers.
Distinct Distances with $\ell_p$ Spaces
Creators: name: AlQady, Moaaz
name: Chabot, Riley
name: Dudarov, William
name: Ge, Linus
name: Juvekar, Mandar
name: Kundeti, Srikanth
name: Kundu, Neloy
name: Lu, Kevin
name: Moreno, Yago
name: Peng, Sibo
name: Speas, Samuel
name: Starzycka, Julia
name: Steinthal, Henry
name: Vitko, Anastasiia
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05-02

description: We study Erd\H os's distinct distances problem under $\ell_p$ metrics with integer $p$. We improve the current best bound for this problem from $Ω(n^{4/5})$ to $Ω(n^{6/7-ε})$, for any $ε>0$. We also characterize the sets that span an asymptotically minimal number of distinct distances under the $\ell_1$ and $\ell_\infty$ metrics.
description: 15 pages, 4 figures
An explicit formula for the characters of the symmetric group
Creators: name: Lassalle, Michel
Publisher: name: arXiv
Year: 2007
Subjects: subject: Combinatorics (math.CO)
subject: Group Theory (math.GR)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: We give an explicit expression of the normalized characters of the symmetric group in terms of the contents of the partition labelling the representation.
description: 22 pages, LaTeX, to appear in Math. Annalen
Searching for the Right Fit: Considerations when Balancing IT Security Management Model Tradeoffs
Creators: name: Beznosov, Kirstie Hawkey
Publisher: name: Zenodo
Year: 2008
Subjects: HOT Admin
Security Management Model
Case study

description: The effectiveness of IT security professionals in an organization is influenced not only by the usability of security management tools, but also by the fit of an organization's security management model (SMM). Finding the right SMM is critical and yet can be challenging, as there are tradeoffs inherent with each approach, and the implications of these tradeoffs are not clear. We present a case study of one academic institution that created a centralized security team, but disbanded it in favour of a more distributed approach three years later. We contrast this organization's experiences with expectations from industry standards. We found a number of mismatches between the expected SMM outcomes and the reality of our participants' experiences. While some of these mismatches could be anticipated,  as they arose from  the case study's organizational characteristics that made it difficult to follow standards precisely, others were the result of unexpected aspects influencing an SMM's impact on the organization.
Boundedness of elliptic Calabi-Yau varieties with a rational section
Creators: name: Birkar, Caucher
name: Di Cerbo, Gabriele
name: Svaldi, Roberto
Publisher: name: arXiv
Year: 2020
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We show that for each fixed dimension $d\geq 2$, the set of $d$-dimensional klt elliptic varieties with numerically trivial canonical bundle is bounded up to isomorphism in codimension one, provided that the torsion index of the canonical class is bounded and the elliptic fibration admits a rational section. This case builds on an analogous boundedness result for the set of rationally connected log Calabi-Yau pairs with bounded torsion index. In dimension $3$, we prove the more general statement that the set of $ε$-lc pairs $(X,B)$ with $-(K_X +B)$ nef and rationally connected $X$ is bounded up to isomorphism in codimension one.
description: 57 pages; v2: final accepted version. To appear in Journal of Differential Geometry
Reformulating Supersymmetry with a Generalized Dolbeault Operator
Creators: name: Tomasiello, Alessandro
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The conditions for N=1 supersymmetry in type II supergravity have been previously reformulated in terms of generalized complex geometry. We improve that reformulation so as to completely eliminate the remaining explicit dependence on the metric. Doing so involves a natural generalization of the Dolbeault operator. As an application, we present some general arguments about supersymmetric moduli. In particular, a subset of them are then classified by a certain cohomology. We also argue that the Dolbeault reformulation should make it easier to find existence theorems for the N=1 equations.
description: 30 pages, no figures. v2: minor corrections
MultiScene: A Large-scale Dataset and Benchmark for Multi-scene Recognition in Single Aerial Images
Creators: name: Hua, Yuansheng
name: Mou, Lichao
name: Jin, Pu
name: Zhu, Xiao Xiang
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Aerial scene recognition is a fundamental research problem in interpreting high-resolution aerial imagery. Over the past few years, most studies focus on classifying an image into one scene category, while in real-world scenarios, it is more often that a single image contains multiple scenes. Therefore, in this paper, we investigate a more practical yet underexplored task -- multi-scene recognition in single images. To this end, we create a large-scale dataset, called MultiScene, composed of 100,000 unconstrained high-resolution aerial images. Considering that manually labeling such images is extremely arduous, we resort to low-cost annotations from crowdsourcing platforms, e.g., OpenStreetMap (OSM). However, OSM data might suffer from incompleteness and incorrectness, which introduce noise into image labels. To address this issue, we visually inspect 14,000 images and correct their scene labels, yielding a subset of cleanly-annotated images, named MultiScene-Clean. With it, we can develop and evaluate deep networks for multi-scene recognition using clean data. Moreover, we provide crowdsourced annotations of all images for the purpose of studying network learning with noisy labels. We conduct experiments with extensive baseline models on both MultiScene-Clean and MultiScene to offer benchmarks for multi-scene recognition in single images and learning from noisy labels for this task, respectively. To facilitate progress, we make our dataset and trained models available on https://gitlab.lrz.de/ai4eo/reasoning/multiscene.
Color Adsorption Performance of Bone Biocomponent for Textile
Creators: name: Koyra, Natinael Kokeb
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 401102
subject: Environmentally sustainable engineering
classificationCode: 349999
subject: Other chemical sciences not elsewhere classified

description: The project is aimed at solving industrial wastewater treatment using environmental wastes. The project site was the Bahirdar Textile Share Company dyeing department. The project utilized animal waste bone collected from slaughterhouses to supply a cost-effective wastewater treatment agent called calcinated biocomponent that can effectively perform decolorization of reactive and dispersed dye at 98% color removal efficiency. It is a simple, cost-effective, efficient, and well-functioning mechanism.
AI-powered søgning: Resultater af tænke-højt tests, Hackathon & ekspertvurderinger
Creators: name: Johnsen, Solveig Sandal
name: Lyngsfeldt, julie
name: Vils, Anne
name: Wildgaard, Lorna
Publisher: name: Zenodo
Year: 2022
Subjects: Litterature Search
AI
Think-aloud tests
Hackathon
Kunstig intelligens
academic search
akademiske søgninger

description: DFFU Vinterinternat, Comwell Klarskovgaard den 3.-4. marts 2022 Anvendeligheden af Artificial Intelligence (AI)-software til litteratursøgning på universiteterne.
 Resultater og refleksioner efter 1,5 års projektarbejde med AI-software. AI har potentialet til at analysere store mængder af data og tekst og ved hjælp af avancerede algoritmer hjælpe forskere og studerende med at navigere i og fremsøge det mest relevante for en specifik problemstilling. For at kunne anvendes på universitet og i forskeres arbejde, er det vigtigt at databaser, der bygger på AI, fungerer ud fra standarder i den akademiske verden og at transparens og validitet er til stede. Det Kgl. Bibliotek, specifikt Københavns Universitetsbibliotek og AU Library, har i 1,5 år arbejdet med hvorvidt Artificial Intelligence software, der understøtter akademiske søgninger på universitetet er anvendeligt. I et projekt er to af markedets AI-software (Iris.ai og Yewno) blevet sat i spil og testet af hhv. informationsspecialister og forskere. Hensigten med projektet har været at blive klogere på AI i litteratursøgning og i hvilket omfang et AI-software kan supportere den akademiske søgning. Her har projektet set på effektivitet, troværdighed, kvalitet og pålidelighed. Projektet har bestået af tænke-højt tests med informationsspecialister og af et “hackathon” med forskere og informationsspecialister, hvor de udvalgte AI-software blev sat i spil omkring en søgecase. Posteren vil præsentere nogle af de nøgle-konklusioner der foreløbigt er opnået samt lægge op til diskussion om AI i akademisk litteratursøgning fremadrettet.
Sublattice dependence and gate-tunability of midgap and resonant states induced by native dopants in Bernal-stacked bilayer graphene
Creators: name: Joucken, Frédéric
name: Bena, Cristina
name: Ge, Zhehao
name: Quezada-Lopez, Eberth A.
name: Ducastelle, François
name: Tanagushi, Takashi
name: Watanabe, Kenji
name: Velasco, Jairo
Publisher: name: arXiv
Year: 2021
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The properties of semiconductors can be crucially impacted by midgap states induced by dopants, which can be native or intentionally incorporated in the crystal lattice. For Bernal-stacked bilayer graphene (BLG), which has a tunable bandgap, the existence of midgap states induced by dopants has been conjectured, but never confirmed experimentally. Here, we report scanning tunneling microscopy and spectroscopy results, supported by tight-binding calculations, that demonstrate the existence of midgap states in BLG. We show that the midgap state in BLG -- for which we demonstrate gate-tunability -- appears when the dopant is hosted on the non-dimer sublattice sites. We further evidence the presence of narrow resonances at the onset of the high energy bands (valence or conduction, depending on the dopant type) when the dopants lie on the dimer sublattice sites. These results suggest that dopants/defects can play an important role in the transport and optical properties of multilayer graphene samples, especially at energies close to the band extrema.
description: Includes supplementary material
Degenerate Riemann-Hilbert-Birkhoff problems, semisimplicity, and convergence of WDVV-potentials
Creators: name: Cotti, Giordano
Publisher: name: arXiv
Year: 2020
Subjects: subject: Differential Geometry (math.DG)
subject: Mathematical Physics (math-ph)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 53D45, 34M40, 34M50, 34M56

description: In the first part of this paper, we give a new analytical proof of a theorem of C. Sabbah on integrable deformations of meromorphic connections on $\mathbb P^1$ with coalescing irregular singularities of Poincaré rank 1, and generalizing a previous result of B. Malgrange. In the second part of this paper, as an application, we prove that any semisimple formal Frobenius manifold (over $\mathbb C$), with unit and Euler field, is the completion of an analytic pointed germ of a Dubrovin-Frobenius manifold. In other words, any formal power series, which provides a quasi-homogenous solution of WDVV equations and defines a semisimple Frobenius algebra at the origin, is actually convergent under no further tameness assumptions.
description: 38 pages, 2 figures; v2. corrected typos, more detailed proof of Lemma 5.18; v3. corrected typos; v4. final version
MECHANISMS OF DETOXIFICATION TOLERANCE TO HEAVY METALS IN WHEAT
Creators: name: Liuliu, Wu
name: Ye, Tao
name: Zhatova, H.
Publisher: name: Sciences of Europe
Year: 2021
Subjects: wheat
cadmium
absorption
transport
distribution
tolerance mechanism
molecular mechanisms.

description: As a non-essential nutrient element, cadmium in soil and water can be absorbed and accumulated by crops, affecting the normal growth and development of plants, and then causing serious phytotoxic reactions in a variety of physiological levels, thus affecting the health of animals and humans through the food chain, causing great harm to human health. This paper discusses the mechanism of plant resistance to heavy metal detoxification, studies the molecular mechanism of cadmium absorption, transport and exportation of wheat, reduces the accumulation of cadmium in crops, the treatment of cadmium pollution and the creation of wheat varieties with low accumulation of cadmium, which is of great significance to ensure food safety and food safety.
Inclusive Charm Production in chi_b Decays
Creators: name: Bodwin, Geoffrey T.
name: Braaten, Eric
name: Kang, Daekyoung
name: Lee, Jungil
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We calculate the inclusive decay rate of the spin-triplet bottomonium states chi_{bJ} into charm hadrons, including the leading-order color-singlet and color-octet bb-bar annihilation mechanisms. We also calculate the momentum distribution of the charm quark from the decay of chi_{bJ}. The infrared divergences from the color-singlet process bb-bar -> cc-bar g are factored into the probability density at the origin for a bb-bar pair in a color-octet state. That probability density can be determined phenomenologically from the fraction of decays of chi_{bJ} that include charm hadrons. It can then be used to predict the partial widths into light hadrons for all four states in the P-wave bottomonium multiplet.
description: 39 pages, 3 figures, Minor corrections, Version published in Phys. Rev. D
Banach space representations of Drinfeld-Jimbo algebras and their complex-analytic forms
Creators: name: Aristov, Oleg
Publisher: name: arXiv
Year: 2020
Subjects: subject: Representation Theory (math.RT)
subject: Functional Analysis (math.FA)
subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics

description: We prove that every non-degenerate Banach space representation of the Drinfeld-Jimbo algebra $U_q(\mathfrak{g})$ of a semisimple complex Lie algebra $\mathfrak{g}$ is finite dimensional when $|q|\ne 1$. As a corollary, we find an explicit form of the Arens-Michael envelope of $U_q(\mathfrak{g})$, which is similar to that of $U(\mathfrak{g})$ obtained by Joseph Taylor in 70s. In the case when $\mathfrak{g}=\mathfrak{s}\mathfrak{l}_2$, we also consider the representation theory of the corresponding analytic form $\widetilde U(\mathfrak{s}\mathfrak{l}_2)_\hbar$ (with $e^\hbar=q$) and show that it is simpler than for $U_q(\mathfrak{s}\mathfrak{l}_2)$. For example, all irreducible continuous representations of $\widetilde U(\mathfrak{s}\mathfrak{l}_2)_\hbar$ are finite dimensional for every admissible value of the complex parameter $\hbar$, while $U_q(\mathfrak{s}\mathfrak{l}_2)$ has a topologically irreducible infinite-dimensional representation when $|q|= 1$ and $q$ is not a root of unity.
description: version 4: minor changes, version 3: the proofs of auxilary assertions for Theorem 1 are corrected
Bifurcating steady-state flows involving energy dissipation over a Hartmann boundary layer
Creators: name: Chen, Zhi-Min
Publisher: name: arXiv
Year: 2021
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35B32, 35Q30, 76D05, 76E09, 76E25

description: A plane non-parallel vortex flow in a square fluid domain is examined. The energy dissipation of the flow is dominated by viscosity and linear friction effect of a Hartmann layer. This is a traditional Navier-Stokes flow when the linear friction effect is not involved, whereas it is a magnetohydrodynamic flow when the energy dissipation is fundamentally dominated by the friction. It is proved that linear critical values of a spectral problem are nonlinear thresholds leading to the onset of secondary steady-state flows, the nonlinear phenomenon observed in laboratory experiments.
Big Data, Graphs, and Prediction
Creators: name: Adler, Jennifer
name: Simon, David
name: Des-Bordes, Emmanuel
name: Esquibel, Joseph
name: Miller, Mary
name: Aryal, Pradip
name: Flanders, Vickie
Publisher: name: QUBES Educational Resources
Year: 2021

description: In this activity, students are introduced to graphing and modeling data in a step-wise fashion. Real data of covid-19 deaths over time are used to incrementally ask students to fit the data to several models and discuss which model fits best.
Pulsating Casimir force
Creators: name: Klimchitskaya, G. L.
name: Mohideen, U.
name: Mostepanenko, V. M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Based on the Lifshitz theory we show that the illumination of one (Si) plate in the three-layer systems Au--ethanol--Si, Si--ethanol--Si and $α$-Al${}_2$O${}_3$--ethanol--Si with laser pulses can change the Casimir attraction to Casimir repulsion and vice versa. The proposed effect opens novel opportunities in nanotechnology to actuate the periodic movement in electro- and optomechanical micromachines based entirely on the zero-point oscillations of the quantum vacuum without the action of mechanical springs.
description: 9 pages, 4 figures, to appear in J. Phys. A: Math. Theor. (Fast Track Communication)
Using the real-time simulator for prototyping power electronics inverter
Creators: name: Baszyński, Marcin
name: Szlosek, Marcin
Publisher: name: Polish Academy of Sciences
Year: 2018
Subjects: active filters
Real time systems
rectifiers
Numerical simulation

description: ARCHIVES OF ELECTRICAL ENGINEERING (AEE) (previously Archiwum Elektrotechniki), quarterly journal of the Polish Academy of Sciences is OpenAccess (PAN Electronic Library, publishing original scientific articles and short communiques from all branches of Electrical Power Engineering exclusively in English. The main fields of interest are related to the theory & engineering of the components of an electrical power system: switching devices, arresters, reactors, conductors, etc. together with basic questions of their insulation, ampacity, switching capability etc.; electrical machines and transformers; modelling & calculation of circuits; electrical & magnetic fields problems; electromagnetic compatibility; control problems; power electronics; electrical power engineering; nondestructive testing & nondestructive evaluation. Scoring assigned by the Polish Ministry of Science and Higher Education: 40 points  CiteScore metrics from Scopus, CiteScore 2019: 1.7 SCImago Journal Rank (SJR) 2019: 0.202 Source Normalized Impact per Paper (SNIP) 2019: 0.444 ICI Journal Master List 2018, Index Copernicus Value: 121.17
description: This paper deals with real-time (RT) simulators applied in power electronic applications and implemented in a real inverter. The process of preparing and starting up an active rectifier prototype (with an active filter function), using the real-time OPAL RT simulator is given. The control system of the converter and the results of simulation using the Matlab/Simulink suite are discussed.