Some Resources for Teaching Concurrency

Some Resources for Teaching Concurrency

Manylion Llyfryddiaeth
Prif Awduron:	Gopalakrishnan, G, Yang, Y, Vakkalanka, S, Vo, A, Aananthakrishnan, S, Szubzda, G, Sawaya, G, Williams, J, Sharma, S, DeLisi, M, Atzeni, S
Fformat:	Conference item
Cyhoeddwyd:	ACM 2009

Eitemau Tebyg

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

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

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

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

Career criminals in society /
gan: 187581 DeLisi, Matt
Cyhoeddwyd: (2005)

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

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

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

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

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

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

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

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

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

Picturing resources in concurrency
gan: Piedeleu, R
Cyhoeddwyd: (2018)

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

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

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

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

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

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

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

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

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

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

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

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

Concurrent Process Histories and Resource Transducers
gan: Chad Nester
Cyhoeddwyd: (2023-01-01)

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

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

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

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

Borel determinacy of concurrent games
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2013)

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

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

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

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

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

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

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