Results 51 to 60 of about 394,052 (288)
AUTOMATED CONTROL SIMULATION OF PROFESSIONAL SKILLS FORMATION FOR PRODUCTION SYSTEM OPERATOR [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2016 Subject matter.We propose a mathematical model of the automated control of the professional skills formation for the trainee through exercises using computer training complex.
R. A. Fayzrakhmanov, I. S. Polevshchikov
doaj +1 more source
Digital Characteristics of Microstructure of Diamond—Silicon Carbide Composites
Ceramics, 2023 As an example of the implementation of digital materials science approaches based on statistical processing of electron micrographs with the analysis of fractal parameters, the digital characteristics of microstructure of diamond–silicon carbide ceramic ...
Andrey G. Chekuryaev +3 more
doaj +1 more source
On Optimal Binary One-Error-Correcting Codes of Lengths $2^m-4$ and $2^m-3$
, 2011 Best and Brouwer [Discrete Math. 17 (1977), 235-245] proved that triply-shortened and doubly-shortened binary Hamming codes (which have length $2^m-4$ and $2^m-3$, respectively) are optimal.
Krotov, Denis S. +2 more
core +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Structural biology of ferritin nanocages
FEBS Letters, EarlyView.Ferritin is a conserved iron‐storage protein that sequesters iron as a ferric mineral core within a nanocage, protecting cells from oxidative damage and maintaining iron homeostasis. This review discusses ferritin biology, structure, and function, and highlights recent cryo‐EM studies revealing mechanisms of ferritinophagy, cellular iron uptake, and ...
Eloise Mastrangelo, Flavio Di Pisa
wiley +1 more source
Study on Man-machine Design of Armoured Vehicles Operation Space
MATEC Web of Conferences, 2018 This paper proposes an improved armoured vehicle control room based on ergonomic theory and computer-aided design technology to create efficiency by improving panel layout and seat design.
Hemin Du, Ting Wang
doaj +1 more source
Theorema: Towards computer-aided mathematical theory exploration
Journal of Applied Logic, 2006 AbstractTheorema is a project that aims at supporting the entire process of mathematical theory exploration within one coherent logic and software system. This survey paper illustrates the style of Theorema-supported mathematical theory exploration by a case study (the automated synthesis of an algorithm for the construction of Gröbner Bases) and gives
Buchberger, Bruno +10 more
openaire +1 more source
Word-level Symbolic Trajectory Evaluation
, 2015 Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in {0, 1, X}.
C-JH Seger +8 more
core +1 more source
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Square Root of a Multivector of Clifford Algebras in 3D: A Game with Signs
MathematicsAn algorithm is presented to extract the square root from a multivector (MV) in real Clifford algebras Clp,q, where n=p+q≤3, in radicals. It is shown that in Cl3,0, Cl1,2, and Cl0,3 algebras, there are up to four isolated square roots in a case of the ...
Arturas Acus, Adolfas Dargys
doaj +1 more source