cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic
Creators: name: Aschieri, Federico
name: Manighetti, Matteo
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.1

description: Intuitionistic first-order logic extended with a restricted form of Markov's principle is constructive and admits a Curry-Howard correspondence, as shown by Herbelin. We provide a simpler proof of that result and then we study intuitionistic first-order logic extended with unrestricted Markov's principle. Starting from classical natural deduction, we restrict the excluded middle and we obtain a natural deduction system and a parallel Curry-Howard isomorphism for the logic. We show that proof terms for existentially quantified formulas reduce to a list of individual terms representing all possible witnesses. As corollary, we derive that the logic is Herbrand constructive: whenever it proves any existential formula, it proves also an Herbrand disjunction for the formula. Finally, using the techniques just introduced, we also provide a new computational interpretation of Arithmetic with Markov's principle.
Numerical simulation of turbulent channel flow over a viscous hyper-elastic wall
Creators: name: Rosti, Marco E.
name: Brandt, Luca
Publisher: name: arXiv
Year: 2017
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We perform numerical simulations of a turbulent channel flow over an hyper-elastic wall. In the fluid region the flow is governed by the incompressible Navier-Stokes (NS) equations, while the solid is a neo-Hookean material satisfying the incompressible Mooney-Rivlin law. The multiphase flow is solved with a one-continuum formulation, using a monolithic velocity field for both the fluid and solid phase, which allows the use of a fully Eulerian formulation. The simulations are carried out at Reynolds bulk $Re=2800$ and examine the effect of different elasticity and viscosity of the deformable wall. We show that the skin friction increases monotonically with the material elastic modulus. The turbulent flow in the channel is affected by the moving wall even at low values of elasticity since non-zero fluctuations of vertical velocity at the interface influence the flow dynamics. The near-wall streaks and the associated quasi-streamwise vortices are strongly reduced near a highly elastic wall while the flow becomes more correlated in the spanwise direction, similarly to what happens for flows over rough and porous walls. As a consequence, the mean velocity profile in wall units is shifted downwards when shown in logarithmic scale, and the slope of the inertial range increases in comparison to that for the flow over a rigid wall. We propose a correlation between the downward shift of the inertial range, its slope and the wall-normal velocity fluctuations at the wall, extending results for the flow over rough walls. We finally show that the interface deformation is determined by the fluid fluctuations when the viscosity of the elastic layer is low, while when this is high the deformation is limited by the solid properties.
The Law Of Kufu (Matchmaking): A Comparative Study Of The Talmud And Islamic Teachings
Creators: name: Saad Jaffar, Muhammad Waseem Mukhtar, Sana Gul, Sadia Rehman, Waqar Ahmed, Imran Naseem
Publisher: name: Zenodo
Year: 2025
Subjects: Talmudic Traditions, Kufu,Islamic Jurisprudence, Frameworks Of Marriage, Family Law

description: The law of Kufu, a concept blended in both the Talmudic and Islamic traditions, has long been a subject of attention and debate among scholars. The aim of this comparative study is to explore the ramifications of the law of Kufu in the focused context of marriage, its interpretations and applications in both Talmudic and Islamic teachings. At its core, the law of Kufu concerns the principles of guardianship and the responsibilities that come with it, particularly marriage relationship. However, its implementation varies significantly between the two religious traditions, making it a complex and multifaceted issue. This study explores the contrasts and similarities between the Talmudic and Islamic interpretations of the law of Kufu. Despite sharing a common goal of ensuring the welfare and protection of vulnerable individuals, the two traditions exhibit distinct approaches to the application of the law, which reveal fundamental differences in their legal, ethical, and social frameworks of marriage, including all kinds of differences on the historical, cultural, and religious contexts that shaped these interpretations. This research work is qualitative in approach and based upon both primary and secondary sources e. g. Holy Quran, Sayings of Holy Prophet, Talmudic texts, Islamic jurisprudence, scholarly commentary from both traditions and articles. The study reveals a rich and complex landscape of legal and ethical thought, with both traditions offering unique insights into the principles and practices of martial relationship. The implementation of Islamic Sharia law of frugality aims to strengthen and stabilize interpersonal relationships by prioritizing health and kinship. However, customs, traditions, and regional ideologies have been incorporated into the law, leading to a negative view of relationships outside the family, nation, tribe, and region. This has resulted in unfair and incorrect application of the law, which has prioritized social norms over the well-being of the individuals.
Constraints on kinematic parameters at $z\ne0$
Creators: name: Filho, C. Rodrigues
name: Barboza, Edésio M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The standard cosmographic approach consists in performing a series expansion of a cosmological observable around $z=0$ and then using the data to constrain the cosmographic (or kinematic) parameters at present time. Such a procedure works well if applied to redshift ranges inside the $z$-series convergence radius ($z<1$), but can be problematic if we want to cover redshift intervals that fall outside the $z-$series convergence radius. This problem can be circumvented if we work with the $y-$redshift, $y=z/(1+z)$, or the scale factor, $a=1/(1+z)=1-y$, for example. In this paper, we use the scale factor $a$ as the variable of expansion. We expand the luminosity distance and the Hubble parameter around an arbitrary $\tilde{a}$ and use the Supernovae Ia (SNe Ia) and the Hubble parameter data to estimate $H$, $q$, $j$ and $s$ at $z\ne0$ ($\tilde{a}\neq1$). We show that the last relevant term for both expansions is the third. Since the third order expansion of $d_L(z)$ has one parameter less than the third order expansion of $H(z)$, we also consider, for completeness, a fourth order expansion of $d_L(z)$. For the third order expansions, the results obtained from both SNe Ia and $H(z)$ data are incompatible with the $Λ$CDM model at $2σ$ confidence level, but also incompatible with each other. When the fourth order expansion of $d_L(z)$ is taken into account, the results obtained from SNe Ia data are compatible with the $Λ$CDM model at $2σ$ confidence level, but still remains incompatible with results obtained from $H(z)$ data. These conflicting results may indicate a tension between the current SNe Ia and $H(z)$ data sets.
description: 16 pages, 6 tables, 5 figures, accepted for publication in JCAP
An Ando-Choi-Effros lifting theorem respecting subspaces
Creators: name: Chávez-Domínguez, Javier Alejandro
Publisher: name: arXiv
Year: 2017
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics

description: We prove a version of the Ando-Choi-Effros lifting theorem respecting subspaces, which in turn relies on Oja's principle of local reflexivity respecting subspaces. To achieve this, we first develop a theory of pairs of $M$-ideals. As a first consequence we get a version respecting subspaces of the Michael-Pełczyński extension theorem. Other applications are related to linear and Lipschitz bounded approximation properties for a pair consisting of a Banach space and a subspace. We show that in the separable case, the BAP for such a pair is equivalent to the simultaneous splitting of an associated pair of short exact sequences given by a construction of Lusky. We define a Lipschitz version of the BAP for pairs, and study its relationship to the (linear) BAP for pairs. The two properties are not equivalent in general, but they are when the pair has an additional Lipschitz-lifting property in the style of Godefroy and Kalton. We also characterize, in the separable case, those pairs of a metric space and a subset whose corresponding pair of Lipschitz-free spaces has the BAP.
description: 26 pages; some corrections have been made
Two-point function of a $d=2$ quantum critical metal in the limit $k_F\rightarrow\infty$, $N_f\rightarrow 0$ with $N_fk_F$ fixed
Creators: name: Säterskog, Petter
name: Meszena, Balazs
name: Schalm, Koenraad
Publisher: name: arXiv
Year: 2016
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We show that the fermionic and bosonic spectrum of $d=2$ fermions at finite density coupled to a critical boson can be determined non-perturbatively in the combined limit $k_F\rightarrow {\infty}$, $N_f \rightarrow 0$ with $N_fk_F$ fixed. In this double scaling limit, the boson two-point function is corrected, but only at one-loop. This double scaling limit therefore incorporates the leading effect of Landau damping. The fermion two-point function is determined analytically in real space and numerically in (Euclidean) momentum space. The resulting spectrum is discontinuously connected to the quenched $N_f\rightarrow 0$ result. For $ω\rightarrow 0$ with $k$ fixed the spectrum exhibits the distinct non-Fermi-liquid behavior previously surmised from the RPA approximation. However, the exact answer obtained here shows that the RPA result does not fully capture the IR of the theory.
description: 37 pages, 10 figures
Overfitting Bayesian Mixtures of Factor Analyzers with an Unknown Number of Components
Creators: name: Papastamoulis, Panagiotis
Publisher: name: arXiv
Year: 2017
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: Recent advances on overfitting Bayesian mixture models provide a solid and straightforward approach for inferring the underlying number of clusters and model parameters in heterogeneous datasets. The applicability of such a framework in clustering correlated high dimensional data is demonstrated. For this purpose an overfitting mixture of factor analyzers is introduced, assuming that the number of factors is fixed. A Markov chain Monte Carlo (MCMC) sampler combined with a prior parallel tempering scheme is used to estimate the posterior distribution of model parameters. The optimal number of factors is estimated using information criteria. Identifiability issues related to the label switching problem are dealt by post-processing the simulated MCMC sample by relabelling algorithms. The method is benchmarked against state-of-the-art software for maximum likelihood estimation of mixtures of factor analyzers using an extensive simulation study. Finally, the applicability of the method is illustrated in publicly available data.
description: Computational Statistics and Data Analysis (to appear)
A lower bound on CNF encodings of the at-most-one constraint
Creators: name: Kučera, Petr
name: Savický, Petr
name: Vorel, Vojtěch
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences
subject: F.2.2
subject: 68R01

description: Constraint "at most one" is a basic cardinality constraint which requires that at most one of its $n$ boolean inputs is set to $1$. This constraint is widely used when translating a problem into a conjunctive normal form (CNF) and we investigate its CNF encodings suitable for this purpose. An encoding differs from a CNF representation of a function in that it can use auxiliary variables. We are especially interested in propagation complete encodings which have the property that unit propagation is strong enough to enforce consistency on input variables. We show a lower bound on the number of clauses in any propagation complete encoding of the "at most one" constraint. The lower bound almost matches the size of the best known encodings. We also study an important case of 2-CNF encodings where we show a slightly better lower bound. The lower bound holds also for a related "exactly one" constraint.
description: 38 pages, version 3 is significantly reorganized in order to improve readability
Implications and Impacts of Connected and Autonomous vehicles (CAVs) on Employment and Job Market Disruption
Creators: name: Ahmad, Miraj Uddin
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 350501
subject: Business and labour history
classificationCode: 350502
subject: Employment equity and diversity

description: This report is part of the author's MSc Fintech course module (at the University of Huddersfield) named - Artificial Intelligence.AbstractConnected and Autonomous Vehicles (CAVs), an emerging technology in the transport and logistics industry, is on the verge of stepping into the smart cities of mankind with the aim of revolutionising transportation. Since no revolution, however, tends to come up without a hitch, CAVs are not an exception. Resulting in fear of potential mass destruction of jobs in and around the transportation industry. This paper, through review of available literatures in this field, argues that primarily it would, mostly, be the lower skilled driving professionals to encounter the side effects of this technological revolution (i.e., mass redundancies) while the highly skilled professionals plausibly see diverse range of career opportunities. Moreover, underprivileged jobseekers of rural areas, and workers commuting from distant places likely to experience the benefits of this multi-modal mobility service which could ensure equal access in employment opportunities subject to an impeccable policy formation and implementation for CAVs by the policymakers. The paper also interprets the perception of future users of CAVs while suggesting that, for the purpose of gaining public acceptance towards CAVs introduction and mitigating the aftermath of potential mass unemployment, government should not delay in initiating awareness campaign, promoting research & innovation in CAVs and early re-skilling & training of the existing workforce.
Fundamental Flavours, Fields and Fixed Points: A Brief Account
Creators: name: Kundu, Arnab
name: Kundu, Nilay
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In this article we report on a preliminary study, {\it via} Holography, of infrared fixed points in a putative strongly coupled SU$(N_c)$ gauge theory, with $N_f$ fundamental matter, in the presence of additional fields in the fundamental sector, e.g. density or a magnetic field. In an inherently {\it effective} or a {\it bottom up} approach, we work with a simple system: Einstein-gravity with a negative cosmological constant, coupled to a Dirac-Born-Infeld (DBI) matter. We obtain a class of exact solutions, dual to candidate grounds states in the infrared (IR), with a scaling ansatz for various fields. These solutions are of two kinds: AdS$_m \times {\mathbb R}^n$--type, and AdS$_m \times$EAdS$_n$--type, where $m$ and $n$ are suitable integers. Both these classes of solutions are {\it non-perturbative} in back-reaction. The AdS$_m \times$EAdS$_n$--type contains examples of Bianchi type-V solutions. We also construct explicit numerical flows from an AdS$_5$ ultraviolet to both an AdS$_2$ and an AdS$_3$ IR.
description: 32 pages, 6 figures, references added, published version
Tuning the topological states in metal-organic bilayers
Creators: name: de Lima, F. Crasto
name: Ferreira, Gerson J.
name: Miwa, R. H.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We have investigated the energetic stability and the electronic properties of metal-organic topological insulators bilayers (BLs), $(MC_4S_4)_3$-BL, with M=Ni and Pt, using first-principles calculations and tight-binding model. Our findings show that $(MC_4S_4)_3$-BL is an appealing platform to perform electronic band structure engineering, based on the topologically protected chiral edge states. The energetic stability of the BLs is ruled by van der Waals interactions; being the AA stacking the energetically most stable one. The electronic band structure is characterized by a combination of bonding and anti-bonding kagome band sets (KBSs), revealing that $(NiC_4S_4)_3$-BL presents a Z$_2$-metallic phase, whereas $(PtC_4S_4)_3$-BL may present both Z$_2$-metallic phase or quantum spin Hall phase. Those non-trivial topological states were confirmed by the formation of chiral edge states in $(MC_4S_4)_3$-BL nanoribbons. We show that the localization of the edge states can be controlled with a normal external electric field, breaking the mirror symmetry. Hence, the sign of electric field selects in which layer each set of edge states are located. Such a control on the (layer) localization, of the topological edge states, bring us an additional and interesting degree of freedom to control the transport properties in layered metal-organic topological insulator.
Data Unfolding with Wiener-SVD Method
Creators: name: Tang, W.
name: Li, X.
name: Qian, X.
name: Wei, H.
name: Zhang, C.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: High Energy Physics - Experiment (hep-ex)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: Data unfolding is a common analysis technique used in HEP data analysis. Inspired by the deconvolution technique in the digital signal processing, a new unfolding technique based on the SVD technique and the well-known Wiener filter is introduced. The Wiener-SVD unfolding approach achieves the unfolding by maximizing the signal to noise ratios in the effective frequency domain given expectations of signal and noise and is free from regularization parameter. Through a couple examples, the pros and cons of the Wiener-SVD approach as well as the nature of the unfolded results are discussed.
description: 26 pages, 12 figures, match the accepted version by JINST
Improved Point Source Detection in Crowded Fields using Probabilistic Cataloging
Creators: name: Portillo, Stephen K. N.
name: Lee, Benjamin C. G.
name: Daylan, Tansu
name: Finkbeiner, Douglas P.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Cataloging is challenging in crowded fields because sources are extremely covariant with their neighbors and blending makes even the number of sources ambiguous. We present the first optical probabilistic catalog, cataloging a crowded (~0.1 sources per pixel brighter than 22nd magnitude in F606W) Sloan Digital Sky Survey r band image from M2. Probabilistic cataloging returns an ensemble of catalogs inferred from the image and thus can capture source-source covariance and deblending ambiguities. By comparing to a traditional catalog of the same image and a Hubble Space Telescope catalog of the same region, we show that our catalog ensemble better recovers sources from the image. It goes more than a magnitude deeper than the traditional catalog while having a lower false discovery rate brighter than 20th magnitude. We also present an algorithm for reducing this catalog ensemble to a condensed catalog that is similar to a traditional catalog, except it explicitly marginalizes over source-source covariances and nuisance parameters. We show that this condensed catalog has a similar completeness and false discovery rate to the catalog ensemble. Future telescopes will be more sensitive, and thus more of their images will be crowded. Probabilistic cataloging performs better than existing software in crowded fields and so should be considered when creating photometric pipelines in the Large Synoptic Space Telescope era.
description: 29 pages, 27 figures; changed prior on number of sources, added discussion on use of posterior sample catalogs in Section 4.2, added discussion of convergence in Section 5.4, expanded Introduction and Discussion, added cross-checks on assumed flux function index and PSF width in Appendices D and E; version to be published in the Astrophysical Journal
Testing Dark Matter with the Anomalous Magnetic Moment in Quantum Electrodynamics Model
Creators: name: Das, Ashok K.
name: Gamboa, Jorge
name: Méndez, Fernando
name: Tapia, Natalia
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider a model of dark quantum electrodynamics which is coupled with a visible photon through a kinetic mixing term. After checking of consistency properties, we compute the $g_w-2$, where $g_w$ is the gyromagnetic factor for a dark fermion. The $g_w-2$ and $g-2$ of quantum electrodynamics are related by the kinetic mixing factor. We analyse the $g_w-2$ in terms of the ratio $κ=m_γ/m_χ$ where $m_γ$ and $m_χ$ are the masses of the dark photon and the dark fermion and we discuss how light and heavy fermions become very different for $m_γ\leq10^{-5}\,$ eV. This analysis is also carried out using different available data.
description: Small changes in the introduction
Attentional Orienting in Working Memory in Children with ADHD
Creators: name: Superbia-Guimarães, Luísa
name: Bader, Michel
name: Camos, Valérie
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Medicine
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Children with attentional-deficit/hyperactivity disorder (ADHD) have impairments in working memory (WM) functioning. Impaired orienting of visual attention during encoding and/or maintenance is hypothesized as the cause of poor performance in visuospatial WM in 10-to-16-year-olds. We used a color-recognition task with valid location cues before encoding (pre-cues) and during maintenance (retro-cues). If ADHD children have an orienting deficit during these processing stages, they should not benefit from the cues. We observed strong pre- and retro-cueing benefits both for ADHD and typically developing controls, with no differences between the groups. This strengthens findings showing that ADHD is not characterized by deficits in orienting attention and provides evidence of retro-cue benefits in this population.
Recent advancements in DECIMER.ai and automated mining of chemical literature for COCONUT
Creators: name: Rajan, Kohulan
Publisher: name: Zenodo
Year: 2023
Subjects: DECIMER
Deep learning in chemistry
Literature Mining

description: This presentation highlights the latest developments in DECIMER.ai and its automated mining of chemical literature for COCONUT. It was presented at two prestigious events: the ACS Spring Conference 2023 in San Francisco, USA, and the 6th Artificial Intelligence in Chemistry Symposium in Cambridge, UK.
Inhibitory Control in Male and Female Adolescents with Autism Spectrum Disorder (ASD)
Creators: name: Cissne, Mackenzie N.
name: Bellesheim, Katherine R.
name: Christ, Shawn E.
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: 111714 Mental Health
subject: FOS: Health sciences

description: The present study examined potential sex- and age-related differences in inhibitory control in adolescents with and without ASD. A computerized flanker visual filtering task and a go/no-go task were used to assess the ability to resist interference from visual distractors (RIVD) and prepotent response inhibition, respectively. Overall, the ASD and non-ASD groups performed comparably on both tasks and no sex-related differences or interactions (group-by-sex) were apparent. Consistent with past research, however, we did observe a significant age-related improvement in RIVD performance among the ASD group (but not the non-ASD group).
Non-expansive bijections between unit balls of Banach spaces (A technical version with some boring proofs included)
Creators: name: Zavarzina, Olesia
Publisher: name: arXiv
Year: 2017
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics
subject: 46B20

description: It is known that if $M$ is a finite-dimensional Banach space, or a strictly convex space, or the space $\ell_1$, then every non-expansive bijection $F: B_M \to B_M$ is an isometry. We extend these results to non-expansive bijections $F: B_E \to B_M$ between unit balls of two different Banach spaces. Namely, if $E$ is an arbitrary Banach space and $M$ is finite-dimensional or strictly convex, or the space $\ell_1$ then every non-expansive bijection $F: B_E \to B_M$ is an isometry.
Relating Zeta Functions of Discrete and Quantum Graphs
Creators: name: Harrison, Jonathan
name: Weyand, Tracy
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 05C99, 81Q10, 81Q35

description: We write the spectral zeta function of the Laplace operator on an equilateral metric graph in terms of the spectral zeta function of the normalized Laplace operator on the corresponding discrete graph. To do this, we apply a relation between the spectrum of the Laplacian on a discrete graph and that of the Laplacian on an equilateral metric graph. As a by-product, we determine how the multiplicity of eigenvalues of the quantum graph, that are also in the spectrum of the graph with Dirichlet conditions at the vertices, depends on the graph geometry. Finally we apply the result to calculate the vacuum energy and spectral determinant of a complete bipartite graph and compare our results with those for a star graph, a graph in which all vertices are connected to a central vertex by a single edge.
description: 12 pages; added reference after Corollary 1 (on page 4)
The Cosmology of Sub-MeV Dark Matter
Creators: name: Green, Daniel
name: Rajendran, Surjeet
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Light dark matter is a compelling experimental target in light of stringent constraints on heavier WIMPs. However, for a sub-MeV WIMP, the universe is sufficiently well understood at temperatures below 10 MeV that there is no room for it to be a thermal relic. Avoiding thermalization is itself a strong constraint with significant implications for direct detection. In this paper, we explore the space of models of sub-MeV dark matter with viable cosmologies. The parameter space of these models that is also consistent with astrophysical and lab-based limits is highly restricted for couplings to electrons but somewhat less constrained for nuclei. We find that achieving nuclear cross-sections well-above the neutrino floor necessarily predicts a new contribution to the effective number of neutrino species, $ΔN_{\rm eff} = 0.09$ that will be tested by the next generation of CMB observations. On the other hand, models with absorption signatures of dark matter are less restricted by cosmology even with future observations.
description: 24 pages, 5 figures; V2: figures corrected, minor changes; V3: additional stellar cooling constraint included
Using cluster analysis to identify procrastination and student learning strategies in a flipped classroom
Creators: name: WALSH, JOHN
Publisher: name: University of Limerick
Year: 2024
Subjects: classificationCode: 3506
subject: Marketing
subject: FOS: Economics and business

description: Flipped classrooms are becoming increasingly important in higher education. While their value over traditional practices has been identified, it is possible to implement a flipped classroom in many ways. Therefore, research needs to consider the distinct ways flipped classrooms are structured to identify their relative effectiveness. The usefulness of flipped classrooms is reduced when students’ procrastination in the pre-class phase, resulting in a lack of student engagement with online resources. This paper uses a cluster analysis of log-file data from three cohorts of a flipped classroom module, involving 169 undergraduate business students, to identify their learning strategies. It considers when students first begin to access online material and relates this to the timing of their classes and assessments. Two distinct learning strategies were identified. Prepared students accessed online resources as expected in advance of flipped classes. Assessment-focused students used the available resources after class to prepare for impending assessments. Prepared students performed significantly better than those that were assessment focused. In addition, there was more engagement with video-based material over text-based resources and also more engagement when assessments were weekly and low-stakes rather than terminal and higher-stakes. Concsequently, the way in which flipped classrooms are structured can reduce the level of student procrastination present and improve the effectiveness of this method.
The MoEDAL experiment at the LHC: status and results
Creators: name: Mitsou, Vasiliki A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: The MoEDAL experiment at the LHC is optimised to detect highly ionising particles such as magnetic monopoles, dyons and (multiply) electrically charged stable massive particles predicted in a number of theoretical scenarios. MoEDAL, deployed in the LHCb cavern, combines passive nuclear track detectors with magnetic monopole trapping volumes (MMTs), while spallation-product backgrounds are being monitored with an array of MediPix pixel detectors. An introduction to the detector concept and its physics reach, complementary to that of the large general purpose LHC experiments ATLAS and CMS, will be given. Emphasis is given to the recent MoEDAL results at 13 TeV, where the null results from a search for magnetic monopoles in MMTs exposed in 2015 LHC collisions set the world-best limits on particles with magnetic charges more than 1.5 Dirac charge. The potential to search for heavy, long-lived supersymmetric electrically-charged particles is also discussed.
description: 15 pages, 12 figures; invited plenary talk in 5th Symposium on Prospects in the Physics of Discrete Symmetries (DISCRETE 2016), 28 Nov - 3 Dec 2016, Warsaw, Poland; based on arXiv:1411.7651 and arXiv:1612.07012
Distributed generalized Nash equilibria computation of monotone games via a preconditioned proximal point algorithm
Creators: name: Yi, Peng
name: Pavel, Lacra
Publisher: name: arXiv
Year: 2017
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: In this paper, we investigate distributed generalized Nash equilibrium (GNE) computation of monotone games with affine coupling constraints. Each player can only utilize its local objective function, local feasible set and a local block of the coupling constraint, and can only communicate with its neighbours. We assume the game has monotone pseudo-subdifferential without Lipschitz continuity restrictions. We design novel center-free distributed GNE seeking algorithms for equality and inequality affine coupling constraints, respectively. A proximal alternating direction method of multipliers(ADMM) is proposed for the equality case, while for the inequality case, a parallel splitting type algorithm is proposed. In both algorithms, the GNE seeking task is decomposed into a sequential NE computation of regularized subgames and distributed update of multipliers and auxiliary variables, based on local data and local communication. Our two double-layer GNE algorithms need not specify the inner-loop NE seeking algorithm and moreover, only require that the strongly monotone subgames are inexactly solved. We prove their convergence by showing that the two algorithms can be seen as specific instances of preconditioned proximal point algorithms} (PPPA) for finding zeros of monotone operators. Applications and numerical simulations are given for illustration.
description: 13 pages, 7 figures
The misleading narrative of the canonical faculty productivity trajectory
Creators: name: Way, Samuel F.
name: Morgan, Allison C.
name: Clauset, Aaron
name: Larremore, Daniel B.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Digital Libraries (cs.DL)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: A scientist may publish tens or hundreds of papers over a career, but these contributions are not evenly spaced in time. Sixty years of studies on career productivity patterns in a variety of fields suggest an intuitive and universal pattern: productivity tends to rise rapidly to an early peak and then gradually declines. Here, we test the universality of this conventional narrative by analyzing the structures of individual faculty productivity time series, constructed from over 200,000 publications and matched with hiring data for 2453 tenure-track faculty in all 205 Ph.D-granting computer science departments in the U.S. and Canada. Unlike prior studies, which considered only some faculty or some institutions, or lacked common career reference points, here we combine a large bibliographic dataset with comprehensive information on career transitions that covers an entire field of study. We show that the conventional narrative confidently describes only one fifth of faculty, regardless of department prestige or researcher gender, and the remaining four fifths of faculty exhibit a rich diversity of productivity patterns. To explain this diversity, we introduce a simple model of productivity trajectories, and explore correlations between its parameters and researcher covariates, showing that departmental prestige predicts overall individual productivity and the timing of the transition from first- to last-author publications. These results demonstrate the unpredictability of productivity over time, and open the door for new efforts to understand how environmental and individual factors shape scientific productivity.
description: 18 pages, 16 figures
title: Ð¢ÐµÑ Ð½Ð¸ÑÐµÑÐºÐ°Ñ ÑÐµÑÐ¼Ð¾Ð´Ð¸Ð½Ð°Ð¼Ð¸ÐºÐ° Ð¸ ÑÐµÐ¿Ð»Ð¾Ð¿ÐµÑÐµÐ´Ð°ÑÐ°
title: ÑÑÐµÐ±Ð½Ð¸Ðº Ð´Ð»Ñ ÑÑÑÐ´ÐµÐ½ÑÐ¾Ð² Ð²ÑÑÑÐ¸Ñ ÑÑÐµÐ±Ð½ÑÑ Ð·Ð°Ð²ÐµÐ´ÐµÐ½Ð¸Ð¹, Ð¾Ð±ÑÑÐ°ÑÑÐ¸Ñ ÑÑ Ð¿Ð¾ Ð½Ð°Ð¿ÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ "ÐÐ°Ð·ÐµÐ¼Ð½ÑÐµ ÑÑÐ°Ð½ÑÐ¿Ð¾ÑÑÐ½ÑÐµ ÑÐ¸ÑÑÐµÐ¼Ñ"
titleType: Subtitle
Creators: name: Ð¡Ð°Ð¿Ð¾Ð¶Ð½Ð¸ÐºÐ¾Ð², Ð¡ÐµÑÐ³ÐµÐ¹
name: ÐÐ¸ÑÐ°Ð½Ð¸Ð½, Ð­Ð´ÑÐ°ÑÐ´
Publisher: name: ÐÐ·Ð´-Ð²Ð¾ Ð¡ÐÐ±ÐÐ¢Ð£
Year: 1999
Subjects: Ð¢ÐµÑÐ¼Ð¾Ð´Ð¸Ð½Ð°Ð¼Ð¸ÐºÐ° ÑÐµÑ Ð½Ð¸ÑÐµÑÐºÐ°Ñ
Ð¢ÐµÐ¿Ð»Ð¾Ð¾Ð±Ð¼ÐµÐ½

description: ÐÐ·Ð»Ð¾Ð¶ÐµÐ½Ñ Ð¾ÑÐ½Ð¾Ð²Ñ ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¾Ð¹ ÑÐµÑÐ¼Ð¾Ð´Ð¸Ð½Ð°Ð¼Ð¸ÐºÐ¸ Ð¸ ÑÐµÐ¿Ð»Ð¾Ð¿ÐµÑÐµÐ´Ð°ÑÐ¸. ÐÑÐµÐ´ÑÑÐ°Ð²Ð»ÐµÐ½Ñ Ð½Ð°ÑÐ°Ð»Ð° ÑÐµÑÐ¼Ð¾Ð´Ð¸Ð½Ð°Ð¼Ð¸ÐºÐ¸, Ð¼ÐµÑÐ¾Ð´Ñ ÑÐ°ÑÑÐµÑÐ° ÑÐµÑÐ¼Ð¾Ð´Ð¸Ð½Ð°Ð¼Ð¸ÑÐµÑÐºÐ¸Ñ Ð¿ÑÐ¾ÑÐµÑÑÐ¾Ð² Ñ Ð¸Ð´ÐµÐ°Ð»ÑÐ½ÑÐ¼ Ð³Ð°Ð·Ð¾Ð¼ Ð¸ Ñ ÑÐµÐ°Ð»ÑÐ½ÑÐ¼Ð¸ ÑÐ°Ð±Ð¾ÑÐ¸Ð¼Ð¸ ÑÐµÐ»Ð°Ð¼Ð¸, ÑÐ¸ÐºÐ»Ð¾Ð² ÑÐ½ÐµÑÐ³ÐµÑÐ¸ÑÐµÑÐºÐ¸Ñ ÑÑÑÐ°Ð½Ð¾Ð²Ð¾Ðº, ÑÐ¾Ð»Ð¾Ð´Ð¸Ð»ÑÐ½ÑÑ Ð¼Ð°ÑÐ¸Ð½ Ð¸ ÑÐµÐ¿Ð»Ð¾Ð²ÑÑ Ð½Ð°ÑÐ¾ÑÐ¾Ð². ÐÐ¿Ð¸ÑÐ°Ð½Ñ Ð¿ÑÐ¾ÑÐµÑÑÑ ÑÑÐ°ÑÐ¸Ð¾Ð½Ð°ÑÐ½Ð¾Ð¹ Ð¸ Ð½ÐµÑÑÐ°ÑÐ¸Ð¾Ð½Ð°ÑÐ½Ð¾Ð¹ ÑÐµÐ¿Ð»Ð¾Ð¿ÑÐ¾Ð²Ð¾Ð´Ð½Ð¾ÑÑÐ¸, ÐºÐ¾Ð½Ð²ÐµÐºÑÐ¸Ð²Ð½Ð¾Ð³Ð¾ ÑÐµÐ¿Ð»Ð¾Ð¾Ð±Ð¼ÐµÐ½Ð°, ÑÐµÐ¿Ð»Ð¾Ð¾Ð±Ð¼ÐµÐ½Ð° Ð¸Ð·Ð»ÑÑÐµÐ½Ð¸ÐµÐ¼. ÐÐ°Ð½Ñ Ð¾ÑÐ½Ð¾Ð²Ñ ÑÐµÐ¿Ð»Ð¾Ð²Ð¾Ð³Ð¾ ÑÐ°ÑÑÐµÑÐ° ÑÐµÐ¿Ð»Ð¾Ð¾Ð±Ð¼ÐµÐ½Ð½Ð¸ÐºÐ¾Ð². ÐÑÐµÐ´Ð½Ð°Ð·Ð½Ð°ÑÐµÐ½ Ð´Ð»Ñ Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ¾Ð² Ð¿Ð¾ Ð½Ð°Ð¿ÑÐ°Ð²Ð»ÐµÐ½Ð¸Ñ 551400 "ÐÐ°Ð·ÐµÐ¼Ð½ÑÐµ ÑÑÐ°Ð½ÑÐ¿Ð¾ÑÑÐ½ÑÐµ ÑÐ¸ÑÑÐµÐ¼Ñ".
Higher lattices, discrete two-dimensional holonomy and topological phases in (3+1) D with higher gauge symmetry
Creators: name: Bullivant, Alex
name: Calcada, Marcos
name: Kádár, Zoltán
name: Martins, João Faria
name: Martin, Paul
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mathematical Physics (math-ph)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Higher gauge theory is a higher order version of gauge theory that makes possible the definition of 2-dimensional holonomy along surfaces embedded in a manifold where a gauge 2-connection is present. In this paper, we will continue the study of Hamiltonian models for discrete higher gauge theory on a lattice decomposition of a manifold. In particular, we show that a previously proposed construction for higher lattice gauge theory is well-defined, including in particular a Hamiltonian for topological phases of matter in 3+1 dimensions. Our construction builds upon the Kitaev quantum double model, replacing the finite gauge connection with a finite gauge 2-group 2-connection. Our Hamiltonian higher lattice gauge theory model is defined on spatial manifolds of arbitrary dimension presented by slightly {\it combinatorialised} CW-decompositions (2-lattice decompositions), whose 1-cells and 2-cells carry discrete 1-dimensional and 2-dimensional holonomy data. We prove that the ground-state degeneracy of Hamiltonian higher lattice gauge theory is a topological invariant of manifolds, coinciding with the number of homotopy classes of maps from the manifold to the classifying space of the underlying gauge 2-group. The operators of our Hamiltonian model are closely related to discrete 2-dimensional holonomy operators for discretised 2-connections on manifolds with a 2-lattice decomposition. We therefore address the definition of discrete 2-dimensional holonomy for surfaces embedded in 2-lattices. Several results concerning the well-definedness of discrete 2-dimensional holonomy, and its construction in a combinatorial and algebraic topological setting are presented.
description: V3: Major revision. Clarification of the action of vertex and edge operators. 52 pages, 18 figures. V4: Minor corrections. 53 pages, 18 figures
On the Minkowski-type inequality for outward minimizing hypersurfaces in Schwarzschild space
Creators: name: Wei, Yong
Publisher: name: arXiv
Year: 2017
Subjects: subject: Differential Geometry (math.DG)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: Using the weak solution of Inverse mean curvature flow, we prove the sharp Minkowski-type inequality for outward minimizing hypersurfaces in Schwarzschild space.
description: minor revision, accepted by Calculus of Variations and PDE
Master's recital (flute)
Creators: name: Koteeswaran, Amrutha
Publisher: name: The University of Texas at Austin
Year: 2022
Subjects: Flute music
Flute and electronic music
Chamber music
Flute and piano music
Trios (Piano, flute, tanpura)

description: Sri Krishna / John Mayer -- Javārī ratios / Meera Gudipati -- L'aube enchantée / Ravi Shankar -- Uttishta / Asha Srinivasan
TREX workshop on electronic structure methods for strong correlation: theory, computational algorithms, and codes 18-20 April 2023 Presentations
Creators: name: Alavi, Ali
name: Lopez Rios, Pablo
name: Kats, Daniel
name: Scemama, Anthony
name: Ammar, Abdallah
name: Loos, Pierre-Francois
name: Pernal, Katarzyna
name: Tucholska, Aleksandra
name: Hapka, Michal
name: Veis, Libor
name: Rupp, Matthias
Publisher: name: Zenodo
Year: 2024

description: The TREX workshop on electronic structure methods for strong correlation: theory, computational algorithms, and codes was held on 18-20 April 2023 at the Institute of Physics, Lodz University of Technology, Poland.

The aim of the event was to provide an in-depth exploration of the latest developments in electronic structure methods for strongly correlated systems.
Calibration and Irradiation Study of the BGO Background Monitor for the BEAST II Experiment
Creators: name: Chen, Y. T.
name: Lin, J. C.
name: Chen, J. T.
name: Chu, K. N.
name: Huang, K.
name: Koirala, S.
name: Liau, J. J.
name: Lin, F. H.
name: Lin, K. P.
name: Shiu, J. G.
name: Wang, M. Z.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: Beam commissioning of the SuperKEKB collider began in 2016. The Beam Exorcism for A STable experiment II (BEAST II) project is particularly designed to measure the beam backgrounds around the interaction point of the SuperKEKB collider for the Belle II experiment. We develop a system using bismuth germanium oxide (BGO) crystals with optical fibers connecting to a multianode photomultiplier tube (MAPMT) and a field-programmable gate array (FPGA) embedded readout board for monitoring the real-time beam backgrounds in BEAST II. The overall radiation sensitivity of this system is estimated to be $(2.20\pm0.26)\times10^{-12}$ Gy/ADU (analog-to-digital unit) with the standard 10 m fibers for transmission and the MAPMT operating at 700 V. Our $γ$-ray irradiation study of the BGO system shows that the exposure of BGO crystals to $^{60}$Co $γ$-ray doses of 1 krad has led to immediate light output reductions of 25--40%, and the light outputs further drop by 30--45% after the crystals receive doses of 2--4 krad. Our findings agree with those of the previous studies on the radiation hard (RH) BGO crystals grown by the low thermal gradient Czochralski (LTG Cz) technology. The absolute dose from the BGO system is also consistent with the simulation, and is estimated to be about 1.18 times the equivalent dose. These results prove that the BGO system is able to monitor the background dose rate in real time under extreme high radiation conditions. This study concludes that the BGO system is reliable for the beam background study in BEAST II.
Derived categories of curves as components of Fano manifolds
Creators: name: Fonarev, Anton
name: Kuznetsov, Alexander
Publisher: name: arXiv
Year: 2016
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We prove that the derived category $D(C)$ of a generic curve of genus greater than one embeds into the derived category $D(M)$ of the moduli space $M$ of rank two stable bundles on $C$ with fixed determinant of odd degree.
description: 20 pages; v2: exposition improved, some references added
ГВОЗДЮКОВА Н.И.: К 110-ЛЕТИЮ СО ДНЯ РОЖДЕНИЯ СЕЛЕКЦИОНЕРА
Creators: name: Слепнева Т.Н.
name: Исакова М.Г.
Publisher: name: Zenodo
Year: 2024

description: В статье информация о селекционере Гвоздюковой Н.И., автора сортов вишни и сливы на Урале.
A review on the Advancement of Automated Attendance System.pdf
Creators: name: YELVE, SHUBHAM
Publisher: name: figshare
Year: 2023
Subjects: Other engineering not elsewhere classified

description: Attendance is the most common element throughout our life, starting from schooling days, right to the corporate world. It is an essential part of justifying the excellence of a particular employee. So there are two types of attendance systems, i.e. manual or automated. The traditional attendance tracking method includes punch locks or some other manual system, it’s proven to have some associated problems such as time-wasting, fake attendance, and loss of attendance sheets, therefore making the system inefficient and ineffective. However, this method requires consistent human supervision. But fortunately, the evolving technology has led to the introduction of the automated attendance system that provides much better results. some attendance systems that have been made to overcome these problems, based on the detection of biometrics, barcodes, and QR Codes have been able to simplify the attendance process. This paper presents a literature overview of the recent works on automated and smart attendance tracking systems.
Thermal stability of black holes with arbitrary hairs
Creators: name: Sinha, Aloke Kumar
Publisher: name: arXiv
Year: 2017
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We have derived the criteria for thermal stability of charged rotating black holes, for horizon areas that are large relative to the Planck area (in these dimensions). In this paper, we generalized it for black holes with arbitrary hairs. The derivation uses results of loop quantum gravity and equilibrium statistical mechanics of the grand canonical ensemble and there is no explicit use of classical spacetime geometry at all in this analysis. The assumption is that the mass of the black hole is a function of its horizon area and all the hairs. Our stability criteria are then tested in detail against some specific black holes, whose metrics provide us with explicit relations for the dependence of the mass on the area and other hairs of the black holes. This enables us to predict which of these black holes are expected to be thermally unstable under Hawking radiation.
description: arXiv admin note: substantial text overlap with arXiv:1512.04181, arXiv:1707.00687
IFZ news Sommer 2016
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2016
Subjects: subject: ddc:570

description: Neue Forschergruppe ergründet Denitrifikation - iFZ Masters : Preise für nachhaltige Ressoucennutzung 2015 - Ehrendoktorwürde für deutsch-georgische Zusammenarbeit - Wegweisende Leistungen auf dem Gebiet der Phytomedizin - Licher Fotopreis " Mensch und Natur 2015" im iFZ - Marie-Sklodowska-Curie-Fellowship für Dr. Kathrin Buchholz - Vielfalt am Wasser : Förderung der floristischen Vielfalt an Bundeswasserstraßen - Biosphere iFZ : Schlummernde Bakterien - Duality Black and White : Ausstellung des Kunst-LKs der Liebig-Schule im iFZ
IFZ news Winter 2016/17
Creators: name: (:Unkn) Unknown
name: Justus Liebig University Giessen
Publisher: name: Universitätsbibliothek Gießen
Year: 2017
Subjects: subject: ddc:570

description: "Mensch und Natur" - Licher Fotopreis im iFZ - Wirtspflanzentoxine bei herbivoren Insekten - Chemische Ökologie parasitischer Wespen - Gemüseextrakt hält Erdbeeren frisch - Keimung und Etablierung von Arten der Hartholz-Auenwälder - Die Vogelgemeinschaft am Campus Seltersberg - Langzeitexperiment Filmaufnahmen im iFZ - Biosphere iFZ: ... ist dann mal weg - die Krebsschere im iFZ-Weiher
Hybrid Chebyshev function bases for sparse spectral methods in parity-mixed PDEs on an infinite domain
Creators: name: Miquel, Benjamin
name: Julien, Keith
Publisher: name: arXiv
Year: 2017
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: We present a numerical spectral method to solve systems of differential equations on an infinite interval $y\in (-\infty, \infty)$ in presence of linear differential operators of the form $Q(y) \left(\partial/\partial_y\right)^b$ (where $Q(y)$ is a rational fraction and $b$ a positive integer). Even when these operators are not parity-preserving, we demonstrate how a mixed expansion in interleaved Chebyshev rational functions $TB_n(y)$ and $SB_n(y)$ preserves the sparsity of their discretization. This paves the way for fast $O(N\ln N)$ and spectrally accurate mixed implicit-explicit time-marching of sets of linear and nonlinear equations in unbounded geometries.
description: 26 pages, 11 figures, submitted for publication