Hakutulokset - parallel nets program functionality setting https

Tarkoititko:
program functionality » protein functionality , programs functional , supra functionality
functionality setting » functionality testing , functionality securing , functional setting
parallel nets » parallel netcdf , parallel nested , parallel newton
setting https » being https , writing https , feeding https
nets program » net program , needs program , kes program

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Hae kokoteksti

Elektroninen E-kirja

Applied WPF 4 in Context

Tekijä Garofalo, Raffaele., Garofalo, Raffaele.
Julkaistu 2011

Aiheet: “...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
Hae kokoteksti

Elektroninen E-kirja

Software Engineering 2 Specification of Systems and Languages /

Tekijä Bjørner, Dines., Bjørner, Dines.
Julkaistu 2006

Sisällysluettelo: “... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...”
Hae kokoteksti

Elektroninen E-kirja

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Julkaistu 2015

Sisällysluettelo: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Hae kokoteksti

Elektroninen E-kirja

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Hae kokoteksti

Elektroninen E-kirja

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Hae kokoteksti

Elektroninen E-kirja

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Julkaistu 2012

Sisällysluettelo: “... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “...-inspired Multi-net Paralleling Mechanism Based on Web Application -- DRN: A CORBA-Based Distributed...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Hae kokoteksti

Elektroninen E-kirja

COMPSTAT 2008 Proceedings in Computational Statistics /

Julkaistu 2008

Sisällysluettelo: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Hae kokoteksti

Elektroninen E-kirja

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Julkaistu 2010

Sisällysluettelo: “... (IBBB 2010) -- Hashimoto’s Thyroiditis with Petri Nets -- Modelling of the Temporomandibular Joints...”
Hae kokoteksti

Elektroninen E-kirja

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Julkaistu 2008

Sisällysluettelo: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Julkaistu 2005

Sisällysluettelo: “... and Singular Value Decomposition -- Sentence Boundary Detection in Turkish -- Multiple Sets of Rules for Text...”
Hae kokoteksti

Elektroninen E-kirja

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Julkaistu 2007

Sisällysluettelo: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Invited Talks -- Planning with Stochastic Petri-Nets and Neural Nets -- Data Mining Using Fractals...”
Hae kokoteksti

Elektroninen E-kirja

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Julkaistu 2005

Sisällysluettelo: “... for Searching and Maintaining the Information Space -- Architecture of a Business Framework for the .NET...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Julkaistu 2006

Sisällysluettelo: “... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”
Hae kokoteksti

Elektroninen E-kirja

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Julkaistu 2012

Sisällysluettelo: “... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua