IFIP Advances in Information and Communication Technology

MaRDI QIDQ152190WikidataFDO

Authors

Cited in

(only showing first 100 items - show all)

• System modeling and optimization. 23rd IFIP TC 7 conference, CSMO 2007, Cracow, Poland, July 23--27, 2007. Revised Selected Papers
• Analysis, architectures and modelling of embedded systems. Third IFIP TC 10 international embedded systems symposium, IESS 2009, Langenargen, Germany, September 14--16, 2009. Proceedings.
• Advances in digital forensics V. Fifth IFIP WG 11.9 international conference on digital forensics, Orlando, Florida, USA, January 26--28, 2009. Revised selected papers
• iNetSec 2009 -- open research problems in network security. IFIP Wg 11.4 international workshop, Zurich, Switzerland, April 23--24, 2009. Revised selected papers
• Transductive conformal predictors
• System modeling and optimization. 25th IFIP TC 7 conference on system modeling and optimization, CSMO 2011, Berlin, Germany, September 12--16, 2011. Revised Selected Papers
• Artificial intelligence in theory and practice III. Third IFIP TC 12 international conference on artificial intelligence, IFIP AI 2010, held as part of WCC 2010, Brisbane, Australia, September 20--23, 2010, Proceedings
• Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20--23, 2010. Proceedings
• Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20--23, 2010. Proceedings
• Artificial intelligence for knowledge management. First IFIP WG 12.6 international workshop, AI4KM 2012, held in conjunction with ECAI 2012, Montpellier, France, August 28, 2012. Revised selected papers
• VLSI-SoC: Design methodologies for SoC and SiP. 16th IFIP WG 10.5/IEEE international conference on very large scale integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13--15, 2008. Revised selected papers
• Uncertainty quantification in scientific computing. 10th IFIP WG 2.5 working conference, WoCoUQ 2011, Boulder, CO, USA, August 1--4, 2011. Revised selected papers
• System modeling and optimization. 27th IFIP TC 7 conference, CSMO 2015, Sophia Antipolis, France, June 29 -- July 3, 2015. Revised selected papers
• A High-Order Semi-Lagrangian/Finite Volume Scheme for Hamilton-Jacobi-Isaacs Equations
• Simultaneous material and topology optimization based on topological derivatives
• Steady Fluid-Structure Interaction Using Fictitious Domain
• Sensitivity of the Solution Set to Second Order Evolution Inclusions
• Impulse control of standard Brownian motion: long-term average criterion
• Impulse control of standard Brownian motion: discounted criterion
• On target control synthesis under set-membership uncertainties using polyhedral techniques
• Application of the Fenchel theorem to the obstacle problem
• A penalization method for the elliptic bilateral obstacle problem
• Binary level set method for topology optimization of variational inequalities
• Nonlinear delay evolution inclusions on graphs
• Graphical Lasso Granger method with 2-levels-thresholding for recovering causality networks
• Right-hand side dependent bounds for GMRES applied to ill-posed problems
• PDE-driven shape optimization: numerical investigation of different descent directions and projections using penalization and regularization
• Tomographic reconstruction of homogeneous 2D geometric models with unknown attenuation
• A control delay differential equations model of evolution of normal and leukemic cell populations under treatment
• More safe optimal input signals for parameter estimation of linear systems described by ODE
• Exponential stability of compactly coupled wave equations with delay terms in the boundary feedbacks
• Regularization of Linear-Quadratic Control Problems with L^1 L 1 -Control Cost
• Deployment of sensors according to quasi-random and well distributed sequences for nonparametric estimation of spatial means of random fields
• On the diversity order of UW-OFDM
• Representation and analysis of piecewise linear functions in abs-normal form
• Efficient Smoothers for All-at-once Multigrid Methods for Poisson and Stokes Control Problems
• Stochastic maximum principle for Hilbert space valued forward-backward doubly SDEs with Poisson jumps
• Efficient solvers for large-scale saddle point systems arising in feedback stabilization of multi-field flow problems
• Stochastic control of econometric models for Slovenia
• The optimal control of cellular communication enterprise development in competitive activity
• Simulation of acoustic wave propagation in anisotropic media using dynamic programming technique
• Efficient cardinality/mean-variance portfolios
• Two semi-Lagrangian fast methods for Hamilton-Jacobi-Bellman equations
• Dynamic sampling schemes for optimal noise learning under multiple nonsmooth constraints
• Exponential convergence to equilibrium for nonlinear reaction-diffusion systems arising in reversible chemistry
• Uncertainties Using Genomic Information for Evidence-Based Decisions
• Considerations of uncertainty in regulatory decision making
• Uncertainty and sensitivity analysis: from regulatory requirements to conceptual structure and computational implementation
• Bayes linear analysis for complex physical systems modeled by computer simulators
• Verified computation with probabilities
• Parametric and uncertainty computations with tensor product representations
• Using emulators to estimate uncertainty in complex models
• Numerical aspects in the evaluation of measurement uncertainty
• Model-Based Interpolation, Prediction, and Approximation
• Uncertainty quantification for turbulent mixing flows: Rayleigh-Taylor instability
• Interval based finite elements for uncertainty quantification in engineering mechanics
• Reducing the uncertainty when approximating the solution of ODEs
• Convexity, duality and effects
• A calculus for power-aware multicast communications in ad hoc networks
• The coarsest precongruences respecting safety and liveness properties
• Entropy and attack models in information flow (Invited talk)
• Safe equivalences for security properties
• On probabilistic alternating simulations
• Probabilistic mobility models for mobile and wireless networks
• On Packing Splittable Items with Cardinality Constraints
• Deterministic computations in time-varying graphs: broadcasting under unstructured mobility
• Slicing behavior tree models for verification
• Optimization of the anisotropic Gaussian kernel for text segmentation and parameter extraction
• Online dictionary matching for streams of XML documents
• The duality of computation under focus
• Polarized Resolution Modulo
• A logic on subobjects and recognizability
• Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles
• Proof system for applied pi calculus
• Concurrent Pattern Calculus
• Initial segment complexities of randomness notions
• Topologies refining the Cantor topology on X^
• On symbolic representations of maximum matchings and (Un)directed graphs
• Traceable Sets
• Approximating the non-contiguous multiple organization packing problem
• Improving the competitive ratios of the seat reservation problem
• A semiring-based trace semantics for processes with applications to information leakage analysis
• A Game-Theoretic Approach to Routing under Adversarial Conditions
• An operational model for multiprocessors with caches
• Performance-based design as a strategy for risk reduction: application to seismic risk assessment of composite steel-concrete frames
• Efficient nonlinear programming algorithms for chemical process control and operations
• Application of Evolutionary Optimization in Structural Engineering
• Sufficient conditions and sensitivity analysis for optimal bang-bang control problems with state constraints
• New applications of variational analysis to optimization and control
• Problems of mathematical finance by stochastic control methods
• Complete shape metric and geodesic
• Galerkin strategy for level set shape analysis: application to geodesic tube
• Remarks on 0-1 optimization problems with superincreasing and superdecreasing objective functions
• A hierarchical multiobjective routing model for MPLS networks with two service classes
• Comparison of the Exact and Approximate Algorithms in the Random Shortest Path Problem
• Free Material Optimization for Plates and Shells
• Elliptic control by penalty techniques with control reduction
• Applications of topological derivatives and neural networks for inverse problems
• Factorization by invariant embedding of a boundary value problem for the Laplace operator
• Nonlinear cross Gramians

This page was built for publication: IFIP Advances in Information and Communication Technology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q152190)