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

Proving type class laws for haskell

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Arvidsson, Andreas Johansson, Moa Touche, Robin Department of Computer Science and Engineering Chalmers University of Technology

Type classes in Haskell are used to implement ad-hoc polymorphism, i.e. a way to ensure both to the programmer and the compiler that a set of functions are defined for a specific data type. All instances of such type classes are expected to behave in a certain way and satisfy laws associated with the respective class. These are however typically just stated in comments and as such, there is no real way to enforce that they hold. In this paper we describe a system which allows the user to write down type class laws which are then automatically instantiated and sent to an inductive theorem prover when declaring a new instance of a type class. Copyright © 2018, The Authors. All rights reserved.

关键词： Program compilers

Adopting a Digital Business Operating System

学校读者我要写书评

暂无评论

Adopting a Digital Business Operating System

Federated Conference on computer science and Information Systems

作者： Jan Bosch Chalmers University of Technology Department of Computer Science and Engineering

ISBN: (纸本)9781538623718

The role of software in society and in industry in particular continues to grow exponentially. Most companies either have or are in the process of adoption continuous deployment of their software at products in the field and collect data concerning the performance of their systems. The continuous, fast feedback loops that companies now have available allow for a fundamentally different way of organizing. In fact, based on our work with dozens of companies, we have come to the conclusion that companies are moving towards a new, digital operating system. In this paper, we first present the key elements of the digital operating system and then discuss some of the challenges companies experience during the transformation.

关键词： Companies Operating systems computer software Data Collection Methods Digit Digital

Membership-based manoeuvre negotiation in autonomous and safety-critical vehicular systems (preliminary report)

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Casimiro, António Schiller, Elad M. Ekenstedt, Emelie Faculdade de Ciências Universidade de Lisboa Lisboa1749-016 Portugal Department of Engineering and Computer Science Chalmers University of Technology GothenburgSE-412 96 Czech Republic

A fault-tolerant negotiation-based intersection crossing protocol is presented. Rigorous analytic proofs are used for demonstrating the correctness and fault-tolerance properties. Experimental results validate the correctness proof via detailed computer simulations and provide a preliminary evaluation of the system performances. The results are compared to the ones that can be achieved via a risk estimator with and without combining the proposed protocol. Our fault model considers packet-loss, noisy sensory information and malicious driving. Our preliminary results show a reduction in the number of dangerous situations and vehicle collisions. Copyright © 2019, The Authors. All rights reserved.

关键词： Fault tolerance

The perceived effects of group developmental psychology training on agile software development teams

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Gren, Lucas Goldman, Alfredo Jacobsson, Christian Department of Computer Science and Engineering Chalmers University of Technology University of Gothenburg Gothenburg Sweden Department of Mathematics and Statistics University of São Paulo São Paulo Brazil Department of Psychology University of Gothenburg Gothenburg Sweden

Research has shown that the maturity of small workgroups from a psychological perspective is intimately connected to team agility. We therefore tested if agile team members appreciated group development psychology training. Our results show that the participating teams seem to have a very positive view of group development training and state that they now have a new way of thinking about teamwork and new tools to deal with team-related problems. We therefore see huge potential in training agile teams in group development psychology since the positive effects might span over the entire software development organization. Copyright © 2019, The Authors. All rights reserved.

关键词： Personnel training

Reliable Agglomerative Clustering

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Chehreghani, Morteza Haghir Department of Computer Science and Engineering Chalmers University of Technology Sweden

Standard agglomerative clustering suggests establishing a new reliable linkage at every step. However, in order to provide adaptive, density-consistent and flexible solutions, we study extracting all the reliable linkages at each step, instead of the smallest one. Such a strategy can be applied with all common criteria for agglomerative hierarchical clustering. We also study that this strategy with the single linkage criterion yields a minimum spanning tree algorithm. We perform experiments on several real-world datasets to demonstrate the performance of this strategy compared to the standard alternative. Copyright © 2018, The Authors. All rights reserved.

关键词： Trees (mathematics)

The science case and challenges of space-borne sub-millimeter interferometry

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Gurvits, Leonid I. Paragi, Zsolt Amils, Ricardo I. van Bemmel, Ilse Boven, Paul Casasola, Viviana Conway, John Davelaar, Jordy Carmen Díez-González, M. Falcke, Heino Fender, Rob Frey, Sándor Fromm, Christian M. Gallego-Puyol, Juan D. García-Miró, Cristina Garrett, Michael A. Giroletti, Marcello Goddi, Ciriaco Gómez, José L. van der Gucht, Jeffrey Guirado, José Carlos Haiman, Zoltán Helmich, Frank Hudson, Ben Humphreys, Elizabeth Impellizzeri, Violette Janssen, Michael Johnson, Michael D. Kovalev, Yuri Y. Kramer, Michael Lindqvist, Michael Linz, Hendrik Liuzzo, Elisabetta Lobanov, Andrei P. López-Fernández, Isaac Malo-Gómez, Inmaculada Masania, Kunal Mizuno, Yosuke Plavin, Alexander V. Rajan, Raj T. Rezzolla, Luciano Roelofs, Freek Ros, Eduardo Rygl, Kazi L.J. Savolainen, Tuomas Schuster, Karl Venturi, Tiziana Verkouter, Marjolein de Vicente, Pablo Visser, Pieter N.A.M. Wiedner, Martina C. Wielgus, Maciek Wiik, Kaj Anton Zensus, J. Joint Institute for VLBI ERIC Dwingeloo Netherlands Faculty of Aerospace Engineering Delft University of Technology Delft Netherlands Yebes Observatory IGN Spain INAF Institute of Radio Astronomy Bologna Italy Department of Space Earth and Environment Chalmers University of Technology Onsala Space Observatory Onsala 439 92 Sweden Department of Astronomy Columbia University New YorkNY10027 United States Center for Computational Astrophysics Flatiron Institute 162 Fifth Avenue New YorkNY10010 United States Radboud University P.O. Box 9010 Nijmegen 6500 GL Netherlands Oxford University United Kingdom Konkoly Observatory Res. Centre for Astronomy and Earth Sciences Budapest Hungary Institute of Physics ELTE Eötvös Loránd University Budapest Hungary Goethe-Universität Frankfurt Germany Jodrell Bank Centre for Astrophysics The University of Manchester United Kingdom Leiden Observatory Leiden University Netherlands Dipartimento di Fisica Università degli Studi di Cagliari Monserrato Italy INAF - Osservatorio Astronomico di Cagliari Selargius Italy Instituto de Astrofísica de Andalucía CSIC Granada Spain Observatorio Astronómico University of Valencia Spain Kapteyn Institute University of Groningen Netherlands KISPE Space Systems Limited United Kingdom ESO Garching Germany Max-Planck-Institut für Radioastronomie Auf dem Hügel 69 BonnD-53121 Germany Center for Astrophysics Harvard & Smithsonian CambridgeMA02138 United States Black Hole Initiative at Harvard University 20 Garden Street CambridgeMA02138 United States Astro Space Center Lebedev Physical Institute Moscow Russia Moscow Institute of Physics and Technology Dolgoprudnyi Russia Max Planck Institute for Astronomy Heidelberg Germany Shaping Matter Lab Faculty of Aerospace Engineering Delft University of Technology Netherlands Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology Delft Netherlands Aalto University Department of Electroni

Ultra-high angular resolution in astronomy has always been an important vehicle for making fundamental discoveries. Recent results in direct imaging of the vicinity of the supermassive black hole in the nucleus of the radio galaxy M87 by the millimeter VLBI system Event Horizon Telescope and various pioneering results of the Space VLBI mission RadioAstron provided new momentum in high angular resolution astrophysics. In both mentioned cases, the angular resolution reached the values of about 10−20 microrcseconds (0.05−0.1 nanoradian). Further developments toward at least an order of magnitude "sharper" values, at the level of 1 microarcsecond are dictated by the needs of advanced astrophysical studies. The paper emphasis that these higher values can only be achieved by placing millimeter and submillimeter wavelength interferometric systems in space. A concept of such the system, called Terahertz Exploration and Zooming-in for Astrophysics, has been proposed in the framework of the ESA Call for White Papers for the Voayage 2050 long term plan in 2019. In the current paper we present new science objectives for such the concept based on recent results in studies of active galactic nuclei and supermassive black holes. We also discuss several approaches for addressing technological challenges of creating a millimeter/sub-millimeter wavelength interferometric system in space. In particular, we consider a novel configuration of a space-borne millimeter/sub-millimeter antenna which might resolve several bottlenecks in creating large precise mechanical structures. The paper also presents an overview of prospective space-qualified technologies of low-noise analogue front-end instrumentation for millimeter/sub-millimeter telescopes. Data handling and processing instrumentation is another key technological component of a sub-millimeter Space VLBI system. Requirements and possible implementation options for this instrumentation are described as an extrapolation of the current st

关键词： Data handling

ASIC Implementation of time-domain digital backpropagation with deep-learned chromatic dispersion filters

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Fougstedt, Christoffer Hager, Christian Svensson, Lars Pfister, Henry D. Larsson-Edefors, Per Department of Computer Science and Engineering Chalmers University of Technology Department of Electrical Engineering Chalmers University of Technology Department of Electrical and Computer Engineering Duke University United States

We consider time-domain digital backpropagation with chromatic dispersion filters jointly optimized and quantized using machine-learning techniques. Compared to the baseline implementations, we show improved BER perfo... 详细信息

关键词： Chromatic dispersion

Gliese 12 b: A temperate Earth-sized planet at 12 pc ideal for atmospheric transmission spectroscopy

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Kuzuhara, Masayuki Fukui, Akihiko Livingston, John H. Caballero, José A. de Leon, Jerome P. Hirano, Teruyuki Kasagi, Yui Murgas, Felipe Narita, Norio Omiya, Masashi Orell-Miquel, Jaume Palle, Enric Changeat, Quentin Esparza-Borges, Emma Harakawa, Hiroki Hellier, Coel Hori, Yasunori Ikuta, Kai Ishikawa, Hiroyuki Tako Kodama, Takanori Kotani, Takayuki Kudo, Tomoyuki Morales, Juan C. Mori, Mayuko Nagel, Evangelos Parviainen, Hannu Perdelwitz, Volker Reiners, Ansgar Ribas, Ignasi Sanz-Forcada, Jorge Sato, Bun'ei Schweitzer, Andreas Tabernero, Hugo M. Takarada, Takuya Uyama, Taichi Watanabe, Noriharu Zechmeister, Mathias García, Néstor Abreu Aoki, Wako Beichman, Charles Béjar, Víctor J.S. Brandt, Timothy D. Calatayud-Borras, Yéssica Carleo, Ilaria Charbonneau, David Collins, Karen A. Currie, Thayne Doty, John P. Dreizler, Stefan Fernández-Rodríguez, Gareb Fukuda, Izuru Galán, Daniel Geraldía-González, Samuel González-Garcia, Josafat Hayashi, Yuya Hedges, Christina Henning, Thomas Hodapp, Klaus Ikoma, Masahiro Isogai, Keisuke Jacobson, Shane Janson, Markus Jenkins, Jon M. Kagetani, Taiki Kambe, Eiji Kawai, Yugo Kawauchi, Kiyoe Kokubo, Eiichiro Konishi, Mihoko Korth, Judith Krishnamurthy, Vigneshwaran Kurokawa, Takashi Kusakabe, Nobuhiko Kwon, Jungmi Laza-Ramos, Andrés Libotte, Florence Luque, Rafael Madrigal-Aguado, Alberto Matsumoto, Yuji Mawet, Dimitri McElwain, Michael W. Gallardo, Pedro Pablo Meni Morello, Giuseppe Torres, Sara Muñoz Nishikawa, Jun Nugroho, Stevanus K. Ogihara, Masahiro Peláez-Torres, Alberto Rapetti, David Sánchez-Benavente, Manuel Schlecker, Martin Seager, Sara Serabyn, Eugene Serizawa, Takuma Stangret, Monika Takahashi, Aoi Teng, Huan-Yu Tamura, Motohide Terada, Yuka Ueda, Akitoshi Usuda, Tomonori Vanderspek, Roland Vievard, Sébastien Watanabe, David Winn, Joshua N. Osorio, Maria Rosa Zapatero Astrobiology Center NINS 2-21-1 Osawa Mitaka Tokyo181-8588 Japan National Astronomical Observatory of Japan NINS 2-21-1 Osawa Mitaka Tokyo181-8588 Japan Komaba Institute for Science The University of Tokyo 3-8-1 Komaba Meguro Tokyo153-8902 Japan Tenerife La LagunaE-38200 Spain 2-21-1 Osawa Mitaka Tokyo181-8588 Japan Centro de Astrobiología CSIC-INTA Camino Bajo del Castillo s/n Villanueva de la Cañada MadridE-28692 Spain Department of Multi-Disciplinary Sciences Graduate School of Arts and Sciences The University of Tokyo 3-8-1 Komaba Meguro Tokyo153-8902 Japan Tenerife La LagunaE-38206 Spain BaltimoreMD21218 United States Department of Physics and Astronomy University College London Gower Street LondonWC1E 6BT United Kingdom Subaru Telescope National Astronomical Observatory of Japan 650 North A'ohōkū Place HiloHI96720 United States Astrophysics Group Keele University StaffordshireST5 5BG United Kingdom Department of Physics and Astronomy The University of Western Ontario 1151 Richmond St LondonONN6A 3K7 Canada Tokyo Institute of Technology 2-12-1-I7E-315 Ookayama Meguro-ku Tokyo152-8550 Japan Campus UAB Can Magrans s/n Bellaterra Barcelona08193 Spain c/Gran Capità 2-4 Barcelona08034 Spain Institut für Astrophysik und Geophysik Georg-August-Universität Friedrich-Hund-Platz 1 Göttingen37077 Germany Department of Physics Ariel University Ariel40700 Israel Department of Earth and Planetary Sciences School of Science Tokyo Institute of Technology 2-12-1 Ookayama Meguro-ku Tokyo152-8551 Japan Hamburger Sternwarte Gojenbergsweg 112 Hamburg21029 Germany Facultad de Ciencias Físicas Universidad Complutense de Madrid Madrid28040 Spain Department of Physics and Astronomy California State University Northridge 18111 Nordhoff Street NorthridgeCA91330 United States NASA Exoplanet Science Institute Infrared Processing and Analysis Center California Institute of Technology PasadenaCA91125 United St

Recent discoveries of Earth-sized planets transiting nearby M dwarfs have made it possible to characterize the atmospheres of terrestrial planets via follow-up spectroscopic observations. However, the number of such planets receiving low insolation is still small, limiting our ability to understand the diversity of the atmospheric composition and climates of temperate terrestrial planets. We report the discovery of an Earth-sized planet transiting the nearby (12 pc) inactive M3.0 dwarf Gliese 12 (TOI-6251) with an orbital period (Porb) of 12.76 days. The planet, Gliese 12 b, was initially identified as a candidate with an ambiguous Porb from TESS data. We confirmed the transit signal and Porb using ground-based photometry with MuSCAT2 and MuSCAT3, and validated the planetary nature of the signal using high-resolution images from Gemini/NIRI and Keck/NIRC2 as well as radial velocity (RV) measurements from the InfraRed Doppler instrument on the Subaru 8.2 m telescope and from CARMENES on the CAHA 3.5 m telescope. X-ray observations with XMM-Newton showed the host star is inactive, with an X-ray-to-bolometric luminosity ratio of log LX/Lbol ≈ −5.7. Joint analysis of the light curves and RV measurements revealed that Gliese 12 b has a radius of 0.96 ± 0.05 R ⊕, a 3σ mass upper limit of 3.9 M ⊕, and an equilibrium temperature of 315 ± 6 K assuming zero albedo. The transmission spectroscopy metric (TSM) value of Gliese 12 b is close to the TSM values of the TRAPPIST-1 planets, adding Gliese 12 b to the small list of potentially terrestrial, temperate planets amenable to atmospheric characterization with JWST. Copyright © 2024, The Authors. All rights reserved.

关键词： Exoplanets

Testing Natural Language Grammars

学校读者我要写书评

暂无评论

Testing Natural Language Grammars

International Conference on Software Testing, Verification, and Validation, ICST

作者： Inari Listenmaa Department of Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden

ISBN: (纸本)9781538650134

Testing grammars has one big difference from testing software: natural language has no formal specification, so ultimately we must involve a human oracle. However, we can automate many useful subtasks: detect ambiguous constructions and contradictory grammar rules, as well as generate minimal and representative set of examples that cover all the constructions. Think of the whole grammar as a haystack, and we suspect there are a few needles-we cannot promise automatic needle-removal, but instead we help the human oracle to narrow down the search.

关键词： Grammar Testing Syntactics Conferences Natural language processing