Results 1 to 10 of about 7,077,388 (197)

Diagonal reduction algebras of $\gl$ type [PDF]

Functional Analysis and Its Applications, 2009
Several general properties, concerning reduction algebras - rings of definition and algorithmic efficiency of the set of ordering relations - are discussed.
Khoroshkin, Sergey, Ogievetsky, Oleg
core   +5 more sources

Endoscopic reduction of type IV paraesophageal hernia [PDF]

VideoGIE, 2021
Video 1Case demonstrating endoscopic successful endoscopic repair of type IV paraesophageal hernia.
Thomas R. McCarty, MD, MPH, Ahmad Najdat Bazarbashi, MD, Ali M. Abbas, MD, MPH, Kelly E. Hathorn, MD, Christopher C. Thompson, MD, MSc   +4 more
doaj   +3 more sources

Clinical study on closed Kirschner wire prying reduction for Gartland Type IV supracondylar humeral fractures in children and analysis of typical cases [PDF]

Frontiers in Surgery
ObjectiveTo explore the feasibility, safety and clinical efficacy of closed Kirschner wire prying reduction technique in the treatment of Gartland Type IV supracondylar humeral fractures in children.MethodsA retrospective analysis was conducted on the ...
Yunpeng Wu, Jingrong Wen, Weijun Hui, Jianglong Wang, Fangjun Yang, Xiaoming Qiu, Yunping Peng, Zhimin Yuan   +7 more
doaj   +2 more sources

Reduction Free Normalisation for a proof irrelevant type of propositions [PDF]

Logical Methods in Computer Science, 2023
We show normalisation and decidability of convertibility for a type theory with a hierarchy of universes and a proof irrelevant type of propositions, close to the type system used in the proof assistant Lean.
Thierry Coquand
doaj   +1 more source

Drosophila D-idua Reduction Mimics Mucopolysaccharidosis Type I Disease-Related Phenotypes

Cells, 2021
Deficit of the IDUA (α-L-iduronidase) enzyme causes the lysosomal storage disorder mucopolysaccharidosis type I (MPS I), a rare pediatric neurometabolic disease, due to pathological variants in the IDUA gene and is characterized by the accumulation of ...
Concetta De Filippis, Barbara Napoli, Laura Rigon, Giulia Guarato, Reinhard Bauer, Rosella Tomanin, Genny Orso   +6 more
doaj   +1 more source

Reduction of couplings in the Type-II 2HDM

European Physical Journal C: Particles and Fields, 2023
The idea of reduction of couplings consists in the search for relations between seemingly independent couplings of a renormalizable theory that are renormalization group invariant.
M. A. May Pech, M. Mondragón, G. Patellis, G. Zoupanos   +3 more
doaj   +1 more source

A Fractional Order General Type-2 Fuzzy PID Controller Design Algorithm

IEEE Access, 2020
Fractional order PID controller was received attentions in control problems for it had 2 freedom adjustable parameters. Practices had proved that better results could be obtained by introduction of fractional order PID in control problems.
Jian Zhong Shi
doaj   +1 more source

Type reduction operators for interval type–2 defuzzification [PDF]

Information Sciences, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Runkler, Thomas A., Chen, Chao, John, Robert   +2 more
openaire   +2 more sources

Type Batched Program Reduction

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
Given a program with a property of interest, program reduction searches for a smaller program that preserves the property and is easier to understand. Domain agnostic program reducers can reduce programs of multiple languages without extra domain knowledge.
Gharachorlu, Golnaz, Sumner, Nick
openaire   +1 more source

A type reduction theory for systems with replicated components [PDF]

Logical Methods in Computer Science, 2012
The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine numerous entities: the number of processes used in a network, the type of
Tomasz Mazur, Gavin Lowe
doaj   +1 more source