Towards Abstraction-Based Verification of Shape Calculus

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2012.05.013 ◽

2012 ◽

Vol 284 ◽

pp. 23-34

Author(s):

F. Buti ◽

M. Callisto De Donato ◽

F. Corradini ◽

M.R. Di Berardini ◽

E. Merelli ◽

...

Keyword(s):

Shape Calculus

Download Full-text

A shape calculus analysis for tracking type formulations in electrical impedance tomography

Journal of Inverse and Ill-Posed Problems ◽

10.1515/jiip.2009.043 ◽

2009 ◽

Vol 17 (8) ◽

Cited By ~ 1

Author(s):

K. Eppler

Keyword(s):

Electrical Impedance Tomography ◽

Electrical Impedance ◽

Impedance Tomography ◽

Shape Calculus

Download Full-text

Shape calculus for vortex patch equilibria and its application to lattice configurations

Journal of Computational and Applied Mathematics ◽

10.1016/j.cam.2017.10.023 ◽

2018 ◽

Vol 332 ◽

pp. 86-100

Author(s):

Tomoki Uda

Keyword(s):

Vortex Patch ◽

Shape Calculus

Download Full-text

Optimal Actuator Design for the Euler-Bernoulli Vibration Model Based on LQR Performance and Shape Calculus

IEEE Control Systems Letters ◽

10.1109/lcsys.2021.3093215 ◽

2021 ◽

pp. 1-1

Author(s):

M. Sajjad Edalatzadeh ◽

Dante Kalise ◽

Kirsten A. Morris ◽

Kevin Sturm

Keyword(s):

Shape Calculus ◽

Model Based ◽

Vibration Model ◽

Actuator Design

Download Full-text

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation

Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications ◽

10.5220/0004060802180227 ◽

2012 ◽

Keyword(s):

Direct Simulation ◽

Shape Calculus

Download Full-text

Three-Dimensional Large-Scale Aerodynamic Shape Optimization Based on Shape Calculus

AIAA Journal ◽

10.2514/1.j052245 ◽

2013 ◽

Vol 51 (11) ◽

pp. 2615-2627 ◽

Cited By ~ 31

Author(s):

Stephan Schmidt ◽

Caslav Ilic ◽

Volker Schulz ◽

Nicolas R. Gauger

Keyword(s):

Shape Optimization ◽

Large Scale ◽

Three Dimensional ◽

Aerodynamic Shape Optimization ◽

Aerodynamic Shape ◽

Shape Calculus

Download Full-text

A Robust Numerical Method for the Random Interface Grating Problem via Shape Calculus, Weak Galerkin Method, and Low-Rank Approximation

Journal of Scientific Computing ◽

10.1007/s10915-018-0712-z ◽

2018 ◽

Vol 77 (1) ◽

pp. 419-442 ◽

Cited By ~ 4

Author(s):

Gang Bao ◽

Yanzhao Cao ◽

Yongle Hao ◽

Kai Zhang

Keyword(s):

Galerkin Method ◽

Numerical Method ◽

Low Rank ◽

Weak Galerkin ◽

Low Rank Approximation ◽

Shape Calculus ◽

Random Interface ◽

Rank Approximation

Download Full-text

Shape calculus and finite element method in smooth domains

Mathematics of Computation ◽

10.1090/s0025-5718-00-01323-5 ◽

2000 ◽

Vol 70 (233) ◽

pp. 1-16 ◽

Cited By ~ 2

Author(s):

T. Tiihonen

Keyword(s):

Finite Element Method ◽

Finite Element ◽

Shape Calculus ◽

Element Method

Download Full-text

A shape calculus based method for a transmission problem with a random interface

Computers & Mathematics with Applications ◽

10.1016/j.camwa.2015.06.021 ◽

2015 ◽

Vol 70 (7) ◽

pp. 1401-1424 ◽

Cited By ~ 3

Author(s):

Alexey Chernov ◽

Duong Pham ◽

Thanh Tran

Keyword(s):

Transmission Problem ◽

Shape Calculus ◽

Random Interface

Download Full-text

Three Dimensional Large Scale Aerodynamic Shape Optimization based on Shape Calculus

41st AIAA Fluid Dynamics Conference and Exhibit ◽

10.2514/6.2011-3718 ◽

2011 ◽

Cited By ~ 9

Author(s):

Stephan Schmidt ◽

Nicolas Gauger ◽

Caslav Ilic ◽

Volker Schulz

Keyword(s):

Shape Optimization ◽

Large Scale ◽

Three Dimensional ◽

Aerodynamic Shape Optimization ◽

Aerodynamic Shape ◽

Shape Calculus

Download Full-text

Shape calculus and FEM in smooth domains

finite element methods ◽

10.1201/9780203756034-20 ◽

2017 ◽

pp. 259-267

Author(s):

T. Tiihonen

Keyword(s):

Shape Calculus

Download Full-text