Graph Theory for Programmers: Algorithms for Processing Trees

In delivering lectures and writing books, we were most often forced to pay absolutely no attention to a great body of interesting results and useful algorithms appearing in numerous sources and occasionally encountered. It was absolutely that most of these re sults would finally be forgotten because it is impossible to run through the entire variety of sources where these materials could be published. Therefore, we decided to do what we can to correct this situation. We discussed this problem with Ershov and came to an idea to write an encyclopedia of algorithms on graphs focusing our main attention on the algorithms already used in programming and their generalizations or modifications. We thought that it is reasonable to group all graphs into certain classes and place the algo rithms developed for each class into a separate book. The existence of trees, i. e. , a class of graphs especially important for programming, also supported this decision. This monograph is the first but, as we hope, not the last book written as part of our project. It was preceded by two books Algorithms on Trees (1984) and Algorithms of Processing of Trees (1990) small editions of which were published at the Computer Center of the Siberian Division of the Russian Academy of Sciences. The books were distributed immediately and this made out our decision to prepare a combined mono graph on the basis of these books even stronger.

https://magrudy-assets.storage.googleapis.com/9789401058049.jpg

https://magrudy.com/book/graph-theory-for-programmers-algorithms-for-processing-trees-9789401058049/

115.490000 USD

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.

https://magrudy-assets.storage.googleapis.com/9789048150526.jpg

https://magrudy.com/book/automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-9789048150526/

292.950000 USD

Virtual, Distributed and Flexible Organisations: Studies in Organisational Semiotics

Organisational Semiotics offers an effective approach to analysing organisations and modelling organisational behaviour. The methods and techniques derived from Organisational Semiotics enable us to study the organisation by examining how information is created and used for communication, coordination and performance of actions towards organisational objectives. The latest development of the young discipline and its applications have been reported in this book, which provides a useful guide and a valuable reference to anyone working in the areas of organisational study and information systems development.

https://magrudy-assets.storage.googleapis.com/9789048166039.jpg

https://magrudy.com/book/virtual-distributed-and-flexible-organisations-studies-in-organisational-semiotics-9789048166039/

208.950000 USD

Accelerating Test, Validation and Debug of High Speed Serial Interfaces

High-Speed Serial Interface (HSSI) devices have become widespread in communications, from the embedded to high-performance computing systems, and from on-chip to a wide haul. Testing of HSSIs has been a challenging topic because of signal integrity issues, long test time and the need of expensive instruments. Accelerating Test, Validation and Debug of High Speed Serial Interfaces provides innovative test and debug approaches and detailed instructions on how to arrive to practical test of modern high-speed interfaces. Accelerating Test, Validation and Debug of High Speed Serial Interfaces first proposes a new algorithm that enables us to perform receiver test more than 1000 times faster. Then an under-sampling based transmitter test scheme is presented. The scheme can accurately extract the transmitter jitter and finish the whole transmitter test within 100ms, while the test usually takes seconds. The book also presents and external loopback-based testing scheme, where and FPGA-based BER tester and a novel jitter injection technique are proposed. These schemes can be applied to validate, test and debug HSSIs with data rate up to 12.5Gbps at a lower test cost than pure ATE solutions. In addition, the book introduces an efficieng scheme to implement high performance Gaussian noise generators, suitable for evaluating BER performance under noise conditions.

https://magrudy-assets.storage.googleapis.com/9789400789739.jpg

https://magrudy.com/book/accelerating-test-validation-and-debug-of-high-speed-serial-interfaces-9789400789739/

157.490000 USD

SAT 2005: Satisfiability Research in the Year 2005

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.

https://magrudy-assets.storage.googleapis.com/9789400787155.jpg

https://magrudy.com/book/sat-2005-satisfiability-research-in-the-year-2005-9789400787155/

198.450000 USD

Program Verification: Fundamental Issues in Computer Science

Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.

https://magrudy-assets.storage.googleapis.com/9789401047890.jpg

https://magrudy.com/book/program-verification-fundamental-issues-in-computer-science-9789401047890/

492.450000 USD

Restoration of Degraded Rivers: Challenges, Issues and Experiences

In the continued quest for increased economic benefits from our water resources, numerous structures and operating policies for controlling the river flow have been built and implemented. These structures and associated operating policies can facilitate navigation; they can provide greater quantities of reliable water supplies to meet agricultural, industrial and municipal water demands; they can generate hydroelectric power and energy; and they can provide increased flood protection, recreation, and other benefits. Over the past half-century we have converted many of our rivers into engineered waterways. These straightened, often periodically dredged, engineered rivers are complete with dikes, reservoirs, weirs, and diversion canals. All this engineering has enhanced economic development. However, as rivers and their floodplains become stressed from the excessive use and misuse of their resources, their contribution to economic development can be threatened. Evidence of economic and ecological degradation, especially in relatively large river systems such as the Danube, the Mississippi, the Rhine, and the Volga, has increased our appreciation of beneficial roles natural aquatic and terrestrial ecosystems play in water quantity and quality management. We have recognized the need to pay more attention to letting nature help us regulate water quantity and quality rather than working against nature and its variabilities and uncertainties. Today there are efforts underway in many developed river basins to 'de engineer' or return these straightened and controlled rivers to a more natural state.

https://magrudy-assets.storage.googleapis.com/9789048149919.jpg

https://magrudy.com/book/restoration-of-degraded-rivers-challenges-issues-and-experiences-9789048149919/

366.450000 USD

IAENG Transactions on Engineering Technologies: Special Edition of the World Congress on Engineering and Computer Science 2011

This volume contains thirty revised and extended research articles written by prominent researchers participating in an international conference in engineering technologies and physical science and applications. The conference serves as good platforms for the engineering community to meet with each other and to exchange ideas. The conference has also struck a balance between theoretical and application development. The conference is truly international meeting with a high level of participation from many countries. Topics covered include chemical engineering, circuits, communications systems, control theory, engineering mathematics, systems engineering, manufacture engineering, and industrial applications. The book offers the state of art of tremendous advances in engineering technologies and physical science and applications, and also serves as an excellent reference work for researchers and graduate students working with/on engineering technologies and physical science and applications.

https://magrudy-assets.storage.googleapis.com/9789400799257.jpg

https://magrudy.com/book/iaeng-transactions-on-engineering-technologies-special-edition-of-the-world-congress-on-engineering-and-computer-science-2011-9789400799257/

188.990000 USD

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction. The three volumes are intended to document and advance a development in the field of automated deduction that can now be observed all over the world. Rather than restricting the interest to purely academic research, the focus now is on the investigation of problems derived from realistic applications. In fact industrial applications are already pursued on a trial basis. In consequence the emphasis of the volumes is not on the presentation of the theoretical foundations of logical deduction as such, as in a handbook; rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction. This reflects the strong conviction that automated deduction is on the verge of being fully included in the evolution of technology. Volume I focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. Volume II presents techniques of implementation and details about system building. Volume III deals with applications of deductive techniques mainly, but not exclusively, to mathematics and the verification of software. Each chapter was read by two referees, one an international expert from abroad and the other a knowledgeable participant in the national project. It has been accepted for inclusion on the basis of these review reports. Audience: Researchers and developers in software engineering, formal methods, certification, verification, validation, specification of complex systems and software, expert systems, natural language processing.

https://magrudy-assets.storage.googleapis.com/9789048150502.jpg

https://magrudy.com/book/automated-deduction-a-basis-for-applications-volume-i-foundations-calculi-and-methods-volume-ii-systems-and-implementation-techniques-volume-iii-applications-9789048150502/

314.990000 USD

Achieving Quality Software: Including Its Application to Safety-Related Systems

The rapid growth in use of programmable technology, in nearly all sectors of Engineering, is a well-known established trend and one which there is every reason to believe will continue into the foreseeable future. The drivers of this trend include cost, flexibility, rich functionality and certain reliability and safety advantages. However, as explained in this book, these advantages have to be carefully weighed against a number of dis- advantages which, amongst other things, have fundamental implications for reliability and safety. Ideally, a programmable system would be viewed as a fusion of hardware, software and user (or 'skinware'), operating under a set of environmental conditions. To date, such a unifying model does not exist and so hardware, software and human factors are still considered largely as three separate disciplines, albeit with certain interdependencies. Established techniques are available which enable the engineer to develop systems comprising purely hardware components to a prescribed reliability and performance. Software, however, is fundamentally different in a number of ways, and does not lend itself to equivalent analysis. A major problem with software is its poor 'visibility', and consequently the great difficulty in understanding and predicting its behaviour in all cir- cumstances. This results in the ever-present software design flaws, or 'bugs', which have plagued the software industry from its beginnings.

https://magrudy-assets.storage.googleapis.com/9789401042437.jpg

https://magrudy.com/book/achieving-quality-software-including-its-application-to-safety-related-systems-9789401042437/

83.990000 USD

Advanced Relational Programming

Databaseprogrammingis the process ofdeveloping data-intensiveapplications which demand the access to large amounts of structured, persistent data. The primary tool required for implementing such applications is a database programming language, namely aformal language which is specialized in the definition and manipulationof relevant large-scale data. As such, a database programming language is expected to provide high-level data modeling capabilitiesas well as avarietyofconstructs which facilitatethehandlingofthespecifieddata. Inthis perspective, the aim of this book is: (i) to present the recent advances in database technologyfrom theviewpointofthe novel database paradigmsproposedfor the developmentofadvanced, non-standard, data-intensive applications, (ii) to focus specificallyon the relational approach, with considerableemphasis on the extensions proposed in the last decade, and (iii) to describe the extended relational database languageAlgres which is primarily the outcome of research work conducted by the authorsincooperationwithalargenumberofothercolleaguesandstudents. Furthermore, in orderto put the concepts presented in the book into practice, the reader is invited to experiment with the Algres system, afree copyofwhich can be requestedfromKluwerAcademicPublishers,ordirectlyfromtheauthors. Dependingonthespecific interest andbackgroundofthereader,thebookcanserve either:(1) to overview recent trends in databases, (2) to introduce in more detail the concepts and theory of the nested relational model, or (3) to present a complete advancedrelationallanguagewhichcanbefreelyusedforexperimentalpurposeswithin academicandresearchframeworks.

https://magrudy-assets.storage.googleapis.com/9789401037426.jpg

https://magrudy.com/book/advanced-relational-programming-9789401037426/

146.990000 USD

Communication-Based Systems: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000

Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universi- ties in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of 9 years. The grant for the nine years sums up to approximately 5 million DM. Our Grnduiertenkolleg on Communication-based Systems has been assigned to the Computer Science Department of TU Berlin although it is a joined effort of all three universities in Berlin, Technische Uni- versitat (TU), Freie Universitat (FU), and Humboldt Universitat (HU). The Graduiertenkolleg has been started its program in October 1991. The professors responsible for the program are: Hartmut Ehrig (TU), Gunter Hommel (TU), Stefan Jahnichen (TU), Peter Lohr (FU), Miroslaw Malek (RU), Peter Pep- per (TU), Radu Popescu-Zeletin (TU), Herbert Weber (TU), and Adam Wolisz (TU). The Graduiertenkolleg is a PhD program for highly qualified persons in the field of computer science. Twenty scholarships have been granted to fellows of the Graduiertenkolleg for a maximal period of three years. During this time the fellows take part in a selected educational program and work on their PhD thesis.

https://magrudy-assets.storage.googleapis.com/9789048153992.jpg

https://magrudy.com/book/communication-based-systems-proceeding-of-the-3rd-international-workshop-held-at-the-tu-berlin-germany-31-march-1-april-2000-9789048153992/

157.490000 USD

Advances and Innovations in Systems, Computing Sciences and Software Engineering

This book includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computing Sciences, Software Engineering and Systems. The book presents selected papers from the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2006). All aspects of the conference were managed on-line.

https://magrudy-assets.storage.googleapis.com/9789048175888.jpg

https://magrudy.com/book/advances-and-innovations-in-systems-computing-sciences-and-software-engineering-9789048175888/

187.950000 USD

Advances in Signal Processing for Nondestructive Evaluation of Materials

Non-Destructive Evaluation (NDE) is now playing an increasing role in our modern global economy; in security sensitive industries, for instance. The complexity of the inspection task and either large or limited lot runs now require more operator-assisted or fully- automated signal processing. This book deals with both fields of expertise: NDE and signal processing. On the signal processing side, in the particular context of NDE applications, the following topics are discussed: sensor fusion, signal knowledge representation, artificial intelligence, fuzzy logic, computer vision, integration of numeric and non-numeric informations, parallel decomposition, noise processing and calibration of sensor devices as well as reliability of detection. Some hardware considerations are introduced as well, to discuss platforms on which processing is done. On the NDE side, applications include advances in holographic interferometry, microwave resonance or shearography and also on more traditional NDE techniques such as ultrasonics, infrared techniques, X-ray, computed tomography, Eddy currents. Inverse problems are also discussed. This book is required reading for those who already have some experience in one or both fields (signal processing and/or NDE).

https://magrudy-assets.storage.googleapis.com/9789401044592.jpg

https://magrudy.com/book/advances-in-signal-processing-for-nondestructive-evaluation-of-materials-9789401044592/

114.450000 USD

Software Engineering for Large Software Systems

These proceedings include tutorials and papers presented at the Sixth CSR Confer- ence on the topic of Large Software Systems. The aim of the Conference was to identify solutions to the problems of developing and maintaining large software systems, based on approaches which are currently being undertaken by software practitioners. These proceedings are intended to make these solutions more widely available to the software industry. The papers from software practitioners describe: * important working systems, highlighting their problems and successes; * techniques for large system development and maintenance, including project management, quality management, incremental delivery, system security, in- dependent V & V, and reverse engineering. In addition, academic and industrial researchers discuss the practical impact of current research in formal methods, object-oriented design and advanced environ- ments. The keynote paper is provided by Professor Brian Warboys of ICL and the University of Manchester, who masterminded the development of the ICL VME Operating System, and the production of the first database-driven software en- gineering environment (CADES). The proceedings commence with reports of the two tutorial sessions which preceded the conference: * Professor Keith Bennett of the Centre for Software Maintenance at Durham University on Software Maintenance; * Professor John McDermid of the University of York on Systems Engineering Environments for High Integrity Systems. The remaining papers deal with reports on existing systems (starting with Professor Warboys' keynote paper), approaches to large systems development, methods for large systems maintenance and the expected impact of current research.

https://magrudy-assets.storage.googleapis.com/9789401068338.jpg

https://magrudy.com/book/software-engineering-for-large-software-systems-9789401068338/

114.450000 USD

Quality-Driven SystemC Design

A quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results.

https://magrudy-assets.storage.googleapis.com/9789400791923.jpg

https://magrudy.com/book/quality-driven-systemc-design-9789400791923/

136.490000 USD

Computer-Aided Design of User Interfaces V: Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces CADUI '06 (6-8 June 2006, Bucharest, Romania)

This book gathers the latest experience of experts, research teams and leading organizations involved in computer-aided design of user interfaces of interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system. In particular, it stresses how the design activity could be better understood for different types of advanced interactive systems.

https://magrudy-assets.storage.googleapis.com/9789401784870.jpg

https://magrudy.com/book/computer-aided-design-of-user-interfaces-v-proceedings-of-the-sixth-international-conference-on-computer-aided-design-of-user-interfaces-cadui-06-6-8-june-2006-bucharest-romania-9789401784870/

187.950000 USD

Fine- and Coarse-Grain Reconfigurable Computing

The basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures are discussed in this book. Recently-developed integrated architecture design and software-supported design flow of FPGA and coarse-grain reconfigurable architecture are also described.

https://magrudy-assets.storage.googleapis.com/9789400798144.jpg

https://magrudy.com/book/fine-and-coarse-grain-reconfigurable-computing-9789400798144/

178.490000 USD

Automatic Program Development: A Tribute to Robert Paige

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. Among them there are two key papers: a retrospective view of his research lines, and a proposal for future studies in the area of the automatic program derivation. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.

https://magrudy-assets.storage.googleapis.com/9789048176748.jpg

https://magrudy.com/book/automatic-program-development-a-tribute-to-robert-paige-9789048176748/

166.950000 USD

Proceedings of the International Conference on IT Convergence and Security 2011

As we entered the 21st century, the rapid growth of information technology has changed our lives more conveniently than we have ever speculated. Recently in all fields of the industry, heterogeneous technologies have converged with information technology resulting in a new paradigm, information technology convergence. In the process of information technology convergence, the latest issues in the structure of data, system, network, and infrastructure have become the most challenging task. Proceedings of the International Conference on IT Convergence and Security 2011 approaches the subject matter with problems in technical convergence and convergences of security technology by looking at new issues that arise from techniques converging. The general scope is convergence security and the latest information technology with the following most important features and benefits: 1. Introduction of the most recent information technology and its related ideas 2. Applications and problems related to technology convergence, and its case studies 3. Introduction of converging existing security techniques through convergence security Overall, after reading Proceedings of the International Conference on IT Convergence and Security 2011, readers will understand the most state of the art information strategies and technologies of convergence security.

https://magrudy-assets.storage.googleapis.com/9789400798632.jpg

https://magrudy.com/book/proceedings-of-the-international-conference-on-it-convergence-and-security-2011-9789400798632/

198.450000 USD

The Future of EU Agricultural Markets by AGMEMOD

This book grasps the opportunity to show the strength of AGMEMOD in terms of baseline analysis at detailed regional and market levels, supported by an experienced team of country-based modellers. This analysis, produced using the AGMEMOD model, will be of interest to researchers working in the field of agricultural policy analysis as well as to policy makers from both the European Commission and its member states' agriculture ministries.

https://magrudy-assets.storage.googleapis.com/9789401783811.jpg

https://magrudy.com/book/the-future-of-eu-agricultural-markets-by-agmemod-9789401783811/

146.990000 USD

Software Prototyping in Data and Knowledge Engineering

This monograph describes an innovative prototyping framework for data and knowledge intensive systems. The proposed approach will prove especially useful for advanced and research-oriented projects that aim to develop a traditional database perspective into fully-fledged advanced database approaches and knowledge engineering technologies. The book is organised in two parts. The first part, comprising chapters 1 to 4, provides an introduction to the concept of prototyping, to database and knowledge-based technologies, and to the main issues involved in the integration of data and knowledge engineering. The second part, comprising chapters 5 to 12, illustrates the proposed approach in technical detail. Audience: This volume will be of interest to researchers in the field of databases and knowledge engineering in general, and for software designers and knowledge engineers who aim to expand their expertise in data and knowledge intensive systems.

https://magrudy-assets.storage.googleapis.com/9789401058490.jpg

https://magrudy.com/book/software-prototyping-in-data-and-knowledge-engineering-9789401058490/

135.450000 USD

Enterprise Information Systems III

The purpose of the 3rd International Conference on Enterprise Information Systems (ICEIS) was to bring together researchers, engineers, and practitioners interested in the advances and business applications of information systems. The research papers published here have been carefully selected from those presented at the conference, and focus on real world applications covering four main themes: database and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; and internet computing and electronic commerce. Audience: This book will be of interest to information technology professionals, especially those working on systems integration, databases, decision support systems, or electronic commerce. It will also be of use to middle managers who need to work with information systems and require knowledge of current trends in development methods and applications.

https://magrudy-assets.storage.googleapis.com/9789048159918.jpg

https://magrudy.com/book/enterprise-information-systems-iii-9789048159918/

208.950000 USD

Land Subsidence Analysis in Urban Areas: The Bangkok Metropolitan Area Case Study

Cities built on unconsolidated sediments consisting of clays, silt, peat, and sand, are particularly susceptible to subsidence. Such regions are common in delta areas, where rivers empty into the oceans, along flood plains adjacent to rivers, and in coastal marsh lands. Building cities in such areas aggravates the problem for several reasons: 1. Construction of buildings and streets adds weight to the region causing additional soil deformations. 2. Often the regions have to be drained in order to be occupied. This results in lowering of the water table and leads to hydro-compaction. 3. Often the groundwater is used as a source of water for both human consumption and industrial use. 4. Levees and dams are often built to prevent or control flooding. Earth fissures caused by ground failure in areas of uneven or differential compaction have damaged buildings, roads and highways, railroads, flood-control structures and sewer lines. As emphasized by Barends , in order to develop a legal framework to claims and litigation, it is essential that direct and indirect causes of land subsidence effects can be quantified with sufficient accuracy from a technical and scientific point of view. Most existing methods and software applications treat the subsidence problem by analyzing one of the causes. This is due to the fact that the causes appear at different spatial scales. For example, over-pumping creates large scale subsidence, while building loading creates local subsidence/consolidation only. Then, maximum permissible land subsidence (or consolidation) is a constraint in different management problems such as: groundwater management, planning of town and/or laws on building construction. It is, therefore, necessary to quantify the contribution of each cause to soil subsidence of the ground surface in cities urban area. In this text book, we present an engineering approach based on the Biot system of equations to predict the soil settlement due to subsidence, resulting from different causes. Also we present a case study of The Bangkok Metropolitan Area (BMA).

https://magrudy-assets.storage.googleapis.com/9789400797345.jpg

https://magrudy.com/book/land-subsidence-analysis-in-urban-areas-the-bangkok-metropolitan-area-case-study-9789400797345/

146.990000 USD

Hardware/Software Co-Design

Concurrent design, or co-design of hardware and software is extremely important for meeting design goals, such as high performance, that are the key to commercial competitiveness. Hardware/Software Co-Design covers many aspects of the subject, including methods and examples for designing: (1) general purpose and embedded computing systems based on instruction set processors; (2) telecommunication systems using general purpose digital signal processors as well as application specific instruction set processors; (3) embedded control systems and applications to automotive electronics. The book also surveys the areas of emulation and prototyping systems with field programmable gate array technologies, hardware/software synthesis and verification, and industrial design trends. Most contributions emphasize the design methodology, the requirements and state of the art of computer aided co-design tools, together with current design examples.

https://magrudy-assets.storage.googleapis.com/9780792338833.jpg

https://magrudy.com/book/hardwaresoftware-co-design-proceedings-of-the-nato-advanced-study-institute-tremezzo-italy-june-19-30-1995-9780792338833/

429.450000 USD

Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics

Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Industrial Electronics, Technology and Automation, Telecommunications and Networking. Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics includes selected papers form the conference proceedings of the International Conference on Industrial Electronics, Technology and Automation (IETA 2007) and International Conference on Telecommunications and Networking (TeNe 07) which were part of the International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 2007).

https://magrudy-assets.storage.googleapis.com/9789048179732.jpg

https://magrudy.com/book/novel-algorithms-and-techniques-in-telecommunications-automation-and-industrial-electronics-9789048179732/

271.950000 USD

Innovative Techniques in Instruction Technology, E-learning, E-assessment and Education

Innovative Techniques in Instruction Technology, E-Learning, E-Assessment and Education is a collection of world-class paper articles addressing the following topics: (1) E-Learning including development of courses and systems for technical and liberal studies programs; online laboratories; intelligent testing using fuzzy logic; evaluation of on line courses in comparison to traditional courses; mediation in virtual environments; and methods for speaker verification. (2) Instruction Technology including internet textbooks; pedagogy-oriented markup languages; graphic design possibilities; open source classroom management software; automatic email response systems; tablet-pcs; personalization using web mining technology; intelligent digital chalkboards; virtual room concepts for cooperative scientific work; and network technologies, management, and architecture. (3) Science and Engineering Research Assessment Methods including assessment of K-12 and university level programs; adaptive assessments; auto assessments; assessment of virtual environments and e-learning. (4) Engineering and Technical Education including cap stone and case study course design; virtual laboratories; bioinformatics; robotics; metallurgy; building information modeling; statistical mechanics; thermodynamics; information technology; occupational stress and stress prevention; web enhanced courses; and promoting engineering careers. (5) Pedagogy including benchmarking; group-learning; active learning; teaching of multiple subjects together; ontology; and knowledge representation. (6) Issues in K-12 Education including 3D virtual learning environment for children; e-learning tools for children; game playing and systems thinking; and tools to learn how to write foreign languages.

https://magrudy-assets.storage.googleapis.com/9789048179749.jpg

https://magrudy.com/book/innovative-techniques-in-instruction-technology-e-learning-e-assessment-and-education-9789048179749/

271.950000 USD

Electronic Engineering and Computing Technology

Electronic Engineering and Computing Technology contains sixty-one revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, Computational Intelligence, Computational Statistics, Internet Computing, High Performance Computing, and industrial applications. Electronic Engineering and Computing Technology will offer the state of art of tremendous advances in electronic engineering and computing technology and also serve as an excellent reference work for researchers and graduate students working with/on electronic engineering and computing technology.

https://magrudy-assets.storage.googleapis.com/9789400732384.jpg

https://magrudy.com/book/electronic-engineering-and-computing-technology-9789400732384/

209.990000 USD

IAENG Transactions on Engineering Technologies: Special Issue of the World Congress on Engineering and Computer Science 2012

IAENG Transactions on Engineering Technologies contains forty-nine revised and extended research articles, written by prominent researchers participating in the conference. Topics covered include circuits, engineering mathematics, control theory, communications systems, systems engineering, manufacture engineering, computational biology, chemical engineering, and industrial applications. This book offers the state of art of tremendous advances in engineering technologies and physical science and applications, and also serves as an excellent source of reference for researchers and graduate students working with/on engineering technologies and physical science and applications.

https://magrudy-assets.storage.googleapis.com/9789402401554.jpg

https://magrudy.com/book/iaeng-transactions-on-engineering-technologies-special-issue-of-the-world-congress-on-engineering-and-computer-science-2012-9789402401554/

209.990000 USD

Mechanism Design for Sustainability: Techniques and Cases

This book provides advanced analytics and decision management techniques and tools for developing sustainable competitive advantages in the studied target context. In order to achieve sustainable economy, the capacity to endure, it is essential to understand and study the mechanisms for interactions and impact from and among these perspectives.

https://magrudy-assets.storage.googleapis.com/9789400798151.jpg

https://magrudy.com/book/mechanism-design-for-sustainability-techniques-and-cases-9789400798151/

146.990000 USD