Hakutulokset - ((functions computational) or (structure function)) programming modelling methods cases*

1

Julkaistu 2006

Sisällysluettelo: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Hae kokoteksti

Elektroninen E-kirja

2

Reflections on the Teaching of Programming Methods and Implementations /

Julkaistu 2008

Sisällysluettelo: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
Hae kokoteksti

Elektroninen E-kirja

3

Development of finite element model for soil-structure interaction

Tekijä Shoaei, Mohammad Dalili
Julkaistu 2014

Aiheet: “...Soil-structure interaction...”
Hae kokoteksti

Opinnäyte

4

Implementing Models in Quantitative Finance: Methods and Cases

Tekijä Fusai, Gianluca., Fusai, Gianluca., Roncoroni, Andrea.
Julkaistu 2008

Sisällysluettelo: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Hae kokoteksti

Elektroninen E-kirja

5

Development of finite element model for soil-structure interaction

Tekijä Shoaei, Mohammad Dalili
Julkaistu 2014

“... interfacial modeling in the soil-foundation-framed structure system, the analyzed model should...”
Hae kokoteksti

Opinnäyte

6

Advance in Structural Bioinformatics

Julkaistu 2015

Sisällysluettelo: “...Introduction to Structural Bioinformatics -- Modeling and Structure Determination -- The Structure...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2007

Sisällysluettelo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hae kokoteksti

Elektroninen E-kirja

8

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2007

Sisällysluettelo: “... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2008

Sisällysluettelo: “...Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2010

Sisällysluettelo: “... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”
Hae kokoteksti

Elektroninen E-kirja

12

Domain of Attraction Analysis and Control via SOS Programming /

Tekijä Chesi, Graziano., Chesi, Graziano.
Julkaistu 2011

Sisällysluettelo: “... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
Hae kokoteksti

Elektroninen E-kirja

13

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

Julkaistu 2007

Sisällysluettelo: “...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”
Hae kokoteksti

Elektroninen E-kirja

14

Advances in Communication and Computing

Julkaistu 2015

Sisällysluettelo: “... Preprocessing Method Used in Data Compression -- Modeling a Nano Cylindrical MOSFET Considering Parabolic...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2014

Sisällysluettelo: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2013

Sisällysluettelo: “... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2008

Sisällysluettelo: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Hae kokoteksti

Elektroninen E-kirja

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...

Julkaistu 2010

Sisällysluettelo: “...Reasoning with Uncertainty -- An Algorithm to Find a Perfect Map for Graphoid Structures...”
Hae kokoteksti

Elektroninen E-kirja

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...

Julkaistu 2007

Sisällysluettelo: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2010

Sisällysluettelo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua