Mad in America

Social Workers Warn Current Systems Entrench Poverty and Trauma for People With Psychosis

An new article published in Social Work in Mental Health outlines the persistent systemic and structural social injustices ...
GitHub

Notes on Mathematical Logic

Notes for MATH700132 (Mathematical Logic) taught by David Evans at Imperial in Spring 2025. They are a work in progress. These notes are primarily based on the content covered in lectures, with some ...
IEEE

A Logic Circuit-Based Intrusion Detection System Using a Dendritic Neural Model Ensemble

Abstract: An intrusion detection system (IDS) plays a crucial role in network security by distinguishing hostile activities from network traffic. Conventional hardware-based IDS architectures have ...
GitHub

Enhance the logic for automatic worker IP address selection

docker run -d --name gpustack-worker-ascend \ --restart=unless-stopped \ --privileged \ --net=host \ -e ASCEND_VISIBLE_DEVICES=0 \ -v /var/run/docker.sock:/var/run ...
IEEE

Robust-Locomotion-By-Logic: Perturbation-Resilient Bipedal Locomotion via Signal Temporal Logic Guided Model Predictive Control

Abstract: This study introduces a robust planning framework that utilizes a model predictive control (MPC) approach, enhanced by incorporating signal temporal logic (STL) specifications. This marks ...