BibSLEIGH — biology tag

biology

biology

Tag #biology

171 papers:

ICML-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.
KDD-2019-YangSLPB: Estimating Cellular Goals from High-Dimensional Biological Data (LY, MAS, JCL, BOP, JB), pp. 2202–2211.
ICML-2018-AmodioK #named: MAGAN: Aligning Biological Manifolds (MA, SK), pp. 215–223.
KDD-2018-WongPKFJ #community #named #network #performance: SDREGION: Fast Spotting of Changing Communities in Biological Networks (SWHW, CP, MK, CF, IJ), pp. 867–875.
CGO-2018-Dunn: Biological computation (keynote) (SJD), p. 1.
FDG-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.
VS-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.
CIKM-2017-BouadjenekVZ #learning #sequence #using: Learning Biological Sequence Types Using the Literature (MRB, KV, JZ), pp. 1991–1994.
PPDP-2017-AngelopoulosW #prolog: Accessing biological data as Prolog facts (NA, JW), pp. 29–38.
DiGRA-FDG-2016-GerberKR #design #game studies #interactive #matter: Interactive Biotechnology: Design Rules for Integrating Biological Matter into Digital Games (LCG, HK, IHRK).
CHI-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.
CHI-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.
KDD-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.
CASE-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.
CASE-2015-StopforthB #evaluation #named: MechaBird: A biological inspired mechatronics bird for the evaluation of flight characteristics (RS, GB), pp. 335–341.
DATE-2015-MajumderPK #architecture #manycore: On-chip network-enabled many-core architectures for computational biology applications (TM, PPP, AK), pp. 259–264.
PDP-2015-PedersenREB #data analysis #data-driven #framework: Integrating Data-Intensive Computing Systems with Biological Data Analysis Frameworks (EP, IAR, ME, LAB), pp. 733–740.
ICLP-2015-AngelopoulosG #approach #database #logic: A Logical Approach to Working with Biological Databases (NA, GG), pp. 235–246.
CSMR-WCRE-2014-Grosjean #maintenance #question #using: Using biology and ecology as inspiration for software maintenance? (PG), p. 1.
CIG-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.
ICPR-2014-LovatoMCGB #2d #classification #named #sequence: S-BLOSUM: Classification of 2D Shapes with Biological Sequence Alignment (PL, AM, CC, AG, MB), pp. 2335–2340.
QAPL-2014-TschaikowskiT #algebra #difference #performance #process: Extended Differential Aggregations in Process Algebra for Performance and Biology (MT, MT), pp. 34–47.
CAV-2014-CookFHIJP #modelling: Finding Instability in Biological Models (BC, JF, BAH, SI, GJ, NP), pp. 358–372.
LICS-CSL-2014-Fisher #comprehension #logic: Understanding biology through logic (JF), p. 1.
SFM-2013-BrimCS #model checking: Model Checking of Biological Systems (LB, MC, DS), pp. 63–112.
SFM-2013-GratieIP #analysis: ODE Analysis of Biological Systems (DEG, BI, IP), pp. 29–62.
CHI-2013-TaylorPIFCCBB #interface: At the interface of biology and computation (AST, NP, SI, JF, BC, CC, SB, DB), pp. 493–502.
DHM-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.
HCI-AS-2013-CharoenpitO #using: A New E-learning System Focusing on Emotional Aspect Using Biological Signals (SC, MO), pp. 343–350.
HCI-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.
HCI-III-2013-ItoON #interactive: A Method for Promoting Interaction Awareness by Biological Rhythm in Elementary School Children (KI, KO, SN), pp. 421–430.
HIMI-D-2013-MorodomeSAK #metric #using: Non-contact Measurement of Biological Signals Using Microwave Radar (HM, SS, TA, KK), pp. 117–125.
POPL-2013-KoksalPSBFP #modelling #synthesis: Synthesis of biological models from mutation experiments (ASK, YP, SS, RB, JF, NP), pp. 469–482.
SAC-2013-TripletB #benchmark #framework #metric #named: BenchDW: a generic framework for biological data warehouse benchmarking (TT, GB), pp. 1328–1334.
GPCE-2013-Bodik #modelling #programming language: Modeling biology with solver-aided programming languages (RB), pp. 1–2.
HPCA-2013-NereHLT #behaviour #semantic gap: Bridging the semantic gap: Emulating biological neuronal behaviors with simple digital neurons (AN, AH, MHL, GT), pp. 472–483.
PDP-2013-AldinucciDTCT #evolution #parallel #probability: Parallel Stochastic Simulators in System Biology: The Evolution of the Species (MA, MD, FT, MC, MT), pp. 410–419.
PDP-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.
ICFP-2012-DanielsGR #case study #experience #haskell: Experience report: Haskell in computational biology (NMD, AG, NR), pp. 227–234.
CHI-2012-TabardHB: The eLabBench in the wild: supporting exploration in a molecular biology lab (AT, JDHR, JB), pp. 3051–3060.
ICPR-2012-AliGBPNP #classification #using: Classification of biological cells using bio-inspired descriptors (WBHA, DG, MB, PP, RN, TP), pp. 3353–3357.
ICPR-2012-BicegoL #2d #recognition #sequence #tool support #using: 2D shape recognition using biological sequence alignment tools (MB, PL), pp. 1359–1362.
SAC-2012-ChhelLGS #multi #using: Minimum multiple characterization of biological data using partially defined boolean formulas (FC, FL, AG, FS), pp. 1399–1405.
SAC-2012-DayehH #network #using: Analyzing incomplete biological pathways using network motifs (MED, MH), pp. 1355–1360.
SAC-2012-PriamiQZ #graph #imperative #self: An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.
SAC-2012-VirgilioR #approximate #graph #rdf: Approximate matching over biological RDF graphs (RDV, SER), pp. 1413–1414.
CASE-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.
DAC-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.
DATE-2012-Hassoun #automation #design #search-based: Genetic/bio design automation for (re-)engineering biological systems (SH), pp. 242–247.
DATE-2012-YordanovAGGCBHBD #verification: Experimentally driven verification of synthetic biological circuits (BY, EA, RG, EAG, SBC, SB, TH, CB, DD), pp. 236–241.
CAV-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.
CAV-2012-Dill #model checking: Model Checking Cell Biology (DLD), p. 2.
DUXU-v2-2011-MatsumotoINI: An Air Conditioning Control Method Based on Biological Fluctuation (HM, YI, YN, HI), pp. 608–615.
HCI-MIIE-2011-RattanyuM #recognition #using: Emotion Recognition Using Biological Signal in Intelligent Space (KR, MM), pp. 586–592.
HIMI-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.
KDD-2011-IfrimW #bound #classification #coordination #predict #sequence: Bounded coordinate-descent for biological sequence classification in high dimensional predictor space (GI, CW), pp. 708–716.
MLDM-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.
Onward-2011-Verna: Biological realms in computer science (DV), pp. 167–176.
SAC-2011-FiondaP #named #workflow: BioTRON: a biological workflow management system (VF, GP), pp. 77–82.
DAC-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.
PDP-2011-AldinucciCDDTT #design #multi #on the: On Designing Multicore-Aware Simulators for Biological Systems (MA, MC, FD, MD, MT, AT), pp. 318–325.
CAV-2011-KuglerPR: Synthesizing Biological Theories (HK, CP, AR), pp. 579–584.
LICS-2011-Tiwari #logic: Logic in Software, Dynamical and Biological Systems (AT), pp. 9–10.
VMCAI-2011-CookFKP #proving: Proving Stabilization of Biological Systems (BC, JF, EK, NP), pp. 134–149.
VLDB-2010-Matsudaira #3d #dataset #scalability: High-End Biological Imaging Generates Very Large 3D+ and Dynamic Datasets (PM), p. 3.
ITiCSE-2010-DoddsLB #collaboration: When CS 1 is biology 1: crossdisciplinary collaboration as CS context (ZD, RLH, EB), pp. 219–223.
CIKM-2010-BaralisF: Summarizing biological literature with BioSumm (EB, AF), pp. 1961–1962.
ICPR-2010-HanL #classification #multi: A Hierarchical GIST Model Embedding Multiple Biological Feasibilities for Scene Classification (YH, GL), pp. 3109–3112.
KDD-2010-SundaravaradanHSSVHR #modelling: Extracting temporal signatures for comprehending systems biology models (NS, KSMTH, VS, DJS, JPCV, LSH, NR), pp. 453–462.
KR-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).
FSE-2010-Sanbonmatsu #comprehension #towards: Supercomputing in biology: towards understanding living systems in atomic detail (KYS), pp. 1–2.
CASE-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.
DAC-2010-RiedelHWSAM: Joint DAC/IWBDA special session engineering biology: fundamentals and applications (MR, SH, RW, PS, JCA, RMM), pp. 220–221.
HPDC-2010-HoblitzellMYFXB #mining: Text mining for bone biology (AH, SM, QY, SF, YX, JB), pp. 522–530.
PDP-2010-PinhoRS #algorithm #optimisation #parallel #process: Pluggable Parallelization of Evolutionary Algorithms Applied to the Optimization of Biological Processes (JHMdP, MFdAPdR, JLFS), pp. 395–402.
ICLP-2010-Fages10 #logic #paradigm: A Logical Paradigm for Systems Biology (FF), pp. 2–3.
FM-2009-BonzanniFFK #formal method #question #what: What Can Formal Methods Bring to Systems Biology? (NB, KAF, WF, EK), pp. 16–22.
HCI-AUII-2009-AraseHN #profiling #web: User Profiling for Web Search Based on Biological Fluctuation (YA, TH, SN), pp. 239–247.
KDD-2009-AhmedXCM #mining #modelling #topic: Structured correspondence topic models for mining captioned figures in biological literature (AA, EPX, WWC, RFM), pp. 39–48.
KDD-2009-YouHC #learning #network: Learning patterns in the dynamics of biological networks (CHY, LBH, DJC), pp. 977–986.
KDIR-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.
SAC-2009-PesquitaFC #database: Measuring coherence between electronic and manual annotations in biological databases (CP, DF, FMC), pp. 806–807.
SAC-2009-ShangLL #functional #mining #network: Mining functional associated patterns from biological network data (XS, ZL, WL), pp. 1488–1489.
ICLP-2009-BottalicoB #constraints: Constraint Based Languages for Biological Reactions (MB, SB), pp. 561–562.
ICLP-2009-Have #analysis #constraints #modelling #sequence #statistics: Logic-Statistic Models with Constraints for Biological Sequence Analysis (CTH), pp. 549–550.
SFM-2008-BortolussiP #hybrid: Hybrid Systems and Biology (LB, AP), pp. 424–448.
SFM-2008-CiocchettaH #algebra #process: Process Algebras in Systems Biology (FC, JH), pp. 265–312.
SFM-2008-FagesS: Formal Cell Biology in Biocham (FF, SS), pp. 54–80.
SFM-2008-Gillespie #simulation: Simulation Methods in Systems Biology (DTG), pp. 125–167.
SFM-2008-HeinerGD #petri net: Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.
SFM-2008-MausJRU #modelling: Hierarchical Modeling for Computational Biology (CM, MJ, MR, AMU), pp. 81–124.
CIKM-2008-ZhouYM: A system for finding biological entities that satisfy certain conditions from texts (WZ, CTY, WM), pp. 1281–1290.
ICPR-2008-CloppetB #image #segmentation: Segmentation of overlapping/aggregating nuclei cells in biological images (FC, AB), pp. 1–4.
SIGIR-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.
POPL-2008-Fontana #concurrent #modelling: Systems biology, models, and concurrency (WF), pp. 1–2.
SAC-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.
SAC-2008-KasamsettyWC #database #towards: Towards an integrative human pathway database for systems biology applications (HNK, XW, JYC), pp. 1297–1301.
CASE-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.
ICLP-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.
ICLP-2008-PiazzaP #logic #modelling: Systems Biology: Models and Logics (CP, AP), p. 14.
VLDB-2007-TataLP #database #interactive #named #sequence: Periscope/SQ: Interactive Exploration of Biological Sequence Databases (ST, WL, JMP), pp. 1406–1409.
LATA-2007-PoudretCGAM #geometry #modelling #process: Topology-based Geometric Modelling for Biological Cellular Processes (MP, JPC, PLG, AA, PM), pp. 497–508.
DiGRA-2007-Park #correlation: Gambling is in My Genes: Correlations between Personality Traits with Biological Basis and Digital Entertainment Choice (BP).
AGTIVE-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.
DHM-2007-DionysiouSM #image #multi #simulation: Simulating Cancer Radiotherapy on a Multi-level Basis: Biology, Oncology and Image Processing (DDD, GSS, KM), pp. 569–575.
SAC-2007-NaiduPH #database #integration #modelling #on the fly: On-the-fly data integration models for biological databases (PGN, MJP, SH), pp. 118–122.
CASE-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.
CASE-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–?.
CASE-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.
DAC-2007-Weiss: Synthetic biology: from bacteria to stem cells (RW), pp. 634–635.
CHI-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.
CIKM-2006-CoutoSC #database #validation: Validating associations in biological databases (FMC, MJS, PC), pp. 142–151.
ICPR-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.
QAPL-2006-DeganoPPQ: Beta-binders for Biological Quantitative Experiments (PD, DP, CP, PQ), pp. 101–117.
RE-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.
SAC-2006-FassettiGT #performance: Efficient discovery of loosely structured motifs in biological data (FF, GG, GT), pp. 151–155.
SAC-2006-SousaM #adaptation #comparison #grid #multi #named #sequence: PackageBLAST: an adaptive multi-policy grid service for biological sequence comparison (MSS, ACMAdM), pp. 156–160.
HPCA-2006-Shaw #architecture: New architectures for a new biology (DES), p. 4.
ICLP-2006-GrellSS #modelling #network #programming #set: Modelling Biological Networks by Action Languages Via Answer Set Programming (SG, TS, JS), pp. 285–299.
ICDAR-2005-EglinBRE #categorisation #tool support: Biological inspired Tools for Patrimonial Handwriting Denoising and Categorization (VE, SB, CR, HE), pp. 59–63.
JCDL-2005-MarshallQSEC #visualisation: Visualizing aggregated biological pathway relations (BM, KDQ, HS, SE, HC), pp. 67–68.
VLDB-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.
CAiSE-2005-Ram #data flow #semantics #towards: Toward Semantic Interoperability of Heterogeneous Biological Data Sources (SR), p. 32.
SAC-2005-ChenCG #database #query: A complex biological database querying method (JYC, JVC, NG), pp. 110–114.
SAC-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.
CAV-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.
LICS-2005-Fontana #logic: Logic and Systems Biology (WF), p. 344.
SIGMOD-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.
VLDB-2004-TopaloglouDJMST #data transformation #research: Biological Data Management: Research, Practice and Opportunities (TT, SBD, HVJ, VMM, EWS, MT), pp. 1233–1236.
CSCW-2004-ChinL: Capturing and supporting contexts for scientific data sharing via the biological sciences collaboratory (GCJ, CL), pp. 409–418.
CIKM-2004-WangXY #mining #scalability #sequence: Scalable sequential pattern mining for biological sequences (KW, YX, JXY), pp. 178–187.
ICPR-v2-2004-PlotzF #analysis #feature model #sequence: Feature Extraction for Improved Profile HMM based Biological Sequence Analysis (TP, GAF), pp. 315–318.
ICPR-v3-2004-Meas-YedidGMPSO #automation #image #segmentation: Automatic Color Space Selection for Biological Image Segmentation (VMY, EG, EM, CP, GS, JCOM), pp. 514–517.
SAC-2004-CoutoMS #using #web: Classifying biological articles using web resources (FMC, BM, MJS), pp. 111–115.
SAC-2004-VailayaBKKCA #architecture #information management #representation: An architecture for biological information extraction and representation (AV, PB, RK, AK, MLC, AA), pp. 103–110.
SAC-2004-WebbW #analysis #synthesis: Combining analysis and synthesis in a model of a biological cell (KW, TW), pp. 185–190.
VLDB-2003-MeekPK #named #online #sequence: OASIS: An Online and Accurate Technique for Local-alignment Searches on Biological Sequences (CM, JMP, SK), pp. 910–921.
RTA-2003-Lincoln: Invited Talk: Symbolic Systems Biology (PL), p. 1.
KDD-2003-PanCTYZ #dataset #named: Carpenter: finding closed patterns in long biological datasets (FP, GC, AKHT, JY, MJZ), pp. 637–642.
PADL-2003-Page #database #declarative #mining: The Role of Declarative Languages in Mining Biological Databases (CDPJ), p. 1.
SAC-2003-XuKTONOS #database #set #tool support: Pathways Database System: An Integrated Set of Tools for Biological Pathways (WX, LK, MT, GÖ, JHN, ZMÖ, GS), pp. 96–102.
ESOP-2003-DanosL: Core Formal Molecular Biology (VD, CL), pp. 302–318.
CIKM-2002-ChenCA #database #evaluation #on the #performance #query: On the efficient evaluation of relaxed queries in biological databases (YC, DC, KA), pp. 227–236.
ICPR-v1-2002-AlarconPGC #3d #image #modelling: Modeling Shape and Topology of 3D Images of Biological Specimens (PAdA, ADPM, AG, JMC), pp. 79–82.
SAC-2002-PalakalMM #information management: An intelligent biological information management system (MJP, SM, JM), pp. 159–163.
HPDC-2002-BalaPNAGEMMBM #grid #named: BioGRID — An European Grid for Molecular Biology (PB, JP, MN, VA, DG, DWE, DM, JM, JB, JFM), p. 412.
WRLA-2002-EkerKLLT #execution #logic #modelling #network: Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
ICLP-2002-BockmayrC #concurrent #constraints #hybrid #programming #using: Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems (AB, AC), pp. 85–99.
VLDB-2001-HuntAI #database #scalability #sequence: A Database Index to Large Biological Sequences (EH, MPA, RWI), pp. 139–148.
KDD-2001-Altman #challenge #information management: Challenges for knowledge discovery in biology (RBA), p. 2.
ICML-2000-MuggletonBS #learning #product line #sequence: Learning Chomsky-like Grammars for Biological Sequence Families (SM, CHB, AS), pp. 631–638.
ICPR-v3-2000-NelsonLCC #estimation: Time-Frequency Methods for Biological Signal Estimation (DN, PJL, GC, LC), pp. 3114–3118.
ICPR-v4-2000-ShottonRGT #recognition: Object Tracking and Event Recognition in Biological Microscopy Videos (DMS, ARM, NG, OT), pp. 4226–4229.
KDD-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.
HPDC-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.
HCI-EI-1999-Sokolov #education #feedback: Computer Assisted Education with Cognitive and Biological Feedback Loops (ES), pp. 834–837.
ICALP-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.
CIKM-1998-XuG #database #distributed #information retrieval: Associated Biological Information Retrieval from Distributed Databases (MX, SG), pp. 193–200.
ICPR-1998-CinqueRLNG #3d #image #self: Self-organizing map for segmenting 3D biological images (LC, RR, SL, PTAN, LG), pp. 471–473.
PDP-1998-MorenoFZCT #analysis #memory management #multi #sequence: Biological sequence analysis on distributed-shared memory multiprocessors (ARM, LGdlF, ELZ, JMC, OT), pp. 20–26.
OOPSLA-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.
VLDB-1995-BunemanDHOW #data flow #data transformation: A Data Transformation System for Biological Data Sources (PB, SBD, KH, GCO, LW), pp. 158–169.
CIKM-1993-HaasAO #database #information management #reasoning: Analogical Reasoning for Knowledge Discovery in a Molecular Biology Database (JH, JSA, GCO), pp. 554–564.
SAC-1993-ChenD: Distributing Molecular Biology Information: Gopher, WAIS and the University of Houston Gene-Server (ESC, DBD), pp. 634–640.
STOC-1993-Karp #combinator #problem: Mapping the genome: some combinatorial problems arising in molecular biology (RMK), pp. 278–285.
ILPS-1993-LuskMOS #parallel #prolog: Applications of the Aurora Parallel Prolog System to Computational Molecular Biology (ELL, SM, RAO, PS), pp. 353–369.
HPDC-1992-GrimshawWP #case study #experience: No Pain and Gain — Experiences with Mentat on a Biological Application (ASG, EAW, WRP), pp. 57–66.
OOPSLA-1991-BensonZ #database: Symbolic and Spatial Database for Structural Biology (DB, GZ), pp. 329–339.
GG-1990-Boer #graph grammar #modelling: Graph Grammars as a Modelling Tool in Developmental Biology (MJMdB), pp. 41–43.
GG-1990-Fracchia #modelling: Modelling of Biological Structures (FDF), pp. 47–48.
HT-1989-SchnaseL #hypermedia #modelling: Computational Hypertext in Biological Modelling (JLS, JJL), pp. 181–197.