Similar Search Results

Formalized probability theory and applications using theorem proving

Hasan, Osman; Tahar, Sofiène - 2015

Probabilistic analysis -- Formal verification methods -- Probabilistic analysis using theorem proving -- Measure theory … and Lebesgue integration theories -- Probability theory -- Discrete-time Markov chains in HOL -- Classified discrete … min-entropy and belief min-entropy -- Applications of formalized information theory -- Reliability theory -- Scheduling …

Persistent link: https://www.econbiz.de/10011728219

Text mining techniques for healthcare provider quality determination : methods for rank comparisons

Cerrito, Patricia B. - 2010

1. Introduction to ranking models -- 2. Data visualization and data summary -- 3. Statistical methods -- 4. Predictive modeling versus regression -- 5. The Charleston Comorbidity Index -- 6. The all patient refined diagnosis related group -- 7. Risk adjustment based upon resource utilization --...

Persistent link: https://www.econbiz.de/10011726645

Adaptable and adaptive hypermedia systems

Chen, Sherry Y. (contributor); … - 2005

Hypermedia systems may be one of the most significant contributions to the Internet in recent years. This powerful new technology has revolutionized the delivery of e-content through the Internet. However, as the needs of users have changed, the hypermedia systems themselves have also changed....

Persistent link: https://www.econbiz.de/10011725746

Adapting information and communication technologies for effective education

Tomei, Lawrence A. (contributor) - 2008

"This book addresses ICT assessment in universities, student satisfaction in management information system programs, factors that impact the successful implementation of a laptop program, student learning and electronic portfolios, and strategic planning for e-learning. It provides innovative...

Persistent link: https://www.econbiz.de/10011725747

Adaptive evolutionary information systems

Patel, Nandish V. - 2003

Adaptive and evolutionary information systems enable both developers and users to change systems functionality. Such systems are required because of the changing nature of users' requirements. This is a critical area of research and practice for businesses that have to ensure that their...

Persistent link: https://www.econbiz.de/10011725748

Advanced data mining technologies in bioinformatics

Hsu, Hui-Huang (contributor) - 2006

The technologies in data mining have been applied to bioinformatics research in the past few years with success, but more research in this field is necessary. While tremendous progress has been made over the years, many of the fundamental challenges in bioinformatics are still open. Data mining...

Persistent link: https://www.econbiz.de/10011725752

Advances in computer-supported learning

Brasileiro, Francisco Vilar (contributor); … - 2007

"This book clarifies the new technologies, applications, and research in computer-supported learning. It helps students, teachers, and researchers gain a larger understanding of this field and the trends that are driving computer-supported learning forward"--Provided by publisher.

Persistent link: https://www.econbiz.de/10011725782

Advances in security and payment methods for mobile commerce

Kou, Weidong (contributor); Lee, Chung-Wei (contributor) - 2005

covers research and development results of lasting significance in the theory, design, implementation, analysis, and …

Persistent link: https://www.econbiz.de/10011725793

An imitation-based approach to modeling homogenous agents societies

Trajkovski, Goran - 2007

As interest in computer, cognitive, and social sciences grow, the need for alternative approaches to models in related-disciplines thrives. An Imitation-Based Approach to Modeling Homogeneous Agents Societies offers a framework for modeling societies of autonomous agents that is heavily based on...

Persistent link: https://www.econbiz.de/10011725810

Application of agents and intelligent information technologies

Sugumaran, Vijayan (contributor) - 2007

structure using artifical neural networks and information theory / Saad Osman Abdalla Subair, Safaai Deris …

Persistent link: https://www.econbiz.de/10011725811

1
2
3
4
5
6
7
8
9
10
Next
Last