cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A hybrid deep-learning-metaheuristic framework for bi-level network design problems
Creators: name: Madadi, Bahman
name: Correia, Goncalo Homem de Almeida
Publisher: name: arXiv
Year: 2023
Subjects: subject: Neural and Evolutionary Computing (cs.NE)
subject: Computer Science and Game Theory (cs.GT)
subject: Machine Learning (cs.LG)
subject: Optimization and Control (math.OC)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: This study proposes a hybrid deep-learning-metaheuristic framework with a bi-level architecture for road network design problems (NDPs). We train a graph neural network (GNN) to approximate the solution of the user equilibrium (UE) traffic assignment problem and use inferences made by the trained model to calculate fitness function evaluations of a genetic algorithm (GA) to approximate solutions for NDPs. Using three test networks, two NDP variants and an exact solver as benchmark, we show that on average, our proposed framework can provide solutions within 1.5% gap of the best results in less than 0.5% of the time used by the exact solution procedure. Our framework can be utilized within an expert system for infrastructure planning to determine the best infrastructure planning and management decisions under different scenarios. Given the flexibility of the framework, it can easily be adapted to many other decision problems that can be modeled as bi-level problems on graphs. Moreover, we foreseen interesting future research directions, thus we also put forward a brief research agenda for this topic. The key observation from our research that can shape future research is that the fitness function evaluation time using the inferences made by the GNN model was in the order of milliseconds, which points to an opportunity and a need for novel heuristics that 1) can cope well with noisy fitness function values provided by deep learning models, and 2) can use the significantly enlarged efficiency of the evaluation step to explore the search space effectively (rather than efficiently). This opens a new avenue for a modern class of metaheuristics that are crafted for use with AI-powered predictors.
description: Two case studies added, intro, discussion and conclusion extended, details added to method and experiments, typos fixed, title revised, references added
Additional file 1 of Factors impacting test-based management of suspected malaria among caregivers of febrile children and private medicine retailers within rural communities of Fanteakwa North District, Ghana
Creators: name: Soniran, Olajoju Temidayo
name: Abuaku, Benjamin
name: Anang, Abraham
name: Opoku-Afriyie, Patricia
name: Ahorlu, Collins
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 1. In-depth interview Guide for OTCMS.
Analysis of Plasmonic Metastructures for Engineered Nonlinear Nanophotonics
Creators: name: Saad-Bin-Alam, Md
Publisher: name: Université d'Ottawa / University of Ottawa
Year: 2019
Subjects: Metasurface
Nonlinear Optics
Localized Surface Plasmon Resonances
RLC Circuit
Surface Lattice Resonances
Q-Factor

description: This Master’s dissertation focuses on engineering artificial nanostructures, namely, arrays of metamolecules on a substrate (metasurfaces), with the goal to achieve the desired linear and nonlinear optical responses. Specifically, a simple analytical model capable of predicting optical nonlinearity of an individual metamolecule has been developed. The model allows one to estimate the nonlinear optical response (linear polarizability and nonlinear hyperpolarizabilities) of a metamolecule based on the knowledge of its shape, dimensions, and material. In addition, a new experimental approach to measure hyperpolarizability has also been investigated. As another research effort, a 2D plasmonic metasurface with the collective behaviour of the metamolecules known as hybrid plasmonic-Fabry-Perot cavity and surface lattice resonances was designed, fabricated and optically characterized. We experimentally discovered a novel way of coupling the microcavity resonances and the diffraction orders of the plasmonic metamolecule arrays with the low-quality plasmon resonance to generate multiple sharp resonances with the higher quality factors. Finally, we experimentally observed and demonstrated a record ultra-high-Q surface lattice resonance from a plasmonic metasurface. These novel results can be used to render highly efficient nonlinear optical responses relying on high optical field localization, and can serve as the stepping stone towards achieving practical artificial nanophotonic devices with tailored linear and nonlinear optical responses.
Métricas a nivel de artículo. Manual de Usuario
Creators: name: Aguado-López, Eduardo
name: Becerril-García, Arianna
name: Macedo-García, Alejandro
name: Segundo-Escobar, Alma Rosa
Publisher: name: Zenodo
Year: 2023
Subjects: Diamond Open Access
Software Development
Redalyc
Article-level metrics

description: Aguado-López, Eduardo, Becerril-García, Arianna, Macedo-García, Alejandro, & Segundo-Escobar, Alma Rosa. (2023). Métricas a nivel de artículo. Manual de Usuario. Zenodo. https://doi.org/10.5281/zenodo.7926151
From computational thinking to thoughtful computing : perspectives on physical computing in maker-centered education
Creators: name: Law, Ho Chung
Publisher: name: University of British Columbia
Year: 2023

description: Many believe that computational thinking (CT) is a problem-solving skill that everyone should learn. In K-12 education, there is an increasing interest in teaching CT through physical computing, which involves the use of programmable devices to create useful interactive artifacts, like robots. Research has found that physical computing can support CT education, however, little research is aimed at understanding prospective educators’ viewpoints about CT based on their lived experiences with physical computing. To fill this research gap, a qualitative and exploratory case study was conducted using a physical computing device called a Micro:bit. The term "prospective educator" was defined inclusively in this research to sample university students in any discipline who could offer their pedagogical insights. This approach recognized the diverse range of individuals who can contribute to CT, physical computing, and maker-centered education beyond schoolteachers. Six participants with different academic backgrounds were recruited from a university in Western Canada. Each participant was given a Micro:bit maker kit and one month to work on a sustainable development project at home. Participants were supported remotely through a learning blog and video conferencing software. Data about participants’ viewpoints and experiences were collected online from surveys, workshops, support sessions, individual interviews, and participants’ blog posts. A thematic analysis was conducted to understand what participants think CT means, how to teach CT with Micro:bits, and the participants’ overall learning experiences. Participants’ viewpoints about CT were summarized into an operational definition of CT comprising five criteria for observing CT in daily life. Three cognitive and three affective strategies of teaching CT through physical computing were also identified. Participants’ lived experiences showed that physical computing can provide learners with a sense of empowerment, and facilitate learners’ intellectual and emotional development. These findings conform to the theoretical constructs of critical pedagogy and constructionism. Three major challenges that limited participants’ collaboration, engagement, and communication in remote learning were also found. The findings suggest that future research can focus more on the emotional development aspects of CT to nurture learners’ creativity, empathy, and critical thinking skills to solve real-world issues using CT and physical computing.
Universality and Control of Fat Tails
Creators: name: Chertkov, Michael
Publisher: name: arXiv
Year: 2023
Subjects: subject: Systems and Control (eess.SY)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Chaotic Dynamics (nlin.CD)
subject: Applications (stat.AP)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Motivated by applications in hydrodynamics and networks of thermostatically-control loads in buildings we study control of linear dynamical systems driven by additive and also multiplicative noise of a general position. Utilizing mathematical theory of stochastic multiplicative processes we present a universal way to estimate fat, algebraic tails of the state vector probability distributions. This prompts us to introduce and analyze mean-q-power stability criterion, generalizing the mean-square stability criterion, and then juxtapose it to other tools in control.
description: 6 pages, 1 figure, L-CSS/CDC 2023 (+ corrected missprints)
Additional file 1 of Maternal feeding practices and toddlers’ fruit and vegetable consumption: results from the DIT-Coombe Hospital birth cohort in Ireland
Creators: name: Liu, Xiyao
name: Zhou, Qianling
name: Clarke, Keara
name: Younger, Katherine M.
name: An, Meijing
name: Li, Zhouyinuo
name: Tan, Yang
name: Kearney, John M.
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1: Table S1 Socio-demographic characteristics of participants of the DIT-Coombe Cohort study (n = 520), respondents (n = 193) and non-respondents (n = 327) of the present follow-up study.
Servicios para compartir contenido de Redalyc: Journal API. Manual de Usuario
Creators: name: Aguado-López, Eduardo
name: Becerril-García, Arianna
name: Macedo-García, Alejandro
name: Segundo-Escobar, Alma Rosa
Publisher: name: Zenodo
Year: 2023
Subjects: Diamond Open Acces
Software Development
Redalyc
Journal API

description: Aguado-López, Eduardo, Becerril-García, Arianna, Macedo-García, Alejandro, & Segundo-Escobar, Alma Rosa. (2023). Servicios para compartir contenido de Redalyc: Journal API. Manual de Usuario. Zenodo. https://doi.org/10.5281/zenodo.7926038
Fracton superfluid hydrodynamics
Creators: name: Stahl, Charles
name: Qi, Marvin
name: Glorioso, Paolo
name: Lucas, Andrew
name: Nandkishore, Rahul
Publisher: name: arXiv
Year: 2023
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: High Energy Physics - Theory (hep-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We examine the hydrodynamics of systems with spontaneously broken multipolar symmetries using a systematic effective field theory. We focus on the simplest non-trivial setting: a system with charge and dipole symmetry, but without momentum conservation. When no symmetries are broken, our formalism reproduces the quartic subdiffusion ($ω\sim -i k^4$) characteristic of `fracton hydrodynamics' with conserved dipole moment. Our formalism also captures spontaneous breaking of charge and/or dipole symmetry. When charge symmetry is spontaneously broken, the hydrodynamic modes are quadratically propagating and quartically relaxing ($ω\sim \pm k^2 - ik^4$). When the dipole symmetry is spontaneously broken but the charge symmetry is preserved, then we find quadratically relaxing (diffusive) transverse modes, plus another mode which depending on parameters may be either purely diffusive ($ω\sim -i k^2$) or quadratically propagating and quadratically relaxing ($ω\sim \pm k^2 -i k^2$). Our work provides concrete predictions that may be tested in near-term cold atom experiments, and also lays out a general framework that may be applied to study systems with spontaneously broken multipolar symmetries.
description: 4+2+epsilon pages, 3 figures
Manual for stakeholder mapping workshop
Creators: name: Göbel, Claudia
Publisher: name: Zenodo
Year: 2019
Subjects: Citizen Science, co-creation, stakeholder mapping

description: This manual contains sample questions for conducting a workshop on stakeholder mapping on co-created Citizen Science projects.
description: The manual was used in a stakeholder mapping workshop in March 2017 in London in the framework of the COST Action CA15212 and the Doing-it-Together science project.
10.19.Supplement_QS.docx
Creators: name: Hu, Jinbo
Publisher: name: figshare
Year: 2021
Subjects: subject: 110306 Endocrinology
subject: FOS: Clinical medicine
subject: 111706 Epidemiology
subject: FOS: Health sciences

description: Supplementary Methods Supplementary Table 1S. Characteristics of Women and Men with Incident Diabetes at Diagnosis Supplementary Figure1S. Trajectories of Weight Change since Diabetes Diagnosis, among Participants with or without Incident Diabetes. Supplementary Figure 2S. Associations between Weight Change Proportion and Risk of Cause-Specific Mortality. Supplementary Table 2S. Diabetes Related Symptoms and Risks of All-Cause and Cause-Specific Mortality. Supplementary Table 3S. Association between Weight Change and Mortality, according to Lifestyle 4-year Before Diagnosis of Diabetes (cycle: i-2). Supplementary Table S4. Association between Categorized Weight Change and Risk of All-Cause or Cause-Specific Mortality, According to Predicted Lean Body Mass Before Diagnosis of Diabetes.
Additional file 6 of A pyroptosis-related gene signature provides an alternative for predicting the prognosis of patients with hepatocellular carcinoma
Creators: name: Lin, Dezhao
name: Chen, Zhuoyan
name: Zeng, Yuan
name: Ding, Yinrong
name: Zhao, Luying
name: Xu, Qian
name: Yu, Fujun
name: Song, Xian
name: Zhu, Xiaohong
Publisher: name: figshare
Year: 2023
Subjects: subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Additional file 6. Figs. S1-S7.
Methodology for physics-informed generation of synthetic neutron time-of-flight measurement data
Creators: name: Walton, Noah
name: Brown, Jesse
name: Fritsch, William
name: Brown, Dave
name: Nobre, Gustavo
name: Sobes, Vladimir
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: Accurate neutron cross section data are a vital input to the simulation of nuclear systems for a wide range of applications from energy production to national security. The evaluation of experimental data is a key step in producing accurate cross sections. There is a widely recognized lack of reproducibility in the evaluation process due to its artisanal nature and therefore there is a call for improvement within the nuclear data community. This can be realized by automating/standardizing viable parts of the process, namely, parameter estimation by fitting theoretical models to experimental data. This automation effort could greatly benefit from a synthetic data resource. This work leverages problem-specific physics, Monte Carlo sampling, and a general methodology for data synthesis to generate unlimited, labelled experimental cross-section data that is statistically indistinguishable to the observed data. Heuristic and, where applicable, rigorous statistical comparisons to observed data support this claim. The demonstration is based on/limited to transmission measurements at Rensselaer Polytechnic Institute (RPI) and energy-differential cross sections in the resolved resonance region (RRR). An open-source software is published alongside this article that executes the complete methodology to produce high-utility synthetic datasets. The goal of this work is to provide an approach and corresponding tool that will allow the evaluation community to begin exploring more data-driven, ML-based solutions to long-standing challenges in the field.
description: 14 pages, 5 figures
The neutral heavy scalar productions associated with $Z_L$ in the littlest Higgs model at ILC and CLIC
Creators: name: Cagil, A.
name: Zeyrek, M. T.
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this work, the production processes of heavy neutral scalar and pseudo scalar associated with standard model gauge boson $Z_L$ at future $e^{+}e^{-}$ colliders (ILC and CLIC) are examined. The total and differential cross sections are calculated for the processes in the context of the littlest Higgs model. Also dependence of production processes to littlest Higgs model parameters in the range of compatibility with electroweak precision measurements and decays to lepton flavor violating final states are analyzed. We have found that both heavy scalar and pseudoscalar will be produced in $e^+e^-$ colliders. Also the depending on the model parameters, the neutral heavy scalar can be reconstructed or lepton flavor violating signals can be observed.
description: 16 pages, version in APPB
Additional file 3 of A pyroptosis-related gene signature provides an alternative for predicting the prognosis of patients with hepatocellular carcinoma
Creators: name: Lin, Dezhao
name: Chen, Zhuoyan
name: Zeng, Yuan
name: Ding, Yinrong
name: Zhao, Luying
name: Xu, Qian
name: Yu, Fujun
name: Song, Xian
name: Zhu, Xiaohong
Publisher: name: figshare
Year: 2023
Subjects: subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Additional file 3. The siRNA sequences used in this study.
Ontology-based thematic maps. Technical Manual. No poverty
Creators: name: Becerril-García, Arianna
name: Aguado-López, Eduardo
name: Macedo-García, Alejandro
name: Segundo-Escobar, Alma Rosa
Publisher: name: Zenodo
Year: 2023
Subjects: Diamond Open Access
Software Development
Redalyc
No poverty

description: Becerril-García, Arianna, Aguado-López, Eduardo, Macedo-García, Alejandro, & Segundo-Escobar, Alma Rosa. (2023). Ontology-based thematic maps: No poverty. Technical Manual. Zenodo. https://doi.org/10.5281/zenodo.7925929
Pair production of charged scalars and lepton flavor violating signals in the littlest Higgs model at $e^{+}e^{-}$ colliders
Creators: name: Cagil, Ayse
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this work pair productions of charged and doubly charged scalars in the framework of littlest Higgs model at $e^+e^-$ colliders are studied. In the allowed parameter space of the littlest Higgs model, the production rates of the scalar pairs are calculated. It is obtained that pair productions of charged and doubly charged scalars are reachable at $e^+ e^-$ colliders with energy $\sqrt{S}\geq 1.7TeV$. Using the lepton flavor violating decays of charged scalars calculated in literature, final state analysis is done for pair production processes. This analysis show that depending on the model parameters, lepton number and lepton flavor violations can be observed free from any backgrounds.
description: 8 pages, 4 figures, version in Nuc Phys B
Supplementary Appendix for Weight Change, Lifestyle and Mortality in Patients with Type 2 Diabetes
Creators: name: Hu, Jinbo
Publisher: name: figshare
Year: 2021
Subjects: subject: 110306 Endocrinology
subject: FOS: Clinical medicine
subject: 111706 Epidemiology
subject: FOS: Health sciences

description: Supplementary Methods Supplementary Table 1S. Characteristics of Women and Men with Incident Diabetes at Diagnosis Supplementary Figure1S. Trajectories of Weight Change since Diabetes Diagnosis, among Participants with or without Incident Diabetes. Supplementary Figure 2S. Associations between Weight Change Proportion and Risk of Cause-Specific Mortality. Supplementary Table 2S. Diabetes Related Symptoms and Risks of All-Cause and Cause-Specific Mortality. Supplementary Table 3S. Association between Weight Change and Mortality, according to Lifestyle 4-year Before Diagnosis of Diabetes (cycle: i-2). Supplementary Table S4. Association between Categorized Weight Change and Risk of All-Cause or Cause-Specific Mortality, According to Predicted Lean Body Mass Before Diagnosis of Diabetes.
ElectroWeak Precision Observables at One-Loop in Higgsless models
Creators: name: Cata, Oscar
name: Kamenik, Jernej F.
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the viability of generic Higgsless models at low energies when compliance with EWPO and unitarity constraints up to the TeV scale are imposed. Our analysis shows that consistency with S and T can be achieved at the one-loop level even with a single light vector state, m_V <= 500 GeV. However, this scenario turns out to be strongly disfavored when direct resonance searches at the Tevatron are also taken into account. We show that a fully consistent picture can be obtained if an axial state is introduced. Interestingly, m_V is still predicted to be light (below 1 TeV) while typical values of m_A span over the window 1.2 m_V <= m_A <= 1.4 m_V. Our results for the vector channel are rather robust and well within the reach of present-day colliders, while the axial channel is more loosely constrained.
description: 16 pages, 13 figures, error corrected in Eq. (17), conclusions unchanged
The Littlewood problem and non-harmonic Fourier series
Creators: name: Jaming, Philippe
name: Kellay, Karim
name: Saba, Chadi
Publisher: name: arXiv
Year: 2023
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics

description: In this paper, we give a direct quantitative estimate of $L^1$norms of non-harmonic trigonometric polynomials over large enough intervals. This extends the result by Konyagin and Mc Gehee, Pigno, Smith to the settingof trigonometric polynomials with non-integer frequencies.The result is a quantitative extension of a result by Nazarov and also covers a resultby Hudson and Leckband when the length of the interval goes to infinity.
description: Tis version has been revised according to the referees remarks.The appendixes are not present in the final version, only in the arxiv/hal version
Gamma-rays from pulsar wind nebulae in starburst galaxies
Creators: name: Mannheim, Karl
name: Elsässer, Dominik
name: Tibolla, Omar
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Recently, gamma-ray emission at TeV energies has been detected from the starburst galaxies NGC253 (Acero et al., 2009) and M82 (Acciari et al., 2009. It has been claimed that pion production due to cosmic rays accelerated in supernova remnants interacting with the interstellar gas is responsible for the observed gamma rays. Here, we show that the gamma-ray pulsar wind nebulae left behind by the supernovae contribute to the TeV luminosity in a major way. A single pulsar wind nebula produces about ten times the total luminosity of the Sun at energies above 1 TeV during a lifetime of 10^5 years. A large number of 3x10^4 pulsar wind nebulae expected in a typical starburst galaxy at a distance of 4 Mpc can readily produce the observed TeV gamma rays.
description: 5 pages, 2 figures, accepted for publication in Astropart. Phys
Esakia Duals of Regular Heyting Algebras
Creators: name: Grilletti, Gianluca
name: Quadrellaro, Davide Emilio
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 06D20, 03C05, 03B55

description: We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and we show that there are continuum-many varieties of Heyting algebras generated by regular Heyting algebras. We also study several logical applications of these classes of objects and we use them to provide novel topological completeness theorems for inquisitive logic, $\mathtt{DNA}$-logics and dependence logic.
Dark Matter Minihalos from Primordial Magnetic Fields
Creators: name: Ralegankar, Pranjal
Publisher: name: arXiv
Year: 2023
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Primordial magnetic fields (PMF) can enhance baryon perturbations on scales below the photon mean free path. However, a magnetically driven baryon fluid becomes turbulent near recombination, thereby damping out baryon perturbations below the turbulence scale. In this Letter, we show that the initial growth in baryon perturbations gravitationally induces growth in the dark matter perturbations, which are unaffected by turbulence and eventually collapse to form $10^{-11}-10^3\ M_{\odot}$ dark matter minihalos. If the magnetic fields purportedly detected in the blazar observations are PMFs generated after inflation and have a Batchelor spectrum, then such PMFs could potentially produce dark matter minihalos.
description: 5 pages + 4 pages appendices; typos corrected; matches version accepted in Phy. Rev. Lett
Corrigendum: Rapi, M., Quirino, T., Castellano, L., Hirose, M., Amato, A., Barbieri, E., & Busnelli, S. (2019). Per scaldare, per cuocere e per produrre. Le strutture da fuoco dell’abitato etrusco del Forcello di Bagnolo S. Vito: aspetti tipologici e funzionali
Creators: name: Rapi, Marta
name: Quirino, Tommaso
name: Castellano, Lorenzo
name: Hirose, Mari
name: Amato, Alfonsina
name: Barbieri, Elena
name: Busnelli, Selene
Publisher: name: IpoTESI di Preistoria
Year: 2022

description: IpoTESI di Preistoria, V. 14 (2021)
On the design of a gradual dependently typed language for programming
Creators: name: Eremondi, Joseph S.
Publisher: name: University of British Columbia
Year: 2023

description: Dependently typed programming languages provide a way to write programs, specifications, and correctness proofs using a single language. If a dependent type checker accepts a program, the programmer can be assured that it behaves according to the specification given in its types. However, dependently typed programming languages can be hard to use. Gradual types provide a way to mix dynamically and statically typed code in a single language. Under this paradigm, programs may have imprecise types, causing certain type checks to be deferred to run time. We build the theoretical foundations for combining gradual and dependent types in a programming language, with the aim of making dependent types easier to use. The differences between these two paradigms lead to inherent tensions when choosing the properties such a language should satisfy. Gradual typing's effectful nature conflicts with the compile-time reductions of dependent type checking. Gradual run-time type comparisons clash with dependent types containing terms that bind variables. This dissertation identifies such tensions and proposes a design that finds balance between the conflicting goals. Our contribution has three parts: First, we present a foundational calculus for gradual dependent types, with functions, function types and universes. To ensure that type checking terminates, we reduce compile-time terms with approximate normalization, producing imprecise results when the available type information cannot guarantee termination. We use hereditary substitution to show that approximate normalization always terminates. Second, we present a notion of propositional equality for gradual dependent types. We devise a method of tracking run-time consistency information between imprecise equated terms, and introduce a composition operator in the language itself. Third, we show that the first and second contributions can be combined, giving a language with approximate normalization that supports inductive types and propositional equality with dynamic consistency tracking. Since hereditary substitution does not scale to inductive types, we use a syntactic model to establish termination. The same technique is used to model non-terminating run-time semantics using guarded type theory, paving the road for mechanizing the metatheory of gradual dependent types.
On computing quaternion quotient graphs for function fields
Creators: name: Böckle, Gebhard
name: Butenuth, Ralf
Publisher: name: arXiv
Year: 2010
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 11R52, 11R58

description: Let $Λ$ be a maximal $\mathbb{F}_q[T]$-order in a division quaternion algebra over $\mathbb{F}_q(T)$ which is split at the place $\infty$. The present article gives an algorithm to compute a fundamental domain for the action of the group of units $Λ^*$ on the Bruhat-Tits tree $\mathcal{T}$ associated to $PGL_2(\mathbb{F}_q((1/T)))$. This action is a function field analog of the action of a co-compact Fuchsian group on the upper half plane. The algorithm also yields an explicit presentation of the group $Λ^*$ in terms of generators and relations. Moreover we determine an upper bound for its running time using that $Λ^*\backslash\mathcal{T}$ is {\em almost} Ramanujan.
description: 30 pages, 2 figures
Beam Squint Analysis and Mitigation via Hybrid Beamforming Design in THz Communications
Creators: name: Ma, Mengyuan
name: Nguyen, Nhan Thanh
name: Juntti, Markku
Publisher: name: arXiv
Year: 2023
Subjects: subject: Information Theory (cs.IT)
subject: Signal Processing (eess.SP)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: We investigate the beam squint effect in uniform planar arrays (UPAs) and propose an efficient hybrid beamforming (HBF) design to mitigate the beam squint in multiple-input multiple-output orthogonal frequency-division multiplexing (MIMO-OFDM) systems operating at terahertz band. We first analyze the array gain and derive the closed-form beam squint ratio that characterizes the severity of the beam squint effect on UPAs. The effect is shown to be more severe with a higher fractional bandwidth, while it can be significantly mitigated when the shape of a UPA approaches a square. We then focus on the HBF design that maximizes the system spectral efficiency. The design problem is challenging due to the frequency-flat nature and hardware constraints of the analog beamformer. We overcome the challenges by proposing an efficient decoupling design in which the digital and analog beamformers admit closed-form solutions, which facilitate practical implementations. Numerical results validate our analysis and show that the proposed HBF design is robust to beam squint, and thus, it outperforms the state-of-the-art methods in wideband massive MIMO systems.
description: 6 pages, 7 figures, to be appeared in IEEE ICC2023
Strawberry production in hydroponic systems under greenhouse conditions
Creators: name: Alvarado-Chavez, Juan Alberto
Publisher: name: Zenodo
Year: 2019
Subjects: subject: Soilless culture
subject: Protected agriculture
subject: Production systems
subject: Substrates
subject: Horticulture
subject: Strawberries
subject: Hydroponic systems
subject: IMRN
subject: Fragaria × ananassa
subject: http://agrovoc.uniroma2.it/agrovoc/agrovoc/en/page/c_33356
subject: http://agrovoc.uniroma2.it/agrovoc/agrovoc/en/page/c_3734

description: Protected agriculture is a technology that allows to reduce the pressure on natural resources, mainly in soil and water. Mexico is the third producer of strawberry with 3% of the world volume. The traditional cultivation of strawberries in the soil does not provide the best conditions to develop their potential, so it is possible to increase their yield up to 75% with the use of technology, such as protected agriculture and hydroponic systems. Considering the above, the objective of the study was to evaluate the following factors in the pyramidal and vertical hydroponic systems: (a) two strawberry varieties, Festival and San Andreas, (b) two and three plant densities and (c) three and four elevations, respectively. The distribution of the treatments was completed randomly with three repetitions in the pyramidal system and six repetitions in the vertical. The statistical analysis was performed using a general linear model and a regression procedure. In the pyramid system, the factors are varied and there are no differences between the levels tested. The elevation factor showed significant differences, concluding that the highest height has greater number of leaves (10.5 leaves·plant-1), diameter of the crown (2.7 cm), fruit diameter (1.84 cm), number of fruits (6 fruits·planta-1), percentage of soluble solids (7%) and yield (547.6 g·plant-1) than the three lower elevations. In the vertical system, the variety of differences between treatments, the Festival had better vegetative behavior. The production in the pyramidal system was 23.5 kg m-2 and in the vertical system of 16 kg m-2.
description: Thesis. M. Sc. in Innovation in Natural Resources Management, Colegio de Postgraduados, Campus San Luis Potosí, 2018.
Development of Executive Functions and Their Neural Positioning A Cognitive Neuropsychology Approach
Creators: name: Science Step Journal
Publisher: name: Science Step Journal
Year: 2025
Subjects: subject: Cognitive Science
subject: Neurocognitive Disorders/immunology
subject: Neuropsychology/education
subject: Neuropsychology/history

description: This article explores the development and neural positioning of executive functions in the brain from a cognitive neuropsychology perspective. The study aims to better understand how the brain structures responsible for executive functions evolve, starting in early childhood and continuing into adulthood. Research has shown that the prefrontal cortex matures gradually, with some areas still developing during adolescence and adulthood. This gradual development is linked to our ability to perform complex cognitive tasks. Executive functions like working memory and cognitive flexibility develop in parallel with the growth of the prefrontal cortex, which has been active since childhood. In addition,  several brain regions contribute to these functions. The prefrontal cortex is considered the main hub, receiving signals from various other parts of the brain. Recognizing how executive functions evolve is crucial for understanding how we use them in problem-solving and task performance. This understanding also plays a key role in creating better educational and cognitive programs aimed at supporting the rehabilitation of these brain functions.
Services to share Redalyc content: Journal API. User Manual
Creators: name: Aguado-López, Eduardo
name: Becerril-García, Arianna
name: Macedo-García, Alejandro
name: Segundo-Escobar, Alma Rosa
Publisher: name: Zenodo
Year: 2023
Subjects: Acceso Abierto Diamante
Desarrollo de Software
Manual de Usuario
Journal API
Redalyc

description: Becerril-García, Arianna, Aguado-López, Eduardo, Macedo-García, Alejandro, & Segundo-Escobar, Alma Rosa. (2023). Services to share Redalyc content: Journal API. User Manual. Zenodo. https://doi.org/10.5281/zenodo.7925969
Covariance Steering for Uncertain Contact-rich Systems
Creators: name: Shirai, Yuki
name: Jha, Devesh K.
name: Raghunathan, Arvind U.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Robotics (cs.RO)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Planning and control for uncertain contact systems is challenging as it is not clear how to propagate uncertainty for planning. Contact-rich tasks can be modeled efficiently using complementarity constraints among other techniques. In this paper, we present a stochastic optimization technique with chance constraints for systems with stochastic complementarity constraints. We use a particle filter-based approach to propagate moments for stochastic complementarity system. To circumvent the issues of open-loop chance constrained planning, we propose a contact-aware controller for covariance steering of the complementarity system. Our optimization problem is formulated as Non-Linear Programming (NLP) using bilevel optimization. We present an important-particle algorithm for numerical efficiency for the underlying control problem. We verify that our contact-aware closed-loop controller is able to steer the covariance of the states under stochastic contact-rich tasks.
description: Accepted to the 2023 International Conference on Robotics and Automation (ICRA2023)
Exploiting Statistical Dependencies in Sparse Representations for Signal Recovery
Creators: name: Peleg, Tomer
name: Eldar, Yonina C.
name: Elad, Michael
Publisher: name: arXiv
Year: 2010
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: Signal modeling lies at the core of numerous signal and image processing applications. A recent approach that has drawn considerable attention is sparse representation modeling, in which the signal is assumed to be generated as a combination of a few atoms from a given dictionary. In this work we consider a Bayesian setting and go beyond the classic assumption of independence between the atoms. The main goal of this paper is to introduce a statistical model that takes such dependencies into account and show how this model can be used for sparse signal recovery. We follow the suggestion of two recent works and assume that the sparsity pattern is modeled by a Boltzmann machine, a commonly used graphical model. For general dependency models, exact MAP and MMSE estimation of the sparse representation becomes computationally complex. To simplify the computations, we propose greedy approximations of the MAP and MMSE estimators. We then consider a special case in which exact MAP is feasible, by assuming that the dictionary is unitary and the dependency model corresponds to a certain sparse graph. Exploiting this structure, we develop an efficient message passing algorithm that recovers the underlying signal. When the model parameters defining the underlying graph are unknown, we suggest an algorithm that learns these parameters directly from the data, leading to an iterative scheme for adaptive sparse signal recovery. The effectiveness of our approach is demonstrated on real-life signals - patches of natural images - where we compare the denoising performance to that of previous recovery methods that do not exploit the statistical dependencies.
description: 18 pages, 6 figures, to appear in IEEE Trans. on Signal Processing
The Sum of Certain Series Related to Harmonic Numbers
Creators: name: Kouba, Omran
Publisher: name: arXiv
Year: 2010
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: Complex Variables (math.CV)
subject: FOS: Mathematics
subject: 11B83, 30D05, 65B10

description: In this paper, we consider three families of numerical series with general terms containing the harmonic numbers, and we use simple methods from classical and complex analysis to find explicit formulas for their respective sums.
description: Statement of Theorem 3.2 corrected
Observatorio AmeliCA de políticas de evaluación de la investigación. Manual Técnico
Creators: name: Becerril-García, Arianna
name: Aguado-López, Eduardo
name: Macedo-García, Alejandro
name: Segundo-Escobar, Alma Rosa
Publisher: name: Zenodo
Year: 2023
Subjects: Acceso Abierto Diamante
Mejora de Software
Manual Técnico
Diamond OA
AmeliCA
Evaluación

description: Becerril-García, Arianna, Aguado-López, Eduardo, Macedo-García, Alejandro, & Segundo-Escobar, Alma Rosa. (2023). Observatorio AmeliCA de políticas de evaluación de la investigación. Manual Técnico. Zenodo. https://doi.org/10.5281/zenodo.7916695
Stochastic Verification Theorem of Forward-Backward Controlled Systems for Viscosity Solutions
Creators: name: Zhang, Liangquan
Publisher: name: arXiv
Year: 2010
Subjects: subject: Optimization and Control (math.OC)
subject: Systems and Control (eess.SY)
subject: FOS: Mathematics
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: In this paper, we investigate the controlled system described by forward-backward stochastic differential equations with the control contained in drift, diffusion and generator of BSDE. A new verification theorem is derived within the framework of viscosity solutions without involving any derivatives of the value functions. It is worth to pointing out that this theorem has wider applicability than the restrictive classical verification theorems. As a relevant problem, the optimal stochastic feedback controls for forward-backward system are discussed as well.
Physical Entanglement Between Localized Orbitals
Creators: name: Ding, Lexin
name: Dünnweber, Gesa
name: Schilling, Christian
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: In [arXiv:2207.03377] the first closed formula of a faithful entanglement measure applicable to realistic electron systems has been derived. In the present work, we build on this key achievement with the ultimate goal of guiding the development of quantum technologies. For this, we first elucidate the process of entanglement swapping in electron systems such as atoms, molecules or solid bodies. This clearly demonstrates the necessity of both the reference to localized few-orbital subsystems and the implementation of the number-parity superselection rule. Accordingly, in virtue of Wick's theorem, we then provide a fully analytical study of the true physical entanglement between sites in free electron chains. In that sense, we break the common paradigm of restricting such analytical analyses to unitarily invariant settings, i.e. bipartitions of the chain into rather impractical, macroscopically large subsystems. We then upgrade this model to a hydrogen ring of interacting electrons and construct the sought-after localized orbitals. For both systems, we confirm the presence of long-distance entanglement, provided the filling fractions are sufficiently low/high.
description: Close to published version
Transition from single-file to two-dimensional diffusion of interacting particles in a quasi-one-dimensional channel
Creators: name: Lucena, D.
name: Tkachenko, D. V.
name: Nelissen, K.
name: Misko, V. R.
name: Ferreira, W. P.
name: Farias, G. A.
name: Peeters, F. M.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Diffusive properties of a monodisperse system of interacting particles confined to a \textit{quasi}-one-dimensional (Q1D) channel are studied using molecular dynamics (MD) simulations. We calculate numerically the mean-squared displacement (MSD) and investigate the influence of the width of the channel (or the strength of the confinement potential) on diffusion in finite-size channels of different shapes (i.e., straight and circular). The transition from single-file diffusion (SFD) to the two-dimensional diffusion regime is investigated. This transition (regarding the calculation of the scaling exponent ($α$) of the MSD $$ $\propto t^α$) as a function of the width of the channel, is shown to change depending on the channel's confinement profile. In particular the transition can be either smooth (i.e., for a parabolic confinement potential) or rather sharp/stepwise (i.e., for a hard-wall potential), as distinct from infinite channels where this transition is abrupt. This result can be explained by qualitatively different distributions of the particle density for the different confinement potentials.
description: 13 pages, 11 figures
A Precision Test for an Extra Spatial Dimension Using Black Hole--Pulsar Binaries
Creators: name: Simonetti, John H.
name: Kavic, Michael
name: Minic, Djordje
name: Surani, Umair
name: Vejayan, Vipin
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We discuss the observable effects of enhanced black-hole mass loss in a black hole--neutron star (BH--NS) binary, due to the presence of a warped extra spatial dimension of curvature radius $L$ in the braneworld scenario. For some masses and orbital parameters in the expected ranges the binary components would outspiral, the opposite of the behavior due to energy loss from gravitational radiation alone. If the NS is a pulsar, observations of the rate of change of the orbital period with a precision obtained for the Binary Pulsar B1913+16 could easily detect the effect of mass loss. For $M_{BH}=7M_\odot$, $M_{NS}=1.4M_\odot$, eccentricity $e=0.1$, and $L=10μ$m, the critical orbital period dividing systems which inspiral from systems which outspiral is P$\approx$6.5 hours, which is within the range of expected orbital periods; this value drops to P$\approx$4.2 hours for $M_{BH}=5M_\odot$. Observations of a BH--pulsar system could set considerably better limits on $L$ in these braneworld models than could be determined by torsion-balance gravity experiments in the foreseeable future.
description: 4 pages; typos fixed; references added
Good, great, or lucky? Screening for firms with sustained superior performance using heavy-tailed priors
Creators: name: Polson, Nicholas G.
name: Scott, James G.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Methodology (stat.ME)
subject: Applications (stat.AP)
subject: FOS: Computer and information sciences

description: This paper examines historical patterns of ROA (return on assets) for a cohort of 53,038 publicly traded firms across 93 countries, measured over the past 45 years. Our goal is to screen for firms whose ROA trajectories suggest that they have systematically outperformed their peer groups over time. Such a project faces at least three statistical difficulties: adjustment for relevant covariates, massive multiplicity, and longitudinal dependence. We conclude that, once these difficulties are taken into account, demonstrably superior performance appears to be quite rare. We compare our findings with other recent management studies on the same subject, and with the popular literature on corporate success. Our methodological contribution is to propose a new class of priors for use in large-scale simultaneous testing. These priors are based on the hypergeometric inverted-beta family, and have two main attractive features: heavy tails and computational tractability. The family is a four-parameter generalization of the normal/inverted-beta prior, and is the natural conjugate prior for shrinkage coefficients in a hierarchical normal model. Our results emphasize the usefulness of these heavy-tailed priors in large multiple-testing problems, as they have a mild rate of tail decay in the marginal likelihood $m(y)$---a property long recognized to be important in testing.
description: Published in at http://dx.doi.org/10.1214/11-AOAS512 the Annals of Applied Statistics (http://www.imstat.org/aoas/) by the Institute of Mathematical Statistics (http://www.imstat.org)