Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions computation » function computation, functions composition, function composition
using methods » using method, nursing methods, aging methods
functions computation » function computation, functions composition, function composition
using methods » using method, nursing methods, aging methods
1
Argitaratua 2006
Aurkibidea:
“... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2012
Aurkibidea:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”Testu osoa
Baliabide elektronikoa
eBook
4
Aurkibidea:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2010
Aurkibidea:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2015
Aurkibidea:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”Testu osoa
Baliabide elektronikoa
eBook
7
Aurkibidea:
“... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2014
Aurkibidea:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Testu osoa
Baliabide elektronikoa
eBook
11
Aurkibidea:
“... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
nork Koohi, Sina Zangbari
Argitaratua 2020
Gaiak:
“...Parallel programming (Computer science) - Research...”Argitaratua 2020
Testu osoa
Thesis
13
Argitaratua 2014
Aurkibidea:
“... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2007
Aurkibidea:
“.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2007
Aurkibidea:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2014
Aurkibidea:
“... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2005
Aurkibidea:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Testu osoa
Baliabide elektronikoa
eBook