Query: N.T.Kumar

title: A Novel Suggestion on Informatics Framework of Smart Devices Involving Hardware,firmware,software Communication Protocol/s Verification in the Context of Iot Based on e Theorem Prover.
abstract: We present in this short communication "E Theorem Prover and Verification of Smart Devices Protocols Based on IoT Environments A Novel Suggestion on Informatics Framework of Smart Devices involving Hardware,Firmware Software Verification."

title: Higher Order Logic( HOL) Based Configuration Verification of Smart Watches A Short Communication Novel Suggestion to Develop an Informatics Framework
abstract: In this short communication we focused on Higher Order Logic(HOL) based configuration and verification of hardware in the java virtual machine environment(JVM) using HOL Isabelle system. Smart Watches are fast becoming excellent information processing devices to monitor health.Hence we wish to communicate our idea in the context of circadian systems and informatics applications

title: An Interesting Insight Into Considering Using Grobner Bases/boolean Rings in the Context of P Space Involving Smart Devices/iot/hpc/hardware/software/firmware Based Heterogeneous Computing Environments Towards Next Generation Smart Applications for ci
abstract: An Interesting insight into Considering Using Grobner Bases/Boolean Rings in the Context of P SPACE involving Smart Devices/IoT/HPC/Hardware/Software/Firmware based Heterogeneous Computing Environments Towards Next Generation Smart Applications for Circadian Rhythms [CR] R&D.

title: Technical Notes On ImageJ/Fiji/ActogramJ/JikesRVM Based Actigraphy Informatics Platform A Simple Suggestion to Perform Actigraphy Analysis Using JikesRVM as the Java Virtual Machine(JVM)
abstract: "Actigraphy is a non invasive method of monitoring human rest/activity cycles. A small actigraph unit,also called an actimetry sensor is worn for a week or more to measure gross motor activity. The unit is usually, in a wrist watch like package, worn on the wrist. The movements the actigraph unit undergoes are continually recorded and some units also measure light exposure. The data can be later read to a computer and analysed offline; in some brands of sensors the data are transmitted and analysed in real time."[1 9].We are interested in focusing on the above mentioned research topic as per the title of this communication.Interested in suggesting an informatics and computational framework in the context of Actigraphy using ImageJ/Actigraphy Plugin by using JikesRVM as the Java Virtual Machine.

title: A Simple Suggestion About Using Zeitzeiger "R" Software Jvmr Towards Integration of "R" "JAVA" "SCALA" to Perform Circadian Data Processing.
abstract: "Zeitzeiger is a package for regularized supervised learning on high dimensional data from an oscillatory system. Zeitzeiger can quantify rhythmic behavior, make accurate predictions, identify major patterns and important features, and detect when the oscillator is perturbed." We obtained inspiration from https:/github.com/hugheylab/zeitzeiger https:/dahl.byu.edu/software/jvmr/ to process circadian data.In this communication,we wish to highlight our intention to experiment with an R package like ZEITZEIGER and jvmr providing a cross platform interface between R,Scala and Java.

title: General Theoretical Aspects of Cell Mechanics from Circadian Oscillator Point of View Based on Higher Order Logic(HOL) A Short Communication to Develop Informatics Framework Involving Bio Chemical Concepts of Cells and Mobile Computing Environments.
abstract: We observe the "internal clock" that man possesses in common with animals,plants and protists has drawn the interest of scientists and researchers from diverse fields of science and technology.Performing R&D in this promising and challenging domain of circadian rhythms is very much useful to those engaged in research in general,industrial and aerospace medicine.It is in this context it was decided to work on topics involving circadian rhythms and formalisms based on Higher Order Logic(HOL) using Dynamic Architecture concepts to further evaluate the theories involved and to come up with certain informatics frameworks. To the best of our knowledge this paper is one of the pioneering topics in the domain of "Circadian Systems" and its informatics.

title: Importance of Manchester Coding Using Micro Controllers/Related Data Processing Mechanisms An Interesting Insight into Manchester Coding Smart Watch Applications.
abstract: Smart Watches are modern devices involving cutting edge technologies in all aspects of working and communicating with the surrounding environments by detecting parameters and also providing a means to transmit the related data for further processing via Computers/Tablets/Smart Phones etc..We wish to highlight the importance of "Manchester Coding" in the context of Smart Watches based on Micro controllers for example SAML21 Series from ATMEL.

title: The apolipoprotein E polymorphism and cardiovascular diseases an autopsy study.
abstract: Numerous studies have addressed the association between the apolipoprotein E polymorphism and cardiovascular disease, but only a few reports are based on findings at autopsy. In the present retrospective study, we have used autopsy findings from a general hospital population to further investigate this issue.  We collected information from 1522 consecutive autopsy reports (886 men, mean age 65.7 years; 636 women, mean age 69.7 years) conducted at Oslo University Hospital, Norway, in the period from 1996 to 2000. Cause of death and signs related to cardiovascular disease including the degree of atherosclerosis in the aorta and the coronary arteries, signs of myocardial infarction, heart weight, and signs of cerebrovascular disease were recorded. The patients were genotyped, and the apolipoprotein E allele frequencies (e2, 8.0% e3, 72.6% and e4, 19.4% were not statistically different from a group of healthy controls. Approximately 35% of the patients died from a cardiovascular disease. Genotypes differed significantly (P<.05) with more e4 carriers (34.3% vs. 29.6% and fewer e2 carriers (11.8% vs. 13.9% among patients who died from cardiovascular disease compared to those who died from other causes. A similar distribution of genotypes was seen in patients recorded with myocardial infarction or cerebrovascular disease. There was an association between the presence of e4 and atherosclerosis in the aorta and coronary arteries, but this did not reach statistical significance. Among patients with signs of coronary heart disease, standardized heart weights were significantly higher in e2 carriers compared to e4 carriers.  The present autopsy study suggests that the risk of developing and dying from cardiovascular disease, including coronary heart disease and cerebrovascular disease, is influenced by the apolipoprotein E polymorphism.

title: Haskell Java JikesRVM/ImageJ Nano Bio Informatics Framework based Cryo Electron Microscopy/TEM/SEM Image Processing in the Context of Haskell Image Processing Libraries HDF5 Image Format A Simple Communication on Applications of Meta circular Research
abstract: Current R&D project was the development of a software platform designed to be an advanced research testbed for the prototyping of Haskell based novel technologies in Cryo EM Methodologies. Focused upon software architecture concepts and frameworks involving Haskell image processing libraries.Cryo EM is an important tool to probe nano bio systems.A number of hi tech firms are implementing BIG DATA analysis using Haskell especially in the domains of Pharma,Bio informatics etc. Hence current research paper is one of the pioneering attempts made by the author to encourage advanced data analysis in the Cryo EM domain to probe important aspects of nano bio applications.

title: Apolipoprotein E allelotype is associated with neuropathological findings in Alzheimer's disease
abstract: In a consecutive hospital based autopsy series, we examined the relationship between apolipoprotein E (apoE) and Alzheimer's disease (AD) and investigated the clinicopathological relationship in AD. The study population included 99 patients (mean age 81 years) with AD related neuropathological findings at death, of whom 83 were diagnosed with AD according to the Consortium to Establish a Registry for Alzheimer's Disease (CERAD) classification, and a control group of patients without neurodegenerative disease (n 1429) The patients were apoE genotyped and the density of b amyloid senile plaques, neuritic plaques and neurofibrillary tangles was estimated in the cortex and hippocampus. The utility of immunohistochemical staining using an antibody directed against apoE4 in paraffin embedded tissue was also evaluated. Among patients with "definite AD" according to CERAD, 65 were e4 carriers, compared to 32 among controls (p 0.001) The risk of e4 carriers to develop AD was higher (odds ratio 4.65, p 0.001) than for non e4 carriers. The amount of b amyloid deposition and neurofibrillary pathology differed significantly (p 0.01) between the genotypes, with increasing densities from e2 carriers to homozygous e4 carriers. The effect of e4 on the presence of clinical symptoms was attenuated and non significant after adjusting for AD related neuropathological findings. There was an association between these findings and the presence of clinical symptoms of AD, with neurofibrillary tangles separating patients with and without symptoms of AD markedly better than b amyloid. In addition, we found a strong relationship between genotype and immunohistochemical apoE4 staining intensity. In conclusion, this Scandinavian autopsy study shows that the apoE polymorphism is associated with the probability of AD and influences the deposition of b amyloid and neurofibrillary pathology. Our findings suggest that the association between apoE and clinical manifestations of AD is mediated mainly through the neuropathological features of AD. Further, we found a relationship between AD related findings and clinical symptoms of AD with neurofibrillary tangles associating most strongly with clinical symptoms. Finally, immunohistochemical staining in brain specimens is useful for determining e4 or non e4 carrier status.