Resultados de búsqueda - ((functions computational) or (structure computational)) programming models methods cases*

1

Publicado 2006

Tabla de Contenidos: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Enlace del recurso

Electrónico eBook

2

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

Publicado 2007

Tabla de Contenidos: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Enlace del recurso

Electrónico eBook

3

Reflections on the Teaching of Programming Methods and Implementations /

Publicado 2008

Tabla de Contenidos: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
Enlace del recurso

Electrónico eBook

4

Implementing Models in Quantitative Finance: Methods and Cases

por Fusai, Gianluca., Fusai, Gianluca., Roncoroni, Andrea.
Publicado 2008

Tabla de Contenidos: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Enlace del recurso

Electrónico eBook

5

Innovations in Computing Sciences and Software Engineering

Publicado 2010

Tabla de Contenidos: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Enlace del recurso

Electrónico eBook

6

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

Publicado 2007

Tabla de Contenidos: “... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...”
Enlace del recurso

Electrónico eBook

7

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

Publicado 2008

Tabla de Contenidos: “...Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures...”
Enlace del recurso

Electrónico eBook

8

Advances in Communication and Computing

Publicado 2015

Tabla de Contenidos: “... Preprocessing Method Used in Data Compression -- Modeling a Nano Cylindrical MOSFET Considering Parabolic...”
Enlace del recurso

Electrónico eBook

9

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

Publicado 2010

Tabla de Contenidos: “... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”
Enlace del recurso

Electrónico eBook

10

Development of finite element model for soil-structure interaction

por Shoaei, Mohammad Dalili
Publicado 2014

Materias: “...Soil-structure interaction...”
Enlace del recurso

Tesis

11

Advance in Structural Bioinformatics

Publicado 2015

Tabla de Contenidos: “...Introduction to Structural Bioinformatics -- Modeling and Structure Determination -- The Structure...”
Enlace del recurso

Electrónico eBook

12

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

Publicado 2014

Tabla de Contenidos: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
Enlace del recurso

Electrónico eBook

13

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

Publicado 2013

Tabla de Contenidos: “... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...”
Enlace del recurso

Electrónico eBook

14

Development of finite element model for soil-structure interaction

por Shoaei, Mohammad Dalili
Publicado 2014

“... interfacial modeling in the soil-foundation-framed structure system, the analyzed model should...”
Enlace del recurso

Tesis

15

Domain of Attraction Analysis and Control via SOS Programming /

por Chesi, Graziano., Chesi, Graziano.
Publicado 2011

Tabla de Contenidos: “... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
Enlace del recurso

Electrónico eBook

16

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

Publicado 2007

Tabla de Contenidos: “...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”
Enlace del recurso

Electrónico eBook

17

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

Publicado 2008

Tabla de Contenidos: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Enlace del recurso

Electrónico eBook

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 2010

Tabla de Contenidos: “...Reasoning with Uncertainty -- An Algorithm to Find a Perfect Map for Graphoid Structures...”
Enlace del recurso

Electrónico eBook

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 2007

Tabla de Contenidos: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
Enlace del recurso

Electrónico eBook

20

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

Publicado 2010

Tabla de Contenidos: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados