Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
functions computational » function computation, directions computational, section computational
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
validating problems » validation problems, validation problem, auditing problems
functions computational » function computation, directions computational, section computational
programming validating » programming evaluating, programming writing, programming balancing
functions computation » function computation, functions composition, function composition
validating problems » validation problems, validation problem, auditing problems
1
Foilsithe 2006
Clár Ábhair:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2008
Clár Ábhair:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2010
Clár Ábhair:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2015
Clár Ábhair:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2014
Clár Ábhair:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2013
Clár Ábhair:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2008
Clár Ábhair:
“...Intelligent Control -- Optimization of Interval Type-2 Fuzzy Logic Controllers for a Perturbed...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
le Mansor, Hasmah
Foilsithe 2011
Ábhair:
“...Automatic control - Computer programs...”Foilsithe 2011
Faigh an téacs iomlán
Thesis
9
Foilsithe 2013
Clár Ábhair:
“... Database Schemas -- Pareto Front Investigation of Multivariable Control Systems -- Multi-objective...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2007
Clár Ábhair:
“... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2005
Clár Ábhair:
“... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
le Ismail, Haqi Khalid
Foilsithe 2021
Ábhair:
“...Computer networks - Access control...”Foilsithe 2021
Faigh an téacs iomlán
Thesis
13
Foilsithe 2010
Clár Ábhair:
“...1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2010
Clár Ábhair:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Clár Ábhair:
“... -- Expressing Arguments -- Defining Data Structures -- Expressing Problem Specifications -- Expressing Program...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Foilsithe 2008
Clár Ábhair:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2010
Clár Ábhair:
“...Public Key Encryption -- On the Broadcast and Validity-Checking Security of pkcs#1 v1.5 Encryption...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Clár Ábhair:
“... Causality Approaches to Economic Modeling -- Evolutionary Approaches to Computational Economics: Application...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2005
Clár Ábhair:
“... Analysis of a Multi-release Telecommunications System -- Performance Rather than Capability Problems...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2005
Clár Ábhair:
“... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
- 1
- 2
- Ar aghaidh »
- [2]