Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.] |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
Descrizione fisica | 1 online resource (416 p.) |
Disciplina | 004.35 |
Altri autori (Persone) | BroeninkJan F |
Collana | Concurrent systems engineering series |
Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
ISBN |
1-280-50507-9
9786610505074 1-4237-9735-3 1-60750-144-9 600-00-0366-8 1-60129-124-8 |
Classificazione |
54.31
54.51 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
Improving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk) If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index |
Record Nr. | UNINA-9910784143503321 |
Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Communicating process architectures 2005 [[electronic resource] ] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands / / ed. by Jan F. Broenink ... [et al.] |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2005 |
Descrizione fisica | 1 online resource (416 p.) |
Disciplina | 004.35 |
Altri autori (Persone) | BroeninkJan F |
Collana | Concurrent systems engineering series |
Soggetto topico |
Parallel processing (Electronic computers)
occam (Computer program language) Transputers Computer architecture |
ISBN |
1-280-50507-9
9786610505074 1-4237-9735-3 1-60750-144-9 600-00-0366-8 1-60129-124-8 |
Classificazione |
54.31
54.51 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
Improving TCP/IP Multicasting with Message SegmentationLazy Cellular Automata with Communicating Processes; A Unifying Theory of True Concurrency Based on CSP and Lazy Observation; The Architecture of the Minimum intrusion Grid (MiG); Verification of JCSP Programs; Architecture Design Space Exploration for Streaming Applications through Timing Analysis; A Foreign-Function Interface Generator for occam-pi; Interfacing C and occam-pi; Interactive Computing with the Minimum intrusion Grid (MiG); High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog Mobile Barriers for occam-pi: Semantics, Implementation and ApplicationException Handling Mechanism in Communicating Threads for Java; R16: A New Transputer Design for FPGAs; Towards Strong Mobility in the Shared Source CLI; gCSP occam Code Generation for RMoX; Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach; Communication and Synchronization in the Cell Processor (Invited Talk); Homogeneous Multiprocessing for Consumer Electronics (Invited Talk); Handshake Technology: High Way to Low Power (Invited Talk) If Concurrency in Software Is So Simple, Why Is It So Hard? (Invited Talk)Author Index |
Record Nr. | UNINA-9910829147803321 |
Amsterdam ; ; Washington, D.C., : IOS Press, c2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Communicating process architectures 2008 [[electronic resource] ] : WoTUG-31 / / edited by Peter H. Welch ... [et al.] |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2008 |
Descrizione fisica | 1 online resource (472 p.) |
Disciplina |
004.35
158.1 |
Altri autori (Persone) | WelchP. H |
Soggetto topico |
Computer architecture
occam (Computer program language) Parallel processing (Electronic computers) Transputers |
ISBN |
661196861X
1-281-96861-7 9786611968618 1-4416-0157-0 600-00-1186-5 1-60750-368-9 |
Classificazione |
54.31
54.51 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP--B to Handel-C
FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations Representation and Implementation of CSP and VCR TracesCSPBuilder - CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus - with Mobile Reindeer and Elves; Subject Index; Author Index |
Record Nr. | UNINA-9910782442603321 |
Amsterdam ; ; Washington, D.C., : IOS Press, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Communicating process architectures 2008 [[electronic resource] ] : WoTUG-31 / / edited by Peter H. Welch ... [et al.] |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2008 |
Descrizione fisica | 1 online resource (472 p.) |
Disciplina |
004.35
158.1 |
Altri autori (Persone) | WelchP. H |
Soggetto topico |
Computer architecture
occam (Computer program language) Parallel processing (Electronic computers) Transputers |
ISBN |
661196861X
1-281-96861-7 9786611968618 1-4416-0157-0 600-00-1186-5 1-60750-368-9 |
Classificazione |
54.31
54.51 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP--B to Handel-C
FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations Representation and Implementation of CSP and VCR TracesCSPBuilder - CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus - with Mobile Reindeer and Elves; Subject Index; Author Index |
Record Nr. | UNINA-9910821345903321 |
Amsterdam ; ; Washington, D.C., : IOS Press, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Evolutionary computation : a unified approach / / Kenneth A. De Jong |
Autore | De Jong Kenneth A. |
Pubbl/distr/stampa | Cambridge, Massachusetts : , : MIT Press, , 2006 |
Descrizione fisica | 1 online resource (267 p.) |
Disciplina | 005.1 |
Soggetto topico |
Evolutionary programming (Computer science)
Evolutionary computation |
ISBN |
1-282-09624-9
0-262-25598-7 9786612096242 1-4237-7455-8 |
Classificazione | 54.51 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. A historical perspective -- 3. Canonical evolutionary algorithms -- 4. A unified view of simple EAs -- 5. Evolutionary algorithms as problem solvers -- |
Record Nr. | UNINA-9910260651903321 |
De Jong Kenneth A.
![]() |
||
Cambridge, Massachusetts : , : MIT Press, , 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of granular computing [[electronic resource] /] / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich |
Pubbl/distr/stampa | Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 |
Descrizione fisica | 1 online resource (1150 p.) |
Disciplina | 006.3 |
Altri autori (Persone) |
PedryczWitold <1953->
SkowronAndrzej KreinovichVladik |
Soggetto topico | Granular computing |
ISBN |
1-282-68617-8
9786612686177 0-470-72416-1 0-470-72415-3 |
Classificazione | 54.51 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Handbook of granular computing; Contents; Preface; Foreword; Biographies; Part One Fundamentals and Methodology of Granular Computing Based on Interval Analysis, Fuzzy Sets and Rough Sets; 1 Interval Computation as an Important Part of Granular Computing: An Introduction; 2 Stochastic Arithmetic as a Model of Granular Computing; 3 Fundamentals of Interval Analysis and Linkages to Fuzzy Set Theory; 4 Interval Methods for Non-Linear Equation Solving Applications; 5 Fuzzy Sets as a User-Centric Processing Framework of Granular Computing; 6 Measurement and Elicitation of Membership Functions
7 Fuzzy Clustering as a Data-Driven Development Environment for Information Granules8 Encoding and Decoding of Fuzzy Granules; 9 Systems of Information Granules; 10 Logical Connectives for Granular Computing; 11 Calculi of Information Granules. Fuzzy Relational Equations; 12 Fuzzy Numbers and Fuzzy Arithmetic; 13 Rough-Granular Computing; 14 Wisdom Granular Computing; 15 Granular Computing for Reasoning about Ordered Data: The Dominance-Based Rough Set Approach; 16 A Unified Approach to Granulation of Knowledge and Granular Computing Based on Rough Mereology: A Survey 17 A Unified Framework of Granular Computing18 Quotient Spaces and Granular Computing; 19 Rough Sets and Granular Computing: Toward Rough-Granular Computing; 20 Construction of Rough Information Granules; 21 Spatiotemporal Reasoning in Rough Sets and Granular Computing; Part Two Hybrid Methods and Models of Granular Computing; 22 A Survey of Interval-Valued Fuzzy Sets; 23 Measurement Theory and Uncertainty in Measurements: Application of Interval Analysis and Fuzzy Sets Methods; 24 Fuzzy Rough Sets: From Theory into Practice; 25 On Type 2 Fuzzy Sets as Granular Models for Words 26 Design of Intelligent Systems with Interval Type-2 Fuzzy Logic27 Theoretical Aspects of Shadowed Sets; 28 Fuzzy Representations of Spatial Relations for Spatial Reasoning; 29 Rough-Neural Methodologies in Granular Computing; 30 Approximation and Perception in Ethology-Based Reinforcement Learning; 31 Fuzzy Linear Programming; 32 A Fuzzy Regression Approach to Acquisition of Linguistic Rules; 33 Fuzzy Associative Memories and Their Relationship to Mathematical Morphology; 34 Fuzzy Cognitive Maps; Part Three Applications and Case Studies 35 Rough Sets and Granular Computing in Behavioral Pattern Identification and Planning36 Rough Sets and Granular Computing in Hierarchical Learning; 37 Outlier and Exception Analysis in Rough Sets and Granular Computing; 38 Information Access and Retrieval; 39 Granular Computing in Medical Informatics; 40 Eigen Fuzzy Sets and Image Information Retrieval; 41 Rough Sets and Granular Computing in Dealing with Missing Attribute Values; 42 Granular Computing in Machine Learning and Data Mining 43 On Group Decision Making, Consensus Reaching, Voting, and Voting Paradoxes under Fuzzy Preferences and a Fuzzy Majority: A Survey and a Granulation Perspective |
Record Nr. | UNINA-9910144118303321 |
Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of granular computing [[electronic resource] /] / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich |
Pubbl/distr/stampa | Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 |
Descrizione fisica | 1 online resource (1150 p.) |
Disciplina | 006.3 |
Altri autori (Persone) |
PedryczWitold <1953->
SkowronAndrzej KreinovichVladik |
Soggetto topico | Granular computing |
ISBN |
1-282-68617-8
9786612686177 0-470-72416-1 0-470-72415-3 |
Classificazione | 54.51 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Handbook of granular computing; Contents; Preface; Foreword; Biographies; Part One Fundamentals and Methodology of Granular Computing Based on Interval Analysis, Fuzzy Sets and Rough Sets; 1 Interval Computation as an Important Part of Granular Computing: An Introduction; 2 Stochastic Arithmetic as a Model of Granular Computing; 3 Fundamentals of Interval Analysis and Linkages to Fuzzy Set Theory; 4 Interval Methods for Non-Linear Equation Solving Applications; 5 Fuzzy Sets as a User-Centric Processing Framework of Granular Computing; 6 Measurement and Elicitation of Membership Functions
7 Fuzzy Clustering as a Data-Driven Development Environment for Information Granules8 Encoding and Decoding of Fuzzy Granules; 9 Systems of Information Granules; 10 Logical Connectives for Granular Computing; 11 Calculi of Information Granules. Fuzzy Relational Equations; 12 Fuzzy Numbers and Fuzzy Arithmetic; 13 Rough-Granular Computing; 14 Wisdom Granular Computing; 15 Granular Computing for Reasoning about Ordered Data: The Dominance-Based Rough Set Approach; 16 A Unified Approach to Granulation of Knowledge and Granular Computing Based on Rough Mereology: A Survey 17 A Unified Framework of Granular Computing18 Quotient Spaces and Granular Computing; 19 Rough Sets and Granular Computing: Toward Rough-Granular Computing; 20 Construction of Rough Information Granules; 21 Spatiotemporal Reasoning in Rough Sets and Granular Computing; Part Two Hybrid Methods and Models of Granular Computing; 22 A Survey of Interval-Valued Fuzzy Sets; 23 Measurement Theory and Uncertainty in Measurements: Application of Interval Analysis and Fuzzy Sets Methods; 24 Fuzzy Rough Sets: From Theory into Practice; 25 On Type 2 Fuzzy Sets as Granular Models for Words 26 Design of Intelligent Systems with Interval Type-2 Fuzzy Logic27 Theoretical Aspects of Shadowed Sets; 28 Fuzzy Representations of Spatial Relations for Spatial Reasoning; 29 Rough-Neural Methodologies in Granular Computing; 30 Approximation and Perception in Ethology-Based Reinforcement Learning; 31 Fuzzy Linear Programming; 32 A Fuzzy Regression Approach to Acquisition of Linguistic Rules; 33 Fuzzy Associative Memories and Their Relationship to Mathematical Morphology; 34 Fuzzy Cognitive Maps; Part Three Applications and Case Studies 35 Rough Sets and Granular Computing in Behavioral Pattern Identification and Planning36 Rough Sets and Granular Computing in Hierarchical Learning; 37 Outlier and Exception Analysis in Rough Sets and Granular Computing; 38 Information Access and Retrieval; 39 Granular Computing in Medical Informatics; 40 Eigen Fuzzy Sets and Image Information Retrieval; 41 Rough Sets and Granular Computing in Dealing with Missing Attribute Values; 42 Granular Computing in Machine Learning and Data Mining 43 On Group Decision Making, Consensus Reaching, Voting, and Voting Paradoxes under Fuzzy Preferences and a Fuzzy Majority: A Survey and a Granulation Perspective |
Record Nr. | UNINA-9910830243303321 |
Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of granular computing [[electronic resource] /] / edited by Witold Pedrycz, Andrzej Skowron, Vladik Kreinovich |
Pubbl/distr/stampa | Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 |
Descrizione fisica | 1 online resource (1150 p.) |
Disciplina | 006.3 |
Altri autori (Persone) |
PedryczWitold <1953->
SkowronAndrzej KreinovichVladik |
Soggetto topico | Granular computing |
ISBN |
1-282-68617-8
9786612686177 0-470-72416-1 0-470-72415-3 |
Classificazione | 54.51 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Handbook of granular computing; Contents; Preface; Foreword; Biographies; Part One Fundamentals and Methodology of Granular Computing Based on Interval Analysis, Fuzzy Sets and Rough Sets; 1 Interval Computation as an Important Part of Granular Computing: An Introduction; 2 Stochastic Arithmetic as a Model of Granular Computing; 3 Fundamentals of Interval Analysis and Linkages to Fuzzy Set Theory; 4 Interval Methods for Non-Linear Equation Solving Applications; 5 Fuzzy Sets as a User-Centric Processing Framework of Granular Computing; 6 Measurement and Elicitation of Membership Functions
7 Fuzzy Clustering as a Data-Driven Development Environment for Information Granules8 Encoding and Decoding of Fuzzy Granules; 9 Systems of Information Granules; 10 Logical Connectives for Granular Computing; 11 Calculi of Information Granules. Fuzzy Relational Equations; 12 Fuzzy Numbers and Fuzzy Arithmetic; 13 Rough-Granular Computing; 14 Wisdom Granular Computing; 15 Granular Computing for Reasoning about Ordered Data: The Dominance-Based Rough Set Approach; 16 A Unified Approach to Granulation of Knowledge and Granular Computing Based on Rough Mereology: A Survey 17 A Unified Framework of Granular Computing18 Quotient Spaces and Granular Computing; 19 Rough Sets and Granular Computing: Toward Rough-Granular Computing; 20 Construction of Rough Information Granules; 21 Spatiotemporal Reasoning in Rough Sets and Granular Computing; Part Two Hybrid Methods and Models of Granular Computing; 22 A Survey of Interval-Valued Fuzzy Sets; 23 Measurement Theory and Uncertainty in Measurements: Application of Interval Analysis and Fuzzy Sets Methods; 24 Fuzzy Rough Sets: From Theory into Practice; 25 On Type 2 Fuzzy Sets as Granular Models for Words 26 Design of Intelligent Systems with Interval Type-2 Fuzzy Logic27 Theoretical Aspects of Shadowed Sets; 28 Fuzzy Representations of Spatial Relations for Spatial Reasoning; 29 Rough-Neural Methodologies in Granular Computing; 30 Approximation and Perception in Ethology-Based Reinforcement Learning; 31 Fuzzy Linear Programming; 32 A Fuzzy Regression Approach to Acquisition of Linguistic Rules; 33 Fuzzy Associative Memories and Their Relationship to Mathematical Morphology; 34 Fuzzy Cognitive Maps; Part Three Applications and Case Studies 35 Rough Sets and Granular Computing in Behavioral Pattern Identification and Planning36 Rough Sets and Granular Computing in Hierarchical Learning; 37 Outlier and Exception Analysis in Rough Sets and Granular Computing; 38 Information Access and Retrieval; 39 Granular Computing in Medical Informatics; 40 Eigen Fuzzy Sets and Image Information Retrieval; 41 Rough Sets and Granular Computing in Dealing with Missing Attribute Values; 42 Granular Computing in Machine Learning and Data Mining 43 On Group Decision Making, Consensus Reaching, Voting, and Voting Paradoxes under Fuzzy Preferences and a Fuzzy Majority: A Survey and a Granulation Perspective |
Record Nr. | UNINA-9910840561403321 |
Chichester, West Sussex ; ; Hoboken, NJ, : John Wiley & Sons, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic and Its Applications [[electronic resource] ] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / / edited by R. Ramanujam, Sundar Sarukkai |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 269 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Computers Algorithms Mathematical logic Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Theory of Computation Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
Soggetto genere / forma |
Kongress.
Madras (2009) |
ISBN | 3-540-92701-8 |
Classificazione |
54.72
54.51 54.71 DAT 540f DAT 706f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Decisions, Actions, and Games: A Logical Perspective -- Machine Checking Proof Theory: An Application of Logic to Logic -- Some Second Order Set Theory -- Connection Matrices for MSOL-Definable Structural Invariants -- Knowledge, Games and Tales from the East -- A Para Consistent Fuzzy Logic -- From Philosophical to Industrial Logics -- Game Quantification Patterns -- Extensive Questions -- An Analytic Logic of Aggregation -- Instantial Relevance in Polyadic Inductive Logic -- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic -- A General Setting for the Pointwise Investigation of Determinacy -- A Two-Dimensional Hybrid Logic of Subset Spaces -- A Unified Framework for Certificate and Compilation for QBF -- Towards Decidability of Conjugacy of Pairs and Triples -- Gautama – Ontology Editor Based on Nyaya Logic -- Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming -- The Art of Non-asserting: Dialogue with N?g?rjuna. |
Record Nr. | UNISA-996465798003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic and Its Applications [[electronic resource] ] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings / / edited by R. Ramanujam, Sundar Sarukkai |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 269 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Programming languages (Electronic computers) Computers Algorithms Mathematical logic Artificial Intelligence Programming Techniques Programming Languages, Compilers, Interpreters Theory of Computation Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
Soggetto genere / forma |
Kongress.
Madras (2009) |
ISBN | 3-540-92701-8 |
Classificazione |
54.72
54.51 54.71 DAT 540f DAT 706f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Decisions, Actions, and Games: A Logical Perspective -- Machine Checking Proof Theory: An Application of Logic to Logic -- Some Second Order Set Theory -- Connection Matrices for MSOL-Definable Structural Invariants -- Knowledge, Games and Tales from the East -- A Para Consistent Fuzzy Logic -- From Philosophical to Industrial Logics -- Game Quantification Patterns -- Extensive Questions -- An Analytic Logic of Aggregation -- Instantial Relevance in Polyadic Inductive Logic -- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic -- A General Setting for the Pointwise Investigation of Determinacy -- A Two-Dimensional Hybrid Logic of Subset Spaces -- A Unified Framework for Certificate and Compilation for QBF -- Towards Decidability of Conjugacy of Pairs and Triples -- Gautama – Ontology Editor Based on Nyaya Logic -- Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming -- The Art of Non-asserting: Dialogue with N?g?rjuna. |
Record Nr. | UNINA-9910483622003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|