Filters








119 Hits in 8.7 sec

A survey of static analysis methods for identifying security vulnerabilities in software systems

M. Pistoia, S. Chandra, S. J. Fink, E. Yahav
2007 IBM Systems Journal  
Yahav, “Typestate Verification: Abstraction Techniques and Complexity Results,” Proceedings of Static Analysis Symposium (SAS’03), in Lecture Notes in Computer Science 2694, 439-462 (June 2003). G.  ...  , San Diego, CA, USA, IEEE Computer Society (February 2005), http://jimmnewsome.net/papers/ taintcheck.pdf.  ... 
doi:10.1147/sj.462.0265 fatcat:ykcfy2vgdzgllnxprlyyiieaia

Conclusion and Perspectives [chapter]

2014 Multimodal Interactive Systems Management  
Academic Press, San Diego, CA, USA.  ...  In Proceedings of the 1st International Conference on Human Language Technology Research (HLT 2001), pages 1-7, San Diego, CA, USA. Mostefa, D., Moreau, N., Choukri, K., Potamianos, G., Chu, S.  ... 
doi:10.1201/b15535-30 fatcat:pizevl5wrzbinctnvshmftmpiq

Priorities assignment for actions in a transport system based on a multicriteria decision model [chapter]

2009 Reliability, Risk, and Safety, Three Volume Set  
Richter, A. 2003: "New Ways of managing Prevention: A Cultural and Participative Approach". Safety Science Monitor 1: 2003. Roberts K.H. 1990.  ...  Identifying, Understanding, and Analyzing Critical Infrastructure Interdependencies, IEEE Control Systems Magazine, vol. 21, pp. 11-25. Santos-Reyes, J. and Beard, A.  ...  Analysis of Dependent Human Failure Events Using the EPRI HRA Calculator. Proc. of the ANS Topical Meeting on Probabilistic Safety Assessment (PSA'05), San Francisco, CA, USA, 11-15 Sept 2005.  ... 
doi:10.1201/9780203859759-69 fatcat:wnkjp4evmnawrn55cmckrgazze

XXIII ISPRS Congress, Proceedings and Results – Volume XLI, Part A, 2016

L. Halounová, C. Heipke, A. Radtke
2018 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
Image Analysis + HRIGI ISPRS Greetings, Paper 138 39 Apr 25-29, 2015 Joao Pessoa, Brazil Bras. Remote Sensing Symposium Key Note 40 May 11-13, 2015 Berlin, Germany 36th Int.  ...  XL-7/W2 11 Nov. 2013 Antalya, TURKEY Annals Vol. II-3/W2 11-13 Nov. 2013 Antalya, TURKEY Annals Vol. II-5/W2 12-13 Nov. 2013 Antalya, TURKEY Annals Vol.  ...  The volumes I-VII (1908/09, 1909/11, 1911/13, 1913/14, 1915/19, 1919/23, 1924/30 ) have or had their repository in Austria and Volume XI is in the USA.  ... 
doi:10.5194/isprs-archives-xli-a-1-2018 fatcat:hzsxrsslsfcxtmmcqlp46dgnky

Proceedings from the 10th Annual Conference on the Science of Dissemination and Implementation

2018 Implementation Science  
It was proceeded by a technical assistance workshop where seventy investigators brought concepts for the next set of studies.  ...  For the second year in a row, the poster slam allowed presentations that enabled Implementation Science 2018, 13(Suppl 4):46  ...  University of California, San Diego, San Diego, CA, USA; 6 VA San Diego Healthcare System, San Diego, CA, USA; 7 South Texas Veterans Health Care System, San Antonio, TX, USA; 8 University of Texas Health  ... 
doi:10.1186/s13012-018-0728-7 fatcat:grkd373r2fddbl4n4vm3cffur4

Journal Support

E. V. Zoby
2007 Journal of Spacecraft and Rockets  
American Control Conference, American Automatic Control Council, San Diego, CA, 1999, pp. 2975 2979 Keshmiri, M., Misra, A. K., and Modi, V.  ...  Vol. 1, Rockwell 772-SH-0060- II Downey CA, Anon Acrodynamic International Space Div., Rept Nov. 1977 P.  ... 
doi:10.2514/1.29495 fatcat:7e5oaluhcjemvn67tvdcnchanq

A Clean, Well-Lighted Place

Polyxeni Potter
2010 Emerging Infectious Diseases  
Acknowledgments The authors thank Jon Seger and Patrice Showers Corneli for their expert input and advice on developing the phylogenetic analysis. Dr.  ...  originating and submitting laboratories of the sequences from the GISAID The Study In April 2016, we used first-stage larvae (L1) from gravid D. insignis worms from raccoons (Procyon lotor) in Georgia (USA  ...  ., San Diego, CA, USA); libraries were sequenced as 200-or 250-bp paired end reads on an Illumina MiSeq machine.  ... 
doi:10.3201/eid1604.000000 fatcat:53fmnxwgyfgxvdjy5iactnlzka

Serologic Evidence of Lyssavirus Infections among Bats, the Philippines

Paul M. Arguin
2002 Emerging Infectious Diseases  
Acknowledgments The authors thank Jon Seger and Patrice Showers Corneli for their expert input and advice on developing the phylogenetic analysis. Dr.  ...  originating and submitting laboratories of the sequences from the GISAID The Study In April 2016, we used first-stage larvae (L1) from gravid D. insignis worms from raccoons (Procyon lotor) in Georgia (USA  ...  ., San Diego, CA, USA); libraries were sequenced as 200-or 250-bp paired end reads on an Illumina MiSeq machine.  ... 
doi:10.3201/eid0803.010330 pmid:11927022 pmcid:PMC2732470 fatcat:rxltgngecrbepneu6nvv35d6cm

Insecticide Resistance and Vector Control

William Brogdon
1998 Emerging Infectious Diseases  
Acknowledgments The authors thank Jon Seger and Patrice Showers Corneli for their expert input and advice on developing the phylogenetic analysis. Dr.  ...  originating and submitting laboratories of the sequences from the GISAID The Study In April 2016, we used first-stage larvae (L1) from gravid D. insignis worms from raccoons (Procyon lotor) in Georgia (USA  ...  ., San Diego, CA, USA); libraries were sequenced as 200-or 250-bp paired end reads on an Illumina MiSeq machine.  ... 
doi:10.3201/eid0404.980410 pmid:9866736 pmcid:PMC2640263 fatcat:feoinmwqvfhknkcofd4kngmce4

Dengue Seroconversion among Israeli Travelers to Tropical Countries

Israel Potasman, Isaac Srugo, Eli Schwartz
1999 Emerging Infectious Diseases  
Acknowledgments The authors thank Jon Seger and Patrice Showers Corneli for their expert input and advice on developing the phylogenetic analysis. Dr.  ...  originating and submitting laboratories of the sequences from the GISAID The Study In April 2016, we used first-stage larvae (L1) from gravid D. insignis worms from raccoons (Procyon lotor) in Georgia (USA  ...  ., San Diego, CA, USA); libraries were sequenced as 200-or 250-bp paired end reads on an Illumina MiSeq machine.  ... 
doi:10.3201/eid0506.990615 pmid:10603220 pmcid:PMC2640810 fatcat:dqpgjzloxngvxc3nkjveymmjju

Foodborne Illness: Implications for the Future

Richard Hall
1997 Emerging Infectious Diseases  
Acknowledgments The authors thank Jon Seger and Patrice Showers Corneli for their expert input and advice on developing the phylogenetic analysis. Dr.  ...  originating and submitting laboratories of the sequences from the GISAID The Study In April 2016, we used first-stage larvae (L1) from gravid D. insignis worms from raccoons (Procyon lotor) in Georgia (USA  ...  ., San Diego, CA, USA); libraries were sequenced as 200-or 250-bp paired end reads on an Illumina MiSeq machine.  ... 
doi:10.3201/eid0304.970421 pmid:9366609 pmcid:PMC2640088 fatcat:gzcahzddqff7vlfggb5kpxpxfu

The Test of Word Finding (TWF – 2). (A pilot study and validation of the test in normal Greek population aged from 8 till 9 years of age). [Abstract]

Dionysios Tafiadis, Tafiadi M. Fotiadou B.
2017 Figshare  
"1st International Congress on Neurobiology and Clinical Psychopharmacology & European Psychiatric Association on Treatment Guidance", Thessaloniki Greece, on 19 – 22 November, 2009.pg.173  ...  His scientific work includes 20 publications included in the SCI and 21 chapters in books (3with international publishers).  ...  He served as lecturer in Forensic Psychiatry (2000)(2001)(2002)(2003)(2004)(2005) and currently as assistant profesor in Forensic Psychiatry Athens University Medical School.  ... 
doi:10.6084/m9.figshare.5263360.v1 fatcat:qifsw6cnrbg3nl4neqg5johdbm

Proceedings of the 4th World Conference on Research Integrity

Susan Patricia O'Brien, Danny Chan, Frederick Leung, Eun Jung Ko, Jin Sun Kwak, TaeHwan Gwon, Ji Min Lee, Min-Ho Lee, Helga Nolte, Michael Gommel, Gerlinde Sponholz, Yordanka Krastev (+361 others)
2016 Research Integrity and Peer Review  
These Proceedings contain the abstracts of the presentations given at the 4th World Conference in concurrent sessions, partner symposia, and poster sessions.  ...  Diego, San Diego, USA Research Integrity and Peer Review 2016, 1(Suppl 1):CS22.1 Correspondence: Michael Kalichman (mkalichman@ucsd.edu) -University of California San Diego, San Diego, USACourses,  ...  Of these, 14.9 % (11) were registered within 30 days of the study recruitment date. 17.6 % (13) were registered within 50 days of the recruitment date.  ... 
doi:10.1186/s41073-016-0012-9 fatcat:rvlvx33jsfdonhjlvohststifm

Visual Analysis in Traffic & Re-identification [article]

Andreas Møgelmose
2015 Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet  
The Extension was captured in and around San Diego.  ...  The extension has been collected in and around San Diego, California on urban streets during the spring of 2014.  ... 
doi:10.5278/vbn.phd.engsci.00026 fatcat:taivrerts5debi734ddeeaq244

WEDNESDAY PLENARY SESSION 4 WEDNESDAY PARALLEL SESSIONS

2005 Vox Sanguinis  
The NAT test was the Procleix Ultrio assay (Genprobe/Chiron, San Diego, USA). The HBs Ag test was the Prism HBsAg (Abbott, France).  ...  BBTS has organized 35 symposiums, 13 national courses, 1 national and 1 international congresses since 1997.  ...  Douglas Huestis (USA).  ... 
doi:10.1111/j.1423-0410.2005.00655.x fatcat:excvaja2x5b25cbsnfhwj3gemq
« Previous Showing results 1 — 15 out of 119 results