Hakutulokset - ((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 /

Julkaistu 2007

Sisällysluettelo: “... -- Survival by Deception -- How to Secure Bluetooth-Based Pico Networks -- Learning from Your Elders: A...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2007

Sisällysluettelo: “... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2007

Sisällysluettelo: “...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”
Hae kokoteksti

Elektroninen E-kirja

4

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2007

Sisällysluettelo: “... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2008

Sisällysluettelo: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
Hae kokoteksti

Elektroninen E-kirja

7

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2008

Sisällysluettelo: “... for Supercomputing Applications - DEISA -- Towards Networked Computers: What Can Be Learned from Distributed...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2014

Sisällysluettelo: “... Networks to Enhance Customer Lifetime Predictions -- A Note on Machine Learning Approach to Analyze...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2014

Sisällysluettelo: “... to Understand It -- Part Lessons Learned and Agile Maturity -- Maturing in Agile: What Is It About? -- Why We...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2014

Sisällysluettelo: “... Grid -- Network Selection Mechanism for Future Generation Network Using Game Theory Model -- Research...”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2012

Sisällysluettelo: “... Hard-to-Invert Leakage -- Completeness for Symmetric Two-Party Functionalities - Revisited...”
Hae kokoteksti

Elektroninen E-kirja

13

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

Julkaistu 2005

Sisällysluettelo: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
Hae kokoteksti

Elektroninen E-kirja

14

Handbook of Floating-Point Arithmetic

Tekijä 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.
Julkaistu 2010

Sisällysluettelo: “... Arithmetic -- Elementary Functions -- Evaluating Floating-Point Elementary Functions -- Solving the Table...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2008

Sisällysluettelo: “... Simulated Agent -- Learning to Generalize through Predictive Representations: A Computational Model...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2007

Sisällysluettelo: “...Data Analysis, Modelling, and Learning -- Taking Class Importance into Account -- Tolerance Based...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2015

Sisällysluettelo: “... of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions -- Weighted Unranked Tree Automata...”
Hae kokoteksti

Elektroninen E-kirja

18

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

Julkaistu 2015

Sisällysluettelo: “... Selection Based on Set Theory for Web Intrusion Detection System -- 8. FLC Based Adaptive Neuro Fuzzy...”
Hae kokoteksti

Elektroninen E-kirja

19

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

Julkaistu 2015

Sisällysluettelo: “... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2005

Sisällysluettelo: “... Cognitive Model for Autonomous Agents Based on Bayesian Programming -- A Structural Learning Algorithm...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua