1
... interaction effect for depression (p = 0.045) in the control group. Conclusions The buddy program training...
View full text
Article
2
Published 2014
Table of Contents: ... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...
View full text
Electronic eBook
4
Published 2013
Table of Contents: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... stability program -- Automatic brake functions -- Hydraulic modulator -- Sensors for brake control...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... -- Probing of Nascent Riboswitch Transcripts -- Functional Studies of DNA-Protein Interactions Using FRET...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... of the Effective Method of Generating Characteristic Gestures in Nonverbal Communication -- Hand-Object Interaction...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
View full text
Electronic eBook
16
Table of Contents: ... -- Testing for randomness, agreement and interaction -- Block Designs -- General Theory of Hypothesis Testing...
View full text
Electronic eBook
17
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... OPTIMIZATION -- ADAPTIVE DIRECTIONAL WEIGHTED MEDIAN FILTERING -- AN INTERACTIVE WORKFLOW MANAGEMENT FUNCTION...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
View full text
Electronic eBook