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.
Adaptive Processing of Sequences and Data Structures [[electronic resource] ] : International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures / / edited by C.Lee Giles, Marco Gori
| Adaptive Processing of Sequences and Data Structures [[electronic resource] ] : International Summer School on Neural Networks, "E.R. Caianiello", Vietri sul Mare, Salerno, Italy, September 6-13, 1997, Tutorial Lectures / / edited by C.Lee Giles, Marco Gori |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIV, 438 p.) |
| Disciplina | 006.3/2 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Computer programming Artificial intelligence Computers Microprocessors Data structures (Computer science) Computer System Implementation Programming Techniques Artificial Intelligence Computation by Abstract Devices Processor Architectures Data Structures |
| ISBN | 3-540-69752-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Recurrent neural network architectures: An overview -- Gradient based learning methods -- Diagrammatic methods for deriving and relating temporal neural network algorithms -- An introduction to learning structured information -- Neural networks for processing data structures -- The loading problem: Topics in complexity -- Learning dynamic Bayesian networks -- Probabilistic models of neuronal spike trains -- Temporal models in blind source separation -- Recursive neural networks and automata -- The neural network pushdown automaton: Architecture, dynamics and training -- Neural dynamics with stochasticity -- Parsing the stream of time: The value of event-based segmentation in a complex real-world control problem -- Hybrid HMM/ANN systems for speech recognition: Overview and new research directions -- Predictive models for sequence modelling, application to speech and character recognition. |
| Record Nr. | UNISA-996466108403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Building Information Modeling [[electronic resource] ] : First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers / / edited by Salih Ofluoglu, Ozan Onder Ozener, Umit Isikdag
| Advances in Building Information Modeling [[electronic resource] ] : First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers / / edited by Salih Ofluoglu, Ozan Onder Ozener, Umit Isikdag |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 211 p. 73 illus., 52 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Application software Software engineering Data structures (Computer science) Architecture, Computer Computers Artificial Intelligence Information Systems Applications (incl. Internet) Software Engineering Data Structures and Information Theory Computer System Implementation Computing Milieux |
| ISBN | 3-030-42852-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | BIM Adoption and Implementation -- BIM for Project Management -- BIM for Sustainability and Performative Design -- BIM and Facility Management and Infrastructural Issues. |
| Record Nr. | UNISA-996465353103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computational Intelligence, Security and Internet of Things [[electronic resource] ] : Second International Conference, ICCISIoT 2019, Agartala, India, December 13–14, 2019, Proceedings / / edited by Ashim Saha, Nirmalya Kar, Suman Deb
| Advances in Computational Intelligence, Security and Internet of Things [[electronic resource] ] : Second International Conference, ICCISIoT 2019, Agartala, India, December 13–14, 2019, Proceedings / / edited by Ashim Saha, Nirmalya Kar, Suman Deb |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIV, 470 p. 315 illus., 183 illus. in color.) |
| Disciplina | 005.7 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Application software
Artificial intelligence Computer communication systems Architecture, Computer Coding theory Information theory Optical data processing Information Systems Applications (incl. Internet) Artificial Intelligence Computer Communication Networks Computer System Implementation Coding and Information Theory Image Processing and Computer Vision |
| ISBN | 981-15-3666-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computational Intelligence -- Security -- Internet of Things. |
| Record Nr. | UNISA-996465454303316 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computer Systems Architecture [[electronic resource] ] : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings / / edited by Pen-Chung Yew, Jingling Xue
| Advances in Computer Systems Architecture [[electronic resource] ] : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings / / edited by Pen-Chung Yew, Jingling Xue |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XVIII, 602 p.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Arithmetic and logic units, Computer Input-output equipment (Computers) Microprocessors Computer communication systems Computer System Implementation Arithmetic and Logic Structures Input/Output and Data Communications Register-Transfer-Level Implementation Computer Communication Networks Processor Architectures |
| ISBN | 3-540-30102-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Address I -- Some Real Observations on Virtual Machines -- Session 1A: Cache and Memory -- Replica Victim Caching to Improve Reliability of In-Cache Replication -- Efficient Victim Mechanism on Sector Cache Organization -- Cache Behavior Analysis of a Compiler-Assisted Cache Replacement Policy -- Modeling the Cache Behavior of Codes with Arbitrary Data-Dependent Conditional Structures -- Session 1B: Reconfigurable and Embedded Architectures -- A Configurable System-on-Chip Architecture for Embedded Devices -- An Auto-adaptative Reconfigurable Architecture for the Control -- Enhancing the Memory Performance of Embedded Systems with the Flexible Sequential and Random Access Memory -- Heuristic Algorithm for Reducing Mapping Sets of Hardware-Software Partitioning in Reconfigurable System -- Session 2A: Processor Architecture and Design I -- Architecture Design of a High-Performance 32-Bit Fixed-Point DSP -- TengYue-1: A High Performance Embedded SoC -- A Fault-Tolerant Single-Chip Multiprocessor -- Session 2B: Power and Energy Management -- Initial Experiences with Dreamy Memory and the RAMpage Memory Hierarchy -- dDVS: An Efficient Dynamic Voltage Scaling Algorithm Based on the Differential of CPU Utilization -- High Performance Microprocessor Design Methods Exploiting Information Locality and Data Redundancy for Lower Area Cost and Power Consumption -- Session 3A: Processor Architecture and Design II -- Dynamic Reallocation of Functional Units in Superscalar Processors -- Multiple-Dimension Scalable Adaptive Stream Architecture -- Impact of Register-Cache Bandwidth Variation on Processor Performance -- Session 3B: Compiler and Operating System Issues -- Exploiting Free Execution Slots on EPIC Processors for Efficient and Accurate Runtime Profiling -- Continuous Adaptive Object-Code Re-optimization Framework -- Initial Evaluation of a User-Level Device Driver Framework -- Keynote Address II -- A Generation Ahead of Microprocessor: Where Software Can Drive uArchitecture To? -- Session 4A: Application-Specific Systems -- A Cost-Effective Supersampling for Full Scene AntiAliasing -- A Simple Architectural Enhancement for Fast and Flexible Elliptic Curve Cryptography over Binary Finite Fields GF(2 m ) -- Scalable Design Framework for JPEG2000 System Architecture -- Real-Time Three Dimensional Vision -- Session 4B: Interconnection Networks -- A Router Architecture for QoS Capable Clusters -- Optimal Scheduling Algorithms in WDM Optical Interconnects with Limited Range Wavelength Conversion Capability -- Comparative Evaluation of Adaptive and Deterministic Routing in the OTIS-Hypercube -- A Two-Level On-Chip Bus System Based on Multiplexers -- Keynote Address III -- Make Computers Cheaper and Simpler -- Session 5A: Prediction Techniques -- A Low Power Branch Predictor to Selectively Access the BTB -- Static Techniques to Improve Power Efficiency of Branch Predictors -- Choice Predictor for Free -- Performance Impact of Different Data Value Predictors -- Session 5B: Parallel Architecture and Programming -- Heterogeneous Networks of Workstations -- Finding High Performance Solution in Reconfigurable Mesh-Connected VLSI Arrays -- Order Independent Transparency for Image Composition Parallel Rendering Machines -- An Authorization Architecture Oriented to Engineering and Scientific Computation in Grid Environments -- Session 6A: Microarchitecture Design and Evaluations -- Validating Word-Oriented Processors for Bit and Multi-word Operations -- Dynamic Fetch Engine for Simultaneous Multithreaded Processors -- A Novel Rename Register Architecture and Performance Analysis -- Session 6B: Memory and I/O Systems -- A New Hierarchy Cache Scheme Using RAM and Pagefile -- An Object-Oriented Data Storage System on Network-Attached Object Devices -- A Scalable and Adaptive Directory Scheme for Hardware Distributed Shared Memory -- Session 7A: Potpourri -- A Compiler-Assisted On-Chip Assigned-Signature Control Flow Checking -- A Floating Point Divider Performing IEEE Rounding and Quotient Conversion in Parallel -- Efficient Buffer Allocation for Asynchronous Linear Pipelines by Design Space Localization. |
| Record Nr. | UNISA-996465379503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Computer Systems Architecture [[electronic resource] ] : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings / / edited by Amos Omondi, Stanislav Sedukhin
| Advances in Computer Systems Architecture [[electronic resource] ] : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings / / edited by Amos Omondi, Stanislav Sedukhin |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XIV, 410 p.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Logic design Arithmetic and logic units, Computer Input-output equipment (Computers) Microprocessors Computer communication systems Computer System Implementation Logic Design Arithmetic and Logic Structures Input/Output and Data Communications Processor Architectures Computer Communication Networks |
| ISBN | 3-540-39864-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | How Can the Earth Simulator Impact on Human Activities -- Toward Architecting and Designing Novel Computers -- Designing Ultra-large Instruction Issue Windows -- Multi-threaded Microprocessors – Evolution or Revolution -- The Development of System Software for Parallel Supercomputers -- Asynchronous Bit-Serial Datapath for Object-Oriented Reconfigurable Architecture PCA -- Reconfigurable Logic: A Saviour for Experimental Computer Architecture Research -- Design and Implementation of Java Processors -- MOOSS: CPU Architecture with Memory Protection and Support for OOP -- Reducing Access Count to Register-Files through Operand Reuse -- SimAlpha Version 1.0: Simple and Readable Alpha Processor Simulator -- Towards an Asynchronous MIPS Processor -- On Implementing High Level Concurrency in Java -- Simultaneous MultiStreaming for Complexity-Effective VLIW Architectures -- A Novel Architecture for Genomic Sequence Searching and Alignment -- A Reconfigurable Multi-threaded Architecture Model -- Reconfigurable Instruction-Level Parallel Processor Architecture -- Mapping Applications to a Coarse Grain Reconfigurable System -- Packing with Boundary Constraints for a Reconfigurable Operating System -- Arithmetic Circuits Combining Residue and Signed-Digit Representations -- A New On-the-fly Summation Algorithm -- State Reordering for Low Power Combinational Logic -- User-Level Management of Kernel Memory -- Variable Radix Page Table: A Page Table for Modern Architectures -- L1 Cache and TLB Enhancements to the RAMpage Memory Hierarchy -- Legba: Fast Hardware Support for Fine-Grained Protection -- Live-Cache: Exploiting Data Redundancy to Reduce Leakage Energy in a Cache Subsystem -- Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor -- Performance of the Achilles Router -- Latency Improvement in Virtual Multicasting -- A Router Architecture to Achieve Link Rate Throughput in Suburban Ad-hoc Networks. |
| Record Nr. | UNISA-996466063403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Cyber Security [[electronic resource] ] : First International Conference, ACeS 2019, Penang, Malaysia, July 30 – August 1, 2019, Revised Selected Papers / / edited by Mohammed Anbar, Nibras Abdullah, Selvakumar Manickam
| Advances in Cyber Security [[electronic resource] ] : First International Conference, ACeS 2019, Penang, Malaysia, July 30 – August 1, 2019, Revised Selected Papers / / edited by Mohammed Anbar, Nibras Abdullah, Selvakumar Manickam |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 374 p. 138 illus., 96 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computers
Computer communication systems Data protection Architecture, Computer Artificial intelligence Information Systems and Communication Service Computer Communication Networks Security Computer System Implementation Artificial Intelligence Computing Milieux |
| ISBN | 981-15-2693-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Internet of Things, Industry and Blockchain, and Cryptology -- Digital Forensics and Surveillance, Botnet and Malware, and DDoS and Intrusion Detection/Prevention -- Ambient Cloud and Edge Computing, Wireless and Cellular Communication. |
| Record Nr. | UNISA-996465344603316 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1988 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1988 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VI, 440 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Architecture, Computer Computer communication systems Algorithms Computer logic Microprocessors Computation by Abstract Devices Computer System Implementation Computer Communication Networks Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures |
| ISBN | 3-540-46059-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An environment for object-oriented conceptual programming based on PROT nets -- OBJSA Nets: a class of high-level nets having objects as domains -- On internal and external characterisations of PT-net building block behaviour -- Timed Petri Net schedules -- An exercise in concurrency: A CSP process as a condition/event system -- A survey on the decidability questions for classes of fifo nets -- The construction of EN systems from a given trace behaviour -- Programming a closely coupled multiprocessor system with high level petri nets -- Music description and processing by Petri Nets -- On questions of fairness and temporal logic for conflict-free Petri nets -- Infinitary partial Petri net languages and their relationship to other Petri net semantics -- Net representation of sentences in natural languages -- Some consequences of the decidability of the reachability problem for Petri nets -- Experiences in the use of galileo to design telecommunication systems -- Compositional semantics of pure place/transition systems -- Occurrence traces -- Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T. -- On the generation of organizational architectures using Petri Nets -- On the computation of structural synchronic invariants in P/T nets -- On the implementation of Petri nets. |
| Record Nr. | UNISA-996465286303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Petri Nets 1993 [[electronic resource] /] / edited by Grzegorz Rozenberg
| Advances in Petri Nets 1993 [[electronic resource] /] / edited by Grzegorz Rozenberg |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (X, 462 p.) |
| Disciplina | 003.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Computers Algorithms Computer logic Microprocessors Computer communication systems Computer System Implementation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Processor Architectures Computer Communication Networks |
| ISBN | 3-540-47631-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Replacement of open interface subnets and stable state transformation equivalence -- Bounded self-stabilizing Petri nets -- Generative families of positive invariants in Coloured nets sub-classes -- Autonomous and timed continuous Petri nets -- The Devnet: A Petri net for discrete event simulation -- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets -- A concept of hierarchical Petri nets with building blocks -- Petri net tool overview 1992 -- The minimal coverability graph for Petri nets -- Distributed implementation of CCS -- Saturation conditions for Stochastic Petri Nets -- Marking optimization in timed event graphs -- Parameterized reachability trees for Predicate/Transition nets -- Iterative decomposition and aggregation of Stochastic marked graph Petri nets -- Constraints and extensions in a Calculus of EN systems -- Comparability orders and measurement -- Deterministic systems of sequential processes: A class of structured Petri nets -- Compositional state space generation. |
| Record Nr. | UNISA-996466080403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agents and Artificial Intelligence [[electronic resource] ] : 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers / / edited by Jaap van den Herik, Ana Paula Rocha, Luc Steels
| Agents and Artificial Intelligence [[electronic resource] ] : 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers / / edited by Jaap van den Herik, Ana Paula Rocha, Luc Steels |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (xviii, 362 pages) : illustrations |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Architecture, Computer Algorithms Artificial Intelligence Information Systems Applications (incl. Internet) Computer System Implementation Algorithm Analysis and Problem Complexity |
| ISBN | 3-030-37494-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Dynamics of Semantic Change: A Corpus-based Analysis -- Reinforcement Learning Method for ad Networks Ordering in Real-time Bidding -- Neural Hidden Markov Model -- A General Approach to Distributed and Privacy-Preserving Heuristic Computation -- Social Golfer Problem Revisited -- Weighted Personalized Factorizations for Network Classification with Approximated Relation Weights -- Multi-Agent Path Finding with Generalized Conflicts: An Experimental Study -- Dynamics of Narrow-minded Belief and Its Cut-free Sequent Calculus -- Application of PSO-based Constrained Combinatorial Optimization to Segment Assignment in Shield Tunneling -- Boosting Local Search using Machine Learning: A Study on Improving Local Search by Graph Classification in Determining Capacity of Shunting Yards -- Bipartite Split-merge Evolutionary Clustering -- Wide and Deep Reinforcement Learning Extended for Grid-based Action Games -- Adaptive-aggressive Traders Don't Dominate -- Improvement of Multi-agent Continuous Cooperative Patrolling with Learning of Activity Length -- Symmetry Breaking in Evacuation Exit Choice: Impacts of Cognitive Bias and Physical Factor on Evacuation Decision -- The Effect of Laziness on Agents for Large Scale Global Optimization -- Conversational Agents for Insurance Companies: From Theory to Practice. |
| Record Nr. | UNISA-996466189103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Algebraic and Logic Programming [[electronic resource] ] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / / edited by Michael Hanus, Jan Heering, Karl Meinke
| Algebraic and Logic Programming [[electronic resource] ] : 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / / edited by Michael Hanus, Jan Heering, Karl Meinke |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 297 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Computers Architecture, Computer Computer logic Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Theory of Computation Computer System Implementation Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-69555-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safe folding/unfolding with conditional narrowing -- Optimal non-deterministic functional logic computations -- A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints -- Parallelizing functional programs by generalization -- Higher-order equational unification via explicit substitutions -- Parameterised higher-order algebraic specifications -- Higher-order lazy narrowing calculus: A computation model for a higher-order functional logic language -- On composable properties of term rewriting systems -- Needed reductions with context-sensitive rewriting -- Conditional term graph rewriting -- Lazy narrowing with parametric order sorted types -- Termination of algebraic type systems: The syntactic approach -- Proof net semantics of proof search computation -- Explicit substitutions for the ??-calculus -- A left-linear variant of ?? -- Perpetuality and uniform normalization -- Model generation with existentially quantified variables and constraints -- Optimal left-to-right pattern-matching automata. |
| Record Nr. | UNISA-996465769803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Architecture, Computer
(353)
- Computer System Implementation (353)
- Software engineering (156)
- Computers (142)
- Computer programming (141)