cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Unbounded Largest Eigenvalue of Large Sample Covariance Matrices: Asymptotics, Fluctuations and Applications
Creators: name: Merlevède, Florence
name: Najim, Jamal
name: Tian, Peng
Publisher: name: arXiv
Year: 2018
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: Given a large sample covariance matrix $S_N=\frac 1nΓ_N^{1/2}Z_N Z_N^*Γ_N^{1/2}\, ,$ where $Z_N$ is a $N\times n$ matrix with i.i.d. centered entries, and $Γ_N$ is a $N\times N$ deterministic Hermitian positive semidefinite matrix, we study the location and fluctuations of $λ_{\max}(S_N)$, the largest eigenvalue of $S_N$ as $N,n\to\infty$ and $Nn^{-1} \to r\in(0,\infty)$ in the case where the empirical distribution $μ^{Γ_N}$ of eigenvalues of $Γ_N$ is tight (in $N$) and $λ_{\max}(Γ_N)$ goes to $+\infty$. These conditions are in particular met when $μ^{Γ_N}$ weakly converges to a probability measure with unbounded support on $\mathbb{R}^+$. We prove that asymptotically $λ_{\max}(S_N)\sim λ_{\max}(Γ_N)$. Moreover when the $Γ_N$'s are block-diagonal, and the following {\em spectral gap condition} is assumed:$$\limsup_{N\to\infty} \frac{λ_2(Γ_N)}{λ_{\max}(Γ_N)}<1,$$where $λ_2(Γ_N)$ is the second largest eigenvalue of $Γ_N$, we prove Gaussian fluctuations for $λ_{\max}(S_N)/λ_{\max}(Γ_N)$ at the scale $\sqrt{n}$.In the particular case where $Z_N$ has i.i.d. Gaussian entries and $Γ_N$ is the $N\times N$ autocovariance matrix of a long memory Gaussian stationary process $({\mathcal X}_t)_{t\in\mathbb{Z}}$, the columns of $Γ_N^{1/2} Z_N$ can be considered as $n$ i.i.d. samples of the random vector $({\mathcal X}_1,\dots,{\mathcal X}_N)^T$. We then prove that $Γ_N$ is similar to a diagonal matrix which satisfies all the required assumptions of our theorems, hence our results apply to this case.
PREDICTIVE FACTORS FOR RELAPSES IDIOPATHIC NEPHROTIC SYNDROME IN CHILDREN
Creators: name: HAMZA BOUCENNA
name: FADILA BENDAOUED
name: LYNDA SEKFALI
name: NABIL BERAMTANE RAAF
name: MOHAMED EL MOKHTAR KHIARI
Publisher: name: Zenodo
Year: 2024
Subjects: Childhood nephrotic syndrome. Predictive factors of relapse. Epidemiological study. Evolution of the disease.

description: Summary

As part of our study relating to the predictive factors of relapses of nephrotic syndrome, we carried out a comparison of these factors with other works, drawn up from the bibliography. This is a seven-year study, on a sample of 132 children of both sexes, multicenter and prospective, aimed at determining the diagnostic, therapeutic and progressive criteria of nephrotic syndrome, to identify the predictive factors of its relapses, in the short term and medium terms.
Influence of fake news in Twitter during the 2016 US presidential election
Creators: name: Bovet, Alexandre
name: Makse, Hernan A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Social and Information Networks (cs.SI)
subject: Computers and Society (cs.CY)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: The dynamics and influence of fake news on Twitter during the 2016 US presidential election remains to be clarified. Here, we use a dataset of 171 million tweets in the five months preceding the election day to identify 30 million tweets, from 2.2 million users, which contain a link to news outlets. Based on a classification of news outlets curated by www.opensources.co, we find that 25% of these tweets spread either fake or extremely biased news. We characterize the networks of information flow to find the most influential spreaders of fake and traditional news and use causal modeling to uncover how fake news influenced the presidential election. We find that, while top influencers spreading traditional center and left leaning news largely influence the activity of Clinton supporters, this causality is reversed for the fake news: the activity of Trump supporters influences the dynamics of the top fake news spreaders.
description: Updated to latest revised version
An open and flexible digital phase-locked loop for optical metrology
Creators: name: Tourigny-Plante, Alex
name: Michaud-Belleau, Vincent
name: Bourbeau-Hébert, Nicolas
name: Bergeron, Hugo
name: Genest, Jérôme
name: Deschênes, Jean-Daniel
Publisher: name: arXiv
Year: 2018
Subjects: subject: Signal Processing (eess.SP)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: This paper presents an open and flexible digital phase lock loop optimized for laser stabilization systems. It is implemented on a cheap and easily accessible FPGA-based digital electronics platform (Red Pitaya) running a customizable open-source firmware. A PC-based software interface allows controlling the platform and optimizing the loop parameters remotely. Several tools are included to allow measurement of quantities of interest smoothly and rapidly. To demonstrate the platform's capabilities, we built a fiber noise canceler over a $400$~m fiber link. Noise cancellation was achieved over a $30$~kHz bandwidth, a value limited mainly by the delays introduced by the actuator and by the round-trip propagation over the fiber link. We measured a total latency of $565$~ns for the platform itself, limiting the theoretically achievable control bandwidth to approximately 225 kHz.
description: This article may be downloaded for personal use only. Any other use requires prior permission of the author and AIP Publishing. This article appeared in Review of Scientific Instruments 89, 093103 (2018) and may be found at https://doi.org/10.1063/1.5039344
A flux-splitting method for hyperbolic-equation system of magnetized electron fluids in quasi-neutral plasmas
Creators: name: Kawashima, R.
name: Komurasaki, K.
name: Schoenherr, T.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: A flux-splitting method is proposed for the hyperbolic-equation system (HES) of magnetized electron fluids in quasi-neutral plasmas. The numerical fluxes are split into four categories, which are computed by using an upwind method which incorporates a flux-vector splitting (FVS) and advection upstream splitting method (AUSM). The method is applied to a test calculation condition of uniformly distributed and angled magnetic lines of force. All of the pseudo-time advancement terms converge monotonically and the conservation laws are strictly satisfied in the steady state. The calculation results are compared with those computed by using the elliptic-parabolic-equation system (EPES) approach using a magnetic-field-aligned mesh (MFAM). Both qualitative and quantitative comparisons yield good agreements of results, indicating that the HES approach with the flux-splitting method attains a high computational accuracy.
description: 13 pages, 9 figures
Electron impact excitations of S2 molecules
Creators: name: Tashiro, Motomichi
Publisher: name: arXiv
Year: 2007
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Astrophysics (astro-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Low-energy electron impact excitations of S_2 molecules are studied using the fixed-bond R-matrix method based on state-averaged complete active space SCF orbitals. Integral cross sections are calculated for elastic electron collision as well as impact excitation of the 7 lowest excited electronic states. Also, differential cross sections are obtained for elastic collision and excitation of the a^1 Delta_g, b^1 Sigma_g^+ and B^3 Sigma_u^- states. The integrated cross section of optically allowed excitation of the B^3 Sigma_u^- state agrees reasonably well with the available theoretical result.
description: 12 pages, 3 figures. Chemical Physics Letters, in press
Efficient Mapping Through Exploitation of Spatial Dependencies
Creators: name: Rachlin, Yaron
name: Dolan, John
name: Khosla, Pradeep
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Occupancy grid mapping algorithms assume that grid block values are independently distributed. However, most environments of interest contain spatial patterns that are better characterized by models that capture dependencies among grid blocks. To account for such dependencies, we model the environment as a pairwise Markov random field. We specify a belief propagation-based mapping algorithm that takes these dependencies into account when estimating a map. To demonstrate the potential benefits of this approach, we simulate a simple multi-robot minefield mapping scenario. Minefields contain spatial dependencies since some landmine configurations are more likely than others, and since clutter, which causes false alarms, can be concentrated in certain regions and completely absent in others. Our belief propagation-based approach outperforms conventional occupancy grid mapping algorithms in the sense that better maps can be obtained with significantly fewer robot measurements. The belief propagation algorithm requires a modest amount of increased computation, but we contend that in applications where significant energy and time expenditure is associated with robot movement and active sensing, the reduction in the required number of samples will justify the increased computation.
Additional file 5: of Associations between quantitative [18F]flortaucipir tau PET and atrophy across the Alzheimer’s disease spectrum
Creators: name: Timmers, Tessa
name: Ossenkoppele, Rik
name: Wolters, Emma
name: Verfaillie, Sander
name: Visser, Denise
name: Golla, Sandeep
name: Barkhof, Frederik
name: Scheltens, Philip
name: Boellaard, Ronald
name: Flier, Wiesje
name: Berckel, Bart
Publisher: name: figshare
Year: 2019
Subjects: Physical Sciences not elsewhere classified
Cell Biology
Molecular Biology
Chemical Sciences not elsewhere classified
Developmental Biology

description: Table S1. Coordinates of local maxima (p = 0.05, FWE) (DOCX 13 kb)
Dispersionless Hirota equations and the genus 3 hyperelliptic divisor
Creators: name: Cléry, Fabien
name: Ferapontov, Evgeny V.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: Algebraic Geometry (math.AG)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: 11F46, 14J15, 14K25, 37K10, 37K20, 37K25, 53A30, 53B25, 53B50

description: Equations of dispersionless Hirota type have been thoroughly investigated in the mathematical physics and differential geometry literature. It is known that the parameter space of integrable Hirota type equations in 3D is 21-dimensional and the action of the natural equivalence group Sp(6, R) on the parameter space has an open orbit. However the structure of the `master-equation' corresponding to this orbit remained elusive. Here we prove that the master-equation is specified by the vanishing of any genus 3 theta constant with even characteristic. The rich geometry of integrable Hirota type equations sheds new light on local differential geometry of the genus 3 hyperelliptic divisor, in particular, the integrability conditions can be viewed as local differential-geometric constraints that characterise the hyperelliptic divisor uniquely modulo Sp(6, C)-equivalence.
description: amended version, to appear in Comm. Math. Phys., 15 pages
title: Introducing Tablet-based On-Site E-Exams in a Large Software Development Course: An Experience Report
Creators: name: Rachow, Paula
name: Rahe, Christian
name: van Hoorn, André
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Digital e-exams
subject: Programming education
subject: e-Learning
subject: Automated grading

description: For introductory programming and software development courses, an electronic examination format with programming tasks in an IDE-like environment seems like the natural choice. However, for our courses at the Universität Hamburg, with up to 450 exam participants, we have so far still conducted paper-based exams that are time-consuming to grade. In the context of modernizing the assessment methods, this paper explores and reflects on introducing tablet-based e-exams in the introductory module “Software Development 2”. This experience report highlights the motivation, challenges, setup, ...
title: TILE and MASS, a retrospective
Creators: name: Dick, Steffen
name: Dreyer, Teresa
name: Bockisch, Christoph
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: survey
subject: diagnostics
subject: analysis
subject: teaching testing
subject: teaching software quality

description: In conjunction with the QPED project, we have developed two teaching tools, MASS, an automated feedback tool for code, and TILE, a test-driven exercise paradigm. Over the course of three different iterations of the same university courses, we have collected data to see what effect MASS and TILE have had on the students that were confronted with both. For this we used a survey in a later module and a diagnostic assessment within the final exam in the module where TILE and MASS are introduced. We found a substantial and statistically significant positive effect in our exam data.
title: Was heisst "Programmieren" im Zeitalter von LLM-basierten Programmier-Assistenten?
Creators: name: Gross, Thomas R.
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: LLM-basierte Werkzeuge
subject: Programmieren
subject: Software Technology

description: Auf "Large Language Models" (LLMs) basierende Programmier-Assistenten, wie z.B. GitHub Copilot, AWS Code Whisperer, oder Google Bard stellen die (universitäre) Lehre der Informatik vor neue Herausforderungen. Wenn wir jetzt das "End of Programming" erreicht haben, warum sollen dann Studierende noch Programmieren lernen (und Dozierende dieses Fach unterrichten)? Während verschiedene Beiträge die Reaktionen der Informatik Dozierenden dokumentieren (und die Auswirkungen solcher Werkzeuge auf formative und summative Evaluation untersuchen), so ist auch eine Diskussion ...
The First Physics Picture of Contractions from a Fundamental Quantum Relativity Symmetry Including all Known Relativity Symmetries, Classical and Quantum
Creators: name: Kong, Otto C. W.
name: Payne, Jason
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this article, we utilize the insights gleaned from our recent formulation of space(-time), as well as dynamical picture of quantum mechanics and its classical approximation, from the relativity symmetry perspective in order to push further into the realm of the proposed fundamental relativity symmetry $SO(2,4)$ of our quantum relativity project. We explicitly trace how the diverse actors in this story change through various contraction limits, paying careful attention to the relevant physical units, in order to place all known relativity theories -- quantum and classical -- within a single framework. More specifically, we explore both of the possible contractions of $SO(2,4)$ and its coset spaces in order to determine how best to recover the lower-level theories. These include both new models and all familiar theories, as well as quantum and classical dynamics with and without Einsteinian special relativity. Along the way, we also find connections with covariant quantum mechanics. The emphasis of this article rests on the ability of this language to not only encompass all known physical theories, but to also provide a path for extensions. It will serve as the basic background for more detailed formulations of the dynamical theories at each level, as well as the exact connections amongst them.
description: 38 pages, 2 tables, published version
Synchronization Processor Synthesis for Latency Insensitive Systems
Creators: name: Bomel, Pierre
name: Martin, Eric
name: Boutillon, Emmanuel
Publisher: name: arXiv
Year: 2007
Subjects: subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: In this paper we present our contribution in terms of synchronization processor for a SoC design methodology based on the theory of the latency insensitive systems (LIS) of Carloni et al. Our contribution consists in IP encapsulation into a new wrapper model which speed and area are optimized and synthetizability guarantied. The main benefit of our approach is to preserve the local IP performances when encapsulating them and reduce SoC silicon area.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
Efficient High Hamming Distance CRCs for Embedded Networks
Creators: name: Ray, Justin
name: Koopman, Philip
Publisher: name: Carnegie Mellon University
Year: 2006
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Cyclic redundancy codes (CRCs) are widely used in network transmission and data storage applications because they provide better error detection than lighter weight checksum techniques. 24- and 32-bit CRC computations are becoming necessary to provide sufficient error detection capability (Hamming distance) for critical embedded network applications. However, the computational cost of such CRCs can be too high for resource-constrained embedded systems, which are predominantly equipped with 8-bit microcontrollers that have limited computing power and small memory size. We evaluate the options for speeding up CRC computations on 8-bit processors, including comparing variants of table lookup approaches for memory cost and speed. We also evaluate classes of CRC generator polynomials which have the same computational cost as 24- or 16-bit CRCs, but provide 32-bit CRC levels of error detection, and recommend good polynomials within those classes for data word lengths typical of embedded networking applications.
title: Herausforderungen und Angebote für heterogene Kohorten in der Softwareentwicklung
Creators: name: Thurner, Veronika
name: Böttcher, Axel
Publisher: name: Gesellschaft für Informatik e.V.
Year: 2024
Subjects: subject: Programmierausbildung
subject: Heterogenität
subject: Individuelle Lernpfade

description: In unseren Erstsemester-Kohorten werden die Studierenden immer heterogener, in verschiedenen Dimensionen. Wenn wir möglichst vielen der Studienanfänger:innen zu einem erfolgreichen Bildungsabschluss in der Informatik verhelfen wollen müssen wir unsere Lehr-Lernangebote so weiterentwickeln, dass sie den unterschiedlichen Bedürfnissen einer heterogenen Kohorte Rechnung tragen. Wir stellen eine Reihe von Ansätzen und Maßnahmen vor, die sich dafür in der Grundlagenausbildung zu Softwareentwicklung bewährt haben.
XAS of Transition Metal Chalcogenides as CO2 Reduction Catalysts and Battery Cathode Materials
Creators: name: Kumar, Khagesh
Publisher: name: University of Illinois at Chicago
Year: 2024

description: Various negative emissions and storage technologies are at the forefront of research in combating climate change. Catalysts and battery materials are pivotal components of these technologies, utilizing electrochemical processes to facilitate energy conversion and storage; In that respect, transition metal chalcogenides (TMCs) have emerged as a promising class of materials with broad applications in catalysis and energy storage. However, understanding the underlying chemical and electronic states responsible for their activity is still lacking. These key states can be probed at both metals and ligand centers using synchrotron-based X-ray absorption spectroscopy (XAS). This thesis focuses on our recent studies using in-situ/operando XAS approaches to understand electrocatalytic CO2 reduction in TMC electrocatalyst, and insights from ligand K-edge and development of in-situ/operando cell for high-throughput measurements. Through ex-situ XAS, we explored mechanisms governing the anionic redox in TMC cathode materials by correlating the changes in the spectra with the structural and electrochemical properties.
Trapping and sorting active particles: motility-induced condensation & smectic defects
Creators: name: Kumar, Nitin
name: Gupta, Rahul Kumar
name: Soni, Harsh
name: Ramaswamy, Sriram
name: Sood, A. K.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We present an experimental realization of the collective trapping phase transition [Kaiser et al., PRL 108, 268307 (2012)], using motile polar granular rods in the presence of a V-shaped obstacle. We offer a theory of this transition based on the interplay of motility-induced condensation and liquid-crystalline ordering and show that trapping occurs when persistent influx overcomes the collective expulsion of smectic defect structures. In agreement with the theory, our experiments find that a trap fills to the brim when the trap angle $θ$ is below a threshold $θ_c$, while all particles escape for $θ> θ_c$. Our simulations support a further prediction, that $θ_c$ goes down with increasing rotational noise. We exploit the sensitivity of trapping to the persistence of directed motion to sort particles based on the statistical properties of their activity
description: 6 pages, 5 figures, for supplementary mpg files, see "https://www.dropbox.com/sh/3cmswfoysdn0sb6/AACpEp-G3768B6Y62nDFj_Hea?dl=0". This paper supersedes our earlier version arXiv:1603.08535 and contains substantial new results including revised theoretical treatment
The genericity of Arnold diffusion in nearly integrable Hamiltonian systems
Creators: name: Cheng, Chong-Qing
Publisher: name: arXiv
Year: 2018
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics

description: In this paper, we prove that the net of transition chain is $δ$-dense for nearly integrable positive definite Hamiltonian systems with 3 degrees of freedom in the cusp-residual generic sense in $C^r$-topology, $r\ge 6$. The main ingredients of the proof existed in \cite{CZ,C17a,C17b}. As an immediate consequence, Arnold diffusion exists among this class of Hamiltonian systems. The question of \cite{C17c} is answered in Section 9 of the paper.
description: to appear
Thermal-Aware Task Allocation and Scheduling for Embedded Systems
Creators: name: Hung, W. -L.
name: Xie, Y.
name: Vijaykrishnan, N.
name: Kandemir, M.
name: Irwin, M. J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: Temperature affects not only the reliability but also the performance, power, and cost of the embedded system. This paper proposes a thermal-aware task allocation and scheduling algorithm for embedded systems. The algorithm is used as a sub-routine for hardware/software co-synthesis to reduce the peak temperature and achieve a thermally even distribution while meeting real time constraints. The paper investigates both power-aware and thermal-aware approaches to task allocation and scheduling. The experimental results show that the thermal-aware approach outperforms the power-aware schemes in terms of maximal and average temperature reductions. To the best of our knowledge, this is the first task allocation and scheduling algorithm that takes temperature into consideration.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
Effects of Mediator Selection Strategies for Distributed Constraint Satisfaction
Creators: name: Benisch, Michael
name: Sadeh, Norman
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Many successful algorithms, such as Asynchronous Partial Overlay (APO), have recently been developed for cooperative distributed problem solving based on the notion of coordinated mediation. In this paper we examine the impact of different strategies for choosing mediators with respect to the complexity of distributed problem solving and the difficulty in merging decentralized solutions. We present experimental results which challenge previously held beliefs suggesting that the appointment of highly constrained agents leads to a decrease in problem solving complexity. We show that, instead, choosing loosely constrained agents as mediators in order to minimize the expected size of mediation sessions can lead to an overall improvement in system performance on problems with particular properties. Analysis with respect to these properties is provided to explain the observed improvement, and the analysis is confirmed experimentally.
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome V, Cart. 189 (11 H 74), 316 folios, f. 0181v
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome V, Archives départementales de la Côte-d'Or, Cart. 189 (11 H 74), 316 folios, f. 0181v, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome V, Archives départementales de la Côte-d'Or, Cart. 189 (11 H 74), 316 folios, f. 0181v, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Little Blue Dots in the Hubble Space Telescope Frontier Fields: Precursors to Globular Clusters?
Creators: name: Elmegreen, Debra Meloy
name: Elmegreen, Bruce G.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Galaxies with stellar masses <10^7 Msun and specific star formation rates sSFR>10^{-7} yr^{-1} were examined on images of the Hubble Space Telescope Frontier Field Parallels for Abell 2744 and MACS J0416.1-02403. They appear as unresolved "Little Blue Dots" (LBDs). They are less massive and have higher sSFR than "blueberries" studied by yang et al. (2017) and higher sSFR than "Blue Nuggets" studied by Tacchella et al.(2016). We divided the LBDs into 3 redshift bins and, for each, stacked the B435, V606, and I814 images convolved to the same stellar point spread function (PSF). Their radii were determined from PSF deconvolution to be ~80 to ~180 pc. The high sSFR suggest that their entire stellar mass has formed in only 1% of the local age of the universe. The sSFRs at similar epochs in local dwarf galaxies are lower by a factor of ~100. Assuming that the star formation rate is epsilon_ff M_gas/t_ff for efficiency epsilon_ff, gas mass M_gas, and free fall time, t_ff, the gas mass and gas-to-star mass ratio are determined. This ratio exceeds 1 for reasonable efficiencies, and is likely to be ~5 even with a high epsilon_ff of 0.1. We consider whether these regions are forming today's globular clusters. With their observed stellar masses, the maximum likely cluster mass is ~10^5 M_sun, but if star formation continues at the current rate for ~10t_ff~50 Myr before feedback and gas exhaustion stop it, then the maximum cluster mass could become ~10^6 M_sun.
description: 4 pages, 3 figures, accepted for ApJL
title: Modeling Static Grid Equivalent with Artificial Neural Networks Including Optimally Designed Local Reactive Power Control
Creators: name: Liu, Zheng
Publisher: name: Universität Kassel
Year: 2024
Subjects: subject: Blindleistungsbereitstellung
subject: Netzäquivalent
subject: Künstliches neuronales Netz
subject: Netzoptimierung
subject: Betriebsführung
subject: 500
subject: Energiemanagement
subject: Netzbetrieb
subject: Blindleistungsregelung
subject: Neuronales Netz
subject: Lastfluss

description: Zugleich: Dissertation, Universität Kassel, 2023
Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors
Creators: name: Velev, Miroslav N.
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 2001
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description:  We compare SAT-checkers and decision diagrams on the evaluation of Boolean formulas produced in the formal verification of both correct and buggy versions of superscalar and VLIW microprocessors. We identify one SAT-checker that significantly outperforms the rest. We evaluate ways to enhance its performance by variations in the generation of the Boolean correctness formulas. We reassess optimizations previously used to speed up the formal verification and probe future challenges. 
Dark matter halo creation in moving barrier models
Creators: name: Moreno, Jorge
name: Giocoli, Carlo
name: Sheth, Ravi K.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: In hierarchical models, the time derivative of the halo mass function may be thought of as the difference of two terms - a creation term, which describes the increase in the number of haloes of mass m from mergers of less massive objects, and a destruction term, which describes the decrease in the number of m-haloes as these merge with other haloes, creating more massive haloes as a result. In models where haloes form from a spherical collapse, the distribution of halo creation times can be estimated from the same formalism which is used to estimate halo abundances: the constant-barrier excursion-set approach. In the excursion set approach, moving, rather than constant-barriers, are necessary for estimating halo abundances when the collapse is triaxial. We show how the corresponding estimates are modified by providing analytic estimates of the creation rate for a wide range of halo masses. We then show that these moving-barrier based predictions are in better agreement with measurements in numerical simulations than are the corresponding predictions of the spherical collapse model. These results should be useful for studies of merger-driven star-formation rates and AGN activity. We also present a similar study of creation of haloes conditioned on belonging to an object of a certain mass today, and reach similar conclusions - the moving barrier based estimates are in substantially better agreement with the simulations. This part of the study may be useful for understanding the tendency for the oldest stars to exist in the most massive objects.
description: MNRAS accepted, 17 pages, 10 figures
Multi-scale Processing of Noisy Images using Edge Preservation Losses
Creators: name: Ofir, Nati
name: Keller, Yosi
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Noisy images processing is a fundamental task of computer vision. The first example is the detection of faint edges in noisy images, a challenging problem studied in the last decades. A recent study introduced a fast method to detect faint edges in the highest accuracy among all the existing approaches. Their complexity is nearly linear in the image's pixels and their runtime is seconds for a noisy image. Their approach utilizes a multi-scale binary partitioning of the image. By utilizing the multi-scale U-net architecture, we show in this paper that their method can be dramatically improved in both aspects of run time and accuracy. By training the network on a dataset of binary images, we developed an approach for faint edge detection that works in a linear complexity. Our runtime of a noisy image is milliseconds on a GPU. Even though our method is orders of magnitude faster, we still achieve higher accuracy of detection under many challenging scenarios. In addition, we show that our approach to performing multi-scale preprocessing of noisy images using U-net improves the ability to perform other vision tasks under the presence of noise. We prove it on the problems of noisy objects classification and classical image denoising. We show that multi-scale denoising can be carried out by a novel edge preservation loss. As our experiments show, we achieve high-quality results in the three aspects of faint edge detection, noisy image classification and natural image denoising.
Effect of Sampling Rates on the Performance of Model-Based Control Schemes
Creators: name: Khosla, Pradeep
Publisher: name: Carnegie Mellon University
Year: 1987
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: In our previous research, we experimentally implemented and evaluated the effect of dynamics compensation in model- based control algorithms. In this paper, we evaluate the effect of changing the control sampling period on the performance of the computed-torque and independent joint control schemes. While the former utilizes the complete dynamics model of the manipulator, the latter assumes a decoupled and linear model of the manipulator dynamics. We discuss the design of controller gains for both the computed-torque and the independent joint control schemes and establish a framework for comparing their trajectory tracking performance. Our experiments show that within each scheme the trajectory tracking accuracy varies slightly with the change of the sampling rate. However, at low sampling rates the computed-torque scheme outperforms the independent joint control scheme.
Education for the Future of Software Engineering
Creators: name: Shaw, Mary
Publisher: name: Carnegie Mellon University
Year: 1987
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: The discipline of software engineering is developing rapidly. Its practitioners must deal with an evolving collection of problems and with new technologies for dealing with those problems. Software engineering education must anticipate new problems and technologies, providing education in the enduring principles of the field in the context of the best current practice. Since changes in the discipline cannot be completely anticipated, software engineers must be able to assume responsibility for their own continuing professional development. This paper describes significant changes now taking place in the field of software engineering and proposes some goals and objectives for the professional education of software engineers.
Bright-Field AAPSM Conflict Detection and Correction
Creators: name: Chiang, C.
name: Kahng, A.
name: Sinha, S.
name: Xu, X.
name: Zelikovsky, A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: As feature sizes shrink, it will be necessary to use AAPSM (Alternating-Aperture Phase Shift Masking) to image critical features, especially on the polysilicon layer. This imposes additional constraints on the layouts beyond traditional design rules. Of particular note is the requirement that all critical features be flanked by opposite-phase shifters, while the shifters obey minimum width and spacing requirements. A layout is called phase-assignable if it satisfies this requirement. If a layout is not phase-assignable, the phase conflicts have to removed to enable the use of AAPSM for the layout. Previous work has sought to detect a suitable set of phase Conflicts to be removed, as well as correct them. The contribution of this paper are the following: (1) a new approach to detect a minimal set of phase conflicts (also referred to as AAPSM conflicts), which when corrected will produce a phase-assignable layout; (2) a novel layout modification scheme for correcting these AAPSM conflicts. The proposed approach for conflict detection shows significant improvements in the quality of results and runtime for real industrial circuits, when compared to previous methods. To the best of our knowledge, this is the first time layout modification results are presented for bright-field AAPSM. Our experiments show that the percentage area increase for making a layout phase-assignable ranges from 0.7-11.8%.
description: Submitted on behalf of EDAA (http://www.edaa.com/)
Dissemination plan
Creators: name: Sredojevic, Dusan
Publisher: name: Zenodo
Year: 2024

description: This document contains the dissemination plan of the HYDIS project. It states that the objective of the dissemination plan is to enhance the scientific, industry, healthcare, and socio-economic impacts of the project. This objective will be pursued through awareness creation, and communication, as well as ensuring knowledge sharing, exploitation, and sustainability beyond the project’s lifetime.
Data and R codes for Competition induces higher intraspecific trait variability in inferior than in superior tree species.
Creators: name: Yang, Jing
name: Wang, Xiya
name: Carmona, Carlos P.
name: Wang, Xihua
name: Shen, Guochun
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 310302
subject: Community ecology (excl. invasive species ecology)

description: Theory suggests that intraspecific trait variability may promote species coexistence when competitively inferior species have higher intraspecific trait variability than their superior competitors. Here, we provide empirical evidence for this phenomenon in tree seedlings. We evaluate intraspecific variability and plastic response of ten traits in 6750 seedlings of ten species in a three-year greenhouse experiment. While we observe no relationship between intraspecific trait variability and species competitiveness in competition-free homogeneous environments, an inverse relationship emerges under interspecific competition and in spatially heterogeneous environments. We show that this relationship is driven by the plastic response of the competitively inferior species: compared to their competitively superior counterparts, they exhibit a greater increase in trait variability, particularly in fine-root traits, in response to competition, environmental heterogeneity and their combination. Our findings contribute to understanding how interspecific competition and intraspecific trait variability together structure plant communities.
Search for a nematic phase in quasi-2D antiferromagnet CuCrO2 by NMR in electric field
Creators: name: Sakhratov, Yu. A.
name: Kweon, J. J.
name: Choi, E. S.
name: Zhou, H. D.
name: Svistov, L. E.
name: Reyes, A. P.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The magnetic phase diagram of CuCrO2 was studied with a novel method of simultaneous Cu NMR and electric polarization techniques with the primary goal of demonstrating that regardless of cooling history of the sample the magnetic phase with specific helmet-shaped NMR spectra associated with interplanar disorder possesses electric polarization. Our result unequivocally confirms the assumption of Sakhratov et al. Phys. Rev. B \bf{94}, 094410 (2016) that the high-field low-temperature phase is in fact a 3D-polar phase characterised by a 3D magnetic order with tensor order parameter. In comparison with the results obtained in pulsed fields, a modified phase diagram is introduced defining the upper boundary of the first-order transition from the 3D-spiral to the 3D-polar phase.
description: 4pages,5 figures
Education for the Future of Software Engineering
Creators: name: Shaw, Mary
Publisher: name: Carnegie Mellon University
Year: 1986
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: The discipline of software engineering is developing rapidly. Its practitioners must deal with an evolving collection of problems and new technologies for dealing with those problems. Software engineering education must anticipate new problems and technologies, providing education in the enduring principles of the field n the context of the best current practice. Since changes in the discipline cannot be comletely anticipated, software engineers must be able to assume responsibility for their own continuting professional development. This paper describes significant changes now taking place in the field of software engineering and proposes some golas and objectives for the professional education of software engineers.
Multiplicity of solutions to an elliptic problem with singularity and measure data
Creators: name: Ghosh, S.
name: Panda, A.
name: Choudhuri, D.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35J60, 35J75, 35R06

description: In this paper, we prove the existence of multiple nontrivial solutions of the following equation. \begin{align*} \begin{split} -Δ_{p}u & = \fracλ{u^γ}+g(u)+μ~\mbox{in}\,\,Ω, u & = 0\,\, \mbox{on}\,\, \partialΩ, u&>0 \,\,\mbox{in}\,\,Ω, \end{split} \end{align*} where $Ω\subset \mathbb{R}^N$ is a smooth bounded domain with $N \geq 3$, $1 < p-1 < q$ , $ λ>0$, $γ>0$, $g$ satisfies certain conditions, $μ\geq 0$ is a bounded Radon measure.
description: 24 Pages
title: ADCO, Grènetier de Cîteaux : comptes (1497-1504) (11 H 1172), f. 00444
Creators: name: de la Côte-d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2019
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: comptes
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Grènetier de Cîteaux : comptes (1497-1504), Archives départementales de la Côte-d'Or, (11 H 1172). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Grènetier de Cîteaux : comptes (1497-1504), Archives départementales de la Côte-d'Or, (11 H 1172), f. 00444, in Projet CBMA - Corpus Burgundiae Medii Aevi \[Ressource en ligne\], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Stability of interlinked neutron vortex and proton flux tube arrays in a neutron star. II. Far-from-equilibrium dynamics
Creators: name: Drummond, L. V.
name: Melatos, A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: The equilibrium configurations of neutron superfluid vortices interacting with proton superconductor flux tubes in a rotating, harmonic trap are non-trivial in general, when the magnetorotational symmetry is broken. A non-zero angle $θ$ between the magnetic and rotation axes leads to tangled vorticity due to competition between vortex-vortex repulsion and vortex-flux-tube pinning. Here we investigate the far-from-equilibrium behaviour of the vortices, as the trap decelerates, by solving the time-dependent, stochastic, Gross-Pitaevskii equation numerically in three dimensions. The numerical simulations reveal new vortex behaviours. Key geometrical attributes of the evolving vortex tangle are characterised, as is the degree to which pinning impedes the deceleration of the neutron condensate as a function of $η$, the pinning strength, and $θ$. The simulated system is a partial analogue of the outer core of a decelerating neutron star, albeit in a very different parameter regime.
description: 12 pages, 10 figures, accepted for publication in MNRAS
Physiological and Molecular Investigations of Manganese Transforming Bacteria
Creators: name: Wright, Mitchell Henry
Publisher: name: Griffith University
Year: 2014
Subjects: Bacteria
Geochemical cycling of manganese in aquatic environments
Paralana hot springs (PHS)
Mesophilic bacteria
Thermophilic bacteria

description: Bacteria plays a critical role in the geochemical cycling of manganese in aquatic environments. They are readily able to transform manganese through oxidative and reductive processes. In natural environments, it is well known that some bacteria are able to oxidise Mn(II) to Mn(IV) under aerobic conditions, while others reduce Mn(IV) to Mn(II) under anaerobic conditions. In the current project, manganese transforming bacteria were investigated on both a physiological and molecular basis to further understand bacterial transformation. Paralana hot springs (PHS), an aqueous environment rich in heavy metals, was used as a model environment in the study. The diversity of microorganisms in PHS was initially investigated using both culture dependent and independent techniques. Metagenomic 16S rRNA screening revealed bacteria belonging to 24 different phyla, 11 of which have been previously determined to contain manganese oxidisers. Mesophilic and thermophilic bacteria were detected and isolated, with many able to oxidise and/or reduce manganese as well as other metals (including iron, arsenic, cobalt, manganese, molybdenum, selenium, uranium and vanadium). Subsequent 16S rRNA analysis of obtained isolates revealed a number of novel bacteria, including the manganese transforming bacteria; Bacillus sp. DLH-1207, Bacillus sp. PMO and Paenibacillus sp. AEM-1106.
Bounding the number of rational places using Weierstrass semigroups
Creators: name: Geil, Olav
name: Matsumoto, Ryutaroh
Publisher: name: arXiv
Year: 2007
Subjects: subject: Algebraic Geometry (math.AG)
subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 14G15 (Primary); 11G20, 14H05, 14H25 (Secondary)

description: Let Lambda be a numerical semigroup. Assume there exists an algebraic function field over GF(q) in one variable which possesses a rational place that has Lambda as its Weierstrass semigroup. We ask the question as to how many rational places such a function field can possibly have and we derive an upper bound in terms of the generators of Lambda and q. Our bound is an improvement to a bound by Lewittes which takes into account only the multiplicity of Lambda and q. From the new bound we derive significant improvements to Serre's upper bound in the cases q=2, 3 and 4. We finally show that Lewittes' bound has important implications to the theory of towers of function fields.
description: 16 pages, 3 tables
EdgeWrite: A New Text Entry Technique Designed for Stability
Creators: name: Wobbrock, Jacob
name: Myers, Brad
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: EdgeWrite is a new design for text entry which yields methods that are accessible to some people with motor impairments or who are in physically destabilizing situations like walking or riding. Important properties of EdgeWrite include ease of learning due to the similarity of its letters to Roman characters, stability of motion due to tracing along physical edges, and simple implementation on a wide variety of input devices. Studies suggest that EdgeWrite works well when implemented for use with a stylus on a handheld device, a joystick on a power wheelchair, or for a touchpad on a desktop computer. A future implementation will explore desktop text entry using a trackball.