Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1776)
- Washington University in St. Louis (697)
- Singapore Management University (449)
-
- Embry-Riddle Aeronautical University (436)
- Old Dominion University (383)
- University of Nebraska - Lincoln (243)
- Chulalongkorn University (234)
- Portland State University (115)
- Air Force Institute of Technology (114)
- Chapman University (94)
- University of Arkansas, Fayetteville (84)
- University of Nevada, Las Vegas (74)
- University of New Haven (71)
- University of South Florida (71)
- University for Business and Technology in Kosovo (70)
- Technological University Dublin (64)
- Purdue University (60)
- California Polytechnic State University, San Luis Obispo (46)
- University of South Carolina (41)
- Edith Cowan University (33)
- Journal of Soft Computing and Computer Applications (32)
- New Jersey Institute of Technology (31)
- University of Malaya (31)
- Loyola University Chicago (29)
- San Jose State University (29)
- City University of New York (CUNY) (28)
- Western University (27)
- University of Kentucky (25)
- Keyword
-
- Computer Science (311)
- Department of Computer Science and Engineering (284)
- Engineering (228)
- Machine learning (190)
- Deep learning (187)
-
- Simulation (179)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Genetic algorithm (107)
- Classification (101)
- Computer Engineering (100)
- Optimization (97)
- Particle swarm optimization (85)
- Path planning (85)
- Machine Learning (83)
- Security (75)
- Artificial intelligence (71)
- Computer Sciences (68)
- Physical Sciences and Mathematics (64)
- Cybersecurity (61)
- Virtual reality (58)
- Reinforcement learning (57)
- Robotics (57)
- Digital forensics (56)
- Modeling (56)
- Clustering (55)
- Support vector machine (55)
- Neural network (52)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- All Computer Science and Engineering Research (683)
- Research Collection School Of Computing and Information Systems (431)
-
- Browse all Theses and Dissertations (307)
- Journal of Digital Forensics, Security and Law (298)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (234)
- BITs and PCs Newsletter (157)
- School of Computing: Dissertations, Theses, and Student Research (152)
- Theses and Dissertations (147)
- Electrical & Computer Engineering Theses & Dissertations (139)
- Annual ADFSL Conference on Digital Forensics, Security and Law (104)
- Dissertations (82)
- Computer Science Faculty Publications and Presentations (80)
- Electrical & Computer Engineering and Computer Science Faculty Publications (70)
- Engineering Faculty Articles and Research (67)
- USF Tampa Graduate Theses and Dissertations (62)
- Faculty Publications (61)
- Computer Science Faculty Publications (55)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (54)
- Electronic Theses and Dissertations (53)
- UBT International Conference (51)
- School of Computing: Conference and Workshop Papers (45)
- Computer Science Theses & Dissertations (41)
- Graduate Theses and Dissertations (34)
- Journal of Soft Computing and Computer Applications (32)
- Dissertations and Theses (31)
- Computer Science: Faculty Publications and Other Works (29)
- Computational Modeling & Simulation Engineering Theses & Dissertations (28)
- Publication Type
- File Type
Articles 9391 - 9420 of 13041
Full-Text Articles in Computer Engineering
Novel Control Strategy For Voltage Source Converters Based On Energy Function, Sanaz Namayan Tavana, Gevork Gharehpetian, Mehrdad Abedi, Ali Bidadfar
Novel Control Strategy For Voltage Source Converters Based On Energy Function, Sanaz Namayan Tavana, Gevork Gharehpetian, Mehrdad Abedi, Ali Bidadfar
Turkish Journal of Electrical Engineering and Computer Sciences
This paper proposes a nonlinear control strategy for pulse-width modulated voltage source converters (VSCs). A passivity-based approach, resulting from the Lyapunov direct method, is presented for designing an effective nonlinear VSC controller to improve their dynamic behaviors under perturbed conditions. The differential equations of the converters are obtained and then transformed into a d-q frame. Considering the nonlinearity of the transformed equations, the Lyapunov direct method is utilized to find a solution to improve the transient response. The time derivative of the Lyapunov function guarantees that increasing its dissipative term will result in the trajectory of the VSC system returning …
A New Multiobjective Optimal Allocation Of Multitype Facts Devices For Total Transfer Capability Enhancement And Improving Line Congestion Using The Harmony Search Algorithm, Abbas Esmaeili, Saeid Esmaeili
A New Multiobjective Optimal Allocation Of Multitype Facts Devices For Total Transfer Capability Enhancement And Improving Line Congestion Using The Harmony Search Algorithm, Abbas Esmaeili, Saeid Esmaeili
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a new approach based on novel heuristic algorithms is used to locate and model multitype flexible alternating current transmission system (FACTS) devices (series and parallel) in order to improve the total transfer capability and decrease the line congestion and total power loss. The multitype FACTS devices, including the static synchronous series compensator, static compensator, and unified power flow controller, have been optimally sized and located simultaneously through the harmony search algorithm (HSA). To achieve this purpose, a program in MATLAB code has been developed in order to extend the conventional Newton--Raphson algorithm for multitype facts applications. Since …
Wavelet Multiscale Analysis Of A Power System Load Variance, Samir Avdakovic, Amir Nuhanovic, Mirza Kusljugic, Elvisa Becirovic, Elma Turkovic
Wavelet Multiscale Analysis Of A Power System Load Variance, Samir Avdakovic, Amir Nuhanovic, Mirza Kusljugic, Elvisa Becirovic, Elma Turkovic
Turkish Journal of Electrical Engineering and Computer Sciences
Wavelet transform (WT) represents a very attractive mathematical area for just more than 15 years of its research in applications in electrical engineering. This is mainly due to its advantages over other processing techniques and signal analysis, which is reflected in the time-frequency analysis, and so it has an important application in the processing and analysis of time series. In this paper, for example, the analysis of the hourly load of a real power system over the past few years was performed by applying the continuous WT and using the Morlet wavelet function. The results show that this approach of …
Linear Switched Reluctance Motor Control With Pic18f452 Microcontroller, Mahi̇r Dursun, Fatmagül Koç
Linear Switched Reluctance Motor Control With Pic18f452 Microcontroller, Mahi̇r Dursun, Fatmagül Koç
Turkish Journal of Electrical Engineering and Computer Sciences
This paper presents the simulation, control, and experimental results of the velocity of a double-sided, 6/4-poled, 3-phased, 8 A, 24 V, 250 W, and 250 N pull force linear switched reluctance motor (LSRM). In the simulation and experimental study, the reference velocity is constant depending on the position and time. The velocity versus the position of the translator was controlled with fuzzy logic control (FLC) and proportional-integral (PI) control techniques. The motor was controlled by PI control method with a PIC18F452 microcontroller due to its low cost. The results of the velocity of a translator were compared with the simulation …
Complexity Reduction Of Rbf Multiuser Detector For Ds-Cdma Using A Genetic Algorithm, Mustafa Uğur Torun, Damla Gürkan Kuntalp
Complexity Reduction Of Rbf Multiuser Detector For Ds-Cdma Using A Genetic Algorithm, Mustafa Uğur Torun, Damla Gürkan Kuntalp
Turkish Journal of Electrical Engineering and Computer Sciences
The optimal receiver for detecting direct sequence code division multiple access (DS-CDMA) signals suffers from computational complexity that increases exponentially with the number of users. Several suboptimal multiuser detectors (MUDs) have been proposed to overcome this problem. Due to the nonlinear nature of the decision boundary of the optimal receiver, it is known that nonlinear receivers outperform linear receivers. Radial basis function (RBF) MUD is a nonlinear suboptimal receiver that can perfectly approximate this decision boundary and it needs no training since it is fully determined when the spreading codes of all users and the channel impulse response (CIR) are …
Capability-Based Task Allocation In Emergency-Response Environments: A Coalition-Formation Approach, Afsaneh Fatemi, Kamran Zamanifar, Naser Nematbakhsh
Capability-Based Task Allocation In Emergency-Response Environments: A Coalition-Formation Approach, Afsaneh Fatemi, Kamran Zamanifar, Naser Nematbakhsh
Turkish Journal of Electrical Engineering and Computer Sciences
This paper addresses coalition formation, based on agent capabilities, centered on task allocation in emergency-response environments (EREs). EREs are environments that need fast task completion as their main requirement. We propose a team-based organization model, based on an existing organization model for adaptive complex systems. The model has some key characteristics that are beneficial for EREs: agents act in dynamic, open domains; agents collaborate in completing group tasks; agents may have similar types of capabilities, but at different levels; tasks need different agent capabilities, at collective different levels; and agents are supervised in a partially decentralized manner. We formulate task …
A Control Algorithm For A Simple Flywheel Energy Storage System To Be Used In Space Applications, Kutlay Aydin, Mehmet Ti̇mur Aydemi̇r
A Control Algorithm For A Simple Flywheel Energy Storage System To Be Used In Space Applications, Kutlay Aydin, Mehmet Ti̇mur Aydemi̇r
Turkish Journal of Electrical Engineering and Computer Sciences
Flywheels have been under consideration to be used for energy storage purposes in space applications to replace electrochemical batteries. An electrical machine is used as a motor to store kinetic energy when the solar energy is available, and then the stored energy is converted back to electrical energy by running the machine as a generator when the solar energy is no longer available. A control algorithm for these systems is proposed in this paper. The proposed method uses a current reference rather than a speed reference in the motor mode. A method is also suggested to properly determine the current …
Optimal Placement Of Pmus Using Improved Tabu Search For Complete Observability And Out-Of-Step Prediction, Amany El Zonkoly, Samah El Safty, Rana Maher
Optimal Placement Of Pmus Using Improved Tabu Search For Complete Observability And Out-Of-Step Prediction, Amany El Zonkoly, Samah El Safty, Rana Maher
Turkish Journal of Electrical Engineering and Computer Sciences
This paper proposes an optimization method for the optimal placement of phasor measurement units (PMUs) for the complete observability of power systems. The proposed method is based on numerical observability and artificial intelligence. The artificial intelligence algorithm used is the improved tabu search (ITS) algorithm. The ITS is used to find the optimal placement for the PMU to keep the system completely observable. In addition, the paper describes a predictive out-of-step (OOS) algorithm based on the observation of the voltage phase difference between the substations. The proposed optimal placement of the PMUs and the OOS algorithm is tested using the …
Anticipating The Friction Coefficient Of Friction Materials Used In Automobiles By Means Of Machine Learning Without Using A Test Instrument, Mustafa Ti̇mur, Fati̇h Aydin
Anticipating The Friction Coefficient Of Friction Materials Used In Automobiles By Means Of Machine Learning Without Using A Test Instrument, Mustafa Ti̇mur, Fati̇h Aydin
Turkish Journal of Electrical Engineering and Computer Sciences
The most important factor for designs in which friction materials are used is the coefficient of friction. The coefficient of friction has been determined taking such variants as velocity, temperature, and pressure into account, which arise from various factors in friction materials, and by analyzing the effects of these variants on friction materials. Many test instruments have been produced in order to determine the coefficient of friction. In this article, a study about the use of machine learning algorithms instead of test instruments in order to determine the coefficient of friction is presented. Isotonic regression was selected as the machine …
Classification Of Power Quality Disturbances Using S-Transform And Tt-Transform Based On The Artificial Neural Network, Sajad Jashfar, Saeed Esmaeili, Mehdi Zareian Jahromi, Mohsen Rahmanian
Classification Of Power Quality Disturbances Using S-Transform And Tt-Transform Based On The Artificial Neural Network, Sajad Jashfar, Saeed Esmaeili, Mehdi Zareian Jahromi, Mohsen Rahmanian
Turkish Journal of Electrical Engineering and Computer Sciences
The classification of power quality (PQ) disturbances to improve the PQ is an important issue in utilities and industrial factories. In this paper, an approach to classify PQ disturbances is presented. First, a signal containing one of the PQ disturbances, like sag, swell, flicker, interruption, transient, or harmonics, is evaluated using the proposed approach. Afterwards, S-transform and TT-transform are applied to the signal and an artificial neural network is used to recognize the disturbance using S-transform and TT-transform data, like the variance and mean values of S-transform and TT-transform matrices. The main features of the proposed approach are the real-time …
Bidding Strategy Of Generation Companies In A Competitive Electricity Market Using The Shuffled Frog Leaping Algorithm, Vijaya Kumar Jonnalagadda, Vinod Kumar Dulla Mallesham
Bidding Strategy Of Generation Companies In A Competitive Electricity Market Using The Shuffled Frog Leaping Algorithm, Vijaya Kumar Jonnalagadda, Vinod Kumar Dulla Mallesham
Turkish Journal of Electrical Engineering and Computer Sciences
In a competitive electricity market, generation companies need suitable bidding models to maximize their profit. Therefore, each supplier will bid strategically for choosing the bidding coefficients to counter the competitors' bidding strategies. In this paper, the optimal bidding strategy problem is solved using a novel algorithm based on the shuffled frog leaping algorithm (SFLA). It is a memetic metaheuristic that is designed to seek a global optimal solution by performing a heuristic search. It combines the benefits of the genetic-based memetic algorithm (MA) and the social behavior-based particle swarm optimization (PSO). This allows it to have a more precise search …
K-Means Algorithm With A Novel Distance Measure, Shadi Abudalfa, Mohammad Mikki
K-Means Algorithm With A Novel Distance Measure, Shadi Abudalfa, Mohammad Mikki
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, we describe an essential problem in data clustering and present some solutions for it. We investigated using distance measures other than Euclidean type for improving the performance of clustering. We also developed an improved point symmetry-based distance measure and proved its efficiency. We developed a k-means algorithm with a novel distance measure that improves the performance of the classical k-means algorithm. The proposed algorithm does not have the worst-case bound on running time that exists in many similar algorithms in the literature. Experimental results shown in this paper demonstrate the effectiveness of the proposed algorithm. We compared …
Performance Evolution Of A Newly Developed General-Use Hybrid Ais-Ann System: Aaa-Response, Seral Özşen, Sali̇h Güneş
Performance Evolution Of A Newly Developed General-Use Hybrid Ais-Ann System: Aaa-Response, Seral Özşen, Sali̇h Güneş
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, we have developed a nonlinear recognition system in the artificial immune systems (AIS) field named `AaA-response (artificial neural network (ANN)-aided AIS-response)', which is different from previous AIS methods in that it uses a different modeling strategy in the formation of the memory response. Because it also uses ANNs in the determination of the correct output, it can be seen as a hybrid system that involves AIS and ANN approaches. Unlike the other AIS methods, AaA-response uses multiple system units (or antibodies) to form an output for a presented input. This property gives the proposed system the ability …
Cada: Channel And Delay Aware Scheduler For Real-Time Applications In Wimax Networks, Melek Oktay, Haci Ali̇ Mantar
Cada: Channel And Delay Aware Scheduler For Real-Time Applications In Wimax Networks, Melek Oktay, Haci Ali̇ Mantar
Turkish Journal of Electrical Engineering and Computer Sciences
Scheduling is the core of the worldwide interoperability for microwave access (WiMAX) technology that directly affects the performance of the network. In this study, we focus on scheduling and present a novel algorithm called the channel and delay aware scheduler (CADA) for real-time applications, such as voice over Internet protocol, video-on-demand, and video streaming. CADA has 2 important modules: wireless and network delay monitoring tools. The wireless module, including the compensation and channel state monitoring modules, increases the network throughput and provides fairness among all of the flows in the network. The network delay monitoring tool calculates the estimated network …
Improving Power Systems Operation Through Multiobjective Optimal Location Of Optimal Unified Power Flow Controller, Afshin Lashkar Ara, Ahad Kazemi, Mohammad Behshad
Improving Power Systems Operation Through Multiobjective Optimal Location Of Optimal Unified Power Flow Controller, Afshin Lashkar Ara, Ahad Kazemi, Mohammad Behshad
Turkish Journal of Electrical Engineering and Computer Sciences
This paper presents a multiobjective optimization methodology to find the optimal location for an optimal unified power flow controller (OUPFC) device. Moreover, the installation cost function of the OUPFC device is developed. The objective functions are the total fuel cost, power losses, and system loadability with and without the minimum cost of the OUPFC installation. The \varepsilon-constraint approach is implemented for the multiobjective mathematical programming formulation. The proposed algorithm is implemented in the IEEE 30- and 118-bus test systems. The solution procedure uses nonlinear programming to optimally locate the OUPFC incorporated in an optimal power flow problem considering these objective …
Using The Csm And Vsm Techniques To Speed Up The Ica Algorithm Without A Loss Of Quality, Mahdi Mahdikhani, Mohammad Hosein Kahaei
Using The Csm And Vsm Techniques To Speed Up The Ica Algorithm Without A Loss Of Quality, Mahdi Mahdikhani, Mohammad Hosein Kahaei
Turkish Journal of Electrical Engineering and Computer Sciences
In blind source separation problems that are implemented based on the independent component analysis (ICA) algorithm, the separation speed and quality are related inversely. In this paper, the proposed algorithms eliminate this tradeoff by generating a faster separation while maintaining the quality. In the proposed algorithms, in each frequency bin and in all of the learning steps, the separation quality of the separating matrix is compared with another one that we define as a situated matrix, and the best matrix is considered as an initial separating matrix in the next learning step. In this paper, we propose 2 algorithms based …
Data Hiding In Digital Images Using A Partial Optimization Technique Based On The Classical Lsb Method, Feyzi̇ Akar, Yildiray Yalman, Hüseyi̇n Selçuk Varol
Data Hiding In Digital Images Using A Partial Optimization Technique Based On The Classical Lsb Method, Feyzi̇ Akar, Yildiray Yalman, Hüseyi̇n Selçuk Varol
Turkish Journal of Electrical Engineering and Computer Sciences
This paper presents a new partial optimization approach for the least significant bit (LSB) data hiding technique that can be used for protecting any secret information or data. A deterioration effect of as little as possible in an image is intended using the LSB data hiding technique and this is well realized utilizing the proposed partial optimization approach achieving the same data embedding bit rates. In the proposed approach, all of the image pixels are classified into 8 regions and then the 8 distinct ordering codings are applied to each region by the developed partial optimization encoder. Thus, the most …
Power Efficient Linear Transmitters Using Sigma-Delta Modulation With Switching Amplifiers, Tayfun Nesimoglu
Power Efficient Linear Transmitters Using Sigma-Delta Modulation With Switching Amplifiers, Tayfun Nesimoglu
Turkish Journal of Electrical Engineering and Computer Sciences
In conventional envelope elimination and restoration transmitters, the envelope information of the carrier is reconstructed by modulating the supply voltage of the switching amplifier. In this paper, it is shown that the supply voltage modulation introduces nonlinearity and reduces the average power efficiency of the transmitter. Here, novel transmitter architectures using sigma-delta--modulated carrier signals are proposed to overcome these shortcomings. The proposed architecture's and conventional envelope elimination and restoration transmitter's linearity and efficiency performances are compared at various oversampling rates and signal bandwidths. It is demonstrated that the proposed architectures may provide better linearity and efficiency than conventional envelope elimination …
Prediction Of Emissions And Exhaust Temperature For Direct Injection Diesel Engine With Emulsified Fuel Using Ann, Görkem Kökkülünk, Erhan Akdoğan, Vezi̇r Ayhan
Prediction Of Emissions And Exhaust Temperature For Direct Injection Diesel Engine With Emulsified Fuel Using Ann, Görkem Kökkülünk, Erhan Akdoğan, Vezi̇r Ayhan
Turkish Journal of Electrical Engineering and Computer Sciences
Exhaust gases have many effects on human beings and the environment. Therefore, they must be kept under control. The International Convention for the Prevention of Pollution from Ships (MARPOL), which is concerned with the prevention of marine pollution, limits the emissions according to the regulations. In Emission Control Area (ECA) regions, which are determined by MARPOL as ECAs, the emission rates should be controlled. Direct injection (DI) diesel engines are commonly used as a propulsion system on ships. The prediction and control of diesel engine emission rates is not an easy task in real time. Therefore, in this study, an …
A Low-Voltage And Low-Power Sinh-Domain Universal Biquadratic Filter For Low-Frequency Applications, Farooq Khanday, Nisar Shah
A Low-Voltage And Low-Power Sinh-Domain Universal Biquadratic Filter For Low-Frequency Applications, Farooq Khanday, Nisar Shah
Turkish Journal of Electrical Engineering and Computer Sciences
Sinh-domain CMOS filters have favorable properties, such as a wide dynamic range at low supply voltage, compactness, linearity, and low power consumption. These properties are becoming increasingly important for biomedical applications that require extremely low-power dissipation and neuromorphic circuits that attempt to reproduce the biophysics of biological neurons and synapses. In this paper, a low-voltage sinh-domain universal biquadratic filter circuit is introduced. The circuit, aside from permitting the independent adjustment of pole frequency (\omega_0) and the quality factor (Q), is free from matching conditions, capable of absorbing the shunt parasitic capacitances, amenable for monolithic integration, and composed of merely a …
Control Of Diesel Engines Mounted On Vehicles In Mobile Cranes Via Can Bus, Muci̇z Özcan, Hi̇dayet Günay
Control Of Diesel Engines Mounted On Vehicles In Mobile Cranes Via Can Bus, Muci̇z Özcan, Hi̇dayet Günay
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, the aim was to lift loads that required more force using the infrastructure of existing vehicles. To this end, a truck-mounted diesel engine was selected to be used in mobile crane applications. A control system was designed and implemented to obtain the appropriate hydraulic force by accessing the diesel engine with a controller area network bus via an electronic control unit (ECU). For this purpose, hydraulic pumps to be used to operate the crane were mounted on the selected mobile diesel engine with an ECU. Firms that manufacture cranes in the world produce cranes with infrastructure. This …
Stopping Spam With Sending Session Verification, Ahmet Baran
Stopping Spam With Sending Session Verification, Ahmet Baran
Turkish Journal of Electrical Engineering and Computer Sciences
Spam has become one of the most significant problems for Internet communication and users today. The traditional filtering methods and signature-based spam blocking systems that have come into prominence recently fall short, as statistics demonstrate that spam further mounts up day after day. In this study, a new method is recommended to block spam mails. In this recommended method, a mail sending session is verified during mail envelope communication by adding small attachments to the simple mail transfer protocol, so spam mails can be blocked before leaving the sender domain or relay machine. Additionally, hijacked user accounts are able to …
Xor-Based Artificial Bee Colony Algorithm For Binary Optimization, Mustafa Servet Kiran, Mesut Gündüz
Xor-Based Artificial Bee Colony Algorithm For Binary Optimization, Mustafa Servet Kiran, Mesut Gündüz
Turkish Journal of Electrical Engineering and Computer Sciences
The artificial bee colony (ABC) algorithm, which was inspired by the foraging and dance behaviors of real honey bee colonies, was first introduced for solving numerical optimization problems. When the solution space of the optimization problem is binary-structured, the basic ABC algorithm should be modified for solving this class of problems. In this study, we propose XOR-based modification for the solution-updating equation of the ABC algorithm in order to solve binary optimization problems. The proposed method, named binary ABC (binABC), is examined on an uncapacitated facility location problem, which is a pure binary optimization problem, and the results obtained by …
Hybrid Spr Algorithm To Select Predictive Genes For Effectual Cancer Classification, Aruna Sundaram, Nandakishore Lellapalli Venkata, Rajagopalan Sarukai Parthasarathy
Hybrid Spr Algorithm To Select Predictive Genes For Effectual Cancer Classification, Aruna Sundaram, Nandakishore Lellapalli Venkata, Rajagopalan Sarukai Parthasarathy
Turkish Journal of Electrical Engineering and Computer Sciences
Designing an automated system for classifying DNA microarray data is an extremely challenging problem because of its high dimension and low amount of sample data. In this paper, a hybrid statistical pattern recognition algorithm is proposed to reduce the dimensionality and select the predictive genes for the classification of cancer. Colon cancer gene expression profiles having 62 samples of 2000 genes were used for the experiment. A gene subset of 6 highly informative genes was selected by the algorithm, which provided a classification accuracy of 93.5%.
Flow Velocity Measurement And Analysis Based On Froth Image Sift Features And Kalman Filter For Froth Flotation, Jinping Liu, Weihua Gui, Zhaohui Tang
Flow Velocity Measurement And Analysis Based On Froth Image Sift Features And Kalman Filter For Froth Flotation, Jinping Liu, Weihua Gui, Zhaohui Tang
Turkish Journal of Electrical Engineering and Computer Sciences
The flow velocity of flotation froth involves important information about the concentrate grade and the mineral recovery. It is significant to maintain the flow velocity of the froth at proper levels to achieve a good production performance in the machine vision-based process monitoring and control. However, the accurate velocity field measurement for the heavily deformed and seriously fragile froth bubbles is still a great challenge. Scale-invariant feature transform (SIFT) feature-based image matching provides an effective registration method for deformed objects, but most of the processing time would be wasted on the feature extraction and matching in irrelevant regions of the …
Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano
Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we …
Dynamic Sequent Calculus For The Logic Of Epistemic Actions And Knowledge, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Dynamic Sequent Calculus For The Logic Of Epistemic Actions And Knowledge, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
"Dynamic Logics (DLs) form a large family of nonclassical logics, and perhaps the one enjoying the widest range of applications. Indeed, they are designed to formalize change caused by actions of diverse nature: updates on the memory state of a computer, displacements of moving robots in an environment, measurements in models of quantum physics, belief revisions, knowledge updates, etc. In each of these areas, DL-formulas express properties of the model encoding the present state of affairs, as well as the pre- and post-conditions of a given action. Actions are semantically represented as transformations of one model into another, encoding the …
Nominal Regular Expressions For Languages Over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Nominal Regular Expressions For Languages Over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Engineering Faculty Articles and Research
We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques – as those popular in process calculi – we extend classical regular expressions with names (to model computational resources) and suitable operators (for allocation, deallocation, scoping of, and freshness conditions on resources). We discuss classes of such nominal regular expressions, show how such expressions have natural interpretations in terms of languages over infinite alphabets, and give Kleene theorems to characterise their formal languages in terms of nominal automata.
Book Review: Placing The Suspect Behind The Keyboard: Using Digital Forensics And Investigative Techniques To Identify Cybercrime Suspects, Thomas Nash
Journal of Digital Forensics, Security and Law
In this must read for any aspiring novice cybercrime investigator as well as the seasoned professional computer guru alike, Brett Shaver takes the reader into the ever changing and dynamic world of Cybercrime investigation. Shaver, an experienced criminal investigator, lays out the details and intricacies of a computer related crime investigation in a clear and concise manner in his new easy to read publication, Placing the Suspect behind the Keyboard. Using Digital Forensics and Investigative techniques to Identify Cybercrime Suspects. Shaver takes the reader from start to finish through each step of the investigative process in well organized …
Automating Vendor Fraud Detection In Enterprise Systems, Kishore Singh, Peter Best, Joseph Mula
Automating Vendor Fraud Detection In Enterprise Systems, Kishore Singh, Peter Best, Joseph Mula
Journal of Digital Forensics, Security and Law
Fraud is a multi-billion dollar industry that continues to grow annually. Many organizations are poorly prepared to prevent and detect fraud. Fraud detection strategies are intended to quickly and efficiently identify fraudulent activities that circumvent preventative measures. In this paper, we adopt a DesignScience methodological framework to develop a model for detection of vendor fraud based on analysis of patterns or signatures identified in enterprise system audit trails. The concept is demonstrated by developing prototype software. Verification of the prototype is achieved by performing a series of experiments. Validation is achieved by independent reviews from auditing practitioners. Key findings of …