Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
computation programming » communication programming, computation programmatic, computing programming
programming decisions » programming decision, programming design, programming session
function computation » function computing, function decomposition, section computational
decisions practices » relations practices, decisions operations, decisions principles
practices tools » practice tools, practical tools, practical tool
computation programming » communication programming, computation programmatic, computing programming
programming decisions » programming decision, programming design, programming session
function computation » function computing, function decomposition, section computational
decisions practices » relations practices, decisions operations, decisions principles
practices tools » practice tools, practical tools, practical tool
1
Foilsithe 2008
Clár Ábhair:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2010
Clár Ábhair:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
le Kangas, Annika., Kangas, Annika., Kurttila, Mikko., Hujala, Teppo., Eyvindson, Kyle., Kangas, Jyrki.
Foilsithe 2015
Clár Ábhair:
“...1. Planning and Decision Support -- 2. Forest Management Planning -- 3. Single-Criteria Problems...”Foilsithe 2015
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Clár Ábhair:
“...Discrete Problems -- Unidimensional Problems -- Multi-Criteria Decision Problems -- Uncertainty...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2008
Clár Ábhair:
“...Agents 1 -- A Light-Weight Multi-Agent System Manages 802.11 Mesh Networks -- Decisions...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2007
Clár Ábhair:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2010
Clár Ábhair:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2010
Clár Ábhair:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2005
Clár Ábhair:
“... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2015
Clár Ábhair:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2005
Clár Ábhair:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
13
Foilsithe 2005
Clár Ábhair:
“...Keynote Papers -- Digitally Sponsored Convergence of Design Education, Research and Practice...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2010
Clár Ábhair:
“... from the Health Care Domain -- Decision-Making Ontology for Information System Engineering -- Reasoning...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2010
Clár Ábhair:
“... Architectural Knowledge Go? -- REST in Practice -- Full Research Papers -- An ADL-Approach to Specifying...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
le Elsheikh, Ranya, Mohamed Shariff, Abdul Rashid, Amiri, Fazel, Ahmad, Noordin, Balasundram, Siva Kumar, Mohd Soom, Mohd Amin
Foilsithe 2013
“... realistic, practicable and functional systems. It is useful for decision makers to determine the quality...”Foilsithe 2013
Faigh an téacs iomlán
Article
17
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
18
Foilsithe 2006
Clár Ábhair:
“... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2007
Clár Ábhair:
“... Domain -- Designing Pervasive Brain-Computer Interfaces -- Medical Expert Systems and Decision Support...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2008
Clár Ábhair:
“... Frames -- The Human Web and the Domestication of the Networked Computer -- Evaluation of the Energy...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
- 1
- 2
- Ar aghaidh »
- [2]