الصفحة 30
الصفحة 30
Intelligence and security informatics ; Vol. 3495 : IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005, Proceedings
Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applications, through an integrated technological, organizational, and policy-based approach. In the past few years, ISI research has experienced tremendous growth and attracted substantial interest from academic researchers in related fields as well as practitioners from both government agencies and industry. The first two meetings (ISI 2003 and ISI 2004) in the ISI symposium and conference series were held in Tucson, Arizona, in 2003 and 2004, respectively. They provided a stimulating intellectual forum for discussion among previously disparate communities: academic researchers in information technologies, computer science, public policy, and social studies; local, state, and federal law enforcement and intelligence experts; and information technology industry consultants and practitioners.
Intelligence and security informatics ; Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007, Proceedings
Intelligence and security informatics (ISI) is concerned with the study of the development and use of advanced information technologies and systems for national, international, and societal security-related applications.
Intelligence and security informatics ; IEEE ISI 2008 International Workshops : PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.The 55 revised full papers presented were carefully reviewed and selected from the presentations at the workshops. The 21 papers of the Pacific Asia Workshop on Intelligence and Security Informatics (PAISI 2008) cover topics such as information retrieval and event detection, internet security and cybercrime, currency and data protection, cryptography, image and video analysis, privacy issues, social networks, modeling and visualization, and network intrusion detection.
Intelligence and security informatics ; 1st European Conference, EuroISI 2008, Esbjerg, Denmark, December 3-5, 2008. Proceedings
This book constitutes the refereed proceedings of the First European Conference on Intelligence and Security Informatics, EuroISI 2008, held in Esbjerg, Denmark, in December 2008.The 23 revised full papers and 2 revised poster papers presented were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on criminal and social network analysis, intelligence analysis and knowledge discovery, Web-based intelligence monitoring and analysis, privacy protection, access control, and digital rights management, malware and intrusion detection, as well as surveillance and crisis management.
Intelligence and security informatics : Techniques and applications
This book, INTELLIGENCE and SECURITY INFORMATICS: TECHNIQUES & APPLICATIONS, presents a collection of works discussing terrorism informatics, information sharing, data mining, intelligence and crime analysis, infrastructure protection, privacy protection, information surveillance, and emergency response.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; Vol.3990 ; 3rd International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings
Constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2006. The 20 revised full papers presented together with 3 invited talks address methodological and foundational issues from AI, OR, and algorithmics and present applications to the solution of combinatorial optimization problems in various fields via constraint programming.
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems ; Vol.3524 : 2nd International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005
Intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti?cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community.
Intégration : Chapitres 7 et 8 = Integration : Chapters 7 and 8
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics from their foundations. applications. The concepts introduced, such as Haar measures and the convolution product, are the basis of harmonic analysis. It includes the chapters: Haar measure; Convolution and representations.
Integrated Urban Water Resources Management
Growing populations and rising standards of living exert stress on water supply and the quality of drinking water. In wastewater management, new challenges are caused by new chemicals of concern, including endocrine disrupters, pharmaceuticals, hormones, and personal care products, which often pass through wastewater treatment plants unabated, but may cause serious impacts on receiving aquatic ecosystems. Advanced wastewater treatment leads to production of biosolids, which are processed in various ways, including on-land applications in agriculture. Municipal effluents, combined with increasing withdrawals of water, lead to the worsening of receiving water quality. Expert opinions indicate that the only way to deal with the current urban water management dilemmas is by integrated management and innovative delivery of water services. This book presents important aspects of Challenges in Management of Urban Water Resources, Challenges in Urban Water Supply, Urban Drainage and Water Bodies, Wastewater Treatment and Security, and Wastewater Treatment and Reuse.
Integrated Ring Resonators : The Compendium
Ring resonators find applications not only in optical networks, but also as sensors. The required passband shape of ring resonator-filters can be custom designed by the use of configurations of various ring coupled resonators. This book describes the current state-of-the-art on these devices with respect to design, fabrication and application.
Integrated formal methods ; 5th International conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 4148 ; 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings
Welcome to the proceedings of PATMOS 2006, the 16th in a series of international workshops. PATMOS 2006 was organized by LIRMM with CAS technical - sponsorship and CEDA sponsorship. Over the years, the PATMOS workshop has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of upcoming generations of integrated circuits and systems. The technical program of PATMOS 2006 contained state-of-the-art technical contributions, three invited talks, a special session on hearing-aid design, and an embedded tutorial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert reviewers, selected the 64 papers presented at PATMOS. The papers were organized into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, full papers were required, and several reviews were received per manuscript.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 3728 ; 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom the IEEE Circuits and Systems Society. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the developmentof upcominggenerationsof integrated circuits and systems. The technical program of PATMOS 2005 contained state-of-the-art technical contri- tions, three invited talks, a special session on hearing-aid design, and an embedded - torial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, char- terization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert revi- ers, selected the 74 papers to be presented at PATMOS. The papers were divided into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were carried out per paper. Beyond the presentations of the papers, the PATMOS technical program was - riched by a series of speeches offered by world class experts, on important emerging research issues of industrial relevance. Prof. Jan Rabaey, Berkeley, USA, gave a talk on “Traveling the Wild Frontier of Ulta Low-Power Design”, Dr. Sung Bae Park, S- sung, gave a presentation on “DVL (Deep Low Voltage): Circuits and Devices”, Prof.
Integrated circuit and system design : Power and timing modeling, optimization and simulation ; 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings
Papers cover high level design, low power design techniques, low power analog circuits, statistical static timing analysis, power modeling and optimization, low power routing optimization, security and asynchronous design, low power applications, modeling and optimization, and more.
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.
Integral waterproofing of concrete structures : Advanced protection technologies of concrete by pore blocking and lining
This book first establishes a background about concrete structures and porosity linked with concrete hydration, then goes on to consider concrete durability problems from the perspective of water penetration including damages from freeze-thaw cycles, alkali silica reactions, and chloride ion penetration. The mechanisms, applications, performances, and limitations of waterproofing technologies including coatings and integral systems are compared. The book also showcases all application methods of crystallization waterproofing materials, including material spray on cured concrete and on fresh concrete, and their addition to concrete mix designs as enhancers or admixtures.
Integral Methods in Science and Engineering : Techniques and Applications
The physical world is studied by means of mathematical models, which consist of differential, integral, and integro-differential equations accompanied by a large assortment of initial and boundary conditions. In certain circumstances, such models yield exact analytic solutions. When they do not, they are solved numerically by means of various approximation schemes. Whether analytic or numerical, these solutions share a common feature: they are constructed by means of the powerful tool of integration—the focus of this self-contained book. This work illustrates the application of integral methods to diverse problems in mathematics, physics, biology, and engineering. The thirty two chapters of the book, written by scientists with established credentials in their fields, contain state-of-the-art information on current research in a variety of important practical disciplines.
Integral closure : Rees algebras, multiplicities, algorithms
Integral Closure gives an account of theoretical and algorithmic developments on the integral closure of algebraic structures. These are shared concerns in commutative algebra, algebraic geometry, number theory and the computational aspects of these fields. The overall goal is to determine and analyze the equations of the assemblages of the set of solutions that arise under various processes and algorithms. It gives a comprehensive treatment of Rees algebras and multiplicity theory - while pointing to applications in many other problem areas. Its main goal is to provide complexity estimates by tracking numerically invariants of the structures that may occur.
Instrumaster
Experiments with different neural network structures and algorithms in order to achieve musical note recognition as well as musical instrument recognition, all bundled in a mobile application. It also aims to create the most effective music-learning application that works completely offline, which is hard to find in modern music applications. The paper also explores why the instrument identifying AI is solely based on Multi-Layer Perceptron (MLP) and why the note-identifying AI system was chosen to be a ML system over CNN or other deep-learning trained AI. The paper presents feature extraction methods for audio signals and files and dives deep into the process, such as FFT, MFCCs, Wavelengths, sampling rates, etc. It also touches on Logistic Regression Algorithms, their limitations, and their performance with the different use cases in the application. All these techniques are then compared side by side for maximally added value, making this research paper a good reference for any future developers looking to find optimal neural networks techniques when it comes to audio processing and analysis.
Insights into the pharmaceutical and clinical applications of nanoparticles in cancer therapy
Healthcare has long been on a quest for a ‘magic bullet’ to cure the dreaded disease cancer. As this book shows, nanoparticles perfectly fit the bill with their promising characteristics. Meticulously engineered nanostructures, with a useful drug or molecule, target a specific cancer in unique ways. However, as with many targeted systems, the effectiveness of the system needs to be weighed against the adverse effects. The toxicity of nanoparticles has been a worldwide concern, and evidence-based medicine analyses nanostructures for proof of safety and their efficacy in killing cancer cells. This book gives a fresh perspective on a wealth of diverse nanotechnological advances for various cancers.
