If you want to contribute to this project, you can do so by forking this repository, finding the addecuate branch and submitting a pull request. You can also submit an issue if you find a bug or want ...

The authors report a case of deficiency of the eighth component of complement in a young adult with a history of three episodes of meningitis; one of them proved to be meningococcal. The literature ...

Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...