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.

Biblioteca

MARC Lista (tabellare)
Computer Algebra in Scientific Computing [[electronic resource] ] : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing [[electronic resource] ] : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XIII, 407 p. 75 illus.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Computers, Special purpose
Electronic data processing—Management
Software engineering
Computer science
Mathematics of Computing
Special Purpose and Application-Based Systems
IT Operations
Software Engineering
Computer Science Logic and Foundations of Programming
ISBN 3-319-66320-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Organization -- Contents -- Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk) -- 1 Introduction -- 2 Algorithmic Representation -- 2.1 Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems -- 2.2 Procedures for Constructing Local Solutions -- 3 Approximate (Truncated) Representation -- 3.1 Strongly Non-singular Matrices -- 3.2 When only a Truncated System Is Known -- 4 The Width -- References -- On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer -- 1 Introduction -- 2 Description and Construction of a Symbolical Model -- 3 Formulation of the Problem -- 4 Regions of System's Instability -- 5 Parametric Analysis of Asymptotic Stability Conditions -- 5.1 Stabilization in the ``Pitch'' Subsystem -- 5.2 Stabilization in the ``Yaw-and-Roll'' Subsystem -- 6 Conclusion -- References -- Sparse Interpolation, the FFT Algorithm and FIR Filters -- 1 Sparse Interpolation -- 2 Divide and Conquer Approach -- 3 The FFT Algorithm -- 4 An Analog Version of the Splitting Technique -- 5 Connection to FIR Filters -- 6 Conclusion -- References -- On New Integrals of the Algaba-Gamero-Garcia System -- 1 Introduction -- 2 Problem Statement -- 3 Necessary Conditions of Local Integrability -- 4 Sufficient Conditions of Integrability -- 5 Case b2=2/3, Subcase 3 a0 - 2 b0 = b(3 a1 - 2 b1) -- 6 Analytical Properties of the Integrals -- 7 Conclusions -- References -- Full Rank Representation of Real Algebraic Sets and Applications -- 1 Introduction -- 2 Full Rank Representation of Real Algebraic Sets -- 3 Compute Full Rank Representation -- 4 Applications on Plotting Singular Plane and Space Curves -- 5 Experimentation -- 6 Conclusion and Future Work -- References -- Certifying Simple Zeros of Over-Determined Polynomial Systems -- 1 Introduction.
2 Preliminaries -- 3 Transforming Over-Determined Polynomial Systems into Square Ones -- 4 Certifying Simple Zeros of Over-Determined Systems -- References -- Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets -- 1 Introduction -- 2 Preliminaries -- 2.1 Triangular Set and Triangular Decomposition -- 2.2 Gröbner Basis and W-Characteristic Set -- 2.3 (Strong) Characteristic Decomposition and Characterizable Gröbner Basis -- 3 Algorithm for (Strong) Characteristic Decomposition -- 3.1 Algorithm to Handle the Variable Ordering Condition -- 3.2 Algorithms for Characteristic Decomposition -- 3.3 Algorithm for Strong Characteristic Decomposition -- 3.4 An Illustrative Example -- 4 Implementation and Experimental Results -- References -- Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks -- 1 Introduction -- 2 The Systems for the Case Studies -- 2.1 Biomod-26 -- 2.2 Biomod-28 -- 3 Graph-Theoretical Symbolic Preprocessing -- 4 Determination of Multiple Steady States -- 4.1 Numerical Approach -- 4.2 Symbolic Approach -- 4.3 Comparison -- 4.4 Going Further -- 5 Conclusion and Future Work -- References -- The Polymake Interface in Singular and Its Applications -- 1 Introduction -- 2 An Interface to Polymake -- 3 User Defined Types in Singular: Polyhedral Divisors -- 4 Quasihomogeneous Isolated Hypersurface Singularities -- 4.1 Finding Quasihomogeneous Isolated Hypersurface Singularities -- 4.2 Reconstruction of QHIS from the Milnor Algebra -- References -- Computation of Some Integer Sequences in Maple -- 1 Introduction -- 1.1 Definitions of Numbers -- 2 Stirling Partition Numbers -- 2.1 Sequence Calculation -- 3 Stirling Cycle Numbers -- 3.1 Singleton Computation -- 3.2 A Finite Sum -- 3.3 Sequence Calculation -- 4 Associated Stirling Numbers.
4.1 Singleton Stirling 2-Partition and 2-Cycle -- 4.2 Sequence Calculation of 2-Partition and 2-Cycle Numbers -- 4.3 Singleton Stirling r-Partition and r-Cycle Numbers -- 4.4 Sequence Calculation of r-Partition and r-Cycle Numbers -- 4.5 Implementation in Maple -- 5 A Multiple Threads Approach to Sequence Calculations -- 6 Implementation of Eulerian Numbers -- 6.1 Timings for Eulerian Number Calculations -- References -- Symbolic-Numerical Algorithm for Generating Interpolation Multivariate Hermite Polynomials of High-Accuracy Finite Element Method -- 1 Introduction -- 2 Setting of the Problem -- 3 FEM Calculation Scheme -- 3.1 Lagrange Interpolation Polynomials -- 3.2 Algorithm for Calculating the Basis of Hermite Interpolating Polynomials -- 3.3 Example: HIP for d=2 -- 3.4 Piecewise Polynomial Functions -- 4 Results and Discussion -- 5 Conclusion -- References -- Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint 2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element Method -- 1 Introduction -- 2 FEM Algorithm for Solving the Parametric 2D BVP -- 3 Fully Symmetric High-Order Gaussian Quadratures -- 4 The Algorithm for Calculating the Parametric Derivatives of Eigenfunctions and Effective Potentials -- 5 Benchmark Calculations of Helium Atom Ground State -- 6 Conclusion -- References -- A Symbolic Study of the Satellite Dynamics Subject to Damping Torques -- 1 Introduction -- 2 Equations of Motion -- 3 Equilibrium Orientations of Satellite -- 4 Conditions for the Existence of Equilibrium Orientations of the Satellite -- 5 Necessary and Sufficient Conditions of Asymptotic Stability of the Equilibrium Orientations of Satellite -- 6 Conclusion -- References -- Characteristic Set Method for Laurent Differential Polynomial Systems -- 1 Introduction -- 2 Laurent Polynomial Systems -- 2.1 Laurent Regular Chain.
2.2 Characteristic Set Method -- 2.3 Laurent Gröbner Basis and Minimal Decomposition -- 3 Differential Polynomial Systems -- 3.1 Laurent Regular Differential Chains -- 3.2 Decision of Univariate Laurent Regular Differential Polynomial -- References -- Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients -- 1 Introduction -- 2 Univariate Polynomial Interpolation -- 2.1 Sparse Interpolation with Finitely Many Coefficients -- 2.2 The Sparse Interpolation Algorithm -- 2.3 The Rational Number Coefficients Case -- 3 Multivariate Polynomial Sparse Interpolation with Modified Kronecker Substitution -- 3.1 Find a Good Prime -- 3.2 A Deterministic Algorithm -- 3.3 Probabilistic Algorithm -- 4 Experimental Results -- 5 Conclusion -- References -- On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability -- 1 Introduction -- 2 Formulation of the Problem -- 3 Finding the Stationary Solutions -- 3.1 Permanent Rotations -- 3.2 Equilibria -- 4 On Invariant Manifolds of Codimension 2 -- 5 On Stability of the Stationary Solutions -- 5.1 On Stability of the Permanent Rotations -- 5.2 On Stability of the Equilibria -- 6 Conclusion -- 7 Appendix -- References -- Computing the Integer Points of a Polyhedron, I: Algorithm -- 1 Introduction -- 2 Polyhedral Sets -- 3 Integer Solutions of Linear Equation Systems -- 4 Integer Solutions of Linear Inequality Systems -- 4.1 Normalization of Linear Inequality Systems -- 4.2 Representing the Integer Points -- 4.3 The IntegerSolve Procedure: Specifications -- 4.4 The DarkShadow Procedure -- 4.5 The GreyShadow Procedure -- 4.6 The IntegerSolve Procedure: Algorithm -- References -- Computing the Integer Points of a Polyhedron, II: Complexity Estimates -- 1 Introduction -- 2 Properties of the Projection of Faces of a Polyhedron -- 3 Complexity Estimates for Fourier-Motzkin Elimination.
4 Proof of Theorem1 -- 5 Experimentation -- References -- Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data -- 1 Problem Formulation -- 2 Non-Linearity of JTF and Numerical Difficulties -- 3 Non-Convexity of JTF -- 4 Numerical Experiments for Fitting Sparse Reduced Data -- 5 Conclusions -- References -- The Convergence Conditions of Interval Newton's Method Based on Point Estimates -- 1 Introduction -- 2 Notation and Preliminaries -- 3 Main Results -- 4 Example -- References -- Normalization of Indexed Differentials Based on Function Distance Invariants -- 1 Introduction -- 2 Indexed Differential Polynomial Ring -- 3 Distances Between Indexed Functions -- 4 Normalization with Respect to Monoterm Symmetries -- 5 Normalization -- References -- Symbolic-Numeric Integration of the Dynamical Cosserat Equations -- 1 Introduction -- 2 Governing Cosserat Equations and the General Solution of Their Kinematic Part -- 3 Symbolic-Numeric Integration Method -- 3.1 Naive Approach: Explicit Numerical Solving -- 3.2 Advanced Approach Based on Exponential Integration -- 4 Numerical Comparison with the Generalized alpha-Method -- 5 Conclusison -- A Generalized alpha-Method -- References -- Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences -- 1 Introduction -- 2 Generalities on Sequences and Their Annihilators -- 3 Computing Annihilators of Sequences -- 3.1 A First Algorithm -- 3.2 An Algorithm Under Genericity Assumptions -- 4 Main Algorithm -- 4.1 Representing Primary Zero-Dimensional Ideals -- 4.2 The Algorithm -- References -- Symbolic-Numerical Analysis of the Relative Equilibria Stability in the Planar Circular Restricted Four-Body Problem -- 1 Introduction -- 2 Equilibrium Solutions -- 3 Stability Analysis in Linear Approximation -- 4 Normalization of the Hamiltonian -- 5 Conclusion -- References.
The Method of Collocations and Least Residuals Combining the Integral Form of Collocation Equations and the Matching Differential Relations at the Solution of PDEs.
Record Nr. UNISA-996465568403316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XIII, 407 p. 75 illus.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Computers, Special purpose
Electronic data processing—Management
Software engineering
Computer science
Mathematics of Computing
Special Purpose and Application-Based Systems
IT Operations
Software Engineering
Computer Science Logic and Foundations of Programming
ISBN 3-319-66320-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Organization -- Contents -- Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk) -- 1 Introduction -- 2 Algorithmic Representation -- 2.1 Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems -- 2.2 Procedures for Constructing Local Solutions -- 3 Approximate (Truncated) Representation -- 3.1 Strongly Non-singular Matrices -- 3.2 When only a Truncated System Is Known -- 4 The Width -- References -- On the Asymptotic Stability of a Satellite with a Gravitational Stabilizer -- 1 Introduction -- 2 Description and Construction of a Symbolical Model -- 3 Formulation of the Problem -- 4 Regions of System's Instability -- 5 Parametric Analysis of Asymptotic Stability Conditions -- 5.1 Stabilization in the ``Pitch'' Subsystem -- 5.2 Stabilization in the ``Yaw-and-Roll'' Subsystem -- 6 Conclusion -- References -- Sparse Interpolation, the FFT Algorithm and FIR Filters -- 1 Sparse Interpolation -- 2 Divide and Conquer Approach -- 3 The FFT Algorithm -- 4 An Analog Version of the Splitting Technique -- 5 Connection to FIR Filters -- 6 Conclusion -- References -- On New Integrals of the Algaba-Gamero-Garcia System -- 1 Introduction -- 2 Problem Statement -- 3 Necessary Conditions of Local Integrability -- 4 Sufficient Conditions of Integrability -- 5 Case b2=2/3, Subcase 3 a0 - 2 b0 = b(3 a1 - 2 b1) -- 6 Analytical Properties of the Integrals -- 7 Conclusions -- References -- Full Rank Representation of Real Algebraic Sets and Applications -- 1 Introduction -- 2 Full Rank Representation of Real Algebraic Sets -- 3 Compute Full Rank Representation -- 4 Applications on Plotting Singular Plane and Space Curves -- 5 Experimentation -- 6 Conclusion and Future Work -- References -- Certifying Simple Zeros of Over-Determined Polynomial Systems -- 1 Introduction.
2 Preliminaries -- 3 Transforming Over-Determined Polynomial Systems into Square Ones -- 4 Certifying Simple Zeros of Over-Determined Systems -- References -- Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets -- 1 Introduction -- 2 Preliminaries -- 2.1 Triangular Set and Triangular Decomposition -- 2.2 Gröbner Basis and W-Characteristic Set -- 2.3 (Strong) Characteristic Decomposition and Characterizable Gröbner Basis -- 3 Algorithm for (Strong) Characteristic Decomposition -- 3.1 Algorithm to Handle the Variable Ordering Condition -- 3.2 Algorithms for Characteristic Decomposition -- 3.3 Algorithm for Strong Characteristic Decomposition -- 3.4 An Illustrative Example -- 4 Implementation and Experimental Results -- References -- Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks -- 1 Introduction -- 2 The Systems for the Case Studies -- 2.1 Biomod-26 -- 2.2 Biomod-28 -- 3 Graph-Theoretical Symbolic Preprocessing -- 4 Determination of Multiple Steady States -- 4.1 Numerical Approach -- 4.2 Symbolic Approach -- 4.3 Comparison -- 4.4 Going Further -- 5 Conclusion and Future Work -- References -- The Polymake Interface in Singular and Its Applications -- 1 Introduction -- 2 An Interface to Polymake -- 3 User Defined Types in Singular: Polyhedral Divisors -- 4 Quasihomogeneous Isolated Hypersurface Singularities -- 4.1 Finding Quasihomogeneous Isolated Hypersurface Singularities -- 4.2 Reconstruction of QHIS from the Milnor Algebra -- References -- Computation of Some Integer Sequences in Maple -- 1 Introduction -- 1.1 Definitions of Numbers -- 2 Stirling Partition Numbers -- 2.1 Sequence Calculation -- 3 Stirling Cycle Numbers -- 3.1 Singleton Computation -- 3.2 A Finite Sum -- 3.3 Sequence Calculation -- 4 Associated Stirling Numbers.
4.1 Singleton Stirling 2-Partition and 2-Cycle -- 4.2 Sequence Calculation of 2-Partition and 2-Cycle Numbers -- 4.3 Singleton Stirling r-Partition and r-Cycle Numbers -- 4.4 Sequence Calculation of r-Partition and r-Cycle Numbers -- 4.5 Implementation in Maple -- 5 A Multiple Threads Approach to Sequence Calculations -- 6 Implementation of Eulerian Numbers -- 6.1 Timings for Eulerian Number Calculations -- References -- Symbolic-Numerical Algorithm for Generating Interpolation Multivariate Hermite Polynomials of High-Accuracy Finite Element Method -- 1 Introduction -- 2 Setting of the Problem -- 3 FEM Calculation Scheme -- 3.1 Lagrange Interpolation Polynomials -- 3.2 Algorithm for Calculating the Basis of Hermite Interpolating Polynomials -- 3.3 Example: HIP for d=2 -- 3.4 Piecewise Polynomial Functions -- 4 Results and Discussion -- 5 Conclusion -- References -- Symbolic-Numerical Algorithms for Solving the Parametric Self-adjoint 2D Elliptic Boundary-Value Problem Using High-Accuracy Finite Element Method -- 1 Introduction -- 2 FEM Algorithm for Solving the Parametric 2D BVP -- 3 Fully Symmetric High-Order Gaussian Quadratures -- 4 The Algorithm for Calculating the Parametric Derivatives of Eigenfunctions and Effective Potentials -- 5 Benchmark Calculations of Helium Atom Ground State -- 6 Conclusion -- References -- A Symbolic Study of the Satellite Dynamics Subject to Damping Torques -- 1 Introduction -- 2 Equations of Motion -- 3 Equilibrium Orientations of Satellite -- 4 Conditions for the Existence of Equilibrium Orientations of the Satellite -- 5 Necessary and Sufficient Conditions of Asymptotic Stability of the Equilibrium Orientations of Satellite -- 6 Conclusion -- References -- Characteristic Set Method for Laurent Differential Polynomial Systems -- 1 Introduction -- 2 Laurent Polynomial Systems -- 2.1 Laurent Regular Chain.
2.2 Characteristic Set Method -- 2.3 Laurent Gröbner Basis and Minimal Decomposition -- 3 Differential Polynomial Systems -- 3.1 Laurent Regular Differential Chains -- 3.2 Decision of Univariate Laurent Regular Differential Polynomial -- References -- Sparse Polynomial Interpolation with Finitely Many Values for the Coefficients -- 1 Introduction -- 2 Univariate Polynomial Interpolation -- 2.1 Sparse Interpolation with Finitely Many Coefficients -- 2.2 The Sparse Interpolation Algorithm -- 2.3 The Rational Number Coefficients Case -- 3 Multivariate Polynomial Sparse Interpolation with Modified Kronecker Substitution -- 3.1 Find a Good Prime -- 3.2 A Deterministic Algorithm -- 3.3 Probabilistic Algorithm -- 4 Experimental Results -- 5 Conclusion -- References -- On Stationary Motions of the Generalized Kowalewski Gyrostat and Their Stability -- 1 Introduction -- 2 Formulation of the Problem -- 3 Finding the Stationary Solutions -- 3.1 Permanent Rotations -- 3.2 Equilibria -- 4 On Invariant Manifolds of Codimension 2 -- 5 On Stability of the Stationary Solutions -- 5.1 On Stability of the Permanent Rotations -- 5.2 On Stability of the Equilibria -- 6 Conclusion -- 7 Appendix -- References -- Computing the Integer Points of a Polyhedron, I: Algorithm -- 1 Introduction -- 2 Polyhedral Sets -- 3 Integer Solutions of Linear Equation Systems -- 4 Integer Solutions of Linear Inequality Systems -- 4.1 Normalization of Linear Inequality Systems -- 4.2 Representing the Integer Points -- 4.3 The IntegerSolve Procedure: Specifications -- 4.4 The DarkShadow Procedure -- 4.5 The GreyShadow Procedure -- 4.6 The IntegerSolve Procedure: Algorithm -- References -- Computing the Integer Points of a Polyhedron, II: Complexity Estimates -- 1 Introduction -- 2 Properties of the Projection of Faces of a Polyhedron -- 3 Complexity Estimates for Fourier-Motzkin Elimination.
4 Proof of Theorem1 -- 5 Experimentation -- References -- Non-linearity and Non-convexity in Optimal Knots Selection for Sparse Reduced Data -- 1 Problem Formulation -- 2 Non-Linearity of JTF and Numerical Difficulties -- 3 Non-Convexity of JTF -- 4 Numerical Experiments for Fitting Sparse Reduced Data -- 5 Conclusions -- References -- The Convergence Conditions of Interval Newton's Method Based on Point Estimates -- 1 Introduction -- 2 Notation and Preliminaries -- 3 Main Results -- 4 Example -- References -- Normalization of Indexed Differentials Based on Function Distance Invariants -- 1 Introduction -- 2 Indexed Differential Polynomial Ring -- 3 Distances Between Indexed Functions -- 4 Normalization with Respect to Monoterm Symmetries -- 5 Normalization -- References -- Symbolic-Numeric Integration of the Dynamical Cosserat Equations -- 1 Introduction -- 2 Governing Cosserat Equations and the General Solution of Their Kinematic Part -- 3 Symbolic-Numeric Integration Method -- 3.1 Naive Approach: Explicit Numerical Solving -- 3.2 Advanced Approach Based on Exponential Integration -- 4 Numerical Comparison with the Generalized alpha-Method -- 5 Conclusison -- A Generalized alpha-Method -- References -- Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences -- 1 Introduction -- 2 Generalities on Sequences and Their Annihilators -- 3 Computing Annihilators of Sequences -- 3.1 A First Algorithm -- 3.2 An Algorithm Under Genericity Assumptions -- 4 Main Algorithm -- 4.1 Representing Primary Zero-Dimensional Ideals -- 4.2 The Algorithm -- References -- Symbolic-Numerical Analysis of the Relative Equilibria Stability in the Planar Circular Restricted Four-Body Problem -- 1 Introduction -- 2 Equilibrium Solutions -- 3 Stability Analysis in Linear Approximation -- 4 Normalization of the Hamiltonian -- 5 Conclusion -- References.
The Method of Collocations and Least Residuals Combining the Integral Form of Collocation Equations and the Matching Differential Relations at the Solution of PDEs.
Record Nr. UNINA-9910483297903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Security -- ESORICS 2012 [[electronic resource] ] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012, Proceedings / / edited by Sara Foresti, Moti Yung, Fabio Martinelli
Computer Security -- ESORICS 2012 [[electronic resource] ] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012, Proceedings / / edited by Sara Foresti, Moti Yung, Fabio Martinelli
Edizione [1st ed. 2012.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica 1 online resource (XVII, 896 p. 210 illus.)
Disciplina 005.8
Collana Security and Cryptology
Soggetto topico Data protection
Cryptography
Data encryption (Computer science)
Electronic commerce
Electronic data processing—Management
Software engineering
Application software
Data and Information Security
Cryptology
e-Commerce and e-Business
IT Operations
Software Engineering
Computer and Information Systems Applications
ISBN 3-642-33167-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Particle Swarm Embedding Algorithm for Nonlinear Dimensionality -- ABC-Miner: An Ant-Based Bayesian Classification Algorithm -- Analysing Robot Swarm Decision-Making with Bio-PEPA -- Automatic Generation of Multi-objective ACO Algorithms for the Bi-objective Knapsack -- Bare Bones Particle Swarms with Jumps -- Hybrid Algorithms for the Minimum-Weight Rooted Arborescence Problem -- Improving the cAnt-MinerPB Classification Algorithm -- Introducing Novelty Search in Evolutionary Swarm Robotics -- Measuring Diversity in the Cooperative Particle Swarm Optimizer -- Multi-armed Bandit Formulation of the Task Partitioning Problem in Swarm Robotics -- Scalability Study of Particle Swarm Optimizers in Dynamic Environments -- Self-reconfigurable Modular e-pucks -- Task Partitioning via Ant Colony Optimization for Distributed Assembly -- The Self-adaptive Comprehensive Learning Particle Swarm Optimizer -- Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions -- A Hybrid Particle Swarm Optimization Algorithm for the Open Vehicle Routing Problem -- A Self-adaptive Heterogeneous PSO Inspired by Ants -- A“Thermodynamic”Approach to Multi-robot Cooperative Localization with Noisy Sensors -- AcoSeeD: An Ant Colony Optimization for Finding Optimal Spaced Seeds in Biological Sequence Search -- Analysis of Ant-Based Routing with Wireless Medium Access Control -- Ant-Based Approaches for Solving Autocorrelation Problems -- Collision-Induced “Priority Rule” Governs Efficiency of Pheromone-Communicating Swarm Robots -- Dynamic Load Balancing Inspired by Cemetery Formation in Ant Colonies -- Feasibility of an Ant Colony Optimization Algorithm for Multi-leaf Collimator (MLC) Aperture Definition and Beam Weighting in Volumetric Modulated Arc Therapy (VMAT) Radiotherapy Treatment Planning -- Ant Swarm Foraging from Physical to Virtual and Back Again -- Improving Peer Review with ACORN: ACO Algorithm for Reviewer’s Network -- Learning Finite-State Machines with Ant Colony Optimization -- Mobbing Behavior and Deceit and Its Role in Bio-inspired Autonomous Robotic Agents -- Performance of Bacterial Foraging Optimization in Dynamic Environments -- Piecewise Linear Approximation of n-Dimensional Parametric Curves Using Particle Swarms -- Probabilistic Stochastic Diffusion Search -- Self-organized Clustering of Square Objects by Multiple Robots -- Self-reproduction versus Transition Rules in Ant Colonies for Medical Volume Segmentation -- Swarm Interpolation Using an Approximate Chebyshev Distribution -- Using MOPSO to Solve Multiobjective Bilevel Linear Problems -- Clustering Moodle Data via Ant Colony Optimization -- Continuous Trait-Based Particle Swarm Optimisation (CTB-PSO) -- Exploring Different Functions for Heuristics, Discretization, and Rule Quality Evaluation in Ant-Miner -- Fuzzy-Based Aggregation with a Mobile Robot Swarm -- Maturity of the Particle Swarm as a Metric for Measuring the Particle Swarm Intelligence -- Multi-objective Firefly Algorithm for Energy Optimization in Grid Environments -- Particle Swarm Optimization with Random Sampling in Variable Neighbourhoods for Solving Global Minimization Problems.
Record Nr. UNISA-996465284603316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
COVID-19 Experience in the Philippines : Response, Surveillance and Monitoring Using the FASSSTER Platform / / edited by Maria Regina Justina Estuar, Elvira De Lara-Tuprio
COVID-19 Experience in the Philippines : Response, Surveillance and Monitoring Using the FASSSTER Platform / / edited by Maria Regina Justina Estuar, Elvira De Lara-Tuprio
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (169 pages)
Disciplina 362.1962414009599
Collana Disaster Risk Reduction, Methods, Approaches and Practices
Soggetto topico Natural disasters
Public health
Electronic data processing—Management
Diseases—Animal models
Natural Hazards
Public Health
IT Operations
Disease Models
ISBN 981-9931-53-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter 1. Origins of FASSSTER -- Chapter 2. Management of COVID-19 Data for the FASSSTER Platform -- Chapter 3. FASSSTER Data Pipeline and DevOps -- Chapter 4. Disease Surveillance Metrics and Statistics -- Chapter 5. Effective Reproduction Number Rt -- Chapter 6. The FASSSTER SEIR Model -- Chapter 7. Geospatial and Spatio-Temporal Models. .
Record Nr. UNINA-9910736985003321
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Digital Rights Management [[electronic resource] ] : Technologies, Issues, Challenges and Systems / / edited by Reihaneh Safavi-Naini, Moti Yung
Digital Rights Management [[electronic resource] ] : Technologies, Issues, Challenges and Systems / / edited by Reihaneh Safavi-Naini, Moti Yung
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XII, 360 p.)
Disciplina 005.82
Collana Security and Cryptology
Soggetto topico Cryptography
Data encryption (Computer science)
Computer networks
Operating systems (Computers)
Computers and civilization
Computers—Law and legislation
Information technology—Law and legislation
Electronic data processing—Management
Cryptology
Computer Communication Networks
Operating Systems
Computers and Society
Legal Aspects of Computing
IT Operations
ISBN 3-540-35999-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Assurance and Authentication Issues -- A Novel Framework for Multiple Creatorship Protection of Digital Movies -- TIVA: Trusted Integrity Verification Architecture -- Legal and Related Issues -- The Australian Sony PlayStation Case: How Far Will Anti-circumvention Law Reach in the Name of DRM? -- Downloading vs Purchase: Music Industry vs Consumers -- Digital Rights Management: Merging Contract, Copyright and Criminal Law -- Expressing Rights and Management -- User-Attributed Rights in DRM -- AVS-REL—A New Right Expression Language -- A Comparative Study of Specification Models for Autonomic Access Control of Digital Rights -- Watermarking -- The Effect of Fidelity Measure Functions on the Capacity of Digital Watermarks -- A MPEG-2 Video Watermarking Algorithm with Compensation in Bit Stream -- Reversible Semi-fragile Image Authentication Using Zernike Moments and Integer Wavelet Transform -- Software Issues -- Software Tamper Resistance Through Dynamic Program Monitoring -- Call Tree Transformation for Program Obfuscation and Copy Protection -- Algorithms to Watermark Software Through Register Allocation -- Fingerprinting and Image Authentication -- An Efficient Fingerprinting Scheme with Secret Sharing -- Worst-Case Optimal Fingerprinting Codes for Non-threshold Collusion -- Secure Remote Fingerprint Verification Using Dual Watermarks -- Supporting Cryptographic Technology -- Security Weaknesses of Certain Broadcast Encryption Schemes -- A Broadcast Encryption Scheme with Free-Riders but Unconditional Security -- A Novel Broadcast Encryption Based on Time-Bound Cryptographic Keys -- A Vector Approach to Cryptography Implementation -- P2P Issues -- A Novel Privacy and Copyright Protection Enforced Peer-to-Peer Network -- Design of a Secure Digital Contents Delivery System in P2P Networks -- Implementations and Architectures -- Real-Time Implementation of Broadcast Switching System Using Audio Watermark -- Enforcing Regional DRM for Multimedia Broadcasts With and Without Trusted Computing -- A DRM System Supporting What You See Is What You Pay.
Record Nr. UNISA-996466253003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Digital Rights Management : Technologies, Issues, Challenges and Systems / / edited by Reihaneh Safavi-Naini, Moti Yung
Digital Rights Management : Technologies, Issues, Challenges and Systems / / edited by Reihaneh Safavi-Naini, Moti Yung
Edizione [1st ed. 2006.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Descrizione fisica 1 online resource (XII, 360 p.)
Disciplina 005.82
Collana Security and Cryptology
Soggetto topico Cryptography
Data encryption (Computer science)
Computer networks
Operating systems (Computers)
Computers and civilization
Computers—Law and legislation
Information technology—Law and legislation
Electronic data processing—Management
Cryptology
Computer Communication Networks
Operating Systems
Computers and Society
Legal Aspects of Computing
IT Operations
ISBN 3-540-35999-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Assurance and Authentication Issues -- A Novel Framework for Multiple Creatorship Protection of Digital Movies -- TIVA: Trusted Integrity Verification Architecture -- Legal and Related Issues -- The Australian Sony PlayStation Case: How Far Will Anti-circumvention Law Reach in the Name of DRM? -- Downloading vs Purchase: Music Industry vs Consumers -- Digital Rights Management: Merging Contract, Copyright and Criminal Law -- Expressing Rights and Management -- User-Attributed Rights in DRM -- AVS-REL—A New Right Expression Language -- A Comparative Study of Specification Models for Autonomic Access Control of Digital Rights -- Watermarking -- The Effect of Fidelity Measure Functions on the Capacity of Digital Watermarks -- A MPEG-2 Video Watermarking Algorithm with Compensation in Bit Stream -- Reversible Semi-fragile Image Authentication Using Zernike Moments and Integer Wavelet Transform -- Software Issues -- Software Tamper Resistance Through Dynamic Program Monitoring -- Call Tree Transformation for Program Obfuscation and Copy Protection -- Algorithms to Watermark Software Through Register Allocation -- Fingerprinting and Image Authentication -- An Efficient Fingerprinting Scheme with Secret Sharing -- Worst-Case Optimal Fingerprinting Codes for Non-threshold Collusion -- Secure Remote Fingerprint Verification Using Dual Watermarks -- Supporting Cryptographic Technology -- Security Weaknesses of Certain Broadcast Encryption Schemes -- A Broadcast Encryption Scheme with Free-Riders but Unconditional Security -- A Novel Broadcast Encryption Based on Time-Bound Cryptographic Keys -- A Vector Approach to Cryptography Implementation -- P2P Issues -- A Novel Privacy and Copyright Protection Enforced Peer-to-Peer Network -- Design of a Secure Digital Contents Delivery System in P2P Networks -- Implementations and Architectures -- Real-Time Implementation of Broadcast Switching System Using Audio Watermark -- Enforcing Regional DRM for Multimedia Broadcasts With and Without Trusted Computing -- A DRM System Supporting What You See Is What You Pay.
Record Nr. UNINA-9910484944103321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Economics of Grids, Clouds, Systems, and Services [[electronic resource] ] : 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. / / edited by Jörn Altmann, Kurt Vanmechelen, Omer F. Rana
Economics of Grids, Clouds, Systems, and Services [[electronic resource] ] : 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. / / edited by Jörn Altmann, Kurt Vanmechelen, Omer F. Rana
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XIV, 231 p. 63 illus.)
Disciplina 004.4
Collana Computer Communication Networks and Telecommunications
Soggetto topico Computer networks
Electronic data processing—Management
Algorithms
Software engineering
Computer Communication Networks
IT Operations
Software Engineering
ISBN 3-319-14609-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote -- Economics, Security and Innovation -- Cloud Adoption -- A Metrics Suite for Cloud Computing Adoption Readiness -- An Agency Perspective to Cloud Computing -- Work in Progress on Market Dynamics -- Goliath vs. a Federation of Davids: A Two-Sided Market Analysis of Competition between Clouds -- Analysis of the Social Effort in Multiplex Participatory Networks -- Cost Optimization -- Energy-Aware Cloud Management through Progressive SLA Specification -- Cloud Tracker: Using Execution Provenance to Optimize the Cost of Cloud Use -- Migration to Governmental-Cloud Digital Forensics Community: Economics and Methodology -- Work in Progress on Pricing, Contracts and Service Selection -- Performance Evaluation for Cost-Efficient Public Infrastructure Cloud Use -- Balancing Leasing and Insurance Costs to Achieve Total Protection in Cloud Storage Multi-Homing -- A WS-Agreement Based SLA Implementation for the CMAC Platform -- A Domain Specific Language and a Pertinent Business Vocabulary for Cloud Service Selection -- Economic Aspects of Quality of Service -- Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud infrastructures -- Autonomous Management of Virtual Machine Failures in IaaS Using Fault Tree Analysis -- How Do Content Delivery Networks Affect the Economy of the Internet and the Network Neutrality Debate?.
Record Nr. UNISA-996211262703316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Economics of Grids, Clouds, Systems, and Services : 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. / / edited by Jörn Altmann, Kurt Vanmechelen, Omer F. Rana
Economics of Grids, Clouds, Systems, and Services : 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. / / edited by Jörn Altmann, Kurt Vanmechelen, Omer F. Rana
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XIV, 231 p. 63 illus.)
Disciplina 004.4
Collana Computer Communication Networks and Telecommunications
Soggetto topico Computer networks
Electronic data processing—Management
Algorithms
Software engineering
Computer Communication Networks
IT Operations
Software Engineering
ISBN 3-319-14609-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote -- Economics, Security and Innovation -- Cloud Adoption -- A Metrics Suite for Cloud Computing Adoption Readiness -- An Agency Perspective to Cloud Computing -- Work in Progress on Market Dynamics -- Goliath vs. a Federation of Davids: A Two-Sided Market Analysis of Competition between Clouds -- Analysis of the Social Effort in Multiplex Participatory Networks -- Cost Optimization -- Energy-Aware Cloud Management through Progressive SLA Specification -- Cloud Tracker: Using Execution Provenance to Optimize the Cost of Cloud Use -- Migration to Governmental-Cloud Digital Forensics Community: Economics and Methodology -- Work in Progress on Pricing, Contracts and Service Selection -- Performance Evaluation for Cost-Efficient Public Infrastructure Cloud Use -- Balancing Leasing and Insurance Costs to Achieve Total Protection in Cloud Storage Multi-Homing -- A WS-Agreement Based SLA Implementation for the CMAC Platform -- A Domain Specific Language and a Pertinent Business Vocabulary for Cloud Service Selection -- Economic Aspects of Quality of Service -- Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud infrastructures -- Autonomous Management of Virtual Machine Failures in IaaS Using Fault Tree Analysis -- How Do Content Delivery Networks Affect the Economy of the Internet and the Network Neutrality Debate?.
Record Nr. UNINA-9910484729803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Erfolgsfaktoren für eine digitale Zukunft : IT-Management in Zeiten der Digitalisierung und Industrie 4.0 / / von Egmont Foth
Erfolgsfaktoren für eine digitale Zukunft : IT-Management in Zeiten der Digitalisierung und Industrie 4.0 / / von Egmont Foth
Autore Foth Egmont
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2016
Descrizione fisica 1 online resource (XIV, 137 S. 43 Abb. in Farbe.)
Disciplina 303.4833
Collana Xpert.press
Soggetto topico Electronic data processing—Management
Business information services
Management
IT Operations
IT in Business
ISBN 9783662531778
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Nota di contenuto Einleitung -- Was verstehen wir unter Informationstechnologie? -- Welchen Nutzen hat Informationstechnologie? -- Wie lässt sich eine IT-Organisation am besten optimieren? -- CIO -- Schlusswort -- Literatur -- Index.
Record Nr. UNINA-9910158734103321
Foth Egmont  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Essential PowerShell for Office 365 : Managing and Automating Skills for Improved Productivity / / by Vlad Catrinescu
Essential PowerShell for Office 365 : Managing and Automating Skills for Improved Productivity / / by Vlad Catrinescu
Autore Catrinescu Vlad
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018
Descrizione fisica 1 online resource (xi, 234 pages) : illustrations
Disciplina 005.446
Soggetto topico Microsoft software
Microsoft .NET Framework
Operating systems (Computers)
Electronic data processing—Management
Computer programming
Application software
Microsoft
Operating Systems
IT Operations
Programming Techniques
Computer and Information Systems Applications
ISBN 1-4842-3129-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter 1: Introduction to PowerShell for Office 365 -- Chapter 2: Managing Users and Licenses -- Chapter 3: Managing SharePoint Online -- Chapter 4: Managing Exchange Online -- Chapter 5: Managing Skype for Business Online -- Chapter 6: Managing the Office 365 Security & Compliance Center -- Chapter 7: Managing Office 365 Groups -- Chapter 8: Automating Tasks with PowerShell.
Record Nr. UNINA-9910300362503321
Catrinescu Vlad  
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui