Executable UML is a major innovation in the field of software development. It is designed to produce a comprehensive and understandable model of a solution independent of the organization of the software implementation. It is a highly abstract think
syntactic patterns for automatic hypernym discovery Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by the problem of au
Chapter 2 Preparing the Data Chapter Objectives Analyze basic representations and characteristics of raw and large data sets. Apply different formalization (标准化) techniques on numerical attributes (数值属性). Recognize different techniques for dat
This chapter is roughly divided into two sections: Hidden Markov Models followed by Maximum Entropy Markov Models. Our discussion of the Hidden Markov Model extends what we said about HMM part-of-speech tagging. We begin in the next section by intro
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical application
This thesis attempts a formalization of the language of mathematical texts definitions theorems formulas regarded as special natural language texts; the formalization aims to be suitable for being processed by computer systems
The Node.js runtime has become a major platform for de- velopers building cloud, mobile, or IoT applications using Javascr ipt. Since the Javascr ipt language is single threaded, Node.js programs must make use of asynchronous callbacks and event loo
Preface vii This book provides a set of readings on the state-of-the-art and the state-of-the- practice of the Unified Modeling Language (UML) and the Unified Process (UP). UML is a language for specifying, visualizing, constructing and documenting
The CAP Theorem is a frequently cited impossibility result in distributed systems, especially among NoSQL distributed databases. In this paper we survey some of the confusion about the meaning of CAP, includ- ing inconsistencies and ambiguities in i
瑞波共识协议白皮书，官方原版，需要的朋友快快下载吧ledger of that server, but transactions are not con- previous work has included extensions to cases where all
sidered final until they have passed through the participants in the network are not known ahead of time,
consensus
Logical Foundations of Cyber-Physical Systems， André Platzer， 2018Andre platzer
Logical Foundations
of Cyber-Physical Systems
Springer
Andre platzer
Computer Science department
Carnegie mellon university
Pittsburgh, Pennsylvania, USA
The content of
Automated Reasoning for Systems Biology and Medicine，2019Endorsed by the International Society for Computational Biology, the
Computational Biology series publishes the very latest, high-quality research
devoted to specific issues in computer-assiste
