Stanse is a free (available under the GPLv2 license) modular framework for finding bugs in C programs using static analysis. Its two main design goals are 1) ability to process large software projects like the Linux kernel and 2) extensibility with new bug-finding techniques with a minimal effort. Currently there are four bug-finding algorithms implemented within Stanse: AutomatonChecker checks...

the purpose of this study was to test lotka’s law of scientific publication productivity in the field of library and information science (lis). the needed data is collected from the iranian journals (1381-1392) and were sorted in microsoft excel 2010. totally, 1994 articles published by 1470 authors. the authors frequencies were calculated based on the number of articles and regression were cal...

introduction:differentiated thyroid carcinoma (dtc) follow-up after thyroidectomy and radioiodine-ablation is performed mainly by thyroglobulin (tg), diagnostic iodine-131 whole body scan (dxwbs) and sonography. some patients with undetectable tg have thyroid-bed uptake after ablation in whom decision making regarding the need for retreatment is still controversial. methods: in this study, we e...

C. elegans has become an ideal model to study genetics of appetite control and energy metabolism because of its robust conservation in molecular mechanisms underlying appetite control and in regulation of the relevant feeding behavior. Satiety behavior in worms in particular shows striking similarities to that in mammals, as a worm becomes quiescent after a big meal, mimicking post-prandial sle...

To look at a piece of C code especially an uncommented one is often not very enlightening. Even small pieces of code with one or two functions will often appear to perform the same array initializations, loops over the data, and basic arithmetic functions, without clearly indicating what the overall purpose of the routine is. This can be frustrating to those using the code as part of a package ...

In the title compound, C(13)H(12)N(2)O(2)S, the dihedral angle between the two aromatic ring planes is 87.52 (12)°. The mol-ecule shows an intra-molecular N-H⋯O hydrogen bond. The crystal structure is stabilized by inter-molecular N-H⋯S and C-H⋯O hydrogen bonding.