検索結果 - problem session https function computing https

1

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008...

出版事項 2008

目次: “...Podium Presentations -- Optimization with Genetic Algorithms and Splines as a way for Computer...”
全文の入手

電子媒体 eBook

2

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /

出版事項 2015

目次: “...Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt...”
全文の入手

電子媒体 eBook

3

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

出版事項 2010

目次: “... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”
全文の入手

電子媒体 eBook

4

Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I /

出版事項 2010

目次: “... Information Gain -- Technical Session-4: Algorithm-4 (A-4) -- An Alternate Approach to Compute the Reliability...”
全文の入手

電子媒体 eBook

5

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

出版事項 2010

目次: “...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”
全文の入手

電子媒体 eBook

6

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

出版事項 2005

目次: “... Gaussian Point Spread Function Estimation -- One-Point Hexagonal Inner Search for Fast Motion Estimation...”
全文の入手

電子媒体 eBook

7

Nonparametric Functional Data Analysis Theory and Practice /

著者: Ferraty, Frédéric., Ferraty, Frédéric., Vieu, Philippe.
出版事項 2006

目次: “... -- Computational Issues -- Nonparametric Classification of Functional Data -- Functional Nonparametric Supervised...”
全文の入手

電子媒体 eBook

8

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...”
全文の入手

電子媒体 eBook

9

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...”
全文の入手

電子媒体 eBook

10

Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings /

出版事項 2015

目次: “... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”
全文の入手

電子媒体 eBook

11

Trust and Trustworthy Computing 4th International Conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011, Proceedings /

出版事項 2011

主題: “...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”
全文の入手

電子媒体 eBook

12

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

出版事項 2008

目次: “...Plenary Lectures -- Differential Privacy: A Survey of Results -- Special Session Lectures...”
全文の入手

電子媒体 eBook

13

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

出版事項 2010

目次: “... Measurement for Reactor Protection System Software Implemented in Function Block Diagram -- Session 6...”
全文の入手

電子媒体 eBook

14

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

出版事項 2010

目次: “... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”
全文の入手

電子媒体 eBook

15

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

出版事項 2010

目次: “... Problems -- Pruned Genetic Algorithm -- Immune Computation -- A New Computational Algorithm for Solving...”
全文の入手

電子媒体 eBook

16

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

出版事項 2010

目次: “... Modeling Process of Physical World -- Automated Problem Solving -- Satisfiability Degree Analysis...”
全文の入手

電子媒体 eBook

17

Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium...

出版事項 2014

目次: “... the Symbolic Solution of a Geometric Problem through Numeric Computations -- A Simple Quantifier-free Formula...”
全文の入手

電子媒体 eBook

18

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

出版事項 2010

目次: “... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”
全文の入手

電子媒体 eBook

19

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

出版事項 2007

目次: “... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”
全文の入手

電子媒体 eBook

20

Arithmetic and Geometry Around Hypergeometric Functions Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005 /

出版事項 2007

目次: “... and Their Uniformization -- From the Power Function to the Hypergeometric Function -- Problem Session....”
全文の入手

電子媒体 eBook

絞込み検索