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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|