Resultados da pesquisa - ((functions computation) or (functions computational)) programming splitting methods case*

Pesquisas alternativas:
functions computational » function computation , directions computational , section computational
functions computation » function computation , functions composition , function composition
programming splitting » programming setting , programming selecting , programming scripting
splitting methods » splitting method , planting methods , existing methods

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Publicado em 2007

Sumário: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Obter o texto integral

Recurso Electrónico livro electrónico

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Publicado em 2015

Sumário: “... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...”
Obter o texto integral

Recurso Electrónico livro electrónico

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Publicado em 2005

Sumário: “...) Verification 1 -- Efficient Symbolic Simulation via Dynamic Scheduling, Don’t Caring, and Case Splitting...”
Obter o texto integral

Recurso Electrónico livro electrónico

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

Publicado em 2014

Sumário: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Obter o texto integral

Recurso Electrónico livro electrónico

Statistical Analysis and Data Display An Intermediate Course with Examples in R /

Por Heiberger, Richard M., Heiberger, Richard M., Holland, Burt.
Publicado em 2015

Assuntos: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Obter o texto integral

Recurso Electrónico livro electrónico

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Publicado em 2014

Sumário: “... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Publicado em 2008

Sumário: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Obter o texto integral

Recurso Electrónico livro electrónico

Multicore Systems On-Chip: Practical Software/Hardware Design

Por Ben Abdallah, Abderazek., Ben Abdallah, Abderazek.
Publicado em 2013

Sumário: “...Introduction to Multicore Systems On-Chip -- Multicore SoCs Design Methods -- Multicore SoC...”
Obter o texto integral

Recurso Electrónico livro electrónico

Development of multi-objective optimization methods for integrated scheduling of handling equipment (AGVs, QCs, SP-AS/RS) in automated container terminals

Por Homayouni, Seyed Mahdi
Publicado em 2012

“... new storage system called split-platform automated storage/retrieval system (SP-AS/RS) has been...”
Obter o texto integral

Thesis

Development of multi-objective optimization methods for integrated scheduling of handling equipment (AGVs, QCs, SP-AS/RS) in automated container terminals

Por Homayouni, Seyed Mahdi
Publicado em 2012

“... new storage system called split-platform automated storage/retrieval system (SP-AS/RS) has been...”
Obter o texto integral

Thesis

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Publicado em 2005

Sumário: “... Regulator for Power Systems -- EEG Source Localization for Two Dipoles in the Brain Using a Combined Method...”
Obter o texto integral

Recurso Electrónico livro electrónico

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /

Publicado em 2007

Sumário: “... Case of the Dempster-Shafer Theory -- Interpreting Belief Functions as Dirichlet Distributions...”
Obter o texto integral

Recurso Electrónico livro electrónico

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II /

Publicado em 2013

Sumário: “... Trade Off for FUFP-trees Maintenance -- Adaptive Splitting and Selection Method for Noninvasive...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa