Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Robot Learning [[electronic resource] ] : 8th European Workhop on Learning Robots, EWLR-8 Lausanne, Switzerland, September 18, 1999 Proceedings / / edited by Jeremy Wyatt, John Demiris
| Advances in Robot Learning [[electronic resource] ] : 8th European Workhop on Learning Robots, EWLR-8 Lausanne, Switzerland, September 18, 1999 Proceedings / / edited by Jeremy Wyatt, John Demiris |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 172 p.) |
| Disciplina | 629.8/9263 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Robotics Automation Computer simulation Control engineering Mechatronics Artificial Intelligence Robotics and Automation Simulation and Modeling Control, Robotics, Mechatronics |
| ISBN | 3-540-40044-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Map Building through Self-Organisation for Robot Navigation -- Learning a Navigation Task in Changing Environments by Multi-task Reinforcement Learning -- Toward Seamless Transfer from Simulated to Real Worlds: A Dynamically—Rearranging Neural Network Approach -- How Does a Robot Find Redundancy by Itself? -- Learning Robot Control by Relational Concept Induction with Iteratively Collected Examples -- Reinforcement Learning in Situated Agents: Theoretical Problems and Practical Solutions -- A Planning Map for Mobile Robots: Speed Control and Paths Finding in a Changing Environment -- Probabilistic and Count Methods in Map Building for Autonomous Mobile Robots -- Biologically-Inspired Visual Landmark Learning for Mobile Robots. |
| Record Nr. | UNISA-996465844703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Robot Learning : 8th European Workhop on Learning Robots, EWLR-8 Lausanne, Switzerland, September 18, 1999 Proceedings / / edited by Jeremy Wyatt, John Demiris
| Advances in Robot Learning : 8th European Workhop on Learning Robots, EWLR-8 Lausanne, Switzerland, September 18, 1999 Proceedings / / edited by Jeremy Wyatt, John Demiris |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (VIII, 172 p.) |
| Disciplina | 629.8/9263 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Robotics Automation Computer simulation Automatic control Mechatronics Artificial Intelligence Robotics and Automation Simulation and Modeling Control, Robotics, Mechatronics |
| ISBN | 3-540-40044-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Map Building through Self-Organisation for Robot Navigation -- Learning a Navigation Task in Changing Environments by Multi-task Reinforcement Learning -- Toward Seamless Transfer from Simulated to Real Worlds: A Dynamically—Rearranging Neural Network Approach -- How Does a Robot Find Redundancy by Itself? -- Learning Robot Control by Relational Concept Induction with Iteratively Collected Examples -- Reinforcement Learning in Situated Agents: Theoretical Problems and Practical Solutions -- A Planning Map for Mobile Robots: Speed Control and Paths Finding in a Changing Environment -- Probabilistic and Count Methods in Map Building for Autonomous Mobile Robots -- Biologically-Inspired Visual Landmark Learning for Mobile Robots. |
| Record Nr. | UNINA-9910143631303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence in Medicine [[electronic resource] ] : 6th Conference in Artificial Intelligence in Medicine, Europe, AIME '97, Grenoble, France, March 23-26, 1997, Proceedings / / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt
| Artificial Intelligence in Medicine [[electronic resource] ] : 6th Conference in Artificial Intelligence in Medicine, Europe, AIME '97, Grenoble, France, March 23-26, 1997, Proceedings / / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 534 p.) |
| Disciplina | 610/.285/63 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Medicine
Artificial intelligence Health informatics Biomedicine, general Artificial Intelligence Health Informatics |
| ISBN | 3-540-68448-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robots as surgical assistants: Where we are, wither we are tending, and how to get there -- Intelligent image management in an integrated telemedicine services network -- AI technologies: Conditions for further impact -- Protocols for medical procedures and therapies: A provisional description of the PROforma language and tools -- Supporting tools for guideline development and dissemination -- A task-specific ontology for the application and critiquing of time-oriented clinical guidelines -- User-adapted multimedia explanations in a clinical guidelines consultation system -- Algorithm and care pathway: Clinical guidelines and healthcare processes -- Detecting very early stages of dementia from normal aging with Machine Learning methods -- Acquiring and validating background knowledge for machine learning using function decomposition -- Automated revision of expert rules for treating acute abdominal pain in children -- Evaluation of automatic and manual knowledge acquisition for cerebrospinal fluid (CSF) diagnosis -- Knowledge acquisition by the domain expert using the tool HEMATOOL -- Application of inductive logic programming for learning ECG waveforms -- Knowledge discovery from a breast cancer database -- An adaptive two-tier menu approach to support on-line entry of diagnoses -- Machine learning applied to diagnosis of sport injuries -- A theoretical framework for decision trees in uncertain domains: Application to medical data sets -- Developing a decision-theoretic network for a congenital heart disease -- A theory of medical diagnosis as hypothesis refinement -- A new approach to feature selection -- A heuristic approach to the multiple diagnoses problem -- Intelligent assistance for coronary heart disease diagnosis: A comparison study -- Diagnosis and monitoring of ulnar nerve lesions -- Hypothesist: A development environment for intelligent diagnostic systems -- The clinical spectrum of decision-support in oncology with a case report of a real world system -- A Case-Based Reasoning method for computer-assisted diagnosis in histopathology -- The validation of an expert system for diagnosis of acute myocardial infarction -- A causal-functional model applied to EMG diagnosis -- Learning Bayesian Networks by Genetic Algorithms: A case study in the prediction of survival in malignant skin melanoma -- A neuro-fuzzy-classifier for a knowledge-based glaucoma monitor -- A method for diagnosing in large medical expert systems based on causal probabilistic networks -- Dynamic decision making in stochastic partially observable medical domains: Ischemic heart disease example -- Self-learning fuzzy logic control in medicine -- Planning and scheduling patient tests in hospital laboratories -- Temporal Abstractions for diabetic patients management -- Temporal scenario recognition for intelligent patient monitoring -- Medical planning environment -- Strengthening argumentation in medical explanations by text plan revision -- An ontological analysis of surgical deeds -- Building medical dictionaries for patient encoding systems: A methodology -- A Semantics-based communication system for dysphasic subjects -- Multilingual decision-support for the diagnosis of acute abdominal pain: An European Concerted Action (COPERNICUS 555) -- Medical Concept systems, lexicons and Natural Language Generation -- Distributed plan construction and execution for medical image interpretation -- Improved identification of the human shoulder kinematics with muscle biological filters -- A society of goal-oriented agents for the analysis of living cells -- Methodology for the design of digital brain atlases -- Rule-based labeling of CT head image -- Characterisation of tumorous tissue in rat brain by in vitro magnetic resonance spectroscopy and Artificial Neural Networks -- An application of Machine Learning in the diagnosis of ischaemic heart disease -- Meta-level learning in a hybrid knowledge-based architecture -- A framework for building cooperating agents -- Adding knowledge to information retrieval systems in the World Wide Web -- Learning from data through the integration of qualitative models and fuzzy systems -- Case-based reasoning and statistics for discovering and forecasting of epidemics -- Knowledge refinement of an expert system using a symbolic-connectionist approach -- Integrated decision support: The DIADOQ computer-based patient record. |
| Record Nr. | UNISA-996465985803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Artificial Intelligence in Medicine [[electronic resource] ] : 6th Conference in Artificial Intelligence in Medicine, Europe, AIME '97, Grenoble, France, March 23-26, 1997, Proceedings / / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt
| Artificial Intelligence in Medicine [[electronic resource] ] : 6th Conference in Artificial Intelligence in Medicine, Europe, AIME '97, Grenoble, France, March 23-26, 1997, Proceedings / / edited by Elpida Keravnou, Catherine Garbay, Robert Baud, Jeremy Wyatt |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XIV, 534 p.) |
| Disciplina | 610/.285/63 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Medicine
Artificial intelligence Medical informatics Biomedicine, general Artificial Intelligence Health Informatics |
| ISBN | 3-540-68448-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robots as surgical assistants: Where we are, wither we are tending, and how to get there -- Intelligent image management in an integrated telemedicine services network -- AI technologies: Conditions for further impact -- Protocols for medical procedures and therapies: A provisional description of the PROforma language and tools -- Supporting tools for guideline development and dissemination -- A task-specific ontology for the application and critiquing of time-oriented clinical guidelines -- User-adapted multimedia explanations in a clinical guidelines consultation system -- Algorithm and care pathway: Clinical guidelines and healthcare processes -- Detecting very early stages of dementia from normal aging with Machine Learning methods -- Acquiring and validating background knowledge for machine learning using function decomposition -- Automated revision of expert rules for treating acute abdominal pain in children -- Evaluation of automatic and manual knowledge acquisition for cerebrospinal fluid (CSF) diagnosis -- Knowledge acquisition by the domain expert using the tool HEMATOOL -- Application of inductive logic programming for learning ECG waveforms -- Knowledge discovery from a breast cancer database -- An adaptive two-tier menu approach to support on-line entry of diagnoses -- Machine learning applied to diagnosis of sport injuries -- A theoretical framework for decision trees in uncertain domains: Application to medical data sets -- Developing a decision-theoretic network for a congenital heart disease -- A theory of medical diagnosis as hypothesis refinement -- A new approach to feature selection -- A heuristic approach to the multiple diagnoses problem -- Intelligent assistance for coronary heart disease diagnosis: A comparison study -- Diagnosis and monitoring of ulnar nerve lesions -- Hypothesist: A development environment for intelligent diagnostic systems -- The clinical spectrum of decision-support in oncology with a case report of a real world system -- A Case-Based Reasoning method for computer-assisted diagnosis in histopathology -- The validation of an expert system for diagnosis of acute myocardial infarction -- A causal-functional model applied to EMG diagnosis -- Learning Bayesian Networks by Genetic Algorithms: A case study in the prediction of survival in malignant skin melanoma -- A neuro-fuzzy-classifier for a knowledge-based glaucoma monitor -- A method for diagnosing in large medical expert systems based on causal probabilistic networks -- Dynamic decision making in stochastic partially observable medical domains: Ischemic heart disease example -- Self-learning fuzzy logic control in medicine -- Planning and scheduling patient tests in hospital laboratories -- Temporal Abstractions for diabetic patients management -- Temporal scenario recognition for intelligent patient monitoring -- Medical planning environment -- Strengthening argumentation in medical explanations by text plan revision -- An ontological analysis of surgical deeds -- Building medical dictionaries for patient encoding systems: A methodology -- A Semantics-based communication system for dysphasic subjects -- Multilingual decision-support for the diagnosis of acute abdominal pain: An European Concerted Action (COPERNICUS 555) -- Medical Concept systems, lexicons and Natural Language Generation -- Distributed plan construction and execution for medical image interpretation -- Improved identification of the human shoulder kinematics with muscle biological filters -- A society of goal-oriented agents for the analysis of living cells -- Methodology for the design of digital brain atlases -- Rule-based labeling of CT head image -- Characterisation of tumorous tissue in rat brain by in vitro magnetic resonance spectroscopy and Artificial Neural Networks -- An application of Machine Learning in the diagnosis of ischaemic heart disease -- Meta-level learning in a hybrid knowledge-based architecture -- A framework for building cooperating agents -- Adding knowledge to information retrieval systems in the World Wide Web -- Learning from data through the integration of qualitative models and fuzzy systems -- Case-based reasoning and statistics for discovering and forecasting of epidemics -- Knowledge refinement of an expert system using a symbolic-connectionist approach -- Integrated decision support: The DIADOQ computer-based patient record. |
| Record Nr. | UNINA-9910768175903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence in Medicine [[electronic resource] ] : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, Pavia, Italy, June 25 - 28, 1995. Proceedings / / edited by Pedro Barahona, Mario Stefanelli, Jeremy Wyatt
| Artificial Intelligence in Medicine [[electronic resource] ] : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, Pavia, Italy, June 25 - 28, 1995. Proceedings / / edited by Pedro Barahona, Mario Stefanelli, Jeremy Wyatt |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XI, 454 p.) |
| Disciplina | 610 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Medicine
Artificial intelligence Application software Optical data processing Bioinformatics Computational biology Biomedicine, general Artificial Intelligence Information Systems Applications (incl. Internet) Image Processing and Computer Vision Computer Appl. in Life Sciences |
| ISBN | 3-540-49407-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A component-based architecture for automation of protocol-directed therapy -- Coordinating taxonomies: Key to re-usable concept representations -- Generating personalised patient information using the medical record -- Analysis of medical jargon: The RECIT system -- Medical knowledge representation for medical report analysis -- Modelling medical concepts as time-objects -- Modeling medical reasoning with the Event Calculus: an application to the management of mechanical ventilation -- A general framework for building patient monitoring systems -- Semi-qualitative models and simulation for biomedical applications -- Generating explanations of pathophysiological system behaviors from qualitative simulation of compartmental models -- An information-based bayesian approach to history taking -- Medical decision making using Ignorant Influence Diagrams -- Dynamic propagation in causal probabilistic networks with instantiated variables -- Alerts as starting point for hospital infection surveillance and control -- Cooperative software agents for patient management -- High level control strategies for diabetes therapy -- Therapy planning using qualitative trend descriptions -- Adaptation and abstraction in a case-based antibiotics therapy adviser -- Field evaluations of a knowledge-based system for peripheral blood interpretation -- Functional evaluation of SETH: An expert system in clinical toxicology -- Evaluating a neural network decision-support tool for the diagnosis of breast cancer -- Knowledge-based systems for lymph node pathology: A comparison of two approaches -- Mapping laboratory medicine onto the select and test model to facilitate knowledge-based report generation in laboratory medicine -- Machine learning techniques applied to the diagnosis of acute abdominal pain -- Reflections on building medical decision support systems and corresponding implementation in diagnostics shell D3 -- Decision models for cost-effectiveness analysis: a means for knowledge sharing and quality control in health care multidisciplinary tasks -- Model-based application: The Galen structured clinical user interface -- A knowledge-based modelling of hospital information systems components -- Use of a conceptual semi-automatic ICD-9 encoding system in an hospital environment -- Quality assurance and increased efficiency in medical projects with neural networks by using a structured development method for feedforward neural networks (SENN) -- A prototype neural network decision-support tool for the early diagnosis of acute myocardial infarction -- Integration of neural networks and rule based systems in the interpretation of liver biopsy images -- A cooperative and adaptive approach to medical image segmentation -- COBRA: Integration of knowledge-bases with case-databases in the domain of congenital malformation -- Case-based medical multi-expertise: an example in psychiatry -- TIME-NESIS: A data model in managing time granularity of natural-language clinical information -- Induction of expert system rules from databases based on rough set theory and resampling methods -- Sequential knowledge acquisition: Combining models and cases -- Medical fuzzy expert systems and reasoning about beliefs -- Diagnosis of human acid-base balance states via combined pattern recognition for Markov chains -- Intelligence formation problems in children at an early age applying new computer technologies under conditions of rehabilitation center -- Telecardiology -- Modelling a sharable medical concept system: Ontological foundation in GALEN -- A graph-based approach to the structural analysis of proliferative breast lesions. -- A workstation for clinical decision support in a local area network for cardiology -- Knowledge-based education tool to improve quality in diabetes care -- NEPHARM: A pharmacokinetic database for adjusting drug dosage to impaired renal function -- A hybrid architecture for knowledge-based systems -- Representing medical context using rule-based object-oriented programming techniques -- Integration of Neural Networks and knowledge-based systems in medicine -- Generated critic in the knowledge based neurology trainer -- An approach to analysis of qualitative data with insufficient number of quantization levels -- Inductively learned rule for breast cancer domain with improved interobserver reproducibility -- Development and evaluation of a knowledge-based system to support ventilator therapy management -- A neural support to the prognostic evaluation of Cardiac Surgery -- DECISion-support system for radiological diagnostic -- A preliminary investigation into the analysis of electromyographic activity using a system of multiple neural networks -- Knowledge-based system to predict the effect of pregnancy on progression of diabetic retinopathy -- A software to evaluate multislices radiotherapic treatment planning -- TKR-tool: An expert system for Total Knee Replacement management. |
| Record Nr. | UNISA-996466139503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Pluralisms in Truth and Logic / / edited by Jeremy Wyatt, Nikolaj J. L. L. Pedersen, Nathan Kellen
| Pluralisms in Truth and Logic / / edited by Jeremy Wyatt, Nikolaj J. L. L. Pedersen, Nathan Kellen |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2018 |
| Descrizione fisica | 1 online resource (XV, 479 p. 16 illus.) |
| Disciplina | 160 |
| Collana | Palgrave Innovations in Philosophy |
| Soggetto topico |
Logic
Knowledge, Theory of Epistemology |
| ISBN | 3-319-98346-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Truth -- 1: Introduction, Nikolaj J. L. L. Pedersen, Jeremy Wyatt & Nathan Kellen -- 2: Truth: One or Many?, Dorit Bar-On & Keith Simmons -- 3: Truth Pluralism, Quasi-realism and the Problem of Double-Counting, Michael P. Lynch -- 4: The Metaphysics of Domains, Douglas Edwards -- 5: Strong Alethic Pluralism, Seahwa Kim & Nikolaj J. L. L. Pedersen -- 6: Methodological Pluralism about Truth, Nathan Kellen -- 7: Normative Alethic Pluralism, Filippo Ferrari -- 8: Truth in English and elsewhere: an empirically-informed functionalism -- Jeremy Wyatt -- Part II: Logic -- 9: Core Logic, Neil Tennant -- 10: Connective Meanings in Beall and Restall’s Logical Pluralism, Teresa Kouri Kissel -- 11: Generalised Tarski’s Thesis Hits Substructure, Elia Zardini -- 12: Logical Particularism,Gillman Payette & Nicole Wyatt -- 13: ‘Logical Nihilism, Aaron Cotnoir -- 14: Varieties of Logical Consequence by their Resistance to Logical Nihilism, Gillian Russell -- Part III: Connections -- 15: Pluralism about Pluralisms, Roy T. Cook -- 16: A Plea for Immodesty: Alethic Pluralism, Logical Pluralism, and Mixed Inferences, Chase Wrenn -- 17: Logic for Alethic, Logical, and Ontological Pluralists, Andy D. Yu -- 18: Pluralisms: Logic, Truth and Domain-Specificity, Rosanna Keefe -- 19: Alethic and Logical Pluralism, Kevin Scharp. |
| Record Nr. | UNINA-9910303431603321 |
| Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||