Resultados da pesquisa - constructability ((python https) OR (method https)) functionality net https

1

Publicado em 2006

Sumário: “... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Supervisory Control of Concurrent Systems A Petri Net Structural Approach /

Por Iordache, Marian., Iordache, Marian., Antsaklis, Panos J.
Publicado em 2006

Sumário: “...An Introduction to Petri Nets -- The Supervision of Petri Nets -- Enforcing General Specifications...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013...

Publicado em 2014

Sumário: “... -- Improved Net Reductions for LTL-X Model-Checking -- Formalizing and Implementing Types in MSVL -- Present...”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Monte Carlo and Quasi-Monte Carlo Methods 2006

Publicado em 2008

Sumário: “... Digital Nets -- Construction of Low-Discrepancy Point Sets of Small Size by Bracketing Covers...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

cDNA Libraries Methods and Applications /

Publicado em 2011

Sumário: “... with the Vector-Capping Method -- Construction of Improved Yeast Two-Hybrid Libraries -- Normalization of Full...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Roles, Trust, and Reputation in Social Media Knowledge Markets Theory and Methods /

Publicado em 2015

Sumário: “..., Functional Roles, Adhocratic Leadership Styles, and Credibility in Online Organizations and Knowledge Markets...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

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

Publicado em 2013

Sumário: “... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Publicado em 2015

Sumário: “... Algorithms with Different Transfer Functions for Solving Set Covering Problems -- Binarization Methods...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Publicado em 2006

Sumário: “... Monad over Stably Compact Spaces -- Analysis of Properties of Petri Synthesis Net -- A Tree Construction...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Publicado em 2010

Sumário: “...Construction of Irreducible Polynomials over Finite Fields -- Factorization of Polynomials and GCD...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Complex Systems Design & Management Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012 /

Publicado em 2013

Sumário: “... method Praxeme -- PBS : a major enabler for Systems Engineering - A thematic thinking by Thales Systèmes...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

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

Publicado em 2008

Sumário: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Publicado em 2005

Sumário: “... of Inductive Constructions -- Linear Logic and Ludics -- L-Nets, Strategies and Proof-Nets -- Permutative Logic...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Publicado em 2005

Sumário: “... for Sequence and Text Classification -- Petri Net Reachability Checking Is Polynomial with Optimal Abstraction...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings /

Publicado em 2005

Sumário: “...Free-Form Surface Construction in a Commercial CAD/CAM System -- Polyhedral Gauss Maps...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Advanced Techniques in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings /

Publicado em 2008

Sumário: “... Functional Taxonomies for Interoperable Semantic Search -- Ontology Modeling and Management -- ROC: A Method...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Publicado em 2005

Sumário: “... Selection and Discovery -- A High-Level Functional Matching for Semantic Web Services -- Service Selection...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

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

Publicado em 2007

Sumário: “... Method Based on Received Signal Strength -- Optimization of the Switches in Storage Networks -- Migration...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

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

Publicado em 2012

Sumário: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa