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.
Algorithms for a New World [[electronic resource] ] : When Big Data and Mathematical Models Meet / / by Alfio Quarteroni
| Algorithms for a New World [[electronic resource] ] : When Big Data and Mathematical Models Meet / / by Alfio Quarteroni |
| Autore | Quarteroni Alfio |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (68 pages) : illustrations |
| Disciplina | 006.3 |
| Soggetto topico |
Mathematics
Machine learning Artificial intelligence Quantitative research Algorithms Applications of Mathematics Machine Learning Artificial Intelligence Data Analysis and Big Data Models matemàtics Intel·ligència artificial Dades massives |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783030961664
9783030961657 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Epidemic -- 2 Retrospective -- 3 Interlude: the revolution that did not happen and the revolution that was unforeseen -- 4 Artificial intelligence, learning computers, artificial neural networks -- 5 A bit of maths (behind artificial intelligence and machine learning) -- 6 BIG DATA - BIG BROTHER (or, on the ethical and moral aspects of artificial intelligence). |
| Record Nr. | UNINA-9910583506503321 |
Quarteroni Alfio
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Almost Periodic Solutions of Impulsive Differential Equations [[electronic resource] /] / by Gani T. Stamov
| Almost Periodic Solutions of Impulsive Differential Equations [[electronic resource] /] / by Gani T. Stamov |
| Autore | Stamov Gani T |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XX, 217 p.) |
| Disciplina | 515.352 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Differential equations
Difference equations Functional equations Applied mathematics Engineering mathematics Ordinary Differential Equations Difference and Functional Equations Applications of Mathematics |
| ISBN | 3-642-27546-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Impulsive Differential Equations and Almost Periodicity -- 2 Almost Periodic Solutions -- 3 Lyapunov Method and Almost Periodicity -- 4 Applications. |
| Record Nr. | UNISA-996466609603316 |
|
Stamov Gani T
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Almost Periodic Solutions of Impulsive Differential Equations [[electronic resource] /] / by Gani T. Stamov
| Almost Periodic Solutions of Impulsive Differential Equations [[electronic resource] /] / by Gani T. Stamov |
| Autore | Stamov Gani T |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XX, 217 p.) |
| Disciplina | 515.352 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Differential equations
Difference equations Functional equations Applied mathematics Engineering mathematics Ordinary Differential Equations Difference and Functional Equations Applications of Mathematics |
| ISBN | 3-642-27546-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Impulsive Differential Equations and Almost Periodicity -- 2 Almost Periodic Solutions -- 3 Lyapunov Method and Almost Periodicity -- 4 Applications. |
| Record Nr. | UNINA-9910484710703321 |
|
Stamov Gani T
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis and Geometry in Control Theory and its Applications [[electronic resource] /] / edited by Piernicola Bettiol, Piermarco Cannarsa, Giovanni Colombo, Monica Motta, Franco Rampazzo
| Analysis and Geometry in Control Theory and its Applications [[electronic resource] /] / edited by Piernicola Bettiol, Piermarco Cannarsa, Giovanni Colombo, Monica Motta, Franco Rampazzo |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (242 p.) |
| Disciplina | 515.642 |
| Collana | Springer INdAM Series |
| Soggetto topico |
Calculus of variations
System theory Mathematical analysis Analysis (Mathematics) Applied mathematics Engineering mathematics Control engineering Calculus of Variations and Optimal Control; Optimization Systems Theory, Control Analysis Applications of Mathematics Control and Systems Theory |
| ISBN | 3-319-06917-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Generalized Lax-Hopf formulas for Cournot Maps and Hamilton-Jacobi-McKendrick Equations, Jean-Pierre Aubin and Chen Luxi -- 2 A geometric approach to the optimal control of nonholonomic mechanical systems, Anthony Bloch, Leonardo Colombo, Rohit Gupta and David Martin de Diego -- 3 Lunar perturbation of the metric associated to the averaged orbital transfer, Bernard Bonnard, Helen Henninger and Jeremy Rouot -- 4 Conjugate times and regularity of the minimum time function with differential inclusions, Piermarco Cannarsa and Teresa Scarinci -- 5 Weak solutions for first order mean field games with local coupling, Pierre Cardaliaguet -- 6 omega-limit sets for differential inclusions, Asen L. Dontchev, Mikhail I. Krastanov and Vladimir M. Veliov -- 7 Second-Order Necessary Optimality Conditions for the Mayer Problem Subject to a General Control Constraint, Helene Frankowska and Nikolai P. Osmolovskii -- 8 Optimal Control of Cancer Treatments: Mathematical Models for the Tumor Microenvironment, Heinz Schaettler and Urszula Ledzewicz. |
| Record Nr. | UNINA-9910300256703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis of biological processes [[electronic resource] ] : Verbal description, schemes, and mathematical models / / by Alfonsas Juška
| Analysis of biological processes [[electronic resource] ] : Verbal description, schemes, and mathematical models / / by Alfonsas Juška |
| Autore | Juška Alfonsas |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (170 p.) |
| Disciplina | 610 |
| Soggetto topico |
Medicine
Bioinformatics Applied mathematics Engineering mathematics Application software Biomedicine, general Applications of Mathematics Computer Applications |
| ISBN | 94-017-7373-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contents; 1 Introduction; 1.1 Formulation and Formalisation of the Problem; 1.2 The Problems Analyzed in the Book; 1.3 Summary; References; Part I Analysis, Modeling, Model Fitting and Verification; 2 Analysis & Modeling; 2.1 Introduction; 2.2 Analysis; 2.3 Modeling; 2.3.1 Unidirectional Transitions; 2.3.2 Feedback; 2.3.3 Non-Temporary Action of External Stimuli on the Transitions; 2.4 Preparation of the Data Set to Compare It with the Model; 2.5 Discussion; 2.6 Conclusions; References; 3 Model Fitting & Verification; 3.1 Introduction
3.2 Model Fitting (Comparing the Model with Experimental Data)3.3 Verification (Further Comparing); 3.4 Discussion; 3.5 Conclusions; References; Part II The Processes; 4 Transitions; 4.1 Introduction; 4.2 Transitions; 4.2.1 Unidirectional Single-Step Transitions; 4.2.2 Ion Leakage via Cellular Membranes; 4.2.3 Unidirectional Multi-Step Transitions; 4.2.4 Simple Bi-Directional Transitions; 4.3 Discussion; References; 5 Non-Controlled Ion Fluxes Between Cellular Compartments; 5.1 Introduction; 5.2 Modeling; 5.3 Discussion; 5.3.1 Intra-Cellular Calcium Re-Distribution 5.3.2 Possible Mechanisms and Pathways of the Fluxes not Considered HereReferences; 6 Controlled Ion Fluxes Between Cellular Compartments; 6.1 Introduction; 6.2 Modeling; 6.2.1 Choride Efflux via the Exchanger; 6.2.2 Calcium Extrusion from the Cytosol of Platelets; 6.3 Discussion; References; 7 Growth and Decline of Microbial Populations; 7.1 Introduction; 7.2 General Considerations and Simplest Models; 7.2.1 Analysis of the Rate of Change in Population Size; 7.2.2 Further Change in Population Size; 7.2.3 Mathematical Models and Model Comparing with Experimental Data 7.3 Discussion, Model Modifications and Further Fitting7.4 Conclusions; Appendix A; References; Part III Non-Temporal Dependences; 8 (Bio)Chemical Kinetics; 8.1 Introduction; 8.2 Modeling; 8.2.1 One Ligand (Model A); 8.2.2 Two Ligands; 8.3 Discussion; 8.3.1 Two Ligands: The Ternary Complex; 8.3.2 Two Ligands: Three-States Models of the Transitions; 8.4 Conclusions; References; 9 Non-Classical (Bio)Chemical Kinetics not Requiring Multitude of Structural Ligand-Binding Sites; 9.1 Introduction; 9.2 Modelling and Analysis; 9.2.1 Main Assumptions 9.2.2 No Restrictions Imposed on Ligand Concentration9.2.3 High Ligand Concentration; 9.2.3.1 Formal Model; 9.2.3.2 Model Based on Recovery; 9.3 Model Analysis; 9.3.1 Model A; 9.3.2 Models B and C; 9.3.2.1 Enzyme Kinetics; 9.3.2.2 Receptor Kinetics; 9.3.2.3 Ligand-Binding Site(s); 9.3.2.4 Implications of the Model; 9.4 Conclusions; References; 10 The Deviations from Classical Kinetics Determined by Multitude of Binding Sites; 10.1 Introduction; 10.2 General Considerations; 10.2.1 Conformational States of the (Macro)molecule, Transitions and Dose-response; 10.2.2 Main Assumptions 10.3 Modelling and Analysis |
| Record Nr. | UNINA-9910298449203321 |
|
Juška Alfonsas
|
||
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis, Applications, and Computations [[electronic resource] ] : Proceedings of the 13th ISAAC Congress, Ghent, Belgium, 2021 / / edited by Uwe Kähler, Michael Reissig, Irene Sabadini, Jasson Vindas
| Analysis, Applications, and Computations [[electronic resource] ] : Proceedings of the 13th ISAAC Congress, Ghent, Belgium, 2021 / / edited by Uwe Kähler, Michael Reissig, Irene Sabadini, Jasson Vindas |
| Autore | Kähler Uwe |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 |
| Descrizione fisica | 1 online resource (696 pages) |
| Disciplina | 515 |
| Altri autori (Persone) |
ReissigMichael
SabadiniIrene VindasJasson |
| Collana | Research Perspectives |
| Soggetto topico |
Mathematical analysis
Differential equations Mathematics Analysis Differential Equations Applications of Mathematics |
| ISBN | 3-031-36375-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | - Part I Plenary Lecture -- A Review of Univariate and Multivariate Multifractal Analysis Illustrated by the Analysis of Marathon Runners Physiological Data -- Part II Applications of Dynamical Systems Theory in Biology -- Wavefronts in Forward-Backward Parabolic Equations and Applications to Biased Movements -- Bohr-Levitan Almost Periodic and Almost Automorphic Solutions of Equation x' (t) = f(t – 1, x(t – 1)) – f(t, x(t)) -- Periodic Solutions in a Differential Delay Equation Modeling Megakaryopoiesis -- Discrete and Continuous Models of the COVID-19 Pandemic Propagation with a Limited Time Spent in Compartments -- Part III Challenges in STEM Education -- Some Aspects of Usage of Digital Technologies in Mathematics Education -- Teaching of STEM Lectures During the COVID-19 Time -- Extra-Curricular Activities to Promote STEM Learning -- Usage of Online Platforms in Education of Mathematics in Transcarpathia at the Beginning of Quarantine -- The Use of Technologies to Promote Critical Thinking in Pre-service Teachers -- Alarming Changes in Polish Education vs Longlife and Remote Learning -- The Most Common Mathematical Mistakes in the Teaching of Scientific Subjects at Secondary Schools -- Challenges to the Development of Effective Creativity -- Part IV Complex Analysis and Partial Differential Equations -- Universality of the Dirichlet Series in the Complex Plane -- On One Oscillation Problem of Zeroth Approximation of Hierarchical Model for Porous Elastic Plates with Variable Thickness -- Solution of the Kirsch Problem for the Elastic Materials with Voids in the Case of Approximation N = 1 of Vekua’s Theory -- Analysis of BVP for Some Elliptic Systems on a Complex Plane -- Second Order Differential Operators Associated to the Space of Holomorphic Functions -- Constructional Method for a Non-local Boundary and Initial Problem Raised from a Free Boundary Model of Cancer -- Part V Complex Variables and Potential Theory -- A Perturbation Result for a Neumann Problem in a Periodic Domain -- On One Inequality for Non-overlapping Domains -- Schwarz Lemma Type Estimates for Solutions to Nonlinear Beltrami Equation -- On Conditions of Local Lineal Convexity Generalized to Commutative Algebras -- On a Quadrature Formula for the Direct Value of the Double Layer Potential -- Menchov–Trokhimchuk Theorem Generalized for Monogenic Functions in a Three-Dimensional Algebra -- Part VI Constructive Methods in the Theory of Composite and Porous Media -- Monodromy of Pfaffian Equations for Group-Valued Functions on Riemann Surfaces -- Introduction to Neoclassical Theory of Composites -- Analogues the Kolosov-Muskhelishvili Formulas for Isotropic Materials with Double Voids -- Schwarz-Christoffel Mapping and Generalised Modulus of a Quadrilateral -- Dimension Reduction in the Periodicity Cell Problem for Plate Reinforced by a Unidirectional System of Fibers -- Self-Consistent Approximations in the Theory of Composites and Their Limitations -- On Electromagnetic Wave Equations for a Nonhomegenous Microperiodic Medium -- Part VII Generalized Functions and Applications -- A Note on Composition Operators Between Weighted Spaces of Smooth Functions -- 1D Hyperbolic Systems with Nonlinear Boundary Conditions II: Criteria for Finite Time Stability -- 1D Hyperbolic Systems with Nonlinear Boundary Conditions I: .L2-Generalized Solutions -- On Classification of Semigroups Associated to Levy Processes -- Part VIII Harmonic Analysis and Partial Differential Equations -- The Index of Toeplitz Operators on Compact Lie Groups and on Simply Connected Closed 3-Manifolds -- Part IX Partial Differential Equations on Curved Spacetimes -- Lorentzian Spectral Zeta Functions on Asymptotically Minkowski Spacetimes -- Aspects of Non-associative Gauge Theory -- Remarks on Global Smoothing Effect of Solutions to Nonlinear ElasticWave Equations with Viscoelastic Term -- Local and Global Solutions for the Semilinear Proca Equations in the de Sitter Spacetime -- Numerical Simulations of Semilinear Klein–Gordon Equation in the de Sitter Spacetime with Structure-Preserving Scheme -- Part X Recent Progress in Evolution Equations -- Global Small Data Solutions for an Evolution Equation with Structural Damping and Hartree-Type Nonlinearity -- A Note on Continuity of Strongly Singular Calderón-Zygmund Operators in Hardy-Morrey Spaces -- The Asymptotic Estimates of the Solutions to the Linear Damping Models with Spatial Dependent Coefficients -- A Klein-Gordon Model with Time-Dependent Coefficients and a Memory-Type Nonlinearity -- Intrinsic Polynomial Squeezing for Balakrishnan-Taylor Beam Models -- On the Wave-Like Energy Estimates of Klein-Gordon Type Equations with Time Dependent Potential -- Non-Linear Evolution Equations with Non-Local Coefficients and Zero-Neumann Condition: One Dimensional Case -- Nonlinear Perturbed BLMP Equation -- Part XI Wavelet Theory and Its Related Topics -- Holomorphic Curves with Deficiencies and the Uniqueness Problem -- On Some Topics Related to the Gabor Wavelet Transform -- On the Diameters and Radii of the Extended Sierpiński Graphs -- Some Inequalities for Parseval Frames -- p-Adic Time-Frequency Analysis and Its Properties. |
| Record Nr. | UNINA-9910755076803321 |
|
Kähler Uwe
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytical Methods in Statistics [[electronic resource] ] : AMISTAT, Liberec, Czech Republic, September 2019 / / edited by Matúš Maciak, Michal Pešta, Martin Schindler
| Analytical Methods in Statistics [[electronic resource] ] : AMISTAT, Liberec, Czech Republic, September 2019 / / edited by Matúš Maciak, Michal Pešta, Martin Schindler |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 156 p. 15 illus., 8 illus. in color.) |
| Disciplina | 519.5 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Statistics
Probabilities Applied mathematics Engineering mathematics Statistical Theory and Methods Probability Theory and Stochastic Processes Applications of Mathematics Statistics and Computing/Statistics Programs Applied Statistics |
| ISBN | 3-030-48814-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Y. Güney, J. Jurečková and O. Arslan, Averaged Autoregression Quantiles in Autoregressive Model -- J. Kalina and P. Vidnerová, Regression Neural Networks with a Highly Robust Loss Function -- H. L. Koul and P. Geng, Weighted Empirical Minimum Distance Estimators in Berkson Measurement Error Regression Models -- M. Maciak, M. Pešta and S. Vitali, Implied Volatility Surface Estimation via Quantile Regularization -- I. Mizera, A remark on the Grenander estimator -- U. Radojičić and K. Nordhausen, Non-Gaussian Component Analysis: Testing the Dimension of the Signal Subspace -- P. Vidnerová, J. Kalina and Y. Güney, A Comparison of Robust Model Choice Criteria within a Metalearning Study -- S. Zwanzig and R. Ahmad, On Parameter Estimation for High Dimensional Errors-in-Variables Models. |
| Record Nr. | UNINA-9910484485203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analytical Methods in Statistics [[electronic resource] ] : AMISTAT, Liberec, Czech Republic, September 2019 / / edited by Matúš Maciak, Michal Pešta, Martin Schindler
| Analytical Methods in Statistics [[electronic resource] ] : AMISTAT, Liberec, Czech Republic, September 2019 / / edited by Matúš Maciak, Michal Pešta, Martin Schindler |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 156 p. 15 illus., 8 illus. in color.) |
| Disciplina | 519.5 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Statistics
Probabilities Applied mathematics Engineering mathematics Statistical Theory and Methods Probability Theory and Stochastic Processes Applications of Mathematics Statistics and Computing/Statistics Programs Applied Statistics |
| ISBN | 3-030-48814-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Y. Güney, J. Jurečková and O. Arslan, Averaged Autoregression Quantiles in Autoregressive Model -- J. Kalina and P. Vidnerová, Regression Neural Networks with a Highly Robust Loss Function -- H. L. Koul and P. Geng, Weighted Empirical Minimum Distance Estimators in Berkson Measurement Error Regression Models -- M. Maciak, M. Pešta and S. Vitali, Implied Volatility Surface Estimation via Quantile Regularization -- I. Mizera, A remark on the Grenander estimator -- U. Radojičić and K. Nordhausen, Non-Gaussian Component Analysis: Testing the Dimension of the Signal Subspace -- P. Vidnerová, J. Kalina and Y. Güney, A Comparison of Robust Model Choice Criteria within a Metalearning Study -- S. Zwanzig and R. Ahmad, On Parameter Estimation for High Dimensional Errors-in-Variables Models. |
| Record Nr. | UNISA-996418277103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
André-Louis Cholesky [[electronic resource] ] : Mathematician, Topographer and Army Officer / / by Claude Brezinski, Dominique Tournès
| André-Louis Cholesky [[electronic resource] ] : Mathematician, Topographer and Army Officer / / by Claude Brezinski, Dominique Tournès |
| Autore | Brezinski Claude |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2014 |
| Descrizione fisica | 1 online resource (340 p.) |
| Disciplina | 510.9 |
| Soggetto topico |
Mathematics
History Applied mathematics Engineering mathematics Computer mathematics History of Mathematical Sciences Applications of Mathematics Computational Mathematics and Numerical Analysis |
| ISBN | 3-319-08135-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Biography of Cholesky -- Cholesky's family -- On topography -- The method of Cholesky for linear systems -- Other works of Cholesky -- Léon Eyrolles and his superior school -- An unpublished book by Cholesky -- Ernest Benoît -- Documents -- Acknowledgments -- Bibliography -- Index. |
| Record Nr. | UNINA-9910299967603321 |
|
Brezinski Claude
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 | ||
| ||
Soggetto topico
-
Applications of Mathematics
(609)
- Engineering mathematics (546)
- Applied mathematics (541)
- Mathematics (108)
- Probabilities (80)