الصفحة 3
الصفحة 3
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Mathematical Problems from Applied Logic I : Logics for the XXIst Century
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic. This should be of interest to logicians and mathematicians in general.
Investing in Private Equity Partnerships : The Role of Monitoring and Reporting
Private equity has become an important asset class for institutional investors. As the asset class grows and investors get more experienced, the debate concerning transparency and governance of private equity funds has intensified. Fund investors demand more disclosure from private equity fund managers. Are these calls justified? What information do fund investors need? How can private equity fund investors manage their exposure to the asset class effectively? Kay Müller presents an in-depth analysis into the monitoring activities of institutional investors and explores their information requirements by interviewing leading European private equity fund investors. He contrasts these results with the actual reporting by fund managers and reveals essential information gaps based on a disclosure study of private equity fund reports. Since effective and open communication supports long-lasting and trusted partnerships, these findings provide important guidance on how to improve the relationships between investors and fund managers in the private equity industry.
Introduction to Structural Analysis
Covers the principles of structural analysis without any requirement of prior knowledge of structures or equations. Beginning with basic principles of equilibrium of forces and moments, all other subsequent theories of structural analysis have been discussed logically. Divided into two major parts, this book discusses the basics of mechanics and principles of degrees of freedom upon which the entire paradigm rests, followed by analysis of determinate and indeterminate structures. The energy method of structural analysis is also included.
Intelligent Multimedia Data Hiding : New Directions
This book presents the latest research in the area of multimedia data hiding paradigms. The book is divided into four parts and an appendix. The first part introduces multimedia signal processing and information hiding techniques. It includes multimedia representation, need for multimedia, digital watermarking fundamentals and requirements of watermarking. The second part describes the recent advances in multimedia signal processing. The third part presents information hiding techniques including steganography, secret sharing and watermarking. The final part of this book includes practical applications of intelligent multimedia signal processing and data hiding systems. Appendix includes source codes and/or executables related to the topics in some chapters. Interested readers are invited to use these programs.
Intelligent Life in the Universe : Principles and Requirements Behind Its Emergence
This book addresses the possible origins, development and fate of intelligent life in the universe. The author presents a wide-ranging analysis of the type of knowldege that can be inferred about extraterrestial intelligent societies from our own biological, cultural and scientific evolution, and from the likely future of mankind. Providing extensive background information from astronomy, geology, chemistry and biology, the book will appeal to both the scientist and the general reader.
Intelligent Computing in Engineering and Architecture ; 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers
Providing computer support for tasks in civil engineering and architecture is hard. Projects can be complex, long and costly. Firms that contribute to design, construction and maintenance are often worth less than the value of their projects. Everyone in the field is justifiably risk adverse. Contextual variables have a strong influence making generalization difficult. The product life cycle may exceed one hundred years and functional requirements may evolve during the service life. It is therefore no wonder that practitioners in this area have been so reluctant to adopt advanced computing systems. After decades of research and industrial pilot projects, advanced computing s- tems are now being recognized by many leading practitioners to be strategically - portant for the future profitability of firms involved in engineering and architecture. Engineers and architects with advanced computing knowledge are hired quickly in the market place. Closer collaboration between research and practice is leading to more comprehensive validation processes for new research ideas. This is feeding devel- ment of more useful systems, thus accelerating progress. These are exciting times. th This volume contains papers that were presented at the 13 Workshop of the Eu- pean Group for Intelligent Computing in Engineering. Over five days, 70 participants from around the world listened to 59 paper presentations in a single session format.
Intelleger = انتليجر
The project management system is a web application designed to assist software managers in efficiently managing their projects, including websites, mobile apps, and other software initiatives. Utilizing artificial intelligence, the application streamlines project creation and management processes, offering significant benefits in terms of organization and accuracy. Managers can create projects by inputting essential details such as the name, scope, deadline, and tasks. The system generates AI-based functional and non-functional requirements tailored to the project scope using gpt2 model on Pure dataset. Managers can then review and edit these requirements as needed before finalizing the project. The application facilitates comprehensive task management by allowing managers to assign tasks to developers, edit task details, and ensure task deadlines align with project deadlines. Developers can log their start and end times automatically when they begin and complete tasks, providing accurate time tracking and performance analysis.also they can use code generation model to generate their task’s code using codebert model on concode and codesearchnet dataset Real-time notifications keep both managers and developers informed of task assignments, completions, and other critical updates.
Integrated Water Management : Practical Experiences and Case Studies
This book introduced a whole range of specific definitions, objectives and constraints regarding the various aspects of water management, including water quality management, policies, economic aspects, ecology, price, and sustainable development. These issues all require the formulation of common, integrated, sustainable approaches for managing the water system from a multidisciplinary perspective, and the definition of new professional skills, requirements which become even more evident where transboundary areas are concerned.
Integrated Groundwater Management : Concepts, Approaches and Challenges
The aim of this book is to document for the first time the dimensions and requirements of effective integrated groundwater management (IGM). Groundwater management is a formidable challenge, one that remains one of humanity’s foremost priorities. It has become a largely non-renewable resource that is overexploited in many parts of the world. In the 21st century, the issue moves from how to simply obtain the water we need to how we manage it sustainably for future generations, future economies, and future ecosystems. The focus then becomes one of understanding the drivers and current state of the groundwater resource, and restoring equilibrium to at-risk aquifers. Many interrelated dimensions, however, come to bear when trying to manage groundwater effectively. An integrated approach to groundwater necessarily involves many factors beyond the aquifer itself, such as surface water, water use, water quality, and ecohydrology.
Integrated Capacity and Price Control in Revenue Management : A Fuzzy System Approach
Due to tough competition and increased customer-orientation, companies must improve their management of revenue objectives. In the context of a fluctuating demand and the unknown price behaviour of customers, the practice-oriented development of a revenue management approach for an integrated control of capacities and prices becomes essential. Michael Becher develops a concept for an integrated capacity and price control in revenue management. His concept is based on fuzzy expert controllers and complies with the defined business and application requirements. The resulting approach is evaluated in three applications: capacity control in waste incineration industry, price control in hotels and integrated capacity and price control in goods distribution. The results show that the amount of coverage can be increased due to the application of the proposed concept.
Innovative Superhard Materials and Sustainable Coatings for Advanced Manufacturing ; Proceedings of the NATO Advanced Research Workshop on Innovative Superhard Materials and Sustainable Coating, Kiev, Ukraine,12 - 15 May 2004.
Modern industry imposes ever increasing requirements upon tools and tool materials as to the provision for performance under the conditions of high cutting speeds and dynamic loads as well as under intensive thermal and chemical interactions with workpiece materials. The industry demands a higher productivity in combination with the accuracy of geometry and dimensions of workpieces and quality of working surfaces of the machined pieces. These requirements are best met by the tool superhard materials (diamond and diamond-like cubic boron nitride). Ceramics based on silicon carbide, aluminum and boron oxides as well as on titanium, silicon and aluminum nitrides offer promise as tool materials. Tungsten-containing cemented carbides are still considered as suitable tool materials. Hi- hardness and high strength composites based on the above materials fit all the requirements imposed by machining jobs when manufacturing elements of machinery, in particular those operating under the extreme conditions of high temperatures and loads.
Innovations for requirement analysis : From stakeholders needs to formal designs ; 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
This book presents the thoroughly refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. The theme of the workshop was Innovations for Requirement Analysis: From Stakeholders' Needs to Formal Designs.The 10 revised full papers included in the book were carefully selected during two rounds of reviewing and revision. These are preceded by the abstracts of the three keynote talks as well as a detailed introduction to the theme of the workshop, including a case study used by many participants to frame their analyses, and a summary of the workshop's results.
Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems ; International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers
Building research grade multi-agent systems usually involves a broad variety of software infrastructure ingredients like planning, scheduling, coordination, communication, transport, simulation, and module integration technologies and as such constitutes a great challenge to the individual researcher active in the area. The book presents a collection of papers on approaches that will help make deployed and large scale multi-agent systems a reality. The first part focuses on available infrastructure and requirements for constructing research-grade agents and multi-agent systems. The second part deals with support in infrastructure and software development methods for multi-agent systems that can directly support coordination and management of large multi-agent communities; performance analysis and scalability techniques are needed to promote deployment of multi-agent systems to professionals in software engineering and information technology.
Information Security Practice and Experience ; Vol. 3439 : 1st International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings
As applications of information security technologies become pervasive, issues pertaining to their deployment and operation are becoming increasingly important. ISPEC is intended to be an annual conference that brings together researchers and practitioners to provide a con?uence of new information se- rity technologies, their applications and their integration with IT systems in various vertical sectors. The Program Committee consisted of leading experts in the areas of information security, information systems, and domain experts in applications of IT in vertical business segments. The topics of the conference covered security applications and case studies, access control, network security, data security, secure architectures, and cryp- graphic techniques. Emphasis was placed on the application of security research to meet practical user requirements, both in the paper selection process and in the invited speeches. Acceptance into the conference proceedings was very competitive. The Call for Papers attracted more than 120 submissions, out of which the Program Committee selected only 35 papers for inclusion in the proceedings.
Information and communication technologies in tourism 2006 ; Proceedings of the International Conference in Lausanne, Switzerland, 2006
This collection of papers presented at the 13th ENTER Conference represents a unique opportunity of sharing knowledge with researchers bridging the fields of travel and tourism, and information and communication technologies. This year’s 40 full research papers and 23 work in progress presentations cover the following topics: meta research and education; guides and information systems; website design; behaviour analysis; website evaluation; usability and accessibility; technology adoption by enterprises; pricing; information requirements; knowledge management; decision support and recommender systems; website evaluation; customer support and service; technology adoption by customers; business models, and marketing.
Industry 4.0 for SMEs : Challenges, opportunities and requirements
This book explores the concept of Industry 4.0, which presents a considerable challenge for the production and service sectors. While digitization initiatives are usually integrated into the central corporate strategy of larger companies, smaller firms often have problems putting Industry 4.0 paradigms into practice. Small and medium-sized enterprises (SMEs) possess neither the human nor financial resources to systematically investigate the potential and risks of introducing Industry 4.0. Addressing this obstacle, the international team of authors focuses on the development of smart manufacturing concepts, logistics solutions and managerial models specifically for SMEs. Aiming to provide methodological frameworks and pilot solutions for SMEs during their digital transformation, this innovative and timely book will be of great use to scholars researching technology management, digitization and small business, as well as practitioners within manufacturing companies.
Industrial enzymes : Structure, function and applications
Man's use of enzymes dates back to the earliest times of civilization. Important human activities such as the production of certain types of foods and beverages, and the tanning of hides and skins to produce leather for garments, serendipitously took advantage of enzyme activities. Important advances in our understanding of the nature of enzymes and their action were made in the late 19th and early 20th centuries, seeding the explosive expansion from the 1950s and 60s onward to the present billion dollar enzyme industry. Recent developments in the fields of genetic engineering and protein chemistry are bringing ever more powerful means of analysis to bear on the study of enzyme structure and function that will undoubtedly lead to the rational modification of enzymes to match specific requirements as well as the design of new enzymes with novel properties.
Implementing Strategic Environmental Assessment
More countries are now using Strategic Environmental Assessment (SEA) than ever before. This timely and comprehensive Handbook describes the implementation of SEA in 18 countries around the world, as well as a critical analysis of different SEA methodologies. The Handbook starts by introducing key SEA principles and the legal requirements of the new European SEA Directive (which became law in 2004). It then describes the implementation of SEA in 11 European Union countries, as well as the USA, Canada and New Zealand. This is contrasted with SEA requirements of four developing countries. The Handbook explores public participation issues and the wide-range of SEA methodologies used in terms of resources (soils, water and biodiversity) and sectors of activity (transport, agriculture, waste management and industry). The Handbook concludes with a discussion on best practice, capacity building and the future of SEA.
Image and video encryption : From digital rights management to secured personal communication
Image and Video Encryption provides a unified overview of techniques for encryption of images and video data. This ranges from commercial applications like DVD or DVB to more research oriented topics and recently published material. This volume introduces different techniques from unified viewpoint, then evaluates these techniques with respect to their respective properties (e.g., security, speed.....). Encryption of visual data is an important topic in the area of mutimedia security, applications range from digital rights management (DVD, DVB) ) to secure personal communications. Within this topic area, we face several aims which contradict each other. What we thrive on is good compression, fast compression, high security, fast encryption, bitstream compliance, little power consumption and little memory requirements. The authors experimentally compare different approaches proposed in the literature and include an extensive bibliography of corresponding published material. Image and Video Encryption is designed for a professional audience composed of researchers and practitioners in industry. The book is also suitable for graduate-level students in computer science and electrical engineering.
