HR: A System for Machine Discovery in Finite Algebras

We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory

EEG sleep stages identification based on weighted undirected complex networks

Sleep scoring is important in sleep research because any errors in the scoring of the patient's sleep electroencephalography (EEG) recordings can cause serious problems such as incorrect diagnosis, medication errors, and misinterpretations of patient's EEG recordings. The aim of this research is to develop a new automatic method for EEG sleep stages classification based on a statistical model and weighted brain networks. Methods each EEG segment is partitioned into a number of blocks using a sliding window technique. A set of statistical features are extracted from each block. As a result, a vector of features is obtained to represent each EEG segment. Then, the vector of features is mapped into a weighted undirected network. Different structural and spectral attributes of the networks are extracted and forwarded to a least square support vector machine (LS-SVM) classifier. At the same time the network's attributes are also thoroughly investigated. It is found that the network's characteristics vary with their sleep stages. Each sleep stage is best represented using the key features of their networks. Results In this paper, the proposed method is evaluated using two datasets acquired from different channels of EEG (Pz-Oz and C3-A2) according to the R&K and the AASM without pre-processing the original EEG data. The obtained results by the LS-SVM are compared with those by Naïve, k-nearest and a multi-class-SVM. The proposed method is also compared with other benchmark sleep stages classification methods. The comparison results demonstrate that the proposed method has an advantage in scoring sleep stages based on single channel EEG signals. Conclusions An average accuracy of 96.74% is obtained with the C3-A2 channel according to the AASM standard, and 96% with the Pz-Oz channel based on the R&K standard

GUTS IN THE EDGE OF WEALTH: An inquiry to human creativeness

Creativeness has been a hot topic of human intelligence system underlying innovations, discoveries, and many novelties brought to the enrichment of human civilization. Unfortunately, present cognitive theories relatively separated from speculative philosophical debates only to show the very slowly development, to give a picture about how creativeness works. Here we present some synthesis between neurological reentrance system, infant evolutionary psychology, and modified socio- psychological theories to construct a new view of creativeness apart from main discussion on cognitive science that so far is still much centered on the problem of consciousness. We present a random graphical model to construct what we call ‘space of creativeness’ as a bridge between micro and macro-view of human cognitive system. Furthermore, as a part of our main concern, our space of creativeness will be useful to explore the nature of the interconnectedness between human creativeness and her economic potentiality, along with its phase transitions throughout population.creativeness, wealth, random graph, self-discrepancy theory, evolutionary psychology, reentrant neurology

(In)Consistencies in responses to sodium bicarbonate supplementation: a randomised, repeated measures, counterbalanced and double-blind study

Objectives: Intervention studies do not account for high within-individual variation potentially compromising the magnitude of an effect. Repeat administration of a treatment allows quantification of individual responses and determination of the consistency of responses. We determined the consistency of metabolic and exercise responses following repeated administration of sodium bicarbonate (SB). Design and Methods: 15 physically active males (age 25 ± 4 y; body mass 76.0 ± 7.3 kg; height 1.77 ± 0.05 m) completed six cycling capacity tests at 110% of maximum power output (CCT 110% ) following ingestion of either 0.3 g.kg -1 BM of SB (4 trials) or placebo (PL, 2 trials). Blood pH, bicarbonate, base excess and lactate were determined at baseline, pre-exercise, post-exercise and 5-min post-exercise. Total work done (TWD) was recorded as the exercise outcome. Results: SB supplementation increased blood pH, bicarbonate and base excess prior to every trial (all p ≤0.001); absolute changes in pH, bicarbonate and base excess from baseline to pre-exercise were similar in all SB trials (all p > 0.05). Blood lactate was elevated following exercise in all trials (p ≤ 0.001), and was higher in some, but not all, SB trials compared to PL. TWD was not significantly improved with SB vs. PL in any trial (SB1: +3.6%; SB2 +0.3%; SB3: +2.1%; SB4: +6.7%; all p > 0.05), although magnitude-based inferences suggested a 93% likely improvement in SB4. Individual analysis showed ten participants improved in at least one SB trial above the normal variation of the test although five improved in none. Conclusions: The mechanism for improved exercise with SB was consistently in place prior to exercise, although this only resulted in a likely improvement in one trial. SB does not consistently improve high intensity cycling capacity, with results suggesting that caution should be taken when interpreting the results from single trials as to the efficacy of SB supplementation. Trial Registration: ClinicalTrials.gov NCT0247462