To make progress in understanding knot theory, we will need to interact with the projected representations of mathematical knots which are of course continuous in 3D but significantly interrupted in the projective images. One way to achieve such a goal would be to design an interactive system that allows us to sketch 2D knot diagrams by taking advantage of a collision-sensing controller and exp...

Although diagrams are considered as effective personal tools for solving problems, applied research in education has identified a widespread problem: that students lack spontaneity in diagram use. One way to address this problem was reported by Uesaka and Manalo (2007): their findings indicate the effectiveness of using peer instruction to enhance students’ spontaneous use of diagrams. However,...

UML in its release 2.0 is a powerful CASE tool for exploring the object universe. To design system dynamics, UML makes use of the interaction suite that counts now four diagrams replacing older sequence and collaboration diagrams of the 1.x versions. State and activity diagrams undergo cosmetic changes. Although these six dynamic diagrams are invaluable visual tools to express the behavior of a...

A serious weakness of the UML is the lack of appropriate means for specifying the semantics of operations in a class diagram and the interpretation of actions on a statechart diagram. As required in the corresponding request for proposals [11], such specification should describe the preand postconditions of operations and actions, their effect on the current state, as well as the calls or signa...

In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what when. Given sufficient analysis, a logical initial solution can be designed to capture system functionality including security capabilities. To facilitate the iterative process of analysis and design, one popular techn...

Investigations of heavy few-electron atoms provide an excellent opportunity for testing QED in strong Coulomb fields. A remarkable high experimental precision has been reached in Lamb-shift measurements of Li-like ions. The uncertainty obtained e.g. for the 2p1/2 2s transition energy in Li-like Ni and Zn [1], Ag and Xe [2, 3] and U [4] is by an order of magnitude smaller than the QED contributi...

1 Francisco J. García, University of Salamanca, Computer Science Department, Faculty of Sciences, Salamanca, 37008, Spain [email protected] 2 Iván Álvarez, University of Salamanca, Computer Science Department, Faculty of Sciences, Salamanca, 37008, Spain [email protected] Abstract CASE tools are an important topic in the curriculum of a future software engineer because they automate the software cre...

In this article, we present generic hierarchical behavior-based architecture model for driving mobile manipulator robots. Two behaviors are of high-level. They constitute the Supervisory agent, which manages the global system. Two others are of intermediate-level and finally one behavior is of low-level. These last ones constitute the Mobile Robot agent and the Manipulator Robot agent controlli...

Scenario-based specifications such as UML interaction models offer an intuitive and visual way of describing design requirements, and are playing an increasingly important role in the design of software systems. In this paper, for specification and verification of real-time systems, we introduce more general and expressive timing constraints in UML sequence diagrams, and give an approach to tim...

We obtain the rich phase diagrams in the Hubbard model on the triangular kagome lattice as a function of interaction, temperature, and asymmetry by combining the cellular dynamical mean-field theory with the continuous time quantum Monte Carlo method. The phase diagrams show the asymmetry separates the critical points in the Mott transition of two sublattices on the triangular kagome lattice an...