نتایج جستجو برای: calc

تعداد نتایج: 1117  

Journal: :Nucleic acids research 1992
G J Cote D T Stolow S Peleg S M Berget R F Gagel

Transcripts derived from the 6 exon CALC I gene are differentially processed in a tissue-specific fashion to include or exclude a calcitonin-specific exon 4. All cell types which transcribe a second calcitonin/CGRP gene, CALC II, exclude exon 4. Substitution of the first 30 nucleotides of CALC I exon 4 with analogous CALC II sequence was sufficient to prevent recognition of exon 4 in in vitro o...

2015
Rebecca H. Liu Jennifer D. Irwin Don Morrow

The purpose of this paper was to conduct a scoping review on Co-Active (Life) Coaching (CALC) literature related to health behaviour change. The scoping methodological framework developed by Arksey and O’Malley (2005) informed the retrieval of appropriate articles. Six questions provided an indepth exploration of CALC in the health coaching literature. This paper provides a broad overview of th...

Journal: :Electronic Colloquium on Computational Complexity (ECCC) 2016
Olaf Beyersdorff Leroy Chew Renate A. Schmidt Martin Suda

We examine existing resolution systems for quantified Boolean formulas (QBF) and answer the question which of these calculi can be lifted to the more powerful Dependency QBFs (DQBF). An interesting picture emerges: While for QBF we have the strict chain of proof systems Q-Res < IR-calc < IRM-calc, the situation is quite different in DQBF. The obvious adaptations of Q-Res and likewise universal ...

Journal: :Nursing times 2004
Janet Jarvis Andrew Burden Mary L Burden

AIMS This trial compares to methods used to find the insulin dose when starting insulin in people with type 2 diabetes in whom maximal tolerated oral hypoglycaemic agents have failed to control glycaemia. One method of initiating insulin (based on height, weight, and fasting blood plasma glucose and insulin resistance) was compared with a conventional method of initiating 10 units of isophane i...

2013
A. C. Hennum

Long term defence planning is a complex undertaking involving many separate analytical steps and with non-trivial transitions from one step to the next. Many nations struggle with the challenge of establishing analytical rigour, structure and traceability in their defence planning processes. In this paper we will present a tool that has been developed not only to support defence planning, but w...

2011
Glaucia AK Pivi Rosimeire V da Silva Yara Juliano Neil F Novo Ivan H Okamoto César Q Brant Paulo HF Bertolucci

BACKGROUND Weight loss in patients with Alzheimer's disease (AD) is a common clinical manifestation that may have clinical significance. OBJECTIVES To evaluate if there is a difference between nutrition education and oral nutritional supplementation on nutritional status in patients with AD. METHODS A randomized, prospective 6-month study which enrolled 90 subjects with probable AD aged 65 ...

Journal: :CoRR 2016
Mike Stay Lucius Gregory Meredith

We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus. Given a 2-monad Calc : Cat → Cat for the free calculus on a category of terms and rewrites and a 2-monad BoolAlg for the free Boolean algebra on a category, we get a 2-monad Form = BoolAlg + Calc for the free category of formulae and proofs. We also get the 2-monad BoolA...

2005
Naoyuki Tamura

Calc/Cream is a constraint programming system with a spreadsheet front-end implemented on OpenOffice.org Calc and Java language. Constraint problems are described by users as cell expressions on a spreadsheet, and solutions are searched by the constraint solver and shown as cell values by the system. It is also possible to use Basic macros to customize the system.

Journal: :The Yale Journal of Biology and Medicine 1990
Susan Taylor Mayne

Software Reviews NUTRI-CALC HD. Diet and Exercise Software for PC-compatible computers with a hard disk. Three 51/4-inch disks. Tempe, AZ, Camde Corporation, 1989. $225.00. Nutri-Calc HD is a nutritional analysis/exercise software program composed of two primary modules. The first module, called "Nutri-Calc," allows the user to calculate the nutrient content of recipes, meals, or overall diets....

2014
Emiliana De Santis Nilofar Faruqui James E. Noble Maxim G. Ryadnov

Peptide synthesis: peptides were assembled on an automatic microwave peptide synthesizer, Liberty1 (CEM Corp.), using Fmoc-Gln(Trt)-Wang resin and standard solid phase Fmoc/tBu protocols and HBTU/DIPEA as coupling reagents. Following synthesis completion the peptides were cleaved from the resin by TFA:TIS:H2O – 95:2.5:2.5%. Peptides were purified by semi-preparative RP-HPLC on a JASCO HPLC syst...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید