Listing 1 - 10 of 11 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Choose an application
681.3*D16 --- Logic programming --- 681.3*I26 --- 681.3*I23 <063> --- 681.3*F41 <63> --- Computer programming --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence)--Congressen --- 681.3*I26 Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32} --- Learning: analogies concept learning induction knowledge acquisition language acquisition parameter learning (Artificial intelligence)--See also {681.3*K32} --- Computerwetenschap--?*D16 --- Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23}--Congressen --- Computer science. --- Software engineering. --- Computer programming. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Artificial Intelligence (incl. Robotics). --- Computer Science, general. --- Programming Techniques. --- Mathematical Logic and Formal Languages. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Artificial Intelligence.
Choose an application
Neurosciences --- Mind and body. --- Body and mind --- Body and soul (Philosophy) --- Human body --- Mind --- Mind-body connection --- Mind-body relations --- Mind-cure --- Somatopsychics --- Brain --- Dualism --- Philosophical anthropology --- Holistic medicine --- Mental healing --- Parousia (Philosophy) --- Phrenology --- Psychophysiology --- Self --- Neural sciences --- Neurological sciences --- Neuroscience --- Medical sciences --- Nervous system --- Research. --- Psychological aspects
Choose an application
Physiology of the respiratory system --- Pathological endocrinology --- Psychiatry --- Neuropathology --- Human medicine --- neurologie --- obesitas --- psychiatrie --- geneeskunde --- hersenen --- endocrinologie --- pneumologie
Choose an application
Choose an application
This book constitutes the refereed proceedings of the 11th International Conference on Discovery Science, DS 2008, held in Budapest, Hungary, in October 2008, co-located with the 19th International Conference on Algorithmic Learning Theory, ALT 2008. The 26 revised long papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The papers address all current issues in the area of development and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, as well as their application to scientific knowledge discovery. The papers are organized in topical sections on learning, feature selection, associations, discovery processes, learning and chemistry, clustering, structured data, and text analysis.
Science --- Discoveries in science --- Research --- Philosophy --- Automation --- Data processing --- Science research --- Scientific research --- Information services --- Learning and scholarship --- Methodology --- Research teams --- Breakthroughs, Scientific --- Discoveries, Scientific --- Scientific breakthroughs --- Scientific discoveries --- Creative ability in science --- Information Technology --- Artificial Intelligence --- Artificial intelligence. --- Data mining. --- Database management. --- Information storage and retrieva. --- Information systems. --- Social sciences --- Artificial Intelligence. --- Data Mining and Knowledge Discovery. --- Database Management. --- Information Storage and Retrieval. --- Computer Appl. in Administrative Data Processing. --- Computer Appl. in Social and Behavioral Sciences. --- Data processing. --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Information storage and retrieval. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
Choose an application
Sleep Loss and Obesity: Intersecting Epidemics represents a major contribution to the field of sleep medicine. It is a comprehensive review of the neurobiology of sleep, circadian timing and obesity, the deleterious effects of sleep loss and obesity on health. The number of individuals who are obese has reached alarming levels. As a result, the incidence of Type 2 diabetes, cardiovascular disorders, heart disease, and kidney failure have also increased. The surgeon general estimates that the total annual cost of obesity in the US is about 117 billion. This cost is expected to escalate significantly because the number of overweight and obese children is increasing rapidly. Indeed, the new generation is expected to have a shorter life-span then their parents. In addition, sleep loss is emerging as an important contributing factor to obesity. People who sleep less or are sleep deprived tend to eat more, especially carbohydrates, and have a higher body mass index. Increased weight restricts the upper airway, causing obstructive sleep apnea and further sleep loss. In the end there is a vicious cycle of weight gain and sleep loss. In the past few years there has been a tremendous growth in our understanding of brain mechanisms controlling energy metabolism. Interestingly the neurons regulating waking also regulate feeding. There is also a mechanism that regulates the timing of feeding and sleep. In shift-workers this system is likely to be disturbed, and this has an adverse impact on both feeding and sleep. Sleep Loss and Obesity: Intersecting Epidemics is the first title to clearly examine how obesity and sleep loss are interacting epidemics. This fascinating title makes the link between energy metabolism, sleep and circadian timing; identifies poor sleep as a risk-factor for obesity in children and adults and offers treatment strategies for obstructive sleep apnea and obesity. This book will be a vital source of information for all physicians interested in sleep disorders and obesity. It will also be of value to neuroscientists, health system administrators, and policy makers.
Physiology of the respiratory system --- Pathological endocrinology --- Psychiatry --- Neuropathology --- Human medicine --- neurologie --- obesitas --- psychiatrie --- geneeskunde --- hersenen --- endocrinologie --- pneumologie
Choose an application
This book constitutes the refereed proceedings of the 11th International Conference on Discovery Science, DS 2008, held in Budapest, Hungary, in October 2008, co-located with the 19th International Conference on Algorithmic Learning Theory, ALT 2008. The 26 revised long papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The papers address all current issues in the area of development and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, as well as their application to scientific knowledge discovery. The papers are organized in topical sections on learning, feature selection, associations, discovery processes, learning and chemistry, clustering, structured data, and text analysis.
Social sciences (general) --- Office management --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- IR (information retrieval) --- informatica --- sociale wetenschappen --- bedrijfsadministratie --- database management --- KI (kunstmatige intelligentie) --- robots
Listing 1 - 10 of 11 | << page >> |
Sort by
|