Canlyniadau Chwilio - ((functions computational) or (structures computational)) programming modeling methods cases*

1

Cyhoeddwyd 2006

Tabl Cynhwysion: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Cael y testun llawn

Electronig eLyfr

3

Reflections on the Teaching of Programming Methods and Implementations /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”
Cael y testun llawn

Electronig eLyfr

4

Implementing Models in Quantitative Finance: Methods and Cases

gan Fusai, Gianluca., Fusai, Gianluca., Roncoroni, Andrea.
Cyhoeddwyd 2008

Tabl Cynhwysion: “...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Cael y testun llawn

Electronig eLyfr

5

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures...”
Cael y testun llawn

Electronig eLyfr

8

Advances in Communication and Computing

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Preprocessing Method Used in Data Compression -- Modeling a Nano Cylindrical MOSFET Considering Parabolic...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”
Cael y testun llawn

Electronig eLyfr

10

Advance in Structural Bioinformatics

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Introduction to Structural Bioinformatics -- Modeling and Structure Determination -- The Structure...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...”
Cael y testun llawn

Electronig eLyfr

13

Development of finite element model for soil-structure interaction

gan Shoaei, Mohammad Dalili
Cyhoeddwyd 2014

Pynciau: “...Soil-structure interaction...”
Cael y testun llawn

Thesis

14

Development of finite element model for soil-structure interaction

gan Shoaei, Mohammad Dalili
Cyhoeddwyd 2014

“... interfacial modeling in the soil-foundation-framed structure system, the analyzed model should...”
Cael y testun llawn

Thesis

15

Domain of Attraction Analysis and Control via SOS Programming /

gan Chesi, Graziano., Chesi, Graziano.
Cyhoeddwyd 2011

Tabl Cynhwysion: “... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
Cael y testun llawn

Electronig eLyfr

16

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”
Cael y testun llawn

Electronig eLyfr

17

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Reasoning with Uncertainty -- An Algorithm to Find a Perfect Map for Graphoid Structures...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
Cael y testun llawn

Electronig eLyfr

20

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad