cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
On the incidence of eclipsing Am binary systems in the SuperWASP survey
Creators: name: Smalley, B.
name: Southworth, J.
name: Pintado, O. I.
name: Gillon, M.
name: Holdsworth, D. L.
name: Anderson, D. R.
name: Barros, S. C. C.
name: Cameron, A. Collier
name: Delrez, L.
name: Faedi, F.
name: Haswell, C. A.
name: Hellier, C.
name: Horne, K.
name: Jehin, E.
name: Maxted, P. F. L.
name: Norton, A. J.
name: Pollacco, D.
name: Skillen, I.
name: Smith, A. M. S.
name: West, R. G.
name: Wheatley, P. J.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The results of a search for eclipsing Am star binaries using photometry from the SuperWASP survey are presented. The light curves of 1742 Am stars fainter than V = 8.0 were analysed for the presences of eclipses. A total of 70 stars were found to exhibit eclipses, with 66 having sufficient observations to enable orbital periods to be determined and 28 of which are newly identified eclipsing systems. Also presented are spectroscopic orbits for 5 of the systems. The number of systems and the period distribution is found to be consistent with that identified in previous radial velocity surveys of `classical' Am stars.
description: 12 pages, 9 figures, 6 tables. Accepted for publication in A&A. Owing to large size, multi-page Figure 10 containing all 66 light curves is not included. Full version can be downloaded from http://www.astro.keele.ac.uk/~bs/Wasp_Am_Binary.pdf
КАЗНАЧЕЙСКАЯ СЛУЖБА КОРПОРАЦИИ: ЕЕ ФУНКЦИИ И РОЛЬ В ЦЕНТРАЛИЗОВАННОМ УПРАВЛЕНИИ ДЕНЕЖНЫМИ ПОТОКАМИ
Creators: name: Бакланова Татьяна Эдуардовна
Publisher: name: Московский экономический журнал
Year: 2020
Subjects: КАЗНАЧЕЙСТВО
РАСЧЕТНЫЙ ЦЕНТР
ФИНАНСЫ
ДЕНЕЖНЫЙ ПОТОК
TREASURY
SETTLEMENT CENTER
FINANCE
CASH FLOW

description: Научная статья посвящается изучению вопроса выделения казначейства в структуре корпорации. Целью статьи является раскрытие роли казначейской службы в управлении денежными потоками корпорации. В ходе написания статьи использованы такие методы как изучение и обобщение опыта формирования казначейской службы на примере отдельной компании, комплексного анализа, экспертной оценки, структуризации информационных данных, метод сопоставления и другие. В результате исследования были изучены централизованная и децентрализованная модели казначейства и обоснованы причины выбора каждой из них. Автор приходит к выводу о том, что разработка методологии и внедрения казначейской системы в компании зависит от профессионализма и практического опыта специалистов, вовлеченных в этот процесс.
Revisiting the single-saddle model for the $β$-relaxation of supercooled liquids
Creators: name: Coslovich, Daniele
name: Ikeda, Atsushi
Publisher: name: arXiv
Year: 2022
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: The dynamics of glass-forming liquids display several outstanding features, such as two-step relaxation and dynamic heterogeneities, which are difficult to predict quantitatively from first principles. In this work, we revisit a simple theoretical model of the $β$-relaxation, i.e., the first step of the relaxation dynamics. The model, first introduced by Cavagna et al., describes the dynamics of the system in the neighborhood of a saddle point of the potential energy surface. We extend the model to account for density-density correlation functions and for the 4-point dynamic susceptibility. We obtain analytical results for a simple schematic model, making contact with related results for p-spin models and with the predictions of inhomogeneous mode-coupling theory. Building on recent computational advances, we also explicitly compare the model predictions against overdamped Langevin dynamics simulations of a glass-forming liquid close to the mode-coupling crossover. The agreement is quantitative at the level of single-particle dynamic properties only up to the early $β$-regime. Due to its inherent harmonic approximation, however, the model is unable to predict the dynamics on the time scale relevant for structural relaxation. Nonetheless, our analysis suggests that the agreement with the simulations may be largely improved if the modes' spatial localization is properly taken into account.
description: 14 pages, 11 figures. Data and workflow to reproduce the findings of this work are available at https://doi.org/10.5281/zenodo.5791675
STUDIO DI  FUNZIONE DI DUE VARIABILI:  SOMMA DI DUE QUADRATI
Creators: name: Rocco MORELLI
Publisher: name: Zenodo
Year: 2022
Subjects: STUDIO DI FUNZIONE DI DUE VARIABILI

description: Un contributo proposto a Progetto Matematica K quadro - https://www.matematika.it/

Da: info.matematika
Inviato: Wednesday, February 23, 2022 11:41 PM
A: Rocco Morelli
Oggetto: Re: Proposta di alcuni Esercizi

Gentile sig. Morelli,
la ringraziamo innanzitutto per l'apprezzamento e la ringraziamo ulteriormente per il materiale che ci mette a disposizione e che inseriremo con piacere nei contenuti già esistenti.
Cordiali saluti

_________________________________
Team Progetto Matematika
www.matematika.it
description: Vedi anche
https://roccomorelli.blogspot.com/2022/02/studio-di-funzione-di-due-variabili_18.html
Pain and Prescription Opioid Use among Survivors of Hematologic Malignancies: A Mixed-Methods Approach
Creators: name: Nabulsi, Nadia Azmi Adel
Publisher: name: University of Illinois at Chicago
Year: 2023
Subjects: Uncategorized

description: Prescription opioids have significantly contributed to the devastating consequences of America’s opioid epidemic, including opioid addiction, overdose, and death. In the context of the opioid epidemic, the American Society of Hematology released a policy statement in 2018 advocating for research aimed at furthering the understanding of pain management in hematologic conditions, including hematologic malignancies (HM). Additionally, treatment advances for HM have dramatically improved life expectancy, necessitating greater focus on long-term quality of life and cancer pain management. However, understanding of pain and pain management in HM is poor. Therefore, this dissertation aims to examine a critical gap by exploring issues related to pain and pain management among patients with HM through mixed methods research. In two qualitative studies, semi-structured interviews were used to gain insight regarding experiences with HM-related pain and pain management as well as attitudes towards opioids among adult patients with HM marginalized due to race/ethnicity and/or socioeconomic status. In one quantitative study, administrative claims data was used to explore opioid use and opioid-related harms among adult patients with different types of HM. In the qualitative studies, we found that pain related to HM can cause significant burden on patients’ lives throughout diagnosis, treatment, and survivorship. However, fears and stigmatized views of opioids can conflict with marginalized patients’ needs to manage debilitating HM-related pain. Negative attitudes towards opioids were shaped by the opioid epidemic and reduced willingness to seek out or use analgesics. These findings help expose patient-level barriers to optimal HM pain management, revealing attitudes and knowledge to be targeted by future pain management interventions in HM. Results from the quantitative study demonstrated that high-risk opioid use was prevalent among patients with HM and significantly increased the risk of opioid-related harms. These findings highlight the importance of continually reevaluating and monitoring pain and opioid use throughout HM treatment and survivorship, particularly for patients who are likely to achieve long-term survival or cure. Continued research in the area of pain in HM may help to inform evidence-based guidelines addressing management of persistent pain and optimize analgesic interventions in a population with complex health needs.
Selasia decipiens Guerin-Meneville 1829
Creators: name: Kotru, Akash
name: Chandran, Nithya
name: Dubey, Anil Kumar
name: Prosvirov, Alexander S.
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Lampyridae
Selasia
Selasia decipiens

description: Selasia decipiens Guérin-Méneville, 1829
Selasia decipiens Guérin-Méneville, 1829: 3.
Type depository. Unknown.
Type locality. Des Indes Orientales.
Distribution. India: Exact distribution in India not known.
Literature. Guérin-Méneville (1829: 3): original description.
description: Published as part of Kotru, Akash, Chandran, Nithya, Dubey, Anil Kumar & Prosvirov, Alexander S., 2025, A catalogue of Indian Agrypninae Candèze, 1857 (Coleoptera: Elateridae), pp. 1-66 in Zootaxa 5614 (1) on page 36, DOI: 10.11646/zootaxa.5614.1.1, http://zenodo.org/record/15217075
E-LDL and Ox-LDL differentially regulate ceramide and cholesterol raft microdomains in human Macrophages
Creators: name: Grandl, Margot
name: Maa Bared, Salim
name: Liebisch, Gerhard
name: Werner, Tobias
name: Barlage, Stefan
name: Schmitz, Gerd
Publisher: name: Universität Regensburg
Year: 2006
Subjects: subject: 610 Medizin

description: Atherosclerosis is characterized by the generation of lipid-loaded macrophage-derived foam cells. To study the effect of different types of atherogenic lipoproteins, human macrophages were loaded with enzymatically degraded low density lipoprotein (E-LDL) or oxidized LDL (Ox-LDL). Cellular cholesterol content was increased by E-LDL, whereas Ox-LDL increased the ceramide content. Cell surface expression analysis by flow cytometry and confocal microscopy revealed that Ox-LDL increased ceramide and lactosylceramide expression compared to E-LDL loading and induced ceramide rafts, whereas loading with E-LDL induced cholesterol-rich microdomains. Formation of different rafts may have consequences for raft associated signaling in cholesterol homeostasis and apoptosis in human macrophages.
ИЗМЕНЕНИЕ СЛОЖИВШИХСЯ ОТНОШЕНИЙ В СФЕРЕ ЖИЛИЩНОГО СТРОИТЕЛЬСТВА
Creators: name: Зенкина Марина Валентиновна
name: Щербакова Елена Николаевна
name: Митрофанов Николай Георгиевич
Publisher: name: Московский экономический журнал
Year: 2020
Subjects: УЛУЧШЕНИЕ ЖИЛИЩНЫХ УСЛОВИЙ
АДМИНИСТРАТИВНЫЕ ПРОЦЕДУРЫ
МОДЕЛИ ЖИЛИЩНОГО СТРОИТЕЛЬСТВА
СТРОИТЕЛЬСТВО НАЕМНЫХ ДОМОВ
МЕХАНИЗМ ЖИЛИЩНЫХ КООПЕРАТИВОВ
ИПОТЕКА
ДИФФЕРЕНЦИАЦИЯ РЕГИОНОВ
ADMINISTRATIVE PROCEDURES
MODELS OF HOUSING CONSTRUCTION
CONSTRUCTION OF HIRED HOUSES
MECHANISM OF HOUSING COOPERATIVES
MORTGAGES
DIFFERENTIATION OF REGIONS
IMPROVEMENT OF HOUSING CONDITIONS

description: Обеспечение граждан жильем в соответствии с указом президента Российской Федерации от 7 мая 2018 года стратегическая национальная цель. Нацпроект «Жилье и городская среда» предусматривает к 2024 году увеличение объемов жилищного строительства до 120 млн. м2 в год. Одновременно необходимо решать задачу снижения административных барьеров, оказывающую ограничивающее влияние на объемы возведения жилья. В статье приводится распределение существующих региональных и местных административных процедур, не регламентированных федеральным законодательством, подчеркивается, что значительная доля их установлена с нарушением действующего законодательства, а уровень прозрачности условий регулирования достаточно низкий, перечислены направления решения проблемы высоких барьеров в жилищной сфере. Поставленные в нацпроекте цели могут быть достигнуты при реализации мер по развитию конкуренции на рынке жилищного строительства, что требует пересмотра ряда законодательных норм и правил, создания новых сегментов спроса на жилье. В статье рассматриваются новые модели жилищного строительства. Анализируется одна из важнейших проблем территориального развития неравномерность развития регионов. Диспропорции регионального развития ведут к миграции населения из регионов-аутсайдеров в регионы лидеры, в результате чего дополнительно закрепляется статус неблагополучной территории. Подчеркивается, что модель расселения, предусматривающая концентрацию населения в нескольких крупных агломерациях при низкой плотности населения в остальных регионах, затрудняет демографическое развитие, угрожает безопасности государства.
A Superbubble Feedback Model for Galaxy Simulations
Creators: name: Keller, B. W.
name: Wadsley, J.
name: Benincasa, S. M.
name: Couchman, H. M. P
Publisher: name: arXiv
Year: 2014
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present a new stellar feedback model that reproduces superbubbles. Superbubbles from clustered young stars evolve quite differently to individual supernovae and are substantially more efficient at generating gas motions. The essential new components of the model are thermal conduction, sub-grid evaporation and a sub-grid multi-phase treatment for cases where the simulation mass resolution is insufficient to model the early stages of the superbubble. The multi-phase stage is short compared to superbubble lifetimes. Thermal conduction physically regulates the hot gas mass without requiring a free parameter. Accurately following the hot component naturally avoids overcooling. Prior approaches tend to heat too much mass, leaving the hot ISM below $10^6$ K and susceptible to rapid cooling unless ad-hoc fixes were used. The hot phase also allows feedback energy to correctly accumulate from multiple, clustered sources, including stellar winds and supernovae. We employ high-resolution simulations of a single star cluster to show the model is insensitive to numerical resolution, unresolved ISM structure and suppression of conduction by magnetic fields. We also simulate a Milky Way analog and a dwarf galaxy. Both galaxies show regulated star formation and produce strong outflows.
description: 13 pages, 13 figures; replaced with version accepted to MNRAS
Anthropometrische Messungen in der NAKO Gesundheitsstudie – mehr als nur Größe und Gewicht
Creators: name: Fischer, Beate
name: Sedlmeier, Anja M.
name: Hartwig, Saskia
name: Schlett, Christopher L.
name: Baurecht, Hansjörg
name: Leitzmann, Michael
Publisher: name: Universität Regensburg
Year: 2020
Subjects: subject: Anthropometry; Sonography of abdominal fat compartments; 3D body scanning; Magnetic resonance imaging; Population-based cohort
subject: 610 Medizin

description: High levels of adiposity in the population have a major impact on various diseases, but previous epidemiologic studies have largely been restricted to simple anthropometric measures such as the body mass index (BMI), an imperfect predictor of disease risk. There is a critical need for the use of improved measures of relative weight and body composition in large-scale, population-based research. The current article presents initial descriptive results of body composition and fat distribution based on the midterm baseline dataset of the German National Cohort, which included 101,817 participants who were examined in 18 study centers in Germany between March 2014 and March 2017. The anthropometric measures encompassed body weight, height, waist and hip circumference, bioelectrical impedance analysis (BIA), sonography of abdominal adipose tissue, 3D-body scanning, and magnetic resonance imaging. BMI analyses showed that 46.2% of men and 29.7% of women were overweight and 23.5% of men and 21.2% of women were obese. On average, women in almost all age groups demonstrated more subcutaneous adipose tissue layer thickness than men. The mean values of visceral adipose tissue layer thickness, on the other hand, were higher among men than among women in all age groups and increased continuously across age groups in both sexes. The comprehensive assessment of body composition and fat distribution provides novel future opportunities for detailed epidemiologic analyses of overweight and adiposity in relation to the development of chronic diseases.
УСЛОВИЯ И ФАКТОРЫ ФОРМИРОВАНИЯ ИНВЕСТИЦИОННОЙ ПОЛИТИКИ НЕФТЯНОЙ КОМПАНИИ
Creators: name: Сильванский Александр Анатольевич
name: Головнина Людмила Алексеевна
name: Киселица Елена Петровна
Publisher: name: Московский экономический журнал
Year: 2020
Subjects: ИНВЕСТИЦИОННАЯ ПОЛИТИКА
СТРАТЕГИЯ НЕФТЯНОЙ КОМПАНИИ
ФАКТОРЫ ИНВЕСТИЦИОННОЙ ПОЛИТИКИ
INVESTMENT POLICY
OIL COMPANY STRATEGY
INVESTMENT POLICY FACTORS

description: В статье анализируются факторы, оказывающие значительное влияние на формирование инвестиционной политики нефтяных компаний в современных условиях. Особое внимание уделено актуальным факторам внешней среды, которые формируют новые вызовы для функционирования субъектов нефтедобычи. В заключение предлагаются возможные направления изменения в инвестиционной политике, направленные на повышение ее эффективности с текущей ситуации.
Topology Optimization Using Polytopes
Creators: name: Gain, Arun L.
name: Paulino, Glaucio H.
name: Duarte, Leonardo
name: Menezes, Ivan F. M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Optimization and Control (math.OC)
subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: Meshing complex engineering domains is a challenging task. Arbitrary polyhedral meshes can provide the much needed flexibility in automated discretization of such domains. The geometric property of the polyhedral meshes such as the unstructured nature and the facial connectivity between elements makes them specially attractive for topology optimization applications. Numerical anomalies in designs such as the single node connections and checkerboard pattern, which are difficult to manufacture physically, are naturally alleviated with polyhedrons. Special interpolants such as Wachspress, mean value coordinates, maximum entropy shape functions are available to handle arbitrary shaped elements. But the finite elements approaches based on these shape functions face some challenges such as accurate and efficient computation of the shape functions and their derivatives for the numerical evaluation of the weak form integrals. In the current work, we solve the governing three-dimensional elasticity state equation using a Virtual Element Method (VEM) approach. The main characteristic difference between VEM and standard finite element methods (FEM) is that in VEM the canonical basis functions are not constructed explicitly. Rather the stiffness matrix is computed directly utilizing a projection map which extracts the linear component of the deformation. Such a construction guarantees the satisfaction of the patch test (used by engineers as an indicator of optimal convergence of numerical solutions under mesh refinement). Finally, the computations reduce to the evaluation of matrices which contain purely geometric surface facet quantities. The present work focuses on the first-order VEM in which the degrees of freedom associated with the vertices. Utilizing polyhedral elements for topology optimization, we show that the mesh bias in the member orientation is alleviated.
Parametric Mie resonances and directional amplification in time-modulated scatterers
Creators: name: Asadchy, V.
name: Lamprianidis, A. G.
name: Ptitcyn, G.
name: Albooyeh, M.
name: Rituraj
name: Karamanos, T.
name: Alaee, R.
name: Tretyakov, S. A.
name: Rockstuhl, C.
name: Fan, S.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Optics (physics.optics)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: We provide a theoretical description of light scattering by a spherical particle whose permittivity is modulated in time at twice the frequency of the incident light. Such a particle acts as a finite-sized photonic time crystal and, despite its sub-wavelength spatial extent, can host optical parametric amplification. Conditions of parametric Mie resonances in the sphere are derived. We show that time-modulated materials provide a route to tailor directional light amplification, qualitatively different from that in scatterers made from a gain media. We design two characteristic time-modulated spheres that simultaneously exhibit light amplification and desired radiation patterns, including those with zero backward and/or vanishing forward scattering. The latter sphere provides an opportunity for creating shadow-free detectors of incident light.
description: 8 pages, 4 figures
Some remarks on the diffusion regions in magnetic reconnection
Creators: name: Zenitani, Seiji
name: Umeda, Takayuki
Publisher: name: arXiv
Year: 2014
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Plasma Physics (physics.plasm-ph)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: The structure of the diffusion regions in antiparallel magnetic reconnection is investigated by means of a theory and a Vlasov simulation. The magnetic diffusion is considered as relaxation to the frozen-in state, which depends on a reference velocity field. A field-aligned component of the frozen-in condition is proposed to evaluate a diffusion-like process. Diffusion signatures with respect to ion and electron bulk flows indicate the ion and electron diffusion regions near the reconnection site. The electron diffusion region resembles the energy dissipation region. These results are favorable to a previous expectation that an electron-scale dissipation region is surrounded by an ion-scale Hall-physics region.
Dual Task Balance Training in Older Adults with Mild Cognitive Impairment
Creators: name: Kannan, Lakshmi
Publisher: name: University of Illinois at Chicago
Year: 2023
Subjects: Uncategorized

description: While there is abundant evidence on dual task paradigms to be effective in older adults with mild cognitive impairment (OAwMCI), the effect of different types of training on balance recovery mechanisms (i.e., feedback (assessed via volitional balance control) and feedforward (assessed via reactive balance control)) has not been examined. In doing so, the results will provide a better understanding of to design of effective fall prevention paradigms for OAwMCI. Therefore, this thesis focuses on determining the effects of dual task paradigms on fall-associated balance control domains (volitional and reactive) in OAwMCI.
Evidence for Triangular D_3h Symmetry in 12C
Creators: name: Marin-Lambarri, D. J.
name: Bijker, R.
name: Freer, M.
name: Gai, M.
name: Kokalova, Tz.
name: Parker, D. J.
name: Wheldon, C.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We report a measurement of a new high spin Jp = 5- state at 22.4(0.2) MeV in 12C which fits very well to the predicted (ground state) rotational band of an oblate equilateral triangular spinning top with a D_3h symmetry characterized by the sequence 0+, 2+, 3-, 4+/-, 5- with almost degenerate 4+ and 4- (parity doublet) states. Such a D_3h symmetry was observed in triatomic molecules and it is observed here for the first time in nuclear physics. We discuss a classification of other rotation-vibration bands in 12C such as the (0+) Hoyle band and the (1-) bending mode band and suggest measurements in search of the predicted ("missing") states that may shed new light on clustering in 12C and light nuclei. In particular the observation (or non-observation) of the predicted ("missing") states in the Hoyle band will allow us to conclude the geometrical arrangement of the three alpha-particle composing the Hoyle state at 7.654 MeV in 12C.
description: Accepted for Publication in the Physical Review Letters
ФОРМИРОВАНИЕ ЭФФЕКТИВНОЙ СИСТЕМЫ УПРАВЛЕНИЯ ТЕРРИТОРИАЛЬНЫМ ОБРАЗОВАНИЕМ (ИСПОЛЬЗОВАНИЕ ОЦЕНОЧНЫХ КРИТЕРИЕВ И ПОКАЗАТЕЛЕЙ)
Creators: name: Баранова Светлана Викторовна
name: Ефремов Иван Анатольевич
name: Лидинфа Елена Петровна
name: Панин Александр Владимирович
Publisher: name: Московский экономический журнал
Year: 2020
Subjects: СОЦИАЛЬНО-ЭКОНОМИЧЕСКОЕ РАЗВИТИЕ РЕГИОНА
ПОКАЗАТЕЛИ ЭКОНОМИЧЕСКОГО И СОЦИАЛЬНОГО РАЗВИТИЯ РЕГИОНА
КРИТЕРИИ ОЦЕНКИ УРОВНЯ ПОЛИТИЧЕСКОГО ВОЗДЕЙСТВИЯ В УПРАВЛЕНИИ РЕГИОНОМ
SOCIO-ECONOMIC DEVELOPMENT OF THE REGION
INDICATORS OF ECONOMIC AND SOCIAL DEVELOPMENT OF THE REGION
CRITERIA FOR ASSESSING THE LEVEL OF POLITICAL INFLUENCE IN THE MANAGEMENT OF THE REGION

description: Формирование эффективной системы управления регионом в научной статье рассматривается в аспекте необходимости разработки направлений Стратегического развития на основе результатов комплексного анализа социально-экономических показателей. Авторами делается акцент на исследование показателей оценки уровня социально-экономического развития региона и представляется последовательность проведения аналитических процедур. В процессе анализа используются показатели, характеризующие уровень экономического, социального развития, а так же раскрывается возможность оценки степени влияния системы регионального управления (показатели реализации управленческого воздействия). Основным аспектом является обоснование необходимости проведения сравнительного анализа по комплексу однородных территориальных образований Центрального макрорегиона развития.
Implicit Definitions with Differential Equations for KeYmaera X (System Description)
Creators: name: Gallicchio, James
name: Tan, Yong Kiam
name: Mitsch, Stefan
name: Platzer, André
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1; F.4.1; G.1.7; I.2.3
subject: 03B70, 26E05, 33-04, 34A38

description: Definition packages in theorem provers provide users with means of defining and organizing concepts of interest. This system description presents a new definition package for the hybrid systems theorem prover KeYmaera X based on differential dynamic logic (dL). The package adds KeYmaera X support for user-defined smooth functions whose graphs can be implicitly characterized by dL formulas. Notably, this makes it possible to implicitly characterize functions, such as the exponential and trigonometric functions, as solutions of differential equations and then prove properties of those functions using dL's differential equation reasoning principles. Trustworthiness of the package is achieved by minimally extending KeYmaera X's soundness-critical kernel with a single axiom scheme that expands function occurrences with their implicit characterization. Users are provided with a high-level interface for defining functions and non-soundness-critical tactics that automate low-level reasoning over implicit characterizations in hybrid system proofs.
description: Long version of paper at IJCAR 2022 (11th International Joint Conference on Automated Reasoning, August 8-10, 2022, Haifa, Israel)
Mixture model-based functional discriminant analysis for curve classification
Creators: name: Chamroukhi, Faicel
name: Glotin, Hervé
Publisher: name: arXiv
Year: 2013
Subjects: subject: Methodology (stat.ME)
subject: Machine Learning (cs.LG)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences

description: Statistical approaches for Functional Data Analysis concern the paradigm for which the individuals are functions or curves rather than finite dimensional vectors. In this paper, we particularly focus on the modeling and the classification of functional data which are temporal curves presenting regime changes over time. More specifically, we propose a new mixture model-based discriminant analysis approach for functional data using a specific hidden process regression model. Our approach is particularly adapted to both handle the problem of complex-shaped classes of curves, where each class is composed of several sub-classes, and to deal with the regime changes within each homogeneous sub-class. The model explicitly integrates the heterogeneity of each class of curves via a mixture model formulation, and the regime changes within each sub-class through a hidden logistic process. The approach allows therefore for fitting flexible curve-models to each class of complex-shaped curves presenting regime changes through an unsupervised learning scheme, to automatically summarize it into a finite number of homogeneous clusters, each of them is decomposed into several regimes. The model parameters are learned by maximizing the observed-data log-likelihood for each class by using a dedicated expectation-maximization (EM) algorithm. Comparisons on simulated data and real data with alternative approaches, including functional linear discriminant analysis and functional mixture discriminant analysis with polynomial regression mixtures and spline regression mixtures, show that the proposed approach provides better results regarding the discrimination results and significantly improves the curves approximation.
description: In Proceedings of the 2012 International Joint Conference on Neural Networks (IJCNN), 2012, Pages: 1-8, Brisbane, Australia
Cross-Calibration of iDXA and pQCT Scanners at Rural and Urban Research Sites in The Gambia, West Africa.
Creators: name: Ó Breasail, Mícheál
name: Janha, Ramatoulie
name: Zengin, Ayse
name: Pearse, Camille
name: Jarjou, Landing
name: Prentice, Ann
name: Ward, Kate A
Publisher: name: Apollo - University of Cambridge Repository
Year: 2023
Subjects: Body composition
Cross-calibration
DXA
Densitometry
pQCT

description: Between-scanner differences in measures of bone and body composition can obscure or exaggerate physiological differences in multi-site studies or the magnitude of changes in longitudinal studies. We conducted a cross-calibration study at two bone imaging centres in The Gambia, West Africa where DXA (dual-energy X-ray absorptiometry) and pQCT (peripheral Quantitative-Computed Tomography) are routinely used. Repeat scans were obtained from 64 Gambian adults (58% Male) aged Mean(SD) 30.9 (13.5) years with Mean(SD) body mass index (BMI) 21.7 (4.0) kg/m2, using DXA (GE Lunar iDXA, whole body [WB], total hip [TH], lumbar spine [LS]) and pQCT (Stratec XCT2000L/XCT2000, tibia 4%, 50% sites). Between-scanner differences were tested using paired t tests (p < 0.05). Between-scanner correlation was explored with linear regression, and cross-calibration equations derived. Bland-Altman analysis investigated machine trend/bias. When differences were detected (p < 0.05), cross-calibration equations were applied to urban values, with t tests and Bland Altman analysis repeated. Between-scanner differences exceeded the predefined level of statistical significance (p < 0.05) for WB aBMD and BA; all pQCT measures vBMD, BMC, cortical cross-sectional area (CSA) and stress-strain index (SSI). Between-scanner correlation was high (R2:0.92-0.99), except pQCT Mu.Den (R2 = 0.51). Bland Altman plots indicated bias increased with increasing BMD. Cross-calibration equations attenuated all between-scanner differences and systematic bias. Cross-calibration, particularly of pQCT scanners, is an important consideration in multi-site studies particularly where between population comparisons are intended. Our experiences and findings may be generalisable to other resource-limited settings where the logistics of sourcing parts and in-country repair may result in lengthy scanner downtime.
Cryptalaus assamensis Parekar and Patwardhan 2021
Creators: name: Kotru, Akash
name: Chandran, Nithya
name: Dubey, Anil Kumar
name: Prosvirov, Alexander S.
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Elateridae
Cryptalaus
Cryptalaus assamensis

description: Cryptalaus assamensis (Schwarz, 1902)
Alaus assamensis Schwarz, 1902: 204.
Cryptalaus assamensis (Schwarz) Parekar and Patwardhan, 2021: 19991.
Type depository. Syntype (SDEI).
Type locality. Lakhimpur (Assam).
Distribution. India: Assam.
Literature. Schwarz (1902: 204): original description; Parekar and Patwardhan (2021: 19991): combination.
description: Published as part of Kotru, Akash, Chandran, Nithya, Dubey, Anil Kumar & Prosvirov, Alexander S., 2025, A catalogue of Indian Agrypninae Candèze, 1857 (Coleoptera: Elateridae), pp. 1-66 in Zootaxa 5614 (1) on page 37, DOI: 10.11646/zootaxa.5614.1.1, http://zenodo.org/record/15217075
Preserving Privacy in Artificial Intelligence: Four Ways to Do It.
Creators: name: Domingus, Marlon
Publisher: name: Zenodo
Year: 2023

description: This talk examines the tensions and proximities between AI and data protection principles, such as purpose limitation, data minimization and fairness. It considers challenges and opportunities for individuals and society, and the ways in which risks can be countered, and opportunities enabled through law and technology.
The talk is part of the "Inclusivity in AI Technology" series, organized by the IDEA Center (Inclusion, Diversity, Equity & Access) at Erasmus University Rotterdam.
Distributed Hybrid Observer With Prescribed Convergence Rate for a Linear Plant Using Multi-Hop Decomposition
Creators: name: Bertollo, Riccardo
name: Millán, Pablo
name: Orihuela, Luis
name: Seuret, Alexandre
name: Zaccarian, Luca
Publisher: name: arXiv
Year: 2022
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics

description: With a continuous-time formulation of the multihop decomposition, we propose a distributed hybrid observer for a sensor network where the plant and local observers run in continuous time and the information exchange among the sensing nodes is sampled-data. Process disturbances, measurement noise and communication noise are considered, and we prove that under some necessary detectability assumptions the observer gains can be tuned to guarantee exponential ISS with a prescribeda convergence rate. Simulations illustrate the performance of the proposed observer.
A physiotherapy-led transition to home intervention for older adults following emergency department discharge: a pilot feasibility randomised controlled trial (ED PLUS)
Creators: name: Conneely, Mairéad
name: Leahy, Siobhán
name: O’Connor, Margaret
name: Corey, Gillian
name: Gabr, Ahmed
name: Saleh, Anastasia
name: Okpaje, Blessing
name: O'SULLIVAN, IDE
name: Synnott, Aoife
name: McCarthy, Aoife
name: Holmes, Alison
name: Robinson, Katie
name: Ryan, Lorna
name: GRIFFIN, ANNE
name: Barry, Louise
name: Trépel, Dominic
name: Ryan, Damian
name: Galvin, Rose
Publisher: name: University of Limerick
Year: 2023
Subjects: classificationCode: 42
subject: Health sciences
subject: FOS: Health sciences

description: Background: Older adults frequently attend the emergency department (ED) and experience high rates of subsequent adverse outcomes including functional decline, ED re-presentation and unplanned hospital admission. The development of effective interventions to prevent such outcomes is a key priority for research and service provision. Our aim was to evaluate the feasibility of a physiotherapy-led integrated care intervention for older adults discharged from the ED (ED PLUS).Patients and Methods: Older adults presenting to the ED of a university teaching hospital with undifferentiated medical complaints and discharged within 72 hours were computer randomised in a ratio of 1:1:1 to deliver usual care, Comprehensive Geriatric Assessment (CGA) in the ED, or ED PLUS. ED PLUS is an evidence-based and stakeholder-informed intervention to bridge the care transition between the ED and community by initiating a CGA in the ED and implementing a six-week, multi-component, self-management programme in the patient’s home. Feasibility and acceptability were assessed quantitatively and qualitatively. All clinical and process outcomes were assessed by a research nurse blinded to group allocation. Data analyses were primarily descriptive.Results: Twenty-nine participants were recruited indicating a 67% recruitment rate. At 6 months, there was 100% retention in the usual care group, 88% in the CGA group and 90% in the ED PLUS group. ED PLUS participants expressed positive feedback, and there was a trend towards improved function and quality of life and less ED revisits and unscheduled hospitalisations in the ED PLUS group.Conclusion: ED PLUS bridges the transition of care between the index visit to the ED and the community and is feasible using systematic recruitment strategies. Despite recruitment challenges in the context of COVID-19, the intervention was successfully delivered and well received by participants. There was a lower incidence of functional decline and improved quality of life in the ED PLUS group.
On the effect of the ionising background on the Lyα forest autocorrelation function
Creators: name: Gontcho, Satya Gontcho A
name: Miralda-Escudé, Jordi
name: Busca, Nicolás G.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: An analytical framework is presented to understand the effects of a fluctuating intensity of the cosmic ionising background on the correlations of the Lyα forest transmission fraction measured in quasar spectra. In the absence of intensity fluctuations, the Lyα power spectrum should have the expected cold dark matter power spectrum with redshift distortions in the linear regime, with a bias factor b_δ and a redshift distortion parameter β that depend on redshift but are independent of scale. The intensity fluctuations introduce a scale dependence in both b_δ and β, but keeping their product b_δβ fixed. Observations of the Lyα correlations and cross-correlations with radiation sources like those being done at present in the BOSS survey of SDSS-III (Busca et al. 2013; Slosar et al. 2013; Font-Ribera et al. 2014) have the potential to measure this scale dependence, which reflects the biasing properties of the sources and absorbers of the ionising background. We also compute a second term affecting the Lyα spectrum, due to shot noise in the sources of radiation. This term is very large if luminous quasars are assumed to produce the ionising background and to emit isotropically with a constant luminosity, but should be reduced by a contribution from galaxies, and by the finite lifetime and anisotropic emission of quasars.
description: 12 pages, 6 figures Accepted for publication in MNRAS
Design of Engineered Substrates to Modulate Human Liver Cell Phenotype for Disease Modeling
Creators: name: Liu, Jennifer S
Publisher: name: University of Illinois at Chicago
Year: 2023
Subjects: Uncategorized

description: Suitable cell sources and mimicking in vivo environmental cues are two main factors to generate engineered human liver models that can be used to investigate liver pathologies and systematically screen drugs. Therefore, we seek to use three main cell sources (primary cells, cell lines, and induced pluripotent stem cell [iPSC]-derived cells) to develop functional human liver models for drug screening and disease modeling. To begin, we aim to use one popular cell line, HepaRG, for drug screening. HepaRG monocultures are not suitable for drug screening due to their low hepatic functions and lower sensitivity for hepatotoxicity relative to primary human hepatocytes (PHHs). A culture platform that can stabilize and improve HepaRG functions is needed. Micropatterned cocultures (MPCCs), with hepatocytes on patterned collagen islands surrounded by supportive 3T3-J2 murine fibroblasts, have been shown to maintain high and stable hepatic functions for several weeks and have been used for disease modeling and hepatotoxic drug prediction. Thus, we plan to adapt HepaRG into the MPCC platform to improve functions long-term for drug screening. In addition, iPSC-derived cells can provide a diverse genetic background but are similarly limited by low functions, and thus, we aim to establish a functional human liver model using MPCC with three main liver cell types (hepatocyte, endothelial cell, and macrophage) derived from iPSCs that can be used to evaluate different responses from cell types for drug development. In addition, to reproduce complex cell-ECM interactions found in vivo, we used natural ECM-based electrospun nanofibers to create functional liver models with PHHs and/or 3T3-J2 fibroblasts. Finally, as an application of our liver models, we explored the effects of liver cancer secretions on PHHs. Tumor cells can affect non-cancerous cells’ phenotypes. However, the effect of liver cancer secretions on non-cancerous hepatocytes in drug metabolism is unclear. Therefore, we aim to investigate the effect of liver cancer secretion by using PHH MPCC as a non-cancerous hepatocyte model. Ultimately, the three main cell sources explored here can be useful for drug screening and/or disease modeling within the MPCC platform. Moreover, electrospun nanofibers can be used to create functional liver models with a more physiologically relevant ECM topography. Overall, this thesis will lead to the engineering of functionally improved human liver models for different stages of the drug development pipeline and basic science investigations.
Consequences of an Eccentric Orbit for Fomalhaut b
Creators: name: Tamayo, Daniel
Publisher: name: arXiv
Year: 2013
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Fomalhaut b is currently the least massive, directly imaged exoplanet candidate. New observation epochs reveal this object to be moving on a highly eccentric orbit (Kalas et al. 2013), which sets important new constraints. I consider scenarios where Fomalhaut b is the only object interacting with the debris disk, and ones involving an additional unseen planet. I also investigate the possibility that Fomalhaut b is merely a transient dust cloud in light of the revised eccentric orbit. I argue that the scenario best able to match the observational constraints is a super-Earth Fomalhaut b surrounded by a vast cloud of dust that is generated by a population of irregular satellites, with an undetected $\sim$ Saturn-mass planet orbiting interior to the disk and driving the secular dynamics. Testable predictions are summarized that could differentiate between this scenario and other possibilities.
description: 25 pages, 6 figures. Accepted for publication in MNRAS
ОСНОВНЫЕ СОЦИАЛЬНО-ЭКОНОМИЧЕСКИЕ ТЕНДЕНЦИИ ФОРМИРОВАНИЯ И РАЗВИТИЯ РЫНКА УСЛУГ В СФЕРЕ МОЛОДЕЖНОЙ ПОЛИТИКИ В РЕСПУБЛИКЕ ТАТАРСТАН
Creators: name: Фаттахов Д. И.
Publisher: name: Московский экономический журнал
Year: 2020
Subjects: УСЛУГИ ДЛЯ ДЕТЕЙ И МОЛОДЕЖИ
ПОКАЗАТЕЛИ ЭКОНОМИЧЕСКОГО И СОЦИАЛЬНОГО РАЗВИТИЯ РЕГИОНА
ДОХОДЫ И РАСХОДЫ НАСЕЛЕНИЯ
БЕЗРАБОТИЦА
ИНДЕКС ПОТРЕБИТЕЛЬСКИХ ЦЕН
ПЛАТНЫЕ УСЛУГИ НАСЕЛЕНИЮ
СОЦИАЛЬНЫЕ ВЫПЛАТЫ
РАСХОДЫ НА ОПЛАТУ УСЛУГ
КОММУНАЛЬНЫЕ УСЛУГИ
РАСХОДЫ НА ПИТАНИЕ
ОХВАТ ОРГАНИЗОВАННЫМИ ФОРМАМИ ОТДЫХА ДЕТЕЙ И МОЛОДЕЖИ
SERVICES FOR CHILDREN AND YOUNG PEOPLE
INDICATORS OF ECONOMIC AND SOCIAL DEVELOPMENT OF THE REGION
INCOME AND EXPENDITURES OF THE POPULATION
UNEMPLOYMENT
CONSUMER PRICE INDEX
PAID SERVICES TO THE POPULATION
SOCIAL PAYMENTS
EXPENSES FOR SERVICES
UTILITIES
FOOD COSTS
COVERAGE OF ORGANIZED FORMS OF RECREATION OF CHILDREN AND YOUNG PEOPLE

description: Автор анализирует основные экономические и социальные предпосылки формирования и развития рынка услуг для молодежи в Республике Татарстан, включая динамику показателей реально располагаемых денежных доходов населения, доли безработных в возрасте от 15 до 29 лет, темпов роста заработной платы, цен на платные услуги населению, численности населения с денежными доходами ниже прожиточного минимума, а также структуры и динамики денежных доходов и расходов населения региона, включая динамику доходов от предпринимательской деятельности, оплаты труда и социальных выплат, а также динамику расходов на питание, оплату услуг, особенно коммунальных услуг, и прирос финансовых активов, в результате чего структура денежных доходов населения в регионе не отвечает требованиям оптимальности и стимулирования деловой активности, формирует экономическую пассивность населения региона. Эти факторы формируют спрос со стороны населения и молодежи на услуги по организации отдыха и оздоровления детей и молодежи. В результате автор приходит к выводу, что структура и динамика основных социально-экономических показателей развития региона недостаточны для полноценного формирования базы развития рынка услуг в сфере молодежной политики в Республике Татарстан.
Detectability and parameter estimation of stellar origin black hole binaries with next generation gravitational wave detectors
Creators: name: Pieroni, Mauro
name: Ricciardone, Angelo
name: Barausse, Enrico
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We consider stellar-origin black hole binaries, which are among the main astrophysical sources for next generation gravitational wave (GW) detectors such as the Einstein Telescope (ET) and Cosmic Explorer (CE). Using population models calibrated with the most recent LIGO/Virgo results from O3b run, we show that ET and CE will be capable of detecting tens of thousands of such sources (and virtually all of those present in our past light cone up to $z\lesssim 0.7$ for ET and $z\lesssim 1$ for CE) with a signal-to-noise ratio up to several hundreds, irrespective of the detector design. When it comes to parameter estimation, we use a Fisher-matrix analysis to assess the impact of the design on the estimation of the intrinsic and extrinsic parameters. We find that the CE detector, consisting of two distinct $L-$shape interferometers, has better sky localization performance compared to ET in its triangular configuration. We also find that the network is typically capable of measuring the chirp mass, symmetric mass ratio and spins of the binary at order of $10^{-5}$, $10^{-4}$ and $10^{-4}$ fractional error respectively. While the fractional errors for the extrinsic parameters are of order $10^{-2}$ for the sky localization, luminosity distance and inclination.
description: 17 pages+appendix, 12 figures; typos corrected; some results changed; updated to match published version
Counter-rotation in relativistic magnetohydrodynamic jets
Creators: name: Cayatte, V.
name: Vlahakis, N.
name: Matsakos, T.
name: Lima, J. J. G.
name: Tsinganos, K.
name: Sauty, C.
Publisher: name: arXiv
Year: 2014
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Young stellar object observations suggest that some jets rotate in the opposite direction with respect to their disk. In a recent study, Sauty et al. (2012) have shown that this does not contradict the magnetocentrifugal mechanism that is believed to launch such outflows. Signatures of motions transverse to the jet axis and in opposite directions have recently been measured in M87 (Meyer et al. 2013). One possible interpretation of this motion is the one of counter rotating knots. Here, we extend our previous analytical derivation of counter-rotation to relativistic jets, demonstrating that counter-rotation can indeed take place under rather general conditions. We show that both the magnetic field and a non-negligible enthalpy are necessary at the origin of counter-rotating outflows, and that the effect is associated with a transfer of energy flux from the matter to the electromagnetic field. This can be realized in three cases : if a decreasing enthalpy causes an increase of the Poynting flux, if the flow decelerates, or, if strong gradients of the magnetic field are present. An illustration of the involved mechanism is given by an example of relativistic MHD jet simulation.
description: Accepted for publication in ApJL
МЕТОДИЧЕСКИЕ АСПЕКТЫ УПРАВЛЕНИЯ СТОИМОСТЬЮ ПРОЕКТА
Creators: name: Воронцова Юлия Владимировна
name: Тихонов Алексей Иванович
name: Чиняева Софья Валерьевна
Publisher: name: Московский экономический журнал
Year: 2020
Subjects: АЛГОРИТМ РЕШЕНИЯ
БЮДЖЕТИРОВАНИЕ
ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
УПРАВЛЕНИЕ ЗАТРАТАМИ
УПРАВЛЕНИЕ СТОИМОСТЬЮ ПРОЕКТА
SOLUTION ALGORITHM
BUDGETING
SOFTWARE
COST MANAGEMENT
PROJECT COST MANAGEMENT

description: В статье рассматриваются различные методические подходы к управлению стоимостью проекта, включающие системы и методы управления затратами. Обоснована эффективность возможного использования программных продуктов процесса бюджетирования при мониторинге отдельных элементов, составляющих стоимость проекта. Представлен алгоритм выбора такого программного обеспечения. Для минимизации времени его выбора авторами создан программный продукт, работа с которым также представлена в материалах статьи.