Application and Theory of Petri Nets 1993 [[electronic resource] ] : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings / / edited by Marco Ajmone Marsan |
Edizione | [1st ed. 1993.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
Descrizione fisica | 1 online resource (X, 598 p.) |
Disciplina | 519 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Applied mathematics
Engineering mathematics Mathematical logic Computers Algorithms Computer logic Mathematical and Computational Engineering Applications of Mathematics Mathematical Logic and Foundations Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs |
ISBN | 3-540-47759-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling and enactment of workflow systems -- Interleaving functional and performance structural analysis of net models -- FSPNs: Fluid stochastic Petri nets -- Taking advantages of temporal redundancy in High Level Petri Nets implementations -- A subset of Lotos with the computational power of Place/Transition-nets -- An efficient algorithm for finding structural deadlocks in colored Petri nets -- Synthesis of net systems -- Hierarchies in colored GSPNs -- Variable reasoning and analysis about uncertainty with fuzzy Petri nets -- Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency -- Transient analysis of deterministic and stochastic Petri nets -- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs -- Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems -- Shortest paths in reachability graphs -- Construction of S-invariants and S-components for refined Petri boxes -- Compositional liveness properties of EN-systems -- Analysis of place/transition nets with timed arcs and its application to batch process control -- On well-formed nets and optimizations in enabling tests -- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net -- Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model -- Marking optimization of stochastic timed event graphs -- A client-server protocol for the composition of Petri nets -- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks -- Liveness and home states in equal conflict systems -- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling -- Interval timed coloured petri nets and their analysis -- Integration of specification for modeling and specification for system design -- New priority-lists for scheduling in timed Petri nets -- A unified approach for reasoning about conflict-free Petri nets -- A colored Petri Net model for a naval command and control system -- Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application -- On net modeling of industrial size concurrent systems -- Analysis of the TMS320C40 communication channels using timed Petri Nets -- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN -- Petri Nets modeling in pipelined microprocessor design. |
Record Nr. | UNISA-996466085503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applications + Practical Conceptualization + Mathematics = fruitful Innovation : Proceedings of the Forum of Mathematics for Industry 2014 / / edited by Robert S. Anderssen, Philip Broadbridge, Yasuhide Fukumoto, Kenji Kajiwara, Tsuyoshi Takagi, Evgeny Verbitskiy, Masato Wakayama |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Tokyo : , : Springer Japan : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (280 p.) |
Disciplina | 510.243631 |
Collana | Mathematics for Industry |
Soggetto topico |
Applied mathematics
Engineering mathematics Physics Mathematical and Computational Engineering Applications of Mathematics Mathematical Methods in Physics |
ISBN | 4-431-55342-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | UTM-CIAM: Transformation and Beyond Malaysian Mathematics for Industry -- Group Theory Methods in Virology: Landau Density Wave Approach -- Applications of Nonlinear Programming to Packing Problems -- Introduction to Mathematical Origami and Origami Engineering -- An Interaction with Biologists: Insights into Development and Disease -- Modeling Biochemical Reaction Systems with Markov Chains -- Analytical Solutions of Basic Models in Quantum Optics -- Quantum Simulation of Spin Chains Coupled to Bosonic Modes with Superconducting Circuits -- Age Structures in Mathematical Models for Infectious Diseases, with a Case Study of Respiratory Syncytial Virus -- Mathematical Theory to Compute Stochastic Cellular Processes -- Mathematical Model of Epidermal Structure -- Beyond Adiabatic Elimination: Effective Hamiltonians and Singular Perturbation -- The Formation and Launch of the Asia Pacific Consortium of Mathematics for Industry (APCMfI) -- Data Value Estimation for Privacy-Preserving Big/Personal Data Businesses -- Australian Space Research Program – Platform Technologies for Space, Atmosphere and Climate Project: Selected Innovations -- The Effect of Heaped and Sloped Powder Layers on Ejection Times and the Residence-Time Distribution of a Conical Mass-Flow Hopper -- Uniqueness and Stability for Double Crystals in the Plane -- Modeling and Control of Fiber Orientation in Papermaking Machines -- Recent Methods for Reconstructing Missing Data in Multispectral Satellite Imagery -- Sensitivity Analysis and Its Numerical Methods for Derivatives of Quadratic Eigenvalue Problems -- Risk Aggregation with Copula for Banking Industry -- Discrete Geometry for Reliable Surface Quad-Remeshing. |
Record Nr. | UNINA-9910254186803321 |
Tokyo : , : Springer Japan : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications of elliptic Carleman inequalities to Cauchy and inverse problems / / by Mourad Choulli |
Autore | Choulli Mourad |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (IX, 81 p.) |
Disciplina | 515.26 |
Collana | SpringerBriefs in Mathematics |
Soggetto topico |
Partial differential equations
Physics Cancer research Applied mathematics Engineering mathematics Partial Differential Equations Mathematical Methods in Physics Cancer Research Applications of Mathematics Mathematical and Computational Engineering |
ISBN | 3-319-33642-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Preliminaries -- 2 Uniqueness of continuation and Cauchy problems -- 3 Determining the surface impedance of an obstacle from the scattering amplitude -- 4 Determining a corrosion coecient from a boundary measurement and an attenuation coecient from an internal measurement. |
Record Nr. | UNINA-9910254077903321 |
Choulli Mourad | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications of Machine Learning / / edited by Prashant Johri, Jitendra Kumar Verma, Sudip Paul |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (404 pages) |
Disciplina | 006.31 |
Collana | Algorithms for Intelligent Systems |
Soggetto topico |
Applied mathematics
Engineering mathematics Signal processing Image processing Speech processing systems Machine learning Optical data processing Artificial intelligence Computer logic Mathematical statistics Mathematical and Computational Engineering Signal, Image and Speech Processing Machine Learning Image Processing and Computer Vision Logic in AI Probability and Statistics in Computer Science |
ISBN | 981-15-3357-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Statistical Learning Process for the Reduction of Sample Collection Assuring a Desired Level of Confidence -- Sentiment Analysis on Google Play Store Data using Deep Learning -- Managing the Data Meaning in the Data Stream Processing: A Systematic Literature Mapping -- Tracking an Object using Traditional MS (Mean Shift) and CBWH MS (Mean Shift) Algorithm with Kalman Filter -- Transfer Learning and Domain Adaptation for Named Entity Recognition -- Knowledge Graph from Informal Text: Architecture, Components, Algorithms and Applications -- Neighborhood-based Collaborative Recommendations: An Introduction -- Classification of Arabic Texts Using Singular Value Decomposition and Fuzzy C-Means Algorithms -- Echo State Network Based Nonlinear Channel Equalization in Wireless Communication System -- Melody Extraction from Music: A Comprehensive Study -- Comparative Analysis of Combined Gas Turbine-Steam Turbine Power Cycle Performance by Using Entropy Generation and Statistical Methodology -- Data Mining - A Tool for Handling Huge Voluminous Data -- Improved Training Pattern in Back Propagation Neural Networks Using Holt-Winters' Seasonal Method and Gradient Boosting Model -- Ensemble of Multi-headed Machine Learning Architectures for Time-series Forecasting of Healthcare Expenditures -- Applying Soft Computing Approaches To Investigate Software Fault Proneness in Agile Software Development Environment. |
Record Nr. | UNINA-9910403764103321 |
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications of measure theory to statistics / / by Gogi Pantsulaia |
Autore | Pantsulaia Gogi |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XV, 134 p.) |
Disciplina | 519.5 |
Soggetto topico |
Statistics
Applied mathematics Engineering mathematics Mathematical analysis Analysis (Mathematics) Mathematical physics Topology R (Computer program language) Statistical Theory and Methods Applications of Mathematics Analysis Mathematical Physics |
ISBN | 9783319455785 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Calculation of Improper Integrals by Using Uniformly Distributed Sequences -- 2 Infinite-Dimensional Monte-Carlo Integration -- 3 On structure of all real-valued sequences uniformly distributed in [-1/2;1/2] from the point of view of shyness -- 4 On Moore-Yamasaki-Kharazishvili type measures and the infinite powers of Borel diffused probability measures on R -- 5 On objective and strong objective consistent estimates of unknown parameters for statistical structures in a Polish group admitting an invariant metric -- 6 Why Null Hypothesis is rejected for “almost every” infinite sample by the Hypothesis Testing of a maximal reliability?. |
Record Nr. | UNINA-9910156339203321 |
Pantsulaia Gogi | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications of metaheuristic optimization algorithms in civil engineering / / by A. Kaveh |
Autore | Kaveh A |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVI, 373 p. 40 illus., 4 illus. in color.) |
Disciplina | 519 |
Soggetto topico |
Applied mathematics
Engineering mathematics Mechanical engineering Building—Superintendence Construction industry—Management Construction superintendence Mathematical and Computational Engineering Mechanical Engineering Construction Management |
ISBN | 9783319480121 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Optimum Design of Castellated Beams Using Tug of War Algorithm -- Optimum Design of Multi-Span Composite Box Girder Bridges Using Cuckoo Search Algorithm -- Sizing Optimization of Skeletal Structures Using Enhanced Whale Optimization Algorithm -- Size and Geometry Optimization of Double Layer Grids Using Colliding Body Optimization (CBO) and Enhanced Colliding Body Optimization (ECBO) Algorithms -- Sizing and Geometry Optimization of Different Mechanical System of Domes via ECBO Algorithm -- Optimal Design of Double Layer Barrel Vaults Using CBO and ECBO Algorithms -- Optimum Design of Steel Floor System Using ECBO -- Optimal design of the monopole structures using CBO and ECBO algorithms -- Damage Detection in Skeletal Structures Based on Charged System Search Optimization Using Incomplete Modal Data -- Enhanced Colliding Bodies Optimization for Modification of Ground Motions -- Bandwidth, Profile and Wavefront Optimization Using PSO, CBO, ECBO and TWO Algorithms -- Optimal Analysis and Design of Large-Scale Domes with Frequency Constraints -- Cost and CO2 Emission Optimization of Reinforced Concrete Frames Using ECBO Algorithm -- Construction Site Layout Planning Problem Using CBO and ECBO. |
Record Nr. | UNINA-9910155300003321 |
Kaveh A | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applications of Vector Analysis and Complex Variables in Engineering / / by Otto D. L. Strack |
Autore | Strack Otto D. L |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (228 pages) |
Disciplina | 515.63 |
Soggetto topico |
Applied mathematics
Engineering mathematics Computer mathematics Mechanics Mechanics, Applied Mathematical and Computational Engineering Computational Science and Engineering Theoretical and Applied Mechanics |
ISBN | 3-030-41168-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Vectors in Three-Dimensional Space -- 2. Vector Fields -- 3. Fundamental Equations for Fluid Mechanics -- 4. Integral Theorems -- 5. Coordinate Transformations; Definitions of Vectors and Tensors -- 6. Partial Differential Equations of the First Order -- 7. Partial Differential Equations of the Second Order -- 8. The Elliptic Case: Two Complex Characteristics -- 9. Applications of Complex Variables -- 10. The Parabolic Case: Two Coinciding Characteristics -- 11. The Hyperbolic Case: Two Real Characteristics -- 12. Hyperbolic Quasi Linear Partial Differential Equations -- 13. The Navier-Stokes Equations -- Appendix A. Numerical Integration of the Cauchy Integral -- Appendix B. List of Problems with Page Numbers. |
Record Nr. | UNINA-9910392739903321 |
Strack Otto D. L | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [[electronic resource] ] : 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings / / edited by Teo Mora, Harold F. Mattson |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 362 p.) |
Disciplina | 005.7/2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Algebra Applied mathematics Engineering mathematics Coding theory Information theory Computer science—Mathematics Numerical analysis Theory of Computation Applications of Mathematics Coding and Information Theory Symbolic and Algebraic Manipulation Numeric Computing |
ISBN | 3-540-69193-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Minimun distance decoding algorithms for linear codes -- Efficient multivariate factorization over finite fields -- On maximal codes in polynomial metric spaces -- Yet another ideal decomposition algorithm -- A resultant theory for ordinary algebraic differential equations -- The symmetry group of ? q n in the Lee space and the ? q n-linear codes -- On repeated-root cyclic codes and the two-way chain condition -- Exponentiation in finite fields: Theory and practice -- Computing minimum-link path in a homotopy class amidst semi-algebraic obstacles in the plane -- Certain self-dual codes over ?4 and the odd Leech lattice -- Order functions and evaluation codes -- Codes from cocycles -- A brief tour of split linear programming -- Elementary approximation of exponentials of Lie polynomials -- On the q-ary image of cyclic codes -- The split weight (w L , w R ) enumeration of Reed-Muller codes for w L +w R d min -- Optimal linear codes of dimension 4 over GF(5) -- Characterisations of lexicographic sets and simply-connected Hilbert schemes -- An iterative probabilistic decoding algorithm for binary linear block codes beyond the half minimum distance -- Security examination of a cellular automata based pseudorandom bit generator using an algebraic replica approach -- Formal duality of linearly presentable codes over a Galois field -- Trace-function on a Galois ring in coding theory -- A vector version of the BMS algorithm for implementing fast erasure-and-error decoding of one-point AG codes -- On generalized Hamming weights of codes constructed on affine algebraic sets -- Some results on regular mappings -- Extension theorems for linear codes over finite rings -- Nonperiodic cyclic equivalence classes of cyclic codes and algebraic constructions of cyclically permutable codes. |
Record Nr. | UNISA-996465391903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [[electronic resource] ] : 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings / / edited by Teo Mora, Harold F. Mattson |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (X, 362 p.) |
Disciplina | 005.7/2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Algebra Applied mathematics Engineering mathematics Coding theory Information theory Computer science—Mathematics Numerical analysis Theory of Computation Applications of Mathematics Coding and Information Theory Symbolic and Algebraic Manipulation Numeric Computing |
ISBN | 3-540-69193-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Minimun distance decoding algorithms for linear codes -- Efficient multivariate factorization over finite fields -- On maximal codes in polynomial metric spaces -- Yet another ideal decomposition algorithm -- A resultant theory for ordinary algebraic differential equations -- The symmetry group of ? q n in the Lee space and the ? q n-linear codes -- On repeated-root cyclic codes and the two-way chain condition -- Exponentiation in finite fields: Theory and practice -- Computing minimum-link path in a homotopy class amidst semi-algebraic obstacles in the plane -- Certain self-dual codes over ?4 and the odd Leech lattice -- Order functions and evaluation codes -- Codes from cocycles -- A brief tour of split linear programming -- Elementary approximation of exponentials of Lie polynomials -- On the q-ary image of cyclic codes -- The split weight (w L , w R ) enumeration of Reed-Muller codes for w L +w R d min -- Optimal linear codes of dimension 4 over GF(5) -- Characterisations of lexicographic sets and simply-connected Hilbert schemes -- An iterative probabilistic decoding algorithm for binary linear block codes beyond the half minimum distance -- Security examination of a cellular automata based pseudorandom bit generator using an algebraic replica approach -- Formal duality of linearly presentable codes over a Galois field -- Trace-function on a Galois ring in coding theory -- A vector version of the BMS algorithm for implementing fast erasure-and-error decoding of one-point AG codes -- On generalized Hamming weights of codes constructed on affine algebraic sets -- Some results on regular mappings -- Extension theorems for linear codes over finite rings -- Nonperiodic cyclic equivalence classes of cyclic codes and algebraic constructions of cyclically permutable codes. |
Record Nr. | UNINA-9910768478003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [[electronic resource] ] : 8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings / / edited by Shojiro Sakata |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (XI, 393 p.) |
Disciplina | 512/.00285 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Applied mathematics
Engineering mathematics Algebra Computers Coding theory Information theory Computer science—Mathematics Combinatorics Applications of Mathematics Theory of Computation Coding and Information Theory Symbolic and Algebraic Manipulation |
ISBN | 3-540-47489-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Covering radius and writing on memories -- Geometric problems solvable in single exponential time -- A description of the [16,7,6] codes -- Periodic sequences for absolute type shaft encoders -- Error-coded algorithms for on-line arithmetic -- Constructions of codes correcting burst asymmetric errors -- A construction method for m-ary unidirectional error control codes -- Feasible calculation of the generator for combined LFSR sequences -- Substitution of characters in q-ary m-sequences -- Pseudo-polyphase orthogonal sequence sets with good cross-correlation property -- Real-valued bent function and its application to the design of balanced quadriphase sequences with optimal correlation properties -- Coded modulation with generalized multiple concatenation of block codes -- Trellis coded modulation based on time-varying mapping and encoders for utilizing a channel intersymbol interference -- Use of the algebraic coding theory in nuclear electronics -- Some ideas about fault-tolerant Chinese Remaindering -- On a categorial isomorphism between a class of Completely Regular Codes and a class of Distance Regular Graphs -- Single exponential path finding in semialgebraic sets Part I: The case of a regular bounded hypersurface -- On the complexity of algebraic power series -- Local decomposition algorithms -- An asymptotically fast probabilistic algorithm for computing polynomial GCD's over an algebraic number field -- Some algebra with formal matrices -- Implicitization of rational parametric curves and surfaces -- An inequality about irreducible factors of integer polynomials (II) -- The symplectic trilinear mappings; an algorithmic approach of the classification; case of the field GF(3) -- A Gröbner basis and a minimal polynomial set of a finite nD array -- Bounds for degrees and number of elements in Gröbner bases -- Standard bases of differential ideals -- Complexity of standard bases in projective dimension zero II -- Systolic architectures for multiplication over finite field GF(2m) -- PARSAC-2: A parallel SAC-2 based on threads -- Exponentiation in finite fields using dual basis multiplier -- Applications of Cayley graphs -- Duality between two cryptographic primitives. |
Record Nr. | UNISA-996465552303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|