Using models for the optimization of hydrologic monitoring [[electronic resource] /] / written by Michael N. Fienen ... [and others]

• Record Nr.: UNINA9910700343103321
• Pubbl/distr/stampa: [Reston, Va.] : , : U.S. Dept. of the Interior, U.S. Geological Survey, , [2010]
• Descrizione fisica: 1 online resource (6 unnumbered pages) : color illustrations, color maps
• Collana: Fact sheet ; ; 2011-3014
• Altri autori (Persone): FienenMichael N
• Soggetti: Hydrology - Monitoring - Michigan; Hydrologic models - Michigan
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Title from title screen (viewed on June 17, 2011).; "May 2010."
• Nota di bibliografia: Includes bibliographical references (page [6]).

Advances in logic, artificial intelligence, and robotics [[electronic resource] ] : LAPTEC 2002 / / edited by Jair Minoro Abe and João Inácio da Silva Filho

• Record Nr.: UNINA9910783421403321
• Pubbl/distr/stampa: Amsterdam ; ; Washington, DC, : IOS Press/Ohmsha, 2002
• ISBN: 1-280-50573-7; 9786610505739; 1-4175-1140-0; 600-00-0334-X; 1-60129-402-6
• Descrizione fisica: 1 online resource (286 p.)
• Collana: Frontiers in artificial intelligence and applications ; ; v. 85
• Altri autori (Persone): AbeJair Minoro; Silva FilhoJoão Inácio da
• Disciplina: 006.3
• Soggetti: Artificial intelligence; Logic, Symbolic and mathematical; Robotics
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Cover; Title page; Contents; Retriever Prototype of a Case Based Reasoning: A Study Case; Dynamic Compaction Process of Metal Powder Media within Dies; Automated Theorem Proving for Many-sorted Free Description Theory Based on Logic Translation; Annotated Logic and Negation as Failure; Multi-agent System for Distribution System Operation; ArTbitrariness: Putting Computer Creativity to Work in Aesthetic Domains; An Overview of Fuzzy Numbers and Fuzzy Arithmetic; The Brain and Arithmetic Calculation; Evolving Arithmetical Knowledge in a Distributed Intelligent Processing System; Meme-Gene Coevolution and Cognitive MathematicsNeuronal Plasticity: How Memes Control Genes; The Influence of Heterogeneity in the Control of Diseases; Paraconsistent Logics viewed as a Foundation of Data Warehouses; Visualization of Class Structures using Piecewise Linear Classifiers; Design of Tree Classifiers using Interactive Data Exploration; Clustering Based on Gap and Structure; Tables in ; Relational Databases from a Point of View of Possible-Worlds-Restriction; On Some Different Interpretations of the Generalized Modus Ponens using Type-2 Fuzzy Sets; Paraconsistent Knowledge for Misspelling Noise Reduction in DocumentsAutomata with Concurrency Relations - A Survey; Learning with Skewed Class Distributions; An Enlargement of Theorems for Sentential Calculus; A Real-time Specification Language; Defuzzification in Medical Diagonis; Fuzzy Rules in Asymptomatic HIV Virus Infected Individuals Model; Categorical Limits and Reuse of Algebraic Specifications; Constructive Program Synthesis using Intuitionist Logic and Natural Deduction; An Agent-oriented Inference Engine Applied for Supervisory Control of Automated Manufacturing Systems; LTLAS: a Language Based on Temporal Logic for Agents Systems SpecificationFuzzy Identification of a pH Neutralization Process; A Fuzzy Reed-Frost Model for Epidemic Spreading; Invited Talks - Abstracts; Author Index
• Sommario/riassunto: Logic (both classical and non-classical) is being increasingly related with other fields in almost every scientific discipline and human activity. This work covers its role in artificial intelligence, robotics, informatics, technology, and correlated themes.

Nonostante Gramsci. Marxismo e critica letteraria nell'Italia del Novecento

• Record Nr.: UNINA9910230793303321
• Autore: Gatto Marco <1983->
• Pubbl/distr/stampa: Macerata, : Quodlibet, 2016
• ISBN: 9788874629503; 8874629508
• Descrizione fisica: 1 online resource (191 p.)
• Soggetti: Criticism - Italy - History - 20th century; Politics and literature - Italy - History - 20th century; Communism - Italy - History - 20th century
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Sommario/riassunto: L'invito di Antonio Gramsci a una critica letteraria che, senza rinunciare alla propria specificità, potesse essere critica della cultura e progetto di emancipazione per le masse popolari ha subito, nel corso del secolo scorso, non pochi ripensamenti, fino ad arrivare a un netto travisamento. La sinistra culturale italiana non ha saputo interpretare, per varie ragioni, quella particolare dialettica tra autonomia e specificità che Gramsci intravede nella sfera culturale e che deposita nella riflessione contenuta nei Quaderni. Questo saggio ne ricostruisce i nodi concettuali, studiandone la proiezione ideologica sugli eredi: alcuni dei quali, vicini alle posizioni del Pci, dimostrano di non sapersi svincolare dalla lezione invadente dell'idealismo crociano; altri, attestati su posizioni rivoluzionarie, finiscono per promuovere una rinuncia al senso politico della letteratura e dell'arte. Attraverso i libri di Franco Fortini, Alberto Asor Rosa, Arcangelo Leone De Castris e altri, si propone una piccola storia della critica letteraria marxista, letta alla luce di un tradimento delle indicazioni gramsciane, il recupero delle quali, oggi, in un'epoca in cui l'autonomia dei saperi sembra essere divenuta la legge stessa della frammentazione culturale, appare all'autore urgente rilanciare.