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)
Collaborative Knowledge Management Through Product Lifecycle [[electronic resource] ] : A Computational Perspective / / by Hongwei Wang, Gongzhuang Peng
Collaborative Knowledge Management Through Product Lifecycle [[electronic resource] ] : A Computational Perspective / / by Hongwei Wang, Gongzhuang Peng
Autore Wang Hongwei
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (295 pages)
Disciplina 670.285
Altri autori (Persone) PengGongzhuang
Soggetto topico Computer-aided engineering
Engineering design
Electronic data processing—Management
Application software
Information storage and retrieval systems
Computer systems
Computer-Aided Engineering (CAD, CAE) and Design
Engineering Design
IT Operations
Computer and Information Systems Applications
Information Storage and Retrieval
Computer System Implementation
ISBN 981-19-9626-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Knowledge management through product lifecycle -- The collaborative knowledge management paradigm -- Knowledge modelling methods -- Advanced knowledge retrieval methods -- Knowledge reuse in collaborative knowledge management -- Discussion.
Record Nr. UNISA-996547967103316
Wang Hongwei  
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing [[electronic resource] ] : 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / / edited by Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing [[electronic resource] ] : 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / / edited by Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XIII, 479 p. 718 illus., 21 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Algorithms
Software engineering
Computers, Special purpose
Electronic data processing—Management
Mathematics of Computing
Software Engineering
Special Purpose and Application-Based Systems
IT Operations
ISBN 3-030-26831-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466425203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing [[electronic resource] ] : 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / / edited by Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing [[electronic resource] ] : 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / / edited by Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XIII, 479 p. 718 illus., 21 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science—Mathematics
Algorithms
Software engineering
Computers, Special purpose
Electronic data processing—Management
Mathematics of Computing
Software Engineering
Special Purpose and Application-Based Systems
IT Operations
ISBN 3-030-26831-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910349305203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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 [[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. 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 [[electronic resource] ] : Response, Surveillance and Monitoring Using the FASSSTER Platform / / edited by Maria Regina Justina Estuar, Elvira De Lara-Tuprio
COVID-19 Experience in the Philippines [[electronic resource] ] : 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
Data and Application Security [[electronic resource] ] : Developments and Directions / / edited by B. Thuraisingham, Reind van de Riet, Klaus R. Dittrich, Zahir Tari
Data and Application Security [[electronic resource] ] : Developments and Directions / / edited by B. Thuraisingham, Reind van de Riet, Klaus R. Dittrich, Zahir Tari
Edizione [1st ed. 2001.]
Pubbl/distr/stampa New York, NY : , : Springer US : , : Imprint : Springer, , 2001
Descrizione fisica 1 online resource (391 p.)
Disciplina 005.8
Altri autori (Persone) ThuraisinghamBhavani M
Collana IFIP Advances in Information and Communication Technology
Soggetto topico Cryptography
Data encryption (Computer science)
Electronic data processing - Management
Computer science
Data structures (Computer science)
Information theory
Information storage and retrieval systems
Cryptology
IT Operations
Theory of Computation
Data Structures and Information Theory
Information Storage and Retrieval
ISBN 1-280-20580-6
9786610205806
0-306-47008-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Protecting Information when Access is Granted for Collaboration -- Author-?: A Java-Based System For XML Data Protection -- A Fair-Exchange E-Commerce Protocol With Automated Dispute Resolution -- XML Access Control Systems: A Component-Based Approach -- A Configurable Security Architecture Prototype -- Distributed Policies for Data Management — Making Policies Mobile -- Security Architecture of The Multimedia Mediator -- Simulation And Analysis of Cryptographic Protocols -- Authentic Third-Party Data Publication -- Protecting File Systems Against Corruption Using Checksums -- Web Security and Privacy -- Coordinating Policy for Federated Applications -- Integrating Multilevel Security Policies in Multilevel Federated Database Systems -- Wrappers – A Mechanism to Support State-Based Authorization in Web Applications -- An Integrated Framework for Database Privacy Protection -- Discovery of Multi-Level Security Policies -- Protecting Deductive Databases from Unauthorized Retrievals -- Confidentiality vs Integrity in Secure Databases -- Extending SQL’s Grant Operation to Limit Privileges -- Language Extensions for Programmable Security -- Protecting Privacy from Continuous High-Resolution Satellite Surveillance -- Database Security Integration Using Role-Based Access Control -- User Role-Based Security Model for a Distributed Environment -- WorkFlow Analyzed for Security and Privacy in using Databases -- Identifying Security Holes in OLAP Applications -- Algorithms and Experience in Increasing the Intelligibility and Hygiene of Access Control in Large Organizations -- Database Security 2000 -- Declarative Semantics of Belief Queries in Mls Deductive Databases -- Trust Management in Distributed Databases -- Active Authorization as High-level Control -- Conference Key Agreement Protocol using Oblivious Transfer -- An Integration Model of Role-Based Access Control and Activity-Based Access Control Using Task -- Authorization Model in Object-Oriented Systems -- Panel 2 -- Conference Summary.
Record Nr. UNINA-9910780042003321
New York, NY : , : Springer US : , : Imprint : Springer, , 2001
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Data and Application Security [[electronic resource] ] : Developments and Directions / / edited by B. Thuraisingham, Reind van de Riet, Klaus R. Dittrich, Zahir Tari
Data and Application Security [[electronic resource] ] : Developments and Directions / / edited by B. Thuraisingham, Reind van de Riet, Klaus R. Dittrich, Zahir Tari
Edizione [1st ed. 2001.]
Pubbl/distr/stampa New York, NY : , : Springer US : , : Imprint : Springer, , 2001
Descrizione fisica 1 online resource (391 p.)
Disciplina 005.8
Altri autori (Persone) ThuraisinghamBhavani M
Collana IFIP Advances in Information and Communication Technology
Soggetto topico Cryptography
Data encryption (Computer science)
Electronic data processing - Management
Computer science
Data structures (Computer science)
Information theory
Information storage and retrieval systems
Cryptology
IT Operations
Theory of Computation
Data Structures and Information Theory
Information Storage and Retrieval
ISBN 1-280-20580-6
9786610205806
0-306-47008-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Protecting Information when Access is Granted for Collaboration -- Author-?: A Java-Based System For XML Data Protection -- A Fair-Exchange E-Commerce Protocol With Automated Dispute Resolution -- XML Access Control Systems: A Component-Based Approach -- A Configurable Security Architecture Prototype -- Distributed Policies for Data Management — Making Policies Mobile -- Security Architecture of The Multimedia Mediator -- Simulation And Analysis of Cryptographic Protocols -- Authentic Third-Party Data Publication -- Protecting File Systems Against Corruption Using Checksums -- Web Security and Privacy -- Coordinating Policy for Federated Applications -- Integrating Multilevel Security Policies in Multilevel Federated Database Systems -- Wrappers – A Mechanism to Support State-Based Authorization in Web Applications -- An Integrated Framework for Database Privacy Protection -- Discovery of Multi-Level Security Policies -- Protecting Deductive Databases from Unauthorized Retrievals -- Confidentiality vs Integrity in Secure Databases -- Extending SQL’s Grant Operation to Limit Privileges -- Language Extensions for Programmable Security -- Protecting Privacy from Continuous High-Resolution Satellite Surveillance -- Database Security Integration Using Role-Based Access Control -- User Role-Based Security Model for a Distributed Environment -- WorkFlow Analyzed for Security and Privacy in using Databases -- Identifying Security Holes in OLAP Applications -- Algorithms and Experience in Increasing the Intelligibility and Hygiene of Access Control in Large Organizations -- Database Security 2000 -- Declarative Semantics of Belief Queries in Mls Deductive Databases -- Trust Management in Distributed Databases -- Active Authorization as High-level Control -- Conference Key Agreement Protocol using Oblivious Transfer -- An Integration Model of Role-Based Access Control and Activity-Based Access Control Using Task -- Authorization Model in Object-Oriented Systems -- Panel 2 -- Conference Summary.
Record Nr. UNINA-9910828614803321
New York, NY : , : Springer US : , : Imprint : Springer, , 2001
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