↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Tyck till om SwePub Sök här!

Träfflista för sökning "WFRF:(Spector D) ;mspu:(conferencepaper)"

Sökning: WFRF:(Spector D) > Konferensbidrag

Resultat 1-3 av 3

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Aagaard, K, et al. (författare) A Genome Wide Association Study (GWAS) from a global cohort identifies common variants in FSHB and SMAD3 driving spontaneous human dizygotic twinning 2016 Ingår i: AMERICAN JOURNAL OF OBSTETRICS AND GYNECOLOGY. - : Elsevier BV. - 0002-9378. ; 214:1, s. S53-S53 Konferensbidrag (övrigt vetenskapligt/konstnärligt)
2.	Hritcu, C., et al. (författare) Testing noninterference, quickly 2013 Ingår i: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. - New York, NY, USA : ACM. - 9781450323260 ; 2013, s. 455-468 Konferensbidrag (refereegranskat)abstract Information-flow control mechanisms are difficult to design and labor intensive to prove correct. To reduce the time wasted on proof attempts doomed to fail due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the design process. We show how to use QuickCheck, a property-based random-testing tool, to guide the design of a simple information-flow abstract machine. We find that both sophisticated strategies for generating well-distributed random programs and readily falsifiable formulations of noninterference properties are critically important. We propose several approaches and evaluate their effectiveness on a collection of injected bugs of varying subtlety. We also present an effective technique for shrinking large counterexamples to minimal, easily comprehensible ones. Taken together, our best methods enable us to quickly and automatically generate simple counterexamples for all these bugs.
3.	Kerkhof, H. J., et al. (författare) Recommendations For Standardization And Phenotype Definitions In Genetic Studies Of Osteoarthritis: The Treat-Oa Consortium 2010 Ingår i: Osteoarthritis and Cartilage. - 1063-4584. ; 18, s. 160-160 Konferensbidrag (refereegranskat)

Skapa referenser, mejla, bekava och länka

Länka till träfflistan

Resultat 1-3 av 3

Avgränsa träffmängd

Typ av publikation: konferensbidrag (3)Ta bort avgränsningen

Typ av innehåll: refereegranskat (2); övrigt vetenskapligt/konstnärligt (1)

Författare/redaktör: Spector, T (2); Miller, M. (1); Aagaard, K (1); Mbarek, H (1); Steinberg, S (1); Nyholt, D (1); visa fler...; Gordon, S (1); Mcrae, A (1); Hottenga, JJ (1); Day, F (1); Hinds, D (1); Willemsen, G (1); Degeus, E (1); Davies, G (1); Martin, H (1); Lambalk, C (1); Penninx, B (1); Jansen, R (1); McAloney, K (1); Vink, J (1); Kaprio, J (1); Plomin, R (1); Magnusson, P (1); Boomsma, D (1); Kujala, U (1); Hughes, John, 1958 (1); Wilkinson, J. (1); Gonzalez, A. (1); Lohmander, Stefan (1); Cooper, C. (1); Slagboom, E. (1); Felson, D (1); Stefansson, K (1); Yoshimura, N (1); TSEZOU, A (1); Jonsdottir, I (1); Ikegawa, S (1); Meulenbelt, I (1); Leino-Arjas, P (1); Doherty, M. (1); Jiang, Q (1); Nevitt, M. (1); Arden, N. (1); Lampropoulos, L. (1); Pierce, Benjamin C. (1); Hritcu, C. (1); Spector-Zabusky, A. (1); Vytiniotis, D. (1); Amorim, A.A.D. (1); van Meurs, J (1); visa färre...

Lärosäte: Lunds universitet (1); Chalmers tekniska högskola (1); Karolinska Institutet (1)

Språk: Engelska (3)

Forskningsämne (UKÄ/SCB): Naturvetenskap (1); Medicin och hälsovetenskap (1)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy