Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
functionality functions » functional functions, functionals function, functionaries function
program functionality » protein functionality, programs functional, supra functionality
parallel boolean » parallel tools, parallel beam, parallel between
boolean program » boolean programs, soybean program, boolean programming
functions https » foundations https
1
Ảnh bìa
Được phát hành 2015
Mục lục: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
2
Ảnh bìa
Được phát hành 2008
Mục lục: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
3
Ảnh bìa
Được phát hành 2014
Mục lục: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
4
Ảnh bìa
Được phát hành 2006
Mục lục: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
5
Ảnh bìa
Được phát hành 2006
Mục lục: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
6
Ảnh bìa
Được phát hành 2008
Mục lục: “...Program Termination -- Proving Termination with (Boolean) Satisfaction -- Termination Analysis...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
7
Ảnh bìa
Được phát hành 2013
Mục lục: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
8
Ảnh bìa
Được phát hành 2010
Mục lục: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
9
Ảnh bìa
Được phát hành 2010
Mục lục: “... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
10
Ảnh bìa
Được phát hành 2006
Mục lục: “... into Boolean Functions -- Efficient Strongly Relational Polyhedral Analysis -- Environment Abstraction...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
11
Ảnh bìa
Được phát hành 2015
Mục lục: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
12
Ảnh bìa
Được phát hành 2005
Mục lục: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
13
Ảnh bìa
Được phát hành 2006
Mục lục: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
14
Ảnh bìa
Được phát hành 2010
Mục lục: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
15
Ảnh bìa
Được phát hành 2008
Mục lục: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
16
Ảnh bìa
Được phát hành 2010
Mục lục: “... Programming -- Finding the Best CAFE Is NP-Hard -- The Size and Depth of Layered Boolean Circuits -- Lipschitz...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
17
Ảnh bìa
Được phát hành 2010
Mục lục: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
18
Ảnh bìa
Được phát hành 2010
Mục lục: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
19
Ảnh bìa
Được phát hành 2005
Mục lục: “... -- An Optimal Algorithm for Querying Priced Information: Monotone Boolean Functions and Game Trees -- Online...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
20
Ảnh bìa
Được phát hành 2015
Mục lục: “... based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm