Results 101 to 110 of about 139,845,986 (286)
Replaceable blade cartridge for a centrifugal type food slicer
The present invention discloses a replaceable blade cartridge and a compatible assembly for holding the cartridge wherein an old blade cartridge is slidably removed from the holding assembly and a new blade is slidably inserted into the holding assembly.
Cogan, Kevin C. +9 more
core
Deforestation of Functional Programs through Type Inference [PDF]
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestation method which is based on a single, local transformation rule. In return,
Chitil, Olaf
core
Aspect−Oriented Programming with Type Classes [PDF]
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can model an AOP style of programming via a simple syntax-directed transformation ...
Sulzmann, Martin +5 more
core +1 more source
Limited vs. Extended Resection of Stanford Type A Acute Aortic Dissections
Background and Objectives: This is a propensity-matched, single-center study of limited versus extended resection for type A acute aortic dissection (AAAD). Materials and Methods: This study collected retrospective data for 440 patients with acute type A
Suvitesh Luthra +6 more
doaj +1 more source
ABSTRACT Background Patients with chronic kidney disease undergoing hemodialysis commonly experience reduced physical function, fatigue, poor sleep quality, and impaired health‐related quality of life. Intradialytic exercise has been proposed as a non‐pharmacological strategy to improve these outcomes.
Klebson da Silva Almeida +6 more
wiley +1 more source
Emotion management in mathematics test
The main purpose of this study is identifying and comparing profiles of high-performing students group and lowperforming students group in terms of type of emotions reported in test context and frequency of using emotion management strategies mobilized ...
S. HADJI, H. MAYMOUN
doaj +1 more source
ABSTRACT Introduction Hyperlipidemia is a major risk factor for atherosclerotic cardiovascular disease (ASCVD). Although statins are the cornerstone of lipid‐lowering therapy, their use may be limited in some patients by adverse effects. This study evaluated the possible impact of non‐drug treatment using double‐filtration plasmapheresis (DFPP) on CD14+
Yun Cheng +3 more
wiley +1 more source
itives j A B j !A Exponentials We now reconsider the quanti ers, 8x: A and 9x: A. In the rst-order linear logic we developed, the quanti ers range over a single (unspeci ed) domain.
Linear Type Theory, J A (a J A
core
On Trapezoid Inequality Via a Grüss Type Result and Applications [PDF]
In this paper, we point out a Grüss type inequality and apply it for special means (logarithmic mean, identric mean, etc...
McAndrew, Alasdair, Dragomir, Sever S
core +3 more sources
Type inference with partial types
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources

