Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
constructive induction » constructive education, constructive interaction, constructive function
induction programming » inductive programming, introduction programming, instruction programming
programming practical » programming periodicals, programming functional, programming logical
practical function » practical foundation, practical action, practical foundations
constructive induction » constructive education, constructive interaction, constructive function
induction programming » inductive programming, introduction programming, instruction programming
programming practical » programming periodicals, programming functional, programming logical
practical function » practical foundation, practical action, practical foundations
1
Argitaratua 2015
Aurkibidea:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... with Grammar Expansion -- FrameNet-Based Fact-Seeking Answer Processing: A Study of Semantic Alignment...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2010
Aurkibidea:
“... document design and the corresponding application code -- A Framework to Analyze Software Analysis...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“... for Unstructured Programs -- Combination of Abstractions in the ASTRÉE Static Analyzer -- Proving Noninterference...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“... of McEliece Variants with Compact Keys -- Key Recovery Attacks of Practical Complexity on AES-256 Variants...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2006
Aurkibidea:
“... to All Pairs of Destinations -- A New Approximation Algorithm for the k-Facility Location Problem...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2007
Aurkibidea:
“... -- On the Analysis of Symbolic Data -- Symbolic Analysis to Learn Evolving CyberTraffic -- A Clustering Algorithm...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“..., Induction, and Analogy -- Belief Revision vs. Conceptual Change in Mathematics -- Affordances as Abductive...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Learning Task to Another -- A Distance-Based Approach for Action Recommendation -- Multi-armed Bandit...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“...: Multidimensional Scaling vs. Semidefinite Programming Approach -- On the Complexity of the Greedy Construction...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2012
Aurkibidea:
“...-homologous End-joining-deficient Strains for Functional Gene Analyses in Filamentous Fungi -- Atomic Force...”Testu osoa
Baliabide elektronikoa
eBook