Böcker utgivna av ISTE Ltd and John Wiley & Sons Inc

The performance of an algorithm used depends on the GNA. This book focuses on the comparison of optimizers, it defines a stress-outcome approach which can be derived all the classic criteria (median, average, etc. ) and other more sophisticated.

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.

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.

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.

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.

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.).

Information retrieval is a central and essential activity. It is indeed difficult to find a human activity that does not need to retrieve information in an environment which is often increasingly digital: moving and navigating, learning, having fun, communicating, informing, making a decision, etc. Most human activities are intimately linked to our ability to search quickly and effectively for relevant information, the stakes are sometimes extremely important: passing an exam, voting, finding a job, remaining autonomous, being socially connected, developing a critical spirit, or simply surv.

Microwave and radio frequency (RF) elements play an important role in communication systems, and, due to the proliferation of radar, satellite and mobile wireless systems, there is a need for the study of electromagnetism.

This book gives new insight on plate models in the linear elasticity framework tacking into account heterogeneities and thickness effects. It is targeted to graduate students how want to discover plate models but deals also with latest developments on higher order models. Plates models are both an ancient matter and a still active field of research. First attempts date back to the beginning of the 19th century with Sophie Germain. Very efficient models have been suggested for homogeneous and isotropic plates by Love (1888) for thin plates and Reissner (1945) for thick plates. However, the extension of such models to more general situations --such as laminated plates with highly anisotropic layers-- and periodic plates --such as honeycomb sandwich panels-- raised a number of difficulties. An extremely wide literature is accessible on these questions, from very simplistic approaches, which are very limited, to extremely elaborated mathematical theories, which might refrain the beginner. Starting from continuum mechanics concepts, this book introduces plate models of progressive complexity and tackles rigorously the influence of the thickness of the plate and of the heterogeneity. It provides also latest research results. The major part of the book deals with a new theory which is the extension to general situations of the well established Reissner-Mindlin theory. These results are completely new and give a new insight to some aspects of plate theories which were controversial till recently.

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.Contents to include: * algebraic structures, homomorphisms, relations, free monoid * finite words, prefixes, suffixes, factors, palindromes* periodicity and Fine-Wilf theorem* infinite words are sequences over a finite alphabet* properties of an ultrametric distance, example of the p-adic norm* topology of the set of infinite words* converging sequences of infinite and finite words, compactness argument* iterated morphism, coding, substitutive or morphic words* the typical example of the Thue-Morse word* the Fibonacci word, the Mex operator, the n-bonacci words* wordscomingfromnumbertheory(baseexpansions,continuedfractions,...) * the taxonomy of Lindenmayer systems* S-adic sequences, Kolakoski word* repetition in words, avoiding repetition, repetition threshold* (complete) de Bruijn graphs* concepts from computability theory and decidability issues* Post correspondence problem and application to mortality of matrices* origins of combinatorics on words* bibliographic notes* languages of finite words, regular languages* factorial, prefix/suffix closed languages, trees and codes* unambiguous and deterministic automata, Kleene's theorem* growth function of regular languages* non-deterministic automata and determinization* radix order, first word of each length and decimation of a regular language* the theory of the minimal automata* an introduction to algebraic automata theory, the syntactic monoid and thesyntactic complexity* star-free languages and a theorem of Schu tzenberger* rational formal series and weighted automata* context-free languages, pushdown automata and grammars* growth function of context-free languages, Parikh's theorem* some decidable and undecidable problems in formal language theory* bibliographic notes* factor complexity, Morse-Hedlund theorem* arithmetic complexity, Van Der Waerden theorem, pattern complexity * recurrence, uniform recurrence, return words* Sturmian words, coding of rotations, Kronecker's theorem* frequencies of letters, factors and primitive morphism* critical exponent* factor complexity of automatic sequences* factor complexity of purely morphic sequences* primitive words, conjugacy, Lyndon word* abelianisation and abelian complexity* bibliographic notes* automatic sequences, equivalent definitions* a theorem of Cobham, equivalence of automatic sequences with constantlength morphic sequences* a few examples of well-known automatic sequences* about Derksen's theorem* some morphic sequences are not automatic* abstract numeration system and S-automatic sequences* k . infinity -automatic sequences* bibliographic notes* numeration systems, greedy algorithm* positional numeration systems, recognizable sets of integers* divisibility criterion and recognizability of N* properties of k-recognizable sets of integers, ratio and difference of consec-utive elements: syndeticity* integer base and Cobham's theorem on the base dependence of the recog-nizability* non-standard numeration systems based on sequence of integers* linear recurrent sequences, Loraud and Hollander results* Frougny's normalization result and addition* morphic numeration systems/sets of integers whose characteristic sequenceis morphic* towards a generalization of Cobham's theorem* a few words on the representation of real numbers, ß-integers, finitenessproperties* automata associated with Parry numbers and numeration systems* bibliographic notesFirst order logic* Presburger arithmetic and decidable theory* Muchnik's characterization of semi-linear sets* Bu chi's theorem: k-recognizable sets are k-definable * extension to Pisot numeration systems* extension to real numbers* decidability issues for numeration systems* applications in combinatorics on words

This book deals with the management and valuation of energy storage in electric power grids, highlighting the interest of storage systems in grid applications and developing management methodologies based on artificial intelligence tools. The authors highlight the importance of storing electrical energy, in the context of sustainable development, in "smart grids," and discuss multiple services that storing electrical energy can bring. Methodological tools are provided to build an energy management system storage following a generic approach. These tools are based on causal formalisms, artificial intelligence and explicit optimization techniques and are presented throughout the book in connection with concrete case studies.

This book is devoted to the most used methodologies for performance evaluation: simulation using specialized software and mathematical modeling. An important part is dedicated to the simulation, particularly in its theoretical framework and the precautions to be taken in the implementation of the experimental procedure.

This book deals with air-ground aeronautical communications. The main goal is to give the reader a survey of the currently deployed, emerging and future communications systems dedicated to digital data communications between the aircraft and the ground, namely the data link. Those communication systems show specific properties relatively to those commonly used for terrestrial communications. In this book, the system architectures are more specifically considered from the access to the application layers as radio and physical functionalities have already been addressed in detail in others books. The first part is an introduction to aeronautical communications, their specific concepts, properties, requirements and terminology. The second part presents the currently used systems for air ground communications in continental and oceanic area. The third part enlightens the reader on the emerging and future communication systems and some leading research projects focused on this scope. Finally, before the conclusion, the fourth part gives several main challenges and research directions currently under investigation.

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.

This book presents the state of the art in the field of mobile and wireless networks, and anticipates the arrival of new standards and architectures.

This book will present the theoretical and technological elements of nanosystems. Among the different topics discussed, the authors include the electromechanical properties of NEMS, the scaling effects that give these their interesting properties for different applications and the current manufacturing processes.

This title proposes a unified approach to continuum mechanics which is consistent with Galilean relativity.

After a quick survey of the famous pioneers of human movement analysis and the actual needs in different domains, this book presents the main types of systems available on the market (with the pros and cons), and then details the most widely used: the optoelectronic systems using passive markers.

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.

This book, on the ergonomics of human-machine systems, is aimed at engineers specializing in informatics, automation, production or robotics, who are faced with a significant dilemma during the conception of human-machine systems. On the one hand, the human operator guarantees the reliability of the system and has been known to salvage numerous critical situations through an ability to reason in unplanned, imprecise and uncertain situations; on the other hand, the human operator can be unpredictable and create disturbances in the automated system. The first part of the book is dedicated to the methods of human-centered design, from three different points of view, the various chapters focusing on models developed by human engineers and functional models to explain human behavior in their environment, models of cognitive psychology and models in the domain of automobile driving. Part 2 develops the methods of evaluation of the human-machine systems, looking at the evaluation of the activity of the human operator at work and human error analysis methods. Finally, Part 3 is dedicated to human-machine cooperation, where the authors show that a cooperative agent comprises a know-how and a so-called know-how-to-cooperate and show the way to design and evaluate that cooperation in real industrial contexts.

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although not yet understood from the theoretical point of view, local search is the paradigm of choice for tackling large-scale real-life optimization problems. Today's end-users demand interactivity with decision support systems. For optimization software, this means obtaining good-quality solutions quickly. Fast iterative improvement methods, like local search, are suited to satisfying such needs. Here the authors show local search in a new light, in particular presenting a new kind of mathematical programming solver, namely LocalSolver, based on neighborhood search. First, an iconoclast methodology is presented to design and engineer local search algorithms. The authors' concern regarding industrializing local search approaches is of particular interest for practitioners. This methodology is applied to solve two industrial problems with high economic stakes. Software based on local search induces extra costs in development and maintenance in comparison with the direct use of mixed-integer linear programming solvers. The authors then move on to present the LocalSolver project whose goal is to offer the power of local search through a model-and-run solver for large-scale 0-1 nonlinear programming. They conclude by presenting their ongoing and future work on LocalSolver toward a full mathematical programming solver based on local search.

This Series provides the necessary elements to the development and validation of numerical prediction models for hydrodynamic bearings. This book with the specific case of internal combustion engine (ICE) journal bearing lubrication. Many examples, relating to various types of ICE, are presented.

This Series provides the necessary elements to the development and validation of numerical prediction models for hydrodynamic bearings. This book describes the thermo-hydrodynamic and the thermo-elasto-hydrodynamic lubrication. The algorithms are methodically detailed and each section is thoroughly illustrated.

This Series provides the necessary elements to the development and validation of numerical prediction models for hydrodynamic bearings. This book is dedicated to the mixed lubrication.

This Series provides the necessary elements to the development and validation of numerical prediction models for hydrodynamic bearings. This book describes the rheological models and the equations of lubrication. It also presents the numerical approaches used to solve the above equations by finite differences, finite volumes and finite elements methods.

This book deals with the various aspects of stochastic dynamics, the resolution of large mechanical systems, and inverse problems. It integrates the most recent ideas from research and industry in the field of stochastic dynamics and optimization in structural mechanics over 11 chapters.

In the field of image processing, many applications require real-time execution, particularly those in the domains of medicine, robotics and transmission, to name but a few. Recent technological developments have allowed for the integration of more complex algorithms with large data volume into embedded systems, in turn producing a series of new sophisticated electronic architectures at affordable prices. This book performs an in-depth survey on this topic. It is primarily written for those who are familiar with the basics of image processing and want to implement the target processing design using different electronic platforms for computing acceleration. The authors present techniques and approaches, step by step, through illustrative examples. This book is also suitable for electronics/embedded systems engineers who want to consider image processing applications as sufficient imaging algorithm details are given to facilitate their understanding.

"We do not know where Silicon Valley is really located", Feldman writes, because these types of organization, when they are dynamic, are moving and fluid. Innovation and production ecosystems or clusters are proliferating today because they seem to be adapted to the demands of innovation, growth and employment. The process leading to their institutionalization escapes a summary analysis of the behavior triggered by monetary incentives or, at the very least, makes it richer. The relational aspect becomes predominant, the interactions between the participants testify to the difficulty of separating the geographical and social dimensions. In the most prominent American clusters, public/private linkages and the building of social links express the centrality of networks in the innovation process. The European vision seeks to articulate entrepreneurial discoveries with vertical public interventions. The competitiveness poles in France suffer from the fact that public choices seem to be torn between two contradictory objectives: efficiency and equity.

For firms and other organizations, innovation has become a means of anticipating and managing major changes in their external context and overcoming societal challenges such as sustainable development. As a result, they must innovate repeatedly and continuously. This book explores the multiple facets of innovation project management, defined as the set of activities implemented to bring into being and successfully complete one or several innovation projects. It combines research experience, in cooperation with practitioners, and a theoretical, transversal and global overview inspired from different research streams. The author develops methodologies and frameworks that might be put into practice, provides a case study of research conducted with an air systems manufacturing firm, and outlines avenues for further reflection on innovation project management practice improvement.