scholarly journals Revisiting Visitors for Modular Extension of Executable DSMLs

2017 ◽  
Author(s):  
Manuel Leduc ◽  
Thomas Degueule ◽  
Benoit Combemale ◽  
Tijs van der Storm ◽  
Olivier Barais
Keyword(s):  
Modular Extension

scholarly journals The Conceptual Design of a Smart Wrist Orthosis and Functional Performance - Project Overview

2021 ◽  
Vol 15 (3) ◽  
pp. 387-391
Author(s):  
Zoran Domitran ◽  
Robert Mašović ◽  
Jure Serdar ◽  
Mislav Jelić
Keyword(s):  
Conceptual Design ◽  
Functional Performance ◽  
Heart Function ◽  
Recovery Period ◽  
3D Models ◽  
Additive Technologies ◽  
Bottom Part ◽  
Minor Injuries ◽  
Performance Project ◽  
Modular Extension

The idea of the project was to find a conceptual design of a multi-functional smart orthosis for wrist fixation. The application of additive technologies presents the potential in designing a customised orthosis for every patient individually. By using pre-generated 3d models of various hand shapes it is possible to prepare models for several shapes and sizes of forearms and hands. The conceptual design provides a possible solution for a two-part orthosis bound around the forearm and a modular extension to stabilize the wrist without additional compression. The multi-functionality occurs with the development of a small pre-defined electronic plate located in the bottom part of the orthosis. The temperature and heart rate are constantly monitored and displayed wirelessly on a smartphone. The target group are the patients active in sports or patients with minor injuries. Moreover, the orthosis can be used for body temperature and heart function monitoring during recovery period.

scholarly journals A Modular Extension for a Computer Algebra System

2020 ◽  
Vol 46 (2) ◽  
pp. 98-104
Author(s):  
M. N. Gevorkyan ◽  
A. V. Korolkova ◽  
D. S. Kulyabov ◽  
L. A. Sevast’yanov
Keyword(s):  
Computer Algebra ◽  
Computer Algebra System ◽  
Modular Extension

scholarly journals Using modular extension to provably protect Edwards curves against fault attacks

2017 ◽  
Vol 7 (4) ◽  
pp. 321-330
Author(s):  
Margaux Dugardin ◽  
Sylvain Guilley ◽  
Martin Moreau ◽  
Zakaria Najm ◽  
Pablo Rauzy
Keyword(s):  
Fault Attacks ◽  
Edwards Curves ◽  
Modular Extension

Pure Subfields of Purely Inseparable Field Extensions

1976 ◽  
Vol 28 (6) ◽  
pp. 1162-1166 ◽  
Author(s):  
James K. Deveney
Keyword(s):  
Structural Properties ◽  
Abelian Groups ◽  
Field Extensions ◽  
Intermediate Field ◽  
Modular Extension

The notion of pure subgroups is due to Prufer [7]. It has proven extremely useful in establishing structural properties of abelian groups. In a recent paper [9], Waterhouse introduced the concept of a pure subfield of a purely inseparable extension. Let L be a purely inseparable modular extension of k, and let K be an intermediate field. K is called pure if K and k(Lpn) are linearly disjoint over k(Kpn) for all n. Waterhouse used this concept to establish the existence of basic subfields [9].

scholarly journals Ground Associative and Commutative Completion Modulo Shostak Theories

10.29007/s69q ◽  
2018 ◽  
Author(s):  
Sylvain Conchon ◽  
Evelyne Contejean ◽  
Mohamed Iguernelala
Keyword(s):  
Word Problem ◽  
Decision Algorithm ◽  
Arbitrary Signature ◽  
Orientation Mechanism ◽  
Definition Of ◽  
Main Ideas ◽  
Modular Extension ◽  
Theory X

AC-completion efficiently handles equality modulo associative and commutative function symbols. In the ground case, the procedure terminates and provides a decision algorithm for the word problem. In this paper, we present a modular extension of ground AC-completion for deciding formulas in the combination of the theory of equality with user-defined AC symbols, uninterpreted symbols and an arbitrary signature disjoint Shostak theory X. The main ideas of our algorithm are first to adapt the definition of rewriting in order to integrate the canonizer of X and second, to replace the equation orientation mechanism found in ground AC-completion with the solver for X.

scholarly journals Repeat proteins as versatile scaffolds for arrays of redox-active FeS clusters

2019 ◽  
Vol 55 (23) ◽  
pp. 3319-3322 ◽  
Author(s):  
Sara H. Mejias ◽  
Zahra Bahrami-Dizicheh ◽  
Mantas Liutkus ◽  
Dayn Joshep Sommer ◽  
Andrei Astashkin ◽  
...  
Keyword(s):  
Protein Backbone ◽  
Repeat Proteins ◽  
Redox Active ◽  
A Chain ◽  
Modular Extension

Molecular string of beads: modular extension of a protein backbone builds a chain of electroactive clusters.

Sign in / Sign up

Export Citation Format

Share Document