| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910697636503321 |
|
|
Titolo |
National Highway Bridge Reconstruction and Inspection Act of 2008 [[electronic resource] ] : report together with additional views (to accompany H.R. 3999) (including cost estimate of the Congressional Budget Office) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Washington, D.C.] : , : [U.S. G.P.O.], , [2008] |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 electronic text (26 pages) : HTML, digital, PDF file |
|
|
|
|
|
|
Collana |
|
Report / 110th Congress, 2d session, Senate ; ; 110-482 |
|
|
|
|
|
|
Soggetti |
|
Bridges - Law and legislation - United States |
Bridges - United States - Maintenance and repair |
Bridges - Inspection - United States |
Highway law - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on Oct. 16, 2008). |
"September 23, 2008." |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465796803316 |
|
|
Titolo |
KI 2001: Advances in Artificial Intelligence [[electronic resource] ] : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings / / edited by Franz Baader, Gerhard Brewka, Thomas Eiter |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2001.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 474 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 2174 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Artificial Intelligence |
|
|
|
|
|
|
|
|
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 |
|
Invited Contributions -- Computational Game Theory and AI -- Optimal Agent Section -- Selected Papers -- Towards First-Order Temporal Resolution -- Approximating Most Specific Concepts in Description Logics with Existential Restrictions -- Bayesian Learning and Evolutionary Parameter Optimization -- Papers on Foundations -- Abductive Partial Order Planning with Dependent Fluents -- Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques -- Possible Worlds Semantics for Credulous and Contraction Inference -- The Point Algebra for Branching Time Revisited -- Exploiting Conditional Equivalences in Connection Calculi -- Propositional Satisfiability in Answer-Set Programming -- Prediction of Regular Search Tree Growth by Spectral Analysis -- Theory and Practice of Time-Space Trade-Offs in Memory Limited Search -- Hierarchical Diagnosis of Large Configurator Knowledge Bases -- Towards Distributed Configuration -- Belief Update in the pGOLOG Framework -- Finding Optimal Solutions to Atomix -- History-Based Diagnosis Templates in the Framework of the Situation Calculus -- A Defense Model for Games with Incomplete Information -- Towards Inferring Labelling Heuristics for CSP Application Domains -- |
|
|
|
|
|
|
|
|
|
|
|
Addressing the Qualification Problem in FLUX -- Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots -- Learning Search Control Knowledge for Equational Theorem Proving -- Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis -- Comparing Two Models for Software Debugging -- Inferring Implicit State Knowledge and Plans with Sensing Actions -- Papers on Applications -- Multi-agent Systems as Intelligent Virtual Environments -- OilEd: A Reason-able Ontology Editor for the Semantic Web -- Experiments with an Agent-Oriented Reasoning System -- Learning to Execute Navigation Plans -- DiKe - A Model-Based Diagnosis Kernel and Its Application -- Industrial Papers -- Constraints Applied to Configurations -- From Theory to Practice: AI Planning for High Performance Elevator Control -- Semantic Networks in a Knowledge Management Portal -- Collaborative Supply Net Management. |
|
|
|
|
|
|
Sommario/riassunto |
|
This volume contains the contributions to the Joint German/Austrian Conference on Artificial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Artificial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the conference; – 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; – 4 contributions by participants of the industrial day, during which companies working in the field presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¨ for Artificial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then fifteen years have passed, and we may want to comment, at the beginning of a new century, on the progress that has been made in this direction. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910404252003321 |
|
|
Autore |
Javier Laviña |
|
|
Titolo |
Resistencia y territorialidad : culturas índigenas y afroamericanas |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Publicacions i Edicions de la Universitat de Barcelona, 2012 |
|
Universitat De Barcelona |
|
copyright 2014 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 electronic resource (390 p.) |
|
|
|
|
|
|
Collana |
|
Col·lecció Estudis d'Antropologia Social i Cultural |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Lo auténtico, como lo autóctono, aparece vinculado a la localidad, pero la globalización la ha vaciado de gran parte de su población autóctona, ha vuelto obsoletas sus formas productivas y ha modificado su estilo de vida. La repuesta de las poblaciones locales consiste a menudo en la creación o recreación de formas “tradicionales, “auténticas” en ámbitos tales como el patrimonio, los museos, las fiestas, la arquitectura, la gastronomía, y la identidad. Este proceso no ha de ser considerado como una reacción tradicionalista ni nostálgica, sino más bien como el reflejo del fuerte compromiso de las localidades con las fuerzas de la globalización. Este libro es consecuencia de los resultados de una investigación etnográfica sobre la interacción entre procesos globales y locales en diversas áreas de montaña de Cataluña y en una del País Vasco, en las que se producen procesos de terciarización de la economía, de patrimonialización de la naturaleza y de la cultura, debidas al influjo del mercado, de las políticas de la Unión Europea, del estado, y de las demandas de los habitantes de las ciudades. |
|
|
|
|
|
|
|
| |