Case study: Class diagram restructuring

This case study is an update-in-place refactoring transformation on UML class diagrams. Its aim is to remove clones of attributes from a class diagram, and to identify new classes which abstract groups of classes that share common data features. It is used as one of a general collection of transformations (such as the removal of redundant inheritance, or multiple inheritance) which aim to improve the quality of a specification or design level class diagram. The transformation is a typical example of a model refactoring, and illustrates the issues involved in such transformations.Comment: In Proceedings TTC 2013, arXiv:1311.753

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS

This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.Comment: In Proceedings TTC 2013, arXiv:1311.753

Population-only decay map for n-qubit n-partite inseparability detection

We introduce a new positive linear map for a single qubit. This map is a decay only in populations of a single-qubit density operator. It is shown that an n-fold product of this map may be used for a detection of n-partite inseparability of an n-qubit density operator (i.e., detection of impossibility of representing a density operator in the form of a convex combination of products of density operators of individual qubits). This product map is also investigated in relation to a variant of the entanglement detection method mentioned by Laskowski and Zukowski.Comment: 5 pages, 1 figure, RevTex4, v2 minor grammatical changes, typos correcte

Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case

In this paper we apply the UML-RSDS notation and tools to the "Hello World" case studies and explain the underlying development process for this model transformation approach.Comment: In Proceedings TTC 2011, arXiv:1111.440

Holding Delinquent Juveniles Accountable Through Peri-Judicial Practices, Mediation, and Family Group Conferences

An important objective of the criminal justice system with respect to delinquent juveniles, in addition to correction and re-socialization, is making them accountable. Juvenile accountability as reflected in this study through specific principles rooting in theories of criminology and philosophical and penological bases, depends on development and application of alternative practices that are different from those traditionally used by the criminal justice system in responding to a criminal phenomenon. Therefore, to hold delinquent juveniles accountable one needs to turn to responses that can desirably make an offender aware of unfavorable consequences of his criminal acts and motivate him to redress damages that have resulted from those acts. The present paper is an attempt to discuss two effective ways of treating delinquent juveniles, namely mediation in criminal processes and family group conferences, to help them take responsibility for their criminal acts and try to make up for the consequences of those acts. The goal is to identify methods of holding delinquent juveniles accountable in the Iranian criminal justice system that have emerged as a result of ineffectiveness of punishments in correction and re-socialization of delinquent children and in the light of new ways proposed by restorative justice for treating this group of offenders. These practices have been influenced by criminological approaches including reintegration shaming, the principle of criminal law as the last and least resort, right to not to be punished, etc. Drawing on descriptive-analytical findings and desk research, the present study has found that delinquent juveniles can be hold accountable by shifting away from traditional responses of the criminal justice system and towards practices recommended by restorative justice, including family group conference and mediation as means of informing delinquent juveniles of the consequences of their behaviors. On the other hand, these practices place offenders in a process where they become accountable for the offenses they committed by realizing how they failed to act humanely and by learning how to behave properly

Solving the TTC 2011 Model Migration Case with UML-RSDS

In this paper we apply the UML-RSDS notation and tools to the GMF model migration case study and explain how to use the UML-RSDS tools.Comment: In Proceedings TTC 2011, arXiv:1111.440

An 826 MOPS, 210 uW/MHz Unum ALU in 65 nm

To overcome the limitations of conventional floating-point number formats, an interval arithmetic and variable-width storage format called universal number (unum) has been recently introduced. This paper presents the first (to the best of our knowledge) silicon implementation measurements of an application-specific integrated circuit (ASIC) for unum floating-point arithmetic. The designed chip includes a 128-bit wide unum arithmetic unit to execute additions and subtractions, while also supporting lossless (for intermediate results) and lossy (for external data movements) compression units to exploit the memory usage reduction potential of the unum format. Our chip, fabricated in a 65 nm CMOS process, achieves a maximum clock frequency of 413 MHz at 1.2 V with an average measured power of 210 uW/MHz

Quantum teleportation with nonclassical correlated states in noninertial frames

Quantum teleportation is studied in noninertial frame, for fermionic case, when Alice and Bob share a general nonclassical correlated state. In noninertial frames two fidelities of teleportation are given. It is found that the average fidelity of teleportation from a separable and nonclassical correlated state is increasing with the amount of nonclassical correlation of the state. However, for any particular nonclassical correlated state, the fidelity of teleportation decreases by increasing the acceleration.Comment: 10 pages, 3 figures, expanded version to appear in Quantum Inf. Proces