SoftMining
Load an audio file and extract the text to be further analyzed with a LLM
PCA and DBSCAN for MD trajectory analysis (feat. Roberto)
membrane_coefficients
membrane_curvature_4
Copilot to generate the best input file for ORCA and IBOView calculations.needs to be further extended. it uses a decision tree
Taking a csv, calculating the similarity, making a graph
Graph of the lab activities
Ising model to treat genes interactions
The kSAT problem is a decision problem in logic and computer science. The goal is to determine if there exists an assignment of variables that satisfies a Boolean formula composed of clauses, each containing exactly kkk literals connected by OR operators.