CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Medical student scheduling Local search Simulated annealing
Network discovery; Network mapping; Network security; Vulnerability assessment
Ackermann codes; continued fractions; hereditarily finite sets; set-approximations
Additional Key Words and PhrasesGraph compression; Burrows-Wheeler Transform; FM-index; FPT; Myhill-Nerode Theorem; powerset construction; Wheeler graphs
AllDifferent; Constraint Propagation; GPU computing; Parallelism
anomaly detection; Autoencoder; continuous learning; Cybersecurity; intrusion detection systems; NSL-KDD; SF-SOINN
Answer Set Planning; Answer Set Programming; Hierarchical Planning; Multi-Agent Epistemic Planning
Answer Set Programming; Clifford+T Synthesis; CNOT Minimization; Quantum Circuit Synthesis
Answer Set Programming; Clifford+T Synthesis; CNOT Minimization; Quantum Circuit Synthesis; Topological Constraint
Answer Set Programming; Data-to-text; Explainable AI
«
»
Cite
×