Crossed-Project Reference for Managing Model Variations Hironobu Kuruma1 and Thai Son Hoang2 1 Research and Development Group, Hitachi Ltd., Japan

Source URL: wiki.event-b.org

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D28

Source URL: rodin.cs.ncl.ac.uk

• Software
• Computing
• Rodin tool
• Michael Butler
• Rodin
• Object Process Methodology
• Eclipse
• Systems engineering
• B-Method
• Formal methods
• Programming tool

Meta-Predicates for Rodin Sebastian Krings Institut f¨ ur Informatik, Universit¨ at D¨ usseldorf

Source URL: wiki.event-b.org

• Formal methods
• Theoretical computer science
• FO
• Finite model theory
• Model checking
• Linguistics
• B-Method
• Rodin
• Control
• Predicate
• Cognitive science

INFORMATION SHEET - GRAFTING The grafting method described here is “whip and tongue” grafting as demonstrated by Hilary Wilson at the NCOG grafting workshop. You will need secateurs, a Stanley-type knife, a cutting b

Source URL: www.ncorchards.co.uk

• Plant reproduction
• Botany
• Asexual reproduction
• Biology
• Agronomy
• Behavior
• Grafting
• Rootstock
• Cutting
• Scion
• Crataegus
• Fruit tree propagation

Applied Numerical Mathematics–414 On the behavior of the total variation in CWENO methods for conservation laws Doron Levy a,∗,1 , Gabriella Puppo b,2 , Giovanni Russo c,3 a Département de Mathématiq

Source URL: www.dmi.unict.it

• Computational fluid dynamics
• Computational science
• Mathematical analysis
• Differential calculus
• Finite difference method
• CourantFriedrichsLewy condition
• Total variation diminishing
• Stencil
• Chi-Wang Shu
• RungeKutta method
• High-resolution scheme
• Shock capturing method

Wo r k b e n c h S e l e c t i o n Usin g Se le cti on S ervi ce wit h

Source URL: udig.refractions.net

• Software
• AmigaOS
• Workbench
• Java platform
• Eclipse
• Null
• Method overriding
• AmigaOS version history

Appendix B. Application form/Data Transfer Agreement for external requests 1. REQUESTOR DETAILS Name

Source URL: kemri-wellcome.org

• Provinces of Kenya
• Computing
• Coast Province
• Data management
• Scientific method
• Data security
• Personal
• Inc.
• Kilifi
• Wellcome Trust
• Medical privacy
• Data sharing
• Privacy

TSV BIST™: An Innovative Method for 2.5D/3D IC Interconnection Integrity Monitoring Hans Manhaeve, Ph.D. Ridgetop Europe, n.v. L. Bauwensstraat 20, B-8200 Brugge, Belgium

Source URL: www.ridgetopgroup.com

• Electronic engineering
• Electromagnetism
• Integrated circuits
• Electronics
• Semiconductor devices
• Semiconductor device fabrication
• Electronics manufacturing
• Survival analysis
• Three-dimensional integrated circuit
• Through-silicon via
• Embedded instrumentation
• Built-in self-test

Fast Computation of Special Resultants ´ Alin Bostan a Philippe Flajolet a Bruno Salvy a Eric Schost b a Algorithms

Source URL: www.csd.uwo.ca

• Polynomials
• Computer algebra
• Algebra
• Symmetric functions
• Symmetric polynomial
• Finite field
• Irreducible polynomial
• Elementary symmetric polynomial
• XTR
• Resultant
• Splitting circle method
• Factorization of polynomials over finite fields

Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK

Source URL: rodin.cs.ncl.ac.uk

• Formal methods
• Theoretical computer science
• Project management
• Computer programming
• Refinement
• B-Method
• Feature model
• Model checking
• Object Process Methodology
• Software development process
• Algorithm
• Economic model