cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Generalized Pseudopotentials for Higher Partial Wave Scattering
Creators: name: Stock, Rene
name: Silberfarb, Andrew
name: Bolda, Eric L.
name: Deutsch, Ivan H.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Quantum Physics (quant-ph)
subject: Soft Condensed Matter (cond-mat.soft)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We derive a generalized zero-range pseudopotential applicable to all partial wave solutions to the Schroedinger equation based on a delta-shell potential in the limit that the shell radius approaches zero. This properly models all higher order multipole moments not accounted for with a monopolar delta function at the origin, as used in the familiar Fermi pseudopotential for s-wave scattering. By making the strength of the potential energy dependent, we derive self-consistent solutions for the entire energy spectrum of the realistic potential. We apply this to study two particles in an isotropic harmonic trap, interacting through a central potential, and derive analytic expressions for the energy eigenstates and eigenvalues.
description: RevTeX 4 pages, 1 figure, final published version
ТЕХНИКА ФАНЛАРИНИ ЎҚИТИШДА ЗАМОНАВИЙ АХБОРОТ ТЕХНОЛОГИЯЛАРНИ ЎРНИ
Creators: name: Абурайхон Холиқулович Жураев
name: Алишер Ражабалиевич Маллаев
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: ахборот-коммуникацион технологиялар
интеллектуал ўқитиш тизими
компьютерлаштириш
MATLAB
Command Window
plot функцияси
comet функцияси

description: Мақолада Matlab дастурий комплексида функциялар графигини қўришни компьютер дастурий таъминот имкониятларидан фойдаланиб ўтиш ѐритилган. Дидактиканинг асосий тамойилларидан ҳисобланган кўргазмалилик техника фанларини ўқитишда кўп жорий этилган томойиллардан бири эканлигидир. Дарс машғулотлари кўргазмали қуроллар ѐрдамида ўтилса яхши самара бериши ва талабанинг ўзлаштириши осонлашиши кўрсатилган. Мураккаб жарѐнларни компьютер дастурларидан фойдаланиб моделлаштириш келажакда талабаларни кенг қамровли фикрлаш доирасини шаклланишига асос бўлиши баѐн этилган.
ГЛОБАЛЛАШУВ ДАВРИ, МУСИҚА САЪНАТИНИ ИЖТИМОИЙ ОНГГА ТАЪСИРИ ХУСУСИДА
Creators: name: Алишер Бердиевич Райимкулов
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: Глобаллашув
миллат
маданият
этнопсихалогия
даосизм
ғарб маданияти
мусиқа
мақом
муножат
рок
поп жаз

description: Миллатимиз маданий хаѐти кейинги юз йилликда кўплаб ўзгаришларга юз тутди. Хар ўзгариш бир синов тариқасида қайсидир авлод рухиятида ўзига хос ўзгаришлар ясади. Оммавий маданиятни кириб келиши эса миллат маданияти ривожига бевосита таъсир этди.
title: Unimocg
title: Modular Call-Graph Algorithms for Consistent Handling of Language Features
titleType: Subtitle
Creators: name: Helm, Dominik
name: Roth, Tobias
name: Keidel, Sven
name: Reif, Michael
name: Mezini, Mira
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Call Graph
subject: Type Analysis
subject: Static Analysis
subject: Modularization

description: Traditional call-graph construction algorithms conflate the computation of possible runtime types with the actual resolution of (virtual) calls. This tangled design impedes supporting complex language features and APIs and making systematic trade-offs between precision, soundness, and scalability. It also impedes implementation of precise downstream analyses that rely on type information. We propose Unimocg, a modular architecture for call-graph construction that decouples computation of type information from resolving calls. Due to its modular design, Unimocg can combine different call-graph algorithms with algorithm-agnostic modules to support individual language features. These modules operate at the same precision as the chosen call-graph. Unimocg also allows other analyses to easily reuse precise type information from the call-graph construction. We demonstrate how Unimocg enables call-graph algorithms with different precision, soundness, and scalability trade-offs from reusable modules. It currently supports ten algorithms from different families, such as CHA, RTA, XTA, and k-l-CFA. They show consistent soundness without sacrificing precision or performance. We also show how an immutability analysis is improved using Unimocg.
Developing Consistent Marginal Effect Estimates in a Simultaneous Equation Model with Limited Dependent Variables
Creators: name: Atwood, Joseph A.
name: Bittinger, Alison
name: Smith, Vincent H.
name: Atwood, Joseph A.
name: Bittinger, Alison
name: Smith, Vincent H.
Publisher: name: Unknown
Year: 2013
Subjects: subject: Research Methods/ Statistical Methods
subject: Simultaneous Equation Model
subject: Limited Dependent Variable
subject: Discrete Choice
subject: Theil Correction

description: We demonstrate that Theil-type variance corrections are required to obtain consistent marginal effect estimates in Nelson-Olsen's two-stage limited dependent variable (2SLDV) model. As Theil's residuals-based corrections are infeasible with 2SLDV, we present variance correction procedures shown to be virtually equivalent to Theil’s 2SLS corrections for continuous models but that are implementable in 2SLDV models. Simulations demonstrate that the proposed variance correction procedures generate consistent marginal effect estimates. The effects of the correction procedures are illustrated in a study of technology adoption by Ethiopian farmers. Components of the variance correction procedures should prove useful in other applications involving limited dependent variables.
Additional file 4: of Individualized induction chemotherapy by pre-treatment plasma Epstein-Barr viral DNA in advanced nasopharyngeal carcinoma
Creators: name: Zhang, Jian
name: Peng, Hao
name: Li, Wen-Fei
name: Zhang, Yuan
name: Liu, Li-Zhi
name: Tian, Li
name: Lin, Ai-Hua
name: Sun, Ying
name: Ma, Jun
Publisher: name: figshare
Year: 2018
Subjects: subject: Biochemistry
subject: Medicine
subject: Molecular Biology
subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology
subject: Virology

description: Table S2.Baseline characteristics of 3292 patients with pre-treatment Epstein-Barr virus DNAâ â ¤â 4650 copies/ml. (DOCX 16 kb)
ELEKTRONIKA VA SXEMALAR FANINI RAQAMLI TEXNOLOGIYALAR ASOSIDA O’QITISH METODIKASI
Creators: name: Gulbanbegim Muzaffarovna Jamolova
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: kvant
spektr
elektron
optron
sxema
texnika
potentsial
energiya
to‘lqin

description: Ushbu maqolada elektr zanjirlarning asosiy elementlari va hisoblash usullari keltirilgan hamda yarimo‗tkazgichlarning asosiy xususiyatlari, yarimo‗kazgichli qurilmalarning tuzilishi va ishlash prinsiplari va ta‘lim jarayonida raqamli texnologiyalar asosida samarali o‘qitish metodikai yoritilgan.
title: Innovating at the Intersection
title: Software Engineering for Science and Industry
titleType: Subtitle
Creators: name: Felderer, Michael
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Software Engineering
subject: Research Software Engineering

description: This paper provides a summary of the keynote talk ’Innovating at the Intersection: Software Engineering for Science and Industry’ held at the conference Software Engineering 2025.
MUDANÇAS NOS MODAIS DE TRANSPORTES: ÓBICE AO DESENVOLVIMENTO DA AGROINDÚSTRIA DA SOJA EM MATO GROSSO?
Creators: name: Pereira, Benedito Dias
name: Sirlene, Pessoa
name: Pereira, Benedito Dias
name: Sirlene, Pessoa
Publisher: name: Unknown
Year: 2006
Subjects: subject: Agribusiness
subject: modais de transporte
subject: agroindústria
subject: otimização

description: Este trabalho investiga se a ampliação do número dos eixos viários em Mato Grosso-MT, juntamente com outros resultados da logística regional de transportes, como o uso integrado de modais, na medida em que estimula a exportação in natura da soja, inibe ou não a agroindustrialização desse bem. Opera-se com dois cenários, um real, que procura retratar a atual realidade dos eixos viários usados para exportação da soja e um suposto ou hipotético, procurando, nessa perspectiva, se contemplar possíveis mudanças futuras na logística regional de transporte. Em cada cenário, a otimização dos modais de transportes é realizada com recorrência ao método simplex. O cenário hipotético operaria com custos inferiores ao cenário real. Após isso, através de teste estatístico não paramétrico, verifica-se se existe ou não associação direta entre essa redução de custos e a quantidade esmagada ou agroindustrializada de soja em MT. Conclui-se pela existência de evidências amostrais que as alterações ora sendo buscadas pelos gestores públicos e empresários regionais nos modais de transportes inibirá a agroindustrialização da soja no estado.
The Changing AGN Population
Creators: name: Steffen, A. T.
name: Barger, A. J.
name: Cowie, L. L.
name: Mushotzky, R. F.
name: Yang, Y.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We investigate how the fraction of broad-line sources in the AGN population changes with X-ray luminosity and redshift. We first construct the rest-frame hard-energy (2-8 keV) X-ray luminosity function (HXLF) at z=0.1-1 using Chandra Lockman Hole-Northwest wide-area data, Chandra Deep Field-North 2 Ms data, other Chandra deep field data, and the ASCA Large Sky Survey data. We find that broad-line AGNs dominate above 3e43 ergs/s and have a mean luminosity of 1.3e44 ergs/s. Type II AGNs can only become an important component of the X-ray population at Seyfert-like X-ray luminosities. We then construct z=0.1-0.5 and z=0.5-1 HXLFs and compare them with both the local HXLF measured from HEAO-1 A2 survey data and the z=1.5-3 HXLF measured from soft-energy (0.5-2 keV) Chandra and ROSAT data. We find that the number density of >1e44 ergs/s sources (quasars) steadily declines with decreasing redshift, while the number density of 1e43-1e44 ergs/s sources peaks at z=0.5-1. Strikingly, however, the number density of broad-line AGNs remains roughly constant with redshift while their average luminosities decline at the lower redshifts, showing another example of cosmic downsizing.
description: Accepted by The Astrophysical Journal Letters, 5 pages
JISMONIY TARBIYA VA SPORT MASHG`ULOTLARINI ILG`OR PEDAGOGIK TEXNOLOGIYALAR ASOSIDA TASHKIL ETISH
Creators: name: Jorayeva, Gulnora Abduhalilovna
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: Physical culture
personality
development
spirituality
education
activity
sports
society

description: Nowadays, all coaches, educators, and athletes should know that the importance of special training exercises in the training of athletics is very important. This article describes the scientific views on the comprehensive development of the individual in physical culture. Scientific opinions and comments are given on the basis of scientific facts. Historically, physical culture has developed primarily under the influence of the practical needs of society to fully prepare the younger generation and the older population for work. At the same time, with the formation of education and training systems, physical culture has become a key factor in the formation of motor skills
title: Mining Domain-Specific Edit Operations from Model Repositories with Applications to Semantic Lifting of Model Differences and Change Profiling
Creators: name: Tinnes, Christof
name: Kehrer, Timo
name: Joblin, Mitchell
name: Hohenstein, Uwe
name: Biesdorf, Andreas
name: Apel, Sven
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Model-Driven Engineering
subject: Graph Mining
subject: Model Transformations
subject: Software Evolution

description: Model transformations are central to model-driven software development. Applications of model transformations include creating models, handling model co-evolution, model merging, and understanding model evolution. In the past, various (semi-)automatic approaches to derive model transformations from meta-models or from examples have been proposed. These approaches require time-consuming handcrafting or the recording of concrete examples, or they are unable to derive complex transformations. We propose a novel unsupervised approach, called Ockham, which is able to learn edit operations from model histories in model repositories. Ockham is based on the idea that meaningful domain-specific edit operations are the ones that compress the model differences. It employs frequent subgraph mining to discover frequent structures in model difference graphs. We evaluate our approach in two controlled experiments and one real-world case study of a large-scale industrial model-driven architecture project in the railway domain. We found that our approach is able to discover frequent edit operations that have actually been applied before. Furthermore, Ockham is able to extract edit operations that are meaningful—in the sense of explaining model differences through the edit operations they comprise—to practitioners in an industrial setting. We also discuss use cases (i.e., semantic lifting of model differences and change profiles) for the discovered edit operations in this industrial setting. We find that the edit operations discovered by Ockham can be used to better understand and simulate the evolution of models. In this summary, we will take a look into the connections of explicit “evolution of models” via edit operations, and more implicit completion approaches via generative models that recently became a focal point of scientific attention.
title: Towards Semi-Automated Merge Conflict Resolution
title: Is It Easier Than We Expected?
titleType: Subtitle
Creators: name: Boll, Alexander
name: van Dok, Yael
name: Ohrndorf, Manuel
name: Schultheiß, Alexander
name: Kehrer, Timo
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: merging
subject: conflict resolution
subject: derivability
subject: merge generator
subject: merge recommendation
subject: git mining
subject: empirical study

description: In version control systems such as Git, concurrent modifications on the same artifacts can cause merge conflicts that may disrupt the development workflow by requiring manual intervention. While research on software merging focused on sophisticated techniques that hardly had any impact in practice, we present an empirical feasibility study on semi-automated conflict resolution using a fixed set of only a few language-agnostic conflict resolution patterns. In a large-scale quantitative analysis, we simulate the performance of our hypothetical conflict resolution strategy by classifying 131,154 merge conflict resolutions of a diverse sample of 10,000 GitHub projects according to these resolution patterns. We shed light on the derivability of merges on multiple levels of granularity: the conflicting merge commit, its conflicting files and their individual conflicting chunks. 87.9% of chunks are derivable individually, while 34.5% of merges are derivable as a whole. Interestingly, however, by inspecting potential factors affecting derivability, we observe that there are stronger correlations considering individual files than considering the entire merge. A short yet preliminary answer to whether semi-automated conflict resolution is easier than we expected is: yes, it might be, particularly if we use the right level of granularity for proposing conflict resolutions. Through our comprehensive analysis, we aspire to bridge the gap between academic innovations on sophisticated merge techniques and real-world merge conflict scenarios, laying the groundwork for more effective and widely accepted automatic merge Tools.
Simulating METIS' SCAO System
Creators: name: Feldt, Markus Feldt
name: Steuer, Horst Steuer@Mpia.De
name: Correia, Carlos
name: Obereder, Andreas
name: Raffetseder, Stefan
name: Bertram, Thomas
name: Shatokhina, Julia
name: Cantalloube, Faustine
Publisher: name: Proceedings of AO4ELT7 conference 2023 - Editors: Thierry Fusco and Benoit Neichel
Year: 2023
Subjects: METIS
SCAO
PWFS
COMPASS
SIMULATION
LOW
WIND EFFECT

description: METIS, the Mid-Infrared ELT Imager and Spectrograph, is one of the four first-generation ELT instruments scheduled to see first light in 2028. Its two main science modules are supported by an adaptive optics system featuring a pyramid sensor with 90x90 subapertures working in the H and K bands. During the PDR and FDR phases, extensive simulations were carried out to support the sensing, reconstruction, and control concept of METIS single-conjugate adaptive optics (SCAO) system.

We present details on the implementation of the COMPASS-based environment used for the simulations, the metrics used for analyzing our performance expectations, an overview of the main results, and some details on special cases like non-common path aberrations (NCPA) and water vapor seeing, as well as the low-wind effect.
Effective low-dimensional dynamics of a mean-field coupled network of slow-fast spiking lasers
Creators: name: Dolcemascolo, A.
name: Miazek, A.
name: Veltz, R.
name: Marino, F.
name: Barland, S.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Low dimensional dynamics of large networks is the focus of many theoretical works, but controlled laboratory experiments are comparatively very few. Here, we discuss experimental observations on a mean-field coupled network of hundreds of semiconductor lasers, which collectively display effectively low-dimensional mixed mode oscillations and chaotic spiking typical of slow-fast systems. We demonstrate that such a reduced dimensionality originates from the slow-fast nature of the system and of the existence of a critical manifold of the network where most of the dynamics takes place. Experimental measurement of the bifurcation parameter for different network sizes corroborate the theory.
VOYAGA YETMAGANLAR HUQUQBUZARLIGINING PROFILAKTIKASIDA UMUMTA’LIM MAKTABLARINING O’RNI
Creators: name: R. S. Nazarova
name: N. A. Isroilova
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: huquqbuzarlik
g‘ayriijtimoiy hatti-harakatlar
deviant xulqatvor
yakka tartibdagi profilaktika
maxsus profilaktika
nazoratsiz bola
bola reabilitatsiyasi
ijtimoiy pedagog

description: Jamiyat hayotining turli sohalarida inson omili ustun hisoblanadi, ayniqsa, unda voyaga yetmaganlarning haq-huquqlarini himoya qilish, ularning ilmiy, ijodiy, intellektual salohiyatini yuksaltirishga asosiy vazifalardan biri sifatida qaraladi. Shu bilan birgalikda, voyaga yetmaganlar tomonidan sodir etiladigan huquqbuzarliklar sonining ortishi, o‘smirlar o‘rtasida deviant xulqning ommalashuvi kabi holatlar huquqbuzarlik profilaktikasi masalasida jamiyatning barcha institutlari tizim sifatida o‘zaro hamkorlikda faoliyat olib borishini taqozo etmoqda. Ushbu tizimning o‘ziga xos subyekti sifatida umumta‘lim maktablari jamiyatdagi asosiy ta‘lim-tarbiya manbai bo‘lib qolmay, huquqbuzarlik profilaktikasi vositasi ham sanaladi. Maqolada voyaga yetmaganlar huquqbuzarligi profilaktikasi borasida umumta‘lim maktablarining o‘rni va ahamiyati o‘rganib tahlil qilinadi.
title: Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments
Creators: name: Birchler, Christian
name: Khatiri, Sajad
name: Derakhshanfar, Pouria
name: Panichella, Sebastiano
name: Panichella, Annibale
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Autonomous Systems
subject: Software Simulation
subject: Test Case Prioritization

description: In this work, we propose an approach to prioritize simulation-based test cases for self-driving cars. The paper is published in ACM Transactions on Software Engineering and Methodology [Bi23]. Testing with simulation environments helps to identify critical failing scenarios for self-driving cars (SDCs). Simulation-based tests are safer than in-field operational tests and allow detecting software defects before deployment. However, these tests are very expensive and are too many to be run frequently within limited time constraints. In this paper, we investigate test case prioritization techniques to increase the ability to detect SDC regression faults with virtual tests earlier. Our approach, called SDC-Prioritizer, prioritizes virtual tests for SDCs according to static features of the roads we designed to be used within the driving scenarios. These features can be collected without running the tests, which means that they do not require past execution results. We introduce two evolutionary approaches to prioritize the test cases using diversity metrics (black-box heuristics) computed on these static features. These two approaches, called SO-SDC-Prioritizer and MO-SDC-Prioritizer, use single-objective and multi-objective genetic algorithms, respectively, to find trade-offs between executing the less expensive tests and the most diverse test cases earlier. Our empirical study conducted in the SDC domain shows that MO-SDC-Prioritizer significantly (p-value<= 0.1e − 10) improves the ability to detect safety-critical failures at the same level of execution time compared to baselines: random and greedy-based test case orderings. Besides, our study indicates that multi-objective meta-heuristics outperform single-objective approaches when prioritizing simulation-based tests for SDCs. MO-SDC-Prioritizer prioritizes test cases with a large improvement in fault detection while its overhead (up to 0.45% of the test execution cost) is negligible.
A binary system of tailed radio galaxies
Creators: name: Klamer, I. J.
name: Subrahmanyan, R.
name: Hunstead, R. W.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present a detailed study of a binary system of tailed radio galaxies which, along with 3C75, is the only such binary known to exist. The binary is located in a region of low galaxy density at the periphery of a poor cluster Abell S345, but lies close to the massive Horologium Reticulum supercluster. The radio sources have bent tail morphologies and show considerable meandering and wiggling along the jets, which are collimated throughout their lengths. This work presents observations of the large-scale-structure environment of the binary tailed radio sources with a view to examining the influence of large-scale flows on the morphology and dynamics of the associated radio tails. We argue that the orbital motions of the host galaxies together with tidal accelerations toward the supercluster have resulted in the complex structure seen in these radio tails.
description: 10 pages, 9 figures, accepted for publication in MNRAS
A MODERNIZAÇÃO DA AGROPECUÁRIA DE MATO GROSSO
Creators: name: Pereira, Benedito Dias
name: Sirlene, Pessoa
name: Pereira, Benedito Dias
name: Sirlene, Pessoa
Publisher: name: Unknown
Year: 2006
Subjects: subject: Agribusiness
subject: Agricultural and Food Policy
subject: Modernização
subject: Agropecuária
subject: Mato Grosso

description: A agropecuária de Mato Grosso, nos últimos anos, centrada na produção de soja, vem experimentando elevada taxa de crescimento, assim como vem respondendo por parcela expressiva do aumento do Produto Interno Bruto da economia do estado. A variação desse agregado está sendo mais elevada que a do país como um todo. Nesse cenário, com base em indicadores amplamente usados em trabalhos afins, verifica-se que a agropecuária mato-grossense está se modernizando de maneira significativa e com amplitude que envolve as diversas escalas das unidades produtivas. Essa modernização, que se impulsiona no dinamismo do progresso técnico, provoca transformações relevantes nas forças e nas relações produtivas internas. Essas mutações, entretanto, podem estar causando alterações substanciais em importantes indicadores sociais, como desigualdade da distribuição de renda e pobreza absoluta. Esses são os principais assuntos abordados neste trabalho.
ПЕДАГОГИЧЕСКИЕ И МЕДИКО-БИОЛОГИЧЕСКИЕ СРЕДСТВА ВОССТАНОВЛЕНИЯ ФИЗИЧЕСКОЙ РАБОТОСПОСОБНОСТИ ВЫСОКОКВАЛИФИЦИРОВАННЫХ ТЕННИСИСТОК 15 – 17 ЛЕТ
Creators: name: Сабина Фаридовна Сулейманова
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: Средства восстановления
физическая работоспособность
физическое развитие
теннис.

description: При помощи педагогических и медико-биологических средств восстановления повышение физической работоспособности квалифицированных теннисисток 15 – 17 лет
Using bright ellipticals as dark energy cosmic clocks
Creators: name: Ferreras, Ignacio
name: Melchiorri, Alessandro
name: Tocchini-Valentini, Domenico
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The age of the Universe has been increasingly constrained by different techniques such as the observations of type Ia supernovae at high redshift or dating the stellar populations of globular clusters. In this paper we present a complementary approach using the colours of the brightest elliptical galaxies in clusters over a wide redshift range (z<1). We put new and independent bounds on the dark energy equation of state parameterised by a constant pressure-to-density ratio as well as by a parameter which determines the scaling between the matter and dark energy densities. We find that accurate estimates of the metallicities of the stellar populations in moderate and high redshift cluster galaxies can pose stringent constraints on the parameters which describe the dark energy equation of state. Our results are in good agreement with the analysis of dark energy models using SNIa data as constraint. Accurate estimates of the metallicities of stellar populations in cluster galaxies at z<2 will make this approach a powerful complement to studies of cosmological parameters using high redshift SNIa.
description: 5 pages, 4 figures, uses mn2e.cls
title: Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games
Creators: name: Göttmann, Hendrik
name: Caesar, Birte
name: Beers, Lasse
name: Lochau, Malte
name: Schürr, Andy
name: Fay, Alexander
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Stochastic timed priced games
subject: Proacive self-adaption
subject: Strategy synthesis
subject: Statistical Model-checking

description: We summarize our paper Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games which has been published in the Journal on Software and Systems Modeling
title: Cigré Prototype Installation Test for Gas-Insulated DC Systems - Testing a Gas-Insulated DC Transmission Line (DC-GIL) for ±550 kV and 5000 A under Real Service Conditions
Creators: name: Hallas, Martin
name: Hinrichsen, Volker
name: Neumann, Claus
name: Tenzer, Michael
name: Hausmann, Bruno
name: Gross, Detlev
name: Neidhart, Thomas
name: Lerch, Maximilian
name: Wiesinger, Doris
Publisher: name: CIGRE
Year: 2022

description: More and more generation facilities are installed far away from the load centers. Thus, long distance transmission is demanded, and with this regard DC transmission systems are of special interest. Transmission by overhead lines is a well-proven technology, but due to environmental concern and political decisions underground transmission systems are often requested. Besides DC cables, DC GIL are an interesting option. They enable transmitting high power by only one system in a small corridor only a few meters wide. GIL can be laid in a tunnel or directly buried in the soil. Meanwhile a lot of service experience has been collected with AC GIL technology, but no service experience is yet available with DC GIL. To close this knowledge gap and to investigate the long-term performance, a ±550 kV DC GIL prototype with a current carrying capacity of 5000 A is currently investigated in a HVDC test facility, both in directly buried and in above-ground installation. The test procedure follows the recommendations for long-term testing of gas-insulated systems, currently under preparation by Cigré JWG D1/B3.57. This report describes the test sample arrangements, the high-voltage and high current test equipment and the commissioning procedure for the DC GIL. It illustrates the UHF PD monitoring system installed and the method to identify possible PD defects. The investigated DC GIL is subdivided into two parts: While an above-ground installation is simultaneously stressed by voltage and DC current, a directly buried part of the DC GIL is stressed with DC current only in order to investigate soil mechanics, the temperature distribution in the GIL and in the soil as well as the performance of the backfill material. The report also presents first results gained on the directly buried arrangement for studying the soil mechanics.
SIMULAÇÃO DA VIABILIDADE INDUSTRIAL DO PROCESSAMENTO DE AMÊNDOAS DE CACAU EM PEQUENA ESCALA: O CASO DA CACAUICULTURA DE MEDICILÂNDIA NO ESTADO DO PARÁ
Creators: name: Lima, Edson Lopes
name: Mendes, Fernando Antonio Teixeira
name: Lima, Edson Lopes
name: Mendes, Fernando Antonio Teixeira
Publisher: name: Unknown
Year: 2006
Subjects: subject: Crop Production/Industries
subject: Cacau
subject: Verticalização Industrial
subject: Amazônia

description: Esta pesquisa teve como objetivo indicar a possibilidade de verticalização da produção de cacau na Transamazônica, estado do Pará, buscando-se formas de comercialização com maior valor agregado. Assim, a partir de simulações demonstrou-se como a substituição da venda amêndoa por subprodutos da indústria chocolateira (liquor, manteiga e pó de cacau), podem melhorar a receita nesta atividade. Usou-se como metodologia a análise de indicadores econômicos (relação benefício custo, valor presente líquido e taxa interna de retorno), tendo como base o orçamento para implantação de cada uma das fases do processamento industrial, fazendo as comparações, para uma mesma medida (150 toneladas de matéria-prima), aferindo-se o melhor resultado. Complementou-se o estudo com uma análise de sensibilidade, fazendo-se variações positivas nos custos, negativas nas receitas e custo de oportunidade do capital. Os resultados mostraram que existe viabilidade econômica para a utilização de pequenas plantas industriais, vislumbrando-se que no médio prazo venha a ser produzido o chocolate com a marca Amazônia, também um fator de agregação de valor ainda pouco utilizado pelos produtores locais.
ВАЖНОСТЬ ИСПОЛЬЗОВАНИЯ “ТРИЗ” ДЛЯ РАЗВИТИЯ УЧЕНИКИ НАЧАЛЬНОГО КЛАССА
Creators: name: Мафтуна Ганиева
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: начальний класс
образование
технология
способность
созерцание

description: В статье рассказывается о роли и значении технологии ТРИЗ в развитии изобретательских навыков у начальных школьников.
FLUXO DE COMERCIALIZAÇÃO DE HORTALIÇAS PRODUZIDAS NA REGIÃO ALTO CABECEIRAS DO TIETÊ
Creators: name: Sato, Geni Satiko
name: Martins, Sonia Santana
name: De Carvalho, Yara Maria Chagas
name: Milani, Aline A.
name: Cunha, Rodrigo Pinheiro
name: Sato, Geni Satiko
name: Martins, Sonia Santana
name: De Carvalho, Yara Maria Chagas
name: Milani, Aline A.
name: Cunha, Rodrigo Pinheiro
Publisher: name: Unknown
Year: 2006
Subjects: subject: Crop Production/Industries
subject: Marketing
subject: FOS: Economics and business
subject: hortaliças
subject: comercialização
subject: região do Alto Tietê
subject: alface
subject: brócolis

description: O artigo analisa o fluxo de comercialização de hortaliças produzidas na região Alto Cabeceiras do Tietê, no cinturão verde, próximo à cidade de São Paulo. A metodologia utilizada foi o levantamento de campo junto à varejistas próximos à região produtora através de questionário estruturado. As hortaliças são vendidas diretamente ao pequeno varejo, a supermercados, para atacadistas regionais e intermediários. Observou-se que para os casos da alface e brócolis, a participação do produtor no preço final é em média maior quando vendido diretamente ao pequeno varejo ou àcentral de compras de supermercados. A venda no mercado local também apresentou ser uma opção de melhor remuneração para o produtor. O crescimento de vendas às centrais de compra de supermercados ainda é limitado, devido às exigências de padronização e qualidade requeridas, que os produtores locais não conseguem cumprir.
Additional file 1 of PET imaging of an optimized anti-PD-L1 probe 68Ga-NODAGA-BMS986192 in immunocompetent mice and non-human primates
Creators: name: Zhou, Huimin
name: Bao, Guangfa
name: Wang, Ziqiang
name: Zhang, Buchuan
name: Li, Dan
name: Chen, Lixing
name: Deng, Xiaoyun
name: Yu, Bo
name: Zhao, Jun
name: Zhu, Xiaohua
Publisher: name: figshare
Year: 2022
Subjects: Biochemistry
Space Science
Medicine
Molecular Biology
Neuroscience
Environmental Sciences not elsewhere classified
Chemical Sciences not elsewhere classified
Cancer
Mental Health

description: Additional file 1. Figure S1 (A) The 10th type III domain of human fibronectin, BC, DE, and FG loops represent variable domains; (B) The core sequence of ADX_5322_A02 (underlined part representing the binding site of hPD-L1). Figure S2 (A) DNA sequence report of the ADX_5322_A02; (B, C) SDS–PAGE results of Adnectin expression and purification. Figure S3 hPD-L1-B16F10 cell line RT-qPCR results indicated that the human CD274 RNA expression rate is 556047% overexpressed compared to B16F10 wild type. Figure S4 (A, B, C in turn) The accurate molecular weight of obtained ADX_5322_A02, NODAGA-Adnectin, and the standard reference 69 Ga-NODAGA-BMS986192 determined by MALDI-TOF mass spectrometry. Figure S5 Representative iTLC result of 68Ga-NODAGA-BMS986192. Figure S6 (A) HPLC analysis of 68Ga-NODAGA-BMS986192. The UV-chromatogram retention time was 11.627 min, and the radio-chromatogram 12.071 min; (B) In vitro serum incubation of 68Ga-NODAGA-BMS986192 up to 2 h determined by Radio-HPLC demonstrated a satisfactory stability of RCP > 99%. Figure S7 The growth curves of mice (n = 4). Subchronic group (37 MBq 68Ga-NODAGA-BMS986192), control group (saline). Figure S8 Representative images of H&E eosin staining (100, Bar = 100 μm). Neither noticeable organ impairment nor obvious inflammation or necrosis was observed for all groups. Table S1 The results of blood routine test (n = 4). Table S2 The results of biochemical analyses (n = 4).
Atmospheres of protoplanetary cores: critical mass for nucleated instability
Creators: name: Rafikov, Roman
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We study quasi-static atmospheres of accreting protoplanetary cores for different opacity behaviors and realistic planetesimal accretion rates in various parts of protoplanetary nebula. Atmospheres segregate into those having outer convective zone which smoothly merges with the nebular gas, and those having almost isothermal outer radiative region decoupling atmospheric interior from the nebula. Specific type of atmosphere depends only on the relations between the Bondi radius of the core, photon mean free path in the nebular gas, and the luminosity radius (roughly the size of the sphere which can radiate luminosity of the core at effective temperature equal to the nebular temperature). Cores in the inner parts of protoplanetary disk (within roughly 0.3 AU from the Sun) have large luminosity radii resulting in the atmospheres of the first type, while cores in the giant planet region (beyond several AU) have small luminosity radii and always accumulate massive atmospheres of the second type. Critical core mass for nucleated instability is found to vary as a function of distance from the Sun. It is 5-20 M_Earth at 0.1-1 AU which is too large to permit the formation of ``hot Jupiters'' by nucleated instability near the cores that have grown in situ. In the region of giant planets critical mass is 20-60 M_Earth (for opacity 0.1 cm^2/g) if planetesimal accretion was fast enough for protoplanetary cores to form prior to the nebular gas dissipation. This might indicate that giant planets in the Solar System have gained their atmospheres by nucleated instability only after their cores have accumulated most of the mass in solids during the epoch of oligarchic growth, subsequent to which planetesimal accretion slowed down and cores became supercritical.
description: 19 pages, 7 figures, submitted to ApJ
title: AXA
title: Cross-Language Analysis through Integration of Single-Language Analyses
titleType: Subtitle
Creators: name: Roth, Tobias
name: Näumann, Julius
name: Helm, Dominik
name: Keidel, Sven
name: Mezini, Mira
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Static Analysis
subject: Multi-language

description: Modern software is often implemented in multiple interacting programming languages. When performing static analysis of such software, it is desirable to reuse existing single-language analyses to allow access to the results of decades of implementation effort. However, there are major challenges for this approach. In this paper, we analyze them and present AXA, an architecture that addresses them and enables cross-language analysis by integrating single-language analyses. To evaluate AXA, we implemented a cross-language points-to analysis for Java applications that interact with native code via Java Native Interface (JNI) and with JavaScript code via Java’s ScriptEngine. The evaluation shows that AXA enables significant reuse of existing static analyses. It also shows that AXA supports complex interactions and significantly increases recall of reused analyses without compromising precision.
title: Analyzing the reproducibility of research-related Jupyter notebooks at scale
Creators: name: Mietchen, Daniel
name: Samuel, Sheeba
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Knowledge Graph
subject: Computational reproducibility
subject: Jupyter notebooks
subject: FAIR data
subject: PubMed Central
subject: GitHub
subject: Python
subject: SPARQL

description: We address computational reproducibility of publication-associated Jupyter notebooks at 3 levels: (i) using fully automated workflows, we analyzed the computational reproducibility of Jupyter notebooks associated with publications indexed in the biomedical literature repository PubMed Central. We identified such notebooks by mining the article’s full text, trying to locate them on GitHub, and attempting to rerun them in an environment as close to the original as possible. We documented reproduction success and exceptions and explored relationships between notebook reproducibility and variables related to the notebooks or publications. (ii) This study represents a reproducibility attempt in and of itself, using essentially the same methodology twice on PubMed Central over the course of 2 years, during which the corpus of Jupyter notebooks from articles indexed in PubMed Central has grown in a highly dynamic fashion. (iii) We imported the corpus into a knowledge graph with a public SPARQL endpoint that allows for fine-grained exploration of notebooks individually or in aggregation (e.g. by topic, by journal or by error type). In this talk, we zoom in on common problems and practices, highlight trends, and discuss potential improvements to Jupyter-related workflows associated with biomedical publications.
Neutrino signatures of the supernova - gamma ray burst relationship
Creators: name: Razzaque, Soebur
name: Meszaros, Peter
name: Waxman, Eli
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We calculate the TeV-PeV neutrino fluxes of gamma-ray bursts associated with supernovae, based on the observed association between GRB 030329 and supernova SN 2003dh. The neutrino spectral flux distributions can test for possible delays between the supernova and the gamma-ray burst events down to much shorter timescales than what can be resolved with photons. As an illustrative example, we calculate the probability of neutrino induced muon and electron cascade events in a km scale under-ice detector at the South Pole, from the GRB 030329. Our calculations demonstrate that km scale neutrino telescopes are expected to detect signals that will allow to constrain supernova-GRB models.
description: 7 pages, 2 figures. Accepted for publication in Phys. Rev. D
COMPETITIVIDADE DO SISTEMA PRODUTIVO DE CANA-DE-AÇÚCAR EM MINAS GERAIS: ABORDAGEM MATRIZ ANÁLISE POLÍTICA
Creators: name: Martins, Alexandra Pereira
name: Gomes, Marilia Fernandes Maciel
name: Rosado, Patricia Lopes
name: Neto, Jose Ferreira
name: Martins, Alexandra Pereira
name: Gomes, Marilia Fernandes Maciel
name: Rosado, Patricia Lopes
name: Neto, Jose Ferreira
Publisher: name: Unknown
Year: 2006
Subjects: subject: Crop Production/Industries
subject: Political Economy
subject: Competitividade
subject: Matriz de Análise Política
subject: cana-de-açúcar

description: O objetivo deste estudo é avaliar a eficiência e a competitividade da produção de cana-deaçúcar em Minas Gerais, com base nos diferentes sistemas de produção presentes na principal região produtora do Estado, o Triângulo Mineiro / Alto Paranaíba. Os princípios analíticos dos conceitos usados baseiam-se na Teoria da Firma e do Comércio Internacional. O instrumental utilizado nesta análise é a Matriz de Análise Política (MAP), desenvolvido por MONKE e PEARSON (1989). Os resultados obtidos indicam que os sistemas produtivos são competitivos e eficientes, dadas as políticas vigentes, e que o sistema produtivo irrigado foi o que apresentou maior competitividade.
title: Model-Based Testing of Quantum Computations
Creators: name: Lochau, Malte
name: Schaefer, Ina
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Quantum Computing
subject: Testing Relations
subject: Probabilistic Transition Systems

description: We summarize our paper Model-Based Testing of Quantum Computations which has been published in the proceedings of the 18th International Conference on Tests and Proofs (TAP 2024).
A Note on Stress-Tensors, Conservation and Equations of Motion
Creators: name: Deser, S.
Publisher: name: arXiv
Year: 2004
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Some unusual relations between stress tensors, conservation and equations of motion are briefly reviewed.
description: 4 pages. Invited contribution, A. Peres Festschrift, to be published in Found. Phys
There is no magnetic braking catastrophe: Low-mass star cluster and protostellar disc formation with non-ideal magnetohydrodynamics
Creators: name: Wurster, James
name: Bate, Matthew R.
name: Price, Daniel J.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present results from the first radiation non-ideal magnetohydrodynamics (MHD) simulations of low-mass star cluster formation that resolve the fragmentation process down to the opacity limit. We model 50~M$_\odot$ turbulent clouds initially threaded by a uniform magnetic field with strengths of 3, 5 10 and 20 times the critical mass-to-magnetic flux ratio, and at each strength, we model both an ideal and non-ideal (including Ohmic resistivity, ambipolar diffusion and the Hall effect) MHD cloud. Turbulence and magnetic fields shape the large-scale structure of the cloud, and similar structures form regardless of whether ideal or non-ideal MHD is employed. At high densities ($10^6 \lesssim n_{\rm H} \lesssim 10^{11}$~cm$^{-3}$), all models have a similar magnetic field strength versus density relation, suggesting that the field strength in dense cores is independent of the large-scale environment. Albeit with limited statistics, we find no evidence for the dependence of the initial mass function on the initial magnetic field strength, however, the star formation rate decreases for models with increasing initial field strengths; the exception is the strongest field case where collapse occurs primarily along field lines. Protostellar discs with radii $\gtrsim 20$~au form in all models, suggesting that disc formation is dependent on the gas turbulence rather than on magnetic field strength. We find no evidence for the magnetic braking catastrophe, and find that magnetic fields do not hinder the formation of protostellar discs.
description: 24 pages, 19 figures. Accepted for publication in MNRAS. Videos available at https://www.youtube.com/watch?v=CLhmaOhj5RU&list=PLwI7am9c6sBjW69kfhfRDMR3Gz6nzOPOi
TARBIYACHI FAOLIYATIDA KASBIY MAHORAT VA IJODKORLIK SIFATLARI
Creators: name: Dilafruz Xudayberdiyevna Ziyadullayeva
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: ijodkorlik
qobilyat
maktabgacha ta’lim tashkilotlari
ijodiy
faoliyat

description: Ushbu maqolada maktabgacha ta’lim tashkilotlari tarbiyachilarining ijodiy faoliyati va uning tuzilish mexanizmlari, asoslari tarbiyachi faoliyatida ijodkorlikning ahamiyati. Tarbiyachining kasbiy mahorati va uning ijodiy faoliyati bilan bog’liqligi ko’rsatib o’tilgan.
Reappraising foreground contamination in the COBE-DMR data
Creators: name: Banday, A. J.
name: Dickinson, C.
name: Davies, R. D.
name: Davis, R. J.
name: Gorski, K. M.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: With the advent of all-sky H-Alpha surveys it is possible to determine a reliable free-free template of the diffuse interstellar medium (Dickinson, Davies & Davis 2003) which can be used in conjunction with the synchrotron and dust templates to correct CMB observations for diffuse Galactic foregrounds. We have used the COBE-DMR data at 31.5, 53 and 90 GHz and employed cross- correlation techniques to re-evaluate the foreground contributions, particularly that due to dust which is known to be correlated with H-Alpha (and free-free) emission.The DMR microwave maps are found to contain, as well as the expected synchrotron and free-free components, a component tightly correlated to the 140 micron dust maps of DIRBE. At 31.5, 53 and 90 GHz this emission is 6.3 +/- 0.6, 2.4 +/- 0.4 and 2.2 +/- 0.4 microK/(MJy/sr) at 140 microns respectively. When corrected for the contribution from thermal dust following model 7 of Finkbeiner, Davis & Schlegel (1999), a strong anomalous dust emission component remains, which is well-fitted by a frequency spectrum of the form $ν^{-β}$ where beta ~ 2.5 in the DMR frequency range; this is the dominant foreground at 31.5 GHz. The result implies the presence of an emission component with a dust-like morphology but a synchrotron-like spectrum. We discuss the possible origins of this component and compare it with the recent WMAP interpretation. The better knowledge of the individual foregrounds provided by the present study enables a larger area of the sky (|b|>15) to be used to re-appraise the CMB quadrupole normalisation, Qrms-PS, and the scalar perturbations spectral index, n. We find Qrms-PS=15.2^{+2.8}_{-2.3} with a power-law spectral index of n=1.2 +/- 0.2. These values are consistent with previous COBE-DMR analyses and the WMAP 1-year analysis.
description: 17 pages, 6 figures, replaced with version accepted for publication in MNRAS, contains new section comparing results to the WMAP foreground studies