B-Method - PDFSEARCH.IO - Document Search Engine

B-Method
Results: 1203

#	Item
41	Large-eddy simulation of compressible flows using a spectral multi-domain method K. Sengupta1 , G. B. Jacobs2 and F. Mashayek1∗ 1 Department of Mechanical and Industrial Engineering, University of Illinois at Chicago, Add to Reading List Source URL: attila.sdsu.edu Language: English - Date: 2008-04-02 00:32:27 Fluid dynamics Mathematical analysis Partial differential equations Calculus Aerodynamics Computational fluid dynamics Numerical analysis Turbulence models Large eddy simulation Filter NavierStokes equations Spectral method
42	Translating SCXML Statecharts to iUML-B State-machines Karla Morris : Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:57:46 Computing SCXML Models of computation Call Control eXtensible Markup Language State diagram Formal methods Auguste Rodin B-Method Finite-state machine Rodin Linz
43	Implicit-Explicit Time Integration of a High-Order Particle-in-Cell Method with Hyperbolic Divergence Cleaning. G.B. Jacobs a J.S. Hesthaven b a Department b Division Add to Reading List Source URL: attila.sdsu.edu Language: English - Date: 2008-08-19 15:53:19 Numerical analysis Differential calculus Computational science Computational fluid dynamics Ordinary differential equations RungeKutta methods Particle-in-cell Numerical methods for ordinary differential equations Temporal discretization Stiff equation Finite volume method Parareal
44	Microsoft Word - D20-1.0.c.doc Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-11-21 08:16:27 Formal methods Rodin tool Theoretical computer science Software engineering Rodin Michael Butler B-Method Independent Investigations Group
45	Integrated geometry parametrization and grid movement using B-spline meshes Jason E. Hicken∗ and David W. Zingg † Add to Reading List Source URL: homepages.rpi.edu Language: English - Date: 2012-07-05 17:15:04 Interpolation Numerical analysis B-spline Flat spline Cubic Hermite spline Spline Control point Linear interpolation Shape optimization Finite element method Mesh generation Computer representation of surfaces
46	Page 1 of 49 Descartes, Other Minds and Impossible Human Bodies C Su op b Add to Reading List Source URL: www.manning.caltech.edu Language: English - Date: 2012-02-23 18:13:03 Philosophy Epistemology Academia Theory of mind Doubt Philosophical methodology Ren Descartes Cartesian doubt Graud de Cordemoy Discourse on the Method Common sense Occasionalism
47	TOWARDS A METHOD FOR IDENTIFYING COMPLEX SYSTEM CONSTRAINTS IMPACTING PERFORMANCE OF NASA AERONAUTICS MISSIONS Student: Polinpapilinho F. Katina., M.Eng. Advisor: Charles B. Keating., Ph.D. Department of Engineering Man Add to Reading List Source URL: www.vsgc.odu.edu Language: English - Date: 2013-05-02 13:43:32 Systems science Cybernetics Systems Occupations Systems engineering Metaphysics Complex systems Systems theory Philosophy
48	SIXTH FRAMEWORK PROGRAMME PRIORITY [#] [Information Societies Technology] Contract for: Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-11-01 05:48:34 Formal methods Computing Software engineering Engineering System of systems Dependability Systems engineering Programming tool Software development process Project management B-Method Software development
49	A Population-Differential Method of Moni toring Success and Failure in Coevolution Ari Bader-Natal and Jordan B. Pollack. DEMO Lab Dept. of Computer Science, Brandeis University, Waltham, MAThe task of monitoring Add to Reading List Source URL: aribadernatal.com Language: English - Date: 2016-06-29 00:37:13 Biology Evolutionary biology Nature Mathematical optimization Coevolution Habitat Cybernetics Evolutionary computation Genetic algorithm Red Queen hypothesis Evolutionary robotics Evolution
50	Journal of Physics B: Atomic, Molecular and Optical Physics J. Phys. B: At. Mol. Opt. Phys10pp) doi:Investigation of coupling mechanisms in Add to Reading List Source URL: bromine.cchem.berkeley.edu Language: English - Date: 2015-05-21 17:29:18 Spectroscopy Physics Chemistry Scientific method Ultrafast laser spectroscopy Ultrashort pulse Photon Absorption spectroscopy