BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (34)
model (29)
data (20)
use (17)
databas (15)

Stem biolog$ (all stems)

164 papers:

CASECASE-2015-GallertLRJT #2d #3d #biology #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 #biology #evaluation #named
MechaBird: A biological inspired mechatronics bird for the evaluation of flight characteristics (RS, GB), pp. 335–341.
DATEDATE-2015-MajumderPK #architecture #biology #manycore
On-chip network-enabled many-core architectures for computational biology applications (TM, PPP, AK), pp. 259–264.
CHICHI-2015-HossainJBCKSTCO #biology #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 #biology #hybrid #open source #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.
CHICHI-2015-LeeBCCWPSBR #exclamation #interactive
Trap it!: A Playful Human-Biology Interaction for a Museum Installation (SAL, EB, AMC, NC, BW, JYP, BS, PB, IHRK), pp. 2593–2602.
CHICHI-2015-YaoOCSWWI #interface #named
bioLogic: Natto Cells as Nanoactuators for Shape Changing Interfaces (LY, JO, CYC, HS, WW, GW, HI), pp. 1–10.
HCIHCI-DE-2015-SamaniSJ #interactive
Biologically Inspired Artificial Endocrine System for Human Computer Interaction (HAS, ES, B(J), pp. 71–81.
KDDKDD-2015-ZhangLZSKYJ #analysis #biology #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.
ICLPICLP-2015-AngelopoulosG #approach #biology #database #logic
A Logical Approach to Working with Biological Databases (NA, GG).
SANERCSMR-WCRE-2014-Grosjean #biology #maintenance #using
Using biology and ecology as inspiration for software maintenance? (Keynote abstract) (PG), p. 1.
ICPRICPR-2014-LovatoMCGB #2d #biology #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 #biology #difference #performance #process
Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
CAVCAV-2014-CookFHIJP #biology #modelling
Finding Instability in Biological Models (BC, JF, BAH, SI, GJ, NP), pp. 358–372.
LICSLICS-CSL-2014-Fisher #biology #comprehension #logic
Understanding biology through logic (JF), p. 1.
DACDAC-2013-ParkZDK #recognition
Accelerators for biologically-inspired attention and recognition (MSP, CZ, MD, SK), p. 6.
SFMSFM-2013-BrimCS #biology #model checking
Model Checking of Biological Systems (LB, MC, DS), pp. 63–112.
SFMSFM-2013-GratieIP #analysis #biology
ODE Analysis of Biological Systems (DEG, BI, IP), pp. 29–62.
CHICHI-2013-TaylorPIFCCBB #biology #interface
At the interface of biology and computation (AST, NP, SI, JF, BC, CC, SB, DB), pp. 493–502.
HCIDHM-SET-2013-Fass #biology #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 #biology #using
A New E-learning System Focusing on Emotional Aspect Using Biological Signals (SC, MO), pp. 343–350.
HCIHCI-AS-2013-TakahashiISUSHO #biology #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 #biology #interactive
A Method for Promoting Interaction Awareness by Biological Rhythm in Elementary School Children (KI, KO, SN), pp. 421–430.
HCIHIMI-D-2013-MorodomeSAK #biology #metric #using
Non-contact Measurement of Biological Signals Using Microwave Radar (HM, SS, TA, KK), pp. 117–125.
GPCEGPCE-2013-Bodik #biology #modelling #programming language
Modeling biology with solver-aided programming languages (RB), pp. 1–2.
POPLPOPL-2013-KoksalPSBFP #biology #modelling #synthesis
Synthesis of biological models from mutation experiments (ASK, YP, SS, RB, JF, NP), pp. 469–482.
SACSAC-2013-TripletB #benchmark #biology #framework #metric #named
BenchDW: a generic framework for biological data warehouse benchmarking (TT, GB), pp. 1328–1334.
HPCAHPCA-2013-NereHLT #behaviour #biology #semantic gap
Bridging the semantic gap: Emulating biological neuronal behaviors with simple digital neurons (AN, AH, MHL, GT), pp. 472–483.
CASECASE-2012-ChowdhuryTWSLG #automation #biology #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 #biology #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 #biology #design #search-based
Genetic/bio design automation for (re-)engineering biological systems (SH), pp. 242–247.
DATEDATE-2012-YordanovAGGCBHBD #biology #verification
Experimentally driven verification of synthetic biological circuits (BY, EA, RG, EAG, SBC, SB, TH, CB, DD), pp. 236–241.
ICFPICFP-2012-DanielsGR #biology #case study #experience #haskell
Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.
CHICHI-2012-TabardHB #biology
The eLabBench in the wild: supporting exploration in a molecular biology lab (AT, JDHR, JB), pp. 3051–3060.
ICPRICPR-2012-AliGBPNP #biology #classification #using
Classification of biological cells using bio-inspired descriptors (WBHA, DG, MB, PP, RN, TP), pp. 3353–3357.
ICPRICPR-2012-BicegoL #2d #biology #recognition #sequence #tool support #using
2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
ICPRICPR-2012-ChengLWTCBWS #detection
Peripapillary atrophy detection by biologically inspired feature (JC, JL, DWKW, NMT, CYlC, MB, TYW, SMS), pp. 53–56.
SACSAC-2012-ChhelLGS #biology #multi #using
Minimum multiple characterization of biological data using partially defined boolean formulas (FC, FL, AG, FS), pp. 1399–1405.
SACSAC-2012-DayehH #biology #network #using
Analyzing incomplete biological pathways using network motifs (MED, MH), pp. 1355–1360.
SACSAC-2012-PriamiQZ #biology #graph #imperative #self
An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.
SACSAC-2012-VirgilioR #approximate #biology #graph #rdf
Approximate matching over biological RDF graphs (RDV, SER), pp. 1413–1414.
CAVCAV-2012-BenqueBCCFIPTV #biology #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 #biology #model checking
Model Checking Cell Biology (DLD), p. 2.
DACDAC-2011-DensmoreHKSAWV #biology #design #synthesis
Joint DAC/IWBDA special session design and synthesis of biological circuits (DD, MH, SK, XS, AA, EW, CV), pp. 114–115.
DATEDATE-2011-Furber #architecture
Biologically-inspired massively-parallel architectures — Computing beyond a million processors (SBF), p. 1.
HCIDUXU-v2-2011-MatsumotoINI #biology
An Air Conditioning Control Method Based on Biological Fluctuation (HM, YI, YN, HI), pp. 608–615.
HCIHCI-MIIE-2011-RattanyuM #biology #recognition #using
Emotion Recognition Using Biological Signal in Intelligent Space (KR, MM), pp. 586–592.
HCIHIMI-v1-2011-LinBK #biology #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 #biology #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 #biology #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 #biology
Biological realms in computer science (DV), pp. 167–176.
SACSAC-2011-FiondaP #biology #named #workflow
BioTRON: a biological workflow management system (VF, GP), pp. 77–82.
CAVCAV-2011-KuglerPR #biology
Synthesizing Biological Theories (HK, CP, AR), pp. 579–584.
LICSLICS-2011-Tiwari #biology #logic
Logic in Software, Dynamical and Biological Systems (AT), pp. 9–10.
VMCAIVMCAI-2011-CookFKP #biology #proving
Proving Stabilization of Biological Systems (BC, JF, EK, NP), pp. 134–149.
CASECASE-2010-HuSF #analysis #biology #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 #biology
Joint DAC/IWBDA special session engineering biology: fundamentals and applications (MR, SH, RW, PS, JCA, RMM), pp. 220–221.
VLDBVLDB-2010-Matsudaira #3d #biology #dataset #scalability
High-End Biological Imaging Generates Very Large 3D+ and Dynamic Datasets (PM), p. 3.
ITiCSEITiCSE-2010-DoddsLB #biology #collaboration
When CS 1 is biology 1: crossdisciplinary collaboration as CS context (ZD, RLH, EB), pp. 219–223.
CIKMCIKM-2010-BaralisF #biology
Summarizing biological literature with BioSumm (EB, AF), pp. 1961–1962.
ICPRICPR-2010-HanL #biology #classification #multi
A Hierarchical GIST Model Embedding Multiple Biological Feasibilities for Scene Classification (YH, GL), pp. 3109–3112.
ICPRICPR-2010-JiangWXD #classification #image
A New Biologically Inspired Feature for Scene Image Classification (AJ, CW, BX, RD), pp. 758–761.
ICPRICPR-2010-SangWW #learning #modelling #top-down #visual notation
A Biologically-Inspired Top-Down Learning Model Based on Visual Attention (NS, LW, YW), pp. 3736–3739.
KDDKDD-2010-SundaravaradanHSSVHR #biology #modelling
Extracting temporal signatures for comprehending systems biology models (NS, KSMTH, VS, DJS, JPCV, LSH, NR), pp. 453–462.
KRKR-2010-GebserGISSTV #biology #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 #biology #comprehension #towards
Supercomputing in biology: towards understanding living systems in atomic detail (KYS), pp. 1–2.
HPDCHPDC-2010-HoblitzellMYFXB #biology #mining
Text mining for bone biology (AH, SM, QY, SF, YX, JB), pp. 522–530.
ICLPICLP-2010-Fages10 #biology #logic #paradigm
A Logical Paradigm for Systems Biology (Invited Talk) (FF), pp. 2–3.
FMFM-2009-BonzanniFFK #biology #formal method #question #what
What Can Formal Methods Bring to Systems Biology? (NB, KAF, WF, EK), pp. 16–22.
HCIHCI-AUII-2009-AraseHN #biology #profiling #web
User Profiling for Web Search Based on Biological Fluctuation (YA, TH, SN), pp. 239–247.
KDDKDD-2009-AhmedXCM #biology #mining #modelling #topic
Structured correspondence topic models for mining captioned figures in biological literature (AA, EPX, WWC, RFM), pp. 39–48.
KDDKDD-2009-YouHC #biology #learning #network
Learning patterns in the dynamics of biological networks (CHY, LBH, DJC), pp. 977–986.
KDIRKDIR-2009-VillalbaC #biology #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 #biology #database
Measuring coherence between electronic and manual annotations in biological databases (CP, DF, FMC), pp. 806–807.
SACSAC-2009-ShangLL #biology #functional #mining #network
Mining functional associated patterns from biological network data (XS, ZL, WL), pp. 1488–1489.
ICLPICLP-2009-BottalicoB #biology #constraints
Constraint Based Languages for Biological Reactions (MB, SB), pp. 561–562.
ICLPICLP-2009-Have #analysis #biology #constraints #modelling #sequence #statistics
Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.
CASECASE-2008-SunEHMMMBLM #analysis #automation #biology #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.
SFMSFM-2008-BortolussiP #biology #hybrid
Hybrid Systems and Biology (LB, AP), pp. 424–448.
SFMSFM-2008-CiocchettaH #algebra #biology #process
Process Algebras in Systems Biology (FC, JH), pp. 265–312.
SFMSFM-2008-FagesS #biology
Formal Cell Biology in Biocham (FF, SS), pp. 54–80.
SFMSFM-2008-Gillespie #biology #simulation
Simulation Methods in Systems Biology (DTG), pp. 125–167.
SFMSFM-2008-HeinerGD #biology #petri net
Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.
SFMSFM-2008-MausJRU #biology #modelling
Hierarchical Modeling for Computational Biology (CM, MJ, MR, AMU), pp. 81–124.
CIKMCIKM-2008-ZhouYM #biology
A system for finding biological entities that satisfy certain conditions from texts (WZ, CTY, WM), pp. 1281–1290.
ICPRICPR-2008-CloppetB #biology #image #segmentation
Segmentation of overlapping/aggregating nuclei cells in biological images (FC, AB), pp. 1–4.
KDDKDD-2008-ZhaoWLYC #data flow #identification #multi #semistructured data
Identifying biologically relevant genes via multiple heterogeneous data sources (ZZ, JW, HL, JY, YC), pp. 839–847.
SIGIRSIGIR-2008-NobataCORSTTA #biology #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 #biology #concurrent #modelling
Systems biology, models, and concurrency (WF), pp. 1–2.
SACSAC-2008-AntonyBHP #approach #biology #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 #biology #database #towards
Towards an integrative human pathway database for systems biology applications (HNK, XW, JYC), pp. 1297–1301.
SACSAC-2008-VieiraVN #generative
A biologically inspired generation of virtual characters (RCCV, CAV, JBCN), pp. 1218–1224.
ICLPICLP-2008-GebserSTUV #biology #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 #biology #logic #modelling
Systems Biology: Models and Logics (CP, AP), p. 14.
CASECASE-2007-KimLSSZ #approach #biology #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 #biology #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 #biology #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 #biology
Synthetic biology: from bacteria to stem cells (RW), pp. 634–635.
VLDBVLDB-2007-TataLP #biology #database #interactive #named #sequence
Periscope/SQ: Interactive Exploration of Biological Sequence Databases (ST, WL, JMP), pp. 1406–1409.
LATALATA-2007-PoudretCGAM #biology #geometry #modelling #process
Topology-based Geometric Modelling for Biological Cellular Processes (MP, JPC, PLG, AA, PM), pp. 497–508.
AGTIVEAGTIVE-2007-KniemeyerBHK #approach #architecture #biology #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 #biology #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 #biology #database #integration #modelling #on the fly
On-the-fly data integration models for biological databases (PGN, MJP, SH), pp. 118–122.
CHICHI-2006-YehLKGLKSP #biology #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 #biology #database #validation
Validating associations in biological databases (FMC, MJS, PC), pp. 142–151.
ICPRICPR-v1-2006-WuNC #feature model #locality
Biologically Inspired Hierarchical Model for Feature Extraction and Localization (LW, PN, LNC), pp. 259–262.
ICPRICPR-v3-2006-GanLY06a #array #biology #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 #biology
Beta-binders for Biological Quantitative Experiments (PD, DP, CP, PQ), pp. 101–117.
RERE-2006-JiangTBM #analysis #biology #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 #biology #performance
Efficient discovery of loosely structured motifs in biological data (FF, GG, GT), pp. 151–155.
SACSAC-2006-SousaM #adaptation #biology #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 #biology
New architectures for a new biology (DES), p. 4.
ICLPICLP-2006-GrellSS #biology #modelling #network #programming #set
Modelling Biological Networks by Action Languages Via Answer Set Programming (SG, TS, JS), pp. 285–299.
ICDARICDAR-2005-EglinBRE #biology #categorisation #tool support
Biological inspired Tools for Patrimonial Handwriting Denoising and Categorization (VE, SB, CR, HE), pp. 59–63.
VLDBVLDB-2005-MarkowitzKPSIK #biology #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 #biology #data flow #semantics #towards
Toward Semantic Interoperability of Heterogeneous Biological Data Sources (SR), p. 32.
SACSAC-2005-ChenCG #biology #database #query
A complex biological database querying method (JYC, JVC, NG), pp. 110–114.
SACSAC-2005-RahalRPNPRV #biology #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 #biology #challenge #model checking
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology (CP, MA, VM, AP, FW, BM), pp. 5–19.
LICSLICS-2005-Fontana #biology #logic
Logic and Systems Biology (WF), p. 344.
SIGMODSIGMOD-2004-LernerSWZZ #algorithm #biology #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 #biology #data transformation #research
Biological Data Management: Research, Practice and Opportunities (TT, SBD, HVJ, VMM, EWS, MT), pp. 1233–1236.
CSCWCSCW-2004-ChinL #biology
Capturing and supporting contexts for scientific data sharing via the biological sciences collaboratory (GCJ, CL), pp. 409–418.
CIKMCIKM-2004-WangXY #biology #mining #scalability #sequence
Scalable sequential pattern mining for biological sequences (KW, YX, JXY), pp. 178–187.
ICPRICPR-v2-2004-PlotzF #analysis #biology #feature model #sequence
Feature Extraction for Improved Profile HMM based Biological Sequence Analysis (TP, GAF), pp. 315–318.
ICPRICPR-v3-2004-Meas-YedidGMPSO #automation #biology #image #segmentation
Automatic Color Space Selection for Biological Image Segmentation (VMY, EG, EM, CP, GS, JCOM), pp. 514–517.
SACSAC-2004-CoutoMS #biology #using #web
Classifying biological articles using web resources (FMC, BM, MJS), pp. 111–115.
SACSAC-2004-VailayaBKKCA #architecture #biology #information management #representation
An architecture for biological information extraction and representation (AV, PB, RK, AK, MLC, AA), pp. 103–110.
SACSAC-2004-WebbW #analysis #biology #synthesis
Combining analysis and synthesis in a model of a biological cell (KW, TW), pp. 185–190.
VLDBVLDB-2003-MeekPK #biology #named #online #sequence
OASIS: An Online and Accurate Technique for Local-alignment Searches on Biological Sequences (CM, JMP, SK), pp. 910–921.
ESOPESOP-2003-DanosL #biology
Core Formal Molecular Biology (VD, CL), pp. 302–318.
KDDKDD-2003-PanCTYZ #biology #dataset #named
Carpenter: finding closed patterns in long biological datasets (FP, GC, AKHT, JY, MJZ), pp. 637–642.
PADLPADL-2003-Page #biology #database #declarative #mining
The Role of Declarative Languages in Mining Biological Databases (CDPJ), p. 1.
SACSAC-2003-XuKTONOS #biology #database #set #tool support
Pathways Database System: An Integrated Set of Tools for Biological Pathways (WX, LK, MT, , JHN, ZMÖ, GS), pp. 96–102.
RTARTA-2003-Lincoln #biology
Invited Talk: Symbolic Systems Biology (PL), p. 1.
WRLAWRLA-2002-EkerKLLT #biology #execution #logic #modelling #network
Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
CIKMCIKM-2002-ChenCA #biology #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 #biology #image #modelling
Modeling Shape and Topology of 3D Images of Biological Specimens (PAdA, ADPM, AG, JMC), pp. 79–82.
SACSAC-2002-PalakalMM #biology #information management
An intelligent biological information management system (MJP, SM, JM), pp. 159–163.
HPDCHPDC-2002-BalaPNAGEMMBM #biology #grid #named
BioGRID — An European Grid for Molecular Biology (PB, JP, MN, VA, DG, DWE, DM, JM, JB, JFM), p. 412.
ICLPICLP-2002-BockmayrC #biology #concurrent #constraints #hybrid #programming #using
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.
VLDBVLDB-2001-HuntAI #biology #database #scalability #sequence
A Database Index to Large Biological Sequences (EH, MPA, RWI), pp. 139–148.
KDDKDD-2001-Altman #biology #challenge #information management
Challenges for knowledge discovery in biology (RBA), p. 2.
ICMLICML-2000-MuggletonBS #biology #learning #product line #sequence
Learning Chomsky-like Grammars for Biological Sequence Families (SM, CHB, AS), pp. 631–638.
ICPRICPR-v3-2000-NelsonLCC #biology #estimation
Time-Frequency Methods for Biological Signal Estimation (DN, PJL, GC, LC), pp. 3114–3118.
ICPRICPR-v3-2000-ThiemH #design
Biology-Inspired Design of Digital Gabor Filters upon a Hexagonal Sampling Scheme (JT, GH), pp. 3449–3452.
ICPRICPR-v4-2000-ShottonRGT #biology #recognition
Object Tracking and Event Recognition in Biological Microscopy Videos (DMS, ARM, NG, OT), pp. 4226–4229.
KDDKDD-2000-WangMSW #biology #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 #biology #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 #biology #education #feedback
Computer Assisted Education with Cognitive and Biological Feedback Loops (ES), pp. 834–837.
ICALPICALP-1998-AkutsuY #biology #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 #biology #database #distributed #information retrieval
Associated Biological Information Retrieval from Distributed Databases (MX, SG), pp. 193–200.
ICPRICPR-1998-CinqueRLNG #3d #biology #image #self
Self-organizing map for segmenting 3D biological images (LC, RR, SL, PTAN, LG), pp. 471–473.
OOPSLAOOPSLA-1997-OlerLC #biology #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 #biology #data flow #data transformation
A Data Transformation System for Biological Data Sources (PB, SBD, KH, GCO, LW), pp. 158–169.
STOCSTOC-1993-Karp #biology #combinator #problem
Mapping the genome: some combinatorial problems arising in molecular biology (RMK), pp. 278–285.
CIKMCIKM-1993-HaasAO #biology #database #information management #reasoning
Analogical Reasoning for Knowledge Discovery in a Molecular Biology Database (JH, JSA, GCO), pp. 554–564.
SACSAC-1993-ChenD #biology
Distributing Molecular Biology Information: Gopher, WAIS and the University of Houston Gene-Server (ESC, DBD), pp. 634–640.
ICLPILPS-1993-LuskMOS #biology #parallel #prolog
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology (ELL, SM, RAO, PS), pp. 353–369.
HPDCHPDC-1992-GrimshawWP #biology #case study #experience
No Pain and Gain — Experiences with Mentat on a Biological Application (ASG, EAW, WRP), pp. 57–66.
OOPSLAOOPSLA-1991-BensonZ #biology #database
Symbolic and Spatial Database for Structural Biology (DB, GZ), pp. 329–339.
ICGTGG-1990-Boer #biology #graph grammar #modelling
Graph Grammars as a Modelling Tool in Developmental Biology (MJMdB), pp. 41–43.
ICGTGG-1990-Fracchia #biology #modelling
Modelling of Biological Structures (FDF), pp. 47–48.
HTHT-1989-SchnaseL #biology #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.