| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910158980403321 |
|
|
Autore |
Simukka Salla <1981-> |
|
|
Titolo |
As Red As Blood / / Salla Simukka and Owen Frederick Witesman |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, NY : , : Crown Books for Young Readers, , [2013] |
|
©2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[First edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (188 pages) |
|
|
|
|
|
|
Collana |
|
As Red As Blood Series ; ; Volume 1 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
When seventeen-year-old loner Lumikki finds a stash of blood-soaked money in her school's dark room, she is swept into a whirlpool of events involving dirty cops and a notorious drug kingpin known for brutality. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISANNIOUBO0009847 |
|
|
Autore |
Raatz, Stan |
|
|
Titolo |
Graph-based proof procedures for Horn clauses / Stan Raatz |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boston [etc.], : Birkhauser, c1990 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Progress in computer science and applied logic ; 10 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Programmazione logica |
Elaboratori elettronici - Programmazione |
|
|
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910299759903321 |
|
|
Titolo |
Separated Representations and PGD-Based Model Reduction : Fundamentals and Applications / / edited by Francisco Chinesta, Pierre Ladevèze |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Vienna : , : Springer Vienna : , : Imprint : Springer, , 2014 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2014.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (234 p.) |
|
|
|
|
|
|
Collana |
|
CISM International Centre for Mechanical Sciences, Courses and Lectures, , 0254-1971 ; ; 554 |
|
|
|
|
|
|
|
|
Disciplina |
|
004 |
620 |
620.00420285 |
620.1 |
|
|
|
|
|
|
|
|
Soggetti |
|
Mechanics |
Mechanics, Applied |
Computer science - Mathematics |
Computer-aided engineering |
Theoretical and Applied Mechanics |
Computational Science and Engineering |
Computer-Aided Engineering (CAD, CAE) and Design |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
From the Contents: Model order reduction based on proper orthogonal decomposition: Model reduction: extracting relevant information -- Interpolation of reduced basis: a geometrical approach -- POD for non-linear models. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The papers in this volume start with a description of the construction of reduced models through a review of Proper Orthogonal Decomposition (POD) and reduced basis models, including their mathematical foundations and some challenging applications, then followed by a description of a new generation of simulation strategies based on the use of separated representations (space-parameters, space-time, space-time-parameters, space-space,…), which have led |
|
|
|
|
|
|
|
|
|
|
to what is known as Proper Generalized Decomposition (PGD) techniques. The models can be enriched by treating parameters as additional coordinates, leading to fast and inexpensive online calculations based on richer offline parametric solutions. Separated representations are analyzed in detail in the course, from their mathematical foundations to their most spectacular applications. It is also shown how such an approximation could evolve into a new paradigm in computational science, enabling one to circumvent various computational issues in a vast array of applications in engineering science. |
|
|
|
|
|
| |