| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN0255749 |
|
|
Autore |
Guichardet, Alain |
|
|
Titolo |
Symmetric Hilbert Spaces and Related Topics : Infinitely Divisible Positive Definite Functions, Continuous Products and Tensor Products, Gaussian and Poissonian Stochastic Processes / Alain Guichardet |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
43A35 - Positive definite functions on groups, semigroups, etc. [MSC 2020] |
28B05 - Vector-valued set functions, measures and integrals [MSC 2020] |
46Cxx - Inner product spaces and their generalizations, Hilbert spaces [MSC 2020] |
60B15 - Probability measures on groups or semigroups, Fourier transforms, factorization [MSC 2020] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNICAMPANIAVAN00239185 |
|
|
Titolo |
Substrate Analysis for Effective Biofuels Production / editors Neha Srivastava ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore, : Springer, 2020 |
|
|
|
|
|
|
|
Descrizione fisica |
|
XII, 272 p. : ill. ; 24 cm |
|
|
|
|
|
|
Disciplina |
|
660.6 |
577.14 |
628 |
579 |
572.5672 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
3. |
Record Nr. |
UNISANNIOSBL0363156 |
|
|
Autore |
Tacitus, Publius Cornelius |
|
|
Titolo |
Storie Dialogo degli oratori Germania Agricola / di Tacito ; a cura di Azelia Arici |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Torino, : Unione tipografico-editrice torinese, 1970 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[2. edizione rifatta] |
|
|
|
|
|
Descrizione fisica |
|
858 p., [10] c. di tav. ; 24 cm |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Storie= All'interno delle Historiae è chiara l'ideologia di Tacito, nostalgico da un lato della libertas repubblicana e dall'altro favorevole all'operato di sovrani quali Nerva e Traiano che, a suo dire, sono riusciti a conciliare principato e libertà. L'astio nei confronti degli altri imperatori Romani è visibile già dal primo libro, quando un discorso fatto pronunciare a Galba chiarisce la posizione ideologica e politica del grande storico latino. Il rigoroso rispetto che Galba aveva per la formalità e la sua mancanza di realismo politico lo avevano reso incapace di controllare gli eventi: al contrario, Nerva adottò Traiano, che fu capace di tenere unite le legioni, mantenere l'esercito fuori dalle attività politiche imperiali, e di porre fine al disordine tra le legioni, evitando di fatto l'ascesa di eventuali pretendenti al trono. Tacito era convinto che solamente il principatus potesse assicurarsi la fedeltà dell'esercito, garantire la coesione del vasto impero e la pace. Tacito, senza farsi illusioni, considera il potere degli imperatori adottivi l'unica soluzione ai problemi dell'impero. Dialogo degli oratori= L'inizio dell'opera descrive il discorso di due noti avvocati dell'epoca, Marco Apro e Giulio Secondo, i quali si recano a far visita al retore e tragediografo Curiazio Materno nella sua casa, ed intervengono in difesa dell'eloquenza e della poesia. In seguito con l'arrivo dell'oratore Lucio Vipstano Messalla si affronta la tematica della decadenza dell'oratoria, la cui causa maggiore secondo Materno sarebbe l'autocrazia del principato che limita la libertà di pensiero e di parola, mentre per Messalla è dovuta al declino dell'istruzione, sia familiare che scolastica, del futuro oratore. L'istruzione non sarebbe più accurata come un tempo, gli insegnanti non sarebbero preparati e, nella cultura generale, si farebbe sempre meno uso della retorica
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910143897703321 |
|
|
Titolo |
Implementation and Application of Automata : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers / / edited by Bruce Watson, Derick Wood |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2002.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 294 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 2494 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer science |
Algorithms |
Machine theory |
Artificial Intelligence |
Theory of Computation |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Using Finite State Technology in Natural Language Processing of Basque -- Cascade Decompositions are Bit-Vector Algorithms -- Submodule Construction and Supervisory Control: A Generalization -- Counting the Solutions of Presburger Equations without Enumerating Them -- Brzozowski’s Derivatives Extended to Multiplicities -- Finite Automata for Compact Representation of Language Models in NLP -- Past Pushdown Timed Automata -- Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions -- Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers -- Finite-State Transducer Cascade to Extract Proper Names in Texts -- Is this Finite-State Transducer Sequentiable? -- Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries -- Bit Parallelism - NFA Simulation -- Improving Raster Image Run-Length |
|
|
|
|
|
|
|
|
|
|
|
Encoding Using Data Order -- Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata -- Extraction of ?-Cycles from Finite-State Transducers -- On the Size of Deterministic Finite Automata -- Crystal Lattice Automata -- Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting -- Adaptive Rule-Driven Devices - General Formulation and Case Study -- Typographical Nearest-Neighbor Search in a Finite-State Lexicon and Its Application to Spelling Correction -- On the Software Design of Cellular Automata Simulators for Ecological Modeling -- Random Number Generation with ?-NFAs -- Supernondeterministic Finite Automata. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Implementation and Application of Automata, CIAA 2001, held in Pretoria, South Africa in July 2001.The 23 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and revision. The topics addressed from theoretical as well as application-oriented viewpoints range from foundational and methodological issues to novel applications in object-oriented modeling, finite transducers in natural language processing, and non-deterministic finite-state models in communication protocols. |
|
|
|
|
|
|
|
| |