检索结果-内蒙古大学图书馆

Author Correction: The power of genetic diversity in genome-wide association studies of lipids

Nature 2023年第7965期618卷 E19-E20页

作者： Sarah E Graham Shoa L Clarke Kuan-Han H Wu Stavroula Kanoni Greg J M Zajac Shweta Ramdas Ida Surakka Ioanna Ntalla Sailaja Vedantam Thomas W Winkler Adam E Locke Eirini Marouli Mi Yeong Hwang Sohee Han Akira Narita Ananyo Choudhury Amy R Bentley Kenneth Ekoru Anurag Verma Bhavi Trivedi Hilary C Martin Karen A Hunt Qin Hui Derek Klarin Xiang Zhu Gudmar Thorleifsson Anna Helgadottir Daniel F Gudbjartsson Hilma Holm Isleifur Olafsson Masato Akiyama Saori Sakaue Chikashi Terao Masahiro Kanai Wei Zhou Ben M Brumpton Humaira Rasheed Sanni E Ruotsalainen Aki S Havulinna Yogasudha Veturi QiPing Feng Elisabeth A Rosenthal Todd Lingren Jennifer allen Pacheco Sarah A Pendergrass Jeffrey Haessler Franco Giulianini Yuki Bradford Jason E Miller Archie Campbell Kuang Lin Iona Y Millwood George Hindy Asif Rasheed Jessica D Faul Wei Zhao David R Weir Constance Turman Hongyan Huang Mariaelisa Graff Anubha Mahajan Michael R Brown Weihua Zhang Ketian Yu Ellen M Schmidt Anita Pandit Stefan Gustafsson Xianyong Yin Jian'an Luan Jing-Hua Zhao Fumihiko Matsuda Hye-Mi Jang Kyungheon Yoon Carolina Medina-Gomez Achilleas Pitsillides Jouke Jan Hottenga Gonneke Willemsen Andrew R Wood Yingji Ji Zishan Gao Simon Haworth Ruth E Mitchell Jin Fang Chai Mette Aadahl Jie Yao Ani Manichaikul Helen R Warren Julia Ramirez Jette Bork-Jensen Line L Kårhus Anuj Goel Maria Sabater-Lleal Raymond Noordam Carlo Sidore Edoardo Fiorillo Aaron F McDaid Pedro Marques-Vidal Matthias Wielscher Stella Trompet Naveed Sattar Line T Møllehave Betina H Thuesen Matthias Munz Lingyao Zeng Jianfeng Huang Bin Yang alaitz Poveda Azra Kurbasic Claudia Lamina Lukas Forer Markus Scholz Tessel E Galesloot Jonathan P Bradfield E Warwick Daw Joseph M Zmuda Jonathan S Mitchell Christian Fuchsberger Henry Christensen Jennifer A Brody Mary F Feitosa Mary K Wojczynski Michael Preuss Massimo Mangino Paraskevi Christofidou Niek Verweij Jan W Benjamins Jorgen Engmann Rachel L Kember Roderick C Slieker Ken Sin Lo Nuno R Zilhao Phuong Le Marcus E Kleber Graciela E Delgado Shaofeng Huo Dai Department of Internal Medicine Division of Cardiology University of Michigan Ann Arbor MI USA. VA Palo Alto Health Care System Palo Alto CA USA. Department of Medicine Division of Cardiovascular Medicine Stanford University School of Medicine Stanford CA USA. Department of Computational Medicine and Bioinformatics University of Michigan Ann Arbor MI USA. William Harvey Research Institute Barts and the London School of Medicine and Dentistry Queen Mary University of London London UK. Department of Biostatistics and Center for Statistics Genetics University of Michigan Ann Arbor MI USA. Department of Genetics Perelman School of Medicine University of Pennsylvania Philadelphia PA USA. Clinical Pharmacology William Harvey Research Institute Barts and The London School of Medicine and Dentistry Queen Mary University of London London UK. Endocrinology Boston Children's Hospital Boston MA USA. Medical and Population Genetics Broad Institute Cambridge MA USA. Department of Genetic Epidemiology University of Regensburg Regensburg Germany. McDonnell Genome Institute and Department of Medicine Washington University St Louis MO USA. Department of Precision Medicine Division of Genome Science National Institute of Health Cheongju-si South Korea. Tohoku Medical Megabank Organization Tohoku University Sendai Japan. Sydney Brenner Institute for Molecular Bioscience Faculty of Health Sciences University of the Witwatersrand Johannesburg South Africa. Center for Research on Genomics and Global Health National Human Genome Research Institute National Institutes of Health Bethesda MD USA. Blizard Institute Barts and the London School of Medicine and Dentistry Queen Mary University of London London UK. Wellcome Sanger Institute Hinxton UK. Department of Epidemiology Emory University Rollins School of Public Health Atlanta GA USA. Atlanta VA Health Care System Decatur GA USA. Malcolm Randall VA Medical Center Gainesville FL USA. Division of Vascular Sur

来源：评论

学校读者我要写书评

暂无评论

Guest editorial: Challenges of embedded systems as they evolve into M2M, internet of things

引用

ACM Transactions on Embedded Computing Systems 2016年第2期15卷 1–2页

作者： Rho, Seungmin Rahayu, Wenny Min, Geyong Department of Media Software Sungkyul University Anyang-si Korea Republic of Department of Computer Science and Information Technology La Trobe University Australia College of Engineering Mathematics and Physical Sciences University of Exeter United Kingdom

With the rapid progress in information communication technology (ICT), multidisciplinary research fields such as Internet of Things (IoT), machine to machine (M2M), and embedded systems have been widely explored in recent years. As a result, a wide range of research opportunities have surfaced, with new challenges and research issues in IoT areas to be investigated and evaluated. This special issue on new technologies and research trends of embedded computing and systems for IoT and M2M provides high-quality contributions addressing related theoretical and practical aspects of associated technologies and their applications.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Improving missing issue-commit link recovery using positive and unlabeled data 17

Improving missing issue-commit link recovery using positive ...

引用

IEEE International Conference on Automated software engineering (ASE)

作者： Yan Sun Celia Chen Qing Wang Barry Boehm Laboratory for Internet Software Technologies State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing P.R. China University of Chinese Academy of Sciences Beijing P.R. China Department of Computer Science Occidental College Los Angeles CA Center for Systems and Software Engineering University of Southern California Los Angeles USA

ISBN: (纸本)9781538626849

Links between issue reports and corresponding fix commits are widely used in software maintenance. The quality of links directly affects maintenance costs. Currently, such links are mainly maintained by error-prone manual efforts, which may result in missing links. To tackle this problem, automatic link recovery approaches have been proposed by building traditional classifiers with positive and negative links. However, these traditional classifiers may not perform well due to the inherent characteristics of missing links. Positive links, which can be used to build link recovery model, are quite limited as the result of missing links. Since the construction of negative links depends on the number of positive links in many existing approaches, the available negative links also become restricted. In this paper, we point out that it is better to consider the missing link problem as a model learning problem by using positive and unlabeled data, rather than the construction of traditional classifier. We propose PULink, an approach that constructs the link recovery model with positive and unlabeled links. Our experiment results show that compared to existing state-of-the-art technologies built on traditional classifier, PULink can achieve competitive performance by utilizing only 70% positive links that are used in those approaches.

关键词： Feature extraction Indexes Metadata Training software maintenance

来源：评论

学校读者我要写书评

暂无评论

SN 2018agk: A prototypical Type Ia Supernova with a smooth power-law rise in Kepler (K2)

arXiv

引用

arXiv 2021年

作者： Wang, Qinan Rest, Armin Zenati, Yossef Ridden-Harper, Ryan Dimitriadis, Georgios Narayan, Gautham Villar, V. Ashley Magee, Mark R. Foley, Ryan J. Shaya, Edward J. Garnavich, Peter Wang, Lifan Hu, Lei Bódi, Attila Armstrong, Patrick Auchettl, Katie Barclay, Thomas Barentsen, Geert Bognár, Zsófia Brimacombe, Joseph Bulger, Joanna Burke, Jamison Challis, Peter Chambers, Kenneth Coulter, David A. Csörnyei, Géza Cseh, Borbála Deckers, Maxime Dotson, Jessie L. Galbany, Lluís González-Gaitán, Santiago Gromadzki, Mariusz Gully-Santiago, Michael Hanyecz, Ottó Hedges, Christina Hiramatsu, Daichi Hosseinzadeh, Griffin Howell, D. Andrew Howell, Steve B. Huber, Mark E. Jha, Saurabh W. Jones, David O. Könyves-Tóth, Réka Kalup, Csilla Kilpatrick, Charles D. Kriskovics, Levente Li, Wenxiong Lowe, Thomas B. Margheim, Steven McCully, Curtis Mitra, Ayan Muñoz, Jose A. Nicholl, Matt Nordin, Jakob Pál, András Pan, Yen-Chen Piro, Anthony L. Rest, Sofia Rino-Silvestre, João Rojas-Bravo, César Sárneczky, Krisztián Siebert, Matthew R. Smartt, Stephen J. Smith, Ken Sódor, Ádám Stritzinger, Maximilian D. Szabó, Róbert Szakáts, Róbert Tucker, Brad E. Vinkó, József Wang, Xiaofeng Wheeler, J. Craig Young, David R. Zenteno, alfredo Zhang, Kaicheng Zsidi, Gabriella Department of Physics and Astronomy The Johns Hopkins University BaltimoreMD21218 United States Space Telescope Science Institute BaltimoreMD21218 United States Israel Excellence Fellowship Department of Astronomy and Astrophysics University of California Santa CruzCA95064 United States School of Physics Trinity College Dublin The University of Dublin Dublin 2 Ireland Department of Astronomy University of Illinois 1002 W. Green St. Urbana-ChampaignIL61801 United States Center for Astrophysical Surveys National Center for Supercomputing Applications UrbanaIL61801 United States Department of Astronomy & Astrophysics The Pennsylvania State University University ParkPA16802 United States Institute for Computational & Data Sciences The Pennsylvania State University University ParkPA16802 United States Institute for Gravitation and the Cosmos The Pennsylvania State University University ParkPA16802 United States Astronomy Department University of Maryland College ParkMD20742 United States University of Notre Dame Notre DameIN46556 United States Mitchell Institute for Fundamental Physics Department of Physics and Astronomy Texas A&M University College StationTX77843 United States Purple Mountain Observatory Chinese Academy of Sciences 10 Yuanhua Road Nanjing210033 China Konkoly Observatory CSFK Konkoly-Thege M. ut 15-17 Budapest1121 Hungary MTA CSFK Lendület Near-Field Cosmology Research Group Konkoly Thege Miklós út 15-17 Budapest1121 Hungary Mt Stromlo Observatory The Research School of Astronomy and Astrophysics Australian National University ACT2601 Australia School of Physics The University of Melbourne VIC3010 Australia University of Maryland Baltimore County 1000 Hilltop Circle BaltimoreMD21250 United States Bay Area Environmental Research Institute P.O. Box 25 Moffett Field CA94035 United States Coral Towers Observatory Cairns Australia Institute for Astronomy University of Hawai'i 2680 Woodlawn Drive HonoluluHI96

We present the 30-min cadence Kepler/K2 light curve of the Type Ia supernova (SN Ia) SN 2018agk, covering approximately one week before explosion, the full rise phase and the decline until 40 days after peak. We additionally present ground-based observations in multiple bands within the same time range, including the 1-day cadence DECam observations within the first ~5 days after the first light. The Kepler early light curve is fully consistent with a single power-law rise, without evidence of any bump feature. We compare SN 2018agk with a sample of other SNe Ia without early excess flux from the literature. We find that SNe Ia without excess flux have slowly-evolving early colors in a narrow range (g - i ≈ -0.20±0.20 mag) within the first ~ 10 days. On the other hand, among SNe Ia detected with excess, SN 2017cbv and SN 2018oh tend to be bluer, while iPTF16abc's evolution is similar to normal SNe Ia without excess in g - i. We further compare the Kepler light curve of SN 2018agk with companion-interaction models, and rule out the existence of a typical non-degenerate companion undergoing Roche-lobe overflow at viewing angles smaller than 45°. © 2021, CC BY.

关键词： Supernovae

来源：评论

学校读者我要写书评

暂无评论

Search for rare decays of the Z and Higgs bosons to a J/ψ or ψ(2S) meson and a photon in proton-proton collisions at s=13TeV

引用

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 2025年 865卷

作者： Hayrapetyan, A. Tumasyan, A. Adam, W. Andrejkovic, J.W. Bergauer, T. Chatterjee, S. Damanakis, K. Dragicevic, M. Hussain, P.S. Jeitler, M. Krammer, N. Li, A. Liko, D. Mikulec, I. Schieck, J. Schöfbeck, R. Schwarz, D. Sonawane, M. Templ, S. Waltenberger, W. Wulz, C.-E. Darwish, M.R. Janssen, T. Van Mechelen, P. Breugelmans, N. Dansana, S. De Moor, A. Delcourt, M. Heyen, F. Lowette, S. Makarenko, I. Müller, D. Tavernier, S. Tytgat, M. Van Onsem, G.P. Van Putte, S. Vannerom, D. Bilin, B. Clerbaux, B. Das, A.K. De Lentdecker, G. Evard, H. Favart, L. Gianneios, P. Jaramillo, J. Khalilzadeh, A. Khan, F.A. Lee, K. Mahdavikhorrami, M. Malara, A. Paredes, S. Shahzad, M.A. Thomas, L. Vanden Bemden, M. Vander Velde, C. Vanlaer, P. De Coen, M. Dobur, D. Gokbulut, G. Hong, Y. Knolle, J. Lambrecht, L. Marckx, D. Mota Amarilo, K. Samalan, A. Skovpen, K. Van Den Bossche, N. van der Linden, J. Wezenbeek, L. Benecke, A. Bethani, A. Bruno, G. Caputo, C. De Favereau De Jeneret, J. Delaere, C. Donertas, I.S. Giammanco, A. Guzel, A.O. Jain, Sh. Lemaitre, V. Lidrych, J. Mastrapasqua, P. Tran, T.T. Wertz, S. alves, G.A. alves Gallo Pereira, M. Coelho, E. Correia Silva, G. Hensel, C. Menezes De Oliveira, T. Moraes, A. Rebello Teles, P. Soeiro, M. Vilela Pereira, A. aldá Júnior, W.L. Barroso Ferreira Filho, M. Brandao Malbouisson, H. Carvalho, W. Chinellato, J. Da Costa, E.M. Da Silveira, G.G. De Jesus Damiao, D. Fonseca De Souza, S. Gomes De Souza, R. Macedo, M. Martins, J. Mora Herrera, C. Mundim, L. Nogima, H. Pinheiro, J.P. Santoro, A. Sznajder, A. Thiel, M. Bernardes, C.A. Calligaris, L. Fernandez Perez Tomei, T.R. Gregores, E.M. Maietto Silverio, I. Mercadante, P.G. Novaes, S.F. Orzari, B. Padula, Sandra S. aleksandrov, A. Antchev, G. Hadjiiska, R. Iaydjiev, P. Misheva, M. Shopova, M. Sultanov, G. Dimitrov, A. Litov, L. Pavlov, B. Petkov, P. Petrov, A. Shumka, E. Keshri, S. Thakur, S. Cheng, T. Javaid, T. Yuan, L. Hu, Z. Liang, Z. Liu, J. Yi, K. Chen, G.M. Chen, H.S. Chen, M. Iemmi, F. Jiang, C.H. Kapoor, A. Liao, H. Liu, Z.-A. Shar Yerevan Physics Institute Yerevan Armenia Institut für Hochenergiephysik Vienna Austria Universiteit Antwerpen Antwerpen Belgium Vrije Universiteit Brussel Brussel Belgium Université Libre de Bruxelles Bruxelles Belgium Ghent University Ghent Belgium Université Catholique de Louvain Louvain-la-Neuve Belgium Centro Brasileiro de Pesquisas Fisicas Rio de Janeiro Brazil Universidade do Estado do Rio de Janeiro Rio de Janeiro Brazil Universidade Estadual Paulista Universidade Federal do ABC São Paulo Brazil Institute for Nuclear Research and Nuclear Energy Bulgarian Academy of Sciences Sofia Bulgaria University of Sofia Sofia Bulgaria Instituto De Alta Investigación Universidad de Tarapacá Casilla 7 D Arica Chile Beihang University Beijing China Department of Physics Tsinghua University Beijing China Institute of High Energy Physics Beijing China State Key Laboratory of Nuclear Physics and Technology Peking University Beijing China Guangdong Provincial Key Laboratory of Nuclear Science and Guangdong-Hong Kong Joint Laboratory of Quantum Matter South China Normal University Guangzhou China Sun Yat-Sen University Guangzhou China University of Science and Technology of China Hefei China Nanjing Normal University Nanjing China Institute of Modern Physics Key Laboratory of Nuclear Physics Ion-beam Application (MOE) Fudan University Shanghai China Zhejiang University Zhejiang Hangzhou China Universidad de Los Andes Bogota Colombia Universidad de Antioquia Medellin Colombia University of Split Faculty of Electrical Engineering Mechanical Engineering and Naval Architecture Split Croatia University of Split Faculty of Science Split Croatia Institute Rudjer Boskovic Zagreb Croatia University of Cyprus Nicosia Cyprus Charles University Prague Czech Republic Escuela Politecnica Nacional Quito Ecuador Universidad San Francisco de Quito Quito Ecuador Academy of Scientific Research and Technology of the Arab Republic of Egypt Egyptian Network of High Ene

A search is presented for rare decays of the [Figure presented] and Higgs bosons to a photon and a [Figure presented] or a [Figure presented] meson, with the charmonium state subsequentially decaying to a pair of muons. The data set corresponds to an integrated luminosity of 123fb⁻¹ of proton-proton collisions at a center-of-mass energy of 13 TeV collected with the CMS detector at the LHC. No evidence for branching fractions of these rare decay channels larger than predicted in the standard model is observed. Upper limits at 95% confidence level are set: [Figure presented], [Figure presented], [Figure presented], and [Figure presented]. The ratio of the Higgs boson coupling modifiers [Figure presented] is constrained to be in the interval (−157,+199) at 95% confidence level. Assuming [Figure presented], this interval becomes (−166,+208). © 2025 CERN for the benefit of the CMS Collaboration

关键词： CMS Higgs J/psi Photon Rare decays SMP

来源：评论

学校读者我要写书评

暂无评论

Spectral and timing analysis of the accretion-powered Pulsar 4U 1626−67 observed with Suzaku and Nustar

arXiv

引用

arXiv 2019年

作者： Iwakiri, Wataru B. Pottschmidt, Katja Falkner, Sebastian Hemphill, Paul B. Fürst, Felix Nishimura, Osamu Walter Schwarm, Fritz Wolff, Michael T. Marcu-Cheatham, Diana M. Chakrabarty, Deepto Tomsick, John A. Wilson-Hodge, Colleen A. Kühnel, Matthias Terada, Yukikatsu Enoto, Teruaki Wilms, Jörn Department of Physics Faculty of Science and Engineering Chuo University 1-13-27 Kasuga Bunkyo-ku Tokyo112-8551 Japan CRESST Department of Physics Center for Space Science and Technology UMBC BaltimoreMD21250 United States Dr. Karl-Remeis-Sternwarte and ECAP Sternwartstr. 7 Bamberg96049 Germany MIT Kavli Institute for Astrophysics and Space Research Massachusetts Institute of Technology CambridgeMA02139 United States Spain Department of Electronics and Computer Science Nagano National College of Technology Nagano381-8550 Japan Space Science Division Naval Research Laboratory WashingtonDC20375-5352 United States Space Sciences Laboratory University of California BerkeleyCA94720 United States ZP 12 NASA Marshall Space Flight Center Astrophysics Office HuntsvilleAL35812 United States Graduate School of Science and Engineering Saitama University 255 Shimo-Okubo Sakura Saitama338-8570 Japan Hakubi Center for Advanced Research Kyoto University Kyoto606-8302 Japan RIKEN MAXI team 2-1 Hirosawa Wako Saitama351-0198 Japan Cahill Center for Astronomy and Astrophysics California Institute of Technology PasadenaCA91125 United States

We present an analysis of the spectral shape and pulse profile of the accretion-powered pulsar 4U 1626−67 observed with Suzaku and NuSTAR during a spin-up state. The pulsar, which experienced a torque reversal to spin-up in 2008, has a spin period of ∼7.7 s. Comparing the phase-averaged spectra obtained with Suzaku in 2010 and with NuSTAR in 2015, we find that the spectral shape changed between the two observations: the 3–10 keV flux increased by ∼5% while the 30–60 keV flux decreased significantly by ∼35%. Phase-averaged and phase-resolved spectral analysis shows that the continuum spectrum observed by NuSTAR is well described by an empirical NPEX continuum with an added broad Gaussian emission component around the spectral peak at ∼20 keV. Taken together with the observed P value obtained from Fermi/GBM, we conclude that the spectral change between the Suzaku and NuSTAR observations was likely caused by an increase of the accretion rate. We also report the possible detection of asymmetry in the profile of the fundamental cyclotron line. Furthermore, we present a study of the energy-resolved pulse profiles using a new relativistic ray tracing code, where we perform a simultaneous fit to the pulse profiles assuming a two-column geometry with a mixed pencil- and fan-beam emission pattern. The resulting pulse profile decompositions enable us to obtain geometrical parameters of accretion columns (inclination, azimuthal and polar angles) and a fiducial set of beam patterns. This information is important to validate the theoretical predictions from radiation transfer in a strong magnetic field. Copyright © 2019, The Authors. all rights reserved.

关键词： Magnetic fields

来源：评论

学校读者我要写书评

暂无评论

Search for low-mass dark matter with CDMSlite using a profile likelihood fit

引用

Physical Review D 2019年第6期99卷 062001-062001页

作者： R. Agnese T. Aralis T. Aramaki I. J. Arnquist E. Azadbakht W. Baker S. Banik D. Barker D. A. Bauer T. Binder M. A. Bowles P. L. Brink R. Bunker B. Cabrera R. Calkins R. A. Cameron C. Cartaro D. G. Cerdeño Y.-Y. Chang J. Cooley B. Cornell P. Cushman F. De Brienne T. Doughty E. Fascione E. Figueroa-Feliciano C. W. Fink M. Fritts G. Gerbier R. Germond M. Ghaith S. R. Golwala H. R. Harris N. Herbert Z. Hong E. W. Hoppe L. Hsu M. E. Huber V. Iyer D. Jardin A. Jastram C. Jena M. H. Kelsey A. Kennedy A. Kubik N. A. Kurinsky R. E. Lawrence B. Loer E. Lopez Asamar P. Lukens D. MacDonell R. Mahapatra V. Mandic N. Mast E. Miller N. Mirabolfathi B. Mohanty J. D. Morales Mendoza J. Nelson H. Neog J. L. Orrell S. M. Oser W. A. Page R. Partridge M. Pepin F. Ponce S. Poudel M. Pyle H. Qiu W. Rau A. Reisetter R. Ren T. Reynolds A. Roberts A. E. Robinson H. E. Rogers T. Saab B. Sadoulet J. Sander A. Scarff R. W. Schnee S. Scorza K. Senapati B. Serfass D. Speller C. Stanford M. Stein J. Street H. A. Tanaka D. Toback R. Underwood A. N. Villano B. von Krosigk S. L. Watkins J. S. Wilson M. J. Wilson J. Winchell D. H. Wright S. Yellin B. A. Young X. Zhang X. Zhao Department of Physics University of Florida Gainesville Florida 32611 USA Division of Physics Mathematics & Astronomy California Institute of Technology Pasadena California 91125 USA SLAC National Accelerator Laboratory/Kavli Institute for Particle Astrophysics and Cosmology Menlo Park California 94025 USA Pacific Northwest National Laboratory Richland Washington 99352 USA Department of Physics and Astronomy and the Mitchell Institute for Fundamental Physics and Astronomy Texas A&M University College Station Texas 77843 USA School of Physical Sciences National Institute of Science Education and Research HBNI Jatni 752050 India School of Physics & Astronomy University of Minnesota Minneapolis Minnesota 55455 USA Fermi National Accelerator Laboratory Batavia Illinois 60510 USA Department of Physics University of South Dakota Vermillion South Dakota 57069 USA Department of Physics South Dakota School of Mines and Technology Rapid City South Dakota 57701 USA Department of Physics Stanford University Stanford California 94305 USA Department of Physics Southern Methodist University Dallas Texas 75275 USA Department of Physics Durham University Durham DH1 3LE United Kingdom Instituto de Física Teórica UAM/CSIC Universidad Autónoma de Madrid 28049 Madrid Spain Département de Physique Université de Montréal Montréal Québec H3C 3J7 Canada Department of Physics University of California Berkeley California 94720 USA Department of Physics Queen’s University Kingston Ontario K7L 3N6 Canada Department of Physics & Astronomy Northwestern University Evanston Illinois 60208-3112 USA Department of Electrical and Computer Engineering Texas A&M University College Station Texas 77843 USA Department of Physics University of Colorado Denver Denver Colorado 80217 USA Department of Electrical Engineering University of Colorado Denver Denver Colorado 80217 USA Department of Physics & Astronomy University of British Columbia Vancouver British Columbia V6T 1

The Cryogenic Dark Matter Search low ionization threshold experiment (CDMSlite) searches for interactions between dark matter particles and germanium nuclei in cryogenic detectors. The experiment has achieved a low energy threshold with improved sensitivity to low-mass (<10 GeV/c2) dark matter particles. We present an analysis of the final CDMSlite dataset, taken with a different detector than was used for the two previous CDMSlite datasets. This analysis includes a data “salting” method to protect against bias, improved noise discrimination, background modeling, and the use of profile likelihood methods to search for a dark matter signal in the presence of backgrounds. We achieve an energy threshold of 70 eV and significantly improve the sensitivity for dark matter particles with masses between 2.5 and 10 GeV/c2 compared to previous analyses. We set an upper limit on the dark matter-nucleon scattering cross section in germanium of 5.4×10−42 cm2 at 5 GeV/c2, a factor of ∼2.5 improvement over the previous CDMSlite result.

关键词： Dark matter Particle dark matter

来源：评论

学校读者我要写书评

暂无评论

SMT solving for the theory of ordering constraints 28th

SMT solving for the theory of ordering constraints

引用

28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015

作者： Ge, Cunjing Ma, Feifei Huang, Jeff Zhang, Jian Institute of Software Chinese Academy of Sciences Beijing China Department of Computer Science and Engineering Texas A and M University College Station United States

ISBN: (纸本)9783319297774

Constraint solving and satisfiability checking play an important role in various tasks such as formal verification, software analysis and testing. In this paper, we identify a particular kind of constraints called ordering constraints, and study the problem of deciding satisfiability modulo such constraints. The theory of ordering constraints can be regarded as a special case of difference logic, and is essential for many important problems in symbolic analysis of concurrent programs. We propose a new approach for checking satisfiability modulo ordering constraints based on the DPLL(T) framework, and present our experimental results compared with state-of-the-art SMT solvers on both benchmarks and instances of real symbolic constraints. © Springer International Publishing Switzerland 2016.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Dayside magnetospheric and ionospheric responses to a foreshock transient on June 25, 2008: 2. 2-D evolution based on dayside auroral imaging

arXiv

引用

arXiv 2018年

作者： Wang, Boyi Nishimura, Yukitoshi Hietala, Heli Shen, Xiao-Chen Shi, Quanqi Zhang, Hui Lyons, Larry Zou, Ying Angelopoulos, Vassilis Ebihara, Yusuke Weatherwax, allan Department of Atmospheric and Oceanic Sciences University of California Los AngelesCA United States Department of Astronomy Center for Space Sciences Boston University BostonMA United States Department of Electrical and Computer Engineering Center for Space Sciences Boston University BostonMA United States Department of Earth Planetary and Space Sciences University of California Los AngelesCA United States Optical Astronomy and Solar-Terrestrial Environment School of Space Science and Physics Shandong University Weihai China High Altitude Observatory National Center for Atmospheric Research BoulderCO United States Geophysical Institute University of Alaska Fairbanks FairbanksAL United States Cooperative Programs for the Advancement of Earth System Science University Corporation for Atmospheric Research BoulderCO United States Research Institute for Sustainable Humanosphere Kyoto University Kyoto Japan School of Science and Engineering Merrimack College North AndoverMA United States

The foreshock region involves localized and transient structures such as foreshock cavities and hot flow anomalies due to solar wind-bow shock interactions, and foreshock transients have been shown to lead to magnetospheric and ionospheric responses. In this paper, the interaction between a foreshock transient and the magnetosphere-ionosphere system is investigated using dayside aurora imagers revealing structures and propagation in greater detail than previously possible. A foreshock transient was detected by THEMIS-B and C during 1535- 1545 UT on June 25, 2008. THEMIS-A, D and E observed magnetopause compression, cold plasma enhancement and ULF waves in the dayside magnetosphere. The all-sky imager (ASI) at South Pole observed that both diffuse and discrete aurora brightened locally soon after the appearance of this foreshock transient. The diffuse aurora brightening, which corresponded to a region a few Re size in GSM-Y in the equatorial plane, propagated duskward with an average speed of ∼100 km/s. Soon after the diffuse aurora brightened, discrete aurora also brightened and extended duskward, which was consistent with the motion of the foreshock transient as it swept through the magnetosheath while impacting the magnetopause. Equivalent horizontal currents measured by magnetometers revealed a pair of field-aligned currents (FACs) moving duskward consistent with motion of the discrete aurora patterns. We conclude that the high-resolution and two-dimensional observation of auroral responses by ground-based ASI can help to estimate the evolution and propagation of upstream foreshock transients and their substantial impacts on the magnetosphere-ionosphere coupling system, including magnetospheric compression and currents in the ionosphere. Copyright © 2018, The Authors. all rights reserved.

关键词： Earthquakes

来源：评论

学校读者我要写书评

暂无评论

Guest editorial: The 2016 capstone design conference

Guest editorial: The 2016 capstone design conference

引用

作者： Brackin, Patsy Howe, Susannah Rogers, Peter Stanfill, R. Keith Beyerlein, Steven Kanai, Junichi Vallino, Jim Palo, Scott Department of Mechanical Engineering Rose-Hulman Institute of Technology 5500 Wabash Avenue CM 165 Terre HauteIN47803 United States Picker Engineering Program Smith College 151 Ford Hall NorthamptonMA01063 United States Department of Engineering Education Ohio State University 3070 Smith Laboratory 174 W. 18th Avenue ColumbusOH43210 United States Engineering Innovation Institute University of Florida P.O. Box 116000 GainesvilleFL32611-6000 United States Department of Mechanical Engineering University of Idaho 875 Perimeter Drive MoscowID83844-0902 United States Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute TroyNY United States Department of Software Engineering Rochester Institute of Technology 134 Lomb Memorial Drive RochesterNY14623-5608 United States Department of Aerospace Engineering Sciences University of Colorado 429 UCB BoulderCO80309 United States

The goal of the 2016 Capstone Design Conference held in Columbus, OH was to build upon the success of previous conferences (2007 and 2010 in Boulder, CO, 2012 in Champaign, IL, and 2014 in Columbus, OH) and expand the community of educators, students, and industry members engaged in discussing, analyzing, and improving capstone design education. Sessions at the 2016 Capstone Design Conference were designed for vibrant sharing of ideas and experiences across the capstone community via interactive panel sessions, poster session socials, hands-on workshops, and other formal and informal networking activities. This editorial discusses conference planning, structure, and feedback. Technical papers that follow in this issue document scholarship surrounding noteworthy capstone course innovations. Most of these began as four page peer-reviewed papers included in the conference proceedings. © 2017 TEMPUS Publications.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：