top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra / David Cox, John Little, Donal O'Shea
Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra / David Cox, John Little, Donal O'Shea
Creatore [Cox, David A.]
Estensione xi, 513 pages : illustrations ; 25 cm.
Disciplina 516.3/5
Accesso persona Little, John B.
O'Shea, Donal
Soggetto non controllato Commutative Data processing
Geometry, Data processing
ISBN 038797847X
9780387978475
354097847X
9783540978473
Classificazione 31.23
31.51
DAT 535f
MAT 130f
MAT 140f
SK 230
SK 240
*13P10
13-02
13F20
14-01
14Q99
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ch. 1. Geometry, Algebra, and Algorithms. 1. Polynomials and Affine Space. 2. Affine Varieties. 3. Parametrizations of Affine Varieties. 4. Ideals. 5. Polynomials of One Variable -- Ch. 2. Groebner Bases. 2. Orderings on the Monomials in [actual symbol not reproducible]. 3. A Division Algorithm in [actual symbol not reproducible]. 4. Monomial Ideals and Dickson's Lemma. 5. The Hilbert Basis Theorem and Groebner Bases. 6. Properties of Groebner Bases. 7. Buchberger's Algorithm. 8. First Applications of Groebner Bases. 9. (Optional) Improvements on Buchberger's Algorithm.
Record Nr. STANFORD-a11745933
[Cox, David A.]  
Materiale a stampa
Lo trovi qui: Stanford University
Neural networks and artificial intelligence for biomedical engineering [electronic resource] / Donna L. Hudson, Maurice E. Cohen
Neural networks and artificial intelligence for biomedical engineering [electronic resource] / Donna L. Hudson, Maurice E. Cohen
Creatore [Hudson, D. L. (Donna L.)]
Estensione 1 online resource (xxiii, 306 p.) : ill.
Disciplina 610/.285/63
Accesso persona Cohen, M. E. (Maurice E.)
ISBN 9780470545355
0470545356
9780780334045
0780334043
Classificazione 44.31
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto PART I. NEURAL NETWORKS -- CHAPTER 1. Foundations of Neural Networks -- CHAPTER 2. Classesof NeuralNetworks -- CHAPTER 3. Classification Networks and Learning -- CHAPTER 4. Supervised Learning -- CHAPTER 5. Unsupervised Learning -- CHAPTER 6. Design Issues -- CHAPTER 7. Comparative Analysis -- CHAPTER 8. Validation and Evaluation -- PART II. ARTIFICIAL INTELLIGENCE -- CHAPTER. 9 Foundations of Computer-Assisted Decision Making -- CHAPTER 10. Knowledge Representation -- CHAPTER 11. Knowledge Acquisition -- CHAPTER 12. Reasoning Methodologies -- CHAPTER 13. Validation and Evaluation -- PART III. ALTERNATIVE APPROACHES -- CHAPTER 14. Genetic Algorithms -- CHAPTER 15. Probabilistic Systems -- CHAPTER 16. Fuzzy Systems -- CHAPTER 17. Hybrid Systems -- CHAPTER 18. HyperMerge, a Hybrid Expert System -- CHAPTER 19. Future Perspectives.
Record Nr. STANFORD-a9264766
[Hudson, D. L. (Donna L.)]  
Materiale a stampa
Lo trovi qui: Stanford University
From natural to artificial neural computation : International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7-9, 1995 : proceedings / José Mira, Francisco Sandoval, eds.
From natural to artificial neural computation : International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7-9, 1995 : proceedings / José Mira, Francisco Sandoval, eds.
Creatore [International Workshop on Artificial Neural Networks (1995 : Torremolinos, Spain)]
Estensione 1 online resource (xviii, 1150 pages) : illustrations.
Accesso persona Mira, J. (José)
Sandoval, Francisco
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540492887
3540492887
3540594973
9783540594970
0387594973
9780387594972
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Are There Universal Principles of Brain Computation? / S. Grossberg -- Modeling Cortical Networks / L. Menendez de la Prida -- Cooperative Organization of Connectivity Patterns and Receptive Fields in the Visual Pathway: Application to Adaptive Thresholding / J. Mira, A. Manjarres, S. Ros, A.E. Delgado and J.R. Alvarez -- Neurobiological Inspiration for the Architecture and Functioning of Cooperating Neural Networks / F. Alexandre and F. Guyot -- Synaptic Modulation Based Artificial Neural Networks / R.J. Duro, J. Santos and A. Gomez -- Self-Organization of Cortical Receptive Fields and Columnar Structures in a Hebb Trained Neural Network / M. Stetter, M. Kussinger, A. Schels, E. Seeger and E.W. Lang -- An Analytical Solution of the Compartmental Model for Use in Local Learning in Artificial Neural Networks / J. Hoekstra and M. Maouli -- Should ANN be ANGN? / J.G. Wallace and K. Bluff -- Modeling Retinal High and Low Contrast Sensitivity Filters / T. Lourens.
Record Nr. UCHICAGO-11081351
[International Workshop on Artificial Neural Networks (1995 : Torremolinos, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Collaboration between human and artificial societies : coordination and agent-based distributed computing / Julian A. Padget (ed.).
Collaboration between human and artificial societies : coordination and agent-based distributed computing / Julian A. Padget (ed.).
Estensione 1 online resource (xiv, 300 pages) : illustrations.
Accesso persona Padget, Julian A., 1959-
Genere/Forma Electronic books
ISBN 9783540466246
354046624X
3540669302
9783540669302
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A classification of various approaches for object-based parallel and distributed programming / Jean-Pierre Briot, Rachid Guerraoui -- Towards meta-agent protocols / Andreas Kind and Julian Padget -- Examples of fuzziness in compilers and runtime systems / Angela C. Sodan -- Towards rigorous compiler implementation verification / Wolfgang Goerigk and Friedemann Simon -- Shifting the focus from control to communication : the STReams OBjects environments model of communicating agents / Stefano A. Cerri -- Direct manipulation, scalability and the Internet / Don Cruickshank and Hugh Glaser -- Towards the abstraction and generalization of actor-based architectures in diagnostic reasoning / Stefano A. Cerri, Antonio Gisolfi and Vincenzo Loia -- Converting declarative into procedural (and vice versa) / Iain D. Craig -- Reflective reasoning in a case-based reasoning agent / Miquel Sànchez-Marrè [and others] -- Modelling rational inquiry in non-ideal agents / Antonio Moreno, Ulises Cortés and Ton Sales -- On the process of making descriptive rules / D. Riaño -- A service-oriented negotiation model between autonomous agents / Carles Sierra, Peyman Faratin and Nick R. Jennings -- Competing software agents support human agents / Sabine Geldof, Walter Van de Velde -- Coordination developed by learning from evaluations / Edwin D. de Jong -- Rules of order for electronic group decision making -- a formalization methodology / Henry Prakken, Thomas F. Gordon -- Broadway : a case-based system for cooperative information browsing on the World-Wide-Web / Michel Jaczynski and Brigitte Trousse -- Towards a formal specification of complex social structures in multi-agent systems / Juan A. Rodríguez-Aguilar [and others].
Record Nr. UCHICAGO-11071802
Materiale a stampa
Lo trovi qui: University of Chicago
Learning and intelligent optimization : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected papers / Carlos A. Coello Coello (ed.).
Learning and intelligent optimization : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected papers / Carlos A. Coello Coello (ed.).
Creatore [LION (Conference) (5th : 2011 : Rome, Italy)]
Estensione 1 online resource (xvii, 636 pages).
Accesso persona Coello Coello, Carlos A.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
ISBN 9783642255663
3642255663
3642255655
9783642255656
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076191
[LION (Conference) (5th : 2011 : Rome, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Distributed decision making and control / Rolf Johansson and Anders Rantzer (eds.).
Distributed decision making and control / Rolf Johansson and Anders Rantzer (eds.).
Estensione 1 online resource (xxix, 421 pages) : color portraits.
Accesso persona Johansson, Rolf
Rantzer, Anders, 1963-
Genere/Forma Electronic books
Soggetto non controllato Engineering
Mathematics
Systems theory
Economics, Mathematical
Control
Systems Theory, Control
Game Theory/Mathematical Methods
Game Theory, Economics, Social and Behav. Sciences
ISBN 9781447122654
1447122658
144712264X
9781447122647
Classificazione 54.72
50.22
85.03
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Primal and dual criteria for robust stability applied to large scale systems -- Optimal controller synthesis for a decentralized two-player linear-quadratic regulator via spectral factorization -- Decentralized control with communication bandwidth constraints -- Monotone games for cognitive radio systems -- A mechanism design approach to dynamic price-based control of multi-agent systems -- Recursive bargaining with dynamic accumulation -- Distributed nonlinear estimation for diverse sensor devices -- Performance prediction in uncertain multi-agent systems using L1 adaptation-based distributed event-triggering -- Weight determination by manifold regularization -- Dynamic coverage and clustering: a maximum entropy approach -- Transverse linearization for underactuated nonholonomic mechanical systems with application to orbital stabilization -- A distributed NMPC scheme without stabilizing terminal constraints -- A set-theoretic method for verifying feasibility of a fast explicit nonlinear model predictive controller -- Towards parallel implementation of hybrid MPC-a survey and directions for future research -- Hierarchical model predictive control for plug-and-play resource distribution -- Hierarchical model-based control for automated baggage handling systems -- Stability with uniform bounds for on-line dial-a-ride problems under reasonable load.
Record Nr. UCHICAGO-11076247
Materiale a stampa
Lo trovi qui: University of Chicago
Intelligent agents II : agent theories, architectures, and languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings / M. Wooldrige, J.P. Müller, M. Tambe, (eds.).
Intelligent agents II : agent theories, architectures, and languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings / M. Wooldrige, J.P. Müller, M. Tambe, (eds.).
Estensione 1 online resource (xviii, 437 pages) : illustrations.
Accesso persona Wooldridge, Michael J., 1966-
Müller, J. P. (Jörg P.), 1965-
Tambe, Milind, 1965-
Accesso convegno Workshop on Agent Theories, Architectures, and Languages (2nd : 1995 : Montréal, Québec)
International Joint Conference on Artificial Intelligence (1995 : Montréal, Québec)
Workshop on Agent Theories, Architectures, and Languages
International Joint Conference on Artificial Intelligence
Genere/Forma Kongress -- Montréal -- 1995
Conference papers and proceedings
Congressen (vorm)
Montréal (1995)
ISBN 3540608052
9783540608059
Classificazione 28
DAT 703f
SS 4800
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Rights of Agents / Christen Krogh -- Formalising Motivational Attitudes of Agents: On Preferences, Goals, and Commitments / B. van Linder, W. van der Hoek and J.-J. Ch. Meyer -- Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics / Anand S. Rao -- Semantical Considerations on Some Primitives for Agent Specification / Munindar P. Singh -- Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World / Paolo Traverso, Luca Spalazzi and Fausto Giunchiglia -- Time, Knowledge, and Choice / Michael Wooldridge -- Learning Routines / Henry H. Hexmoor -- Conflict Detection and Resolution in Collaborative Planning / Jennifer Chu-Carroll and Sandra Carberry -- Games Servers Play: A Procedural Approach / Cristina Bicchieri, Eithan Ephrati and Aldo Antonelli -- On Reasoning About Other Agents / Piotr J. Gmytrasiewicz.
Architectures for Agents that Track Other Agents in Multi-Agent Worlds / Milind Tambe and Paul S. Rosenbloom -- Using Recursive Agent Models Effectively / Jose M. Vidal and Edmund H. Durfee -- Experiences with an Architecture for Intelligent, Reactive Agents / R. Peter Bonasso, David Kortenkamp, David P. Miller and Marc Slack -- A Pragmatic BDI Architecture / Klaus Fischer, Jorg P. Muller and Markus Pischel -- Alarms: An Implementation of Motivated Agency / Timothy J. Norman and Derek Long -- The Architecture of an Agent Building Shell / Mihai Barbuceanu and Mark S. Fox -- MIX: A General Purpose Multiagent Architecture / Carlos A. Iglesias, Jose C. Gonzalez and Juan R. Velasco -- Cognition Based Multi-Agent Architecture / Jean-Francois Arcand and Sophie-Julie Pelletier -- Some Issues in the Design of Market-Oriented Agents / Tracy Mullen and Michael P. Wellman -- Cooperating Logical Agents / Claire Beyssade, Patrice Enjalbert and Claire Lefevre.
Open Reflective Agents / Sylvain Giroux -- Foundations of a Logical Approach to Agent Programming / Yves Lesperance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter and Richard B. Scherl -- Evaluation of KQML as an Agent Communication Language / James Mayfield, Yannis Labrou and Tim Finin -- Consistency and Context Management in a Multi-Agent Belief Revision Testbed / Benedita Malheiro and Eugenio Oliveira -- A Markovian Model for Interaction among Behavior-Based Agents / Jorg P. Muller -- SIMA̲GENT: A Toolkit for Exploring Agent Designs / Aaron Sloman and Riccardo Poli -- Agent Theories, Architectures, and Languages: A Bibliography / Michael Wooldridge, Jorg P. Muller and Milind Tambe.
Record Nr. UCHICAGO-11076594
Materiale a stampa
Lo trovi qui: University of Chicago
Foundations of augmented cognition : neuroergonomics and operational neuroscience : 5th international conference, FAC 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings / Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen (eds.).
Foundations of augmented cognition : neuroergonomics and operational neuroscience : 5th international conference, FAC 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings / Dylan D. Schmorrow, Ivy V. Estabrooke, Marc Grootjen (eds.).
Creatore [International Conference on Augmented Cognition (5th : 2009 : San Diego, Calif.)]
Estensione 1 online resource (xxiv, 850 pages) : illustrations.
Accesso persona Schmorrow, Dylan, 1967-
Estabrooke, Ivy V.
Grootjen, Marc
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783642028120
3642028128
9783642028113
364202811X
Classificazione 77.31
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Title Page; Foreword; Table of Contents; Part I Understanding Human Cognition and Behavior in Complex Tasks and Environments; A Generic Personal Assistant Agent Model for Support in Demanding Tasks; Adaptive Interfaces in Driving; Using Context to Identify Difficult Driving Situations in Unstructured Environments; Neurally-Driven Adaptive Decision Aids; Understanding Brain, Cognition, and Behavior in Complex Dynamic Environments; Designing a Control and Visualization System for Off-Highway Machinery According to the Adaptive Automation Paradigm.
Record Nr. UCHICAGO-11072904
[International Conference on Augmented Cognition (5th : 2009 : San Diego, Calif.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Parallel and distributed computational intelligence / Francisco Fernández de Vega and Erick Cantú-Paz (Eds.).
Parallel and distributed computational intelligence / Francisco Fernández de Vega and Erick Cantú-Paz (Eds.).
Estensione 1 online resource (vi, 347 pages).
Accesso persona Vega, Francisco Fernández
Cantú-Paz, Erick
Genere/Forma Electronic books
ISBN 9783642106750
3642106757
1280003278
9781280003271
9783642106743
3642106749
Classificazione 54.72
TP18
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto When Huge is Routine: Scaling Genetic Algorithms and Estimation of Distribution Algorithms via Data-Intensive Computing -- Evolvable Agents: A Framework for Peer-to-Peer Evolutionary Algorithms -- Evolutionary Algorithms on Volunteer Computing Platforms: The MilkyWay@Home Project -- Self-coordinated on-chip Parallel Computing: A Swarm Intelligence Approach -- Large Scale Bioinformatics Data Mining with Parallel Genetic Programming on Graphics Processing Units -- A Review on Parallel Estimation of Distribution Algorithms -- Parallel Multi-Objective Optimization using Self-Organized Heterogeneous ReSources -- The Role of Explicit Niching and Communication Messages in Distributed Evolutionary Multi-Objective Optimization -- Adaptive Scheduling Algorithms for the Dynamic Distribution and Parallel Execution of Spatial Agent-Based Models -- On the Use of Distributed Genetic Algorithms for the Tuning of Fuzzy Rule Based-Systems -- Parallel and Distributed Optimization of Dynamic Data Structures for Multi- media Embedded Systems -- A Grid-based Hybrid Hierarchical Genetic Algorithm for Protein Structure Prediction -- Laser Dynamics Modelling and Simulation: An Application of Dynamic Load Balancing of Parallel Cellular Automata.
Record Nr. UCHICAGO-11073719
Materiale a stampa
Lo trovi qui: University of Chicago
Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange, eds.
Algorithmic learning for knowledge-based systems : GOSLER final report / Klaus P. Jantke, Steffen Lange, eds.
Estensione 1 online resource (x, 510 pages) : illustrations.
Accesso persona Jantke, K. P. (Klaus P.)
Lange, Steffen
Genere/Forma Electronic books
ISBN 9783540447375
3540447377
3540602178
9783540602170
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Learning and consistency / Rolf Wiehagen and Thomas Zeugmann -- Error detecting in inductive inference ; Learning from good examples / Rūsiņš Freivalds, Efim B. Kinber and Rolf Wiehagen -- Towards reduction arguments for FINite learning / Robert Daley and Bala Kalyanasundaram -- Not-so-nearly-minimal-size program inference / John Case, Mandayam Suraj and Sanjay Jain -- Optimization problem in inductive inference / Andris Ambainis -- On identification by teams and probabilistic machines / Sanjay Jain and Arun Sharma -- Topological considerations in composing teams of learning machines / Kalvis Apsītis -- Probabilistic versus deterministic memory limited learning / Rūsiņš Freivalds and Efim B. Kinber and Carl H. Smith -- Classification using information / William I. Gasarch, Mark G. Pleszkoch and Mahendran Velauthapillai -- Classifying recursive predicates and languages / Rolf Wiehagen, Carl H. Smith and Thomas Zeugmann -- A guided tour across the boundaries of learning recursive languages / Thomas Zeugmann and Steffen Lange -- Pattern inference / Takeshi Shinohara and Setsuo Arikawa -- Inductive learning of recurrence-term languages from positive data / Phil Watson -- Learning formal languages based on control sets / Yuji Takada -- Learning in case-based classification algorithms / Christoph Globig and Stefan Wess -- Optimal strategies, learning from examples, Boolean equations / Christian Posthoff and Michael Schlosser -- Feature construction during tree learning / Gerhard Mehlsam, Hermann Kaindl and Wilhelm Barth -- On lower bounds for the depth of threshold circuits with weights from [-1,0,+1] / Andreas Albrecht -- Structuring neural networks and PAC-learning / Eberhard Pippig -- Inductive synthesis of rewrite programs / Ulf Goldammer -- TLPS : a term rewriting laboratory (not only) for experiments in automatic program synthesis / Gunter Grieser -- GoslerP : a logic programming tool for inductive inference / Hans-Rainer Beick and Ventsislav Stankov.
Record Nr. UCHICAGO-11073824
Materiale a stampa
Lo trovi qui: University of Chicago