الصفحة 17
الصفحة 17
The agent modeling language - AML : A Comprehensive approach to modeling multi-agent systems
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems have the potential to improve the practice in software engineering, and even to extend the range of applications that can feasibly be tackled. However, one important aspect of multi-agent systems that still lacks complete and proper definition, general acceptance and practical application, is that of modeling, despite the substantial efforts of an active research community. The focus of this book is thus on an approach to resolving this insufficiency by providing a comprehensive modeling language designed as an extension to UML 2.0, focused specifically on the modeling of multi-agent systems and applications. This language is AML—the Agent Modeling Language—the design of which is informed by previous work in this area while explicitly addressing known limitations relating to managing complexity and improving coverage and comprehension.
The ADME encyclopedia : A comprehensive guide on biopharmacy and pharmacokinetics
Covers pharmacokinetic phenomena (Absorption, Distribution, Metabolism and Excretion processes) and their relationship with the design of pharmaceutical carriers and the success of drug therapies. It covers both basic and advanced knowledge, serving as introductory material for students of biomedical careers and also as reference, updated material for graduates and professionals working in any field related to pharmaceutical sciences (medicine, pharmaceutical technology, materials science, medicinal chemistry). Structured as alphabetically ordered entries with cross-references, the Encyclopedia not only provides basic knowledge on ADME processes, but also detailed entries on some advanced subjects such as drug transporters, last generation pharmaceutical carriers, pharmacogenomics, personalized medicine, bioequivalence studies, biowaivers, biopharmaceuticals, gene delivery, pharmacometrics, pharmacokinetic drug interactions or in silico and in vitro assessment of ADME properties
The Acquisition of Verbs and their Grammar : The Effect of Particular Languages
Investigates the linguistic development of children with regard to their knowledge of the verb and its grammar.
The Achilles Tendon : Treatment and rehabilitation
Takes a practical approach to the role of the Achilles in sports training, with a view to developing patient management and rehabilitation practices and that enable a quicker return to play. The inclusion of handy case studies help to tie concepts together for orthopedic surgeons, podiatrists, physiatrists, athletic trainers and sports medicine physicians alike. Distilling diverse opinions on treatment and the wealth of information available on this subject into a succinct and straightforward guide, The Achilles Tendon is an indispensable reference for those treating the pathologies related to Achilles tendon disorders.
Textbook of prosthodontics
Encompasses all the different subspecialities of prosthodontics like Complete Dentures (CD), Removable Partial Dentures (RPD), Fixed Partial Dentures (FPD), Oral Implantology (OI) and Maxillofacial Prosthetics (MFP) with an aim to demystify the subject. The book provides a strong basic foundation along with contemporary clinical and laboratory applications.
Textbook of operative dentistry
Includes important topics like smile designing in operative dentistry, recent advances in glass ionomers, composites, and ceramics. Incorporates more than 1,500 clinical photographs and line diagrams for easy understanding and grasping of the subject. Includes viva questions at the end of each chapter for students preparing for clinical examinations. Includes questions asked in various universities for self-evaluation. Standout boxes, flowcharts, tables for making operative dentistry interesting and easy. Includes synopsis of topics related to restorative dentistry for quick recall of the values and their significance.
Textbook of forensic pharmacy : Pharmaceutical jurisprudence
Offers a comprehensive overview of forensic pharmacy theory and application, covering definitions, objectives, and offenses under various Acts under the Indian legislation. It covers, in 27 chapters, All the major and latest syllabi of PharmD, MPharm, BPharm and DPharm courses of the Indian Universities, including all the topics additionally prescribed by Pharmacy Council of India, providing a systematic structure for comprehensive coverage of the subject.
Textbook of endodontics
Provides complete coverage of all important topics of the subject. The text is enriched with clinical photographs, radiographic images, line diagrams, flowcharts, text boxes and tables for better understanding of core concepts. The book contains 39 chapters giving the latest clinical information.
Textbook of conservative and restorative dentistry
Presents an updated version of the current concepts of conservative and restorative dentistry. Recent concepts have been highlighted, especially the chapters on dentin hybridization (bonding), composites, lasers, diagnosis and diagnostic aids, and minimal invasive dentistry, keeping in mind their clinical significance in day-to-day practice. Written in a lucid language, the text is replete with self-explanatory photographs and diagrams, well reinforced with clinical photographs for easy understanding of the subject. The keynotes are presented in box format for quick access and easy understanding.
Textbook of Anatomy-Head, Neck and Brain, Vol. III
Thoroughly revised and updated in accordance with the competency-based undergraduate medical education curriculum as per guidelines of National Medical Commission (NMC). Following recent trends in medical education, this book has been profusely illustrated and designed in simple and easy-to-understand language for better retention of learnt concepts. Considering significant developments and advances in the subject, the book provides practical application of anatomical facts through its unique feature – Clinical Correlation boxes in chapters.
Textbook and color atlas of traumatic injuries to the teeth
Encompasses the full scope of acute dental trauma, including all aspects of interdisciplinary treatment. This new edition embraces the significant advances made in the subject of dental traumatology since the publication of the previous edition in 2007. Thoroughly updated throughout, it includes eight new chapters, including one chapter focused on the development of bioengineered teeth and another on clinical regenerative endodontics.
Text, Speech and Dialogue ; 10th International Conference, TSD 2007, Pilsen, Czech Republic, September 3-7, 2007, Proceedings
Constitutes the refereed proceedings of the 10th International Conference on Text, Speech and Dialogue, TSD 2007, held in Pilsen, Czech Republic, September 3-7, 2007. The 80 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 198 submissions. The papers present a wealth of state-of-the-art research results in the field of natural language processing with an emphasis on text, speech, and spoken dialogue ranging from theoretical and methodological issues to applications in various fields and with special focus on corpora, texts and tra
Tests and Proofs ; 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Testing Software and Systems ; 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.
Testing of Communicating Systems ; Vol. 3964 ; 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). The proceedings contain 23 papers that were selected from 48 submissionsin a carefully designed and transparent paper selection process. TestCom 2006consisted of 8 sessions, whose scope covered:–Testing theory and foundations–Testing non-deterministic and probabilistic systems–Testing the Internet and industrial systems–TTCN-3–Compositional and distributed testing–FSM-based testing and diagnosis–Testing timed systems–Testing for security
Testing of Communicating Systems ; Vol. 3502 ; 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2005, held in Montreal, Canada in May/June 2005. The 24 revised full papers presented together with the extended abstract of a keynote talk were carefully reviewed and selected from initially 62 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.
Territorial Cohesion
"Territorial cohesion" strives for a more balanced spatial development and seeks to improve integration throughout the EU. The scientific articles in this volume examine the interpretations of this term, the challenges of European spatial development policy, and the problems and concepts involved in achieving territorial cohesion.
Term Rewriting and Applications ; Vol. 4098 ; 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, which was held on August 12–14, 2006in Seattle, Washington, as part of of the 4th Federated Logic Conference (FLoC).RTA is the major forum for the presentation of research on all aspects of rewrit-ing. A total of 23 regular papers and 4 system descriptions were selected for pre-sentation from 52 submissions.
Terahertz Frequency Detection and Identification of Materials and Objects
The technology of terahertz detection has largely been developed around expensive and bulky femtosecond laser systems but, as described in this book, advances in semiconductor superlattice technology are leading to compact “electronic” sources such as the quantum cascade laser, two-terminal “Gunn” type oscillators and even a THz frequency amplifier. These advances towards electronic (as opposed to optical) THz systems mean that the technology will become portable and much less costly.Terahertz remote sensing is also discussed with the possibility of detection over distances of up to 30m using existing technology or even through the use THz waves .
Tensile Fracturing in Rocks : Tectonofractographic and Electromagnetic Radiation Methods
The book’s subject matter is divided over six chapters, which are briefly described below. Chapter 1 summarizes current key concepts in fracture physics. It starts with a pr- entation of the elastic theory of fracture, and concentrates on the results of linear el- tic fracture mechanics. The chapter touches also upon other fracture properties, e.g., crack nucleation, dynamic fracturing and slow fracturing processes. Nucleation is - dressed by statistical mechanics methods incorporating modern approaches of th- mal and fiber bundle processes. The analyses of dynamic fracturing and slow fract- ing focus on the differences, as compared to the linear elastic approach. The cont- versy in interpreting experimental dynamic results is highlighted, as are the surface morphology patterns that emerge in fracturing and the non-Griffith crack extension criterion in very slow fracturing processes.
