Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
interval computing » intervals comparing, internet computing, interval counting
computing programs » comparing programs, computing progress, conducting programs
program computing » program comparing, programs compiling, problem computing
programs program » programming program
interval computing » intervals comparing, internet computing, interval counting
computing programs » comparing programs, computing progress, conducting programs
program computing » program comparing, programs compiling, problem computing
programs program » programming program
1
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... on the Planar Branchwidth with Respect to the Largest Grid Minor Size -- Session 7A. Computational Geometry II...”Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”Tam Metin Erişim
Elektronik
Ekitap
15
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2014
İçindekiler:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”Tam Metin Erişim
Elektronik
Ekitap



