CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Adhesive categories; Algebraic rewriting; Graph rewriting; Hypergraphs; Rewriting systems; Term graphs
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
anomaly detection; Autoencoder; continuous learning; Cybersecurity; intrusion detection systems; NSL-KDD; SF-SOINN
Answer Set Programming; Clifford+T Synthesis; CNOT Minimization; Quantum Circuit Synthesis
Answer Set Programming; Data-to-text; Explainable AI
Attribute-based communication; Distributed systems; ECA rules; Edge computing; Formal methods; IoT programming
Automatic Smart Contract Generation; Blockchain; Carne PRI; Distributed Ledger Technology; Domain Specific Graphical Language; Smart Contracts; Supply Chain
Bigraphs; Containers; Contract-based design; Formal methods; System Security; Verification
breast cancer; gain-of-function; lncRNAs; mutant p53
»
Cite
×