43,489 Hits in 5.7 sec

The K Primer (version 3.3)

Traian Florin Şerbănuţă, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Roşu
2014 Electronical Notes in Theoretical Computer Science  
This paper serves as a brief introduction to the K tool, a system for formally defining programming languages.  ...  It is shown how sequential or concurrent languages can be defined in K simply and modularly.  ...  Acknowledgment The work presented in this paper was supported in part by the (Romanian) DAK project Contract 161/15.06.2010, NSF grant CCF-1218605, the NSA grant H98230-10-C-0294, the DARPA HACMS program  ... 
doi:10.1016/j.entcs.2014.05.003 fatcat:2vkwul55mngijiujttn6xurlx4

Parallel Solutions to the k-difference Primer Problem [chapter]

Leandro Feuser, Nahri Moreano
2018 Lecture Notes in Computer Science  
To the authors' knowledge, these are the first parallel solutions proposed for the k-difference primer problem.  ...  This paper presents parallel solutions to the k-difference primer problem, targeting multicore processors and GPUs.  ...  ICCS Camera Ready Version 2018 To cite this paper please use the final published version: DOI: 10.1007/978-3-319-93698-7_39 2 This paper presents parallel solutions to the k-difference primer problem,  ... 
doi:10.1007/978-3-319-93698-7_39 fatcat:lpj52u6ezjfrppvf4wkolnagpa

Microsatellite Primers for the Gynodioecious Grassland Perennial Saxifraga granulata (Saxifragaceae)

Sascha van der Meer, Jeroen K. J. Van Houdt, Gregory E. Maes, Bart Hellemans, Hans Jacquemyn
2014 Applications in Plant Sciences  
The reads were imported in PAL Finder version 0.02.04 software ( Castoe et al., 2012 ) to extract simple sequence repeats (SSRs) and to develop primer pairs for amplifi cation.  ...  The authors would like to thank J. S. van Zweden and K. Van Acker for assistance in the fi eld and T. Reijnders for assistance in the laboratory.  ... 
doi:10.3732/apps.1400040 pmid:25225628 pmcid:PMC4162666 fatcat:vzhavlslerhxnn3njhzq33q7qe

A primer on lower extremity outcome measurement instruments

C L Saltzman, C Mueller, K Zwior-Maron, R D Hoffman
1998 The Iowa Orthopaedic Journal  
The usefulness of these instruments in the assessment of patient outcomes after lower extremity interventions is worrisome.  ...  Tracing the roots of lower extremity outcome scales is an interesting and somewhat bemusing journey.  ...  There are two versions of WOMAC.  ... 
pmid:9807715 pmcid:PMC2378175 fatcat:imziwkjkavg7tj4p76hpylk6mq

Algebraic K-theory, assembly maps, controlled algebra, and trace methods A primer and a survey of the Farrell–Jones Conjecture [chapter]

Holger Reich, Marco Varisco, Jochen Brüning, Matthias Staudacher
2018 Space – Time – Matter  
We give a concise introduction to the Farrell-Jones Conjecture in algebraic K-theory and to some of its applications.  ...  We survey the current status of the conjecture, and we illustrate the two main tools that are used to attack it: controlled algebra and trace methods.  ...  This work was supported by the Collaborative Research Center 647 Space -Time -Matter in Berlin, and by a grant from the Simons Foundation (#419561, Marco Varisco).  ... 
doi:10.1515/9783110452150-001 fatcat:odghpygvvbhadlygk6yzifmowy

Benchmark of 16S rRNA gene amplicon sequencing using Japanese gut microbiome data from the V1–V2 and V3–V4 primer sets

Shoichiro Kameoka, Daisuke Motooka, Satoshi Watanabe, Ryuichi Kubo, Nicolas Jung, Yuki Midorikawa, Natsuko O. Shinozaki, Yu Sawai, Aya K. Takeda, Shota Nakamura
2021 BMC Genomics  
We conclude that the use of the modified V12 primer set is more desirable in the 16S analysis of the Japanese gut microbiota.  ...  Here, we compared fecal 16S analysis data from 192 Japanese volunteers using the modified V1–V2 (V12) and the standard V3–V4 primer (V34) sets to optimize the gut microbiota analysis protocol.  ...  Declarations Ethics approval and consent to participate All procedures complied with the principles of the Declaration of Helsinki and were approved by the Ethical Review Board at Research Institute for  ... 
doi:10.1186/s12864-021-07746-4 pmid:34246242 fatcat:7kpulsnxkbgi5ccipq3lmfx5nu

The influence of the dentin smear layer on adhesion: a self-etching primer vs. a total-etch system

Sofia S.A Oliveira, Megan K Pugach, Joan F Hilton, Larry G Watanabe, Sally J Marshall, Grayson W Marshall
2003 Dental Materials  
To determine the effect of dentin smear layers created by various abrasives on the adhesion of a self-etching primer (SE) and total-etch (SB) bonding systems. Methods.  ...  After conditioning with SE primer, the tubule openness of specimens abraded by carbide bur did not differ from 240-or 320-grit paper, but did differ from the 600-grit. Significance.  ...  Acknowledgements Sofia Oliveira is supported by a PhD fellowship from the Portuguese Ministry for Science and Technology, Praxis XXI program. This study was supported by NIH/NIDCR Grant P0.1 DE09859.  ... 
doi:10.1016/s0109-5641(03)00023-x pmid:14511734 fatcat:slatv3otyjearemiz2ifsju22m

Voltage-Gated K+ Channel, Kv3.3 Is Involved in Hemin-Induced K562 Differentiation

Min Seok Song, Seon Young Choi, Pan Dong Ryu, So Yeong Lee, Giuseppe Pignataro
2016 PLoS ONE  
The K v channels, or at least K v 3.3, appear to be associated with cell differentiation; therefore, understanding the mechanisms of K v channel regulation of cell differentiation would provide important  ...  Down-regulation of K v 3.3 also enhanced cell adhesion by increasing integrin β3 and this effect was amplified when the cells were cultured with fibronectin.  ...  Statistical analysis All data are shown as means ± standard error (SE) and the Student t-test or One-way ANOVA was used to analyze the data (GraphPad Prism version 5.0).  ... 
doi:10.1371/journal.pone.0148633 pmid:26849432 pmcid:PMC4743930 fatcat:mdwrlme6qrhixiphwb7duscbw4

Characterization of polymorphic microsatellite loci in the terrestrial isopod Armadillidium vulgare

2006 Molecular Ecology Notes  
The common pill bug, Armadillidium vulgare , is known to harbour two distinct strains of the feminizing proteobacteria Wolbachia .  ...  In order to study the effect of the presence of Wolbachia on the evolution of A. vulgare populations, we developed and characterized a set of nine polymorphic microsatellite loci from two microsatellite-enriched  ...  The PhD work of Sébastien Verne is supported by a doctoral fellowship from the Région Poitou-Charentes.  ... 
doi:10.1111/j.1471-8286.2006.01220.x fatcat:h5lmeu7suvefrdjgu5k2dieupi

Development of nine polymorphic microsatellite loci in the spined loach,Cobitis taenia,and cross-species amplification in the related speciesC. elongatoides,C. tauricaandC. tanaitica

2008 Molecular Ecology Resources  
These markers will be valuable for the study of the historical and contemporary interactions within C. taenia and the Cobitis species complex.  ...  Some of the loci are most likely diagnostic among species.  ...  version 3.3 (Raymond & Rousset 1995) .  ... 
doi:10.1111/j.1755-0998.2008.02135.x pmid:21585954 fatcat:jp54d5opanhotnk4cwjztgq6lu

Di- and tri-nucleotide repeat microsatellites for the mealy plum aphid, Hyalopterus pruni

2005 Molecular Ecology Notes  
These loci represent the first microsatellites developed for Hyalopterus and they should be of great value in studying the invasion biology and population structure of this insect pest.  ...  Polymorphism was high, ranging from six to 22 alleles per locus in the individuals screened.  ...  3.3 (Raymond & Rousset 1995)  ... 
doi:10.1111/j.1471-8286.2005.00969.x fatcat:unh5jwp7vnajfgxgs3uubicol4

Cloning and Expression of the Human T-Type Channel Cav3.3: Insights into Prepulse Facilitation

Juan Carlos Gomora, Janet Murbartián, Juan Manuel Arias, Jung-Ha Lee, Edward Perez-Reyes
2002 Biophysical Journal  
Similar voltagedependent gating and kinetics were found for truncated versions of human Ca v 3.3, which lack either 118 or 288 of the 490 amino acids that compose the carboxyl terminus.  ...  The full-length human Ca v 3.3 (␣ 1I ) T-type channel was cloned, and found to be longer than previously reported.  ...  The Kazusa DNA Research Institute, Chiba, Japan, kindly provided the KIAA1120 cDNA. We thank Glaxo-SmithKline for help with DNA sequencing.  ... 
doi:10.1016/s0006-3495(02)75164-3 pmid:12080115 pmcid:PMC1302142 fatcat:gjphucgazvhf5cu2nlt4ak4dz4

Development of Microsatellite Markers forIsodon longitubus(Lamiaceae)

Tadashi Yamashiro, Asuka Yamashiro, Ikumi Dohzono, Masayuki Maki
2013 Applications in Plant Sciences  
Hardy-Weinberg equilibrium and linkage disequilibrium were analyzed using GENEPOP version 3.3 ( Raymond and Rousset, 1995 ) .  ...  GENEPOP (version 3.3): Population genetics software for exact tests and ecumenicism. Journal of Heredity 86 : 248 -249 . SCHUELKE , M. 2000 .  ... 
doi:10.3732/apps.1300028 pmid:25202487 pmcid:PMC4103467 fatcat:kyfzyn5k5rg5zj7g7nrwlgydee

Di- and trinucleotide repeat microsatellites for the parasitoid wasp, Aphidius transcaspicus

2006 Molecular Ecology Notes  
The Mediterranean parasitoid Aphidius transcaspicus is currently under investigation as a potential biological control agent for the mealy plum aphid, Hyalopterus pruni , in California.  ...  These are the first loci developed for A. transcaspicus and they will be of value in studying the population structure of this potential biocontrol agent and for future diagnostics.  ...  Station of the University of California.  ... 
doi:10.1111/j.1471-8286.2005.01126.x fatcat:ps7f4ex4vjh5ddkseraxwk5bt4

Page 68 of The Journal of Ecology Vol. 94, Issue 1 [page]

2006 The Journal of Ecology  
The number of ramets of each species within a grid of 15 x 15 3.3 x cells over these plots was counted every year in mid July from 1984 until 1997.  ...  A mod- ified version of the PCR-RAPD procedure of Williams et al. (1990) was used in order to identify genets.  ... 
« Previous Showing results 1 — 15 out of 43,489 results