Resultados da pesquisa - ((functions computational) or (structures computational)) programming modeling methods cases*

1

Publicado em 2006

Sumário: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicado em 2007

Sumário: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

Reflections on the Teaching of Programming Methods and Implementations /

Publicado em 2008

Sumário: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
Obter o texto integral

Recurso Electrónico livro electrónico

4

Implementing Models in Quantitative Finance: Methods and Cases

Por Fusai, Gianluca., Fusai, Gianluca., Roncoroni, Andrea.
Publicado em 2008

Sumário: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Obter o texto integral

Recurso Electrónico livro electrónico

5

Innovations in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Publicado em 2007

Sumário: “... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...”
Obter o texto integral

Recurso Electrónico livro electrónico

7

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Publicado em 2008

Sumário: “...Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

Advances in Communication and Computing

Publicado em 2015

Sumário: “... Preprocessing Method Used in Data Compression -- Modeling a Nano Cylindrical MOSFET Considering Parabolic...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

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

Publicado em 2010

Sumário: “... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Advance in Structural Bioinformatics

Publicado em 2015

Sumário: “...Introduction to Structural Bioinformatics -- Modeling and Structure Determination -- The Structure...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Publicado em 2014

Sumário: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

Abdominal Imaging. Computational and Clinical Applications 5th International Workshop, Held...

Publicado em 2013

Sumário: “... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

Development of finite element model for soil-structure interaction

Por Shoaei, Mohammad Dalili
Publicado em 2014

Assuntos: “...Soil-structure interaction...”
Obter o texto integral

Thesis

14

Development of finite element model for soil-structure interaction

Por Shoaei, Mohammad Dalili
Publicado em 2014

“... interfacial modeling in the soil-foundation-framed structure system, the analyzed model should...”
Obter o texto integral

Thesis

15

Domain of Attraction Analysis and Control via SOS Programming /

Por Chesi, Graziano., Chesi, Graziano.
Publicado em 2011

Sumário: “... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings /

Publicado em 2007

Sumário: “...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Publicado em 2008

Sumário: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Publicado em 2010

Sumário: “...Reasoning with Uncertainty -- An Algorithm to Find a Perfect Map for Graphoid Structures...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Publicado em 2007

Sumário: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicado em 2010

Sumário: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa