Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- TÜBİTAK (199)
- Technological University Dublin (195)
- Wright State University (107)
- Old Dominion University (102)
- Missouri University of Science and Technology (100)
-
- Neutrosophic Systems with Applications (89)
- University of Texas at El Paso (78)
- University of Central Florida (76)
- Purdue University (73)
- University of South Carolina (72)
- Embry-Riddle Aeronautical University (71)
- University of Nebraska - Lincoln (71)
- San Jose State University (69)
- Singapore Management University (63)
- Tashkent State Technical University (56)
- Air Force Institute of Technology (51)
- Chulalongkorn University (47)
- California Polytechnic State University, San Luis Obispo (45)
- New Jersey Institute of Technology (45)
- University of New Mexico (39)
- National Taiwan Ocean University (31)
- Santa Clara University (31)
- Florida Institute of Technology (30)
- Louisiana State University (30)
- Clemson University (28)
- Portland State University (28)
- University of Kentucky (28)
- Marquette University (27)
- University of Nevada, Las Vegas (25)
- Utah State University (25)
- Keyword
-
- Machine learning (77)
- Natural language processing (67)
- Machine Learning (57)
- Fuzzy logic (53)
- Computer Science (52)
-
- Deep learning (52)
- Department of Computer Science and Engineering (52)
- Natural Language Processing (51)
- Artificial intelligence (48)
- Engineering (43)
- Artificial Intelligence (40)
- Deep Learning (29)
- Social media (28)
- Fuzzy Logic (27)
- Twitter (27)
- AI (25)
- Large Language Models (23)
- NLP (23)
- Large language models (22)
- MCDM (22)
- Sentiment analysis (22)
- Ontology (21)
- Applied sciences (20)
- Neural networks (20)
- Optimization (20)
- BERT (18)
- Education (18)
- Engineering education (18)
- Computer Engineering (17)
- Decision making (17)
- Publication Year
- Publication
-
- Turkish Journal of Electrical Engineering and Computer Sciences (199)
- Theses and Dissertations (135)
- Neutrosophic Systems with Applications (89)
- Electronic Theses and Dissertations (80)
- Browse all Theses and Dissertations (72)
-
- Dissertations (66)
- Publications (61)
- Research Collection School Of Computing and Information Systems (58)
- Conference papers (57)
- Departmental Technical Reports (CS) (51)
- Chemical Technology, Control and Management (48)
- Articles (46)
- Master's Projects (46)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (44)
- Master's Theses (38)
- Electrical and Computer Engineering Faculty Research & Creative Works (34)
- Faculty Publications (31)
- Journal of Marine Science and Technology–Taiwan (31)
- Masters Theses (30)
- Theses (28)
- Branch Mathematics and Statistics Faculty and Staff Publications (26)
- Computer Science and Engineering Faculty Publications (26)
- Electrical & Computer Engineering Theses & Dissertations (24)
- Iraqi Journal for Computer Science and Mathematics (24)
- Doctoral Dissertations (22)
- Journal of Pre-College Engineering Education Research (J-PEER) (22)
- Journal of System Simulation (20)
- Engineering Management & Systems Engineering Theses & Dissertations (19)
- Open Access Theses & Dissertations (19)
- LSU Doctoral Dissertations (18)
- Publication Type
- File Type
Articles 2551 - 2580 of 2858
Full-Text Articles in Entire DC Network
Wind Power, Distributed Generation: New Challenges, New Solutions, Vladimiro Miranda
Wind Power, Distributed Generation: New Challenges, New Solutions, Vladimiro Miranda
Turkish Journal of Electrical Engineering and Computer Sciences
This paper discusses some issues related with the growing importance of wind power and in modern power systems and some challenges raised by the emergence of distributed generation, and how computational intelligence and other modern techniques have been able to provide valuable results in solving the new problems. It presents some solutions obtained with a number of computational intelligence techniques and their application to real cases.
Auto-Pipe And The X Language: A Toolset And Language For The Simulation, Analysis, And Synthesis Of Heterogeneous Pipelined Architectures, Master's Thesis, August 2006, Eric J. Tyson
All Computer Science and Engineering Research
Pipelining an algorithmis a popularmethod of increasing the performance of many computation-intensive applications. Often, one wants to form pipelines composed mostly of commonly used simple building blocks such as DSP components, simple math operations, encryption, or pattern matching stages. Additionally, one may desire to map these processing tasks to different computational resources based on their relative performance attributes (e.g., DSP operations on an FPGA). Auto-Pipe is composed of the X Language, a flexible interface language that aids the description of complex dataflow topologies (including pipelines); X-Com, a compiler for the X Language; X-Sim, a tool for modeling pipelined architectures based …
Advances And Applications Of Dezert-Smarandache Theory (Dsmt) For Information Fusion (Collected Works), Vol. 2, Florentin Smarandache, Jean Dezert
Advances And Applications Of Dezert-Smarandache Theory (Dsmt) For Information Fusion (Collected Works), Vol. 2, Florentin Smarandache, Jean Dezert
Branch Mathematics and Statistics Faculty and Staff Publications
This second volume dedicated to Dezert-Smarandache Theory (DSmT) in Information Fusion brings in new fusion quantitative rules (such as the PCR1-6, where PCR5 for two sources does the most mathematically exact redistribution of conflicting masses to the non-empty sets in the fusion literature), qualitative fusion rules, and the Belief Conditioning Rule (BCR) which is different from the classical conditioning rule used by the fusion community working with the Mathematical Theory of Evidence.
Other fusion rules are constructed based on T-norm and T-conorm (hence using fuzzy logic and fuzzy set in information fusion), or more general fusion rules based on N-norm …
Modeling The Influences Of Personality Preferences On The Selection Of Instructional Strategies Inintelligent Tutoring Systems, Robert Sottilare
Modeling The Influences Of Personality Preferences On The Selection Of Instructional Strategies Inintelligent Tutoring Systems, Robert Sottilare
Electronic Theses and Dissertations
This thesis hypothesizes that a method for selecting instructional strategies (specifically media) based in part on a relationship between learning style preference and personality preference provides more relevant and understandable feedback to students and thereby higher learning effectiveness. This research investigates whether personality preferences are valid predictors of learning style preferences. Since learning style preferences are a key consideration in instructional strategies and instructional strategies are a key consideration in learning effectiveness, this thesis contributes to a greater understanding of the relationship between personality preferences and effective learning in intelligent tutoring systems (ITS). This research attempts to contribute to the …
Iterchanging Discrete Event Simulationprocess Interaction Modelsusing The Web Ontology Language - Owl, Lee Lacy
Electronic Theses and Dissertations
Discrete event simulation development requires significant investments in time and resources. Descriptions of discrete event simulation models are associated with world views, including the process interaction orientation. Historically, these models have been encoded using high-level programming languages or special purpose, typically vendor-specific, simulation languages. These approaches complicate simulation model reuse and interchange. The current document-centric World Wide Web is evolving into a Semantic Web that communicates information using ontologies. The Web Ontology Language OWL, was used to encode a Process Interaction Modeling Ontology for Discrete Event Simulations (PIMODES). The PIMODES ontology was developed using ontology engineering processes. Software was …
Implementation Of A Multi-Layered Fuzzy Controller On An Fpga, Ajit Paal Singh Khatra
Implementation Of A Multi-Layered Fuzzy Controller On An Fpga, Ajit Paal Singh Khatra
Browse all Theses and Dissertations
The uses of Autonomous Mobile robots range from the teleoperated Sojourner on the Mars Pathfinder mission to cleaning robots in the Paris Metro. They have overtaken tasks which are too difficult or dangerous to perform or require the repetition of the same procedure over and over again and can become dull for a human to perform. The objective of this thesis is to develop and implement a multilayered fuzzy controller on an FPGA for the navigational control of an autonomous mobile robot (AMR). The navigational algorithm assists the robot in navigating through complex environments of passages and hallways. The FPGA …
Fuzzy-Neural Cost Estimation For Engine Tests, Edit J. Kaminsky, Holly Danker-Mcdermott, Freddie Douglas
Fuzzy-Neural Cost Estimation For Engine Tests, Edit J. Kaminsky, Holly Danker-Mcdermott, Freddie Douglas
Electrical Engineering Faculty Publications
This chapter discusses artificial computational intelligence methods as applied to cost prediction. We present the development of a suite of hybrid fuzzy-neural systems for predicting the cost of performing engine tests at NASA’s Stennis Space Center testing facilities. The system is composed of several adaptive network-based fuzzy inference systems (ANFIS), with or without neural subsystems. The output produced by each system in the suite is a rough order of magnitude (ROM) cost estimate for performing the engine test. Basic systems predict cost based solely on raw test data, whereas others use preprocessing of these data, such as principal components and …
A Corpus-Based Concatenative Speech Synthesis System For Turkish, Haşi̇m Sak, Tunga Güngör, Yaşar Safkan
A Corpus-Based Concatenative Speech Synthesis System For Turkish, Haşi̇m Sak, Tunga Güngör, Yaşar Safkan
Turkish Journal of Electrical Engineering and Computer Sciences
Speech synthesis is the process of converting written text into machine-generated synthetic speech. Concatenative speech synthesis systems form utterances by concatenating pre-recorded speech units. Corpus-based methods use a large inventory to select the units to be concatenated. In this paper, we design and develop an intelligible and natural sounding corpus-based concatenative speech synthesis system for the Turkish language. The implemented system contains a front-end comprised of text analysis, phonetic analysis, and optional use of transplanted prosody. The unit selection algorithm is based on commonly used Viterbi decoding algorithm of the best-path in the network of the speech units using spectral …
Coalgebras And Their Logics, Alexander Kurz
Coalgebras And Their Logics, Alexander Kurz
Engineering Faculty Articles and Research
"Transition systems pervade much of computer science. This article outlines the beginnings of a general theory of specification languages for transition systems. More specifically, transition systems are generalised to coalgebras. Specification languages together with their proof systems, in the following called (logical or modal) calculi, are presented by the associated classes of algebras (e.g., classical propositional logic by Boolean algebras). Stone duality will be used to relate the logics and their coalgebraic semantics."
Structural Descriptions In Human-Assisted Robot Visual Learning, Geert-Jan Kruijff, John D. Kelleher, Gregor Berginc, Ales Leonardis
Structural Descriptions In Human-Assisted Robot Visual Learning, Geert-Jan Kruijff, John D. Kelleher, Gregor Berginc, Ales Leonardis
Conference papers
The paper presents an approach to using structural descriptions, obtained through a human-robot tutoring dialogue, as labels for the visual ob ject models a robot learns. The paper shows how structural descriptions can relate models for different aspects of one and the same object, and how relating descriptions for visual models and discourse referents enables incremental updating of model descriptions through dialogue (either robot- or human-initiated). The approach has been implemented in an integrated architecture for human-assisted robot visual learning.
Information Fusion For Visual Reference Resolution In Dynamic Situated Dialogue., Geert-Jan Kruijff, John D. Kelleher, Nick Hawes
Information Fusion For Visual Reference Resolution In Dynamic Situated Dialogue., Geert-Jan Kruijff, John D. Kelleher, Nick Hawes
Conference papers
Human-Robot Interaction (HRI) invariably involves dialogue about objects in the environment in which the agents are situated. The paper focuses on the issue of resolving discourse references to such visual objects. The paper addresses the problem using strategies for intra-modal fusion (identifying that different occurrences concern the same object), and inter-modal fusion, (relating object references across different modalities). Core to these strategies are sensori-motoric coordination, and ontology-based mediation between content in different modalities. The approach has been fully implemented, and is illustrated with several working examples
Spatial Prepositions In Context: The Semantics Of Near In The Presence Of Distractor Objects., Fintan Costello, John D. Kelleher
Spatial Prepositions In Context: The Semantics Of Near In The Presence Of Distractor Objects., Fintan Costello, John D. Kelleher
Conference papers
The paper examines how people’s judgements of proximity between two objects are influenced by the presence of a third object. In an experiment participants were presented with images containing three shapes in different relative positions, and asked to rate the acceptability of a locative expression such as ‘the circle is near the triangle’ as descriptions of those images. The results showed an interaction between the relative positions of objects and the linguistic roles that those objects play in the locative expression: proximity was a decreasing function of the distance between the object in the head position in the expression and …
An Internet Based Intelligent Argumentation System For Collaborative Engineering Design, Xiaoqing Frank Liu, Samir Raorane, Man Zheng, Ming-Chuan Leu
An Internet Based Intelligent Argumentation System For Collaborative Engineering Design, Xiaoqing Frank Liu, Samir Raorane, Man Zheng, Ming-Chuan Leu
Computer Science Faculty Research & Creative Works
Modern product design is a very complicated process which involves groups of designers, manufacturers, suppliers, and customer representatives. Conflicts are unavoidable in collaboration among multiple stakeholders, who have different objectives, requirements, and priorities. Unfortunately, current web-based collaborative engineering design systems do not support collaborative conflict resolution. In this paper, we will develop an intelligent computational argumentation model to enable management of a large scale argumentation network, and resolution of conflicts based on argumentation from many participants. A web-based intelligent argumentation tool is developed as a part of a web-based collaborative engineering design system based on the above model to resolve …
An Interval Type-Ii Robust Fuzzy Logic Controller For A Static Compensator In A Multimachine Power System, Salman Mohagheghi, Ganesh K. Venayagamoorthy, Ronald G. Harley
An Interval Type-Ii Robust Fuzzy Logic Controller For A Static Compensator In A Multimachine Power System, Salman Mohagheghi, Ganesh K. Venayagamoorthy, Ronald G. Harley
Electrical and Computer Engineering Faculty Research & Creative Works
This paper presents a novel fuzzy logic based controller for a Static Compensator (STATCOM) connected to a power system. Type-II fuzzy systems are selected that enable the controller to deal with design uncertainties and the noise associated with the measurements in the power system. Interval type-II fuzzy is computationally more effective than the ordinary type-II fuzzy systems and is more suitable for the power network with fast changing dynamics. Using a proportional-integrator approach the proposed controller is capable of dealing with actual rather than deviation signals. The STATCOM is connected to a multimachine power system in order to provide extra …
Assimilating Non-Probabilistic Assessments Of The Estimation Of Uncertainty Bias In Expert Judgment Elicitation Using An Evidence Based Approach In High Consequence Conceptual Designs, Colin K. S. Barrows
Assimilating Non-Probabilistic Assessments Of The Estimation Of Uncertainty Bias In Expert Judgment Elicitation Using An Evidence Based Approach In High Consequence Conceptual Designs, Colin K. S. Barrows
Engineering Management & Systems Engineering Theses & Dissertations
One of the major challenges in conceptual designs of complex systems is the identification of uncertainty embedded in the information due to lack of historic data. This becomes of increased concern especially in high-risk industries. This document reports a developed methodology that allows for the cognitive bias, estimation of uncertainty, to be elucidated to improve the quality of elicited data. It consists of a comprehensive literature review that begins by defining a 'High Consequence Conceptual Engineering Environment' and identifies the high-risk industries in which these environments are found. It proceeds with a discussion that differentiates risk and uncertainty in decision-making …
Distribution Dynamics Of Complex Systems, Young-Pyo Jeon
Distribution Dynamics Of Complex Systems, Young-Pyo Jeon
LSU Doctoral Dissertations
A complex system is defined as a system with many interdependent parts having emergent self-organization; analyzing and designing such complex systems is a new challenge. A common observable structure of many complex systems is the network, which is connections among nodes, and thus inherently difficult to describe. The goal of this research is to introduce an effective methodology to describe complex systems, and thus we will construct a population balance (distribution kinetics) model based on the association-dissociation process to describe the evolution of complex systems. Networks are commonly observed structures in complex systems with interdependent parts that self-organize. How networks …
Attention Driven Reference Resolution In Multimodal Contexts, John D. Kelleher
Attention Driven Reference Resolution In Multimodal Contexts, John D. Kelleher
Articles
In recent years a a number of psycholinguistic experiments have pointed to the interaction between language and vision. In particular, the interaction between visual attention and linguistic reference. In parallel with this, several theories of discourse have attempted to provide an account of the relationship between types of referential expressions on the one hand and the degree of mental activation on the other. Building on both of these traditions, this paper describes an attention based approach to visually situated reference resolution. The framework uses the relationship between referential form and preferred mode of interpretation as a basis for a weighted …
Evaluation Of The Effect Of Vehicle Performance On Consumer Satisfaction, Elizabeth A. Cudney
Evaluation Of The Effect Of Vehicle Performance On Consumer Satisfaction, Elizabeth A. Cudney
Doctoral Dissertations
"Value is the relationship of functionality or benefit to the cost of a product or service. Consumers appear to seek value, but not all consumers are alike in their needs and wants. Common characteristics that consumers desire in automobiles include a high level of value relative to the product's cost. Consumers measure vehicle performance in terms of twenty-three attributes such as roominess, ride, reliability, handling, brake pedal feel, visibility, interior noise, acceleration, etc. Problems arise when automakers try to translate these characteristics into vehicle performance specifications and capabilities.
Quality is an essential element for both the consumer and producer since …
Coalition Battle Management Language (C-Bml) Study Group Final Report, Major Kevin Galvin, Mike Hieb, Andreas Tolk, Charles Turnitsa, Curtis Blais, James Montgomery
Coalition Battle Management Language (C-Bml) Study Group Final Report, Major Kevin Galvin, Mike Hieb, Andreas Tolk, Charles Turnitsa, Curtis Blais, James Montgomery
Computational Modeling & Simulation Engineering Faculty Publications
Interoperability across Modeling and Simulation (M&S) and Command and Control (C2) systems continues to be a significant problem for today's warfighters. M&S is well-established in military training, but it can be a valuable asset for planning and mission rehearsal if M&S and C2 systems were able to exchange information, plans, and orders more effectively. To better support the warfighter with M&S based capabilities, an open standards-based framework is needed that establishes operational and technical coherence between C2 and M&S systems.
Control Interaction Mitigation For The Unified Power Flow Controller, Liangying Dong, Mariesa Crow
Control Interaction Mitigation For The Unified Power Flow Controller, Liangying Dong, Mariesa Crow
Electrical and Computer Engineering Faculty Research & Creative Works
This paper establishes that dynamic interactions can occur between multiple UPFCs installed in power systems. The existence of the dynamic interactions can adversely affect the overall system performance and lead to system instability. This paper identifies two types of interactions among FACTS controllers: low frequency inter-area interaction and high frequency controller interactions. Several control approaches are proposed to mitigate these interactions. The IEEE New England 10-machine 39-bus system is used to demonstrate the existence of the control interactions and illustrate the effectiveness of the proposed interaction mitigation controls.
Complexity Measure Of A Product Or Process By Application Of Fuzzy Multi-Attribute Utility Theory, Shrikant Chandrakant Nagpure
Complexity Measure Of A Product Or Process By Application Of Fuzzy Multi-Attribute Utility Theory, Shrikant Chandrakant Nagpure
Mechanical & Aerospace Engineering Theses & Dissertations
During the early phases of design, the development cost of complex products or systems is very difficult to obtain because of the uncertainties related to their work breakdown structures and the wide choice of manufacturing technologies with no historical data specific to these products. This thesis presents a method to derive a complexity index to capture the non-additive property and inherent uncertainty, i.e. fuzziness, of the technologies that could be used for complex objects. This complexity index can then be used as a cost index for comparing various candidate manufacturing processes.
Macros are written in Microsoft Excel to establish a …
Co-Generation Of Text And Graphics, David G. Novick, Brian Lowe
Co-Generation Of Text And Graphics, David G. Novick, Brian Lowe
Departmental Papers (CS)
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approach to co-generation of text and graphics uses a single logical specification; a second approach starts with CAD-based representation and produces a corresponding textual account. This paper explores these two different approaches, reports the results of using prototypes embodying the approaches to represent simple figures, and discusses issues that were identified through use of the prototypes. While it appears feasible to co-generate text and graphics automatically, the process raises deep issues of design of …
Usability Over Time, Valerie Mendoza, David G. Novick
Usability Over Time, Valerie Mendoza, David G. Novick
Departmental Papers (CS)
Testing of usability could perhaps be more accurately described as testing of learnability. We know more about the problems of novice users than we know of the problems of experienced users. To understand how these problems differ, and to understand how usability problems change as users change from novice to experienced, we conducted a longitudinal study of usability among middle-school teachers creating Web sites. The study looked at the use both the use of documentation and the underlying software, tracking the causes and extent of user frustration over eight weeks. We validated a categorization scheme for frustration episodes. We found …
Robust Techniques And Applications In Fuzzy Clustering, Amit Banerjee
Robust Techniques And Applications In Fuzzy Clustering, Amit Banerjee
Dissertations
This dissertation addresses issues central to frizzy classification. The issue of sensitivity to noise and outliers of least squares minimization based clustering techniques, such as Fuzzy c-Means (FCM) and its variants is addressed. In this work, two novel and robust clustering schemes are presented and analyzed in detail. They approach the problem of robustness from different perspectives. The first scheme scales down the FCM memberships of data points based on the distance of the points from the cluster centers. Scaling done on outliers reduces their membership in true clusters. This scheme, known as the Mega-clustering, defines a conceptual mega-cluster which …
Keynote: Role Of Values & Culture In Information Technology, Prof. Dr. Anis Ahmad
Keynote: Role Of Values & Culture In Information Technology, Prof. Dr. Anis Ahmad
International Conference on Information and Communication Technologies
It is no longer unusual to see, in a remote town in northern area in Pakistan, a practically non-literate wagon driver calling from his Nokia cell phone his uncle in Dubai or in Karachi. He enjoys sharing with him about his success in business and the settlement of family disputes. While he is driving on dangerous curvy roads and having this conversation, in the back seat of the wagon a comparatively young person is playing games on his cell phone. All this was unimaginable a quarter of a century ago.
Design Of A Reconfigurable State Transition Algorithm For Fuzzy Automata, Paolo A. Tamayo
Design Of A Reconfigurable State Transition Algorithm For Fuzzy Automata, Paolo A. Tamayo
Masters Theses
An Ontological Controller, a type of supervisory controller used for complex industrial systems, is usually characterized by a large global state set. Monitoring the global state set of these systems is impractical when the desired goal path is chosen since the decision on the next state depends only on a small section of the total state space. The approach is to operate only in a small moving window of the large state transition path. The Hybrid Fuzzy-Boolean Finite State Machine (HFB-FSM) is part of the solution to implement this scheme. The HFB-FSM models the state graph along with plant data …
Santa Clara Magazine, Volume 47 Number 1, Summer 2005, Santa Clara University
Santa Clara Magazine, Volume 47 Number 1, Summer 2005, Santa Clara University
Santa Clara Magazine
9 - A MOGUL IN THE MAKING By Larry Sokoloff J.D. '92 While working toward his business degree, SCU sophomore Tyler Dickman runs a multimillion-dollar business based in Florida.
10 - TOP OF THE CLASS: FOUNDATION HONORS INNOVATIVE SCU PROFESSORS By Kim Kooyers. This year's winners of the Louis and Dorina Brutocao Award for Teaching Excellence and the Brutocao Family Foundation Award for Curriculum Innovation are examples of the SCU's outstanding teaching scholars.
14 - A GLOBAL ETHIC: A CONVERSATION WITH HANS KUNG By Rita Beamish '74 Hans Kung, scholar, Roman Catholic priest, and author of some 50 books on …
Engineering At San Jose State University, Summer 2005, San Jose State University, Charles W. Davidson College Of Engineering
Engineering At San Jose State University, Summer 2005, San Jose State University, Charles W. Davidson College Of Engineering
Engineering at San Jose State University
No abstract provided.
Time-Domain Isolated Phoneme Classification Using Reconstructed Phase Spaces, Michael T. Johnson, Richard J. Povinelli, Andrew C. Lindgren, Jinjin Ye, Xiaolin Liu, Kevin M Indrebo
Time-Domain Isolated Phoneme Classification Using Reconstructed Phase Spaces, Michael T. Johnson, Richard J. Povinelli, Andrew C. Lindgren, Jinjin Ye, Xiaolin Liu, Kevin M Indrebo
Electrical and Computer Engineering Faculty Research and Publications
This paper introduces a novel time-domain approach to modeling and classifying speech phoneme waveforms. The approach is based on statistical models of reconstructed phase spaces, which offer significant theoretical benefits as representations that are known to be topologically equivalent to the state dynamics of the underlying production system. The lag and dimension parameters of the reconstruction process for speech are examined in detail, comparing common estimation heuristics for these parameters with corresponding maximum likelihood recognition accuracy over the TIMIT data set. Overall accuracies are compared with a Mel-frequency cepstral baseline system across five different phonetic classes within TIMIT, and a …
Security Information Management With Frame-Based Attack Presentation And First-Order Reasoning, Wei Yan
Security Information Management With Frame-Based Attack Presentation And First-Order Reasoning, Wei Yan
Dissertations
Internet has grown by several orders of magnitude in recent years, and this growth has escalated the importance of computer security. Intrusion Detection System (IDS) is used to protect computer networks. However, the overwhelming flow of log data generated by IDS hamper security administrators from uncovering new insights and hidden attack scenarios. Security Information Management (SIM) is a new growing area of interest for intrusion detection. The research work in this dissertation explores the semantics of attack behaviors and designs Frame-based Attack Representation and First-order logic Automatic Reasoning (FAR-FAR) using linguistics and First-order Logic (FOL) based approaches. Techniques based on …