BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
biology
Google biology

Tag #biology

171 papers:

ICMLICML-2019-DereliOG #algorithm #analysis #kernel #learning #multi
A Multitask Multiple Kernel Learning Algorithm for Survival Analysis with Application to Cancer Biology (OD, CO, MG), pp. 1576–1585.
KDDKDD-2019-YangSLPB
Estimating Cellular Goals from High-Dimensional Biological Data (LY, MAS, JCL, BOP, JB), pp. 2202–2211.
ICMLICML-2018-AmodioK #named
MAGAN: Aligning Biological Manifolds (MA, SK), pp. 215–223.
KDDKDD-2018-WongPKFJ #community #named #network #performance
SDREGION: Fast Spotting of Changing Communities in Biological Networks (SWHW, CP, MK, CF, IJ), pp. 867–875.
CGOCGO-2018-Dunn
Biological computation (keynote) (SJD), p. 1.
FDGFDG-2017-LoparevSVWDFBS #collaboration #education #game studies #named #video
BacToMars: a collaborative educational video game for teaching biological engineering (AL, AS, CV, LW, JD, MF, MUB, OS), p. 3.
CoGVS-Games-2017-PanzoliCPDOBLBG #game studies #learning
Learning the cell cycle with a game: Virtual experiments in cell biology (DP, SCB, JP, JD, MO, LB, VL, EB, FG, CPL, BD, YD), pp. 47–54.
CIKMCIKM-2017-BouadjenekVZ #learning #sequence #using
Learning Biological Sequence Types Using the Literature (MRB, KV, JZ), pp. 1991–1994.
PPDPPPDP-2017-AngelopoulosW #prolog
Accessing biological data as Prolog facts (NA, JW), pp. 29–38.
DiGRADiGRA-FDG-2016-GerberKR #design #game studies #interactive #matter
Interactive Biotechnology: Design Rules for Integrating Biological Matter into Digital Games (LCG, HK, IHRK).
CHICHI-2015-HossainJBCKSTCO #case study #education #interactive #online
Interactive Cloud Experimentation for Biology: An Online Education Case Study (ZH, XJ, EWB, AMC, SK, JDS, CYT, SC, NDO, PB, IHRK), pp. 3681–3690.
CHICHI-2015-KuznetsovDWMHP #hybrid #open source #platform #tool support
DIYbio Things: Open Source Biology Tools as Platforms for Hybrid Knowledge Production and Scientific Participation (SK, CD, NW, SM, SEH, EP), pp. 4065–4068.
KDDKDD-2015-ZhangLZSKYJ #analysis #image #learning #modelling #multi
Deep Model Based Transfer and Multi-Task Learning for Biological Image Analysis (WZ, RL, TZ, QS, SK, JY, SJ), pp. 1475–1484.
CASECASE-2015-GallertLRJT #2d #3d #industrial #scalability #throughput
Biological high throughput screening of 2D and 3D cell cultures for future industrial up-scaling (CG, RL, TR, SJ, KT), pp. 1527–1532.
CASECASE-2015-StopforthB #evaluation #named
MechaBird: A biological inspired mechatronics bird for the evaluation of flight characteristics (RS, GB), pp. 335–341.
DATEDATE-2015-MajumderPK #architecture #manycore
On-chip network-enabled many-core architectures for computational biology applications (TM, PPP, AK), pp. 259–264.
PDPPDP-2015-PedersenREB #data analysis #data-driven #framework
Integrating Data-Intensive Computing Systems with Biological Data Analysis Frameworks (EP, IAR, ME, LAB), pp. 733–740.
ICLPICLP-2015-AngelopoulosG #approach #database #logic
A Logical Approach to Working with Biological Databases (NA, GG), pp. 235–246.
SANERCSMR-WCRE-2014-Grosjean #maintenance #question #using
Using biology and ecology as inspiration for software maintenance? (PG), p. 1.
CoGCIG-2014-GaudlB #behaviour #low cost #modelling #realtime
Extended ramp goal module: Low-cost behaviour arbitration for real-time controllers based on biological models of dopamine cells (SEG, JJB), pp. 1–8.
ICPRICPR-2014-LovatoMCGB #2d #classification #named #sequence
S-BLOSUM: Classification of 2D Shapes with Biological Sequence Alignment (PL, AM, CC, AG, MB), pp. 2335–2340.
QAPLQAPL-2014-TschaikowskiT #algebra #difference #performance #process
Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
CAVCAV-2014-CookFHIJP #modelling
Finding Instability in Biological Models (BC, JF, BAH, SI, GJ, NP), pp. 358–372.
LICSLICS-CSL-2014-Fisher #comprehension #logic
Understanding biology through logic (JF), p. 1.
SFMSFM-2013-BrimCS #model checking
Model Checking of Biological Systems (LB, MC, DS), pp. 63–112.
SFMSFM-2013-GratieIP #analysis
ODE Analysis of Biological Systems (DEG, BI, IP), pp. 29–62.
CHICHI-2013-TaylorPIFCCBB #interface
At the interface of biology and computation (AST, NP, SI, JF, BC, CC, SB, DB), pp. 493–502.
HCIDHM-SET-2013-Fass #design #human-computer #modelling
Putting in Perspective Human-Machine System Theory and Modeling: From Theoretical Biology to Artifacts Integrative Design and Organization — “Artem Augmented Human Project” (DF), pp. 316–325.
HCIHCI-AS-2013-CharoenpitO #using
A New E-learning System Focusing on Emotional Aspect Using Biological Signals (SC, MO), pp. 343–350.
HCIHCI-AS-2013-TakahashiISUSHO #eye tracking #using
Proposal for Driver Distraction Indexes Using Biological Signals Including Eye Tracking (NT, SI, HS, SU, YS, KH, MO), pp. 647–653.
HCIHCI-III-2013-ItoON #interactive
A Method for Promoting Interaction Awareness by Biological Rhythm in Elementary School Children (KI, KO, SN), pp. 421–430.
HCIHIMI-D-2013-MorodomeSAK #metric #using
Non-contact Measurement of Biological Signals Using Microwave Radar (HM, SS, TA, KK), pp. 117–125.
POPLPOPL-2013-KoksalPSBFP #modelling #synthesis
Synthesis of biological models from mutation experiments (ASK, YP, SS, RB, JF, NP), pp. 469–482.
SACSAC-2013-TripletB #benchmark #framework #metric #named
BenchDW: a generic framework for biological data warehouse benchmarking (TT, GB), pp. 1328–1334.
GPCEGPCE-2013-Bodik #modelling #programming language
Modeling biology with solver-aided programming languages (RB), pp. 1–2.
HPCAHPCA-2013-NereHLT #behaviour #semantic gap
Bridging the semantic gap: Emulating biological neuronal behaviors with simple digital neurons (AN, AH, MHL, GT), pp. 472–483.
PDPPDP-2013-AldinucciDTCT #evolution #parallel #probability
Parallel Stochastic Simulators in System Biology: The Evolution of the Species (MA, MD, FT, MC, MT), pp. 410–419.
PDPPDP-2013-MoscaMMCD #implementation #modelling #parallel #probability
A Parallel Implementation of the Stau-DPP Stochastic Simulator for the Modelling of Biological Systems (EM, IM, LM, AC, DD), pp. 427–431.
ICFPICFP-2012-DanielsGR #case study #experience #haskell
Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.
CHICHI-2012-TabardHB
The eLabBench in the wild: supporting exploration in a molecular biology lab (AT, JDHR, JB), pp. 3051–3060.
ICPRICPR-2012-AliGBPNP #classification #using
Classification of biological cells using bio-inspired descriptors (WBHA, DG, MB, PP, RN, TP), pp. 3353–3357.
ICPRICPR-2012-BicegoL #2d #recognition #sequence #tool support #using
2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
SACSAC-2012-ChhelLGS #multi #using
Minimum multiple characterization of biological data using partially defined boolean formulas (FC, FL, AG, FS), pp. 1399–1405.
SACSAC-2012-DayehH #network #using
Analyzing incomplete biological pathways using network motifs (MED, MH), pp. 1355–1360.
SACSAC-2012-PriamiQZ #graph #imperative #self
An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.
SACSAC-2012-VirgilioR #approximate #graph #rdf
Approximate matching over biological RDF graphs (RDV, SER), pp. 1413–1414.
CASECASE-2012-ChowdhuryTWSLG #automation #using
Automated indirect transport of biological cells with optical tweezers using planar gripper formations (SC, AT, CW, PS, WL, SKG), pp. 267–272.
DACDAC-2012-MeirR #analysis #named #network #performance #using
BLAST: efficient computation of nonlinear delay sensitivities in electronic and biological networks using barycentric Lagrange enabled transient adjoint analysis (AM, JSR), pp. 301–310.
DATEDATE-2012-Hassoun #automation #design #search-based
Genetic/bio design automation for (re-)engineering biological systems (SH), pp. 242–247.
DATEDATE-2012-YordanovAGGCBHBD #verification
Experimentally driven verification of synthetic biological circuits (BY, EA, RG, EAG, SBC, SB, TH, CB, DD), pp. 236–241.
CAVCAV-2012-BenqueBCCFIPTV #modelling #named #network #visual notation
Bma: Visual Tool for Modeling and Analyzing Biological Networks (DB, SB, CC, BC, JF, SI, NP, AST, MYV), pp. 686–692.
CAVCAV-2012-Dill #model checking
Model Checking Cell Biology (DLD), p. 2.
HCIDUXU-v2-2011-MatsumotoINI
An Air Conditioning Control Method Based on Biological Fluctuation (HM, YI, YN, HI), pp. 608–615.
HCIHCI-MIIE-2011-RattanyuM #recognition #using
Emotion Recognition Using Biological Signal in Intelligent Space (KR, MM), pp. 586–592.
HCIHIMI-v1-2011-LinBK #design #education #multi #simulation
Learner-Centered Methodology for Designing and Developing Multimedia Simulation for Biology Education (CCL, MB, KK), pp. 20–29.
KDDKDD-2011-IfrimW #bound #classification #coordination #predict #sequence
Bounded coordinate-descent for biological sequence classification in high dimensional predictor space (GI, CW), pp. 708–716.
MLDMMLDM-2011-AttigP #comparison #image #random #set
A Comparison between Haralick’s Texture Descriptor and the Texture Descriptor Based on Random Sets for Biological Images (AA, PP), pp. 524–538.
OnwardOnward-2011-Verna
Biological realms in computer science (DV), pp. 167–176.
SACSAC-2011-FiondaP #named #workflow
BioTRON: a biological workflow management system (VF, GP), pp. 77–82.
DACDAC-2011-DensmoreHKSAWV #design #synthesis
Joint DAC/IWBDA special session design and synthesis of biological circuits (DD, MH, SK, XS, AA, EW, CV), pp. 114–115.
PDPPDP-2011-AldinucciCDDTT #design #multi #on the
On Designing Multicore-Aware Simulators for Biological Systems (MA, MC, FD, MD, MT, AT), pp. 318–325.
CAVCAV-2011-KuglerPR
Synthesizing Biological Theories (HK, CP, AR), pp. 579–584.
LICSLICS-2011-Tiwari #logic
Logic in Software, Dynamical and Biological Systems (AT), pp. 9–10.
VMCAIVMCAI-2011-CookFKP #proving
Proving Stabilization of Biological Systems (BC, JF, EK, NP), pp. 134–149.
VLDBVLDB-2010-Matsudaira #3d #dataset #scalability
High-End Biological Imaging Generates Very Large 3D+ and Dynamic Datasets (PM), p. 3.
ITiCSEITiCSE-2010-DoddsLB #collaboration
When CS 1 is biology 1: crossdisciplinary collaboration as CS context (ZD, RLH, EB), pp. 219–223.
CIKMCIKM-2010-BaralisF
Summarizing biological literature with BioSumm (EB, AF), pp. 1961–1962.
ICPRICPR-2010-HanL #classification #multi
A Hierarchical GIST Model Embedding Multiple Biological Feasibilities for Scene Classification (YH, GL), pp. 3109–3112.
KDDKDD-2010-SundaravaradanHSSVHR #modelling
Extracting temporal signatures for comprehending systems biology models (NS, KSMTH, VS, DJS, JPCV, LSH, NR), pp. 453–462.
KRKR-2010-GebserGISSTV #consistency #network #nondeterminism #predict #programming #scalability #set
Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).
FSEFSE-2010-Sanbonmatsu #comprehension #towards
Supercomputing in biology: towards understanding living systems in atomic detail (KYS), pp. 1–2.
CASECASE-2010-HuSF #analysis #using
Dynamics analysis and closed-loop control of biological cells in transportation using robotic manipulation system with optical tweezers (SH, DS, GF), pp. 240–245.
DACDAC-2010-RiedelHWSAM
Joint DAC/IWBDA special session engineering biology: fundamentals and applications (MR, SH, RW, PS, JCA, RMM), pp. 220–221.
HPDCHPDC-2010-HoblitzellMYFXB #mining
Text mining for bone biology (AH, SM, QY, SF, YX, JB), pp. 522–530.
PDPPDP-2010-PinhoRS #algorithm #optimisation #parallel #process
Pluggable Parallelization of Evolutionary Algorithms Applied to the Optimization of Biological Processes (JHMdP, MFdAPdR, JLFS), pp. 395–402.
ICLPICLP-2010-Fages10 #logic #paradigm
A Logical Paradigm for Systems Biology (FF), pp. 2–3.
FMFM-2009-BonzanniFFK #formal method #question #what
What Can Formal Methods Bring to Systems Biology? (NB, KAF, WF, EK), pp. 16–22.
HCIHCI-AUII-2009-AraseHN #profiling #web
User Profiling for Web Search Based on Biological Fluctuation (YA, TH, SN), pp. 239–247.
KDDKDD-2009-AhmedXCM #mining #modelling #topic
Structured correspondence topic models for mining captioned figures in biological literature (AA, EPX, WWC, RFM), pp. 39–48.
KDDKDD-2009-YouHC #learning #network
Learning patterns in the dynamics of biological networks (CHY, LBH, DJC), pp. 977–986.
KDIRKDIR-2009-VillalbaC #case study #classification #generative #reduction
Artificial Data Generation for One-class Classification — A Case Study of Dimensionality Reduction for Text and Biological Data (SDV, PC), pp. 202–210.
SACSAC-2009-PesquitaFC #database
Measuring coherence between electronic and manual annotations in biological databases (CP, DF, FMC), pp. 806–807.
SACSAC-2009-ShangLL #functional #mining #network
Mining functional associated patterns from biological network data (XS, ZL, WL), pp. 1488–1489.
ICLPICLP-2009-BottalicoB #constraints
Constraint Based Languages for Biological Reactions (MB, SB), pp. 561–562.
ICLPICLP-2009-Have #analysis #constraints #modelling #sequence #statistics
Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.
SFMSFM-2008-BortolussiP #hybrid
Hybrid Systems and Biology (LB, AP), pp. 424–448.
SFMSFM-2008-CiocchettaH #algebra #process
Process Algebras in Systems Biology (FC, JH), pp. 265–312.
SFMSFM-2008-FagesS
Formal Cell Biology in Biocham (FF, SS), pp. 54–80.
SFMSFM-2008-Gillespie #simulation
Simulation Methods in Systems Biology (DTG), pp. 125–167.
SFMSFM-2008-HeinerGD #petri net
Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.
SFMSFM-2008-MausJRU #modelling
Hierarchical Modeling for Computational Biology (CM, MJ, MR, AMU), pp. 81–124.
CIKMCIKM-2008-ZhouYM
A system for finding biological entities that satisfy certain conditions from texts (WZ, CTY, WM), pp. 1281–1290.
ICPRICPR-2008-CloppetB #image #segmentation
Segmentation of overlapping/aggregating nuclei cells in biological images (FC, AB), pp. 1–4.
SIGIRSIGIR-2008-NobataCORSTTA #information retrieval #named
Kleio: a knowledge-enriched information retrieval system for biology (CN, PC, NO, BR, YS, YT, JT, SA), pp. 787–788.
POPLPOPL-2008-Fontana #concurrent #modelling
Systems biology, models, and concurrency (WF), pp. 1–2.
SACSAC-2008-AntonyBHP #approach #interactive #mining #using #validation
Computational approach to biological validation of protein-protein interactions discovered using literature mining (AA, SB, SH, MJP), pp. 1302–1306.
SACSAC-2008-KasamsettyWC #database #towards
Towards an integrative human pathway database for systems biology applications (HNK, XW, JYC), pp. 1297–1301.
CASECASE-2008-SunEHMMMBLM #analysis #automation #integration #multi #user interface
Integration of user interface, device control, data acquisition and analysis for automated multi-spectral imaging of single biological cells (CSS, JRE, MH, TWM, SKM, SM, LWB, MEL, DRM), pp. 1013–1018.
ICLPICLP-2008-GebserSTUV #consistency #detection #network #nondeterminism #programming #scalability #set
Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.
ICLPICLP-2008-PiazzaP #logic #modelling
Systems Biology: Models and Logics (CP, AP), p. 14.
VLDBVLDB-2007-TataLP #database #interactive #named #sequence
Periscope/SQ: Interactive Exploration of Biological Sequence Databases (ST, WL, JMP), pp. 1406–1409.
LATALATA-2007-PoudretCGAM #geometry #modelling #process
Topology-based Geometric Modelling for Biological Cellular Processes (MP, JPC, PLG, AA, PM), pp. 497–508.
DiGRADiGRA-2007-Park #correlation
Gambling is in My Genes: Correlations between Personality Traits with Biological Basis and Digital Entertainment Choice (BP).
AGTIVEAGTIVE-2007-KniemeyerBHK #approach #architecture #graph transformation #parallel #relational
Relational Growth Grammars — A Parallel Graph Transformation Approach with Applications in Biology and Architecture (OK, GB, RH, WK), pp. 152–167.
HCIDHM-2007-DionysiouSM #image #multi #simulation
Simulating Cancer Radiotherapy on a Multi-level Basis: Biology, Oncology and Image Processing (DDD, GSS, KM), pp. 569–575.
SACSAC-2007-NaiduPH #database #integration #modelling #on the fly
On-the-fly data integration models for biological databases (PGN, MJP, SH), pp. 118–122.
CASECASE-2007-KimLSSZ #approach #metric #performance #using
Iterative Control Approach to High-Speed Force-Distance Curve Measurement Using AFM for Biological Applications (KSK, ZL, PS, SS, QZ), pp. 219–224.
CASECASE-2007-KimLSSZ07a #approach #metric #performance #using
Iterative Control Approach to High-Speed Force-Distance Curve Measurement Using AFM for Biological Applications (KSK, ZL, PS, SS, QZ), p. 91–?.
CASECASE-2007-VanijjirattikhanKCS #modelling #petri net #process #simulation
Timed Petri Net Modeling and Simulation of a High-Throughput Biological Screening Process (RV, DK, MYC, NS), pp. 442–447.
DACDAC-2007-Weiss
Synthetic biology: from bacteria to stem cells (RW), pp. 634–635.
CHICHI-2006-YehLKGLKSP #mobile #named #research
ButterflyNet: a mobile capture and access system for field biology research (RBY, CL, SRK, FG, BL, BK, JAS, AP), pp. 571–580.
CIKMCIKM-2006-CoutoSC #database #validation
Validating associations in biological databases (FMC, MJS, PC), pp. 142–151.
ICPRICPR-v3-2006-GanLY06a #array #constraints #framework #set
Microarray Missing Data Imputation based on a Set Theoretic Framework and Biological Constraints (XG, AWCL, HY), pp. 842–845.
QAPLQAPL-2006-DeganoPPQ
Beta-binders for Biological Quantitative Experiments (PD, DP, CP, PQ), pp. 101–117.
RERE-2006-JiangTBM #analysis #case study #data transformation #database #design
Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management (LJ, TT, AB, JM), pp. 196–204.
SACSAC-2006-FassettiGT #performance
Efficient discovery of loosely structured motifs in biological data (FF, GG, GT), pp. 151–155.
SACSAC-2006-SousaM #adaptation #comparison #grid #multi #named #sequence
PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison (MSS, ACMAdM), pp. 156–160.
HPCAHPCA-2006-Shaw #architecture
New architectures for a new biology (DES), p. 4.
ICLPICLP-2006-GrellSS #modelling #network #programming #set
Modelling Biological Networks by Action Languages Via Answer Set Programming (SG, TS, JS), pp. 285–299.
ICDARICDAR-2005-EglinBRE #categorisation #tool support
Biological inspired Tools for Patrimonial Handwriting Denoising and Categorization (VE, SB, CR, HE), pp. 59–63.
JCDLJCDL-2005-MarshallQSEC #visualisation
Visualizing aggregated biological pathway relations (BM, KDQ, HS, SE, HC), pp. 67–68.
VLDBVLDB-2005-MarkowitzKPSIK #case study #data transformation
The Integrated Microbial Genomes (IMG) System: A Case Study in Biological Data Management (VMM, FK, KP, ES, NI, NK), pp. 1067–1078.
CAiSECAiSE-2005-Ram #data flow #semantics #towards
Toward Semantic Interoperability of Heterogeneous Biological Data Sources (SR), p. 32.
SACSAC-2005-ChenCG #database #query
A complex biological database querying method (JYC, JVC, NG), pp. 110–114.
SACSAC-2005-RahalRPNPRV #incremental #interactive #mining
Incremental interactive mining of constrained association rules from biological annotation data with nominal features (IR, DR, AP, HN, WP, RR, WVG), pp. 123–127.
CAVCAV-2005-PiazzaAMPWM #algebra #algorithm #challenge #model checking
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology (CP, MA, VM, AP, FW, BM), pp. 5–19.
LICSLICS-2005-Fontana #logic
Logic and Systems Biology (WF), p. 344.
SIGMODSIGMOD-2004-LernerSWZZ #algorithm #music #performance #physics
Fast Algorithms for Time Series with applications to Finance, Physics, Music, Biology, and other Suspects (AL, DS, ZW, XZ, YZ), pp. 965–968.
VLDBVLDB-2004-TopaloglouDJMST #data transformation #research
Biological Data Management: Research, Practice and Opportunities (TT, SBD, HVJ, VMM, EWS, MT), pp. 1233–1236.
CSCWCSCW-2004-ChinL
Capturing and supporting contexts for scientific data sharing via the biological sciences collaboratory (GCJ, CL), pp. 409–418.
CIKMCIKM-2004-WangXY #mining #scalability #sequence
Scalable sequential pattern mining for biological sequences (KW, YX, JXY), pp. 178–187.
ICPRICPR-v2-2004-PlotzF #analysis #feature model #sequence
Feature Extraction for Improved Profile HMM based Biological Sequence Analysis (TP, GAF), pp. 315–318.
ICPRICPR-v3-2004-Meas-YedidGMPSO #automation #image #segmentation
Automatic Color Space Selection for Biological Image Segmentation (VMY, EG, EM, CP, GS, JCOM), pp. 514–517.
SACSAC-2004-CoutoMS #using #web
Classifying biological articles using web resources (FMC, BM, MJS), pp. 111–115.
SACSAC-2004-VailayaBKKCA #architecture #information management #representation
An architecture for biological information extraction and representation (AV, PB, RK, AK, MLC, AA), pp. 103–110.
SACSAC-2004-WebbW #analysis #synthesis
Combining analysis and synthesis in a model of a biological cell (KW, TW), pp. 185–190.
VLDBVLDB-2003-MeekPK #named #online #sequence
OASIS: An Online and Accurate Technique for Local-alignment Searches on Biological Sequences (CM, JMP, SK), pp. 910–921.
RTARTA-2003-Lincoln
Invited Talk: Symbolic Systems Biology (PL), p. 1.
KDDKDD-2003-PanCTYZ #dataset #named
Carpenter: finding closed patterns in long biological datasets (FP, GC, AKHT, JY, MJZ), pp. 637–642.
PADLPADL-2003-Page #database #declarative #mining
The Role of Declarative Languages in Mining Biological Databases (CDPJ), p. 1.
SACSAC-2003-XuKTONOS #database #set #tool support
Pathways Database System: An Integrated Set of Tools for Biological Pathways (WX, LK, MT, , JHN, ZMÖ, GS), pp. 96–102.
ESOPESOP-2003-DanosL
Core Formal Molecular Biology (VD, CL), pp. 302–318.
CIKMCIKM-2002-ChenCA #database #evaluation #on the #performance #query
On the efficient evaluation of relaxed queries in biological databases (YC, DC, KA), pp. 227–236.
ICPRICPR-v1-2002-AlarconPGC #3d #image #modelling
Modeling Shape and Topology of 3D Images of Biological Specimens (PAdA, ADPM, AG, JMC), pp. 79–82.
SACSAC-2002-PalakalMM #information management
An intelligent biological information management system (MJP, SM, JM), pp. 159–163.
HPDCHPDC-2002-BalaPNAGEMMBM #grid #named
BioGRID — An European Grid for Molecular Biology (PB, JP, MN, VA, DG, DWE, DM, JM, JB, JFM), p. 412.
WRLAWRLA-2002-EkerKLLT #execution #logic #modelling #network
Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
ICLPICLP-2002-BockmayrC #concurrent #constraints #hybrid #programming #using
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.
VLDBVLDB-2001-HuntAI #database #scalability #sequence
A Database Index to Large Biological Sequences (EH, MPA, RWI), pp. 139–148.
KDDKDD-2001-Altman #challenge #information management
Challenges for knowledge discovery in biology (RBA), p. 2.
ICMLICML-2000-MuggletonBS #learning #product line #sequence
Learning Chomsky-like Grammars for Biological Sequence Families (SM, CHB, AS), pp. 631–638.
ICPRICPR-v3-2000-NelsonLCC #estimation
Time-Frequency Methods for Biological Signal Estimation (DN, PJL, GC, LC), pp. 3114–3118.
ICPRICPR-v4-2000-ShottonRGT #recognition
Object Tracking and Event Recognition in Biological Microscopy Videos (DMS, ARM, NG, OT), pp. 4226–4229.
KDDKDD-2000-WangMSW #case study #classification #data mining #mining #network #sequence
Application of neural networks to biological data mining: a case study in protein sequence classification (JTLW, QM, DS, CHW), pp. 305–309.
HPDCHPDC-2000-NolteH #case study #distributed #parallel #research #sorting
Parallel Matching and Sorting with TACO’s Distributed Collections — A Case Study from Molecular Biology Research (JN, PH), pp. 247–252.
HCIHCI-EI-1999-Sokolov #education #feedback
Computer Assisted Education with Cognitive and Biological Feedback Loops (ES), pp. 834–837.
ICALPICALP-1998-AkutsuY #complexity #on the #problem
On the Complexity of Deriving Score Functions from Examples for Problems in Molecular Biology (TA, MY), pp. 832–843.
CIKMCIKM-1998-XuG #database #distributed #information retrieval
Associated Biological Information Retrieval from Distributed Databases (MX, SG), pp. 193–200.
ICPRICPR-1998-CinqueRLNG #3d #image #self
Self-organizing map for segmenting 3D biological images (LC, RR, SL, PTAN, LG), pp. 471–473.
PDPPDP-1998-MorenoFZCT #analysis #memory management #multi #sequence
Biological sequence analysis on distributed-shared memory multiprocessors (ARM, LGdlF, ELZ, JMC, OT), pp. 20–26.
OOPSLAOOPSLA-1997-OlerLC #experience #lessons learnt #migration #relational
Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience (JRO, GL, TC), pp. 243–252.
VLDBVLDB-1995-BunemanDHOW #data flow #data transformation
A Data Transformation System for Biological Data Sources (PB, SBD, KH, GCO, LW), pp. 158–169.
CIKMCIKM-1993-HaasAO #database #information management #reasoning
Analogical Reasoning for Knowledge Discovery in a Molecular Biology Database (JH, JSA, GCO), pp. 554–564.
SACSAC-1993-ChenD
Distributing Molecular Biology Information: Gopher, WAIS and the University of Houston Gene-Server (ESC, DBD), pp. 634–640.
STOCSTOC-1993-Karp #combinator #problem
Mapping the genome: some combinatorial problems arising in molecular biology (RMK), pp. 278–285.
ICLPILPS-1993-LuskMOS #parallel #prolog
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology (ELL, SM, RAO, PS), pp. 353–369.
HPDCHPDC-1992-GrimshawWP #case study #experience
No Pain and Gain — Experiences with Mentat on a Biological Application (ASG, EAW, WRP), pp. 57–66.
OOPSLAOOPSLA-1991-BensonZ #database
Symbolic and Spatial Database for Structural Biology (DB, GZ), pp. 329–339.
ICGTGG-1990-Boer #graph grammar #modelling
Graph Grammars as a Modelling Tool in Developmental Biology (MJMdB), pp. 41–43.
ICGTGG-1990-Fracchia #modelling
Modelling of Biological Structures (FDF), pp. 47–48.
HTHT-1989-SchnaseL #hypermedia #modelling
Computational Hypertext in Biological Modelling (JLS, JJL), pp. 181–197.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.