117 results on '"Papachristodoulou A"'
Search Results
2. Convolutional Channel-Wise Competitive Learning for the Forward-Forward Algorithm.
3. A Game Theoretic Approach for Safe and Distributed Control of Unmanned Aerial Vehicles.
4. Distributed Safety Verification for Multi-Agent Systems.
5. Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach.
6. Machine-Learning Assisted Side-Channel Attacks on RNS ECC Implementations Using Hybrid Feature Engineering.
7. Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation.
8. Explicit Solutions for Safety Problems Using Control Barrier Functions.
9. Stability of Non-linear Neural Feedback Loops using Sum of Squares.
10. Traditional Machine Learning Methods for Side-Channel Analysis.
11. Introducing Convolutional Channel-wise Goodness in Forward-Forward Learning.
12. On Applying Boolean Masking to Exponents.
13. Boolean Exponent Splitting.
14. Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples.
15. Exploiting Sparsity for Neural Network Verification.
16. DriveGuard: Robustification of Automated Driving Systems with Deep Spatio-Temporal Convolutional Autoencoder.
17. Neural Network Verification using Polynomial Optimisation.
18. Control Reconfiguration of Cyber-physical Systems for Improved Performance via Reverse-engineering and Accelerated First-order Algorithms.
19. Towards Artificial-Intelligence-Based Cybersecurity for Robustifying Automated Driving Systems Against Camera Sensor Attacks.
20. Tight generalization guarantees for the sampling and discarding approach to scenario optimization.
21. Network Lyapunov Functions for Epidemic Models.
22. Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials.
23. On Separable Quadratic Lyapunov Functions for Convex Design of Distributed Controllers.
24. Block Factor-Width-Two Matrices in Semidefinite Programming.
25. Mitigating Biological Signalling Cross-talk with Feedback Control.
26. Chordal Decomposition in Rank Minimized Semidefinite Programs with Applications to Subspace Clustering.
27. Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets.
28. Scalable analysis of linear networked systems via chordal decomposition.
29. Decomposition and Completion of Sum-of-Squares Matrices.
30. Bayesian Nonparametrics and Feedback-Linearisation of Discretised Control-Affine Systems.
31. Secure and Efficient RNS Software Implementation for Elliptic Curve Cryptography.
32. Fast ADMM for semidefinite programs with chordal sparsity.
33. Challenges at the interface of control engineering and synthetic biology.
34. The autorepressor: A case study of the importance of model selection.
35. Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations.
36. Frequency domain analysis of small non-coding RNAs shows summing junction-like behaviour.
37. Block-diagonal solutions to Lyapunov inequalities and generalisations of diagonal dominance.
38. Template attacks using classification algorithms.
39. Online policy iterations for optimal control of input-saturated systems.
40. A new approach for estimating the robustness of parameter estimates to measurement noise.
41. Residue Number System as a side channel and fault injection attack countermeasure in elliptic curve cryptography.
42. Multi-scale design in layered synthetic biological systems.
43. Dismantling Real-World ECC with Horizontal and Vertical Template Attacks.
44. A chordal decomposition approach to scalable design of structured feedback gains over directed graphs.
45. Controller synthesis for stochastic systems with persistent noise via semi-definite programming.
46. An optimization-based method for bounding state functionals of nonlinear stochastic systems.
47. Visualization of Temporal Logic Specifications.
48. Barrier functionals for output functional estimation of PDEs.
49. Piecewise polynomial policy iterations for synthesis of optimal control laws in input-saturated systems.
50. Augmenting the navigation of complex data sets using sonification: a case study with BrainX3.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.