Resultados de Pesquisa

INGLÊS

Innovations And Techno-Ecological Transition - Moving To A Discarbonated Society

de Corinne (Cesaer (Umr Inra-Agrosup Dijon), Agrosup Dijon, France) Tanguy e Fabienne (University Of Technology Belfort-Montbeliard, France) Picard

187,85€ + 10% EM CARTÃO

portes grátis

 This book aims to present a systemic perspective to energetic transition to a discarbonated society implying an increase of energetic efficiency of current production process, new way of energy production - integration of renewable energies, re-use of wastes.
INGLÊS

Real-Time Systems Scheduling 2 - Focuses

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is responsible for software execution in a timely manner. This book, the second of two volumes on the subject, brings together knowledge on specific topics and discusses the recent advances for some of them. It addresses foundations as well as the latest advances and findings in real-time scheduling, giving comprehensive references to important papers, but the chapters are short and not overloaded with confusing details. Coverage includes scheduling approaches for networks and for energy autonomous systems. Other sophisticated issues, such as feedback control scheduling and probabilistic scheduling, are also addressed. This book can serve as a textbook for courses on the topic in bachelor's degrees and in more advanced master's degree programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.
INGLÊS

Formal Languages, Automata And Numeration Systems 2 - Applications To Recognizability And Decidability

de Michel Rigo

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. B chi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a "simple" binary expansion, by B. Adamczewski and Y. Bugeaud. This book is at the heart of this interplay through a unified exposition. Objects are considered with a perspective that comes both from theoretical computer science and mathematics. Theoretical computer science offers here topics such as decision problems and recognizability issues, whereas mathematics offers concepts such as discrete dynamical systems. The main goal is to give a quick access, for students and researchers in mathematics or computer science, to actual research topics at the intersection between automata and formal language theory, number theory and combinatorics on words. The second of two volumes on this subject, this book covers regular languages, numeration systems, formal methods applied to decidability issues about infinite words and sets of numbers.
INGLÊS

Integral And Measure - From Rather Simple To Rather Complex

de Vigirdas Mackevicius

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This book is devoted to integration, one of the two main operations in calculus. In Part 1, the definition of the integral of a one-variable function is different (not essentially, but rather methodically) from traditional definitions of Riemann or Lebesgue integrals. Such an approach allows us, on the one hand, to quickly develop the practical skills of integration as well as, on the other hand, in Part 2, to pass naturally to the more general Lebesgue integral. Based on the latter, in Part 2, the author develops a theory of integration for functions of several variables. In Part 3, within the same methodological scheme, the author presents the elements of theory of integration in an abstract space equipped with a measure; we cannot do without this in functional analysis, probability theory, etc. The majority of chapters are complemented with problems, mostly of the theoretical type. The book is mainly devoted to students of mathematics and related specialities. However, Part 1 can be successfully used by any student as a simple introduction to integration calculus.
INGLÊS

Transfer And Management Of Knowledge

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 In present days more and more academics and practitioners are seeking to understand how organizations manage their knowledge and intellectual capital in order to obtain more effective competitive advantages. Taking into account these issues, and in order to answer the concerns expressed by these professionals, this book looks to help them to understand and implement in their organizations effective transfer and management of knowledge strategies. It looks for ways to understand and perceive how organizational HR, individually and as a team, conceptualize, invent, adapt, define and use this knowledge and intellectual capital. The book has a special interest in research on important issues that transcend the boundaries of single academic subjects and managerial functions. In a modern world, characterized by high levels of competition and complexity, only those organizations which can manage, efficiently, all their assets can survive. Among these the management of knowledge and intellectual assets is a recent and challenging process. Only with human talent organizations can survive. Conscious of these priorities, this book is of great relevance as it looks for ways to understand and perceive how organizational HR, individually and as a team, conceptualize, invent, adapt, define, transfer and use knowledge and intellectual capital. It is, also, very important and with positive implications to practitioners and academics, as it will contribute to a more effective advance and tool of communication in what concerns the understanding of key issues related to the knowledge management and intellectual capital in competitive organizations management all over the world.
INGLÊS

Formal Languages, Automata And Numeration Systems 1 - Introduction To Combinatorics On Words

de Michel Rigo

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory). Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory.
INGLÊS

Real-Time Systems Scheduling 1 - Fundamentals

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since responsible of software execution in a timely manner. This book provides state of knowledge in this domain with special emphasis on the key results obtained within the last decade. This book addresses foundations as well as the latest advances and findings in Real-Time Scheduling, giving all references to important papers. But nevertheless the chapters will be short and not overloaded with confusing details. Coverage includes scheduling approaches for mono-core as well as multi-core platforms, dependent tasks, networks, and notably very tremendous recent advances in scheduling of energy constrained embedded systems. Other sophisticated issues such as feedback control scheduling and timing analysis of critical applications are also addressed. This volume can serve as a textbook for courses on the topic in bachelor and in more advanced master programs. It also provides a reference for computer scientists and engineers involved in the design or the development of Cyber-Physical Systems which require up-to-date real-time scheduling solutions.
INGLÊS

Graph-Related Optimization And Decision Support Systems

de Jouhaina Chaouachi e Saoussen Krichen

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Constrained optimization is a challenging branch of operations research that aims to create a model which has a wide range of applications in the supply chain, telecommunications and medical fields. As the problem structure is split into two main components, the objective is to accomplish the feasible set framed by the system constraints. The aim of this book is expose optimization problems that can be expressed as graphs, by detailing, for each studied problem, the set of nodes and the set of edges. This graph modeling is an incentive for designing a platform that integrates all optimization components in order to output the best solution regarding the parameters' tuning. The authors propose in their analysis, for optimization problems, to provide their graphical modeling and mathematical formulation and expose some of their variants. As a solution approaches, an optimizer can be the most promising direction for limited-size instances. For large problem instances, approximate algorithms are the most appropriate way for generating high quality solutions. The authors thus propose, for each studied problem, a greedy algorithm as a problem-specific heuristic and a genetic algorithm as a metaheuristic.
INGLÊS

Transport And Coherent Structures In Wall Turbulence

de Sedat Tardu

231,81€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Wall bounded turbulent flows are of major importance in industrial and environmental fluid mechanics. The structure of the wall turbulence is intrinsically related to the coherent structures that play a fundamental role in the transport process. The comprehension of their regeneration mechanism is indispensable for the development of efficient strategies in terms of drag control and near wall turbulence management. This book provides an up-to-date overview on the progress made in this specific area in recent years.
INGLÊS

Logical Modeling Of Biological Systems

219,88€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Systems Biology is the systematic study of the interactions between the components of a biological system and studies how these interactions give rise to the function and behavior of the living system. Through this, a life process is to be understood as a whole system rather than the collection of the parts considered separately. Systems Biology is therefore more than just an emerging field: it represents a new way of thinking about biology with a dramatic impact on the way that research is performed. The logical approach provides an intuitive method to provide explanations based on an expressive relational language. This book covers various aspects of logical modeling of biological systems, bringing together 10 recent logic-based approaches to Systems Biology by leading scientists. The chapters cover the biological fields of gene regulatory networks, signaling networks, metabolic pathways, molecular interaction and network dynamics, and show logical methods for these domains based on propositional and first-order logic, logic programming, answer set programming, temporal logic, Boolean networks, Petri nets, process hitting, and abductive and inductive logic programming. It provides an excellent guide for all scientists, biologists, bioinformaticians, and engineers, who are interested in logic-based modeling of biological systems, and the authors hope that new scientists will be encouraged to join this exciting scientific endeavor.
INGLÊS

Applications Of Combinatorial Optimization

207,96€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of combinatorial optimization. Concepts of Combinatorial Optimization, is divided into three parts: - On the complexity of combinatorial optimization problems, presenting basics about worst-case and randomized complexity; - Classical solution methods, presenting the two most-known methods for solving hard combinatorial optimization problems, that are Branch-and-Bound and Dynamic Programming; - Elements from mathematical programming, presenting fundamentals from mathematical programming based methods that are in the heart of Operations Research since the origins of this field.
INGLÊS

Concepts Of Combinatorial Optimization

194,71€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of combinatorial optimization. Concepts of Combinatorial Optimization, is divided into three parts: - On the complexity of combinatorial optimization problems, presenting basics about worst-case and randomized complexity; - Classical solution methods, presenting the two most-known methods for solving hard combinatorial optimization problems, that are Branch-and-Bound and Dynamic Programming; - Elements from mathematical programming, presenting fundamentals from mathematical programming based methods that are in the heart of Operations Research since the origins of this field.
INGLÊS

Paradigms Of Combinatorial Optimization - Problems And New Approaches

349,73€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Combinatorial optimization is a multidisciplinary scientific area, lying in the interface of three major scientific domains: mathematics, theoretical computer science and management. The three volumes of the Combinatorial Optimization series aim to cover a wide range of topics in this area. These topics also deal with fundamental notions and approaches as with several classical applications of combinatorial optimization. Concepts of Combinatorial Optimization, is divided into three parts: - On the complexity of combinatorial optimization problems, presenting basics about worst-case and randomized complexity; - Classical solution methods, presenting the two most-known methods for solving hard combinatorial optimization problems, that are Branch-and-Bound and Dynamic Programming; - Elements from mathematical programming, presenting fundamentals from mathematical programming based methods that are in the heart of Operations Research since the origins of this field.
INGLÊS

Oled Microdisplays - Technology And Applications

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Microdisplays are displays requiring optical magnification and OLEDs (Organic Light-Emitting Diode) are self-emitting displays where each pixel includes a LED made of organic material, in general composed of small-molecule organic material. This title reviews in detail how OLED microdisplays are made as well as how they are used. All aspects from theory to application will be addressed: basic principles, display design, display fabrication, operation and performances, present and future applications. The book will be useful to anyone interested in this rapidly developing field, such as students or researchers, industry professionals (engineers, project leaders) in the field of display development/fabrication and display end-users.
INGLÊS

Chinese Cybersecurity And Defense

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Cyberdefense has become, over the past five years, a major issue on the international scene. China, by the place it occupies, is the subject of attention: it is observed, criticized, and designated by many states as a major player in the global cyber-insecurity. The United States is building their cyberdefense strategy against what they call the "Chinese threat." It is therefore important to better understand today's challenges related to cyber dimension in regard of the rise of China.Contributions from international researchers provide cross perspectives on China, its strategies and policies for cybersecurity and cyberdefense. These issues have now gained major strategic dimension: Is Cyberspace changing the scene of international relations? How China does apprehend cybersecurity and cyberdefense? What are the issues, challenges? What is the role of China in the global cyberspace?
INGLÊS

Wide Band Gap Semiconductor Nanowires 1 - Low-Dimensionality Effects And Growth

202,66€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 GaN and ZnO nanowires can by grown using a wide variety of methods from physical vapor deposition to wet chemistry for optical devices. This book starts by presenting the similarities and differences between GaN and ZnO materials, as well as the assets and current limitations of nanowires for their use in optical devices, including feasibility and perspectives. It then focuses on the nucleation and growth mechanismsof ZnO and GaN nanowires, grown by various chemical and physical methods. Finally, it describes the formation of nanowire heterostructures applied to optical devices.
INGLÊS

Wide Band Gap Semiconductor Nanowires 2 - Heterostructures And Optoelectronic Devices

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This book, the second of two volumes, describes heterostructures and optoelectronic devices made from GaN and ZnO nanowires. Over the last decade, the number of publications on GaN and ZnO nanowires has grown exponentially, in particular for their potential optical applications in LEDs, lasers, UV detectors or solar cells. So far, such applications are still in their infancy, which we analyze as being mostly due to a lack of understanding and control of the growth of nanowires and related heterostructures. Furthermore, dealing with two different but related semiconductors such as ZnO and GaN, but also with different chemical and physical synthesis methods, will bring valuable comparisons in order to gain a general approach for the growth of wide band gap nanowires applied to optical devices.
INGLÊS

Environmental Impact Of Polymers

231,81€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This text addresses the common negative perception of polymer materials on the environment with a thorough analysis of what really occurs when industry and academia collaborate to find environmental solutions. The book examines the environmental and social effects of polymer materials and explains methods of quantifying environmental performance.
INGLÊS

Diversity And Non-Integer Differentiation For System Dynamics

de Alain Oustaloup

189,41€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Based on a structured approach to diversity, notably inspired by various forms of diversity of natural origins, Diversity and Non-integer Derivation Applied to System Dynamics provides a study framework to the introduction of the non-integer derivative as a modeling tool. Modeling tools that highlight unsuspected dynamical performances (notably damping performances) in an "integer" approach of mechanics and automation are also included. Written to enable a two-tier reading, this is an essential resource for scientists, researchers, and industrial engineers interested in this subject area. Table of Contents:1. From Diversity to Unexpected DynamicPerformance.2. The Robustness of Damping.3. Fractional Differentiation and its Memory.4. CRONE Suspension Idea.5. CRONE Control Idea
INGLÊS

Ultra Low Power Electronics And Adiabatic Solutions

de Herve (Cea-Leti, France) Fanet

187,85€ + 10% EM CARTÃO

portes grátis

 The improvement of energy efficiency in electronics and computing systems is currently central to information and communication technology design; low-cost cooling, autonomous portable systems and functioning on recovered energy all need to be continuously improved to allow modern technology to compute more while consuming less.
INGLÊS

Formal Methods Applied To Industrial Complex Systems

219,88€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these formal methods (such as proof and model-checking) in industrial examples of complex systems. It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us to supply new useful information (photos, architecture plans, real examples, etc.).
INGLÊS

Sustainable Masonry - Stability And Behavior Of Structures

de Jean-Claude Morel e Thierry Ciblac

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This book covers the impact of sustainable masonry on the environment, touting the many benefits of utilizing local and/or low embodied energy materials in the construction of sustainable buildings.
INGLÊS

Marine Coastal And Water Pollutions - Oil Spill Studies

184,11€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Identifying efficient solutions to protect coastal regions from marine pollution requires expertise from a range of specialties and strategic approaches. This book gathers information on the impact of oil spills at a coastal level from different experts' points of view, identifying synergies between domains such as mathematics, numerical modeling, mechanics, biology, economics and law. The collaborative research presented here is based on the 4th International Workshop on Anti-Pollution and Marine Coastal Water Pollution, held in La Rochelle, France at the Engineering School EIGSI, in April 2012. The areas addressed include: materials and structures (fluid-structure and capture interaction, cable and membrane equations, optimization); coastal hydrodynamics (computational fluid dynamics, numerical analysis of shallow water equations, analytical and numerical derivatives); biological impacts (biology, multivariate analysis, indicators); and economics and law (compensation costs, insurance coverage, coastal vulnerability).
INGLÊS

Formal Methods Applied To Complex Systems - Implementation Of The B Method

231,81€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of formal methods (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
A carregar resultados...

Ver mais resultados