תוצאות חיפוש - ((functions conditional) or (functions computation)) programming session based text*

1

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “... of Distributed Denial of Service Attacks -- Session II B: Grid and P2P Computing -- Auction Based Resource...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /

יצא לאור 2010

תוכן הענינים: “... Listed Companies Based on DEA -- Fuzzy Logic and Soft Computing -- Research on Differential Evolution...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

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

יצא לאור 2007

תוכן הענינים: “...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

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

יצא לאור 2005

תוכן הענינים: “... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

Computer Vision - ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I /

יצא לאור 2008

תוכן הענינים: “... Session I -- Keypoint Signatures for Fast Learning and Recognition -- Active Matching -- Towards Scalable...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

יצא לאור 2013

תוכן הענינים: “... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... with Header Compression for IP Based Satellite Communication over DVB-S -- Analysis of FEC Function for Real...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Effectiveness of a preventative multi-component training program for prospective memory performance among healthy older adults

מאת Farzin, Azin
יצא לאור 2018

“... cognitive functions among older adults. Cognitive training includes strategy- and process-based approaches...”
קבל טקסט מלא

Thesis

13

Effectiveness of a preventative multi-component training program for prospective memory performance among healthy older adults

מאת Farzin, Azin
יצא לאור 2018

“... cognitive functions among older adults. Cognitive training includes strategy- and process-based approaches...”
קבל טקסט מלא

Thesis

14

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

Bayesian Statistics from Methods to Models and Applications Research from BAYSM 2014 /

יצא לאור 2015

תוכן הענינים: “...On Bayesian based adaptive confidence sets for linear functionals -- A new finite approximation...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

Theory of Cryptography Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... and Client-Server Computation -- Handling Expected Polynomial-Time Strategies in Simulation-Based Security...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II /

יצא לאור 2005

תוכן הענינים: “... Recovery Mechanism with Pipeline Computing in Clustered-Based VOD Servers -- Dynamic and Scalable Caching...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

18

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

יצא לאור 2012

תוכן הענינים: “... Description -- Computer Aided Writing – A Framework Supporting Research Tasks, Topic Recommendations and Text...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

19

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

יצא לאור 2012

תוכן הענינים: “... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

20

Image and Video Retrieval 5th Internatinoal Conference, CIVR 2006, Tempe, AZ, USA, July 13-15, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “...Session O1: Interactive Image and Video Retrieval -- Interactive Experiments in Object-Based...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש