CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
SAT; Logic Programming; CUDA; Parallelism
Search spaces
Sub-structures
Constraint Logic Programming; Multi agent Systems
Constraint Logic Programming; Prolog
Domain knowledge
Logic Programming; Constraint Programming; Bioinformatics
MP systems; Modeling; Non photochemical quenching; NPQ; Pipeline; Data analysis; Stepwise regression; Neural networks; Optimization; Variable selection; Mitotic cycle; Log-gain; Model validation
Prolog programs
Protein Domains; SCOP Classification; BLOSUM Spectrum; Domain Family Characterization
«
»
Cite
×