cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Verifying the Performance of the PCI Local Bus using Symbolic Techniques
Creators: name: S  Campos
name: Clarke, Edmund M
name: W.  Marrero
name: M.  Minea
Publisher: name: Carnegie Mellon University
Year: 2004
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware designs. This methodology, however, is not able to determine timing or performance properties directly. Since these properties are extremely important in the design of high-performance systems and in time-critical applications, we have extended model checking techniques to produce timing information. These results allow a more detailed analysis of a model than is possible with tools that simply determine whether a property is satisfied of not. We present algorithms that determine the exact bounds on the delay between two specified events and the number of occurrences of another event in all such intervals. To demonstrate how our method works, we have modelled the PCI local bus and analyzed its temporal behavior. These results show the usefulness of this technique in analyzing complex modern designs.
Sputtered Gold Nanoparticles Enhanced Quantum Dot Light-emitting Diodes
Creators: name: Perveen, Abida
name: Zhang, Xin
name: Tang, Jialun
name: Han, Dengbao
name: Chang, Shuai
name: Deng, Luogen
name: Ji, Wenyu
name: Zhong, Haizheng
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Surface plasmonic effects of metallic particles have been known to be an effective method to improve the performance light emitting didoes. In this work, we reported the sputtered Au nanoparticles enhanced electroluminescence in inverted quantum dot light emitting diodes (ITO/Au NPs/ZnMgO/QDs/TFB/PEDOT:PSS/Al). By combining the time-resolved photoluminescence, transient electroluminescence and ultraviolet photoelectron spectrometer measurements, the enhancement can be explained to the internal field enhanced exciton coupling to surface plasmons and the increased electron injection rate with Au nanoparticles incorporation. Phenomenological numerical calculations indicated that the electron mobility of the electron transport layer was increased from 1.39x10-5 to 1.91x10-5 cm2/V.s for Au NPs modified devices. As a result, the maximum device luminescence is enhanced by 1.41 folds from 14,600 to 20,720 cd/cm2 and maximum current efficiency is improved by 1.29 folds from 3.12 to 4.02 cd/A.
description: 11 pages, 4 figures
The Impact of Nuclear Reaction Rate Uncertainties On The Evolution of Core-Collapse Supernova Progenitors
Creators: name: Fields, C. E.
name: Timmes, F. X.
name: Farmer, R.
name: Petermann, I.
name: Wolf, William M.
name: Couch, S. M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Nuclear Experiment (nucl-ex)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We explore properties of core-collapse supernova progenitors with respect to the composite uncertainties in the thermonuclear reaction rates by coupling the reaction rate probability density functions provided by the STARLIB reaction rate library with $\texttt{MESA}$ stellar models. We evolve 1000 15 $M_{\odot}$ models from the pre main-sequence to core O-depletion at solar and subsolar metallicities for a total of 2000 Monte Carlo stellar models. For each stellar model, we independently and simultaneously sample 665 thermonuclear reaction rates and use them in a $\texttt{MESA}$ in situ reaction network that follows 127 isotopes from $^{1}$H to $^{64}$Zn. With this framework we survey the core mass, burning lifetime, composition, and structural properties at five different evolutionary epochs. At each epoch we measure the probability distribution function of the variations of each property and calculate Spearman Rank-Order Correlation coefficients for each sampled reaction rate to identify which reaction rate has the largest impact on the variations on each property. We find that uncertainties in $^{14}$N$(p,γ)^{15}$O, triple-$α$, $^{12}$C$(α,γ)^{16}$O, $^{12}$C($^{12}$C,$p$)$^{23}$Na, $^{12}$C($^{16}$O,$p$)$^{27}$Al, $^{16}$O($^{16}$O,$n$)$^{31}$S, $^{16}$O($^{16}$O,$p$)$^{31}$P, and $^{16}$O($^{16}$O,$α$)$^{28}$Si reaction rates dominate the variations of the properties surveyed. We find that variations induced by uncertainties in nuclear reaction rates grow with each passing phase of evolution, and at core H-, He-depletion are of comparable magnitude to the variations induced by choices of mass resolution and network resolution. However, at core C-, Ne-, and O-depletion, the reaction rate uncertainties can dominate the variation causing uncertainty in various properties of the stellar model in the evolution towards iron core-collapse.
description: Accepted for publication in ApJS, 33 pages, 21 figures
Microscopic modeling of a spin crossover transition
Creators: name: Jeschke, Harald O.
name: Salguero, L. Andrea
name: Rahaman, Badiur
name: Buchsbaum, Christian
name: Pashchenko, Volodymyr
name: Schmidt, Martin U.
name: Saha-Dasgupta, Tanusri
name: Valenti, Roser
Publisher: name: arXiv
Year: 2007
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: In spin crossover materials, an abrupt phase transition between a low spin state and a high spin state can be driven by temperature, pressure or by light irradiation. Of a special relevance are Fe(II) based coordination polymers where, in contrast to molecular systems, the phase transition between a spin S=0 and a spin S=2 state shows a pronounced hysteresis which is desirable for technical applications. A satisfactory microscopic explanation of this large cooperative phenomenon has been sought for a long time. The lack of X-ray data has been one of the reasons for the absence of microscopic studies. In this work, we present an efficient route to prepare reliable model structures and within an ab initio density functional theory analysis and effective model considerations we show that in polymeric spin crossover compounds magnetic exchange between high spin Fe(II) centers is as important as elastic couplings for understanding the phase transition. We discuss the relevance of these interactions for the cooperative behavior in these materials.
description: 15 pages, 7 figures, published in New J. Phys
ОСОБЕННОСТИ РЕГУЛИРУЮЩЕГО ВОЗДЕЙСТВИЯ НА РАЗВИТИЕ ИННОВАЦИОННОЙ ДЕЯТЕЛЬНОСТИ В РОССИИ
Creators: name: Т. В. Игнатова
name: А. В. Глущенко
Publisher: name: Естественно-гуманитарные исследования
Year: 2020
Subjects: инновации
регулирующее воздействие
нормативно-правовая база
институты
технологии.

description: В статье раскрыты особенности регулирующего воздействия нормативно-правовых актов в сфере инновационной деятельности на внедрение достижений научно-технического прогресса. Дается анализ институциональной практики, которая используется в Российской Федерации для создания современных рыночных условий хозяйствования и использования инновационных разработок. Авторами предложена структура механизма институционально-правового регулирования инновационной деятельности на территории России. Система нормативно-правового регулирования разбита на блоки в соответствии с иерархией и юридической силой документов, которые регламентируют инновационную деятельность. На основе проведенного анализа регулирующего воздействия и систематизации нормативно-правовых документов сферы инновационной деятельности, выявлены проблемы и предложены дальнейшие пути развития.
Tailoring a nanofiber for enhanced photon emission and coupling efficiency from single quantum emitters
Creators: name: Li, Wenfang
name: Du, Jinjin
name: Chormaic, Síle Nic
Publisher: name: arXiv
Year: 2018
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We present a novel approach to enhance the spontaneous emission rate of single quantum emitters in an optical nanofiber-based cavity by introducing a narrow air-filled groove into the cavity. Our results show that the Purcell factor for single quantum emitters located inside the groove of the nanofiber-based cavity can be at least six times greater than that for such an emitter on the fiber surface when using an optimized cavity mode and groove width. Moreover, the coupling efficiency of single quantum emitters into the guided mode of this nanofiber-based cavity can reach up to $\sim$ 80 $\%$ with only 35 cavity-grating periods. This new system has the potential to act as an all-fiber platform to realize efficient coupling of photons from single emitters into an optical fiber for quantum information applications.
Electron scattering from domain walls in ferromagnetic Luttinger liquids
Creators: name: Sedlmayr, N.
name: Eggert, S.
name: Sirker, J.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We study the properties of interacting electrons in a one-dimensional conduction band coupled to bulk non-collinear ferromagnetic order. The specific form of non-collinearity we consider is that of an extended domain wall. The presence of ferromagnetic order breaks spin-charge separation and the domain wall introduces a spin-dependent scatterer active over the length of the wall l. Both forward and backward scattering off the domain wall can be relevant perturbations of the Luttinger liquid and we discuss the possible low temperature phases. Our main finding is that backward scattering, while determining the ultimate low temperature physics, only becomes important at temperatures T/J < exp(-l/l_+) with J being the magnetic exchange and l_+ the backward scattering length scale. In physical realizations, l >> l_+ and the physics will be dominated by forward scattering which can lead to a charge conducting but spin insulating phase. In a perturbative regime at higher temperatures we furthermore calculate the spin and charge densities around the domain wall and quantitatively discuss the interaction induced changes.
description: 13 pages, 7 figures, extended discussion of the RG flow at low temperatures
Dynamics of dissipative Landau-Zener transitions
Creators: name: Huang, Zhongkai
name: Zhao, Yang
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: Atomic and Molecular Clusters (physics.atm-clus)
subject: Chemical Physics (physics.chem-ph)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: A non-perturbative treatment, the Dirac-Frenkel time-dependent variation is employed to examine dynamics of the Landau-Zener model with both diagonal and off-diagonal qubit-bath coupling using the multiple Davydov trial states. It is shown that steady-state transition probabilities agree with analytical predictions at long times. Landau-Zener dynamics at intermediate times is little affected by diagonal coupling, and is found to be determined by off-diagonal coupling and tunneling strength between two diabatic states. We investigate effects of bath spectral densities, coupling strengths and interaction angles on Laudau-Zener dynamics. Thanks to the multiple Davydov trial states, detailed boson dynamics can also be analyzed in Landau-Zener transitions. Results presented here may help provide guiding principles to manipulate the Laudau-Zener transitions in circuit QED architectures by tuning off-diagonal coupling and tunneling strength.
Additional file 3 of The novel long noncoding RNA CRART16 confers cetuximab resistance in colorectal cancer cells by enhancing ERBB3 expression via miR-371a-5p
Creators: name: Zhang, Xiaoqian
name: Wen, Long
name: Chen, Shanwen
name: Zhang, Junling
name: Ma, Yongchen
name: Hu, Jianwen
name: Yue, Taohua
name: Wang, Jingui
name: Zhu, Jing
name: Bu, Dingfang
name: Wang, Xin
Publisher: name: figshare
Year: 2020
Subjects: subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Hematology

description: Additional file 3: Figure S3. Gene-set enrichment analysis between Caco-2-CRART16 and Caco-2-NC cells. a, b GO analysis. c KEGG analysis. d PPI mapping.
Heralded Generation of Ultrafast Single Photons in Pure Quantum States
Creators: name: Mosley, Peter J.
name: Lundeen, Jeff S.
name: Smith, Brian J.
name: Wasylczyk, Piotr
name: U'Ren, Alfred B.
name: Silberhorn, Christine
name: Walmsley, Ian A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present an experimental demonstration of heralded single photons prepared in pure quantum states from a parametric downconversion source. It is shown that, through controlling the modal structure of the photon pair emission, one can generate pairs in factorable states and thence eliminate the need for spectral filters in multiple-source interference schemes. Indistinguishable heralded photons were generated in two independent spectrally engineered sources, and, by performing a Hong-Ou-Mandel interference between them without spectral filters at a raw visibility of 94.4%, their purity was measured to be over 95%.
description: 5 pages, 4 figures
Filamentary Fragmentation and Accretion in High-Mass Star-Forming Molecular Clouds
Creators: name: Lu, Xing
name: Zhang, Qizhou
name: Liu, Hauyu Baobab
name: Sanhueza, Patricio
name: Tatematsu, Ken'ichi
name: Feng, Siyi
name: Smith, Howard A.
name: Myers, Philip C.
name: Sridharan, T. K.
name: Gu, Qiusheng
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Filamentary structures are ubiquitous in high-mass star-forming molecular clouds. Their relation with high-mass star formation is still to be understood. Here we report interferometric observations toward 8 filamentary high-mass star-forming clouds. A total of 50 dense cores are identified in these clouds, most of which present signatures of high-mass star formation. Five of them are not associated with any star formation indicators, hence are prestellar core candidates. Evolutionary phases of these cores and their linewidths, temperatures, NH$_3$ abundances, and virial parameters are found to be correlated. In a sub-sample of 4 morphologically well-defined filaments, we find that their fragmentation can not be solely explained by thermal or turbulence pressure support. We also investigate distributions of gas temperatures and non-thermal motions along the filaments, and find a spatial correlation between non-thermal linewidths and star formation activities. We find evidence of gas flows along these filaments, and derive an accretion rate along filaments of $\sim$10$^{-4}$ M$_\odot$ yr$^{-1}$. These results suggest a strong relationship between massive filaments and high-mass star formation, through i) filamentary fragmentation in very early evolutionary phases to form dense cores, ii) accretion flows along filaments that are important for the growth of dense cores and protostars, and iii) enhancement of non-thermal motion in the filaments by the feedback or accretion during star formation.
description: 31 pages, 11 figures, 8 tables, ApJ Accepted. 3-D interactive figures to visualize outflows (see Figure 7) will be published online, and are available at https://xinglunju.github.io/outflows.html
МЕТОДИЧЕСКИЕ ОСНОВЫ ВНЕДРЕНИЯ ЭЛЕКТРОННЫХ СЕРТИФИКАТОВ В СФЕРЕ ГОСУДАРСТВЕННОГО УПРАВЛЕНИЯ СОЦИАЛЬНЫМ ОБЕСПЕЧЕНИЕМ НАСЕЛЕНИЯ: ПРОЕКТНЫЙ ПОДХОД
Creators: name: Н. А. Исаков
Publisher: name: Естественно-гуманитарные исследования
Year: 2020
Subjects: цифровая экономика
цифровизация государственных услуг
проектное управление
электронные сертификаты

description: В статье рассматриваются основные направления совершенствования системы электронных сертификатов в рамках проектного подхода. Система электронных сертификатов позиционируется автором в качестве важнейшего инструмента эффективного взаимодействия участников проекта государства как экономического субъекта (принципала) и населения (бенефициара). Особое внимание в исследовании акцентировано на роли электронных сертификатов в обеспечении ускоренного внедрения цифровых технологий в экономическую и социальную сферы. Обозначены основные направления применения системы электронных сертификатов в России. Сформулированы принципы, задачи и инструментарий совершенствование организационной и процессуальной структуры электронных сертификатов в рамках проектного подхода.
Chiral Symmetry Restoration and Quark Deconfinement beyond Mean Field in a Magnetized PNJL Model
Creators: name: Mao, Shijun
Publisher: name: arXiv
Year: 2017
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We study chiral symmetry restoration and quark deconfinement beyond mean field approximation in a magnetized PNJL model. The feedback from mesons to quarks modifies the quark coupling constant and Polyakov potential. As a result, the separate critical temperatures for the two phase transitions at mean field level coincide and the magnetic catalysis becomes inverse magnetic catalysis, when the meson contribution is included.
description: 5 pages,3 figures
Verifying Properties of Hardware and Software by Predicate Abstraction and Model Checking
Creators: name: Bryant, Randal E.
name: Sriram K Rajamani
Publisher: name: Carnegie Mellon University
Year: 2010
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This tutorial describes automatic techniques for formally verifying hardware and software by creating Boolean abstractions of the underlying unbounded system state variables.
Junction Conditions and Consequences of Quasi-Spherical Space-Time with Electro-Magnetic Field and Vaidya Matric
Creators: name: Nath, Soma
name: Debnath, Ujjal
name: Chakraborty, Subenoy
Publisher: name: arXiv
Year: 2007
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In this work the junction conditions between the exterior Reissner-Nordstrom-Vaidya space-time with the interior quasi-spherical Szekeres space-time have been studied for analyzing gravitational collapse in the presence of a magneto-hydrodynamic fluid undergoing dissipation in the form of heat flow. We have discussed about the apparent horizon and have evaluated the time difference between the formation of apparent horizon and central singularity.
description: 8 latex pages, RevTex style, no figures
СПОСОБЫ ФОРМИРОВАНИЯ ПОРТФЕЛЯ МОЩНОСТЕЙ ПРЕДПРИЯТИЯ НЕФТЕГАЗОВОЙ ОТРАСЛИ ДЛЯ ОБЕСПЕЧЕНИЯ РЫНОЧНОЙ ГИБКОСТИ
Creators: name: Е. А. Козлова
name: Т. Ю. Кудрявцева
Publisher: name: Естественно-гуманитарные исследования
Year: 2020
Subjects: рыночная гибкость
нефтегазовый сектор
ВАРМА-модель
портфель мощностей
рынок энергетики

description: В данной статье проанализировано текущее состояние европейского газового рынка, выявлены его основные характеристики. Рассмотрено понятие рыночной гибкости, а также описаны инструменты ее обеспечения – мощности газотранспортных сетей, мощности подземных хранилищ газа, прерываемые контракты, добыча природного газа, выявлены основные составляющие указанных инструментов. Описано понятие портфеля мощностей и определены способы его формирования исходя из критериев оптимальности в условиях ограниченности ресурсов. Кроме того, в статье рассмотрены способы моделирования и прогнозирования затрат на использование каждого инструмента и рыночного спроса в различных торговых зонах с использованием эмпирического анализа на основе эконометрической модели ВАРМА, а также предложен алгоритм проведения анализа для формирования оптимального портфеля мощностей предприятия нефтегазовой отрасли
Multidimensional effects on proton acceleration using high-power intense laser pulses
Creators: name: Xiao, K. D.
name: Zhou, C. T.
name: Jiang, K.
name: Yang, Y. C.
name: Li, R.
name: Zhang, H.
name: Qiao, B.
name: Huang, T. W.
name: Cao, J. M.
name: Cai, T. X.
name: Yu, M. Y.
name: Ruan, S. C.
name: He, X. T.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Dimensional effects in particle-in-cell (PIC) simulation of target normal sheath acceleration (TNSA) of protons are considered. As the spatial divergence of the laser-accelerated hot sheath electrons and the resulting space-charge electric field on the target backside depend on the spatial dimension, the maximum energy of the accelerated protons obtained from three-dimensional (3D) simulations is usually much less that from two-dimensional (2D) simulations. By closely examining the TNSA of protons in 2D and 3D PIC simulations, we deduce an empirical ratio between the maximum proton energies obtained from the 2D and 3D simulations. This ratio may be useful for estimating the maximum proton energy in realistic (3D) TNSA from the results of the corresponding 2D simulation. It is also shown that the scaling law also applies to TNSA from structured targets.
description: 20 pages, 7 figures, 3 tables, 45 references
On a Generic Security Game Model
Creators: name: Shandilya, Vivek
name: Shiva, Sajjan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Cryptography and Security (cs.CR)
subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences

description: To protect the systems exposed to the Internet against attacks, a security system with the capability to engage with the attacker is needed. There have been attempts to model the engagement/interactions between users, both benign and malicious, and network administrators as games. Building on such works, we present a game model which is generic enough to capture various modes of such interactions. The model facilitates stochastic games with imperfect information. The information is imperfect due to erroneous sensors leading to incorrect perception of the current state by the players. To model this error in perception distributed over other multiple states, we use Euclidean distances between the outputs of the sensors. We build a 5-state game to represent the interaction of the administrator with the user. The states correspond to 1) the user being out of the system in the Internet, and after logging in to the system; 2) having low privileges; 3) having high privileges; 4) when he successfully attacks and 5) gets trapped in a honeypot by the administrator. Each state has its own action set. We present the game with a distinct perceived action set corresponding to each distinct information set of these states. The model facilitates stochastic games with imperfect information. The imperfect information is due to erroneous sensors leading to incorrect perception of the current state by the players. To model this error in perception distributed over the states, we use Euclidean distances between outputs of the sensors. A numerical simulation of an example game is presented to show the evaluation of rewards to the players and the preferred strategies. We also present the conditions for formulating the strategies when dealing with more than one attacker and making collaborations.
description: 31 pages
Large scale correlations in gas traced by MgII absorbers around low mass galaxies
Creators: name: Kauffmann, Guinevere
Publisher: name: arXiv
Year: 2017
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The physical origin of the large-scale conformity in the colours and specific star formation rates of isolated low mass central galaxies and their neighbours on scales in excess of 1 Mpc is still under debate. One possible scenario is that gas is heated over large scales by feedback from active galactic nuclei (AGN), leading to coherent modulation of cooling and star formation between well-separated galaxies. In this Letter, the metal line absorption catalogue of Zhu & Menard (2013) is used to probe gas out to large projected radii around a sample of a million galaxies with stellar masses ~10^{10} M_{sun} and photometric redshifts in the range 0.4
description: 5 pages, accepted in MNRAS Letters
СОВЕРШЕНСТВОВАНИЕ ЭЛЕМЕНТОВ ИНФОРМАЦИОННО‐АНАЛИТИЧЕСКОГО ОБЕСПЕЧЕНИЯ ЭКОНОМИЧЕСКОЙ БЕЗОПАСНОСТИ ХОЗЯЙСТВУЮЩЕГО СУБЪЕКТА КРЕДИТНО‐ФИНАНСОВОЙ СФЕРЫ
Creators: name: Д. А. Коновалова
name: О.А. Коновалова
Publisher: name: Естественно-гуманитарные исследования
Year: 2020
Subjects: экономическая безопасность
информационная безопасность
информационно-аналитическое обеспечение
несанкционированный доступ

description: Растущий объем поступления неоднородной информации на электронных носителях становится невозможно обрабатывать традиционными способами. В статье отмечается, что интеграция определенных технологий помогает сделать более качественный анализ данных и определить ранее неизученные закономерности, что позволит в большей мере оптимизировать бизнес-процессы. Однако, авторы замечают, что вместе с этими преимуществами возрастают издержки по поддержанию информационной, финансовой и кадровой безопасности, что подтверждает актуальность выбранной темы. В статье раскрываются аспекты построения архитектуры информационно-аналитического обеспечения, от которых зависит его эффективность, делается уклон на изучение технологий, позволяющие компании выйти на новый уровень развития, а также на информационную защиту данных от несанкционированного доступа.
Verifying Nondeterministic Implementations of Deterministic Systems
Creators: name: Jain, Alok
name: Nelson, Kyle
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1979
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Some modern systems with a simple deterministic high-level specification have implementations that exhibit highly nondeterministic behavior. Such systems maintain a simple operation semantics at the high-level. However their underlying implementations exploit parallelism to enhance performance leading to interaction among operations and contention for resources. The deviation from the sequential execution model not only leads to nondeterminism in the implementation but creates the potential for serious design errors. This paper presents a methodology for formal verification of such systems. An abstract specification describes the high-level behavior as a set of operations. A mapping relates the sequential semantics of these operations to the underlying nondeterminism in the implementation. Symbolic Trajectory Evaluation, a modified form of symbolic simulation, is used to perform the actual verification. The methodology is currently being used to verify portions of a superscalar processor which implements the PowerPC architecture. Our initial work on the fixed point unit indicates that this is a promising approach for verification of processors.
Mapping topological to conformal field theories through strange correlators
Creators: name: Bal, Matthias
name: Williamson, Dominic J.
name: Vanhove, Robijn
name: Bultinck, Nick
name: Haegeman, Jutho
name: Verstraete, Frank
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: High Energy Physics - Lattice (hep-lat)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We extend the concept of strange correlators, defined for symmetry-protected phases in [You et al., Phys. Rev. Lett. 112, 247202 (2014)], to topological phases of matter by taking the inner product between string-net ground states and product states. The resulting two-dimensional partition functions are shown to be either critical or symmetry broken, as the corresponding transfer matrices inherit all matrix product operator symmetries of the string-net states. For the case of critical systems, those non-local matrix product operator symmetries are the lattice remnants of topological conformal defects in the field theory description. Following [Aasen et al., J. Phys. A 49, 354001 (2016)], we argue that the different conformal boundary conditions can be obtained by applying the strange correlator concept to the different topological sectors of the string-net obtained from Ocneanu's tube algebra. This is demonstrated by calculating the conformal field theory spectra on the lattice in the different topological sectors for the Fibonacci/hard-hexagon and Ising string-net. Additionally, we provide a complementary perspective on symmetry-preserving real-space renormalization by showing how known tensor network renormalization methods can be understood as the approximate truncation of an exactly coarse-grained strange correlator.
Self-adaptation of Genetic Operators Through Genetic Programming Techniques
Creators: name: Salinas, Andres Felipe Cruz
name: Perdomo, Jonatan Gomez
Publisher: name: arXiv
Year: 2017
Subjects: subject: Neural and Evolutionary Computing (cs.NE)
subject: FOS: Computer and information sciences

description: Here we propose an evolutionary algorithm that self modifies its operators at the same time that candidate solutions are evolved. This tackles convergence and lack of diversity issues, leading to better solutions. Operators are represented as trees and are evolved using genetic programming (GP) techniques. The proposed approach is tested with real benchmark functions and an analysis of operator evolution is provided.
description: Presented in GECCO 2017
Some semiclassical structure constants for AdS_4 x CP^3
Creators: name: Ahn, Changrim
name: Bozhilov, Plamen
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We compute structure constants in three-point functions of three string states in AdS_4 x CP^3 in the framework of the semiclassical approach. We consider HHL correlation functions where two of the states are "heavy" string states of finite-size giant magnons carrying one or two angular momenta and the other one corresponds to such "light" states as dilaton operators with non-zero momentum, primary scalar operators, and singlet scalar operators with higher string levels.
description: 19 pages; References added, typos fixed
Equivalent hyperon-nucleon interactions in low-momentum space
Creators: name: Kohno, M.
name: Okamoto, R.
name: Kamada, H.
name: Fujiwara, Y.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Equivalent interactions in a low-momentum space for the $ΛN$, $ΣN$ and $ΞN$ interactions are calculated, using the SU$_6$ quark model potential as well as the Nijmegen OBEP model as the input bare interaction. Because the two-body scattering data has not been accumulated sufficiently to determine the hyperon-nucleon interactions unambiguously, the construction of the potential even in low-energy regions has to rely on a theoretical model. The equivalent interaction after removing high-momentum components is still model dependent. Because this model dependence reflects the character of the underlying potential model, it is instructive for better understanding of baryon-baryon interactions in the strangeness sector to study the low-momentum space $YN$ interactions.
description: 9 pages, 13 figures, accepted for publication in Phys. Rev. C
Association of distinct γ-glutamyltransferase trajectories with incident hyperglycemia using LCGMM: A longitudinal cohort study of Chinese adults
Creators: name: Wang, Nana
name: Pei, Dongmei
Publisher: name: figshare
Year: 2021
Subjects: subject: 110306 Endocrinology
subject: FOS: Clinical medicine

description: supplement materials of "Association of distinct γ-glutamyltransferase trajectories with incident hyperglycemia using LCGMM: A longitudinal cohort study of Chinese adults"
ПОДДЕРЖКА КОНГРЕССНО‐ВЫСТАВОЧНОЙ ДЕЯТЕЛЬНОСТИ РЕГИОНА: ОПЫТ САНКТ‐ПЕТЕРБУРГА
Creators: name: М. Н. Конягина
name: Д. О. Громова
name: А. А. Полякова
Publisher: name: Естественно-гуманитарные исследования
Year: 2020
Subjects: конгрессно-выставочная деятельность
меры поддержки
выставка
региональное правительство
промышленная политика

description: Конгрессно-выставочная деятельность прибрела важное значение в жизни регионов России во втором десятилетии XXI века. Это не просто устроение выставок и ярмарок, что всегда имело значение для жителей региона, но и развитие межрегиональных и международных связей, деловой активности, привлечение инвестиций. Люди замечают, как проведение конгрессно-выставочных мероприятий меняет качество их региональной инфраструктуры: улучшаются дороги, ремонтируются дома, появляются важные объекты для жизни. При этом не во всех регионах предприняты успешные меры по развитию конгрессно-выставочной деятельности. Статья нацелена на освещение лучшей практики Санкт-Петербурга по развитию этого вида деятельности. В ней авторы рассказали о том, что может сделать правительство региона для успешной активизации конгрессно-выставочной деятельности, о мерах поддержки участия в этих мероприятиях региональных компаний и об инструментах оценки качества результатов такой деятельности. Безусловно, статья будет интересна не только исследователям тематики конгрессной и выставочно-ярмарочной деятельности, но и представителям региональных и местных органов власти для выработки предложений развития.
Electric signature of magnetic domain-wall dynamics
Creators: name: Liu, Y.
name: Tretiakov, Oleg A.
name: Abanov, Ar.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We study current-induced domain-wall dynamics in a thin ferromagnetic nanowire. The domain-wall dynamics is described by simple equations with four parameters. We propose the procedure to determine these parameters by all-electric measurements of the time-dependent voltage induced by the domain-wall motion. We provide an analytical expression for the time variation of this voltage. Furthermore, we show that the measurement of the proposed effects is within reach with current experimental techniques.
description: 5 pages, 5 figures, update to published version
title: ADCO, Cart. 186 (11 H 71), f. 0120r
Creators: name: de la Côte d'Or, Archives départementales
name: CBMA/CG21/F.PETOT/2012
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la Côte-d'Or, C
art. 186 (11 H 71). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la
 Côte-d'Or, Cart. 186 (11 H 71), f. 0120r, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-
project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Photometric Redshifts for the Dark Energy Survey and VISTA and Implications for Large Scale Structure
Creators: name: Banerji, Manda
name: Abdalla, Filipe B.
name: Lahav, Ofer
name: Lin, Huan
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We conduct a detailed analysis of the photometric redshift requirements for the proposed Dark Energy Survey (DES) using two sets of mock galaxy simulations and an artificial neural network code - ANNz. In particular, we examine how optical photometry in the DES grizY bands can be complemented with near infra-red photometry from the planned VISTA Hemisphere Survey (VHS) in the JHK_s bands. We find that the rms scatter on the photometric redshift estimate over 1
description: 17 pages, 15 figures, Accepted for publication in MNRAS
Investigation of the 9B nucleus and its cluster-nucleon correlations
Creators: name: Zhao, Qing
name: Ren, Zhongzhou
name: Lyu, Mengjiao
name: Horiuchi, Hisashi
name: Funaki, Yasuro
name: Röpke, Gerd
name: Schuck, Peter
name: Tohsaki, Akihiro
name: Xu, Chang
name: Yamada, Taiichi
name: Zhou, Bo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In order to study the correlation between clusters and nucleons in light nuclei, we formulate a new superposed THSR wave function which describes both spatial large spreading and cluster-correlated dynamics of valence nucleons. By using the new THSR wave function, the binding energy of 9B is essentially improved comparing with our previous studies. We calculate the excited states of 9B and obtain the energy spectrum of 9B which is consistent with the experimental results, including prediction of the 1/2+ excited state of 9B which is not fixed yet experimentally. We study the proton dynamics in 9B and find that the cluster-proton correlation plays an essential role for the proton dynamics in the ground state of 9B. Further more, we discuss the density distribution of the valence proton with special attention to its tail structure. Finally, the resonance nature of excited states of 9B is illustrated by comparing root-mean-square radii between the ground and excited states.
description: 16 pages, 8 figures
Strong coupling constants of heavy spin--3/2 baryons with light pseudoscalar mesons
Creators: name: Aliev, T. M.
name: Azizi, K.
name: Savci, M.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The strong coupling constants among members of the heavy spin--3/2 baryons containing single heavy quark with light pseudoscalar mesons are calculated in the framework of the light cone QCD sum rules. Using symmetry arguments, the structure independent relations among different correlation functions are obtained. It is shown that all possible transitions can be described in terms of one universal invariant function whose explicit expression is Lorenz structure dependent.
description: 16 Pages, 1 figure and 1 Table
ОРГАНИЗАЦИОННО‐ЭКОНОМИЧЕСКИЙ МЕХАНИЗМ РЕАЛИЗАЦИИ ПРОМЫШЛЕННОЙ ПОЛИТИКИ: ПРОБЛЕМЫ И РЕШЕНИЯ В РАМКАХ МНОГОУРОВНЕВОГО ПОДХОДА
Creators: name: А. П. Костырев
Publisher: name: Естественно-гуманитарные исследования
Year: 2020
Subjects: промышленная политика
организационно-экономический механизм
многоуровневый подход
уровень ad hoc
метод анализа иерархий

description: Статья посвящена выявлению проблем, присущих организационно-экономическому механизму реализации промышленной политики в настоящее время, и разработке предложений по их решению в рамках многоуровневого подхода. Эффективность промышленной политики государства зависит от эффективности промышленной политики на нижестоящих уровнях – как по «вертикали», так и по «горизонтали». Многоуровневый подход позволяет обратить внимание на взаимосвязь уровней развития промышленного производства, а также согласованность мер промышленной политики, применяемых на различных уровнях. Для минимизации проблемы дискретности уровней промышленной политики предложено выделение искусственно задаваемых уровней ad hoc. Для повышения скорости и качества деловых коммуникаций между субъектами промышленной политики сформулирована концепция специализированного программного продукта InCo. Выявлены субъектно-инструментарные «пробелы» государственного регулирования промышленной политики. Обозначена актуальность этических проблем промышленного производства и намечен путь решения через повышение информационной открытости на различных уровнях. Для определения приоритетных направлений промышленной политики на различных уровнях предложен для использования метод анализа иерархий.
Evidence for compact cooperatively rearranging regions in a supercooled liquid
Creators: name: Elenius, M.
name: Dzugutov, M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We examine structural relaxation in a supercooled glass-forming liquid simulated by NVE molecular dynamics. Time correlations of the total kinetic energy fluctuations are used as a comprehensive measure of the system's approach to the ergodic equilibrium. We find that, under cooling, the total structural relaxation becomes delayed as compared with the decay of the component of the intermediate scattering function corresponding to the main peak of the structure factor. This observation can be explained by collective movements of particles preserving many-body structural correlations within compact 3D cooperatively rearranging regions.
description: 8 pages, 4 figures
Magnetic braids in eruptions of a spiral structure in the solar atmosphere
Creators: name: Huang, Zhenghua
name: Xia, Lidong
name: Nelson, Chris J.
name: Liu, Jiajia
name: Wiegelmann, Thomas
name: Tian, Hui
name: Klimchuk, James A.
name: Chen, Yao
name: Li, Bo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We report on high-resolution imaging and spectral observations of eruptions of a spiral structure in the transition region, which were taken with the Interface Region Imaging Spectrometer (IRIS), the Atmospheric Imaging Assembly (AIA) and the Helioseismic and Magnetic Imager (HMI). The eruption coincided with the appearance of two series of jets, with velocities comparable to the Alfvén speeds in their footpoints. Several pieces of evidence of magnetic braiding in the eruption are revealed, including localized bright knots, multiple well-separated jet threads, transition region explosive events and the fact that all these three are falling into the same locations within the eruptive structures. Through analysis of the extrapolated three-dimensional magnetic field in the region, we found that the eruptive spiral structure corresponded well to locations of twisted magnetic flux tubes with varying curl values along their lengths. The eruption occurred where strong parallel currents, high squashing factors, and large twist numbers were obtained. The electron number density of the eruptive structure is found to be $\sim3\times10^{12}$ cm$^{-3}$, indicating that significant amount of mass could be pumped into the corona by the jets. Following the eruption, the extrapolations revealed a set of seemingly relaxed loops, which were visible in the AIA 94 Å channel indicating temperatures of around 6.3 MK. With these observations, we suggest that magnetic braiding could be part of the mechanisms explaining the formation of solar eruption and the mass and energy supplement to the corona.
description: 11 figs, accepted for publication in ApJ
title: Numerical and Physical Modeling to Inform Design of the Living Breakwaters Project, Staten Island, New York
Creators: name: Marrone, Joseph
name: Zhou, Shan
name: Brashear, Pippa
name: Howe, Brad
name: Baker, Scott
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
КОНФИГУРАЦИЯ НОВОГО ПОДХОДА К ДОСТИЖЕНИЮ ИННОВАЦИОННОГО РЕЗОНАНСА В РЕГИОНАХ С РАЗНЫМИ УКЛАДАМИ
Creators: name: Т. В. Кушнаренко
name: Л. О. Пудеян
Publisher: name: Естественно-гуманитарные исследования
Year: 2020
Subjects: адаптивная региональная политика
региональное управление
инновационный резонанс
регион
макрорегион
многоукладность
государственно-частное партнерство
информационно-цифровое пространство.

description: Изменившиеся, в том числе под воздействием пандемии короновируса, геополитические и экономические условия определяют необходимость соответствующей адаптации моделей регионального управления на основе выявления внутренних ресурсов достижения инновационного резонанса во всех структурных подсистемах макрорегиона. Как показал текущий кризис, объективно существующая асимметрия развития территорий стала фактором-детерминантом формирования адаптивной региональной политики, в соответствии с которой принимались оперативные решения в регионах, ставших «более закрытыми» и самостоятельными в их выборе и осуществлении. Одним из таких факторов является исторически сформировавшаяся многоукладность регионов в составе макрорегионов России, определяющая их экономический облик. В статье с позиции нового концептуального подхода обосновывается необходимость в моделях адаптивного регионального управления рационального сочетания разных укладов с целью формирования и использования их синергетического потенциала для достижения сбалансированного инновационного развития макрорегиона.
title: Study of the Velocity and Wave Damping in a Physical Model of a Mangrove Forest Including Secondary Roots
Creators: name: Osorio, Andres
name: Piedrahita, A.
name: Arredondo, Maximiliano
name: Osorio-Cano, Juan
name: Henao, A.
name: Cáceres-Euse, Alejandro
name: Urrego, Ligia
name: Delgado, Johann
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
Livelihoods Built on Sand: Exposing the Precarity of Labour in Cambodia’s Sand Extraction Industry
Creators: name: Van Arragon, Lukas
Publisher: name: Université d'Ottawa / University of Ottawa
Year: 2021
Subjects: Cambodia
Sand Extraction
Precarity
Livelihoods

description: Although Cambodia banned sand exports in 2017, under-regulated sand extraction in rivers across the country continues, driven by demand from rapid urbanization and land reclamation around Phnom Penh. In the last decade, the sand extraction industry has come under intense scrutiny for its role in riverbank erosion and degradation of aquatic ecosystems, with some activists and scholars highlighting how this damages livelihoods and displaces rural Cambodians. At the same time, the sand boom in Cambodia has created a demand for labour, offering opportunities to rural Cambodians who have few other livelihood options in their home provinces. However, the vast majority of wealth from sand extraction does not accrue to sand labourers. Using qualitative data gathered from various sand extraction and transportation sites along the Mekong River in and around Phnom Penh, this thesis reveals new insights into the sand extraction industry. This thesis draws upon sustainable livelihoods approaches to reveal the difficult trade-offs that rural Cambodians must make when leaving their homes to enter the sand extraction industry. The thesis then uses the concept of precarity to show that sand labour in Cambodia is characterized by precarious employment conditions, including work in remote and isolated locations, separation of families when men leave for sand related labour, a lack of formal work contracts or rights, an inability to diversify income sources, and unpredictable cycles of intermittent work. The thesis then follows the approach used in political ecology literature, examining the power relations that help explain why sand labourers have little choice but to pursue precarious livelihoods, while business and government elites amass great wealth from resource extraction in Cambodia. In doing so, this thesis helps to broaden the understanding of the implications of a little understood yet hugely important resource extraction industry.