تحسين النتائح
ترتيب حسب
من
الى
الصفحة 2
الصفحة 2
Agricultural Implications of the Fukushima Nuclear Accident : The First Three Years
Consists of various topics, including radioactivity inspection of food products; decontamination trials for rice and livestock production; the state of contamination in wild animals and birds, trees, mushrooms, and timber; the dynamics of radioactivity distribution in mountain and paddy fields; damage incurred by the forestry and fishery industries; and the change in consumers’ minds. The last chapter introduces a real-time radioisotope imaging system, the forefront technique to visualize actual movement of cesium in soil and in plants. This is the only book to provide systematic data about the actual change of radioactivity, and thus is of great value for all researchers who wish to understand the effect of radioactive fallout on agriculture.
Agricultural Implications of the Fukushima Nuclear Accident (III)
Reports on studies undertaken at contaminated sites such as farmland, forests, and marine and freshwater environments, with a particular focus on livestock, wild plants and mushrooms, crops, and marine products in those environments. It also provides additional data collected in the subsequent years to show how the radioactivity levels in agricultural products and their growing environments have changed with time and the route by which radioactive materials entered agricultural products as well as their movement between different components (e.g., soil, water, and trees) within an environmental system (e.g., forests). The book covers various topics, including radioactivity testing of food products; decontamination trials for rice and livestock production; the state of contamination in, trees, mushrooms, and timber; the dynamics of radioactivity distribution in paddy fields and upland forests; damage incurred by the forestry and fishery industries; and the change in consumers’ attitudes. Chapter 19 introduces a real-time radioisotope imaging system, a pioneering technique to visualize the movement of cesium in soil and in plants.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Advances and Innovations in Systems, Computing Sciences and Software Engineering
Acollection of world class paper articles addressing the following topics: Image and Pattern Recognition: Compression, Image processing, Signal Processing Architectures, Signal Processing for Communication, Signal Processing Implementation, Speech Compression, and Video Coding Architectures. Languages and Systems: Algorithms, Databases, Embedded Systems and Applications, File Systems and I/O, Geographical Information Systems, Kernel and OS Structures, Knowledge Based Systems, Modeling and Simulation, Object Based Software Engineering, Programming Languages, and Programming Models and tools. Parallel Processing: Distributed Scheduling, Multiprocessing, Real-time Systems, Simulation Modeling and Development, and Web Applications. New trends in computing: Computers for People of Special Needs, Fuzzy Inference, Human Computer Interaction, Incremental Learning, Internet-based Computing Models, Machine Intelligence, Natural Language Processing, Neural Networks, and Online Decision Support System.
