Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book introduces the theoretical fundamentals for modeling queues in discrete-time, and the basic procedures for developing queuing models in discrete-time. There is a focus on applications in modern telecommunication systems. It presents how most queueing models in discrete-time can be set up as discrete-time Markov chains. Techniques such as matrix-analytic methods (MAM) that can used to analyze the resulting Markov chains are included. This book covers single node systems, tandem system and queueing networks. It shows how queues with time-varying parameters can be analyzed, and illustrates numerical issues associated with computations for the discrete-time queueing systems. Optimal control of queues is also covered. Applied Discrete-Time Queues targets researchers, advanced-level students and analysts in the field of telecommunication networks. It is suitable as a reference book and can also be used as a secondary text book in computer engineering and computer science. Examples and exercises are included.

Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Queuing theory. --- Discrete-time systems. --- DES (System analysis) --- Discrete event systems --- Sampled-data systems --- Erlang traffic formula --- Queueing theory --- Theory of queues --- Waiting-line theory --- Digital control systems --- System analysis --- Linear time invariant systems --- Production scheduling --- Stochastic processes --- Telecommunication. --- Computer Communication Networks. --- Production of electric energy or. --- Microwaves. --- Communications Engineering, Networks. --- Power Electronics, Electrical Machines and Networks. --- Microwaves, RF and Optical Engineering. --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Telecommunications --- Communication --- Information theory --- Telecommuting --- Hertzian waves --- Electric waves --- Electromagnetic waves --- Geomagnetic micropulsations --- Radio waves --- Shortwave radio --- Electrical engineering. --- Computer communication systems. --- Power electronics. --- Optical engineering. --- Mechanical engineering --- Electronics, Power --- Electric power --- Electronics --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Electric engineering --- Engineering --- Distributed processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Philology --- Literature --- History and criticism --- Literature. --- Philology. --- Belles-lettres --- Western literature (Western countries) --- World literature --- Authors --- Authorship

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume. Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.

Computer software --Development --Congresses. --- Formal methods (Computer science) --Congresses. --- Programming languages (Electronic computers) --Congresses. --- Type theory --Congresses. --- Computer software --- Formal methods (Computer science) --- Programming languages (Electronic computers) --- Type theory --- Computer Science --- Engineering & Applied Sciences --- Development --- Information Technology --- Software Engineering --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer simulation. --- Management information systems. --- Computer Science. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Simulation and Modeling. --- Programming Techniques. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Communication systems --- Programming --- Logic, Symbolic and mathematical --- Information Systems.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

En Afrique de l'Ouest, la pêche, surtout développée à l'échelle artisanale, est une activité importante pour de nombreuses populations de l'intérieur et des zones côtières. Elle leur fournit emplois et revenus, tout en contribuant à la sécurité alimentaire des pays. Cependant, la pêche artisanale est très peu prise en considération par les opérations de recensement qui sont périodiquement conduites par les services statistiques nationaux. L'une des conséquences est qu'elle parvient difficilement à trouver sa place au sein des politiques de développement. Prenant la mesure de cette situation, l’Union économique et monétaire ouest-africaine (UEMOA) a lancé depuis 2012 de grandes enquêtes déployées sur les huit pays de cette zone économique. Cet atlas présente l'essentiel des indicateurs obtenus à partir de ces enquêtes, que ce soit de façon directe ou par estimation. Il décrit les équipements et activités de pêche, les poissons capturés, la chaîne de traitement des produits après la capture, sans oublier les conditions de vie des pêcheurs dans leurs sites d’habitat. Les indicateurs, présentés sous forme de graphiques, cartes et tableaux, sont accompagnés d’analyses rédigées par les experts internationaux et les experts des administrations nationales qui ont conçu et réalisé ces enquêtes. Les décideurs publics et les opérateurs du développement trouveront dans cet atlas des informations pertinentes et actualisées susceptibles de guider leurs politiques et leurs actions. Les scientifiques et les étudiants du supérieur pourront tirer parti des connaissances inédites mises à disposition ainsi que des méthodologies décrites. Enfin, les lecteurs intéressés par la forte culture de la pêche développée par les populations des côtes, fleuves et lacs d’Afrique de l'Ouest y découvriront cette tradition, décrite de manière accessible et richement illustrée.

Economics --- Business --- pêches --- poissons --- économie --- emplois --- revenus --- développement --- sécurité alimentaire --- politiques publiques --- Afrique --- atlas