This repository contains our personal configurations for pandoc's markdown -> latex -> pdf conversion. The configurations include a custom latex template and lua filters for pandoc. This configuration ...

ROS: Create Catkin Package Create a catkin package. You can right click on a folder in the explorer to create it in a specific location. ROS: Create Terminal Create a terminal with the ROS environment ...

Abstract: The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Recent work on program synthesis and ...

Abstract: Intelligent reflecting surface (IRS) is an enabling technology to engineer the radio signal propagation in wireless networks. By smartly tuning the signal reflection via a large number of ...