This paper describes the FunnyQT1 [1, 2] solution of the TTC 2015 Model Execution Case [3]. It implements the third variant of the case description, i.e., it implements the execution semantics of the complete UML Activity Diagram language. The solution project is available on Github2, and it is set up for easy reproduction on a SHARE image3. The solution has won the most correct solution award....

The complex structural transformation in crystals under static pressure or shock loading has been a subject of long-standing interest to materials scientists and physicists. The polymorphic transformation is of particular importance for iron (Fe), due to its technological and sociological significance in the development of human civilization, as well as its prominent presence in the earth's cor...

We study the operational semantics of an extension of Girard’s System Fω with two control operators: an abort operation that abandons the current control context, and a callcc operation that captures the current control context. Two classes of operational semantics are considered, each with a call-by-value and a call-by-name variant, differing in their treatment of polymorphic abstraction and i...

Virtually every compiler performs transformations on the program it is compiling in an attempt to improve efficiency. However, a transformation known as “lambda floating” has not received much attention in the past. In this paper we describe an analysis on the arity of a function which determines the number of lambdas that can be floated out. We give detailed measurements of the effect in an op...

By thermally cycling through their transformation temperature range, coarse-grained polymorphic materials can be deformed superplastically, owing to the emergence of transformation mismatch plasticity (or transformation superplasticity) as a deformation mechanism. This mechanism is presently investigated under biaxial stress conditions during thermal cycling of unalloyed titanium, Ti-6Al-4V, an...

The classical theory of solid-state transformation based on nucleation and growth processes, developed by Kolmogorov, Johnson Mehl, Avrami (KJMA theory), is widely used in many different fields research. In KJMA theory, two parameters (the frequency factor and, particularly, the exponent) can supply information about mechanisms involved transformation. Despite its apparent simplicity, one hand,...

This paper discusses the rule that polymorphic transformation does not occur in heat-resistant steels and alloys. The basic theoretical principles used to analyze most diverse processes occurring heat resistant alloys have been analyzed described. crystallization process of various alloys, formation decomposition austenite, new phase formed during operations chemical-heat treatment are Extensiv...

Molecular simulations are a powerful tool in the study of crystallization and polymorphic transitions yielding detailed information transformation mechanisms with high spatiotemporal resolution. However, characterizing various crystalline amorphous phases as well sampling nucleation events structural remain extremely challenging tasks. The integration machine learning molecular has potential un...