Author’s rights and e-learning from the perspective of the European integration

Related to reality, law cannot make abstraction of the practical needs to create and enforce the legal norms. Starting from the study of singular cases, the legal theory is verified by means of the strategies of economic-social development. The quantitative methods in the legal scientific research and in the legal practice are used nowadays for theoretic argumentation, based on the experience acquired as a result of the study of casuistry

Discrete vs. Discretized Growth Discretized Fabrication of Geometries Generated with Cellular Growth Simulations

Discrete computational growth simulations, such as Cellular Automata of Diffusion Limited Aggregation, appear often to be difficult to use for architectural design as their geometric outcomes tend to be difficult to control. On the contrary, free-form growth simulations such as Differential Growth or cell-based growth algorithms produce highly complex geometries that are difficult to construct at a larger scale. We, therefore, propose a methodology of discretized free-form Cellular Growth algorithms in order to utilize the emerging qualities of growth simulations for a feasible architectural design. The methodology has been tested within the framework of a workshop and resulted in the efficient construction of a large physical prototype

Engineering design tropisms: Utilization of a bamboo-resin joint for voxelized network geometries

We propose the combination of the traditional construction material bamboo with a novel epoxy-resin joint. The joint forms a bending-resisting connection that eliminates the need for diagonal members. This allows its utilization along rectangular grids as was tested with the design of a prototype structure that occupies a voxelized space. The design process used an agent-based simulation to mediate between design intent, site and structural considerations. The prototype was constructed with a robotic milling of the components and forms a successful application of the joints and design methodology

Modelling and validating an engineering application in kernel P systems

© 2018, Springer International Publishing AG. This paper illustrates how kernel P systems (kP systems) can be used for modelling and validating an engineering application, in this case a cruise control system of an electric bike. The validity of the system is demonstrated via formal verification, carried out using the kPWorkbench tool. Furthermore, we show how the kernel P system model can be tested using automata and X-machine based techniques

INFLUENCE ON QUALITY AND ENERGY INDICES FOR A REVERSIBLE PLOW EQUIPPED WITH ELECTRIC VIBRATORS

The qualitative indices of the tillage as well as the exploitation energy indices represent two relevant factors in the exploitation of the agricultural equipments, these being the main barometer of the quality of the used equipment. The paper presents a comparative study of qualitative work indices, respectively energy indices, performed on two reversible plows with three troops, one used in the classical system and one optimized by implementing electrical systems for generating vibrations, located on each of the three active troops during operatio

An integrated model checking toolset for kernel P systems

P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are defined to unify the specification of different variants of P systems, motivated by challenging theoretical aspects and the need to model different problems. kP systems are supported by a software framework, called kPWORKBENCH, which integrates a set of related simulation and verification methodologies and tools. In this paper, we present an extension to kPWORKBENCH with a new model checking framework supporting the formal verification of kP system models. This framework supports both LTL and CTL properties. To make the property specification an easier task, we propose a property language, composed of natural language statements. We demonstrate our proposed methodology with an example

Remarcs on the shape transition from spherical to deformed gamma unstable nuclei

Energies and transition probabilities for low lying states in $^{134}$Ba and ^{104Ru were calculated within a hybrid model.The ground and the first $2^+$ states are described alternatively as a harmonic and anharmonic vibrator states while the remaining states as states with E(5) symmetry. One concludes that a gradual setting of the 'critical' potential yields a better agreement with the experimental data. Very good agreement with the data is obtained for $^{104}$Ru. Comparing the present results with those of E(5) symmetry, it is conspicuous that the present formalism add corrections to the E(5) formalism by bringing the predictions closer to the experimental data. Analytical relationship between the states with U(5) symmetry and those given by the E(5) description is established.Comment: 21 pages, 3 figures, submitted for publicatio