1
Pubblicazione 2010
Sommario: ... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...
Testo
Elettronico eBook
2
Pubblicazione 2008
Sommario: ... -- Mapping of Signaling Pathways by Functional Interaction Proteomics -- Selection of Recombinant Antibodies...
Testo
Elettronico eBook
3
Sommario: ... Green’s Functions -- Green’s Functions in One-Body Quantum Problems -- Physical Significance of G...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ...-Valued Semantics -- Solving the Implication Problem for XML Functional Dependencies with Properties...
Testo
Elettronico eBook
6
Pubblicazione 2005
Sommario: ... -- Predicting Protein-Peptide Binding Affinity by Learning Peptide-Peptide Distance Functions -- Keynote...
Testo
Elettronico eBook
7
Pubblicazione 2007
Sommario: ... of Enzymatic Reactions -- Shift-Invariant Adaptive Double Threading: Learning MHC II - Peptide Binding...
Testo
Elettronico eBook
8
Pubblicazione 2008
Sommario: ...Computational Biology: Its Challenges Past, Present, and Future -- Bootstrapping the Interactome...
Testo
Elettronico eBook
9
Pubblicazione 2006
Sommario: ... for Protein Function Prediction -- A Branch-and-Reduce Algorithm for the Contact Map Overlap Problem -- A...
Testo
Elettronico eBook
10
Pubblicazione 2007
Sommario: ... Encoding Schemes in GA’s for the Motif Finding Problem: Preliminary Results -- Multi-Objective Clustering...
Testo
Elettronico eBook
11
Pubblicazione 2007
Sommario: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
Testo
Elettronico eBook
12
di Zhang, Yue., Zhang, Yue.
Pubblicazione 2015
Sommario: ... Python Program -- Branching and Looping -- Problem solving using branches and loops -- Functions -- Lists...
Testo
Elettronico eBook
13
Pubblicazione 2008
Sommario: ...Selected Articles -- Multi-label Hierarchical Classification of Protein Functions with Artificial...
Testo
Elettronico eBook
14
Pubblicazione 2007
Sommario: ... -- The Roman Domination Problem in Unit Disk Graphs -- Binding Number and Connected (g,f?+?1)-Factors in Graphs...
Testo
Elettronico eBook
15
Pubblicazione 2007
Sommario: ... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...
Testo
Elettronico eBook
16
di Ghosh, Jit., Ghosh, Jit., Cameron, Rob.
Pubblicazione 2010
Sommario: ... User Experiences -- Data Binding -- Controls -- Browser Integration -- Networking and Web Service...
Testo
Elettronico eBook
17
di Hermes, Dan., Hermes, Dan.
Pubblicazione 2015
Soggetti: ...Mobile Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I29060...
Testo
Elettronico eBook
18
Pubblicazione 2005
Sommario: ... Functions over Ring Z p -- A Fast Algorithm for Determining the Linear Complexity of Periodic Sequences...
Testo
Elettronico eBook
19
Pubblicazione 2010
Sommario: ... Logarithm Problem in a Short Interval -- Encryption II -- Functional Encryption for Inner Product: Achieving...
Testo
Elettronico eBook
20
Pubblicazione 2012
Sommario: ....- Enumeration of Even-Variable Boolean Functions with Maximum Algebraic Immunity.- Multi-precision...
Testo
Elettronico eBook