cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Exposing Paid Opinion Manipulation Trolls
Creators: name: Mihaylov, Todor
name: Koychev, Ivan
name: Georgiev, Georgi
name: Nakov, Preslav
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (cs.LG)
subject: Computation and Language (cs.CL)
subject: Information Retrieval (cs.IR)
subject: Social and Information Networks (cs.SI)
subject: FOS: Computer and information sciences
subject: F.2.2; I.2.7
subject: 68T50

description: Recently, Web forums have been invaded by opinion manipulation trolls. Some trolls try to influence the other users driven by their own convictions, while in other cases they can be organized and paid, e.g., by a political party or a PR agency that gives them specific instructions what to write. Finding paid trolls automatically using machine learning is a hard task, as there is no enough training data to train a classifier; yet some test data is possible to obtain, as these trolls are sometimes caught and widely exposed. In this paper, we solve the training data problem by assuming that a user who is called a troll by several different people is likely to be such, and one who has never been called a troll is unlikely to be such. We compare the profiles of (i) paid trolls vs. (ii)"mentioned" trolls vs. (iii) non-trolls, and we further show that a classifier trained to distinguish (ii) from (iii) does quite well also at telling apart (i) from (iii).
description: opinion manipulation trolls, trolls, opinion manipulation, community forums, news media
Countability of Inductive Types Formalized in the Object-Logic Level
Creators: name: Cao, Qinxiang
name: Wu, Xiwei
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The set of integer number lists with finite length, and the set of binary trees with integer labels are both countably infinite. Many inductively defined types also have countably many elements. In this paper, we formalize the syntax of first order inductive definitions in Coq and prove them countable, under some side conditions. Instead of writing a proof generator in a meta language, we develop an axiom-free proof in the Coq object logic. In other words, our proof is a dependently typed Coq function from the syntax of the inductive definition to the countability of the type. Based on this proof, we provide a Coq tactic to automatically prove the countability of concrete inductive types. We also developed Coq libraries for countability and for the syntax of inductive definitions, which have value on their own.
description: In Proceedings LFMTP 2021, arXiv:2107.07376
Economic behaviour of self-employed farm producers
Creators: name: Lopez, Eugenio
Publisher: name: University of British Columbia
Year: 2010

description: This dissertation proposes a model oriented towards integrating farm households' production and consumption decisions into a unified theoretical and econometric framework. It is argued that some commodities such as household's labour and, in some circumstances, outputs produced by the farm are traded within the household-farm unit. The implication of this is that, in contrast with other forms of economic organization, farm households' utility and profit maximization decisions are not likely to be independent. Thus, the general objectives of the thesis are to develop a model appropriate to estimate farm households' supply and demand responses which explicitly considers the interdependence of utility and profit maximization decisions as well as to formally test the hypothesis of independence using Canadian farm census data. A model which considers two labour supply equations, i.e., on-farm and off-farm labour supply, and five net output supply equations including one aggregated output and four inputs (land and structures, hired labour, animal inputs, and farm capital) has been jointly estimated using Canadian farm data. The main hypotheses tested are independence of utility and profit maximizing decisions and homotheticity of households' preferences. This investigation suggests that utility and profit maximizing decisions are not independent and, moreover, that there are significant gains in explanatory power and efficiency by estimating the consumption (i.e., the labour supply equations) and the production equations jointly. Another finding of the study is that farm households' preferences are not homothetic. Estimates regarding the quantitative effects of changes in cost of living index, output price, wage rates, and other farm input prices on households' on-farm labour supply, off-farm labour supply, and net output supply are provided. Additionally, the effects of farm operators' educational level on their labour supply, output supply, and input demand decisions are also measured.
Precision Astrometry with Adaptive Optics
Creators: name: Cameron, P. B.
name: Britton, M. C.
name: Kulkarni, S. R.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We investigate the limits of ground-based astrometry with adaptive optics using the core of the Galactic globular cluster M5. Adaptive optics systems provide near diffraction-limit imaging with the world's largest telescopes. The substantial improvement in both resolution and signal-to-noise ratio enables high-precision astrometry from the ground. We describe the dominant systematic errors that typically limit ground-based differential astrometry, and enumerate observational considerations for mitigating their effects. After implementing these measures, we find that the dominant limitation on astrometric performance in this experiment is caused by tilt anisoplanatism. We then present an optimal estimation technique for measuring the position of one star relative to a grid of reference stars in the face of this correlated random noise source. Our methodology has the advantage of reducing the astrometric errors as the square root of time and faster than the square root of the number of reference stars -- effectively eliminating noise caused by atmospheric tilt to the point that astrometric performance is limited by centering accuracy. Using 50 reference stars we demonstrate single-epoch astrometric precision of ~ 1 mas in 1 second, decreasing to < 100 microarcseconds in 2 minutes of integration time at the Hale 200-inch telescope. We also show that our astrometry is accurate to
description: 32 pages, 12 figures; submitted to AJ
The UV colours of high-redshift early-type galaxies: evidence for recent star formation and stellar mass assembly over the last 8 billion years
Creators: name: Kaviraj, S.
name: Khochfar, S.
name: Schawinski, K.
name: Yi, S. K.
name: Gawiser, E.
name: Silk, J.
name: Virani, S. N.
name: Cardamone, C.
name: van Dokkum, P. G.
name: Urry, C. M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We combine deep UBVRIzJK photometry from the Multiwavelength Survey by Yale-Chile (MUSYC) with redshifts from the COMBO-17 survey to perform a large-scale study of the rest-frame ultraviolet (UV) properties of 674 high-redshift (0.5-20.5) counterparts potentially forming 30-60 percent of their mass in the same redshift range. (abridged)
description: Submitted to MNRAS
The Aharonov-Bohm effect for a knotted magnetic solenoid
Creators: name: Buniy, Roman V.
name: Kephart, Thomas W.
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We show that the linking of a semiclassical path of a charged particle with a knotted magnetic solenoid results in the Aharonov-Bohm effect. The phase shift in the wave function is proportional to the flux intersecting a certain connected and orientable surface bounded by the knot (a Seifert surface of the knot).
description: 9 pages, 7 figures
RAPID MEDICAL EVALUATION & TREATMENT IN THE EMERGENCY DEPARTMENT
Creators: name: Manpreet Sidhu
Publisher: name: Zenodo
Year: 2019

description: Background: Overcrowding in the Emergency Department (ED) has been a global concern over the past three decades and has posed a threat to public safety leading to poor quality of care. Overcrowding is caused by an increased number of patients presenting to the ED and patients waiting in the ED for admission or waiting transfer to another facility. Purpose: The purpose of this Doctor of Nursing Practice project was to implement a Rapid Medical Evaluation and Treatment (RMET) process in the ED. The RMET process will be led by a medical provider who initiates the diagnostic workup, treatment and disposition for emergency patients requiring low-resource utilization (Emergency Severity Index or ESI IV & V). Design/Methods: A pre-post design was used to evaluate this project. Preimplementation data was collected over 18 months (January 2017 to August 2018) in a community hospital in California. Primary outcomes were door to provider time (DTPT), length of stay (LOS), left without being seen (LWBS), and patient satisfaction scores based on Press Ganey Satisfaction Survey. Due to delay in construction, the RMET implementation is still pending. Post-implementation data collection will be collected once the construction is completed. Results: Pre-RMET implementation data showed average ED volume of 4200 patients per month with a spike in January to 4822 patients seen. During pre- iv implementation, there was a median DTPT of 26.50 minutes. The spike in volume during January 2018, there was an increase in DTPT of 153 minutes. The median LOS for discharged patients was 139.4 minutes (2.3 hours) and for admitted patients, it was 338.5 minutes (5.6 hours). The median percentage of patients LWBS was 1.5% over 18 months. The median patient satisfaction based on Press Ganey Satisfaction Survey was 87%. Conclusion: The evidence summarized in this project suggests that having lowresource intensive emergency patients cared for using a RMET process will mitigate ED overcrowding by decreasing DTPT, LOS, LWBS and maintain or increase patient satisfaction. Post-implementation will require ongoing evaluation of project metrics to show whether this is the case.
Raman Spectroscopy of Nanostructures and Nanosized Materials
Creators: name: Colomban, Philippe
name: Gouadec, Gwénael
Publisher: name: arXiv
Year: 2007
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The interest of micro and tip-enhanced Raman spectroscopy to analyze nanosized and nanostructured materials, chiefly semiconductors, oxides and pristine or functionalized carbon nanotubes, is reviewed at the light of the contributions to this special issue. Particular attention is paid to the fact that chemical reactions, size or shape distribution, defects, strain and couplings may add to nano-dimensionality in defining the Raman signature.
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts
Creators: name: El-Beheiry, Laila
name: Reis, Giselle
name: Karkour, Ammar
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: F.3.1

description: Formally reasoning about functional programs is supposed to be straightforward and elegant, however, it is not typically done as a matter of course. Reasoning in a proof assistant requires "reimplementing" the code in those tools, which is far from trivial. SMLtoCoq provides an automatic translation of SML programs and function contracts into Coq. Programs are translated into Coq specifications, and function contracts into theorems, which can then be formally proved. Using the Equations plugin and other well established Coq libraries, SMLtoCoq is able to translate SML programs without side-effects containing partial functions, structures, functors, records, among others. Additionally, we provide a Coq version of many parts of SML's basis library, so that calls to these libraries are kept almost as is.
description: In Proceedings LFMTP 2021, arXiv:2107.07376
Butterfly Identification Based on Improved Yolov5 Model
Creators: name: Zhao, Kaixuan
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 460299
subject: Artificial intelligence not elsewhere classified
classificationCode: 461103
subject: Deep learning

description: 蝴蝶分类精细化程度高，但识别效率低、准确率差、模型冗余大。针对上述问题，本文在自建的混合数据集中提出了一种基于YOLOv5s模型的改进网络，以实现野生蝴蝶物种的高识别率。该网络引入了CSandGlass模块、CBAM注意力机制和深度可分离卷积。实验结果表明，改进网络的平均精度（mAP）达到93.6%。改进后的模型具有更高的检测精度和效率，以及更强的特征提取能力，可为研究人员进行蝴蝶识别提供有效的求解策略。
hSDB-instrument: Instrument Localization Database for Laparoscopic and Robotic Surgeries
Creators: name: Yoon, Jihun
name: Lee, Jiwon
name: Heo, Sunghwan
name: Yu, Hayeong
name: Lim, Jayeon
name: Song, Chi Hyun
name: Hong, SeulGi
name: Hong, Seungbum
name: Park, Bokyung
name: Park, SungHyun
name: Hyung, Woo Jin
name: Choi, Min-Kook
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: Automated surgical instrument localization is an important technology to understand the surgical process and in order to analyze them to provide meaningful guidance during surgery or surgical index after surgery to the surgeon. We introduce a new dataset that reflects the kinematic characteristics of surgical instruments for automated surgical instrument localization of surgical videos. The hSDB(hutom Surgery DataBase)-instrument dataset consists of instrument localization information from 24 cases of laparoscopic cholecystecomy and 24 cases of robotic gastrectomy. Localization information for all instruments is provided in the form of a bounding box for object detection. To handle class imbalance problem between instruments, synthesized instruments modeled in Unity for 3D models are included as training data. Besides, for 3D instrument data, a polygon annotation is provided to enable instance segmentation of the tool. To reflect the kinematic characteristics of all instruments, they are annotated with head and body parts for laparoscopic instruments, and with head, wrist, and body parts for robotic instruments separately. Annotation data of assistive tools (specimen bag, needle, etc.) that are frequently used for surgery are also included. Moreover, we provide statistical information on the hSDB-instrument dataset and the baseline localization performances of the object detection networks trained by the MMDetection library and resulting analyses.
description: https://hsdb-instrument.github.io
Primordial Black Holes, Eternal Inflation, and the Inflationary Parameter Space after WMAP5
Creators: name: Peiris, Hiranya V.
name: Easther, Richard
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider constraints on inflation driven by a single, minimally coupled scalar field in the light of the WMAP5 dataset, as well as ACBAR and the SuperNova Legacy Survey. We use the Slow Roll Reconstruction algorithm to derive optimal constraints on the inflationary parameter space. The scale dependence in the slope of the scalar spectrum permitted by WMAP5 is large enough to lead to viable models where the small scale perturbations have a substantial amplitude when extrapolated to the end of inflation. We find that excluding parameter values which would cause the overproduction of primordial black holes or even the onset of eternal inflation leads to potentially significant constraints on the slow roll parameters. Finally, we present a more sophisticated approach to including priors based on the total duration of inflation, and discuss the resulting restrictions on the inflationary parameter space.
description: v2: version published in JCAP. Minor clarifications and references added
Nanomechanics of single keratin fibres: A Raman study of the alpha helix -> beta sheet transition and water effect
Creators: name: Colomban, Philippe
name: Paquin, Raphaël
Publisher: name: arXiv
Year: 2007
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The use of micro-Raman spectroscopy, through chemical bond nano-scale probes, allows the changes in conformations (alpha helix -> beta sheet), chain orientation, disconnection of disulfide bonds (-20%) and the increase of intra and inter-chain distances during the strain to be distinguished. The combination of micro-Raman spectroscopy and a allows a quantitative measure of the extension of chemical bonds in the peptidic chain during loading. The nano-structural transformations of keratin during the strain of human hair in a dry environment (40-60 % relative humidity) and saturated with water have been studied. The water permits the sliding of the chains and decreases the bond energy hair. Spectral analyses and 2D correlation are two coherent and independent methods to follow change the Raman probes which are sensitive to structural . The between nano-mechanical (Raman) and micro-mechanical (strain/stress) analyses confirms the validity of the experimental results, tools and principles used, as well as the agreement with the structural model of keratin fibres described by Chapman & Hearle.
การปรับปรุงกระบวนการผลิตโต๊ะล้างภาชนะโดยการจัดทำเวลามาตรฐาน กรณีศึกษาบริษัทผู้ผลิตผลิตภัณฑ์สแตนเลส
Creators: name: เอกชัย  คุปตาวาทิน
name: อภิชาติ คงวิริยะกุล
Publisher: name: มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน
Year: 2014
Subjects: เวลามาตรฐาน, การปรับปรุงกระบวนการผลิต

description: 2, 8, วารสารวิชาการและวิจัย มทร.พระนคร
Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style
Creators: name: Rabe, Florian
name: Roux, Navid
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Type theories can be formalized using the intrinsically (hard) or the extrinsically (soft) typed style. In large libraries of type theoretical features, often both styles are present, which can lead to code duplication and integration issues. We define an operator that systematically translates a hard-typed into the corresponding soft-typed formulation. Even though this translation is known in principle, a number of subtleties make it more difficult than naively expected. Importantly, our translation preserves modularity, i.e., it maps structured sets of hard-typed features to correspondingly structured soft-typed ones. We implement our operator in the MMT system and apply it to a library of type-theoretical features.
description: In Proceedings LFMTP 2021, arXiv:2107.07376
Higher order Josephson effects
Creators: name: Buniy, Roman V.
name: Kephart, Thomas W.
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Gaussian linking of superconducting loops containing Josephson junctions with enclosed magnetic fields give rise to interference shifts in the phase that modulates the current carried through the loop, proportional to the magnitude of the enclosed flux. We generalize these results to higher order linking of a superconducting loop with several magnetic solenoids, and show there may be interference shifts proportional to the product of two or more fluxes.
description: 8 pages, 2 figures
ความหลากหลายทางพันธุกรรมของ Saccharum spontaneum และลูกผสมโดยเทคนิค อาร์เอพีดี (Genetic Relationship in Saccharum spontaneum and Their Hybrids by RAPD)
Creators: name: ไอลดา ไชยบุตร
Publisher: name: Genetics Society of Thailand
Year: 2013
Subjects: molecular techniques, Sugarcane, Genetic diversity, RAPD

description: S1 (Special Issue 1), S.1, Thai Journal of Genetics
Adelfa: A System for Reasoning about LF Specifications
Creators: name: Southern, Mary
name: Nadathur, Gopalan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: We present a system called Adelfa that provides mechanized support for reasoning about specifications developed in the Edinburgh Logical Framework or LF. Underlying Adelfa is a new logic named L_LF. Typing judgements in LF are represented by atomic formulas in L_LF and quantification is permitted over contexts and terms that appear in such formulas. Contexts, which constitute type assignments to uniquely named variables that are modelled using the technical device of nominal constants, are characterized in L_LF by context schemas that describe their inductive structure. We present these formulas and an associated semantics before sketching a proof system for constructing arguments that are sound with respect to the semantics. We then outline the realization of this proof system in Adelfa and illustrate its use through a few example proof developments. We conclude the paper by relating Adelfa to existing systems for reasoning about LF specifications.
description: In Proceedings LFMTP 2021, arXiv:2107.07376
Improved estimation of cluster mass profiles from the cosmic microwave background
Creators: name: Yoo, Jaiyul
name: Zaldarriaga, Matias
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We develop a new method for reconstructing cluster mass profiles and large-scale structure from the cosmic microwave background (CMB). By analyzing the likelihood of CMB lensing, we analytically prove that standard quadratic estimators for CMB lensing are unbiased and achieve the optimal condition only in the limit of no lensing; they become progressively biased and sub-optimal, when the lensing effect is large, especially for clusters that can be found by ongoing Sunyaev-Zel'dovich surveys. Adopting an alternative approach to the CMB likelihood, we construct a new maximum likelihood estimator that utilizes delensed CMB temperature fields based on an assumed model. We analytically show that this estimator asymptotically approaches the optimal condition as our assumed model is refined, and we numerically show that our estimator quickly converges to the true model as we iteratively apply it to CMB maps. For realistic CMB experiments, we demonstrate the applicability of the maximum likelihood estimator with tests against numerical simulations in the presence of CMB secondary contaminants. With significant improvement on the signal-to-noise ratio, our new maximum likelihood estimator can be used to measure the cluster-mass cross-correlation functions at different redshifts, probing the evolution of dark energy.
description: 16 pages, 9 figures, accepted for publication in Physical Review D
Mid-infrared spectra of optically selected type 2 quasars
Creators: name: Zakamska, Nadia L.
name: Gomez, Laura
name: Strauss, Michael A.
name: Krolik, Julian H.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Type 2 quasars are luminous Active Galactic Nuclei whose central engines are seen through large amounts of gas and dust. We present Spitzer spectra of twelve type 2 quasars selected on the basis of their optical emission line properties. Within this sample, we find a surprising diversity of spectra, from those that are featureless to those showing strong PAH emission, deep silicate absorption at 10 micron, hydrocarbon absorption, high-ionization emission lines and H_2 rotational emission lines. About half of the objects in the sample are likely Compton-thick, including the two with the deepest Si absorption. The median star-formation luminosity of the objects in our sample measured from the strength of the PAH features is 5x10^11 L_sun, much higher than for field galaxies or for any other AGN sample, but similar to other samples of type 2 quasars. This suggests an evolutionary link between obscured quasars and peak star formation activity in the host galaxy. Despite the high level of star formation, the bolometric output is dominated by the quasar in all cases. For a given strength of 10 micron Si absorption, ULIRGs are significantly colder than are type 2 quasars (their F_nu[14.5 micron]/F_nu[27.5 micron] ratio is 0.5 dex lower), perhaps reflecting different obscuration geometries in these sources. We find that the appearance of the 10 micron feature (i.e., whether it shows in emission or in absorption) is well-correlated with the optical classification in type 1 and type 2 quasars, contrary to some models of clumpy obscuration. Furthermore, this correlation is significantly stronger in quasars (L_bol>10^45 erg/s) than it is in Seyfert galaxies (L_bol<<10^45 erg/s).
description: 21 pages, including 8 grey-scale figures and 1 color figure; accepted to AJ
Computing the Death Rate of COVID-19
Creators: name: Pai, Naveen
name: Zhang, Sean
name: Harchol-Balter, Mor
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computers and Society (cs.CY)
subject: FOS: Computer and information sciences

description: The Infection Fatality Rate (IFR) of COVID-19 is difficult to estimate because the number of infections is unknown and there is a lag between each infection and the potentially subsequent death. We introduce a new approach for estimating the IFR by first estimating the entire sequence of daily infections. Unlike prior approaches, we incorporate existing data on the number of daily COVID-19 tests into our estimation; knowing the test rates helps us estimate the ratio between the number of cases and the number of infections. Also unlike prior approaches, rather than determining a constant lag from studying a group of patients, we treat the lag as a random variable, whose parameters we determine empirically by fitting our infections sequence to the sequence of deaths. Our approach allows us to narrow our estimation to smaller time intervals in order to observe how the IFR changes over time. We analyze a 250 day period starting on March 1, 2020. We estimate that the IFR in the U.S. decreases from a high of $0.68\%$ down to $0.24\%$ over the course of this time period. We also provide IFR and lag estimates for Italy, Denmark, and the Netherlands, all of which also exhibit decreasing IFRs but to different degrees.
Causality as an emergent macroscopic phenomenon: The Lee-Wick O(N) model
Creators: name: Grinstein, Benjamin
name: O'Connell, Donal
name: Wise, Mark B.
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In quantum mechanics the deterministic property of classical physics is an emergent phenomenon appropriate only on macroscopic scales. Lee and Wick introduced Lorentz invariant quantum theories where causality is an emergent phenomenon appropriate for macroscopic time scales. In this paper we analyze a Lee-Wick version of the O(N) model. We argue that in the large N limit this theory has a unitary and Lorentz invariant S matrix and is therefore free of paradoxes in scattering experiments. We discuss some of its acausal properties.
description: 18 pages, 2 figure
title: 云南保山-龙陵地区1∶50 000营盘幅、雪华幅区域地质矿产调查报告
title: 区域地质调查报告2018-20011
titleType: Other
Creators: name: 王;田;李;曾;费;李;王;王;师;康;李;张;曾;胡;董;尹;任;董;杨;杨;李;杨;谭;马 , 巍;应贵;国昌;庆荣;志斌;超;辉;一丁;丽丽;金勇;秋萍;兴国;宇;勇;朝芳;家旭;洪超;家航;政;钦淞;瑞卿;海云;馨;晓萍
Publisher: name: 全国地质资料馆
Year: 2018
Subjects: subject: 西南三江造山带;古特提斯;临沧花岗岩体;蓝片岩相

description: 调查区地处西南“三江”造山带南段。区内自西向东分属于保山地块、怒江-昌宁-孟连结合带、崇山-临沧地块，地质构造较为复杂，是研究古特提斯洋物质组成、空间分布、发展演化的重要地区，历来受到中、外地质学者的高度关注。也正是如此，对工作区内的地质认识出现了“百花齐放、百家争鸣”的局面，许多专家、学者都根据所掌握的资料提出了自己的认识。随着地质学科自身的发展和分析测试技术的进步、实际资料的进一步丰富，一些前人的认识与实际资料存在明显的矛盾，需要进一步修改、完善和提高。本次工作通过对前人资料的消化、吸收和较为系统的野外实际观察、研究，取得了一些进展，但本次1﹕5万区域地质调查成果资料还需要在区域上进行进一步验证。区内地层系统横跨2个地层大区，3个地层小区。在前人工作成果的基础上，对调查区内的地层进行了系统的划分，划分了构造－岩层和构造－地层单位6个；正式岩石地层单位21个；非正式岩石地层单位13个；第四纪按时代及成因类型划分了2个填图单位，对特征性夹层作为非正式填图单元进行了详细标示。新发现了保山地块东缘早石炭世-早二叠系张家田组斜坡—盆地相浊流沉积，其灰岩夹层中含丰富的牙形石：Mesogondolella zsuzsanae，Neostreptognathodus peguopensis，Streptognathodus cristellaris，Declinognathodus noduliferas，Pseudopolygnathas pinnatrs等，可能为保山陆表海与耿马被动陆缘之间的裂陷海槽沉积。新建上三叠统雪山组，即在原划归中三叠统忙怀组中酸性火山岩。可进一步划分为两个岩性段，一段主要为一套磨拉石沉积建造，二段主要为中酸性火山岩，在其底部与顶部角闪英安岩中分别获得锆石U-Pb LA-ICP-MS年龄为209.7±0.81 Ma和218.8±0.7Ma，总体上，显示了挤压构造背景岩浆活动的特点。该应该为后碰撞阶段晚期向后造山阶段过渡，应力调整阶段的产物。确定了新元古界澜沧岩群中高镁质岩的存在，具大洋低钾拉斑玄武岩特征。为Rodinia超级大陆裂解初期的火山活动记录。对分布于北东部的临沧花岗岩体进行了解体，划分了4个侵入体。查明岩石普遍发育片理或糜棱面理，并对其进行了强弱应变带的划分。本次工作获得3件单颗粒锆石U—Pb LA-ICP-MS年龄211.9-214.7Ma，时代均为晚三叠世。在前人工作成果的基础上，对工作区内的变质岩按原岩时代、变质作用类型和时期进行了系统的划分，共划分出5个变质亚带。同时收集了较丰富的变质变形特征资料，建立了区内变质变形序列。在雪华幅郑家寨一带新识别出的二叠系拉巴组内发现了蓝闪石＋多硅白云母，属低温高压蓝片岩相，并在含蓝闪凝灰质绢云千枚岩中锆石U-PbLA-ICP-MS同位素年龄值为231.7±8.5Ma，以上资料对印支期高压变质作用的又一佐证。在系统收集、消化、吸收前人工作成果资料的基础上，结合本次工作获得的成果资料，以古特提斯构造演化为主线，对测区地壳进行了构造单元的划分。划分了出3个二级大地构造单元（保山地块、怒江-昌宁-孟连结合带、崇山-临沧地块），并进一步细分为6个三级大地构造单元。并对各三级构造单元的沉积作用、岩浆作用、变质作用、构造变形特征进行了系统的总结。
Group velocity control in the ultraviolet domain via interacting dark-state resonances
Creators: name: Mahmoudi, M.
name: Sahrai, M.
name: Evers, J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The propagation of a weak probe field in a laser-driven four-level atomic system is investigated. We choose mercury as our model system, where the probe transition is in the ultraviolet region. A high-resolution peak appears in the optical spectra due to the presence of interacting dark resonances. We show that this narrow peak leads to superluminal light propagation with strong absorption, and thus by itself is only of limited interest. But if in addition a weak incoherent pump field is applied to the probe transition, then the peak structure can be changed such that both sub- and superluminal light propagation or a negative group velocity can be achieved without absorption, controlled by the incoherent pumping strength.
Шорин С.А. Влияние состояния эффективности бюджетных расходов на проблему заинтересованности налогоплательщиков в уплате налогов // Налоговая система Российской Федерации в условиях развития цифровой экономики: правовые и экономические аспекты: Материалы Международной научно-практической конференции. Москва, 30 ноября – 1 декабря 2018 г. / Под ред. И.А. Цинделиани. М.: РГУП, 2019. – 352 с. С. 157-166.
Creators: name: Shorin, Sergey
Publisher: name: figshare
Year: 2021
Subjects: subject: Law
subject: FOS: Law
subject: 150201 Finance
subject: FOS: Economics and business
subject: 180125 Taxation Law

description: Риски снижения заинтересованности налогоплательщиков в уплате налогов, создаваемые недостаточно удовлетворительным состоянием правового обеспечения осуществления бюджетных расходов, актуализируют задачу разработки мер по его совершенствованию. В качестве таких мер рассматривается повышение эффективности бюджетных расходов и открытости информации о бюджетных расходах. При этом указывается, что эффективность бюджетных расходов должна оцениваться с позиций достижения конкретных количественных и качественных результатов деятельности государства, осуществляемой за счет данных бюджетных расходов, полезных для общества. Возможными шагами на пути решения поставленной задачи представляются установление зависимости доходов руководителей государственных органов и учреждений от эффективности этих органов и учреждений, сокращение сроков размещения годовой бухгалтерской отчетности государственных органов и учреждений в сети Интернет и раскрытие результатов государственного финансового контроля с помощью цифровых технологий.
Nodeless Superconductivity in the Noncentrosymmetric Superconductor $Mg_{10}Ir_{19}B_{16}$
Creators: name: Mu, Gang
name: Wang, Yue
name: Shan, Lei
name: Wen, Hai-Hu
Publisher: name: arXiv
Year: 2007
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We measured the resistivity, diamagnetization and low temperature specific heat of the newly discovered noncentrosymmetric superconductor $Mg_{10}Ir_{19}B_{16}$. It is found that the superconducting gap has an s-wave symmetry with a value of about $Δ_0 \approx$ 0.6 meV, and the ratio $Δ_0/k_BT_c\approx1.86$ indicates a weak coupling for the superconductivity. The correlations among the normal state Sommerfeld constant $γ_n$, the slope $-dμ_0H_{c2}(T)/dT$ near Tc and the condensation energy Ec are all consistent with the weak coupling picture. The separated phonon contribution from the specific heat shows that the conduction electrons of the $Ir$ atoms interact most strongly with the vibrations of themselves, instead of with that of the light element boron.
description: 5 pages, 5 figures; added references, corrected typos
The neighbourhood house as a social work agency
Creators: name: Mellor, Sarah Llewellyn Bassett
Publisher: name: University of British Columbia
Year: 2010

description: Four of Vancouver's eight neighbourhood houses were studied to determine the extent to which they are social work agencies and to ascertain what types of social work each engages in. Related questions addressed include the roles of neighbourhood house voluntary boards of directors, the effects and implications of government funding of neighbourhood house programs, and the extent to which houses have departed from their historic roles. The four houses studied were consciously chosen so as to represent two which belong to the Neighbourhood Services Association and two which are independent, in that they belong directly to the United Way. An old and a new house of each type was selected so as to provide a further basis for valid comparisons Neighbourhood houses are clearly social work agencies. Programs of the casework and group work type are predominate. Two of the houses, in particular, also carry out extensive community organization work. Volunteer board members play significant roles. However, the nature of their roles varies according to length of tenure of the director, their past or current involvement in house programs, and their perceptions of the purpose of volunteer boards. Generally speaking, the longer the director's term and the more board members participate in house programs, the less significant is their role in making important policy, programming, staffing and budget decisions. Two of the four neighbourhood houses have departed from roles played by the early settlement houses. One reason for an increased emphasis on casework and group work programs at the expense of community organization is neighbourhood house reliance on government funding to provide direct services to target groups. The change in emphasis of house programming occurs, not through exercise of overt government control but, in part, because administration of publicly funded services takes time and energy away from community organization work.
Properties of analytic transit light curve models
Creators: name: Pál, András
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: In this paper a set of analytic formulae are presented with which the partial derivatives of the flux obscuration function can be evaluated -- for planetary transits and eclipsing binaries -- under the assumption of quadratic limb darkening. The knowledge of these partial derivatives is crucial for many of the data modeling algorithms and estimates of the light curve variations directly from the changes in the orbital elements. These derivatives can also be utilized to speed up some of the fitting methods. A gain of ~8 in computing time can be achieved in the implementation of the Levenberg-Marquardt algorithm, relative to using numerical derivatives.
description: Accepted for publication in MNRAS, 8 pages, 5 figures. Routines are available from http://szofi.elte.hu/~apal/utils/astro/ntiq/
Elucidating the proton transport pathways in liquid imidazole with first-principles molecular dynamics
Creators: name: Long, Zhuoran
name: Atsango, Austin O.
name: Napoli, Joseph A.
name: Markland, Thomas E.
name: Tuckerman, Mark E.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Imidazole is a promising anhydrous proton conductor with a high conductivity comparable to that of water at a similar temperature relative to its melting point. Previous theoretical studies of the mechanism of proton transport in imidazole have relied either on empirical models or on ab initio trajectories that have been too short to draw significant conclusions. Here, we present the results of ab initio molecular dynamics simulations of an excess proton in liquid imidazole reaching 1 nanosecond in total simulation time. We find that the proton transport is dominated by structural diffusion, and the diffusion constant of the proton defect is ~8 times higher than the self-diffusion of the imidazole molecules. By using correlation function analysis, we decompose the mechanism for proton transport into a series of first-order processes and show that the proton transport mechanism occurs over three distinct time and length scales. Although the mechanism at intermediate times is dominated by hopping along pseudo one-dimensional chains, at longer times, the overall rate of diffusion is limited by the reformation of these chains, thus providing a more complete picture of the traditional, idealized Grotthuss structural diffusion mechanism.
description: 7-page manuscript (5 figures) and 7-page supporting information (7 figures)
‘Canal Basin’ – The Falcon Study Immersive Digital Story
Creators: name: Turpin, Holly
Publisher: name: Loughborough University
Year: 2024

description: A 360 degree narrated video.

A co-created immersive digital story co-created with participants with experiences of homelessness, part of the PhD research 'Understanding Homelessness in Loughborough Through Co-Creative Immersive Digital Storytelling'.
Nonequilibrium thermal transport and photon squeezing in a quadratic qubit-resonator system
Creators: name: Wang, Chen
name: Chen, Hua
name: Liao, Jie-Qiao
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We investigate steady-state thermal transport and photon statistics in a nonequilibrium hybrid quantum system, in which a qubit is longitudinally and quadratically coupled to an optical resonator. Our calculations are conducted with the method of the quantum dressed master equation combined with full counting statistics. The effect of negative differential thermal conductance is unravelled at finite temperature bias, which stems from the suppression of cyclic heat transitions and large mismatch of two squeezed photon modes at weak and strong qubit-resonator hybridizations, respectively. The giant thermal rectification is also exhibited at large temperature bias. It is found that the intrinsically asymmetric structure of the hybrid system and negative differential thermal conductance show the cooperative contribution. Noise power and skewness, as typical current fluctuations, exhibit global maximum with strong hybridization at small and large temperature bias limits, respectively. Moreover, the effect of photon quadrature squeezing is discovered in the strong hybridization and low-temperature regime, which shows asymmetric response to two bath temperatures. These results would provide some insight to thermal functional design and photon manipulation in qubit-resonator hybrid quantum systems.
description: 11pages, 5figs
Scaling properties in bulk and p$_{\rm T}$-dependent particle production near midrapidity in relativistic heavy ion collisions
Creators: name: PHOBOS Collaboration
name: Alver, B.
name: Back, B. B.
name: Baker, M. D.
name: Ballintijn, M.
name: Barton, D. S.
name: Betts, R. R.
name: Bindel, R.
name: Busza, W.
name: Chai, Z.
name: Chetluru, V.
name: Garcia, E.
name: Gburek, T.
name: Gulbrandsen, K.
name: Hamblen, J.
name: Harnarine, I.
name: Henderson, C.
name: Hofman, D. J.
name: Hollis, R. S.
name: Holynski, R.
name: Holzman, B.
name: Iordanova, A.
name: Kane, J. L.
name: Kulinich, P.
name: Kuo, C. M.
name: Li, W.
name: Lin, W. T.
name: Loizides, C.
name: Manly, S.
name: Mignerey, A. C.
name: Nouicer, R.
name: Olszewski, A.
name: Pak, R.
name: Reed, C.
name: Richardson, E.
name: Roland, C.
name: Roland, G.
name: Sagerer, J.
name: Sedykh, I.
name: Smith, C. E.
name: Stankiewicz, M. A.
name: Steinberg, P.
name: Stephans, G. S. F.
name: Sukhanov, A.
name: Szostak, A.
name: Tonjes, M. B.
name: Trzupek, A.
name: van Nieuwenhuizen, G. J.
name: Vaurynovich, S. S.
name: Verdier, R.
name: Veres, G.
name: Walters, P.
name: Wenger, E.
name: Willhelm, D.
name: Wolfs, F. L. H.
name: Wosiek, B.
name: Wozniak, K.
name: Wyngaardt, S.
name: Wyslouch, B.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: The centrality dependence of the midrapidity charged-particle multiplicity density ($|η|$$
description: Submitted for publication in Phys. Rev. C, 5 pages, 3 figures
Comparison of Optical Response from DFT Random Phase Approximation and Low-Energy Effective Model: Strained Phosphorene
Creators: name: Alidoust, Mohammad
name: Isachsen, Erlend E.
name: Halterman, Klaus
name: Akola, Jaakko
Publisher: name: arXiv
Year: 2021
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The engineering of the optical response of materials is a paradigm that demands microscopic-level accuracy and reliable predictive theoretical tools. Here we compare and contrast the dispersive permittivity tensor, using both a low-energy effective model and density functional theory (DFT). As a representative material, phosphorene subject to strain is considered. Employing a low-energy model Hamiltonian with a Green's function current-current correlation function, we compute the dynamical optical conductivity and its associated permittivity tensor. For the DFT approach, first-principles calculations make use of the first-order random-phase approximation. Our results reveal that although the two models are generally in agreement within the low-strain and low-frequency regime, the intricate features associated with the fundamental physical properties of the system and optoelectronic device implementation such as band gap, Drude absorption response, vanishing real part, absorptivity, and sign of permittivity over the frequency range show significant discrepancies. Our results suggest that the random-phase approximation employed in widely used DFT packages should be revisited and improved to be able to predict these fundamental electronic characteristics of a given material with confidence. Furthermore, employing the permittivity results from both models, we uncover the pivotal role that phosphorene can play in optoelectronics devices to facilitate highly programable perfect absorption of electromagnetic waves by manipulating the chemical potential and exerting strain and illustrate how reliable predictions for the dielectric response of a given material are crucial to precise device design.
description: 14 pages, 8 figures, 1 table
General theory of electromagnetic fluctuations near a homogeneous surface, in terms of its reflection amplitudes
Creators: name: Bimonte, Giuseppe
name: Santamato, Enrico
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: Other Condensed Matter (cond-mat.other)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We derive new general expressions for the fluctuating electromagnetic field outside a homogeneous material surface. The analysis is based on general results from the thermodynamics of irreversible processes, and requires no consideration of the material interior, as it only uses knowledge of the reflection amplitudes for its surface. Therefore, our results are valid for all homogeneous surfaces, including layered systems and metamaterials, at all temperatures. In particular, we obtain new formulae for the near-field region, which are important for interpreting the numerous current experiments probing proximity effects for macroscopic and/or microscopic bodies separated by small empty gaps. By use of Onsager's reciprocity relations, we obtain also the general symmetry properties that must be satisfied by the reflection matrix of any material.
description: 5 pages
The Kinetic Activation-Relaxation Technique: A Powerful Off-lattice On-the-fly Kinetic Monte Carlo Algorithm
Creators: name: El-Mellouhi, fedwa
name: Mousseau, Normand
name: Lewis, Laurent J.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Many materials science phenomena, such as growth and self-organisation, are dominated by activated diffusion processes and occur on timescales that are well beyond the reach of standard-molecular dynamics simulations. Kinetic Monte Carlo (KMC) schemes make it possible to overcome this limitation and achieve experimental timescales. However, most KMC approaches proceed by discretizing the problem in space in order to identify, from the outset, a fixed set of barriers that are used throughout the simulations, limiting the range of problems that can be addressed. Here, we propose a more flexible approach -- the kinetic activation-relaxation technique (k-ART) -- which lifts these constraints. Our method is based on an off-lattice, self-learning, on-the-fly identification and evaluation of activation barriers using ART and a topological description of events. The validity and power of the method are demonstrated through the study of vacancy diffusion in crystalline silicon.
description: 5 pages, 4 figures
Automating Induction by Reflection
Creators: name: Schoisswohl, Johannes
name: Kovács, Laura
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires an infinite number of axioms, which is not a feasible input to a computer-aided theorem prover requiring a finite input. Mathematical practice is to specify these infinite sets of axioms as axiom schemes. Unfortunately these schematic definitions cannot be formalized in first-order logic, and therefore not supported as inputs for first-order theorem provers. In this work we introduce a new method, inspired by the field of axiomatic theories of truth, that allows to express schematic inductive definitions, in the standard syntax of multi-sorted first-order logic. Further we test the practical feasibility of the method with state-of-the-art theorem provers, comparing it to solvers' native techniques for handling induction.
description: In Proceedings LFMTP 2021, arXiv:2107.07376. A full version of this paper appears at arXiv:2106.05066
Evolving Evolutionary Algorithms using Multi Expression Programming
Creators: name: Oltean, Mihai
name: Groşan, Crina
Publisher: name: arXiv
Year: 2021
Subjects: subject: Neural and Evolutionary Computing (cs.NE)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Finding the optimal parameter setting (i.e. the optimal population size, the optimal mutation probability, the optimal evolutionary model etc) for an Evolutionary Algorithm (EA) is a difficult task. Instead of evolving only the parameters of the algorithm we will evolve an entire EA capable of solving a particular problem. For this purpose the Multi Expression Programming (MEP) technique is used. Each MEP chromosome will encode multiple EAs. An nongenerational EA for function optimization is evolved in this paper. Numerical experiments show the effectiveness of this approach.
description: 8 pages, 2 figures. arXiv admin note: text overlap with arXiv:2109.13110