The 3rd International Symposium on Voronoi Diagrams in Science and Engineering 2006 : proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2006 |
Disciplina | 004.01/5113 |
Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical - Data processing Geometry Computer Science Engineering & Applied Sciences |
ISBN | 1-5090-9609-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996197730703316 |
[Place of publication not identified], : IEEE Computer Society, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The 3rd International Symposium on Voronoi Diagrams in Science and Engineering 2006 : proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2006 |
Disciplina | 004.01/5113 |
Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical - Data processing Geometry Computer Science Engineering & Applied Sciences |
ISBN |
9781509096091
1509096094 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910145643303321 |
[Place of publication not identified], : IEEE Computer Society, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers / / Nicolas Maudet, Simon Parsons, Iyad Rahwan (eds.) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2007 |
Descrizione fisica | 1 online resource (XII, 216 p.) |
Disciplina | 004.01/5113 |
Altri autori (Persone) |
MaudetNicolas
ParsonsSimon RahwanIyad |
Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
Soggetto topico |
Intelligent agents (Computer software)
Computer logic |
ISBN | 3-540-75526-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Argumentation in Multi-Agent Systems: Context and Recent Developments -- Argumentation in Multi-Agent Systems: Context and Recent Developments -- I: Foundations and Explorations -- Argumentation-Based Learning -- Arguments and Counterexamples in Case-Based Joint Deliberation -- A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments -- An Argumentation-Based Approach for Practical Reasoning -- Support-Based Distributed Search: A New Approach for Multiagent Constraint Processing -- Managing Social Influences Through Argumentation-Based Negotiation -- II: Strategic Issues -- An Argumentation-Based Approach for Dialog Move Selection -- Specification and Complexity of Strategic-Based Reasoning Using Argumentation -- Information Based Argumentation Heuristics -- Negotiating Using Rewards -- Argumentation and Persuasion in the Cognitive Coherence Theory: Preliminary Report. |
Altri titoli varianti | ArgMAS 2006 |
Record Nr. | UNINA-9910483402703321 |
Berlin ; ; New York, : Springer, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated Technology for Verification and Analysis [[electronic resource] ] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings / / edited by Susanne Graf, Wenhui Zhang |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XIV, 546 p.) |
Disciplina | 004.01/5113 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer-aided engineering
Computer logic Computers Computer communication systems Special purpose computers Software engineering Computer-Aided Engineering (CAD, CAE) and Design Logics and Meanings of Programs Information Systems and Communication Service Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering |
ISBN | 3-540-47238-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Speeches -- Analysis of Recursive Probabilistic Models -- Verification Challenges and Opportunities in the New Era of Microprocessor Design -- Automated Abstraction of Software -- Regular Papers -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains -- A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement -- A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis -- Model Checking Timed Systems with Urgencies -- Whodunit? Causal Analysis for Counterexamples -- On the Membership Problem for Visibly Pushdown Languages -- On the Construction of Fine Automata for Safety Properties -- On the Succinctness of Nondeterminism -- Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition -- On the Satisfiability of Modular Arithmetic Formulae -- Selective Approaches for Solving Weak Games -- Controller Synthesis and Ordinal Automata -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis for Probabilistic Environments -- Branching-Time Property Preservation Between Real-Time Systems -- Automatic Verification of Hybrid Systems with Large Discrete State Space -- Timed Unfoldings for Networks of Timed Automata -- Symbolic Unfoldings for Networks of Timed Automata -- Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise -- Timed Temporal Logics for Abstracting Transient States -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous Communication -- Proactive Leader Election in Asynchronous Shared Memory Systems -- A Semantic Framework for Test Coverage -- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols -- Analyzing Security Protocols in Hierarchical Networks -- Functional Analysis of a Real-Time Protocol for Networked Control Systems -- Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets -- Sigref – A Symbolic Bisimulation Tool Box -- Towards a Model-Checker for Counter Systems -- The Implementation of Mazurkiewicz Traces in POEM -- Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. |
Record Nr. | UNISA-996466163603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings / / Susanne Graf, Wenhui Zhang (eds.) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
Descrizione fisica | 1 online resource (XIV, 546 p.) |
Disciplina | 004.01/5113 |
Altri autori (Persone) |
GrafSusanne
ZhangWenhui <1963-> |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 2, Programming and software engineering |
Soggetto topico | Automatic theorem proving |
ISBN | 3-540-47238-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Speeches -- Analysis of Recursive Probabilistic Models -- Verification Challenges and Opportunities in the New Era of Microprocessor Design -- Automated Abstraction of Software -- Regular Papers -- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives -- Eager Markov Chains -- A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement -- A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis -- Model Checking Timed Systems with Urgencies -- Whodunit? Causal Analysis for Counterexamples -- On the Membership Problem for Visibly Pushdown Languages -- On the Construction of Fine Automata for Safety Properties -- On the Succinctness of Nondeterminism -- Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition -- On the Satisfiability of Modular Arithmetic Formulae -- Selective Approaches for Solving Weak Games -- Controller Synthesis and Ordinal Automata -- Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis -- Synthesis for Probabilistic Environments -- Branching-Time Property Preservation Between Real-Time Systems -- Automatic Verification of Hybrid Systems with Large Discrete State Space -- Timed Unfoldings for Networks of Timed Automata -- Symbolic Unfoldings for Networks of Timed Automata -- Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise -- Timed Temporal Logics for Abstracting Transient States -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous Communication -- Proactive Leader Election in Asynchronous Shared Memory Systems -- A Semantic Framework for Test Coverage -- Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols -- Analyzing Security Protocols in Hierarchical Networks -- Functional Analysis of a Real-Time Protocol for Networked Control Systems -- Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets -- Sigref – A Symbolic Bisimulation Tool Box -- Towards a Model-Checker for Counter Systems -- The Implementation of Mazurkiewicz Traces in POEM -- Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. |
Altri titoli varianti | ATVA 2006 |
Record Nr. | UNINA-9910483523303321 |
Berlin ; ; New York, : Springer, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Recent advances in computational sciences [[electronic resource] ] : selected papers from the International Workshop on Computational Sciences and its Education, Beijing, China, 29-31 August 2005 / / edited by Palle Jorgensen ... [et al.] |
Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, c2008 |
Descrizione fisica | 1 online resource (396 p.) |
Disciplina | 004.01/5113 |
Altri autori (Persone) | J0rgensenPalle E. T. <1947-> |
Soggetto topico |
Computer science - Mathematics
Computer science - Mathematics - Study and teaching |
Soggetto genere / forma | Electronic books. |
ISBN | 981-279-238-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Generalized Riemann problems: from the scalar equation to multidimensional fluid dynamics / M. Ben-Arlizi and J. Falcovitz -- Some observations on a multiscale finite element method for problems with variables separated coefficients / S. Jiang and Y-Q. Huang -- A finite element method for the simulation of a liquid droplet impinging on a solid surface / S. Ganesan and L. Tobiska -- Applications of moving mesh methods to the Fourier spectral approximations of phase-field equations / P. Yu, L. Q. Chen and Q. Du -- On the comparison of evolution Galerkin and Discontinuous Galerkin schemes / K. Baumbach and M. Luk�a�cov�a-Medvi�dov�a -- Time-domain finite element methods for Maxwell's equations in dispersive media: a review / J. Li and Y. Chen -- Superconvergence and a posteriori error estimates of nonconforming FEM for boundary control governed by Stokes equations / H. Liu and N. Yan -- Optimal superconvergent one step quadratic spline collocation methods for Helmholtz problems / B. Bialecki ... [et al.] -- Some progress on superconvergence for mixed finite element methods / S. Jia, H. Xie and X. Yin -- Convergence of green iterations for Schrodinger equations / M. J. Mohlenkamp and T. Young -- Convolution and Wiener amalgam spaces on the affine group / C. Heil and G. Kutyniok -- An approximation formula in Hilbert space / Z. Zhang and N. Saito -- The Gibbs phenomenon: a digression in wavelet hybrid sampling series / X. A. Shen -- A unified framework for segmentation-assisted image registration / J. Liu and W. Yang -- Geometric hermite interpolation with pythagorean hodograph cubics / X.-A. Han, Y.-C. Ma and H.-Y. Sun -- Shape gradient for the Stokes flow by dierentiability of a saddle point / Z. Gao and Y. Ma -- Numerical simulation of flow over two rotating self-moving circular cylinders / S. Sungnul and N. P. Moshkin -- A note on PPT forms and separability of multipartite states / X.-H. Wang, S.-M. Fei and K. Wu -- A structured data least squares algorithm and its application in digital filtering / H. Guo and R. Renaut -- Short implementation of bisection in Matlab / L. Chen -- An improved iterative regularization based on varying the singular values of the regularization operator / R. Zhang, Y.-C. Ma and X.-B. Duan -- Linear algebra: a happy chance to apply mathematics / G. Strang -- Calculus's accuracy / Q. Lin -- Teaching of mathematics at various levels in an international university-system, and connections to research and to current trends in technology / P. Jorgensen. |
Record Nr. | UNINA-9910454562403321 |
Hackensack, NJ, : World Scientific, c2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Recent advances in computational sciences [[electronic resource] ] : selected papers from the International Workshop on Computational Sciences and its Education, Beijing, China, 29-31 August 2005 / / edited by Palle Jorgensen ... [et al.] |
Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, c2008 |
Descrizione fisica | 1 online resource (396 p.) |
Disciplina | 004.01/5113 |
Altri autori (Persone) | J0rgensenPalle E. T. <1947-> |
Soggetto topico |
Computer science - Mathematics
Computer science - Mathematics - Study and teaching |
ISBN | 981-279-238-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Generalized Riemann problems: from the scalar equation to multidimensional fluid dynamics / M. Ben-Arlizi and J. Falcovitz -- Some observations on a multiscale finite element method for problems with variables separated coefficients / S. Jiang and Y-Q. Huang -- A finite element method for the simulation of a liquid droplet impinging on a solid surface / S. Ganesan and L. Tobiska -- Applications of moving mesh methods to the Fourier spectral approximations of phase-field equations / P. Yu, L. Q. Chen and Q. Du -- On the comparison of evolution Galerkin and Discontinuous Galerkin schemes / K. Baumbach and M. Luk�a�cov�a-Medvi�dov�a -- Time-domain finite element methods for Maxwell's equations in dispersive media: a review / J. Li and Y. Chen -- Superconvergence and a posteriori error estimates of nonconforming FEM for boundary control governed by Stokes equations / H. Liu and N. Yan -- Optimal superconvergent one step quadratic spline collocation methods for Helmholtz problems / B. Bialecki ... [et al.] -- Some progress on superconvergence for mixed finite element methods / S. Jia, H. Xie and X. Yin -- Convergence of green iterations for Schrodinger equations / M. J. Mohlenkamp and T. Young -- Convolution and Wiener amalgam spaces on the affine group / C. Heil and G. Kutyniok -- An approximation formula in Hilbert space / Z. Zhang and N. Saito -- The Gibbs phenomenon: a digression in wavelet hybrid sampling series / X. A. Shen -- A unified framework for segmentation-assisted image registration / J. Liu and W. Yang -- Geometric hermite interpolation with pythagorean hodograph cubics / X.-A. Han, Y.-C. Ma and H.-Y. Sun -- Shape gradient for the Stokes flow by dierentiability of a saddle point / Z. Gao and Y. Ma -- Numerical simulation of flow over two rotating self-moving circular cylinders / S. Sungnul and N. P. Moshkin -- A note on PPT forms and separability of multipartite states / X.-H. Wang, S.-M. Fei and K. Wu -- A structured data least squares algorithm and its application in digital filtering / H. Guo and R. Renaut -- Short implementation of bisection in Matlab / L. Chen -- An improved iterative regularization based on varying the singular values of the regularization operator / R. Zhang, Y.-C. Ma and X.-B. Duan -- Linear algebra: a happy chance to apply mathematics / G. Strang -- Calculus's accuracy / Q. Lin -- Teaching of mathematics at various levels in an international university-system, and connections to research and to current trends in technology / P. Jorgensen. |
Record Nr. | UNINA-9910777954503321 |
Hackensack, NJ, : World Scientific, c2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Recent advances in computational sciences : selected papers from the International Workshop on Computational Sciences and its Education, Beijing, China, 29-31 August 2005 / / edited by Palle Jorgensen ... [et al.] |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, c2008 |
Descrizione fisica | 1 online resource (396 p.) |
Disciplina | 004.01/5113 |
Altri autori (Persone) | J0rgensenPalle E. T. <1947-> |
Soggetto topico |
Computer science - Mathematics
Computer science - Mathematics - Study and teaching |
ISBN | 981-279-238-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Generalized Riemann problems: from the scalar equation to multidimensional fluid dynamics / M. Ben-Arlizi and J. Falcovitz -- Some observations on a multiscale finite element method for problems with variables separated coefficients / S. Jiang and Y-Q. Huang -- A finite element method for the simulation of a liquid droplet impinging on a solid surface / S. Ganesan and L. Tobiska -- Applications of moving mesh methods to the Fourier spectral approximations of phase-field equations / P. Yu, L. Q. Chen and Q. Du -- On the comparison of evolution Galerkin and Discontinuous Galerkin schemes / K. Baumbach and M. Luk�a�cov�a-Medvi�dov�a -- Time-domain finite element methods for Maxwell's equations in dispersive media: a review / J. Li and Y. Chen -- Superconvergence and a posteriori error estimates of nonconforming FEM for boundary control governed by Stokes equations / H. Liu and N. Yan -- Optimal superconvergent one step quadratic spline collocation methods for Helmholtz problems / B. Bialecki ... [et al.] -- Some progress on superconvergence for mixed finite element methods / S. Jia, H. Xie and X. Yin -- Convergence of green iterations for Schrodinger equations / M. J. Mohlenkamp and T. Young -- Convolution and Wiener amalgam spaces on the affine group / C. Heil and G. Kutyniok -- An approximation formula in Hilbert space / Z. Zhang and N. Saito -- The Gibbs phenomenon: a digression in wavelet hybrid sampling series / X. A. Shen -- A unified framework for segmentation-assisted image registration / J. Liu and W. Yang -- Geometric hermite interpolation with pythagorean hodograph cubics / X.-A. Han, Y.-C. Ma and H.-Y. Sun -- Shape gradient for the Stokes flow by dierentiability of a saddle point / Z. Gao and Y. Ma -- Numerical simulation of flow over two rotating self-moving circular cylinders / S. Sungnul and N. P. Moshkin -- A note on PPT forms and separability of multipartite states / X.-H. Wang, S.-M. Fei and K. Wu -- A structured data least squares algorithm and its application in digital filtering / H. Guo and R. Renaut -- Short implementation of bisection in Matlab / L. Chen -- An improved iterative regularization based on varying the singular values of the regularization operator / R. Zhang, Y.-C. Ma and X.-B. Duan -- Linear algebra: a happy chance to apply mathematics / G. Strang -- Calculus's accuracy / Q. Lin -- Teaching of mathematics at various levels in an international university-system, and connections to research and to current trends in technology / P. Jorgensen. |
Record Nr. | UNINA-9910822491603321 |
Hackensack, NJ, : World Scientific, c2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|