Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:Mathematical models and su-to:SCIENCE'

		Algebraic geometry and geometric modeling. Publication : [S.l.] : Springer, 2006 . 252 p. ; , Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Aspects of automatic text analysis par Mehler, Alexander, Publication : Berlin \| New York Springer 2007 . ix, 464 pages 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Combinatorial optimization in communication networks. Publication : [S.l.] : Springer, 2006 . 658 p. ; , Combinatorial optimization algorithms are used in many applications including the design, management, and operations of communication networks. The objective of this book is to advance and promote the theory and applications of combinatorial optimization in communication networks. Each chapter of the book is written by an expert dealing with theoretical, computational, or applied aspects of combinatorial optimization. Topics covered in the book include the combinatorial optimization problems arising in optical networks, wireless ad hoc networks, sensor networks, mobile communication systems, and satellite networks. A variety of problems are addressed using combinatorial optimization techniques, ranging from routing and resource allocation to QoS provisioning. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Electromagnetic field computation by network methods par Felsen,, Leopold B. Publication : [S.l.] Springer 2009 . 228 p. , In this monograph, the authors propose a systematic and rigorous treatment of electromagnetic field representations in complex structures. The architecture suggested in this book accommodates use of different numerical methods as well as alternative Green's function representations in each of the subdomains resulting from a partitioning of the overall problem. The subdomains are regions of space where electromagnetic energy is stored and are described in terms of equivalent circuit representations based either on lumped element circuits or on transmission lines. Connection networks connect the subcircuits representing the subdomains. The connection networks are lossless, don't store energy and represent the overall problem topology. This is similar to what is done in circuit theory and permits a phrasing of the solution of EM field problems in complex structures by Network-oriented methods. 24 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Modeling in Event-B system and software engineering par Abrial, Jean-Raymond. Publication : Cambridge \| New York Cambridge University Press 2010 . xxvi, 586 pages , "A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher. 26 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Neural and fuzzy logic control of drives and power systems / Publication : . 1 online resource (ix, 399 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780750655583, Ajouter au panier (Supprimer)
		Mathematical approaches to neural networks / Publication : . 1 online resource (vii, 382 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444816924, http://www.sciencedirect.com/science/publication?issn=09246509&volume=51, Ajouter au panier (Supprimer)
		Quantile-Based Reliability Analysis par Nair, N. Unnikrishnan. Publication : . XX, 397 p. 20 illus., 3 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-0-8176-8361-0, Ajouter au panier (Supprimer)
		Quality Management in Reverse Logistics A Broad Look on Quality Issues and Their Interaction with Closed-Loop Supply Chains / Publication : . XII, 160 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-4537-0, Ajouter au panier (Supprimer)
		Neural Networks and Statistical Learning par Du, Ke-Lin. Publication : . XXVII, 824 p. 166 illus., 68 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-5571-3, Ajouter au panier (Supprimer)
		Introduction to Transportation Analysis, Modeling and Simulation Computational Foundations and Multimodal Applications / par Möller, Dietmar P.F. Publication : . XIV, 343 p. 131 illus., 67 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-5637-6, Ajouter au panier (Supprimer)
		Mathematical Methods in Biology and Neurobiology par Jost, Jürgen. Publication : . X, 226 p. 37 illus., 13 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4471-6353-4, Ajouter au panier (Supprimer)
		20 Years of Computational Neuroscience Publication : . XIV, 283 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-1424-7, Ajouter au panier (Supprimer)
		Fundamentals of Matrix-Analytic Methods par He, Qi-Ming. Publication : . XV, 349 p. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-7330-5, Ajouter au panier (Supprimer)
		The Computing Dendrite From Structure to Function / Publication : . XVIII, 510 p. 101 illus., 66 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-8094-5, Ajouter au panier (Supprimer)
		Neural Networks with Discontinuous/Impact Activations par Akhmet, Marat. Publication : . XI, 168 p. 28 illus., 23 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-8566-7, Ajouter au panier (Supprimer)
		Waves in Neural Media From Single Neurons to Neural Fields / par Bressloff, Paul C. Publication : . XIX, 436 p. 151 illus., 18 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4614-8866-8, Ajouter au panier (Supprimer)
		Topical Directions of Informatics In Memory of V. M. Glushkov / par Sergienko, Ivan V. Publication : . XXV, 286 p. 89 illus., 8 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-1-4939-0476-1, Ajouter au panier (Supprimer)
		Preventive Methods for Coastal Protection Towards the Use of Ocean Dynamics for Pollution Control / Publication : . XVIII, 442 p. 171 illus., 138 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-3-319-00440-2, Ajouter au panier (Supprimer)
		Geometry and its Applications Publication : . X, 243 p. 19 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-04675-4, Ajouter au panier (Supprimer)

Bibliothèque de L'IMIST/CNRST

Affiner votre recherche

Disponibilité

Auteurs

Sites de rattachement

Types de document

Collection

Sujets

Votre recherche a retourné 43 résultats.