| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991002264799707536 |
|
|
Autore |
Macgregor, Malcolm H. |
|
|
Titolo |
The nature of the elementary particles / Malcolm H. MacGregor |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer-Verlag, 1978 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XXII, 482 p. : ill. ; 25 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in physics ; 81 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNICAMPANIAVAN00060993 |
|
|
Autore |
Galderisi, Adriana |
|
|
Titolo |
Città e terremoti : metodi e tecniche per la mitigazione del rischio sismico / Adriana Galderisi ; prefazione Guido Bertolaso ; presentazione Ugo De Flaviis ; introduzione Rocco Papa ; scritti di Andrea Ceudech, Massimiliano Pistucci, Marialuce Stanganelli |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Roma, : Gangemi, stampa 2004 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910144029003321 |
|
|
Titolo |
Fundamentals of Computation Theory : 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings / / edited by Andrzej Lingas, Bengt J. Nilsson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2003.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (CDLII, 440 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2751 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Algorithms |
Logic, Symbolic and mathematical |
Computer science—Mathematics |
Computer graphics |
Theory of Computation |
Algorithm Analysis and Problem Complexity |
Computation by Abstract Devices |
Mathematical Logic and Formal Languages |
Discrete Mathematics in Computer Science |
Computer Graphics |
|
|
|
|
|
|
|
|
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 |
|
Approximability 1 -- Proving Integrality Gaps without Knowing the Linear Program -- An Improved Analysis of Goemans and Williamson’s LP-Relaxation for MAX SAT -- Certifying Unsatisfiability of Random 2k-SAT Formulas Using Approximation Techniques -- Approximability 2 -- Inapproximability Results for Bounded Variants of Optimization Problems -- Approximating the Pareto Curve with Local Search for the Bicriteria TSP(1,2) Problem -- Scheduling to Minimize Max Flow Time: Offline and Online Algorithms -- Algorithms 1 -- Linear Time Algorithms for Some NP-Complete Problems on (P 5,Gem)-Free Graphs -- Graph Searching, Elimination Trees, and a Generalization of |
|
|
|
|
|
|
|
|
|
|
|
Bandwidth -- Constructing Sparse t-Spanners with Small Separators -- Composing Equipotent Teams -- Algorithms 2 -- Efficient Algorithms for GCD and Cubic Residuosity in the Ring of Eisenstein Integers -- An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates -- Periodic Multisorting Comparator Networks -- Fast Periodic Correction Networks -- Networks and Complexity -- Games and Networks -- One-Way Communication Complexity of Symmetric Boolean Functions -- Circuits on Cylinders -- Computational Biology -- Fast Perfect Phylogeny Haplotype Inference -- On Exact and Approximation Algorithms for Distinguishing Substring Selection -- Complexity of Approximating Closest Substring Problems -- Computational Geometry -- On Lawson’s Oriented Walk in Random Delaunay Triangulations -- Competitive Exploration of Rectilinear Polygons -- An Improved Approximation Algorithm for Computing Geometric Shortest Paths -- Adaptive and Compact Discretization for Weighted Region Optimal Path Finding -- On Boundaries of Highly Visible Spaces and Applications -- Computational Models and Complexity -- Membrane Computing -- Classical Simulation Complexity of Quantum Machines -- Using Depth to Capture Average-Case Complexity -- Structural Complexity -- Non-uniform Depth of Polynomial Time and Space Simulations -- Dimension- and Time-Hierarchies for Small Time Bounds -- Baire’s Categories on Small Complexity Classes -- Formal Languages -- Operations Preserving Recognizable Languages -- Languages Defined by Generalized Equality Sets -- Context-Sensitive Equivalences for Non-interference Based Protocol Analysis -- On the Exponentiation of Languages -- Kleene’s Theorem for Weighted Tree-Automata -- Logic -- Weak Cardinality Theorems for First-Order Logic -- Compositionality of Hennessy-Milner Logic through Structural Operational Semantics -- On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 14th International Symposium Fundamentals of Computation Theory, FCT 2003, held in Malmö, Sweden in August 2003.The 36 revised full papers presented together with an invited paper and the abstracts of 2 invited talks were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on approximibility, algorithms, networks and complexity, computational biology, computational geometry, computational models and complexity, structural complexity, formal languages, and logic. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910153563503321 |
|
|
Titolo |
Historische Kulturwissenschaften : Positionen, Praktiken und Perspektiven / Jan Kusber, Mechthild Dreyer, Jörg Rogge, Andreas Hütig |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bielefeld, : transcript Verlag, 2014 |
|
2014, c2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (384 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Mainzer Historische Kulturwissenschaften |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Kulturwissenschaften |
Culture |
Geschichte |
Cultural History |
Interdisziplinarität |
Cultural Studies |
Kultur |
Cultural Theory |
Kulturgeschichte |
Theory of History |
History |
Kulturwissenschaft |
Kulturtheorie |
Geschichtstheorie |
Geschichtswissenschaft |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
1 Editorial 2 INHALT 5 Einleitung 9 Erklären und Verstehen 13 Die Vergangenheit im Spiegel der Gegenwart 43 Jenseits von Dispositiv und Diskurs Historische Kulturwissenschaften als Wiederentdeckung des Sozialen 67 Positionen der Kunstwissenschaft als historische Bildwissenschaft 81 Dimensionen des Kulturbegriffs |
|
|
|
|
|
|
|
|
|
|
|
105 Kulturalität der Philosophie 125 Erfahrungsgeschichte und die ,Quelle' Literatur Zur Relevanz genretheoretischer Reflexion am Beispiel der britischen Literatur des Ersten Weltkriegs 143 Erfahrungsbericht und Erinnerungskultur Polnische und russische Lagerliteratur in komparatistischer Perspektive 161 The Witch in the Alehouse Imaginary Encounters in Cultural History 181 Bildergeschichten - Geschichtsbilder Überlegungen zu einer visuellen Geschichte der Frühen Neuzeit 207 Wie wird politische Ordnung gemacht? Erstellen, Tradieren und Anwenden von Wissensbeständen in Westfranken 239 Kulturtransfer als Beobachtungsfeld historischer Kulturwissenschaft. Das Beispiel des neuzeitlichen Russland 261 Der anatomische Blick in der islamischen Medizingeschichte. Historische Wissenschaftsforschung, "Medicine Studies" 287 Archäologie des Mittelalters und der Neuzeit Eine historische Kulturwissenschaft par excellence? 305 Überlegungen zur Konzeptualisierung der Begriffe Landschaft und Geschichte im interkulturellen Kontext 335 Historische Kulturwissenschaften Eine Zusammenfassung der Beiträge und konzeptionelle Überlegungen 351 Autorinnen und Autoren 381 385 |
|
|
|
|
|
|
Sommario/riassunto |
|
Der Begriff »Kulturwissenschaften« wird gegenwärtig in Kontexten genutzt, in denen gegen die fortschreitende Spezialisierung insbesondere in den Geisteswissenschaften und gegen die damit einhergehende Fragmentierung des Wissens plädiert wird. Neben einer Perspektivierung der einzelnen Disziplinen als Kulturwissenschaften im Plural wird aber auch eine Art Dachdisziplin »Kulturwissenschaft« als wesentlich für die Modernisierung der Geisteswissenschaften diskutiert.Aus disziplinärer Perspektive loten die Beiträge dieses Bandes Möglichkeiten und Grenzen kulturwissenschaftlichen Arbeitens aus. Sie finden zu einer interdisziplinären Verständigung aus einer dezidiert historischen Sicht, die scheinbar disparate Geisteswissenschaften integriert. |
Besprochen in:humanismus aktuell, 3 (2012), Siegfried R. KrebsAuskunft, 31/2 (2011), Rainer Hering |
»Die Einzelbeiträge [...] weisen ein beachtliches Niveau auf.« |
|
|
|
|
|
|
|
| |