الصفحة 4
الصفحة 4
Computer Analysis of Images and Patterns ; 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings
This volume presents the proceedings of the 11th International Conference on Computer Analysis of Images and Patterns (CAIP 2005). This conference - ries started about 20 years ago in Berlin. Initially, the conference served as a forum for meetings between scientists from Western and Eastern-block co- tries. Nowadays, the conference attracts participants from all over the world. The conference gives equal weight to posters and oral presentations, and the selected presentation mode is based on the most appropriate communication medium. The program follows a single-track format, rather than parallel s- sions.
Computer Algebra in Scientific Computing ; Vol. 4194 ; 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings
This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers not only various expanding applications of computer algebra to scienti?c computing but also the computer algebra systems themselves and the CA algorithms.
Computer Aided Verification; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
The volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Computational Science – ICCS 2007; 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I
This book contiants sections on efficient data management, parallel monte carlo algorithms, simulation of multiphysics multiscale systems, dynamic data driven application systems, computer graphics and geometric modeling, computer algebra systems, computational chemistry, computational approaches and techniques in bioinformatics, computational finance and business intelligence, geocomputation, high-level parallel programming, networks theory and applications, collective intelligence for semantic and knowledge grid, collaborative and cooperative environments, tools for program development and analysis in CS, intelligent agents in computing systems, CS in software engineering, computational linguistics in HCI, internet computing in science and engineering, workflow systems in e-science, graph theoretic algorithms and applications in cs, teaching CS, high performance data mining, mining text, semi-structured, Web, or multimedia data,
Combinatorial and Algorithmic Aspects of Networking ; 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007, Revised Papers
It contiants developments on all aspects of networking could be presented. It covered were diverse, with talks on strategies for searching in networks, for cleaning networks of unwanted - truders, on difierent routing strategies, and on scheduling, load balancing, probability, a concept central to network modeling and managing.
Cloud-Based Benchmarking of Medical Image Analysis
Presents the VISCERAL project benchmarks for analysis and retrieval of 3D medical images (CT and MRI) on a large scale, which used an innovative cloud-based evaluation approach where the image data were stored centrally on a cloud infrastructure and participants placed their programs in virtual machines on the cloud. The book presents the points of view of both the organizers of the VISCERAL benchmarks and the participants.
Machine Learning for Multimodal Interaction ; 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008. Proceedings
The 12 revised full papers and 15 revised poster papers presented together with 5 papers of a special session on user requirements and evaluation of multimodal meeting browsers/assistants were carefully reviewed and selected from 47 submissions. The papers cover a wide range of topics related to human-human communication modeling and processing, as well as to human-computer interaction, using several communication modalities. Special focus is given to the analysis of non-verbal communication cues and social signal processing, the analysis of communicative content, audio-visual scene analysis, speech processing, interactive systems and applications.
Large-Scale Scientific Computing ; 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
The 5th International Conference on Large-Scale Scientific Computations (LSSC 2005) was held in Sozopol, Bulgaria, June 6–10, 2003. The conference was organized and sponsored by the Institute for Parallel Processing at the Bulgarian Academy of Sciences. Partial support was also provided from project BIS-21++ funded by the European Commission in FP6 INCO via grant 016639/2005. More than 120 participants from all over the world attended the conference representing some of the strongest research groups in the field of advanced largescale scientific computing. This volume contains 80 papers submitted by authors from over 20 countries. The 6th International Conference, LSSC 2007, will be organized in June 2007
Large scale management of distributed systems ; 17th IFIP/IEEE International Workshop on distributed systems: operations and management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings
Presents the proceedings of the 17 IFIP/IEEE International Workshop on Distributed Systems : Operations and Management (DSOM 2006), which was held rd th in Dublin, Ireland during October 23 to 25 , 2006. In line with its reputation as one of the pre-eminent fora for the discussion and debate of advances of distributed systems management, the 2006 iteration of DSOM brought together an international audience of researchers and practitioners from both industry and academia. th DSOM 2006 was the 17 in a series of annual workshops, and it followed the footsteps of highly successful previous meetings, the most recent of which were held in Barcelona, Spain (DSOM 2005), Davis, USA (DSOM 2004), Heidelberg, Germany (DSOM 2003), Montreal, Canada (DSOM 2002) and Nancy, France (DSOM 2001). The goal of the DSOM workshops is to bring together researchers in the areas of networks, systems and services management, from both industry and academia, to discuss recent advances and foster future growth in these ?elds. In contrast to the larger management symposia, such as Integrated Management (IM) and Network Operations and Management (NOMS), the DSOM workshops are organised as sing- track programmes in order to stimulate interaction among participants.
Knowledge-Based Intelligent Information and Engineering Systems ; Vol.3684 : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV
The KES conference series has been established for almost a decade, and it cont- ues each year to attract participants from all geographical areas of the world, including Europe, the Americas, Australasia and the Paci?c Rim. The KES conferences cover a wide range of intelligent systems topics. The broad focus of the conference series is the theory and applications of intelligent systems. From a pure research ?eld, intel- gent systems have advanced to the point where their abilities have been incorporated into many business and engineering application areas. KES 2005 provided a valuable mechanism for delegates to obtain an extensive view of the latest research into a range of intelligent-systems algorithms, tools and techniques. The conference also gave de- gates the chance to come into contact with those applying intelligent systems in diverse commercial areas. The combination of theory and practice represented a unique opp- tunity to gain an appreciation of the full spectrum of leading-edge intelligent-systems activity. The papers for KES 2005 were either submitted to invited sessions, chaired and organized by respected experts in their ?elds, or to a general session, managed by an extensive International Program Committee, or to the Intelligent Information Hiding and Multimedia Signal Processing (IIHMSP) Workshop, managed by an International Workshop Technical Committee.
Knowledge-Based Intelligent Information and Engineering Systems ; Vol.3683 : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III
The KES conference series has been established for almost a decade, and it cont- ues each year to attract participants from all geographical areas of the world, including Europe, the Americas, Australasia and the Paci?c Rim. The KES conferences cover a wide range of intelligent systems topics. The broad focus of the conference series is the theory and applications of intelligent systems. From a pure research ?eld, intel- gent systems have advanced to the point where their abilities have been incorporated into many business and engineering application areas. KES 2005 provided a valuable mechanism for delegates to obtain an extensive view of the latest research into a range of intelligent-systems algorithms, tools and techniques. The conference also gave de- gates the chance to come into contact with those applying intelligent systems in diverse commercial areas. The combination of theory and practice represented a unique opp- tunity to gain an appreciation of the full spectrum of leading-edge intelligent-systems activity. The papers for KES 2005 were either submitted to invited sessions, chaired and organized by respected experts in their ?elds, or to a general session, managed by an extensive International Program Committee, or to the Intelligent Information Hiding and Multimedia Signal Processing (IIHMSP) Workshop, managed by an International Workshop Technical Committee.
Knowledge-Based Intelligent Information and Engineering Systems ; Vol.3682 : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II
The KES conference series has been established for almost a decade, and it cont- ues each year to attract participants from all geographical areas of the world, including Europe, the Americas, Australasia and the Paci?c Rim. The KES conferences cover a wide range of intelligent systems topics. The broad focus of the conference series is the theory and applications of intelligent systems. rom a pure research ?eld, intel- gent systems have advanced to the point where their abilities have been incorporated into many business and engineering...
Knowledge-Based Intelligent Information and Engineering Systems ; 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III
Constitutes the refereed proceedings of the 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2008, held in Zagreb, Croatia, in September 2008.The 316 revised papers presented were carefully reviewed and selected. The papers present a wealth of original research results from the field of intelligent information processing in the broadest sense; topics covered in the third volume are intelligent data processing in process systems and plants; neural information processing for data mining; soft computing approach to management engineering; advanced groupware; agent and multi-agent systems.
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Business Information Systems ; 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings
This volume covers research trends as well as current achievements and cutting-edge developments in the area of modern business information systems. It contiants Business Process Management, Web Services, Ontologies, Information Retrieval, System Design, Agents and Mobile Applications, Decision Support, Social Issues, Specific MIS Issues.
Biochemical Mechanisms of Detoxification in Higher Plants : Basis of Phytoremediation
Plants play a key role in purifying the biosphere of the toxic effects of industrial activity. This book shows how systematic application of the results of investigations into the metabolism of xenobiotics (foreign, often toxic substances) in plants could make a vastly increased contribution to planetary well-being. Deep physiological knowledge gained from an accumulation of experimental data enables the great differences between the detoxifying abilities of different plants for compounds of different chemical nature to be optimally exploited. Hence planting could be far more systematically adapted to actual environmental needs than is actually the case at present.
Bioactive Molecules and Medicinal Plants
Use of medicinal plants is as old as human civilization and continuous efforts are being made to improve medicinal plants or produce their products in high amounts through various technologies. About 200,000 natural products of plant origin are known and many more are being identifed from higher plants and microorganisms. Some plant-based drugs have been used for centuries and there is no alternative medicine for many drugs, such as cardiac glycosides. However, natural products research was sidelined to pave the way for com- natorial chemistry, which was expected to produce large numbers of synthetic compounds for high-throughput screening (HTS). This line of work has failed to deliver desirable results. Moreover, it is not possible for all pharmaceutical companies and institutions to adopt costly HTS technology. Therefore, medi- nal plants and their bioactive molecules are always in demand and are a central point of research. While planning this book, we endeavored to incorporate - ticles that cover the entire gamut of current medicinal plants research.
Bioactive Heterocycles VI : Flavonoids and anthocyanins in plants, and latest bioactive heterocycles I
Heterocyclic chemistry is the biggest branch of chemistry covering two-thirds of the chemical literature and this book covers the hot topics of frontier research summarized by reputed scientists in
Bioactive components of milk
Of all food products dairy foods have the most potential concerning functional foods. Therefore, there is a tremendous amount of interest in value-added milk products and the identification of components in food which have health benefits. Bioactive Components of Milk provides an overview of these derived components and their diverse activities including: the stimulation of beneficial microflora, alerting the immune system to the presence of potential pathogens and allergens, binding and eliminating toxins, etc. The book is divided into four parts. The first part focuses on bioactive milk lipid components, which very widely among mammalian species. The second part describes different aspects of biological active colostrums and milk proteins and their derivatives, with special concern on species specific effects. The third part reviews the production of recombinant human proteins in the milk of livestock animals - including ethical issues - and the aims of altering milk composition for the benefit of both the animals themselves and the consumers. The final part focuses on the influence of ruminants nutrition on the biological activity of milk.
Binocular astronomy
Anyone who has used a binocular telescope or even wide-field binoculars to look at the night sky will know just how breathtakingly beautiful the view can be when you observe with both eyes. Observing galaxies and nebulae with ‘regular’ prismatic binoculars is just a beginning. Binocular eyepieces and adapters can be added to almost any commercially-made astronomical telescope, and of course specialized astronomical binoculars can be assembled or purchased complete. These range from modest instruments to giants that are basically two large telescopes mounted together. Binocular Astronomy contains everything you’ll need to know about this exciting branch of astronomical observing.
