Rezultaty - ((function computation) or (function computing)) programming learning theory coding*

1

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Wydane 2007

Spis treści: “... -- Survival by Deception -- How to Secure Bluetooth-Based Pico Networks -- Learning from Your Elders: A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Wydane 2007

Spis treści: “... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part IV /

Wydane 2007

Spis treści: “...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Wydane 2007

Spis treści: “... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Wydane 2008

Spis treści: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Advanced Techniques in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

Wydane 2008

Spis treści: “... for Supercomputing Applications - DEISA -- Towards Networked Computers: What Can Be Learned from Distributed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Wydane 2014

Spis treści: “... Networks to Enhance Customer Lifetime Predictions -- A Note on Machine Learning Approach to Analyze...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Wydane 2014

Spis treści: “... to Understand It -- Part Lessons Learned and Agile Maturity -- Maturing in Agile: What Is It About? -- Why We...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Wydane 2014

Spis treści: “... Grid -- Network Selection Mechanism for Future Generation Network Using Game Theory Model -- Research...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Advances in Cryptology -- ASIACRYPT 2012 18th International Conference on the Theory...

Wydane 2012

Spis treści: “... Hard-to-Invert Leakage -- Completeness for Symmetric Two-Party Functionalities - Revisited...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Wydane 2005

Spis treści: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Handbook of Floating-Point Arithmetic

od Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
Wydane 2010

Spis treści: “... Arithmetic -- Elementary Functions -- Evaluating Floating-Point Elementary Functions -- Solving the Table...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008, Proceedings /

Wydane 2008

Spis treści: “... Simulated Agent -- Learning to Generalize through Predictive Representations: A Computational Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Wydane 2007

Spis treści: “...Data Analysis, Modelling, and Learning -- Taking Class Importance into Account -- Tolerance Based...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /

Wydane 2015

Spis treści: “... of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions -- Weighted Unranked Tree Automata...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2 /

Wydane 2015

Spis treści: “... Selection Based on Set Theory for Web Intrusion Detection System -- 8. FLC Based Adaptive Neuro Fuzzy...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Wydane 2015

Spis treści: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Brain, Vision, and Artificial Intelligence First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings /

Wydane 2005

Spis treści: “... Cognitive Model for Autonomous Agents Based on Bayesian Programming -- A Structural Learning Algorithm...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty