WorldCat Identities

Institut national de recherche en informatique et en automatique (France)

Overview
Works: 2,582 works in 3,282 publications in 2 languages and 17,209 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Editor, Organizer of meeting, Producer, Collector, 981, Other, 475, Sponsor, 985, Distributor, Contributor, Publisher, Publishing director, Director
Publication Timeline
.
Most widely held works about Institut national de recherche en informatique et en automatique (France)
 
Most widely held works by Institut national de recherche en informatique et en automatique (France)
Analysis and optimization of systems by Alain Bensoussan( Book )

30 editions published between 1982 and 1993 in English and held by 443 WorldCat member libraries worldwide

This volume contains the proceedings of the conference "state and Frequency Domain Approaches to Infinite-Dimensional Systems". The aim was to bring together engineers and mathematicians working in the field of linear infinite-dimensional systems who are specialists in one or more of the following categories of mathematical approaches: semigroup approches,p.d.e. approaches, frequency domain approaches and syntheses of state-space and frequency domain approaches. Since these approaches use very different sophisticated mathematical techniques, it is unusual for a scientist to be expert in all of them. On the other hand, there different approaches all purport to address the same control problems for the same classes of linear infinite-dimensional systems. It is therefore important to compare and discuss the advantages and disadvantages of these different mathematical techniques. To help ameliorate the communication gab a series of introductory tutorial lectures were given by specialists in the above-mentioned fields. There were complemented by some key survey papers on more recent research, as well as by papers representing original research in these areas
Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings by Pierre Deransart( Book )

12 editions published in 1990 in English and Undetermined and held by 344 WorldCat member libraries worldwide

"Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. The workshop covered all aspects of attribute grammars, with an emphasis on practical results. This volume includes the text of the three invited talks and 21 submitted papers presented at the workshop. This selection provides a wide view of the diverse research being done in the area. Topics include: - Fundamentals: efficient exhaustive and incremental at- tribute evaluation methods, parallel evaluation, space optimization, relationships with functional, logic and object-oriented programming, and systems. - Applications: compiler construction, natural language processing, and interactive program manipulation."--PUBLISHER'S WEBSITE
Macroscopic modelling of turbulent flows : proceedings of a workshop held at INRIA, Sophia-Antipolis, France, December 10-14, 1984 by U Frisch( Book )

8 editions published in 1985 in English and held by 336 WorldCat member libraries worldwide

Geometry and robotics : workshop, Toulouse, France, May 26-28, 1988 : proceedings by J.-D Boissonnat( Book )

6 editions published in 1989 in English and held by 325 WorldCat member libraries worldwide

Annotation The role played by hormones in the development and treatment of malignant tumors has been controversial for nearly 50 years. The present volume concentrates on substantiated data obtained from the study of tumors developing from hormone-related or hormone-producing tissue, for example the thyroid, adrenal glands, prostate, and the female genital tract. Combining expertise from the fields of molecular biology, biochemistry, and histopathology, advances in the management of these tumors are elaborated. The book also provides information on the endonuclear diagnosis of adrenal tumors. Antihormones have proved to be important as they exhibit a destructive effect on prostate carcinomas and breast cancer. In addition, a special chapter discusses the diffuse endocrine cell system (DECS). Bridging the gap between molecular biology and endocrine therapy, the editors present innovative data on many aspects of hormone-related malignant tumors and offer both a survey of present knowledge and a basis for further research
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings by H Kirchner( Book )

4 editions published in 1990 in English and held by 319 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods
Proceedings : the 10th International Conference on Distributed Computing Systems, Paris, France, May 28-June 1, 1990 by 1990, Paris> International Conference on Distributed Computing Systems. <10( )

8 editions published in 1990 in English and held by 263 WorldCat member libraries worldwide

Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings by Laurent Kott( Book )

5 editions published in 1986 in English and held by 261 WorldCat member libraries worldwide

Fundamentals in computer understanding : speech and vision( Book )

1 edition published in 1987 in English and held by 256 WorldCat member libraries worldwide

Distributed computing systems : synchronization, control, and communication( Book )

2 editions published in 1983 in English and held by 255 WorldCat member libraries worldwide

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models : June 3-6, 1997, Saint Malo, France by IEEE International Workshop on Petri Nets and Performance Models( )

6 editions published between 1997 and 2002 in English and held by 254 WorldCat member libraries worldwide

Distributed data bases : proceedings of the International Symposium on Distributed Data Bases, Paris, France, March 12-14, 1980 by C Delobel( Book )

8 editions published in 1980 in English and held by 248 WorldCat member libraries worldwide

La Revue MODULAD( )

in French and held by 247 WorldCat member libraries worldwide

Differential games and applications by Tamer S Başar( Book )

6 editions published in 1989 in English and held by 240 WorldCat member libraries worldwide

This volume contains fifteen articles on the topic of differential and dynamic games, focusing on both theory and applications. It covers a variety of areas and presents recent developments on topics of current interest. It should be useful to researchers in differential and dynamic games, systems and control, operations research and mathematical economics
IV'2002 : IEEE Intelligent Vehicle Symposium = IEEE Symposium sur les Véhicules Intelligents : proceedings : June 17-21, 2002, Versailles, France by IEEE Intelligent Vehicles Symposium( )

4 editions published in 2003 in English and held by 224 WorldCat member libraries worldwide

1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation : proceedings, ETFA '95, Paris, France, October 10-13, 1995 by INRIA/IEEE Symposium on Emerging Technologies and Factory Automation( )

4 editions published in 1995 in English and held by 218 WorldCat member libraries worldwide

Analysis and optimization of systems : proceedings of the Fourth International Conference on Analysis and Optimization of Systems, Versailles, December 16-19, 1980 by Alain Bensoussan( Book )

8 editions published in 1980 in English and held by 208 WorldCat member libraries worldwide

IEEE Workshop on Variational and Level Set Methods in Computer Vision : 13 July 2001, Vancouver, Canada : proceedings by IEEE Workshop on Variational and Level Set Methods in Computer Vision( )

4 editions published between 2001 and 2002 in English and held by 205 WorldCat member libraries worldwide

Annotation
Numerical methods for the Euler equations of fluid dynamics by INRIA Workshop on Numerical Methods for the Euler Equations of Fluid Dynamics( Book )

7 editions published in 1985 in English and held by 197 WorldCat member libraries worldwide

QEST 2008 : Proceedings, Quantitative Evaluation of Systems : 14-17 September, 2008, St. Malo, France by International Conference on the Quantitative Evaluation of Systems( )

3 editions published in 2008 in English and held by 193 WorldCat member libraries worldwide

Fifth International Conference on Application of Concurrency to System Design : ACSD 2005 : proceedings : 7-9 June 2005, St. Malo, France by International Conference on Application of Concurrency to System Design( )

4 editions published in 2005 in English and held by 193 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.01 for Histoire d ... to 0.75 for Differenti ...)

WorldCat IdentitiesRelated Identities
Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings
Alternative Names

controlled identityInstitut de recherche d'informatique et d'automatique

Centre de Recherche Inria Futurs

Centre de Recherche Inria Futurs Orsay

France Institut national de recherche en informatique et en automatique

Francie Institut national de recherche en informatique et en automatique

I.N.R.I.A.

I.N.R.I.A. (Institut national de recherche en informatique et en automatique (France))

I.N.R.I.A. (Organisme)

INRIA.

Inria Futurs Research Centre

Inria Futurs Research Centre Orsay

INRIA (Institut national de recherche en informatique et en automatique ; France)

Inria National Institute for Research in Computer Science and Control

Inria (Organisme)

Institut de recherche en sciences du numérique (France)

Institut national de recherche d'informatique et d'automatique.

Institut national de recherche d'informatique et d'automatique (France)

Institut national de recherche d'informatique et d'automatique (Francie)

Institut national de recherche en informatique et automatique.

Institut national de recherche en informatique et automatique (France)

Institut national de recherche en informatique et automatique (Francie)

Institut national de recherche en informatique et en automatique

Institut National de Recherche en Informatique et en Automatique Centre de Recherche Inria Futurs

Institut national de recherche en informatique et en automatique France

Institut National de Recherche en Informatique et en Automatique INRIA Futurs

Institut National de Recherche en Informatique et en Automatique Inria Futurs Research Centre

Institut national de recherche en informatique et en automatique, Rocquencourt

Institut National de Recherche en Informatique et en Automatique Rocquencourt Centre de Recherche Inria Futurs

Institut National de Recherche en Informatique et en Automatique Rocquencourt INRIA Futurs

Institut National de Recherche en Informatique et en Automatique Rocquencourt Inria Futurs Research Centre

National Institute for Research in Computer Science and Control

Rocquencourt (Yvelines)

Rocquencourt (Yvelines, France). Institut national de recherche en informatique et an automatique

إنريا

フランス国立情報学自動制御研究所

法国国家信息与自动化研究所

Languages
English (129)

French (6)

Covers
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedingsAutomata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedingsIV'2002 : IEEE Intelligent Vehicle Symposium = IEEE Symposium sur les Véhicules Intelligents : proceedings : June 17-21, 2002, Versailles, FranceIEEE Workshop on Variational and Level Set Methods in Computer Vision : 13 July 2001, Vancouver, Canada : proceedings