1.

Record Nr.

UNINA9910496053203321

Autore

Bréchet Jean-Pierre

Titolo

L’action collective : Une perspective régulationniste / Jean-Pierre Bréchet

Pubbl/distr/stampa

Aix-en-Provence, : Presses universitaires de Provence, 2021

ISBN

979-1-03-656956-2

Descrizione fisica

1 online resource (140 p.)

Soggetti

Economics

Business

travail

gouvernance dictionnaire

action collective

organisation

Lingua di pubblicazione

Francese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Sommario/riassunto

Le dictionnaire retient que les organisations qui se créent sont le fruit des projets ou des desseins des hommes. Mais cette idée, qui semble frappée d’une certaine évidence, n’a guère suscité de développements dans la sphère académique pour théoriser l’entreprise et plus généralement l’action collective. Si l’on considère qu’il s’agit bien d’un manque, ou si l’on a l’intuition de l’importance du projet collectif pour penser l’action collective, il convient d’en montrer la portée. C’est l’objet de ce livre qui vise à établir que l’action collective naît d’un projet collectif, que ce projet s’exprime par des règles et dans des régulations constitutives de l’acteur collectif lui-même. L’action collective comme communauté de projet se comprend comme communauté de règles vécues, communauté d’apprentissage, avec pour enjeu une capacité d’action commune. Un agir projectif est en jeu aussi bien à l’échelle individuelle que collective, celui-ci doit être pleinement intégré dans l’e ort de théorisation de l’action.



2.

Record Nr.

UNINA9910779734903321

Autore

Kulisch Ulrich

Titolo

Computer arithmetic and validity [[electronic resource] ] : theory, implementation, and applications / / Ulrich Kulisch

Pubbl/distr/stampa

Berlin, : De Gruyter, 2013

ISBN

3-11-030179-2

Edizione

[2nd ed.]

Descrizione fisica

1 online resource (434 p.)

Collana

De Gruyter Studies in Mathematics ; ; 33

De Gruyter studies in mathematics, , 0179-0986 ; ; 33

Classificazione

SK 900

Disciplina

005.101/5113

Soggetti

Computer arithmetic

Computer arithmetic and logic units

Floating-point arithmetic

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Frontmatter -- Foreword to the second edition -- Preface -- Contents -- Introduction -- Part I. Theory of computer arithmetic -- Chapter 1. First concepts -- Chapter 2. Ringoids and vectoids -- Chapter 3. Definition of computer arithmetic -- Chapter 4. Interval arithmetic -- Part II. Implementation of arithmetic on computers -- Chapter 5. Floating-point arithmetic -- Chapter 6. Implementation of floating-point arithmetic on a computer -- Chapter 7. Hardware support for interval arithmetic -- Chapter 8. Scalar products and complete arithmetic -- Part III. Principles of verified computing -- Chapter 9. Sample applications -- Appendix A. Frequently used symbols -- Appendix B. On homomorphism -- Bibliography -- List of figures -- List of tables -- Index

Sommario/riassunto

This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the



customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics.