Home

Computational geometry

Formal sciences
Theoretical computer science
Algorithms and data structures
Computational geometry

About
Privacy
Disclaimer

Graph Chatbot

Related publications (29)

Sound and Complete Verification of Polynomial Networks

Volkan Cevher, Grigorios Chrysos, Fanghui Liu, Mehmet Fatih Sahin, Elias Abad Rocamora

Polynomial Networks (PNs) have demonstrated promising performance on face and image recognition recently. However, robustness of PNs is unclear and thus obtaining certificates becomes imperative for enabling their adoption in real-world applications. Exist ...

2022

Gazebo Fluids: SPH-based simulation of fluid interaction with articulated rigid body dynamics

Auke Ijspeert, Jonathan Patrick Arreguit O'Neill, Wei Wang, Emmanouil Angelidis

Physical simulation is an indispensable component of robotics simulation platforms that serves as the basis for a plethora of research directions. Looking strictly at robotics, the common characteristic of the most popular physics engines, such as ODE, DAR ...

IEEE2022

Synthesis and Analysis of 3D shapes with Geometric Deep Learning in Computer-Aided Engineering

Edoardo Remelli

In this thesis, we advocate that Computer-Aided Engineering could benefit from a Geometric Deep Learning revolution, similarly to the way that Deep Learning revolutionized Computer Vision. To do so, we consider a variety of Computer-Aided Engineering pr ...

EPFL2022

High-order accurate entropy stable adaptive moving mesh finite difference schemes for special relativistic (magneto)hydrodynamics

Junming Duan

This paper develops high-order accurate entropy stable (ES) adaptive moving mesh finite difference schemes for the two- and three-dimensional special relativistic hydrodynamic (RHD) and magnetohydrodynamic (RMHD) equations, which is the high-order accurate ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022

Vision-based Flocking in Aerial Robot Swarms

Fabian Maximilian Schilling

Aerial robot swarms have the potential to perform time-critical and dangerous tasks such as disaster response without compromising human safety. However, their reliance on external infrastructure such as global positioning for localization and wireless net ...

EPFL2022

Learning to Simulate Realistic LiDARs

Pascal Fua, Benoît Alain René Guillard

Simulating realistic sensors is a challenging part in data generation for autonomous systems, often involving carefully handcrafted sensor design, scene properties, and physics modeling. To alleviate this, we introduce a pipeline for data-driven simulation ...

2022

Tessellation and lmprovement of Simplicial Meshes using Neural Networks

Alexis Papagiannopoulos

Modern mesh generation addresses the development of robust algorithms that construct a discrete representation of the geometry into polytopal elements conforming to divergent properties: (i) fidelity to complex geometrical features, (ii) support for high s ...

EPFL2021

A projected super-penalty method for the C1-coupling of multi-patch isogeometric Kirchhoff plates

Annalisa Buffa, Luca Coradello

This work focuses on the development of a super-penalty strategy based on the L2-projection of suitable coupling terms to achieve C1-continuity between non-conforming multi-patch isogeometric Kirchhoff plates. In particular, the choice of penalty parameter ...

2021

BPX preconditioners for isogeometric analysis using (truncated) hierarchical B-splines

Rafael Vazquez Hernandez

We present the construction of additive multilevel preconditioners, also known as BPX preconditioners, for the solution of the linear system arising in isogeometric adaptive schemes with (truncated) hierarchical B-splines. We show that the locality of hier ...

2021

Reactive Navigation in Crowds for Non-holonomic Robots with Convex Bounding Shape

Aude Billard, Diego Felipe Paez Granados, David Julian Gonon

This paper describes a novel method for non-holonomic robots of convex shape to avoid imminent collisions with moving obstacles. The method's purpose is to assist navigation in crowds by correcting steering from the robot's path planner or driver. We evalu ...

2021

Page 2 of 3

High-order accurate entropy stable adaptive moving mesh finite difference schemes for special relativistic (magneto)hydrodynamics

Junming Duan

ACADEMIC PRESS INC ELSEVIER SCIENCE2022