Export 306 results:
C. D;Michael, Janet C;, D. W;Stephen, M. V;Patricia, Carciofini J.  2010.  Communications system based on real-time neurophysiological characterization.
Schwerdfeger A.  2010.  Context-Aware Scanning and Determinism-Preserving Grammar Composition, in Theory and Practice.
Michalowski M, Boddy M, Carpenter T.  2010.  Coordinated Management of Large-Scale Networks Using Constraint Satisfaction. Second Workshop on Intelligent Security (Security and Artificial Intelligence) SecArt ’10, Twenty-Fourth AAAI Conference on Artificial Intelligence.
Bonasso P, Boddy M.  2010.  Eliciting Planning Information from Subject Matter Experts. ICAPS 2010 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS).
O’Sullivan D, Michalowski W, Michalowski M, Wilk S.  2010.  Enhanced Document Representation to Support Automatic Retrieval of Clinical Evidence from The Cochrane Library. KEDDH Workshop at IEEE International Conference on Bioinformatics & Biomedicine (BIBM-10).
Klement W, Wilk S, Michalowski M, Farion K.  2010.  Experienced Physicians and Automatic Generation of Decision Rules from Clinical Data. Rough Sets and Current Trends in Computing - 7th International Conference, RSCTC 2010.
Voon L.CLew Yan, Sandberg E., Aga R.S, Farajian A.A.  2010.  Hydrogen compounds of group-IV nanosheets. Applied Physics Letters. 97
Hing MMainegra, Michalowski M, Wilk S, Michalowski W, Farion K.  2010.  Identifying Inconsistencies in Multiple Clinical Practice Guidelines for a Patient with Co-morbidity. KEDDH Workshop at IEEE International Conference on Bioinformatics & Biomedicine (BIBM-10).
Santosh M;, M. V;Patricia, C. D;Michael, Carciofini J, D. W;Stephen.  2010.  Neurophysiologically driven high speed image triage system and method.
Boddy M, Bonasso R.  2010.  Planning for Human Execution of Procedures Using ANML. ICAPS 2010 Scheduling and Planning Applications Workshop.
Goldman RP, Kong D, Mankins D, Schwartz B, Spicuzza D, Zatko PMudge, Strayer T, Milliken W, Watro R, Heimerdinger W et al..  2009.  An Architecture for Scalable Network Defense.
Payne C, O’Brien R, Haigh J.T.  2009.  The Case for Prevention-based, Host-resident Defenses in the Modern PCS Network.
Easwarin A, Lee I, Sokolsky O, Vestal S.  2009.  A Compositional Scheduling Framework for Digital Avionics Systems. IEEE Real-Time Computing Systems and Applications.
Bonasso R.P., Boddy M, Kortenkamp D.  2009.  Enhancing NASA’s Procedure Representation Language to Support Planning Operations.
Goldman RP, Harp S.  2009.  Model-based Intrusion Assessment in Common Lisp.
Michalowski W., Wilk S., Sayyad-Shirabad J., Kuziemsky C., O’Sullivan D., Farion K., Michalowski M.  2009.  Modeling Clinical Practice Guidelines using Predicate Logic for Reasoning with Incomplete Patient’s Data. 20th International Conference on Multiple Criteria Decision Making, Chengdu China (2009).
Bonasso R.P., Boddy M, Kortenkamp D, Bell S.  2009.  Ontological Models to Support Planning Operations. International Workshop on Planning and Scheduling for Space (IWPSS).
Isle B, Freeman R, Glantz C, Stoddard M, Melton R, Hester MS, Sands C, Muehrcke C, Morgen MC, Coles G.  2009.  Summary of SCADA Cyber Self-Assessment Working Group.
Haigh J.T, Harp S, O’Brien R, Payne C, Gohde J, Maraist J.  2009.  Trapping Malicious Insiders in the SPDR Web.
Schwerdfeger A, Van Wyk ER.  2009.  Verifiable Composition of Deterministic Grammars. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
Schwerdfeger A, Van Wyk E.  2009.  Verifiable Parse Table Composition for Deterministic Parsing. 2nd International Conference on Software Language Engineering.
O’Brien R, Payne C.  2009.  Virtual Private Groups for Protecting Critical Infrastructure Networks.