Search Results - ((functions computation) or (functions computational)) programming using theory coding*

1

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

by O’Regan, Gerard., O’Regan, Gerard.
Published 2013

Table of Contents: “... -- Language Theory and Semantics -- Computability and Decidability -- Probability, Statistics and Software...”
View full text

Electronic eBook

2

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Published 2005

Table of Contents: “... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...”
View full text

Electronic eBook

3

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

Published 2007

Table of Contents: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
View full text

Electronic eBook

4

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Published 2008

Table of Contents: “... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”
View full text

Electronic eBook

5

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

Published 2007

Table of Contents: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
View full text

Electronic eBook

6

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
View full text

Electronic eBook

7

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

Published 2007

Table of Contents: “... IEEE1394 -- Efficient Measurement of the Eye Blinking by Using Decision Function for Intelligent...”
View full text

Electronic eBook

8

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
View full text

Electronic eBook

9

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

Published 2007

Table of Contents: “... in Evolutionary Programming -- A Comparison of GAs Using Penalizing Infeasible Solutions and Repairing Infeasible...”
View full text

Electronic eBook

10

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

Published 2008

Table of Contents: “...Keynote Addresses -- Extreme Computing on the Distributed European Infrastructure...”
View full text

Electronic eBook

11

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

Published 2014

Table of Contents: “...Visual Dictionary Pruning Using Mutual Information and Information Gain -- Mining Telecommunication...”
View full text

Electronic eBook

12

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
View full text

Electronic eBook

13

Recent Advances in Matrix and Operator Theory

Published 2008

Table of Contents: “... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...”
View full text

Electronic eBook

14

Embedded Computer Systems: Architectures, Modeling, and Simulation 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Transmitter: A Fast Design Cycle Using OFDM Framework in Bluespec -- SoC -- A Real-Time Programming Model...”
View full text

Electronic eBook

15

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Published 2010

Table of Contents: “... Breakdowns -- Modeling Inoperability Propagation Using Bayesian Networks -- Risk Management -- Resilience...”
View full text

Electronic eBook

16

Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings /

Published 2010

Table of Contents: “... Cryptosystems Using Mixed Coordinates Strategy and Direct Computations -- Invited Talk II -- Cryptography Meets...”
View full text

Electronic eBook

17

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

Published 2014

Table of Contents: “...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”
View full text

Electronic eBook

18

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

Published 2014

Table of Contents: “... Grid -- Network Selection Mechanism for Future Generation Network Using Game Theory Model -- Research...”
View full text

Electronic eBook

19

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Published 2008

Table of Contents: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
View full text

Electronic eBook

20

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Published 2008

Table of Contents: “... Requirements -- Cryptanalysis -- Key Recovery Attack on Stream Cipher Mir-1 Using a Key-Dependent S-Box...”
View full text

Electronic eBook

Narrow Search