注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. (2009 Springer)Software Verification and Analysis：An Integrated, Hands-On Approach

  2. The text is devoted to the Software Analysis and Testing (SAT) methods and supporting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm

  3. 所属分类：Java

    • 发布日期：2009-05-05
    • 文件大小：2097152
    • 提供者：wuty75

  1. Applied C++

  2. "I really like the software engineering advice given here. As the chief engineer/architect for a large development group, I can say with certainty that the advice given in this book about how real-world projects must work is right on the mark." -Ste

  3. 所属分类：C++

    • 发布日期：2010-05-16
    • 文件大小：2097152
    • 提供者：whutxinriyue

  1. 10部算法经典著作合集

  2. One must learn by doing the thing, for though you can think you know it you have no certainty until you try it. Emphasizes the importance of structuring programs using an explicit problem solving methodology and top-down design to create programs go

  3. 所属分类：专业指导

    • 发布日期：2011-11-15
    • 文件大小：28311552
    • 提供者：xbj890710

  1. Pro HTML5 Programming

  2. HTML5 is brand new. Indeed, it isn’t even completely finished yet. And if you listen to some ornery pundits, they’ll tell you that HTML5 won’t be ready for ten years or more! Why, then, would anyone think that now’s the time for a book called Pro HT

  3. 所属分类：网页制作

  1. Learning.CFEngine.3(2012.3)].Diego.Zamboni.文字版.pdf

  2. This is a book about system administration. As any system administrator knows, there is no professional joy greater than seeing systems work consistently and perform their tasks flawlessly. And the joy is even greater if the systems need as little h

  3. 所属分类：Web开发

    • 发布日期：2013-11-22
    • 文件大小：7340032
    • 提供者：zhangzhongke007

  1. Fuzzy Control Systems

  2. Foreword Author's Biographical Information Part A—General Theory Chapter 1—Learning Algorithms for Neuro-Fuzzy Networks 1 Introduction 2 Neuro-Fuzzy Networks 2.1 The Conventional Fuzzy Model 2.2 From Fuzzy to Neuro-Fuzzy 2.3 Initialization 2.4 Train

  3. 所属分类：C

    • 发布日期：2008-10-06
    • 文件大小：17825792
    • 提供者：giliwala

  1. Being Wrong Kathryn Schulz

  2. To err is human Yet most of us go through life assuming and sometimes insisting that we are right about nearly everything from the origins of the universe to how to load the dishwasher If being wrong is so natural why are we all so bad at imagining

  3. 所属分类：教育

    • 发布日期：2014-10-12
    • 文件大小：2097152
    • 提供者：lilpeng2012

  1. Algorithmic.Life.Calculative.Devices.in.the.Age.of.Big.Data.1138852

  2. This book critically explores forms and techniques of calculation that emerge with digital computation, and their implications. The contributors demonstrate that digital calculative devices matter beyond their specific functions as they progressivel

  3. 所属分类：互联网

    • 发布日期：2015-12-30
    • 文件大小：3145728
    • 提供者：ramissue

  1. Bayesian Network（贝叶斯网络） Python Program

  2. 用python写的一段贝叶斯网络的程序 This file describes a Bayes Net Toolkit that we will refer to now as BNT. This version is 0.1. Let's consider this code an "alpha" version that contains some useful functionality, but is not complete, and is not a ready-to-use "a

  3. 所属分类：Python

    • 发布日期：2009-04-26
    • 文件大小：26624
    • 提供者：weikai_w

  1. Get Programming with HASKELL

  2. 原版pdf Get Programming with Haskell introduces you to the Haskell language without drowning you in academic jargon and heavy functional programming theory. By working through 43 easy-to-follow lessons, you'll learn Haskell the best possible way—by do

  3. 所属分类：其它

    • 发布日期：2018-04-19
    • 文件大小：12582912
    • 提供者：zxfwinder

  1. Certainty自动化cacertpem管理的PHP项目

  2. 自动化您PHP项目的cacert.pem管理

  3. 所属分类：其它

    • 发布日期：2019-08-08
    • 文件大小：1048576
    • 提供者：weixin_39840515

  1. lnotes_book.pdf

  2. Part I: Introduction 1. How do we define security for encryption? Arguably the most important step in breaking out of the “build-break-tweak” cycle that Poe’s quote described has been the idea that we can have a mathematically precise definition of

  3. 所属分类：其它

    • 发布日期：2019-08-21
    • 文件大小：5242880
    • 提供者：tower429

  1. Sensor Fusion Comes of Age.docx

  2. Over time, sensors have morphed from simple analog and mechanical constructs to chip-based digital devices that connect to a machine to monitor the machine’s health as well as environmental conditions. Similarly, sensor fusion — multiple types of se

  3. 所属分类：嵌入式

    • 发布日期：2019-09-25
    • 文件大小：156672
    • 提供者：ted1999

  1. Color and texture fusion application to aerial image segmentation

  2. This paper describes a new algorithm for combining color and texture information for the segmentation of color images. The algorithm uses maximum likelihood classication combined with a certainty based fusion criterion. The algorithm was validate

  3. 所属分类：其它

    • 发布日期：2019-12-30
    • 文件大小：2097152
    • 提供者：qq_44890887

  1. DS18B20温度传感器在电动汽车电池管理系统中的应用.pdf

  2. DS18B20温度传感器在电动汽车电池管理系统中的应用pdf,DS18B20温度传感器在电动汽车电池管理系统中的应用84 2010 VcC1-wire外总线 初始化 搜索ROM 无器件 警,未经测到任 何器件,总线错误 得器件数目及序列号 N检错子程序1(有器 B20mum=12? 件脱离总线或损 j=1 主控制器 Ds18B20温度传感器 匹配ROM,采集 第i个帮件温度 3上wire 6个 RC验证无 cem]超限 服警,处理 度超限子程序 DS18B2g s18B2d N I/O 液晶显示

  3. 所属分类：其它

    • 发布日期：2019-10-19
    • 文件大小：434176
    • 提供者：weixin_38743737

  1. A Simple and Efficient Estimator.pdf

  2. chan算法CHAN AND HO: A SIMPLE AND EFFICIENT ESTIMATOR FOR HYPERBOLIC LOCATION SYSTEM y=yo. In the next iteration, Io and yo are then set to o+A where and yo +Ay. The whole process is repeated again until A and Ay are sufficiently small. This method has

  3. 所属分类：讲义

    • 发布日期：2019-10-06
    • 文件大小：1020928
    • 提供者：qq_42025314

  1. Aplikasi-Sistem-Pakar-Diagnosa-Penyakit-Hati-Menggunkan-Metode-Certainty-Factor-Dengan-Chekbox:Aplikasi Sistem Pakar Dia

  2. Aplikasi-Sistem-Pakar-Diagnosa-Penyakit-Hati-Menggunkan-Metode-确定性因子-Dengan-Chekbox Aplikasi Sistem Pakar Diagnosa Penyakit Hati Menggunkan Metode确定性因素Dengan Chekbox

  3. 所属分类：其它

    • 发布日期：2021-03-12
    • 文件大小：4194304
    • 提供者：weixin_42113380

  1. Certainty-Based-Reduced-Sparse-Solution-源码

  2. 基于确定性的减少稀疏解决方案 要解决的问题是phi = KJ。J是未知向量。 主要功能是“ CARSS.m”。 %%%%%%%%%%%%%%%所需的输入变量%%%%%%%%%%%%%%%%% K-潜在客户矩阵。 每列是每个电源的电压分布。 phi-任何时候的EEG测量向量。 带有dipos矩阵的网格结构，将源位置表示为1 X 3矢量。 Ex;-grid.dipos = [1.2 2.5 3.3 2.5 4.5 4.2 3.3 5.5 7.7]，代表位于[1.2 2.5 3.3]，[2.5 4

  3. 所属分类：其它

    • 发布日期：2021-03-09
    • 文件大小：14336
    • 提供者：weixin_42131439

  1. A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems

  2. This paper extends the logic of knowledge, belief and certainty from one agent to multi-agent systems, and gives a good combination between logic of knowledge, belief, certainty in multi-agent systems and actions that have concurrent and dynamic prop

  3. 所属分类：其它

    • 发布日期：2021-02-20
    • 文件大小：263168
    • 提供者：weixin_38645865

  1. Uncertainty, certainty,and relativity(Invited Paper)

  2. One of the most fascinating principles in quantum mechanics must be Heisenberg’s uncertainty principle, which can be briefly stated as follows: every physical observation cannot be precisely determined without some degree of error or uncertainty. And

  3. 所属分类：其它

    • 发布日期：2021-02-07
    • 文件大小：278528
    • 提供者：weixin_38625448
« 12 »