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.
Archival science
Archival science
Pubbl/distr/stampa Dordrecht, the Netherlands, : Kluwer Academic Publishers, 2001-
Soggetto topico Archives
Soggetto genere / forma Periodicals.
Soggetto non controllato Computing
ISSN 1573-7500
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti International journal on recorded information
Record Nr. UNINA-9910141124103321
Dordrecht, the Netherlands, : Kluwer Academic Publishers, 2001-
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Archival science
Archival science
Pubbl/distr/stampa Dordrecht, the Netherlands, : Kluwer Academic Publishers, 2001-
Soggetto topico Archives
Soggetto genere / forma Periodicals.
Soggetto non controllato Computing
ISSN 1573-7500
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti International journal on recorded information
Record Nr. UNISA-996215985603316
Dordrecht, the Netherlands, : Kluwer Academic Publishers, 2001-
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Archives and museum informatics
Archives and museum informatics
Pubbl/distr/stampa [Dordrecht], : Kluwer Academic Publishers
Disciplina 025.316
Soggetto topico Archives - Data processing
Museums - Data processing
Information storage and retrieval systems - Archival materials
Archives - Informatique
Musées - Informatique
Systèmes d'information - Archives
Musea
Archieven
ICT
Soggetto genere / forma Periodicals.
Soggetto non controllato Computing
ISSN 1042-1467
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNINA-9910481997903321
[Dordrecht], : Kluwer Academic Publishers
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Archives and museum informatics
Archives and museum informatics
Pubbl/distr/stampa [Dordrecht], : Kluwer Academic Publishers
Disciplina 025.316
Soggetto topico Archives - Data processing
Museums - Data processing
Information storage and retrieval systems - Archival materials
Archives - Informatique
Musées - Informatique
Systèmes d'information - Archives
Musea
Archieven
ICT
Soggetto genere / forma Periodicals.
Soggetto non controllato Computing
ISSN 1042-1467
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNISA-996208177003316
[Dordrecht], : Kluwer Academic Publishers
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Combinatorics, Graph Theory and Computing : SEICCGTC 2020, Boca Raton, USA, March 9–13 / Frederick Hoffman
Combinatorics, Graph Theory and Computing : SEICCGTC 2020, Boca Raton, USA, March 9–13 / Frederick Hoffman
Pubbl/distr/stampa Cham, : Springer, 2022
Descrizione fisica xii, 326 p. : ill. ; 24 cm
Soggetto non controllato Combinatorial games
Combinatorics
Computability
Computing
Designs and geometries
Domination in graphs
Extremal graph theory
Graph coloring
Graph theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0276982
Cham, : Springer, 2022
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Computing and Combinatorics [[electronic resource] ] : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings / / edited by Kyung-Yong Chwa, Munro
Computing and Combinatorics [[electronic resource] ] : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings / / edited by Kyung-Yong Chwa, Munro
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XIV, 482 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Computers
Algorithms
Computer science—Mathematics
Computer communication systems
Data structures (Computer science)
Coding theory
Information theory
Theory of Computation
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Computer Communication Networks
Data Structures
Coding and Information Theory
Soggetto non controllato COCOON
Computing
Combinatorics
ISBN 3-540-27798-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Presentations -- External Geometric Data Structures -- The Poisson Cloning Model for Random Graphs, Random Directed Graphs and Random k-SAT Problems -- Robust Geometric Computation Based on Digital Topology -- Data Structures and Algorithms I -- Adjacency of Optimal Regions for Huffman Trees -- A Construction Method for Optimally Universal Hash Families and Its Consequences for the Existence of RBIBDs -- Towards Constructing Optimal Strip Move Sequences -- Computational Geometry I -- Large Triangles in the d-Dimensional Unit-Cube -- Progress on Maximum Weight Triangulation -- Coloring Octrees -- Games and Combinatorics -- Some Open Problems in Decidability of Brick (Labelled Polyomino) Codes -- Q-Ary Ulam-Rényi Game with Weighted Constrained Lies -- Necessary and Sufficient Numbers of Cards for the Transformation Protocol -- Combinatorial Optimization I -- On the Selection and Assignment with Minimum Quantity Commitments -- Approximation Algorithms for Multicommodity Flow and Normalized Cut Problems: Implementations and Experimental Study -- Transshipment Through Crossdocks with Inventory and Time Windows -- Graph Algorithms -- Approximated Vertex Cover for Graphs with Perfect Matchings -- An Approximation Algorithm for Weighted Weak Vertex Cover Problem in Undirected Graphs -- On the Arrangement of Cliques in Chordal Graphs with Respect to the Cuts -- The Worst-Case Time Complexity for Generating All Maximal Cliques -- Automata and Learning Theory -- Regular Expressions for Languages over Infinite Alphabets -- On the Power of One-Sided Error Quantum Pushdown Automata with Classical Stack Operations -- Learning DNFs and Circuits Using Teaching Assistants -- On the Complexity of Samples for Learning -- Scheduling -- New Results on On-Demand Broadcasting with Deadline via Job Scheduling with Cancellation -- Maximization of the Size and the Weight of Schedules of Degradable Intervals -- Minimizing Maximum Lateness on Identical Parallel Batch Processing Machines -- Computational Geometry II -- Efficient Algorithms for Approximating a Multi-dimensional Voxel Terrain by a Unimodal Terrain -- Algorithms for Point Set Matching with k-Differences -- Approximation Algorithms for Inscribing or Circumscribing an Axially Symmetric Polygon to a Convex Polygon -- Data Structures and Algorithms II -- The Traveling Salesman Problem with Few Inner Points -- A Faster Algorithm for the All-Pairs Shortest Path Problem and Its Application -- Algorithms for the On-Line Quota Traveling Salesman Problem -- Graph Drawing -- On the Orthogonal Drawing of Outerplanar Graphs -- Canonical Decomposition, Realizer, Schnyder Labeling and Orderly Spanning Trees of Plane Graphs -- New Bounds on the Number of Edges in a k-Map Graph -- Combinatorial Optimization II -- Dynamic Storage Allocation and On-Line Colouring Interval Graphs -- New Approximation Algorithms for Some Dynamic Storage Allocation Problems -- k-Center Problems with Minimum Coverage -- Complexity Theory -- On the Extensions of Solovay-Reducibility -- The Complexity of Counting Solutions to Systems of Equations over Finite Semigroups -- Computational Complexity Classification of Partition under Compaction and Retraction -- Parallel and Distributed Architectures -- One-to-Many Disjoint Path Covers in a Graph with Faulty Elements -- Fault-Tolerant Meshes with Constant Degree -- Fault Hamiltonicity of Meshes with Two Wraparound Edges -- On the Expected Time for Herman’s Probabilistic Self-stabilizing Algorithm -- Computational Biology -- An Efficient Online Algorithm for Square Detection -- An Efficient Local Alignment Algorithm for Masked Sequences -- Computing Phylogenetic Roots with Bounded Degrees and Errors Is Hard -- Inferring a Level-1 Phylogenetic Network from a Dense Set of Rooted Triplets.
Record Nr. UNISA-996465535403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computing and Combinatorics [[electronic resource] ] : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings / / edited by Kyung-Yong Chwa, Munro
Computing and Combinatorics [[electronic resource] ] : 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings / / edited by Kyung-Yong Chwa, Munro
Edizione [1st ed. 2004.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Descrizione fisica 1 online resource (XIV, 482 p.)
Disciplina 005.1
Collana Lecture Notes in Computer Science
Soggetto topico Computers
Algorithms
Computer science—Mathematics
Computer communication systems
Data structures (Computer science)
Coding theory
Information theory
Theory of Computation
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Computer Communication Networks
Data Structures
Coding and Information Theory
Soggetto non controllato COCOON
Computing
Combinatorics
ISBN 3-540-27798-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Presentations -- External Geometric Data Structures -- The Poisson Cloning Model for Random Graphs, Random Directed Graphs and Random k-SAT Problems -- Robust Geometric Computation Based on Digital Topology -- Data Structures and Algorithms I -- Adjacency of Optimal Regions for Huffman Trees -- A Construction Method for Optimally Universal Hash Families and Its Consequences for the Existence of RBIBDs -- Towards Constructing Optimal Strip Move Sequences -- Computational Geometry I -- Large Triangles in the d-Dimensional Unit-Cube -- Progress on Maximum Weight Triangulation -- Coloring Octrees -- Games and Combinatorics -- Some Open Problems in Decidability of Brick (Labelled Polyomino) Codes -- Q-Ary Ulam-Rényi Game with Weighted Constrained Lies -- Necessary and Sufficient Numbers of Cards for the Transformation Protocol -- Combinatorial Optimization I -- On the Selection and Assignment with Minimum Quantity Commitments -- Approximation Algorithms for Multicommodity Flow and Normalized Cut Problems: Implementations and Experimental Study -- Transshipment Through Crossdocks with Inventory and Time Windows -- Graph Algorithms -- Approximated Vertex Cover for Graphs with Perfect Matchings -- An Approximation Algorithm for Weighted Weak Vertex Cover Problem in Undirected Graphs -- On the Arrangement of Cliques in Chordal Graphs with Respect to the Cuts -- The Worst-Case Time Complexity for Generating All Maximal Cliques -- Automata and Learning Theory -- Regular Expressions for Languages over Infinite Alphabets -- On the Power of One-Sided Error Quantum Pushdown Automata with Classical Stack Operations -- Learning DNFs and Circuits Using Teaching Assistants -- On the Complexity of Samples for Learning -- Scheduling -- New Results on On-Demand Broadcasting with Deadline via Job Scheduling with Cancellation -- Maximization of the Size and the Weight of Schedules of Degradable Intervals -- Minimizing Maximum Lateness on Identical Parallel Batch Processing Machines -- Computational Geometry II -- Efficient Algorithms for Approximating a Multi-dimensional Voxel Terrain by a Unimodal Terrain -- Algorithms for Point Set Matching with k-Differences -- Approximation Algorithms for Inscribing or Circumscribing an Axially Symmetric Polygon to a Convex Polygon -- Data Structures and Algorithms II -- The Traveling Salesman Problem with Few Inner Points -- A Faster Algorithm for the All-Pairs Shortest Path Problem and Its Application -- Algorithms for the On-Line Quota Traveling Salesman Problem -- Graph Drawing -- On the Orthogonal Drawing of Outerplanar Graphs -- Canonical Decomposition, Realizer, Schnyder Labeling and Orderly Spanning Trees of Plane Graphs -- New Bounds on the Number of Edges in a k-Map Graph -- Combinatorial Optimization II -- Dynamic Storage Allocation and On-Line Colouring Interval Graphs -- New Approximation Algorithms for Some Dynamic Storage Allocation Problems -- k-Center Problems with Minimum Coverage -- Complexity Theory -- On the Extensions of Solovay-Reducibility -- The Complexity of Counting Solutions to Systems of Equations over Finite Semigroups -- Computational Complexity Classification of Partition under Compaction and Retraction -- Parallel and Distributed Architectures -- One-to-Many Disjoint Path Covers in a Graph with Faulty Elements -- Fault-Tolerant Meshes with Constant Degree -- Fault Hamiltonicity of Meshes with Two Wraparound Edges -- On the Expected Time for Herman’s Probabilistic Self-stabilizing Algorithm -- Computational Biology -- An Efficient Online Algorithm for Square Detection -- An Efficient Local Alignment Algorithm for Masked Sequences -- Computing Phylogenetic Roots with Bounded Degrees and Errors Is Hard -- Inferring a Level-1 Phylogenetic Network from a Dense Set of Rooted Triplets.
Record Nr. UNINA-9910144171303321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computing in Statistical Science through APL / Francis John Anscombe
Computing in Statistical Science through APL / Francis John Anscombe
Autore Anscombe, Francis J.
Pubbl/distr/stampa New York, : Springer-Verlag, 1981
Descrizione fisica xvi, 428 p. : ill. ; 24 cm
Soggetto topico 62-XX - Statistics [MSC 2020]
65Cxx - Probabilistic methods, stochastic differential equations [MSC 2020]
Soggetto non controllato Computing
Data evaluation
Statistics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0268388
Anscombe, Francis J.  
New York, : Springer-Verlag, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering [[electronic resource] /] / edited by Tarek Sobh, Khaled Elleithy
Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering [[electronic resource] /] / edited by Tarek Sobh, Khaled Elleithy
Edizione [1st ed. 2013.]
Pubbl/distr/stampa New York, NY : , : Springer New York : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (1132 p.)
Disciplina 600
621.39
Collana Lecture Notes in Electrical Engineering
Soggetto topico Electronic circuits
Control engineering
Robotics
Mechatronics
Electrical engineering
Circuits and Systems
Control, Robotics, Mechatronics
Communications Engineering, Networks
Soggetto genere / forma Conference papers and proceedings.
Soggetto non controllato Computing
Informatics
Systems sciences
Engineering
ISBN 1-283-62253-X
9786613934987
1-4614-3558-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Customized Opinion Mining using Intelligent Algorithms -- Information Security Measurement Roles and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management -- Software Design for Dynamic Stitching of Multi-spectral Images of Field Crops -- Teaching Robotics to Students with Mixed Interests -- An Initial Study Identifying Trends in Test Case Selection -- Providing Strategies for Education in Engineering for Virtual Team Development -- New Automated Assembly Model Based On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual Database Schemas -- Pareto Front Investigation of Multivariable Control Systems -- Multi-objective Performance Evaluation of Controllers for a Thermal Process -- Design Considerations for Generalized Predictive Controllers and Systems with Fractional Dead Time -- R-Mesh Simulator Using C++ -- Image Pre-compensation for Visually Impaired Computer Users with Variable Pupil Size -- Digital Filtering of the Pupil Diameter Signal for Affective Assessment of a Computer User -- TCCT: A GUI Table Comparison  Computer Tool -- Information Management for Holistic, Collaborative Information Security Management -- Towards Passive Walking for the Fully-actuated  Bi-ped Robot Nao -- The Multi GPU Accelerated Waveform Inversion in Distributed OpenCL Environment -- The Analysis of the Efficiency of Parallelization of Existing Serial Code on the Basis of Seismic Migration -- A Cluster Analysis for Determining the Effects of Codes of Conduct in the Business Administration -- Playing With Numbers: Development Issues and Evaluation Results of a Computer Game for Primary School Students -- Reverse Auctions: How Electronic Auctions Can Aid Governments in Significantly Cutting Their Procurement Spending and Introduce Greater Competition in Public Sector Contracting.-Models for Some Smart Toys and Extensions -- Matrix-based Methods for Supporting Logic Planning of IT Projects.-From Three Dimensional Document Circulation Diagram into UML Diagrams -- Operating System for Wireless Embedded Systems Powered by Energy Harvesters -- Data Transformation and Data Transitive Techniques for Protecting Sensitive Data in Privacy Preserving Data Mining -- Handling Maintenance Projects with Matrix-based Methods -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach to Stochastic Systems Modeling -- An Advanced DSS for Classification of Multiple-Sclerosis Lesions in MR Images -- E-learning Software for Students with Autism -- Steganography and Steganalysis: Current Status and Future Directions -- Validation Of System Architectures Against Requirements -- A Few Reflections Regarding Assessment in an E-learning Environment -- Methods to Ensure Higher Variability of Knowledge Tests in the Moodle LMS Environment -- The Use of Virtualization and Thin Clients within the Infrastructure of Computer Labs -- Testing Mobile Agents on the Azul Platform -- Support of Relational Algebra Knowledge Assessment -- On Synergy of Motivational Projects and Agile Software Development Practices -- Expert System as the Tool for Information Asymmetry Reduction on RCBS Market in EU -- Instructional Design for Building Entrepreneurial Competency in Romania: First Stage Research Framework and Results -- Security Requirements for Internet Voting Systems -- A Multi-Algorithm, High Reliability Steganalyzer Based on Services Oriented Architecture -- A Quality Model of Metamodeling Systems -- Selection of Appropriate Data Storage for Wavelet Transform Coefficients -- Drug Delivery by Electroporation: Review -- Wine Maturation using Electric Field -- A Computational Intelligence Approach for Forecasting Telecommunications Time Series -- Designing a Networking Tool for Automatic Domain Zone Updating -- Open Source Software Development: Exploring Research Perspectives -- Informal Instructional Design to Engage and Retain Students in Engineering -- TCP with Advanced Window Scaling Option.-Implementation of the Handheld Decision Support System for Agriculture and Home Gardening -- A Low-overhead BIST Architecture for Digital Data Processing Circuits.-Dynamic Web Service Composition with MDE Approaches and Ontologies -- An Approach Based on Z Language for Formalization of Model Transformation Definition -- Intrusion Detection System for Botnet Attacks in Wireless Networks Using Hybrid Detection Method Based on DNS -- Parallelization of Closed-form Stiffness Matrix Generation for Tetrahedral Finite Elements -- Metrics in Assessing the Quality and Evolution of jEdit -- Customising a BBVC for Asterisk VoIP Services -- An Exploratory Empirical Study of Internal Quality Attributes of Open Source Software Systems -- An Approach to Information Technologies for Solving Mathematical Physics Problems -- Multiple Software Watchdog Timers in the Linux OS -- An Ontology-based Fuzzy Approach for Alert Verification and Correlation in RFID Systems -- XML Database Storage for Web based Application -- Towards C# Application Development using UML State Machines – a Case Study -- Visualization of Verilog Digital Systems Models -- Expert System Aided Power System Reinforcement with Reliability and Voltage Sag Consideration -- A TSK Fuzzy Approach to Channel Estimation for 802.11a WLANs -- Comparison of Bootstrapping and Finite State Machine Simulations of a Scheduling Benchmark -- Low Power 8-Bit Baugh-Wooley Multiplier Based on Wallace Tree Architecture -- Rapid Prototyping and CAD/CAM in Building Design Education: A Very Early Introduction to Mass Customization -- Design and Implementation of Nonlinear Control Strategies: A Tutorial -- Using PRINCE2 Project Management Methodology to Develop SOA Based Applications -- Logical Circuits Design Education Based On Virtual Verification Panel -- Extending LR Parsing to Implement Rewriting Semantics in Extensible Programming Languages -- Neuro-Fuzzy Model Related to Job Assignation -- Time-Based Location Prediction Technique for Wireless Cellular Networks -- Computer Simulation Applied to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test Design for Processors -- Enhanced Classroom Presenter -- A Textual Domain Specific Language for User Interface Modeling -- Vehicle Detection Even in Poor Visibility Conditions Using Infrared Thermal Images and Its Application to Road Traffic Flow Monitoring -- Using Data Mining Techniques for Diagnostic of Virtual Systems under Control of  KVM -- C# Based Media Center.-An Efficient Intrusion Detection System for Mobile Ad Hoc Networks -- The Academic Rating Criteria for Knowledge Web-Based in Thailand -- Traditional and Modern MCQ Methods as In-class Formative Assessment -- Evaluating the Impact of Various Modulation Schemes on WiMAX Quality of Service -- Estimation of Depth Map using Image Focus:  A Scale-Space Approach for Shape Recovery -- Applying Intelligent Agents in Traffic Control for Traffic Intersection Groups -- Energy Saving in Advanced Absorption Heat Pump with Object Oriented Programming -- Application of Artificial Neural Networks  in Chosen Glass Laminates Properties Prediction -- Archaeology, Incas, Shape Grammars and Virtual Reconstruction -- Strategic Design of a Financial Model -- Numerical Analysis of Electromagnetic Field Coupled with the Thermal Field in Induction Heating Process -- Process Deployment: A Taxonomy of Critical Success Factors.  .
Record Nr. UNINA-9910438058703321
New York, NY : , : Springer New York : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Journal of computer and system sciences
Journal of computer and system sciences
Pubbl/distr/stampa Orlando, Fla., : Academic Press
Descrizione fisica 1 online resource
Disciplina 651
Soggetto topico Electronic digital computers
Machine theory
System analysis
Ordinateurs
Automates mathématiques, Théorie des
Systèmes, Analyse de
Computermethoden
Systeemtheorie
Soggetto genere / forma Periodicals.
Soggetto non controllato Computing
ISSN 1090-2724
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNISA-996205242503316
Orlando, Fla., : Academic Press
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui