1
Udgivet 2006
Indholdsfortegnelse: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
Få fuldtekst
Electronisk eBog
3
4
Udgivet 2010
Indholdsfortegnelse: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
Få fuldtekst
Electronisk eBog
5
Udgivet 2015
Indholdsfortegnelse: ... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... -- An Adaptive Multibiometric System for Uncertain Audio Condition -- Analysis of Performance Impact due...
Få fuldtekst
Electronisk eBog
7
Udgivet 2013
Indholdsfortegnelse: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
Få fuldtekst
Electronisk eBog
8
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog
9
af Saeed, Walid
Udgivet 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
Få fuldtekst
Thesis
10
Udgivet 2013
Indholdsfortegnelse: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
Få fuldtekst
Electronisk eBog
11
Udgivet 2007
Indholdsfortegnelse: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Få fuldtekst
Electronisk eBog
12
Udgivet 2013
Indholdsfortegnelse: ... -- Computer Aided Diagnostic Methods to Forecast Condition-based Maintenance Tasks -- On Numerical Approach...
Få fuldtekst
Electronisk eBog
13
Udgivet 2013
Indholdsfortegnelse: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Få fuldtekst
Electronisk eBog
16
Udgivet 2015
Indholdsfortegnelse: ... in Dependent Cases -- El hadji Deme, Stéphane Girard, and Armelle Guillou: Reduced-bias Estimator...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
Få fuldtekst
Electronisk eBog
18
Udgivet 2010
Indholdsfortegnelse: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Få fuldtekst
Electronisk eBog
19