|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2639 occurrences of 1565 keywords
|
|
|
Results
Found 8097 publication records. Showing 8086 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Chun-Gi Lyuh, Taewhan Kim |
Memory access scheduling and binding considering energy minimization in multi-bank memory systems. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
scheduling, binding, low energy design |
22 | Timothy J. Troup, Iain D. G. Darroch |
A framework to enable user directed component binding at run-time. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
run-time binding, user directed, framework, component |
22 | Tatsuo Nakajima |
Explicit binding interface for supporting native ATM networks in a CORBA system. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
explicit binding interface, native ATM networks, network bandwidth reservation, GIOP, asynchronous transfer mode, CORBA, transport protocols, transport protocols, client-server systems, client server system, distributed object management, network bandwidth, IIOP |
22 | Chuck Monahan, Forrest Brewer |
Scheduling and binding bounds for RT-level symbolic execution. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
ALAP bounds, as-late-as-possible bounds, binding bounds, efficient operand mapping bound, exact scheduling problem, minimal schedule length, operand recomputation, point-to-point delays, pre-defined data path, register transfer level symbolic execution, time improvement factors, transitive memory units, processor scheduling |
21 | Petar Radojkovic, Vladimir Cakarevic, Javier Verdú, Alex Pajuelo, Francisco J. Cazorla, Mario Nemirovsky, Mateo Valero |
Thread to strand binding of parallel network applications in massive multi-threaded systems. |
PPoPP |
2010 |
DBLP DOI BibTeX RDF |
ultrasparc t2, simultaneous multithreading, process scheduling, cmt |
21 | Hooman Shadnia, James S. Wright, James M. Anderson |
Interaction force diagrams: new insight into ligand-receptor binding. |
J. Comput. Aided Mol. Des. |
2009 |
DBLP DOI BibTeX RDF |
Force vectors, Interaction Force Fingerprints, IFFP, Ligand-receptor, Estrogen receptor, Selectivity |
21 | Feng Wang 0004, Yuan Xie 0001, Andrés Takach |
Variation-aware resource sharing and binding in behavioral synthesis. |
ASP-DAC |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Genta Iha, Hiroshi Doi |
An Implementation of the Binding Mechanism in the Web Browser for Preventing XSS Attacks: Introducing the Bind-Value Headers. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Alissa Cooper, John B. Morris |
Binding privacy rules to location on the web. |
LocWeb |
2009 |
DBLP DOI BibTeX RDF |
privacy, policy, location |
21 | Rahul Jain 0001 |
New Binding-Concealing Trade-Offs for Quantum String Commitment. |
J. Cryptol. |
2008 |
DBLP DOI BibTeX RDF |
String commitment, Quantum channels, Observational divergence, Substate theorem, Relative entropy |
21 | Raluca Gordân, Leelavati Narlikar, Alexander J. Hartemink |
A Fast, Alignment-Free, Conservation-Based Method for Transcription Factor Binding Site Discovery. |
RECOMB |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Yue Fan, Mark A. Kon, Charles DeLisi |
Ensemble Machine Methods for DNA Binding. |
ICMLA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ulrike Mückstein, Hakim Tafer, Stephan H. Bernhart, Maribel Hernandez-Rosales, Jörg Vogel 0002, Peter F. Stadler, Ivo L. Hofacker |
Translational Control by RNA-RNA Interaction: Improved Computation of RNA-RNA Binding Thermodynamics. |
BIRD |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Yun-Young Hwang, Hyung-Jun Yim, Il-Jin Oh, Kyu-Chul Lee |
The Universal Adaptor for Dynamic Ubiquitous Services Discovery and Binding. |
CSSE (3) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sunil Kumar, Rajni Garg, Srinivas R. Alla, Xiaoyu Zhang, Vivek K. Jalahalli |
3D-Shape analysis of the HIV-1 protease ligand binding site. |
CIBCB |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Shandar Ahmad, Zulfiqar Ahmad |
ATP-binding site as a further application of neural networks to residue level prediction. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Scooter Willis |
Protein CorreLogo: an X3D representation of co-evolving pairs, tertiary structure, ligand binding pockets and protein-protein interactions in protein families. |
Web3D |
2007 |
DBLP DOI BibTeX RDF |
Protein CorreLogo, mutual information, X3D |
21 | Wensheng Shen, Changjiang Zhang, Jun Zhang 0001 |
Multiscale simulation of ligand-receptor binding and dissociation in circulation. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
ligand-receptor interaction, multiscale modeling, nonlinear differential equation |
21 | Sang Jeong Lee, Kyung Dong Ryu, Kang-Won Lee, Jong-Deok Choi |
Improving the Performance of Web Services Using Deployment-Time Binding Selection. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Liwei Shen, Xin Peng 0001, Wenyun Zhao |
Decision Support for Dynamic Adaptation of Business Systems Based on Feature Binding Analysis. |
COMPSAC (2) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | SoonGohn Kim, Eung Nam Ko |
An Adaptive Dynamic Window Binding Model for RCSM. |
ICIC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | An Zeng, Dan Pan 0001, Yongquan Yu, Bi Zeng |
Rule Induction for Prediction of MHC II-Binding Peptides. |
RSKT |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ilsun You |
A Ticket Based Binding Update Authentication Method for Trusted Nodes in Mobile IPv6 Domain. |
EUC Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Pamela Zave |
Compositional Binding in Network Domains. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Stephanus Daniel Handoko, Chee Keong Kwoh 0001, Yew-Soon Ong, Guanglan Zhang, Vladimir Brusic |
Extreme Learning Machine for Predicting HLA-Peptide Binding. |
ISNN (2) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Menaka Rajapakse, Bertil Schmidt, Vladimir Brusic |
Multi-Objective Evolutionary Algorithm for Discovering Peptide Binding Motifs. |
EvoWorkshops |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Jianming Zhao, XinJun Mao, Ji Wang 0001 |
Developing Multi-Agent Systems with Dynamic Binding Mechanism. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Feng Shi, Qiujian Chen |
Prediction of MHC Class I Binding Peptides Using Fourier Analysis and Support Vector Machine. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Jung Doo Koo, Jungsook Koo, Dong Chun Lee |
A New Authentication Scheme of Binding Update Protocol on Handover in Mobile IPv6 Networks. |
EUC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Youngjin Ahn, Tae-Jin Lee 0001, Hyunseung Choo, Sungchang Lee |
DNA: Diameter NEMO Applications Based on Binding Update Integration. |
ISPA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Yang-Suk Kee, Ken Yocum, Andrew A. Chien, Henri Casanova |
Grid allocation and reservation - Improving grid resource allocation via integrated selection and binding. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Fred Ma, John P. Knight, Calvin Plett |
Physical resource binding for a coarse-grain reconfigurable array using evolutionary algorithms. |
IEEE Trans. Very Large Scale Integr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Azadeh Davoodi, Ankur Srivastava 0001 |
Power-driven simultaneous resource binding and floorplanning: a probabilistic approach. |
IEEE Trans. Very Large Scale Integr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jinyan Li 0001, Haiquan Li |
Using Fixed Point Theorems to Model the Binding in Protein-Protein Interactions. |
IEEE Trans. Knowl. Data Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Shanshan Song, Kai Hwang 0001, Yu-Kwong Kwok |
Trusted Grid Computing with Security Binding and Trust Integration. |
J. Grid Comput. |
2005 |
DBLP DOI BibTeX RDF |
NAS and PSA benchmarks, performance evaluation, fuzzy logic, resource allocation, computational Grids, trust models, scalability analysis |
21 | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
A General Name Binding Mechanism. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Azadeh Davoodi, Ankur Srivastava 0001 |
Simultaneous floorplanning and resource binding: a probabilistic approach. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jianxin Li 0002, Jinpeng Huai, Qin Li 0014, Xianxian Li |
Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method. |
MSN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Kwang Chul Jeong, Tae-Jin Lee 0001, Hyunseung Choo |
Dual Binding Update with Additional Care of Address in Network Mobility. |
MSN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Kai Hwang 0001, Yu-Kwong Kwok, Shanshan Song, Min Cai, Yu Chen 0002, Ying Chen, Runfang Zhou, Xiaosong Lou |
GridSec: Trusted Grid Computing with Security Binding and Self-defense Against Network Worms and DDoS Attacks. |
International Conference on Computational Science (3) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Bonato |
Towards a Computational Treatment of Binding Theory. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jong-Hyouk Lee, Young-Ju Han, Hyung-Jin Lim, Tai-Myung Chung |
New Binding Update Method using GDMHA in Hierarchical Mobile IPv6. |
ICCSA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Kwong Yuen Lai, Thi Khoi Anh Phan, Zahir Tari |
Efficient SOAP Binding for Mobile Web Services. |
LCN |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Frank Atanassow, Dave Clarke 0001, Johan Jeuring |
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Pedro A. Reche, Ellis L. Reinherz |
Definition of MHC Supertypes Through Clustering of MHC Peptide Binding Repertoires. |
ICARIS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Avi Ziv |
Stimuli Generation with Late Binding of Values. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Hans Langmaack |
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. |
Essays in Memory of Ole-Johan Dahl |
2004 |
DBLP DOI BibTeX RDF |
|
21 | James Cheney, Christian Urban |
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Bender 0002, Hamse Y. Mussa, Gurprem S. Gill, Robert C. Glen |
Molecular surface point environments for virtual screening and the elucidation of binding patterns (MOLPRINT). |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Yen-Chih Chen, Jinn-Moon Yang, Chi-Hung Tsai, Cheng-Yan Kao |
Comparative Molecular Binding Energy Analysis of HIV-1 Protease Inhibitors Using Genetic Algorithm-Based Partial Least Squares Method. |
GECCO (2) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ho-sik Cho, Eun Kyoung Paik, Yanghee Choi |
RBU+: Recursive Binding Update for End-to-End Route Optimization in Nested Mobile Networks. |
HSNMC |
2004 |
DBLP DOI BibTeX RDF |
pinball routing, NEMO, network mobility, route optimization |
21 | Einar Broch Johnsen, Olaf Owe |
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Heshmatollah Khosravi, Hiroaki Fukuda, Shigeki Goto |
New Binding Update Method in Mobile IPv6. |
ICOIN |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Charles W. Krueger |
Product Line Binding Times: What You Don?t Know Can Hurt You. |
SPLC |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel |
Binding-Time Analysis for Mercury. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Saurabh Sinha, Martin Tompa |
Performance Comparison of Algorithms for FindingTranscription Factor Binding Sites. |
BIBE |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Ansgar Stammermann, Domenik Helms, Milan Schulte, Arne Schulz, Wolfgang Nebel |
Binding, Allocation and Floorplanning in Low Power High-Level Synthesis. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Nattawut Thepayasuwan, Hua Tang, Alex Doboli |
An exploration-based binding and scheduling technique for synthesis of digital blocks for mixed-signal applications. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Sebastian Weng, Jochen J. Steil |
Learning Compatibility Functions for Feature Binding and Perceptual Grouping. |
ICANN |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Fortunato Tito Arecchi |
Chaotic Neuron Dynamics, Synchronization, and Feature Binding. |
Summer School on Neural Networks |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Nikos Parlavantzas, Geoff Coulson, Gordon S. Blair |
An Extensible Binding Framework for Component-Based Middleware. |
EDOC |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Murdoch Gabbay, Andrew M. Pitts |
A New Approach to Abstract Syntax with Variable Binding. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Alpha-conversion, Permutation actions, Set theory, Abstract syntax, Structural induction |
21 | Ivan Damgård, Jesper Buus Nielsen |
Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor. |
CRYPTO |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Marina Nudelman |
Designing and Building the Eiffel Binding for COM. |
TOOLS (39) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Chittaranjan A. Mandal, P. P. Chakrabarti 0001, Sujoy Ghose |
GABIND: a GA approach to allocation and binding for the high-level synthesis of data paths. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Wim Vanhoof |
Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Satish Pillai, Margarida F. Jacome |
Symbolic Binding for Clustered VLIW ASIPs. |
ICCD |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Tim W. Nattkemper, Heiko Wersing, Helge J. Ritter, Walter Schubert |
Fluorescence Micrograph Segmentation by Gestalt-Based Feature Binding. |
IJCNN (1) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Emmanuel Briot, Joël Brobecker, Arnaud Charlet |
GtkAda: Design and Implementation of a High Level Binding in Ada. |
Ada-Europe |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Kenichi Asai |
Binding-Time Analysis for Both Static and Dynamic Expressions. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Ashok Kumar 0001, Magdy A. Bayoumi |
Novel Formulations for Low-Power Binding of Function Units in High-Level Synthesis. |
ICCD |
1999 |
DBLP DOI BibTeX RDF |
High-level Synthesis, Low Power Design |
21 | Johann Blieberger, Johann Klasek, Eva Kühn |
Ada Binding to a Shared Object Layer. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Flavius Gruian, Krzysztof Kuchcinski |
Operation Binding and Scheduling for Low Power Using Constraint Logic Programming. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Eric R. Verheul, Henk C. A. van Tilborg |
Binding ElGamal: A Fraud-Detectable Alternative to Key-Escrow Proposals. |
EUROCRYPT |
1997 |
DBLP DOI BibTeX RDF |
Traceable ElGamal, Key Recovery, Key Escrow, ElGamal |
21 | Yung-Ming Fang, D. F. Wong 0001 |
Simultaneous functional-unit binding and floorplanning. |
ICCAD |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Mikhail A. Bulyonkov |
Extracting Polyvariant Binding Time Analysis from Polyvariant Specializer. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Joan López-Moliner, Josep M. Sopena |
Variable Binding Using Serial Order in Recurrent Neural Networks. |
IWANN |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Yves Eychenne, Michel Simatic, Christophe Baradel, Bruno Kohen |
Exploiting late binding in object messaging for implementing object replication. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Neerav Berry, Barry M. Pangrle |
SCHALLOC: an algorithm for simultaneous scheduling & connectivity binding in a datapath synthesis system. |
EURO-DAC |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Nam Sung Woo |
A Global, Dynamic Register Allocation and Binding for a Data Path Synthesis System. |
DAC |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Jayanth V. Rajan, Donald E. Thomas |
Synthesis by delayed binding of decisions. |
DAC |
1985 |
DBLP DOI BibTeX RDF |
behavioral partioning, synthesis, automatic design |
21 | Vaughan R. Pratt |
Program Logic Without Binding is Decidable. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
18 | Colin Stirling |
Dependency Tree Automata. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
binding terms, Tree automata, typed lambda calculus |
18 | Mikhail S. Gelfand, Alexei E. Kazakov, Yuri D. Korostelev, Olga N. Laikova, Andrey A. Mironov, Aleksandra B. Rakhmaninova, Dmitry A. Ravcheev, Dmitry A. Rodionov, Alexei G. Vitreschak |
Evolution of Regulatory Systems in Bacteria (Invited Keynote Talk). |
ISBRA |
2009 |
DBLP DOI BibTeX RDF |
regulation of transcription, regulation of translation, T-box, Comparative genomics, transcription factor, binding site, bacteria |
18 | Huang-Cheng Kuo, Kuan-Yu Su, Ping-Lin Ong, Jen-Peng Huang |
Learning a prediction model for protein-protein recognition. |
ICIS |
2009 |
DBLP DOI BibTeX RDF |
protein complex, protein-protein recognition, genetic programming, feature vector, binding site |
18 | Srihathai Prammanee, Klaus Moessner |
Mobile Multimodality: A Theoretical Approach to Facilitate Virtual Device Environments. |
Mob. Networks Appl. |
2008 |
DBLP DOI BibTeX RDF |
ambient aware user interfaces, interface and modality binding, Modality Service Tree, mobile, multimodal interaction, ubiquitous, virtual device |
18 | Murdoch James Gabbay, Martin Hofmann 0001 |
Nominal Renaming Sets. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
Nominal renaming sets, nominal sets, abstract syntax with binding |
18 | Rui Guo, Bin B. Zhu, Min Feng 0002, Aimin Pan, Bosheng Zhou |
Compoweb: a component-oriented web architecture. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
delayed-binding, security, web, component, interface, reuse, mashup, protection, browser, encapsulation, isolation, same-origin policy |
18 | Marcelo P. Fiore |
Second-Order and Dependently-Sorted Abstract Syntax. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding |
18 | Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich |
Engineering formal metatheory. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
locally nameless, binding, coq |
18 | Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw |
Implicitly-threaded parallelism in Manticore. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
implictly-threaded parallelism, parallel binding, parallel case, data parallelism, exceptions |
18 | Huafei Zhu |
Fully-Simulatable Oblivious Set Transfer. |
ACISP |
2008 |
DBLP DOI BibTeX RDF |
Oblivious set transfer, perfectly hiding commitment, perfectly binding commitment, real/ideal world simulation paradigm |
18 | Lifang Liu 0001, Licheng Jiao, Hongwei Huo |
A Greedy Two-stage Gibbs Sampling Method for Motif Discovery in Biological Sequences. |
BMEI (1) |
2008 |
DBLP DOI BibTeX RDF |
Gibbs sampling, Motif discovery, Transcription factors, Binding sites |
18 | Jackson Marques de Carvalho, Helmut Jürgensen |
A Dynamical Document Structure to Capture the Semantics of Mathematical Concepts. |
ACHI |
2008 |
DBLP DOI BibTeX RDF |
grammar fragments, attributed context-free grammars, meaning-to-syntax binding, extensibility, incremental update, meta-structure, authoring model |
18 | Alastair Butler |
Scope control and grammatical dependencies. |
J. Log. Lang. Inf. |
2007 |
DBLP DOI BibTeX RDF |
Grammatical dependencies, Donkey anaphora, Binding theory, Scope marking, Control, Movement, Dynamic semantics |
18 | Bang-Hung Yang, Shyh-Jen Wang, Yuan-Hwa Chou, Tung-Ping Su, Shih-Pei Chen, Jih-Shian Lee, Jyh-Cheng Chen |
Evaluation of Reference Tissue Model for Serotonin Transporters Using [123I] ADAM Tracer. |
MIMI |
2007 |
DBLP DOI BibTeX RDF |
serotonin transporters, reference tissue model, [123I] ADAM, binding potential |
18 | David Herman |
Functional pearl: the great escape or, how to jump the border without getting caught. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
delimited control, continuations, dynamic binding |
18 | Soheil Aminzadeh, Saeed Safari |
Co-evolutionary high-level test synthesis. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
co-evolutionary algorithm, module binding, genetic algorithm, scheduling, register allocation, high-level test synthesis |
18 | Alexandra M. Carvalho, Ana T. Freitas, Arlindo L. Oliveira, Marie-France Sagot |
An Efficient Algorithm for the Identification of Structured Motifs in DNA Promoter Sequences. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2006 |
DBLP DOI BibTeX RDF |
Box-link, factor tree, binding site consensus, promoter, structured motif |
18 | Chris Barker, Chung-chieh Shan |
Types as Graphs: Continuations in Type Logical Grammar. |
J. Log. Lang. Inf. |
2006 |
DBLP DOI BibTeX RDF |
type-logical grammar, resource sensitivity, polarity licensing, superiority, evaluation order, continuations, binding, quantification, staging, delimited continuations |
Displaying result #401 - #500 of 8086 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|