Some Resources for Teaching Concurrency

Some Resources for Teaching Concurrency

Xehetasun bibliografikoak
Egile Nagusiak:	Gopalakrishnan, G, Yang, Y, Vakkalanka, S, Vo, A, Aananthakrishnan, S, Szubzda, G, Sawaya, G, Williams, J, Sharma, S, DeLisi, M, Atzeni, S
Formatua:	Conference item
Argitaratua:	ACM 2009

Antzeko izenburuak

ISP: A Tool for Model Checking MPI Programs
nork: Vakkalanka, S, et al.
Argitaratua: (2008)

THE IMPORTANCE OF NEUROPSYCHOLOGICAL DEFICITS RELATING TO SELF-CONTROL AND TEMPERAMENT TO THE PREVENTION OF SERIOUS ANTISOCIAL BEHAVIOR
nork: Matt DeLisi, et al.
Argitaratua: (2011-01-01)

The role of synthetic biology in climate change mitigation
nork: Charles DeLisi
Argitaratua: (2019-08-01)

A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs
nork: Sharma, S, et al.
Argitaratua: (2008)

Career criminals in society /
nork: 187581 DeLisi, Matt
Argitaratua: (2005)

Historical pursuits of the language pathway hypothesis of schizophrenia
nork: Lynn E. DeLisi
Argitaratua: (2021-11-01)

Data Perturbation Independent Diagnosis and Validation of Breast Cancer Subtypes Using Clustering and Patterns
nork: G. Alexe, et al.
Argitaratua: (2006-01-01)

Visioning our community : using urban design to move from "don't want" to "want"
nork: DeLisi, Daniel (Daniel Bryon), 1973-
Argitaratua: (2011)

ProtocadherinX/Y, a candidate gene-pair for schizophrenia and schizoaffective disorder: A DHPLC investigation of genomic sequence
nork: Giouzeli, M, et al.
Argitaratua: (2004)

GPU Concurrency: Weak Behaviours and Programming Assumptions
nork: Alglave, J, et al.
Argitaratua: (2015)

Pathway-based classification of cancer subtypes
nork: Kim Shinuk, et al.
Argitaratua: (2012-07-01)

Classifying transcription factor targets and discovering relevant biological features
nork: DeLisi Charles, et al.
Argitaratua: (2008-05-01)

Gene annotation and network inference by phylogenetic profiling
nork: DeLisi Charles, et al.
Argitaratua: (2006-02-01)

<it>In silico</it> regulatory analysis for exploring human disease progression
nork: DeLisi Charles, et al.
Argitaratua: (2008-06-01)

Picturing resources in concurrency
nork: Piedeleu, R
Argitaratua: (2018)

Teaching Concurrency and Parallelism Concepts with CMRE
nork: Laura Cristina De Giusti, et al.
Argitaratua: (2016-11-01)

Protocadherinxy as candidate gene for cerebral asymmetry and psychosis: Is the variation epigenetic?
nork: Crow, T, et al.
Argitaratua: (2002)

The etiology of antisocial personality disorder: The differential roles of adverse childhood experiences and childhood psychopathology
nork: Matt DeLisi, et al.
Argitaratua: (2019-07-01)

Some Challenges of Specifying Concurrent Program Components
nork: Ian J. Hayes
Argitaratua: (2018-10-01)

The detection and classification of membrane-spanning proteins /
nork: 239944 Klien, Petr, et al.

Detection of protocadherinX/Y SNPs in patients with schizophrenia and other family members
nork: Giouzeli, M, et al.
Argitaratua: (2002)

Logic for concurrency and synchronisation /
nork: Queiroz, Ruy J.G.B. de
Argitaratua: (2003)

Binding site graphs: a new graph theoretical framework for prediction of transcription factor binding sites.
nork: Timothy E Reddy, et al.
Argitaratua: (2007-05-01)

Identification and Characterization of Renal Cell Carcinoma Gene Markers
nork: Louis S. Liou, et al.
Argitaratua: (2007-01-01)

VisANT: an online visualization and analysis tool for biological interaction data
nork: DeLisi Charles, et al.
Argitaratua: (2004-02-01)

Teaching Formal Models of Concurrency Specification and Analysis
nork: N. V. Shilov
Argitaratua: (2015-12-01)

Combinations of newly confirmed Glioma-Associated loci link regions on chromosomes 1 and 9 to increased disease risk
nork: Hung Jui-Hung, et al.
Argitaratua: (2011-08-01)

Concurrent Process Histories and Resource Transducers
nork: Chad Nester
Argitaratua: (2023-01-01)

A review of echocardiograms in hypertensive patients greater than 60 years in a community based family medicine program
nork: Shideh Doroudi, et al.
Argitaratua: (2017-01-01)

An updated evidence synthesis on the Risk-Need-Responsivity (RNR) model: umbrella review and commentary
nork: Fazel, S, et al.
Argitaratua: (2024)

Application of an automatic technique to study cerebral asymmetry in schizophrenia
nork: Mackay, C, et al.
Argitaratua: (2001)

Concurrent coronary artery and subclavian arterial aneurysms in Takayasu arteritis
nork: Anoop Ayyappan, et al.
Argitaratua: (2021-09-01)

Borel determinacy of concurrent games
nork: Gutierrez, J, et al.
Argitaratua: (2013)

Uniqueness Typing for Resource Management in Message-Passing Concurrency
nork: Edsko de Vries, et al.
Argitaratua: (2010-03-01)

Crime and Violence among MDMA Users in the United States
nork: Michael G. Vaughn, et al.
Argitaratua: (2015-03-01)

Method of assessing concurrent delays [electronic resource] /
nork: Ar Samsiah Abdullah, 1973- author, et al.
Argitaratua: (2014)

Abstraction of situation calculus concurrent game structures
nork: Lespérance, Y, et al.
Argitaratua: (2024)

The winning ways of concurrent games
nork: Clairambault, P, et al.
Argitaratua: (2012)

Dark Triad Psychopathy Outperforms Self-Control in Predicting Antisocial Outcomes: A Structural Equation Modeling Approach
nork: Pedro Pechorro, et al.
Argitaratua: (2022-05-01)

Concurrent Proximal Fractures Are Rare in Distal Forearm Fractures: A National Cross-sectional Study
nork: Matthew Negaard, et al.
Argitaratua: (2019-07-01)