cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Temperature dependence of acoustic properties of natural snail mucus by Brillouin spectroscopy
Creators: name: Hanlon, Dillon
Publisher: name: Memorial University of Newfoundland
Year: 2020

description: Brillouin light scattering was used to understand how the acoustic and mechanical properties of gastropod mucus are influenced by temperature over the temperature range -11ᴼC ≤ T ≤ 52ᴼC. Two peaks were observed in spectra obtained in this study, one which was present throughout the full temperature range and at a frequency shirt of ~8.0 GHz, while the other peak appeared at a shift of ~18.5 GHZ but only for temperatures below ~ -3.0ᴼC. Results for the 8.0 GHz liquid mucus peak showed minor changes in both frequency shift and FWHM for temperatures greater than -2.5ᴼC. As well, the intensity of this peak showed an overall increase as temperature increases. For temperatures below -2.5ᴼC, the sound velocity for the mucus mode sh owed an overall increase as temperature decreased, with a difference of ~11% between the sound velocity at T = -3.0ᴼC (1550 m/s) and -11.0ᴼC (1750 m/s). Moreover, the liquid mucus bulk modulus was also obtained and also shows an overall increase as temperature decreases in this temperature regime. Additionally, this 8.0 GHz peak also revealed an exponential decrease in the FWHM as temperature increased with linewidth ranging from 12 GHz to 0.6 GHz for temperatures T = 11.0ᴼC and 52.0ᴼC respectively. Likewise, sound absorption values were also obtained in this study and showed an exponential decrease as temperature increased with values ranging from ~ 120 X 10⁻¹⁵ s²/m to ~15 X 10⁻¹⁵ s²/m over the temperature range -11.0ᴼC ≤ T ≤ 52ᴼC for all samples. From the sound absorption, the interaction energy between the molecules in the mucus was obtained and showed a large change in its values for temperatures above and below T = 2.5ᴼC. The second peak occurring at ~18.5 GHz deemed due to ice Ih showed very small changes in frequency and linewidth as temperature decreases, as well it was seen that as the temperature decreased the intensity of this peak generally increased. The sound velocity for this mode increases slightly as temperature decreases with values ranging from 3800 to 3860 m/s for temperatures T = -3.0ᴼC and T = -11.0ᴼC respectively. Likewise, the bulk modulus of the ice slightly increases in this temperature regime. Collectively, the results from this work suggest a phase transition between a viscous liquid state to a mixed solid-liquid state. Comparison of the results obtained in this study is made to similar liquid systems (i.e., water, water and polymer mixtures).
"Can Virtual Replace In-person Coaching? Experimental Evidence on Teacher Professional Development and Student Learning"
Creators: name: Admin, RISE
name: Cilliers et al., Jacobus
Publisher: name: University of Oxford
Year: 2023
Subjects: Education policy
Teacher education and professional development of educators
Other education not elsewhere classified

description: This study compares two teacher professional development programmes aimed at improving teaching of early-grade ESL in South Africa and finds that face-to-face interactions between teachers and their coaches might yield better results in teacher training than more high-tech, virtual approaches.
Complexity reduction of C-algorithm
Creators: name: Bardet, Magali
name: Boussaada, Islam
Publisher: name: arXiv
Year: 2010
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 34C15, 34C25, 34C37

description: The C-Algorithm introduced in [Chouikha2007] is designed to determine isochronous centers for Lienard-type differential systems, in the general real analytic case. However, it has a large complexity that prevents computations, even in the quartic polynomial case. The main result of this paper is an efficient algorithmic implementation of C-Algorithm, called ReCA (Reduced C-Algorithm). Moreover, an adapted version of it is proposed in the rational case. It is called RCA (Rational C-Algorithm) and is widely used in [BardetBoussaadaChouikhaStrelcyn2010] and [BoussaadaChouikhaStrelcyn2010] to find many new examples of isochronous centers for the Liénard type equation.
Photoabsorption spectra and the X-ray edge problem in graphene
Creators: name: Roeder, Georg
name: Tkachov, Grigory
name: Hentschel, Martina
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We study the photoabsorption cross section and Fermi-edge singularities (FES) in graphene. For fillings below one half, we find, besides the expected FES in form of a peaked edge at the threshold (Fermi) energy, a second singularity to arise at excitation energies that correspond to the Dirac point in the density of states. We can explain this behaviour by comparing our results with the photoabsorption cross section of a metal with a small central band gap where we find a very similar signature. The existence of the second singularity might prove useful for an experimental determination of the Dirac point. We also demonstrate that the photoabsorption signal is enhanced by the zigzag edge states due to their metallic-like character. Since the presence of the edge states indicates a topological defect at the boundary, our study gives an example for a Fermi-edge singularity in a system with a topologically nontrivial electronic spectrum.
description: accepted for publication in Europhysics Letters (2011)
Citizen-led assessments
Creators: name: Admin, RISE
name: Hwa, Yue-Yi
name: Panzer, Taylor
Publisher: name: University of Oxford
Year: 2023
Subjects: Education policy
Teacher education and professional development of educators
Other education not elsewhere classified

description: This page explains that citizen-led assessments are assessments of learning that are developed, organized, and conducted by community members working to address the global learning crisis and explains what these assessment are useful for and who they are culturally relevant to.
Helmholtz solutions for the fractional Laplacian and other related operators
Creators: name: Guan, Vincent
Publisher: name: University of British Columbia
Year: 2022

description: We show that the bounded solutions to the fractional Helmholtz equation, (−∆)ˢ u = u for 0 < s < 1 in ℝⁿ, are given by the bounded solutions to the classical Helmholtz equation (−∆)u = u in ℝⁿ for n ≥ 2 when u is additionally assumed to be vanishing at ∞. When n = 1, we show that the bounded fractional Helmholtz solutions are again given by the classical solutions A cos(x) + B sin(x). We show that this classification of fractional Helmholtz solutions extends for 1 < s ≤ 2 and s ∈ ℕ when u ∈ C∞(ℝⁿ). Finally, we prove that the classical solutions are the unique bounded solutions to the more general equation ψ(−∆)u = ψ(1)u in ℝⁿ, when ψ is complete Bernstein and certain regularity conditions are imposed on the associated weight a(t).
Using GWAS Data to Identify Copy Number Variants Contributing to Common Complex Diseases
Creators: name: Zöllner, Sebastian
name: Teslovich, Tanya M.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Methodology (stat.ME)
subject: Genomics (q-bio.GN)
subject: FOS: Computer and information sciences
subject: FOS: Biological sciences

description: Copy number variants (CNVs) account for more polymorphic base pairs in the human genome than do single nucleotide polymorphisms (SNPs). CNVs encompass genes as well as noncoding DNA, making these polymorphisms good candidates for functional variation. Consequently, most modern genome-wide association studies test CNVs along with SNPs, after inferring copy number status from the data generated by high-throughput genotyping platforms. Here we give an overview of CNV genomics in humans, highlighting patterns that inform methods for identifying CNVs. We describe how genotyping signals are used to identify CNVs and provide an overview of existing statistical models and methods used to infer location and carrier status from such data, especially the most commonly used methods exploring hybridization intensity. We compare the power of such methods with the alternative method of using tag SNPs to identify CNV carriers. As such methods are only powerful when applied to common CNVs, we describe two alternative approaches that can be informative for identifying rare CNVs contributing to disease risk. We focus particularly on methods identifying de novo CNVs and show that such methods can be more powerful than case-control designs. Finally we present some recommendations for identifying CNVs contributing to common complex disorders.
description: Published in at http://dx.doi.org/10.1214/09-STS304 the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Pseudo-Calabi Flow
Creators: name: Chen, Xiuxiong
name: Zheng, Kai
Publisher: name: arXiv
Year: 2010
Subjects: subject: Differential Geometry (math.DG)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: We first define Pseudo-Calabi flow, as {equation*} {{aligned}{{\partial φ}\over {\partial t}}&= -f(φ), \triangle_varphi f(φ) &= S(φ) - \ul S.{aligned}. \end{equation*} Then we prove the well-posedness of this flow including the short time existence, the regularity of the solution and the continuous dependence on the initial data. Next, we point out that the $L^\infty$ bound on Ricci curvature is an obstruction to the extension of the pseudo-Calabi flow. Finally, we show that if there is a cscK metric in its Kähler class, then for any initial potential in a small $C^{2,α}$ neighborhood of it, the pseudo-Calabi flow must converge exponentially to a nearby cscK metric.
description: 46 pages
A numerical study of microfluidic devices coupled with dielectrophoresis for overlapping size cell separation
Creators: name: Khan, Mohammed
Publisher: name: Washington State University
Year: 2022

description: Separation of pure population of cells from complex and heterogeneous cell mixtures has
description: immense application on therapeutics and diagnostics of diseases. Chinese hamster ovary (CHO)
description: cell in its viable form is the most widely used mammalian cell line for commercial production of
description: therapeutic protein. On the other hand, Circulating tumor cells (CTCs) are proven elements to have
description: significant prognostic, diagnostic, and clinical values in early-stage cancer detection. Thus,
description: separation of nonviable CHO cells from suspending medium is critical in biopharmaceutical
description: sectors and isolation of CTCs from peripheral blood for proper drug innovation in medical sectors.
description: Passive microfluidic techniques, which can use the geometry to utilize intrinsic fluidic forces to
description: separate different sized cells, are getting attention as a high-throughput microchip technique.
description: Despite extensive performance to separate different size cells, this technique suffers when
description: similarity of size between cells of specific types of CTCs and WBCs or viable and non-viable
description: CHO cells are present. On the other hand, an active technique, i.e., dielectrophoresis, lacks the
description: desired high throughput. Here, two different hybrid microfluidic techniques, one with Deterministic Lateral Displacement (DLD) and another with inertial microfluidics, are tested with
description: CTC and CHO. First, we demonstrated that a DLD device could be combined with a frequencybased AC electric field to perform high-resolution continuous separation of nonviable CHO cells
description: from the viable cells. This coupled DLD-DEP device's behavior is further investigated by
description: employing numerical simulation to check the effect of geometrical parameters of the DLD arrays,
description: velocities of the flow field, and required applied voltages. In the following work, we proposed a
description: hybrid technique that combines inertia microfluidics and dielectrophoresis in order to separate
description: CTCs from overlapping size WBCs through the use of a sheath flow. The cell trajectories along
description: with fluid fields are modeled to investigate the effects of different applied electrical voltages and
description: Reynold numbers on separation characteristics. This technique could be exploited to design a
description: microchip for continuous separation for any cell beads, controlled simply by adjusting the external
description: field frequency
Quantum Sign Permutation Polytopes
Creators: name: Wilmott, Colin
name: Kampermann, Hermann
name: Bruss, Dagmar
Publisher: name: arXiv
Year: 2010
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Convex polytopes are convex hulls of point sets in the $n$-dimensional space $\E^n$ that generalize 2-dimensional convex polygons and 3-dimensional convex polyhedra. We concentrate on the class of $n$-dimensional polytopes in $\E^n$ called sign permutation polytopes. We characterize sign permutation polytopes before relating their construction to constructions over the space of quantum density matrices. Finally, we consider the problem of state identification and show how sign permutation polytopes may be useful in addressing issues of robustness.
The H.E.S.S. Gravitational Wave Rapid Follow-up Program
Creators: name: Ashkar, Halim
name: Brun, Francois
name: Füssling, Matthias
name: Hoischen, Clemens
name: Ohm, Stefan
name: Prokoph, Heike
name: Reichherzer, Patrick
name: Schüssler, Fabian
name: Seglar-Arroyo, Monica
Publisher: name: Deutsches Elektronen-Synchrotron, DESY, Hamburg
Year: 2020
Subjects: gamma ray: emission
binary: coalescence
binary: compact
energy: high
localization
HESS
gamma ray: VHE
gravitational radiation
electromagnetic
galaxy
VIRGO
LIGO
interferometer
observatory
performance
space-time
network

description: Gravitational Wave (GW) events are physical processes that significantly perturbate space-time, e.g. compact binary coalescenses, causing the production of GWs. The detection of GWs by a worldwide network of advanced interferometers offer unique opportunities for multi-messenger searches and electromagnetic counterpart associations. While carrying extremely useful information, searches for associated electromagnetic emission are challenging due to large sky localisation uncertainties provided by the current GW observatories LIGO and Virgo. Here we present the methods and procedures used within the High Energy Stereoscopic System (H.E.S.S.) in searches for very-high-energy (VHE) gamma-ray emission associated to the emission of GWs from extreme events. To do so we create several algorithms dedicated to schedule GW follow-up observations by creating optimized pointing paterns. We describe algorithms using 2-dimensional GW localisation information and algorithms correlating the galaxy distribution in the local universe, by using galaxy catalogs, with the 3-dimensional GW localisation information and evaluate their performances. The H.E.S.S. automatic GW follow-up chain, described in this paper, is optimized to initiate GW follow-up observations within less than 1 minute after the alert reception. These developements allowed H.E.S.S. observations of 6 GW events out of the 67 non-retracted GW events detected during the first three observation runs of LIGO and Virgo reaching VHE $\gamma$-ray coverages of up to 70% of the GW localisation.
Coherence
Creators: name: Admin, RISE
name: Hwa, Yue-Yi
name: Spivack, Marla
name: Amstrup, Alexander
Publisher: name: University of Oxford
Year: 2023
Subjects: Education policy
Teacher education and professional development of educators
Other education not elsewhere classified

description: This page highlights the importance of coherence in RISE Education systems framework which characterizes the system as a set of relationships, and the outcomes of the system as an emergent property of the interactions and feedback loops between the elements. A key conjecture of this framework is that systems deliver learning when their relationships are aligned or coherent for learning.
Introduction of 5,6-dihydro-4H-cyclopenta[b]thiophene core unit into phenyl-tolane: Expanding the mesophase range and increasing the birefringence and dielectric anisotropy of liquid crystal
Creators: name: Wan, Danyang
name: Shi, Fengjiao
name: Che, Zhaoyi
name: Mo, Lingchao
name: Hu, Minggang
name: Guo, Qiang
name: Li, Juanli
name: An, Zhongwei
name: Li, Jian
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Biophysics
subject: Biochemistry
subject: Space Science
subject: Physical Sciences not elsewhere classified
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Ecology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified

description: Six novel phenyl-tolane type liquid crystals based on 5,6-dihydro-4 H-cyclopenta[b]thiophene core were designed and synthesised by Sonogashira coupling reactions in high yields. Two reference compounds were then used to clarify the effects of this new core on the mesomorphic behaviours and physical properties of phenyl-tolane type mesogens and found that these new core-based mesogens possessed wider mesophase ranges. Both the birefringence (Δn) and dielectric anisotropy (Δε) values were increased after the employment of this new core, offering an alternative option for the design and synthesis of high-performance phenyl-tolanes. The geometry, ultraviolet absorption, polarisability (α) and dipole moment (μ) of two representative compounds and their references were calculated by density functional theory to correlate the structure–property relationship of the new mesogens. The calculated energy minimum structures of the new mesogens showed well linearity and the molecular length/width ratio was increased, which would benefit the formation of the nematic phase. The orders of the calculated polarisability (α) and dipole moment (μ) of two representative compounds and their references were in accordance with the sequences of the measured birefringence (Δn) and dielectric anisotropy (Δε) values, respectively, which might shed light on the correlation between microscopic molecular structure and macroscopic physical properties.
Brave New World: Digital Archaeology at Molino San Vincenzo/Tuscany (ITA)
Creators: name: Hagmann, Dominik
Publisher: name: Zenodo
Year: 2021
Subjects: subject: digital archaeology
subject: excavation
subject: master's thesis
subject: rural settlement
subject: Tuscany
subject: http://vocab.getty.edu/page/aat/300054328

description: The presented thesis deals with the topic of digitalization in the humanities and has a clear focus on digital archaeology. Within this methodological and theoretical framework and as a case study, the implementation of various digital archaeological methods is tested in course of a modern archaeological research and training excavation at “Molino San Vincenzo” in Tuscany/Italy. The site is located on farmland in the Pesa valley near Florence and Empoli in the municipality of Montespertoli and has been seriously damaged by modern plowing. However, various archaeological structures were clearly identified by different invasive and non-invasive investigations. The material culture can be interpreted as remnants of an ancient medium-sized settlement. Since 2012, the Department of Classical Archaeology at the University of Vienna studies the site archaeologically. Digital archaeology at the site of Molino San Vincenzo is mainly based on the intense use and combination of different methods, like (nearly) fully digitized and GIS-based excavation workflows, enhanced metadata recording of the excavation process using video documentation, and a science to science/public data dissemination concept considering social media, open access, and long term data archiving. These diverse concepts of gathering, managing, and presenting digital archaeological data are critically evaluated in course of the thesis. Therefore, the lecture tries to question the relevance and (dis)advantages of integrating digital archaeology in today's field research in practice and theory. The talk takes the significant quantitative (and qualitative?) increase of digital data into account and considers special aspects like the usefulness of paperless fieldwork, time- and cost-efficiency of digital documentation tools, storage space requirements, and archaeological information quality. All in all, the lecture wants to evaluate the possibilities as well as the limits of state-of-the-art computing in archaeology and the role it plays in gaining archaeological knowledge.
Supplementary Figure: Testing the salinity of Cambrian to Silurian epicratonic seas
Creators: name: Liu, Zhanhong
name: Algeo, Thomas J.
name: Arefifard, Sakineh
name: Wei, Wei
name: Brett, Carlton
name: Landing, Ed
name: Lev, Steven M.
Publisher: name: Geological Society of London
Year: 2024
Subjects: classificationCode: 3705
subject: Geology
subject: FOS: Earth and related environmental sciences

description: Figure S1.
Biometric Cards for Indian Population: Role of Mathematical Models in Assisting and Planning
Creators: name: Rao, Arni S. R. Srinivasa
Publisher: name: arXiv
Year: 2011
Subjects: subject: Applications (stat.AP)
subject: Other Quantitative Biology (q-bio.OT)
subject: Quantitative Methods (q-bio.QM)
subject: FOS: Computer and information sciences
subject: FOS: Biological sciences
subject: 92D25

description: Mathematical models could be helpful in assisting the Indian Government's new initiative of issuing biometric cards to its citizens. In this note, we look into the role of mathematical models in estimating the missing, non-enumerated population numbers, estimating annual numbers of cards required by age, gender and regions in India. The linkage between National Population Register and biometric cards is also highlighted. See technical Appendices. There are other scientific issues, namely, electronic, data storage management, identity verification etc, which we do not address in this paper.
description: Short note
Chemical modification of drugs to promote their self-assembly into nanoparticles for improved delivery
Creators: name: Nguyen, Anne
Publisher: name: University of British Columbia
Year: 2023

description: Many small molecule drugs face challenges with aqueous solubility during their development, which can lead to issues with drug delivery. A commonly employed method to improve the solubility and delivery of drug-like molecules is to modify the compounds with hydrophilic groups. However, it can be very challenging to incorporate these groups without sacrificing the activity of the molecule. Alternative approaches include encapsulating the hydrophobic drug into a delivery vessel, such as a nanoparticle (NP), or introducing functional groups that help with solubility and delivery of the drug-like molecule but are cleaved in biological settings to release the original drug molecule (for example, a prodrug approach). Combining these approaches, a hydrophilic group such as water-soluble polymer poly(ethylene glycol) (PEG) can be added to a hydrophobic drug molecule to produce an “amphiphile”. These amphiphiles can self-assemble in aqueous media to form NPs where the hydrophobic, poorly water-soluble drug is protected in the core and the water-soluble polymer forms the outer shell. These NPs can have prolonged circulation, reduced clearance, and may therefore enhance efficacy. These PEG groups are appended to the molecule via a functional group that can be cleaved under biological conditions to release the active drug molecule. The physicochemical and pharmacological properties of these NPs can be modulated by altering different aspects of the amphiphilic drug-PEG conjugate. To optimize these conjugates and maximize their therapeutic potential, it is important to take a structure-activity relationship (SAR)-based approach when undertaking such an investigation. To facilitate the rapid and facile generation of drug conjugates, this thesis focused on developing a new platform technology using azide-alkyne click chemistry. Small molecule drugs with poor aqueous solubility were “clicked” to linear short-chain PEG. The resulting PEG conjugates then self-assembled into NPs. Multiple conjugates were generated to demonstrate the robustness and versatility of this technology. This thesis demonstrated that the developed click chemistry platform is a robust synthetic technology that has potential application to improve the delivery of poorly soluble drugs.
On Integrability of Type 0A Matrix Model in the Presence of D brane
Creators: name: Paul, Chandrima
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider type 0A matrix model in the presence of a spacelike D brane,localized in matter direction at any arbitrary point. It appears that in order to have an appropriate string/MQM correspondence we must need to impose a constraint on the matrix model side which is equivalent to an operator constraint on the matter part of the boundary state that arises from open string boundary condition. This condition constrains the Hilbert space generated by the macroscopic loop operator but the bulk matrix model remains unaffected, thereby describing a situation parallel to string theory. We have analyzed the constrained theory with uncompactified as well as compactified time and have shown that it is in good agreement with string theory. Without this constraint, the grand canonical partition function for MQM on a circle in the presence of the brane diverges while the constrained partition function is finite and corresponds to that of a deformed Fermi surface, as expected within the compactified theory. Matrix model path integral on a circle in the presence of the brane is expressed as Fredholm determinant. We consider matrix model in the presence of the brane, to be perturbed by momentum modes. We obtain the expression of MQM wave function in this background from collective field theory analysis. We have shown with the help of this constraint that the grand canonical partition function has an integrable structure and can be expressed as tau function of Toda hierarchy. Finally we have analyzed the dispersionless limit.
description: LaTeX file, 45 pages. arXiv admin note: substantial text overlap with arXiv:hep-th/0208034, arXiv:hep-th/0205079, arXiv:hep-th/0312236, arXiv:hep-th/0402196, arXiv:hep-th/0303190, arXiv:hep-th/0311273 by other authors
title: ÐÑÐ¾ÐµÐºÑ ÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ ÑÑÑÐ°ÑÐµÐ³Ð¸Ð¸ Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð³Ð¾ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ Ð¿ÑÐµÐ´Ð¿ÑÐ¸ÑÑÐ¸Ñ (Ð½Ð° Ð¿ÑÐ¸Ð¼ÐµÑÐµ ÐÐÐ "ÐÐµÐ½ÑÐ°")
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: The project of forming a strategy for the innovative development of the enterprise (on the example Lenta Ltd.)
Creators: name: Ð¡Ð¾ÑÐ¸Ð¼Ð¾Ð², ÐÑÐ°Ð´Ð±ÐµÐº
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2021
Subjects: Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¸
Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÑÑÐ°ÑÐµÐ³Ð¸Ñ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ Ð¿ÑÐµÐ´Ð¿ÑÐ¸ÑÑÐ¸Ñ
ÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ ÑÑÑÐ°ÑÐµÐ³Ð¸Ð¸ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ Ð¿ÑÐµÐ´Ð¿ÑÐ¸ÑÑÐ¸Ñ
Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¾Ð½Ð½ÑÐ¹ Ð¿Ð¾ÑÐµÐ½ÑÐ¸Ð°Ð»
innovation
innovative enterprise development strategy
formation of enterprise development strategy
innovative potential

description: Ð¢ÐµÐ¼Ð° Ð²ÑÐ¿ÑÑÐºÐ½Ð¾Ð¹ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ: Â«ÐÑÐ¾ÐµÐºÑ ÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ ÑÑÑÐ°ÑÐµÐ³Ð¸Ð¸ Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð³Ð¾ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ (Ð½Ð° Ð¿ÑÐ¸Ð¼ÐµÑÐµ ÐÐÐ Â«ÐÐµÐ½ÑÐ°Â»)Â». Ð ÑÐ¾Ð´Ðµ Ð´Ð°Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ Ð±ÑÐ»Ð¸ Ð¸Ð·ÑÑÐµÐ½Ñ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ðµ Ð¿Ð¾Ð´ÑÐ¾Ð´Ñ Ðº ÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ ÑÑÑÐ°ÑÐµÐ³Ð¸Ð¹ Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð³Ð¾ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ Ð¿ÑÐµÐ´Ð¿ÑÐ¸ÑÑÐ¸Ð¹. Ð¢Ð°ÐºÐ¶Ðµ Ð±ÑÐ»Ð¸ ÑÐ°ÑÑÐ¼Ð¾ÑÑÐµÐ½Ñ ÑÐ¾Ð²ÑÐµÐ¼ÐµÐ½Ð½ÑÐµ Ð¼ÐµÑÐ¾Ð´Ð¸ÐºÐ¸ Ð´Ð»Ñ Ð²ÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ ÑÑÐ°Ð¿Ð¾Ð² ÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Ð¸ ÑÐµÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ ÑÑÑÐ°ÑÐµÐ³Ð¸Ð¸ Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð³Ð¾ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ. Ð Ð°ÑÑÐ¼Ð¾ÑÑÐµÐ½ Ð¸ Ð¿ÑÐ¾Ð²ÐµÐ´ÑÐ½ Ð°Ð½Ð°Ð»Ð¸Ð· Ð´ÐµÑÑÐµÐ»ÑÐ½Ð¾ÑÑÐ¸ ÐÐÐ Â«ÐÐµÐ½ÑÐ°Â». ÐÐ¾Ð»ÑÑÐµÐ½Ð½ÑÐµ Ð´Ð°Ð½Ð½ÑÐµ Ð±ÑÐ»Ð¸ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ñ Ð´Ð»Ñ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ¸ Ð±Ð°Ð·Ð¾Ð²Ð¾Ð¹ ÑÑÑÐ°ÑÐµÐ³Ð¸Ð¸ Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð³Ð¾ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ Ð´Ð»Ñ ÐÐÐ Â«ÐÐµÐ½ÑÐ°Â», Ð° ÑÐ°ÐºÐ¶Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð° Ð¼ÐµÑÐ¾Ð´Ð¸ÐºÐ° Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸Ñ Ð±Ð°Ð·Ð¾Ð²Ð¾Ð¹ ÑÑÑÐ°ÑÐµÐ³Ð¸Ð¸ Ð² Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½Ð¾Ð¼ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ð¸ AllFusion Process Modeler Ð¸ Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼ Ð²Ð½ÐµÐ´ÑÐµÐ½Ð¸Ñ ÑÑÑÐ°ÑÐµÐ³Ð¸Ð¸ Ð¸Ð½Ð½Ð¾Ð²Ð°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð³Ð¾ ÑÐ°Ð·Ð²Ð¸ÑÐ¸Ñ Ð² ÐÐÐ Â«ÐÐµÐ½ÑÐ°Â».
description: The subject of the graduate qualification work is "The project of forming the strategy of innovative development (on the example of Lenta Ltd.)". In the course of this work, the existing approaches to the formation of strategies for the innovative development of enterprises were studied. Also, modern methods were considered for performing the stages of formation and implementation of the strategy of innovative development. The analysis of the activities of Lenta Ltd. is considered and carried out. Based on the data obtained, a basic innovation development strategy for Lenta Ltd. was developed, as well as a methodology for using the AllFusion Process Modeler software and an algorithm for implementing an innovative development strategy in Lenta Ltd. was developed.
title: CMR flow analysis: an essential diagnostic tool in pre and post-operative congenital heart diseases
Creators: name: Tantawy, Sara
Publisher: name: European Congress of Radiology
Year: 2019
Subjects: subject: Haemodynamics / Flow dynamics
subject: Computer Applications-Detection, diagnosis
subject: MR-Angiography
subject: MR
subject: Paediatric
subject: Cardiovascular system
subject: Cardiac

description: Learning objectives Background Findings and procedure details Conclusion Personal information References
description: Learning objectives: Learn the basic principles of phase contrast MRI flow sequence acquisition Understand the concept of flow quantification and Qp/Qs calculation and how it aids decision making in different cases of congenital heart diseases Emphasize on its role in...
Compact
Creators: name: Admin, RISE
name: Hwa, Yue-Yi
name: Spivack, Marla
name: Belafi, Carmen
Publisher: name: University of Oxford
Year: 2023
Subjects: Education policy
Teacher education and professional development of educators
Other education not elsewhere classified

description: This page presents compact as a relationship in the RISE Systems Framework which, in many countries, is structured in a way that prevents the education system from achieving the full array of articulated goals governments have for their education system. The Compact relationship requires empowered agents with a shared vision and purpose to achieve learning goals.
Optical microcavity with semiconducting single-wall carbon nanotubes
Creators: name: Gaufrès, Etienne
name: Izard, Nicolas
name: Roux, Xavier Le
name: Kazaoui, Saïd
name: Marris-Morini, Delphine
name: Cassan, Eric
name: Vivien, Laurent
Publisher: name: arXiv
Year: 2010
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We report studies of optical Fabry-Perot microcavities based on semiconducting single-wall carbon nanotubes with a quality factor of 160. We experimentally demonstrate a huge photoluminescence signal enhancement by a factor of 30 in comparison with the identical film and by a factor of 180 if compared with a thin film containing non-purified (8,7) nanotubes. Futhermore, the spectral full-width at half-maximum of the photo-induced emission is reduced down to 8 nm with very good directivity at a wavelength of about 1.3 $μ$m. Such results prove the great potential of carbon nanotubes for photonic applications.
Dilepton Signal of a Type-II Seesaw at CERN LHC: Reveals a TeV Scale B-L Symmetry
Creators: name: Majee, Swarup Kumar
name: Sahu, Narendra
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We explore the discovery potential of doubly charged Higgs bosons (ξ^{\pm\pm}) at the CERN Large Hadron Collider (LHC). For moderate values of the coupling constants in the original Type-II seesaw model, these doubly-charged Higgs bosons are not accessible by any present or near future collider experiments. In a gauged B-L symmetric model we introduce two triplet scalars to execute a variant of type-II seesaw at the TeV scale. This leads to a clear like-sign dilepton signal in the decay mode of ξ^{\pm\pm} for a small vacuum expectation value (\lsim 10^5 \eV) of the triplet scalar ξ= (ξ^{++}, ξ^+, ξ^0) of mass \lsim 1 \TeV. To be specific, for a mass range of 200-1000 GeV of ξ^{\pm\pm}, the like-sign dilepton signal can be detected at CERN LHC at a center of mass energy 14 TeV with an integrated luminosity > 30 {\rm fb}^{-1}. The same analysis is also pursued with center of mass energies 7 TeV and 10 TeV as well. We also comment on the decay mode of singly charged scalars and neutral B-L gauge boson in this model.
description: Minor change in Introduction, Z' contribution to the production of doubly charged scalars are explicitly shown, new figures added, new references added. To appear in Physical Review D
The WIRCAM Deep Infrared Cluster Survey I: Groups and Clusters at z > 1.1
Creators: name: Bielby, R. M.
name: Finoguenov, A.
name: Tanaka, M.
name: McCracken, H. J.
name: Daddi, E.
name: Hudelot, P.
name: Ilbert, O.
name: Kneib, J. P.
name: Févre, O. Le
name: Mellier, Y.
name: Nandra, K.
name: Petitjean, P.
name: Srianand, R.
name: Stalin, C. S.
name: Willott, C. J.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We use CFHTLS deep optical data, WIRCam Deep Survey (WIRDS) NIR data and XMM data to identify z>1.1 clusters in the CFHTLS D1 and D4 fields. Counterparts to such clusters can not be identified without deep NIR data and as such the total of =1deg2 of J , H & Ks band imaging provided by WIRDS is an indispensable tool in such work. Using public XMM X-ray data, we identify extended X-ray sources in the two fields. The resulting catalogue of extended X-ray sources was analyzed for optical/NIR counterparts, using a red-sequence algorithm. Redshifts of candidate groups and clusters were estimated using the median photometric redshifts of detected counterparts and where available spectroscopic data. Additionally, we surveyed X-ray point sources for potential group systems at the limit of our detection range in the X-ray data. A catalogue of z > 1.1 cluster candidates in the two fields has been compiled and cluster masses, radii and temperatures have been estimated using the scaling relations. The catalogue consists of 15 z > 1.1 candidates. Three of the detections are previously published extended X-ray sources. Of note is JKSC 041 for which we identify possible structures at z = 0.8, z = 0.96, z = 1.13 and z = 1.49. We also make an independent detection of the massive cluster, XMMXCS J2215.9-1738. We use the z > 1.1 catalogue to compare the cluster number counts in these fields with models based on WMAP 7-year cosmology and find that the models slightly over-predict the observations, whilst at z>1.5 we do not detect any clusters. We note that cluster number counts at z > 1.1 are highly sensitive to the cosmological model, however a significant reduction in present statistical (due to available survey area) and systematic (due to cluster scaling relations) uncertainties is required in order to confidently constrain cosmological parameters using cluster number counts at high redshift.
description: 22 pages, 22 figures, Accepted 4 August 2010
The Bogomolov-Miyaoka-Yau inequality for stacky surfaces
Creators: name: Chen, Jiun-Cheng
name: Tseng, Hsian-Hua
Publisher: name: arXiv
Year: 2011
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We present a generalization of the Bogomolov-Miyaoka-Yau inequality to Deligne-Mumford surfaces of general type.
description: v.2, 11 pages, Taiwanese Journal of Mathematics (to appear)
An intensive review of the literature: exploring emotional and behavioral disorders and effective interventions
Creators: name: ALKHUSHAYBAN, KHAWLAH K S
Publisher: name: Washington State University
Year: 2021

description: Individuals with emotional/behavioral disorders can demonstrate a wide range of
description: inappropriate behaviors, including internalized and externalized behaviors. This intensive
description: review of the literature was focused on examining the characteristics of students with
description: emotional/behavioral disorders, the academic and social/behavioral challenges these students
description: face, as well as effective interventions designed to decrease the inappropriate and increase the
description: appropriate behaviors of such students. In addition, insights into current research regarding the
description: knowledge and skills of preservice teachers related to working with students with
description: emotional/behavioral disorders were examined. Implications for application of the research
description: findings as well as recommendations for future research are provided.
COVID-19 and education systems
Creators: name: Admin, RISE
name: Hwa, Yue-Yi
name: Amstrup, Alexander
name: Spivack, Marla
Publisher: name: University of Oxford
Year: 2023
Subjects: Education policy
Teacher education and professional development of educators
Other education not elsewhere classified

description: This page illustrates RISE research on the negative impact of COVID-19 on global education systems which has exacerbated challenges that already existed pre-pandemic and shows that while the majority of children around the world attend school, a large proportion of them are not learning.
DESIGNING MULTI-SCALE FUNCTIONALITIES IN 3D PRINTED TITANIUM AND TANTALUM METAL IMPLANTS TOWARD EARLY-STAGE OSSEOINTEGRATION
Creators: name: Mitra, Indranath
Publisher: name: Washington State University
Year: 2022

description: In recent years, advanced materials research in implantable metallic devices for bone tissue engineering has significantly influenced orthopedic and dental applications. However, these devices' practical usage still has several challenges concomitant to acquiring and retaining biological fixation at the implant site. An important goal of current biomaterials research is to induce and accelerate bone tissue growth around the implants. In addition to rapid wound healing at the surgery site, these implants must have adequate biomechanical characteristics. This dissertation elaborates on investigating the effect of developing surface charge on Titania (TiO2) nanotubes and assessed it’s in vitro and in vivo early-stage osseointegration. Growing TiO2 nanotubes on commercially pure titanium led to the introduction of bioactivity in an otherwise bioinert material via physical anchoring surface for the bone tissue to bond. Surface charge enhances makes the surfaces more hydrophilic and better suited for cellular interactions. We have further explored the effect of compositional modifications through alloying titanium (Ti) with tantalum (Ta) to induce bioactivity. Comparisons among porous and dense Ti-Ta with and without surface modification through TiO2 nanotubes were drawn to assess the variation in cellular interactions and in vivo early-stage bone regeneration.
description: Our results indicate a stored charge of 37.15 ± 14 mC/cm2 for TNT surfaces. Histomorphometric analyses show ~40% increase in mineralized bone formation around the TNT-P implants than the TNTs at 5 weeks, indicative of accelerated bone remodeling cycle. We have shown comparable performance of porous Ta and surface-modified porous Ti64 implants towards early-stage osseointegration at 5 weeks post-implantation through seamless bone-material interlocking. However, a continued and extended efficacy of porous Ta is found in terms of higher osteoid formation at 12 weeks post-surgery. Alloying Ta with Ti during additive fabrication resulted in an overall decrease in elastic modulus of Ti (Ti: 110GPa, 25Ta: 63± 5.5 GPa), helping circumvent any mechanical instability that can arise from a very high mismatch in modulus. Consequently, porous Ti-Ta alloys exhibited increased osseous tissue formation at the implant-bone interface (70% trabecular bone formation in rabbit femur), providing evidence of the superior biological performance of the material towards early-stage bone healing.
Frequency and wave number dependence of the shear correlator in strongly coupled hot Yang-Mills theory
Creators: name: Kajantie, K.
name: Krssak, Martin
name: Vepsalainen, M.
name: Vuorinen, Aleksi
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We use AdS/QCD duality to compute the finite temperature Green's function G(omega,k;T) of the shear operator T_12 for all omega,k in hot Yang-Mills theory. The goal is to assess how the existence of scales like the transition temperature and glueball masses affects the correlator computed in the scalefree conformal N=4 supersymmetric Yang-Mills theory. We observe sizeable effects for T close to T_c which rapidly disappear with increasing T. Quantitative agreement of these predictions with future lattice Monte Carlo data would suggest that QCD matter in this temperature range is strongly interacting.
description: 27 pages, 20 figures
ROS-X-Habitat : bridging the ROS ecosystem with embodied AI
Creators: name: Yang, Haoyu
Publisher: name: University of British Columbia
Year: 2022

description: We introduce ROS-X-Habitat, a software interface that bridges the AI Habitat plat- form for embodied reinforcement learning agents with other robotics resources via ROS. This interface not only offers standardized communication protocols between embodied agents and simulators, but also enables physics-based simulation. With this interface, roboticists are able to train their own Habitat RL agents in another simulation environment or to develop their own robotic algorithms inside Habitat Sim. Through in silico experiments, we demonstrate that ROS-X-Habitat has minimal impact on the navigation performance and simulation speed of Habitat agents; that a standard set of ROS mapping, planning and navigation tools can run in the Habitat simulator, and that a Habitat agent can run in the standard ROS simulator Gazebo. Furthermore, to show how ROS-X-Habitat can be used in data collection and RL training, we present the training and evaluation of an agent we train to perform a multiple point goal navigation task we define.
title: Ð¢Ð¸Ð¿Ñ-ÑÑÐ¾ÑÐ½ÐµÐ½Ð¸Ñ Ð¸ Ð¸Ñ Ð²ÑÐ²Ð¾Ð´ Ð´Ð»Ñ ÑÐ·ÑÐºÐ° Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ Kotlin
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¼Ð°Ð³Ð¸ÑÑÑÐ°
titleType: Subtitle
title: Refinement types and their inference for Kotlin programming language
Creators: name: Ð¡Ð¾Ð±Ð¾Ð»Ñ, ÐÐ°Ð»ÐµÐ½ÑÐ¸Ð½
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2020
Subjects: ÑÐ¸Ð¿Ñ-ÑÑÐ¾ÑÐ½ÐµÐ½Ð¸Ñ
Kotlin
Ð¾Ð³ÑÐ°Ð½Ð¸ÑÐµÐ½Ð½ÑÐµ Ð´Ð¸Ð·ÑÑÐ½ÐºÑÑ Ð¥Ð¾ÑÐ½Ð°
refinement types
constrained Horn clauses

description: ÐÐ°Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð¸Ð·ÑÑÐµÐ½Ð¸Ñ Ð²Ð¾Ð·Ð¼Ð¾Ð¶Ð½Ð¾ÑÑÐ¸ Ð¿ÑÐ¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ñ Ð¿Ð¾Ð´ÑÐ¾Ð´Ð° Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ ÑÐ¸Ð¿Ð¾Ð²-ÑÑÐ¾ÑÐ½ÐµÐ½Ð¸Ð¹ Ðº Ð°Ð½Ð°Ð»Ð¸Ð·Ñ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼ Ð½Ð° ÑÐ·ÑÐºÐµ Kotlin.
Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½ÑÐ¹ Ð¿Ð¾Ð´ÑÐ¾Ð´ Ðº Ð²ÑÐ²Ð¾Ð´Ñ ÑÐ¸Ð¿Ð¾Ð²-ÑÑÐ¾ÑÐ½ÐµÐ½Ð¸Ð¹ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÐµÑ Ð¸Ð½ÑÐ¾ÑÐ¼Ð°ÑÐ¸Ñ Ð¾ Ð¿ÑÑÑÑ Ð¸ÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ð¸Ñ ÑÑÐ½ÐºÑÐ¸Ð¸ Ð´Ð»Ñ Ð²ÑÐ²Ð¾Ð´Ð° ÑÐ¸Ð¿Ð¾Ð²-ÑÑÐ¾ÑÐ½ÐµÐ½Ð¸Ð¹ ÐµÑ Ð°ÑÐ³ÑÐ¼ÐµÐ½ÑÐ¾Ð². ÐÑÐ²Ð¾Ð´ ÑÐ¸Ð¿Ð¾Ð²-ÑÑÐ¾ÑÐ½ÐµÐ½Ð¸Ð¹ Ð²ÑÐ¿Ð¾Ð»Ð½ÑÐµÑÑÑ Ð·Ð° ÑÑÑÑ Ð¿Ð¾ÑÑÑÐ¾ÐµÐ½Ð¸Ñ ÑÐ¸ÑÑÐµÐ¼Ñ Ð¾Ð³ÑÐ°Ð½Ð¸ÑÐµÐ½Ð½ÑÑ Ð´Ð¸Ð·ÑÑÐ½ÐºÑÐ¾Ð² Ð¥Ð¾ÑÐ½Ð° Ð¸ Ð¿Ð¾ÑÐ»ÐµÐ´ÑÑÑÐµÐ³Ð¾ ÐµÑ ÑÐµÑÐµÐ½Ð¸Ñ. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð±ÑÐ» ÑÐµÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½ Ð¿ÑÐ¾ÑÐ¾ÑÐ¸Ð¿ ÑÐ¸ÑÑÐµÐ¼Ñ, ÑÐµÐ°Ð»Ð¸Ð·ÑÑÑÐµÐ¹ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½ÑÐ¹ Ð¿Ð¾Ð´ÑÐ¾Ð´. ÐÑÐ»Ð¾ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð¾ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ðµ ÐºÐ°ÑÐµÑÑÐ²Ð° ÑÐ°Ð±Ð¾ÑÑ Ð¿ÑÐ¾ÑÐ¾ÑÐ¸Ð¿Ð°, Ð¿Ð¾ ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐ°Ð¼ ÐºÐ¾ÑÐ¾ÑÐ¾Ð³Ð¾ Ð±ÑÐ»Ð¾ Ð¿ÑÐ¸Ð½ÑÑÐ¾ ÑÐµÑÐµÐ½Ð¸Ðµ Ð¾ Ð¿ÑÐ¸Ð¼ÐµÐ½Ð¸Ð¼Ð¾ÑÑÐ¸ ÑÐ¾Ð·Ð´Ð°Ð½Ð½Ð¾Ð³Ð¾ Ð¿Ð¾Ð´ÑÐ¾Ð´Ð°.
description: This work is devoted to studying the possibility of using an approach based on refinement types to the analysis on Kotlin language programs. The developed approach to the refinement type inference infer refinement types for function arguments based on function execution paths. The inference of type refinements is carried out by constructing a system of constrained Horn clauses and its subsequent solution. As a result, a prototype system that implements the developed approach was implemented. The quality of the prototype was evaluated and the applicability of the created approach was decided according to the results.
Stochastic ranking process with time dependent intensities
Creators: name: Hariya, Yuu
name: Hattori, Kumiko
name: Hattori, Tetsuya
name: Nagahata, Yukio
name: Takeshima, Yuusuke
name: Kobayashi, Takahisa
Publisher: name: arXiv
Year: 2010
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: We consider the stochastic ranking process with the jump times of the particles determined by Poisson random measures. We prove that the joint empirical distribution of scaled position and intensity measure converges almost surely in the infinite particle limit. We give an explicit formula for the limit distribution and show that the limit distribution function is a unique global classical solution to an initial value problem for a system of a first order non-linear partial differential equations with time dependent coefficients.
Double-layer shocks in a magnetized quantum plasma
Creators: name: Misra, A. P.
name: Samanta, S.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: The formation of small but finite amplitude electrostatic shocks in the propagation of quantum ion-acoustic waves (QIAWs) obliquely to an external magnetic field is reported in a quantum electron-positron-ion (e-p-i) plasma. Such shocks are seen to have double-layer (DL) structures composed of the compressive and accompanying rarefactive slow-wave fronts. Existence of such DL shocks depends critically on the quantum coupling parameter $H$ associated with the Bohm potential and the positron to electron density ratio $δ$. The profiles may, however, steepen initially and reach a steady state with a number of solitary waves in front of the shocks. Such novel DL shocks could be a good candidate for particle acceleration in intense laser-solid density plasma interaction experiments as well as in compact astrophysical objects, e.g., magnetized white dwarfs.
description: 4 pages, 1 figure (to appear in Physical Review E)
Delegation
Creators: name: Admin, RISE
name: Hwa, Yue-Yi
name: Spivack, Marla
name: Belafi, Carmen
Publisher: name: University of Oxford
Year: 2023
Subjects: Education policy
Teacher education and professional development of educators
Other education not elsewhere classified

description: This article presents delegation as a design element of the RISE Systems Framework and contains a short description of the different modes of delegation in each of the four accountability relationships, with a link to more detailed descriptions of delegation in each relationship, and presents different forms in which delegation and (in-)coherence can interact.