N.T.Kumar
65372642
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.
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."
R Thiago B Sandro R Vinicius P Vanderlei
196139567
Higher Order Logic( HOL) Based Configuration Verification of Smart Watches A Short Communication Novel Suggestion to Develop an Informatics Framework
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
R Thiago B Sandro R Vinicius P Vanderlei
199015508
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
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.
196023499
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)
"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.
R Thiago B Sandro R Vinicius P Vanderlei
196134770
A Simple Suggestion About Using Zeitzeiger "R" Software Jvmr Towards Integration of "R" "JAVA" "SCALA" to Perform Circadian Data Processing.
"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.
R Thiago B Sandro R Vinicius P Vanderlei
53637323
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.
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.
R Thiago B Sandro R Vinicius P Vanderlei
80492906
Importance of Manchester Coding Using Micro Controllers/Related Data Processing Mechanisms An Interesting Insight into Manchester Coding Smart Watch Applications.
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.
R Thiago B Sandro R Vinicius P Vanderlei
206464868
The apolipoprotein E polymorphism and cardiovascular diseases an autopsy study.
BACKGROUND 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. METHODS AND RESULTS 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. CONCLUSION 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.
Cardiovascular pathology the official journal of the Society for Cardiovascular Pathology
Neena Theresa Kumar Knut Liestol Else Marit Loberg Henrik Mikael Reims Sverre Henning Brorson Jan Petter Maehlen
44117003
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
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.
1899666
Apolipoprotein E allelotype is associated with neuropathological findings in Alzheimer's disease
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.
Virchows Archiv
Neena Theresa Kumar Knut Liestol Else Marit Loberg Henrik Mikael Reims Jan Petter Maehlen