Showing 21 - 40 of 3,896

21

Early adversity and psychiatric symptoms – a prospective study on Ethiopian mothers and their children
Johan Isaksson ; Negussie Deyessa ; Yemane Berhane ; et al.
BMC Psychiatry, Vol 17, Iss 1, Pp 1-7 (2017)

Perinatal Maternal distress Intimate partner violenc... Programming theory Child psychiatric sympto... Psychiatry
Academic journal
Save to List
22

Travelling processes
XINBEI TANG ; WOODCOCK, Jim
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :381-399

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
23

Pointer theory and weakest preconditions without addresses and heap
SCHIEDER, Birgit
MPC 2004 : mathematics of program construction (Stirling, 12-14 July 2004)Lecture notes in computer science. :357-380

Computer science Informatique Mathematics Mathématiques Sciences exactes et tech... Exact sciences and techn...
Conference
Save to List
24

Books Received for Review.
Interfaces. Jan/Feb2007, Vol. 37 Issue 1, p88-88. 1/3p.

BOOKS NONLINEAR Programming: T... MASS Customization: Chal... DECOMPOSITION Techniques... STIMULATING Innovation i... BAZARAA, M. S.
Academic journal
Save to List
25

Quantum Calculi—From Theory to Language Design
Zorzi, Margherita ; Zorzi, Margherita

quantum language design quantum computing programming theory
Academic journal
Save to List
26

Using instructor written acceptance tests using the Fit framework
STEINBERG, Daniel H
Extreme programming and agile processes in software engineering (Genova, 25-29 May 2003)Lecture notes in computer science. :378-385

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
27

Relational concurrent refinement
DERRICK, John ; BOITEN, Eerke
RefinementFormal aspects of computing. 15(2-3):182-214

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
28

A semantic foundation for TCOZ in unifying Theories of Programming
SHENGCHAO QIN ; JIN SONG DONG ; CHIN, Wei-Ngan
FME 2003 : formal methods (Pisa, 8-14 September 2003)Lecture notes in computer science. :321-340

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
29

A refinement strategy for Circus
CAVALCANTI, Ana ; SAMPAIO, Augusto ; WOODCOCK, Jim
RefinementFormal aspects of computing. 15(2-3):146-181

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
30

High maternal cortisol levels during pregnancy are associated with more psychiatric symptoms in offspring at age of nine – A prospective study from Nicaragua
Isaksson, J. ; Lindblad, F. ; Valladares, E. ; et al.
In Journal of Psychiatric Research December 2015 71:97-102

Academic journal
Save to List
31

Type destructors
HOFMANN, Martin ; PIERCE, Benjamin C
FOOL VInformation and computation (Print). 172(1):29-62

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
32

Towards a time model for Circus
SHERIF, Adnan ; HE JIFENG
Formal methods and software engineering (Shanghai, 21-25 October 2002)Lecture notes in computer science. :613-624

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
33

Refinement in Circus
SAMPAIO, Augusto ; WOODCOCK, Jim ; CAVALCANTI, Ana
FME 2002 : formal methods - getting IT right (Copenhagen, 22-24 July 2002)Lecture notes in computer science. :451-470

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
34

Privacy via subsumption
RIECKE, Jon G ; STONE, Christopher A
FOOL VInformation and computation (Print). 172(1):2-28

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
35

Optimizing nested loops using local CPS conversion
REPPY, John
Special Issue on the Third ACM SIGPLAN Workshop on Continuations (CW'01)Higher-order and symbolic computation. 15(2-3):161-180

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
36

Objects and classes in algol-like languages
REDDY, Uday S
FOOL VInformation and computation (Print). 172(1):63-97

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
37

Linear continuation-passing
BERDINE, Josh ; O'HEARN, Peter ; REDDY, Uday ; et al.
Special Issue on the Third ACM SIGPLAN Workshop on Continuations (CW'01)Higher-order and symbolic computation. 15(2-3):181-208

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
38

Axioms for recursion in call-by-value
HASEGAWA, Masahito ; KAKUTANI, Yoshihiko
Special Issue on the Third ACM SIGPLAN Workshop on Continuations (CW'01)Higher-order and symbolic computation. 15(2-3):235-264

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
39

An abstract model for scheduling real-time programs
ARENAS, Alvaro E
Formal methods and software engineering (Shanghai, 21-25 October 2002)Lecture notes in computer science. :204-215

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Conference
Save to List
40

Diseño e implementación de un juego de Sudoku
Luque Carmona, María de las Maravillas ; García Fernández, Ángel Luis ; Universidad de Jaén. Informática

1203.18 1203.02 1203.17 1203.23 1203.24 Sistemas de información
Dissertation/ Thesis
Save to List

Filter