Canlyniadau Chwilio - ((functions computation) or (function computation)) programming using using trust*

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Cael y testun llawn

Electronig eLyfr

2

Computational and Analytical Mathematics In Honor of Jonathan Borwein's 60th Birthday /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...”
Cael y testun llawn

Electronig eLyfr

3

Functional Magnetic Resonance Imaging Processing

gan Li, Xingfeng., Li, Xingfeng.
Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Cael y testun llawn

Electronig eLyfr

4

Trust and Trustworthy Computing Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”
Cael y testun llawn

Electronig eLyfr

5

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
Cael y testun llawn

Electronig eLyfr

6

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Cael y testun llawn

Electronig eLyfr

7

In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...”
Cael y testun llawn

Electronig eLyfr

8

Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...”
Cael y testun llawn

Electronig eLyfr

9

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
Cael y testun llawn

Electronig eLyfr

10

Trusted Computing for Embedded Systems

Cyhoeddwyd 2015

Tabl Cynhwysion: “... -- Chapter 2: ARM TrustZone -- Computer Security Anchors in Smart Grids: The Smart Metering Scenario...”
Cael y testun llawn

Electronig eLyfr

11

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Cael y testun llawn

Electronig eLyfr

12

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
Cael y testun llawn

Electronig eLyfr

15

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...”
Cael y testun llawn

Electronig eLyfr

16

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

Cyhoeddwyd 2012

Tabl Cynhwysion: “... of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary...”
Cael y testun llawn

Electronig eLyfr

17

Evolutionary Computation in Dynamic and Uncertain Environments

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Algorithm Using a Trust-Region Derivative-Free Optimization with Quadratic Modelling for Optimization...”
Cael y testun llawn

Electronig eLyfr

18

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
Cael y testun llawn

Electronig eLyfr

19

Computational Social Network Analysis Trends, Tools and Research Advances /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...-Intensive Socially Similar Evolving Community Tracker -- Clustering of Blog Sites Using Collective Wisdom...”
Cael y testun llawn

Electronig eLyfr

20

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad