The following pages link to Pedro Merino (Q263165):
Displaying 20 items.
- Finite element error estimates for an optimal control problem governed by the Burgers equation (Q263166) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- PiXL: applying XML standards to support the integration of analysis tools for protocols (Q869693) (← links)
- A generalized semantics of PROMELA for abstract model checking (Q1882796) (← links)
- Second-order orthant-based methods with enriched Hessian information for sparse \(\ell _1\)-optimization (Q2013139) (← links)
- Nonsmooth exact penalization second-order methods for incompressible bi-viscous fluids (Q2057230) (← links)
- A difference-of-convex functions approach for sparse PDE optimal control problems with nonconvex costs (Q2322559) (← links)
- An adaptive numerical method for semi-infinite elliptic control problems based on error estimates (Q2943832) (← links)
- Error estimates for the finite element discretization of semi-infinite elliptic optimal control problems (Q3000081) (← links)
- On linear-quadratic elliptic control problems of semi-infinite type (Q3006695) (← links)
- Error estimates for the finite element approximation of a semilinear elliptic control problem with state constraints and finite dimensional control space (Q3551502) (← links)
- (Q4356440) (← links)
- (Q4411974) (← links)
- (Q4738488) (← links)
- Error estimates for the FEM approximation of optimal sparse control of elliptic equations with pointwise state constraints and finite‐dimensional control space (Q5003604) (← links)
- A Semismooth Newton Method for Regularized L q-quasinorm Sparse Optimal Control Problems (Q5152869) (← links)
- (Q5506059) (← links)
- Model Checking Software (Q5899043) (← links)
- Sparse optimal control of Timoshenko's beam using a locking-free finite element approximation (Q6565696) (← links)
- 6G-MOBKPI results: Network-layer and radio-related measurements from mobility experiments on the 6G-SANDBOX Málaga platform (Q6700685) (← links)
