没有合适的资源？快使用搜索试试~
我知道了~
文库首页
人工智能
机器学习
Unifying Theories of Programming and Formal Engineering Methods
Unifying Theories of Programming and Formal Engineering Methods
Model
Model
Refine
Verification
需积分: 10
4 下载量
78 浏览量
2018-10-30
12:59:14
上传
评论
收藏
3.25MB
PDF
举报
温馨提示
立即下载
是一本有关形式化建模和模型验证方面的学术论文集，包含5篇相关学术论文
资源推荐
资源评论
Unifying Theories of Programming - C.A.R. Hoare and He Jifeng, 1998.pdf
浏览：132
Unifying Theories of Programming (UTP) deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the .
unifying theories of programming
浏览：5
5星 · 资源好评率100%
this is a book by C. A. R, Tonny and He Jifeng about UTP.
A unifying definition for artifact and biological functions
浏览：119
A unifying definition for artifact and biological functions Authors: Mizoguchi, Riichiro | Kitamura, Yoshinobu | Borgo, Stefano Article Type: Research Article Abstract: Physical artifacts and ...
第一原理分子动力学新书 - Ab Initio Molecular Dynamics: Basic Theory and Advanced Methods
浏览：161
5星 · 资源好评率100%
Ab initio molecular dynamics revolutionized the field of realistic computer simulation of complex molecular systems and processes, including chemical reactions, by unifying molecular dynamics and ...
Advanced Engineering Mathematics 7th Edition
浏览：71
5星 · 资源好评率100%
This seventh edition of Advanced Engineering Mathematics differs from the sixth in four ways. First, based on reviews and user comments, new material has been added, including the following. • ...
Fast large-scale optimization by unifying stochastic gradient
浏览：180
Fast large-scale optimization by unifying stochastic gradient and quasi-Newton methods
Numerical.Algorithms.Methods
浏览：7
5星 · 资源好评率100%
The book covers a wide range of topics―from numerical linear algebra to optimization and differential equations―focusing on real-world motivation and unifying themes. It incorporates cases from ...
Vibration Simulation Using Matlab and ANSYS
浏览：153
5星 · 资源好评率100%
Using a three degree-of-freedom (DOF) system as a unifying theme, it presents all the methods in one book. Each chapter provides the background theory to support its example, and each chapter ...
diffract, Fourier optics and imaging
浏览：18
5星 · 资源好评率100%
OKAN K....Fresnel-Kirchoff and Rayleigh-Sommerfeld theories of diffraction. They represent wave propagation as a linear integral transformation closely related to the Fourier transform.
Nonlinear Dimensionality Reduction
浏览：167
Methods are all described from a unifying point of view, which helps to highlight their respective strengths and shortcomings. The presentation will appeal to statisticians, computer scientists and .
Handbook of Big Data Technologies
浏览：13
Management and Analysis of Big Graph Data: Current Systems and Open Challenges 1 Introduction 2 Graph Databases 3 Graph Processing 4 Graph Dataflow Systems 5 Gradoop 6 Comparison 7 Current Research ..
Disentangling and Unifying Graph Convolutions for Skeleton-Based Action Rec.pptx
浏览：120
Disentangling and Unifying Graph Convolutions for Skeleton-Based Action Recognition 分离与统一的图卷积用于基于骨架的动作识别 CVPR 2020
Data Hiding with Deep Learning A Survey Unifying Digital Waterma
浏览：131
Data Hiding with Deep Learning A Survey Unifying Digital Watermarking and Steganography.pdf
winhex最新本17.8 2014年7月7日
浏览：138
•Concatenating and splitting files, unifying and dividing odd and even bytes/words •Analyzing and comparing files •Particularly flexible search and replace functions •Disk cloning (under DOS with ...
Springer - Logic Programming With Prolog (2005)
浏览：90
5星 · 资源好评率100%
Introduction 29 3.1 Unification 31 3.1.1 Unifying Call Terms 32 3.2 Evaluating Goals 35 3.3 Backtracking 39 3.4 Satisfying Goals: A Summary 50 3.5 Removing Common Variables 52 3.6 A Note on ...
Machine Learning: A Bayesian and Optimization Perspective
浏览：73
This tutorial text gives a unifying perspective on machine learning by covering both probabilistic and deterministic approaches -which are based on optimization techniques – together with the ...
罗技优联unifying250
浏览：119
罗技Unifying优联接收器软件 为何更新？ 新增针对新型设备的支持。 软件版本: 2.50.25 最近更新: 2010-03-30 操作系统: Windows 8, Windows 7, Windows Vista, Windows XP（或更早版本）, Windows 10 文件大小: 4 MB
IRGAN- A Minimax Game for Unifying Generative and Discriminative
浏览：199
IRGAN: A Minimax Game for Unifying Generative andLantao Yu, Weinan Zhang∗Shangha
ChatGPT教程（终极版）最全整理
浏览：8
5星 · 资源好评率100%
这是一篇动了某些人利益的良心教程。 这是一篇姗姗来迟的ChatGPT教程。 纯小白关于ChatGPT入门，你看我这篇文章就够了。 如果你已经用上了ChatGPT，更要恭喜你挖到宝藏，后面的高级技巧一定能让你有收获。 文章包含以下内容： 一、ChatGPT是啥？有什么用； 二、ChatGPT如何注册； 三、ChatGPT使用方法； 四、用ChatGPT搞钱； 五、高级技巧；
yolov8调用zed相机实现三维测距（版本一）
浏览：188
yolov8调用zed相机实现三维测距（版本一），具体内容见博客https://blog.csdn.net/qq_45077760?type=blog
基于Python+pytorch的图像处理+附完整代码图像处理，能够轻松实现图像的读取、显示、裁剪等还有机器学习等操作
浏览：131
Python+PyTorch：图像处理界的“瑞士军刀” 在图像处理这个充满魔法的世界里，Python和PyTorch这对黄金搭档，就像一位技艺高超的魔法师和一把无所不能的“瑞士军刀”，总能轻松解决各种看似棘手的难题。它们以高效、灵活和强大的特性，引领着图像处理技术的发展潮流，让无数开发者为之倾倒。Python，这位优雅的魔法师，以其简洁易懂的语法和丰富的库资源，赢得了广大开发者喜爱。无论是数据处理
博客中Kmeans以及FCM算法数据（免积分）
浏览：172
5星 · 资源好评率100%
博客中Kmeans以及FCM算法的数据，包括IRIS鸢尾花数据集、Wine葡萄酒数据集、Seed小麦种子数据集、glass数据集、WDBD乳腺癌数据集，下载在直接存入项目文件夹即可，如果下载不了，可以私信我，看到后会及时回复。
hugging face的models-openai-clip-vit-large-patch14文件夹
浏览：69
3星 · 编辑精心推荐
用于无法访问hugging face并需要运行stable-diffusion-webui时使用
神经网络回归预测--气温数据集
浏览：189
5星 · 资源好评率100%
神经网络回归预测--气温数据集
XGBoost+LightGBM+LSTM-光伏发电量预测
浏览：193
5星 · 资源好评率100%
包含比赛代码、数据、训练后的神经网络模型等。 在分析光伏发电原理的基础上，论证了辐照度、光伏板工作温度等影响光伏输出功率的因素，通过实时监测的光伏板运行状态参数和气象参数建立预测模型，预估光伏电站瞬时发电量，根据光伏电站DCS系统提供的实际发电量数据进行对比分析，验证模型的实际应用价值。 1 数据探索与数据预处理 1.1 赛题回顾 1.2 数据探索性分析与异常值处理 1.3 相关性分析 2 特
Mathwork+Matlab+编程手册
浏览：195
Introduction to Programming with MATLAB ~ Vanderbilt University
Stable-Diffusion WEBUI 简体中文语言包（2023.05.30更新）
浏览：161
AI绘图，Stable-Diffusion WEBUI，本地化（简体中文）语言文件。 原始文件来自翻译插件，根据自己实际使用情况，增加和修改了一些翻译。 配合【双语插件】看上去要自然一点，内容还在继续完善中。 本次增加了一些翻译内容，特别是插件。 同时继续合并了其它翻译插件的内容。 最近文字提示修改得有点多啊。 请放入“你的SDWebUI项目位置/localizations/”中。 中文翻译
时间序列预测模型实战案例(Xgboost)(Python)(机器学习)包括时间序列预测和时间序列分类，点击即可运行！
浏览：10
内容概要 资源包括三部分(时间序列预测部分和时间序列分类部分和所需的测试数据集全部包含在内) 在本次实战案例中，我们将使用Xgboost算法进行时间序列预测。Xgboost是一种强大的梯度提升树算法，适用于各种机器学习任务，它最初主要用于解决分类问题，在此基础上也可以应用于时间序列预测。 时间序列预测是通过分析过去的数据模式来预测未来的数值趋势。它在许多领域中都有广泛的应用，包括金融、天气预报、股
亚博K210模型训练部署
浏览：26
亚博K210模型训练部署
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
jtzwy
粉丝: 1
资源:
6
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
STM8S003F3P6最小系统AD版（包含原理图、PCB源文件）
smg.uvproj
nextjs turbo build
mysql-connector-j-8.0.31.jar
MATLAB Appdesigner 设计天气预报小程序：全国各城市天气查询系统Weather-capturer-v3
qt斗地主github下载分享
重庆房价预测，含Matlab程序，绝对可用
download.mp4
ER图（Entity-Relationship Diagram）是一种用于描述实体
Three.js是一个用于创建3D图形的JavaScript库
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
