SimGridMC: A Dynamic Verification Tool for Distributed Systems 

Get Complete Project Material File(s) Now! » Importance of the Shared State e shared state of a system is a central notion for both state space exploration and parallelization. A model checker systematically generates runs (→) of the distributed program...

Thermosolutal buoyancy convection and macrosegregation during solidification in a centrifugated system

Get Complete Project Material File(s) Now! » Volumetric grain and nuclei density and envelope conservation: The grains can grow from a chill wall, in form of columns, or from nuclei in the fully liquid region, in form of equiaxed grains....

The initial mass function as a proxy for star formation 

Get Complete Project Material File(s) Now! » The COSMIC-DANCe project The COSMIC DANCe project3 (DANCe standing for Dynamical Analysis of Nearby ClustErs) started as a survey to map nearby (< 500 pc), young (< 500 Myr) associations and open clusters...

Gurson Tvergaard and Needleman model (GTN model) 

Get Complete Project Material File(s) Now! » Quasi-static analysis on void growth The behavior of porous materials under quasi-static loading has been analyzed by several authors, since early works of McClintock [23], Rice and Tracey [32], Gurson [15], Budiansky et...

MPC-based tracking with time-invariant constraints: an academic example

Get Complete Project Material File(s) Now! » The Shell Eco-Marathon around the world The Shell Eco-Marathon also exists in America and Asia. The Shell Eco-Marathon Americas was launched in 2007 in the United States, involving teams from Canada to Brazil....

Measurement model for physical activity and energy expenditure (LaMonte and Ainsworth, 2001)

Get Complete Project Material File(s) Now! » Mode of sedentary behaviors Type of sedentary behaviors refers to the mode of sedentary behaviors, such as watching TV, using a computer or driving a car. Often, time spent in TV viewing is...

The system function and the functional unit

Get Complete Project Material File(s) Now! » Feedstock for pyrolysis In the pyrolysis process, a broad variety of biomass feedstocks may be utilized. Bagasse (from sugar cane), rice husk, rice straw, peanut hulls, oat hulls, switchgrass, wheatstraw, sludge, and wood...

Dealing with the free surface in a backward creeping flow scheme

Get Complete Project Material File(s) Now! » Geometric and kinematic restoration Since the beginning of the last century, structural restoration methods have been mostly based on geometric and kinematic assumptions (e.g., Chamberlin 1910; Dahlstrom 1969; Gratier 1988; Rouby 1994; Groshong...

Energy aware routing: An SDN perspective 

Get Complete Project Material File(s) Now! » Energy efficiency technology for networking devices The availability of inexpensive and extreme capacity optical transmission and improvement in routing technologies for the network infrastructure have made possible to grow the Internet at this...

Gurson-Tvergaard-Needleman-Ben Bettaïeb model (GTNB)

Get Complete Project Material File(s) Now! » Formability characteristics The Dual-Phase steels present an excellent candidate for the car body structural components. These are often produced for safety-critical parts (see Figure II.4) which maintain passenger surviving space in crash events....