Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1960)
- Old Dominion University (949)
- Singapore Management University (885)
-
- Washington University in St. Louis (730)
- Embry-Riddle Aeronautical University (590)
- Air Force Institute of Technology (443)
- Missouri University of Science and Technology (439)
- Neutrosophic Systems with Applications (380)
- University of Nebraska - Lincoln (274)
- Chulalongkorn University (235)
- University of Central Florida (189)
- Portland State University (158)
- University of Nevada, Las Vegas (152)
- University of Arkansas, Fayetteville (150)
- University of South Carolina (125)
- Purdue University (118)
- Chapman University (114)
- University for Business and Technology in Kosovo (114)
- University of Kentucky (111)
- University of South Florida (111)
- Technological University Dublin (100)
- California Polytechnic State University, San Luis Obispo (79)
- University of Dar es Salaam (77)
- University of New Haven (77)
- New Jersey Institute of Technology (63)
- Michigan Technological University (61)
- University of Texas at El Paso (61)
- University of Malaya (58)
- Keyword
-
- Machine learning (396)
- Computer Science (356)
- Deep learning (302)
- Department of Computer Science and Engineering (285)
- Engineering (253)
-
- Simulation (216)
- Machine Learning (186)
- Artificial intelligence (172)
- Optimization (164)
- Technical writing (158)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Classification (130)
- Genetic algorithm (120)
- Cybersecurity (115)
- Security (110)
- Deep Learning (104)
- Computer vision (102)
- Reinforcement learning (102)
- Computer Engineering (101)
- Neural networks (100)
- Artificial Intelligence (92)
- Path planning (91)
- Particle swarm optimization (88)
- Algorithms (85)
- Clustering (79)
- Image processing (78)
- Robotics (78)
- Virtual reality (77)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- Research Collection School Of Computing and Information Systems (858)
- All Computer Science and Engineering Research (683)
-
- Theses and Dissertations (503)
- Neutrosophic Systems with Applications (380)
- Browse all Theses and Dissertations (308)
- Journal of Digital Forensics, Security and Law (300)
- Electrical and Computer Engineering Faculty Research & Creative Works (282)
- Electronic Theses and Dissertations (249)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (235)
- Electrical & Computer Engineering Theses & Dissertations (219)
- Computer Science and Engineering Faculty Publications (184)
- Annual ADFSL Conference on Digital Forensics, Security and Law (174)
- BITs and PCs Newsletter (157)
- School of Computing: Dissertations, Theses, and Student Research (154)
- Faculty Publications (150)
- Electrical & Computer Engineering Faculty Publications (138)
- Dissertations (121)
- Computer Science Faculty Publications (108)
- USF Tampa Graduate Theses and Dissertations (101)
- Computer Science Faculty Publications and Presentations (83)
- Engineering Faculty Articles and Research (81)
- UBT International Conference (73)
- Tanzania Journal of Engineering and Technology (TJET) (72)
- Electrical & Computer Engineering and Computer Science Faculty Publications (71)
- Graduate Theses and Dissertations (70)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (64)
- Doctoral Dissertations (59)
- Publication Type
Articles 11011 - 11040 of 17350
Full-Text Articles in Computer Sciences
Quantitative Information Extraction From Gas Sensor Data Using Principal Component Regression, Ahmet Özmen, Beki̇r Mumyakmaz, Mehmet Ali̇ Ebeoğlu, Ci̇hat Taşaltin, İlke Gürol, Zafer Zi̇ya Öztürk, Deni̇z Dural
Quantitative Information Extraction From Gas Sensor Data Using Principal Component Regression, Ahmet Özmen, Beki̇r Mumyakmaz, Mehmet Ali̇ Ebeoğlu, Ci̇hat Taşaltin, İlke Gürol, Zafer Zi̇ya Öztürk, Deni̇z Dural
Turkish Journal of Electrical Engineering and Computer Sciences
This paper presents a novel use of the principal component analysis (PCA) and regression methods for quantitative feature extraction from gas sensor data. In this approach, PCA plots are interpreted by observing the locations of samples in the principal component domain. A trainable data processing system that also produces numerical output is designed to validate the method. The main advantages of this system are: 1) retrainability: once it is trained, it can be used for any gas set; 2) flexibility: adaptation to different targets does not require hardware modifications (if a sufficient number and variety of sensors are installed in …
A Novel Key Distribution Scheme Against Storage-Bounded Adversaries Using Attack Probabilities, Mohammad Farhadi Bajestani, Ali Payandeh
A Novel Key Distribution Scheme Against Storage-Bounded Adversaries Using Attack Probabilities, Mohammad Farhadi Bajestani, Ali Payandeh
Turkish Journal of Electrical Engineering and Computer Sciences
Key establishment proves to be a challenging problem in wireless sensor networks. A key establishment scheme needs to incorporate properties like scalability and energy efficiency. We propose a scheme that, besides enjoying a desirable scalability, consumes resources according to attack probability within each region. In this scheme, the distribution area is divided into regions of varying attack probability. It is assumed that the adversary is storage bounded and that not all communications can be stored by the adversary. This scheme is highly resistant to node compromises and there is an extremely low probability of discovering the key by the adversary …
Optimization With Genetic Algorithm Of Temperature-Dependent Fiber Length Of L-Band Edfa Gain, Murat Yücel, Damt Adnan Mustafa Mustafa
Optimization With Genetic Algorithm Of Temperature-Dependent Fiber Length Of L-Band Edfa Gain, Murat Yücel, Damt Adnan Mustafa Mustafa
Turkish Journal of Electrical Engineering and Computer Sciences
Erbium-doped fiber amplifiers (EDFAs) have great importance in long-distance communication. It is required to have equal gain for all signals that are transferred and to avoid loss in the receiver of long-distance communication systems. However, temperature dependence changes the output spectrum of the designed gain-flattening systems. In this study, each erbium-doped fiber (EDF) length of a two-stage L-band EDFA has been optimized using a genetic algorithm method; because of the temperature dependence of EDFAs, there is no general rule. Thus, a simple, fast, dynamic, and highly accurate model has been developed and obtained for different EDF lengths that will fix …
An Enhanced Multiinterface Multichannel Algorithm For High Quality Live Video Streaming Over Hybrid Wmns, Behrang Barekatain, Mohd Aizaini Maarof, Alfonso Ariza Quintana, Alicia Triviño-Cabrera, Hamid Reza Ghaeini
An Enhanced Multiinterface Multichannel Algorithm For High Quality Live Video Streaming Over Hybrid Wmns, Behrang Barekatain, Mohd Aizaini Maarof, Alfonso Ariza Quintana, Alicia Triviño-Cabrera, Hamid Reza Ghaeini
Turkish Journal of Electrical Engineering and Computer Sciences
Recently, providing live video streaming over hybrid wireless mesh networks (WMNs) has been of great interest. In this kind of network, most of the users usually move with low speed and always keep their connections within the network by attaching to different mesh routers (MRs). When evaluating a mesh technology, it is important to pay special attention to this kind of device as it is mostly handled by the final user. These devices, known as STA nodes, neither run a routing protocol nor perform forwarding operations. Although our proposed distributed locator service in GREENIE makes hybrid WMNs more efficient for …
Reconstructive Sensing Circuit For Complementary Resistive Switches-Based Crossbar Memories, Ertuğrul Karakulak, Reşat Mutlu, Erdem Uçar
Reconstructive Sensing Circuit For Complementary Resistive Switches-Based Crossbar Memories, Ertuğrul Karakulak, Reşat Mutlu, Erdem Uçar
Turkish Journal of Electrical Engineering and Computer Sciences
Complementary resistive switches (CRSs) are suggested as an alternative to one-cell memristor memories to decrease leakage currents. However, their sensing is more difficult and complex than one-cell memristor memories. A method has been given for sensing their state using only DC voltages in the literature. However, in this strategy, sensing one of the logic states results in the destruction of the state and the destroyed state must be written again. To the best of our knowledge, a circuit with this sensing strategy does not exist in the literature yet. In this paper, such a circuit employing this method, which is …
Effect Of Repetition Coding On The Ber Performance Of Interleave-Division Multiple Access Systems, Mehmet Bi̇li̇m, Nuri̇ Kapucu, İbrahi̇m Develi̇
Effect Of Repetition Coding On The Ber Performance Of Interleave-Division Multiple Access Systems, Mehmet Bi̇li̇m, Nuri̇ Kapucu, İbrahi̇m Develi̇
Turkish Journal of Electrical Engineering and Computer Sciences
This paper investigates the bit error rate (BER) performance of interleave-division multiple access (IDMA) schemes to show the effect of repetition coding on the system performance. The considered system is tested in the presence of repetition coding by varying system parameters such as number of simultaneous users, data length, spread length, iteration number, and code rate over additive white Gaussian noise channels. In addition, the performance of the considered system is also illustrated in Rayleigh flat fading channels for a more realistic scenario. Our simulation results show that the BER performance of IDMA systems with repetition coding can achieve significant …
Behavior Characteristics Of A Cap-Resistor, Memcapacitor, And A Memristor From The Response Obtained Of Rc And Rl Electrical Circuits Described By Fractional Differential Equations, Jose Francisco Gomez Aguilar
Behavior Characteristics Of A Cap-Resistor, Memcapacitor, And A Memristor From The Response Obtained Of Rc And Rl Electrical Circuits Described By Fractional Differential Equations, Jose Francisco Gomez Aguilar
Turkish Journal of Electrical Engineering and Computer Sciences
This paper provides an analysis of RC and RL electrical circuits described by a fractional difierential equation of Caputo type. The order considered is ${0 \textless \gamma }\le ${ 1}. The Laplace transform of the fractional derivative is used. To keep the dimensionality of the physical quantities, R, C, L, and an auxiliary parameter $\sigma $ are introduced, characterizing the existence of fractional components in the system. The relationship between $\gamma$ and $\sigma $ is reported. The response obtained from the fractional RC and RL circuits exhibits the characteristic behaviors of a cap-resistor, memcapacitor, and memristor, as well as charge-voltage …
A New Single Stage Single Phase Power Factor Corrected And Isolated Ac-Dc Converter Based On Resonance And Soft Switching, Haci Bodur, Erdem Akboy, İsmai̇l Aksoy
A New Single Stage Single Phase Power Factor Corrected And Isolated Ac-Dc Converter Based On Resonance And Soft Switching, Haci Bodur, Erdem Akboy, İsmai̇l Aksoy
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a new single stage single phase power factor corrected and isolated AC-DC converter based on resonance and soft switching (SS) is presented. In fact, a new concept for power factor corrected converter is proposed in this study. This converter provides power factor correction (PFC) by using a switch and a fully resonant circuit. It also provides regulated and isolated output voltage with direct power transfer by using a second switch and forward and flyback topologies based on resonance. Both switches in the converter are controlled with the same closed loop and the time multiplexing, and are switched …
Online Monitoring And Accident Diagnosis Aid System For The Nur Nuclear Research Reactor, Amina Nasrine Allalou, Mohamed Tadjine, Mohamed Seghir Boucherit
Online Monitoring And Accident Diagnosis Aid System For The Nur Nuclear Research Reactor, Amina Nasrine Allalou, Mohamed Tadjine, Mohamed Seghir Boucherit
Turkish Journal of Electrical Engineering and Computer Sciences
This paper deals with the design of a computerized monitoring and diagnosis aid system (CMDAS) for the Nur Nuclear Research Reactor based on real-time plant-specific safety parameters. The CMDAS carries out early detection and identification of accidents that might affect this reactor using supervised neural networks. The graphical programming language LabVIEW is used for creating a human--operator interface, networking, embedding the diagnosis procedure, and handling and storing the data. The methodology presented in this paper can be adapted for any nuclear research reactor.
A Facial Component-Based System For Emotion Classification, Elena Sönmez, Songül Albayrak
A Facial Component-Based System For Emotion Classification, Elena Sönmez, Songül Albayrak
Turkish Journal of Electrical Engineering and Computer Sciences
Smart environments with ubiquitous computers are the next generation of information technology, which requires improved human--computer interfaces. That is, the computer of the future must be aware of the people in its environment; it must know their identities and must understand their moods. Despite the great effort made in the past decades, the development of a system capable of automatic facial emotion recognition is still rather difficult. In this paper, we challenge the benchmark algorithm on emotion classification of the Extended Cohn-Kanade (CK$+)$ database, and we present a facial component-based system for emotion classification, which beats the given benchmark performance: …
Wideband Analysis Of Planar Scalable Antennas And Pec Bodies Using Cbfm, Sema Nur Koç, Adnan Köksal
Wideband Analysis Of Planar Scalable Antennas And Pec Bodies Using Cbfm, Sema Nur Koç, Adnan Köksal
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, scattering and radiation from scalable planar bodies are investigated in a wide frequency band. Characteristic basis functions (CBFs) are utilized for this purpose with a different approach. The CBFs for the body are calculated at the highest frequency of interest and reused at other frequencies. As the frequency decreases, the unnecessary CBFs are removed from the basis set. The reduced impedance matrices generated at lower frequencies are also used for the calculation of the ones at higher frequencies. As a result, a significant reduction in CPU time is obtained with the proposed method. Numerical results for the …
Stability Analysis Of An Asymmetrical Six-Phase Synchronous Motor, Arif Iqbal, Gk Singh, Vinay Pant
Stability Analysis Of An Asymmetrical Six-Phase Synchronous Motor, Arif Iqbal, Gk Singh, Vinay Pant
Turkish Journal of Electrical Engineering and Computer Sciences
This paper deals the stability analysis of a six-phase synchronous motor using eigenvalue criteria from its linearized model, so that the small displacement stability during steady-state condition can be accessed. Eigenvalue provides a simple but effective means for the stability analysis of a motor. An association between eigenvalues and motor parameters has been established, followed by the formulation of transfer functions and plotting the root locus of system, employing the dq0 approach in the MATLAB environment.
An Innovative Peak Detection Algorithm For Photoplethysmography Signals: An Adaptive Segmentation Method, Ahmet Reşi̇t Kavsaoğlu, Kemal Polat, Mehmet Recep Bozkurt
An Innovative Peak Detection Algorithm For Photoplethysmography Signals: An Adaptive Segmentation Method, Ahmet Reşi̇t Kavsaoğlu, Kemal Polat, Mehmet Recep Bozkurt
Turkish Journal of Electrical Engineering and Computer Sciences
The purpose of this paper is twofold. The first purpose is to detect M-peaks from raw photoplethysmography (PPG) signals with no preprocessing method applied to the signals. The second purpose is to estimate heart rate variability (HRV) by finding the peaks in the PPG signal. HRV is a measure of the fluctuation of the time interval between heartbeats and is calculated based on time series between strokes derived from electrocardiogram (ECG), arterial pressure (AP), or PPG signals, separately. PPG is a method widely used to measure blood volume of tissue on the basis of blood volume change in every heartbeat. …
Finger-Vein Biometric Identification Using Convolutional Neural Network, Syafeeza Ahmad Radzi, Mohamed Khalil Hani, Rabia Bakhteri
Finger-Vein Biometric Identification Using Convolutional Neural Network, Syafeeza Ahmad Radzi, Mohamed Khalil Hani, Rabia Bakhteri
Turkish Journal of Electrical Engineering and Computer Sciences
A novel approach using a convolutional neural network (CNN) for finger-vein biometric identification is presented in this paper. Unlike existing biometric techniques such as fingerprint and face, vein patterns are inside the body, making them virtually impossible to replicate. This also makes finger-vein biometrics a more secure alternative without being susceptible to forgery, damage, or change with time. In conventional finger-vein recognition methods, complex image processing is required to remove noise and extract and enhance the features before the image classification can be performed in order to achieve high performance accuracy. In this regard, a significant advantage of the CNN …
A New Security Relation Between Information Rate And State Size Of A Keystream Generator, Orhun Kara, İmran Ergüler, Emi̇n Anarim
A New Security Relation Between Information Rate And State Size Of A Keystream Generator, Orhun Kara, İmran Ergüler, Emi̇n Anarim
Turkish Journal of Electrical Engineering and Computer Sciences
Wireless communication in near field applications is becoming widespread. Most of the devices such as sensor networks or RFID applications are operated in constraint environments and some of these prevalent technologies require security applications. As one conclusion, the design and analysis of lightweight cryptographic algorithms has been one of the favorite research subjects over the last decade. We have seen that mostly lightweight block ciphers have been designed as symmetric encryption algorithms. The main reason is that stream ciphers are supposed to have large internal states due to the strict requirement related to their resistance against tradeoff attacks (time--memory--data tradeoff …
Gain And Coherence Collapse Condition For A Laser Diode With Optoelectronic Feedback Using Volterra Series, Remzi̇ Yildirim, Hüseyi̇n Canbolat
Gain And Coherence Collapse Condition For A Laser Diode With Optoelectronic Feedback Using Volterra Series, Remzi̇ Yildirim, Hüseyi̇n Canbolat
Turkish Journal of Electrical Engineering and Computer Sciences
No abstract provided.
Power Management Using Dynamic Power State Transitions And Dynamic Voltage Frequency Scaling Controls In Virtualized Server Clusters, Mohan Raj Velayudhan Kumar, Shriram Raghunathan
Power Management Using Dynamic Power State Transitions And Dynamic Voltage Frequency Scaling Controls In Virtualized Server Clusters, Mohan Raj Velayudhan Kumar, Shriram Raghunathan
Turkish Journal of Electrical Engineering and Computer Sciences
No abstract provided.
Gravitational Search Algorithm For Determining Controller Parameters In An Automatic Voltage Regulator System, Serhat Duman, Nuran Yörükeren, İsmai̇l Hakki Altaş
Gravitational Search Algorithm For Determining Controller Parameters In An Automatic Voltage Regulator System, Serhat Duman, Nuran Yörükeren, İsmai̇l Hakki Altaş
Turkish Journal of Electrical Engineering and Computer Sciences
proportional-integral-derivate (PID) controller for an automatic voltage regulator (AVR) system using a heuristic gravitational search algorithm (GSA) based on mass interactions and Newton's law of gravity. The determination of optimal controller parameters is considered an optimization problem in which different performance indexes and a performance criterion in the time domain have been used as objective functions to test the performance and effectiveness of the GSA. In the determining process of the parameters, the designed PID controller with the proposed approach is simulated under different conditions and the performance of the controller is compared with those reported in the literature. From …
An Efficient Lof-Based Long-Range Correlation Filter For The Restoration Of Salt And Pepper Impulse Corrupted Digital Images, Justin Varghese, Saudia Subash, Mohamed Samiulla Khan, Krishnan Nallaperumal, Bijoy Babu, Mohammed Ramadan Saadi
An Efficient Lof-Based Long-Range Correlation Filter For The Restoration Of Salt And Pepper Impulse Corrupted Digital Images, Justin Varghese, Saudia Subash, Mohamed Samiulla Khan, Krishnan Nallaperumal, Bijoy Babu, Mohammed Ramadan Saadi
Turkish Journal of Electrical Engineering and Computer Sciences
No abstract provided.
Investigation Of An Object Follower System, Eli̇f Erzan Topçu, Ahmet Demi̇rkesen, İbrahi̇m Yüksel
Investigation Of An Object Follower System, Eli̇f Erzan Topçu, Ahmet Demi̇rkesen, İbrahi̇m Yüksel
Turkish Journal of Electrical Engineering and Computer Sciences
No abstract provided.
Implementation Analyses Of Proteins And Genes Obtained From Cancer Patients, Murat Demi̇r, Ali̇ Karci
Implementation Analyses Of Proteins And Genes Obtained From Cancer Patients, Murat Demi̇r, Ali̇ Karci
Turkish Journal of Electrical Engineering and Computer Sciences
bioinformatics and computational molecular biology, since these studies may result in important results in the case of diseases. Due to this, in this study, bioinformatics data were analyzed based on nucleotides and motifs. Bioinformatics data for proteins were obtained from two different databases. The obtained data belonged to cancer patients, and the genes in these DNA and protein sequences, the proteins synthesized by these sequences, and motifs in these data were analyzed. In the analysis, the ABCB1, ALOX5AP, AKT1, BRCA1, BRCA2, TNF, TNFSF13B, TP53, TP63, TP73, and WT1 genes were used. The proteins synthesized by genes belonging to similar classes …
Short-Term Economic Emission Power Scheduling Of Hydrothermal Systems Using Improved Chaotic Hybrid Differential Evolution, Tahir Nadeem Malik, Salman Zafar, Saaqib Haroon
Short-Term Economic Emission Power Scheduling Of Hydrothermal Systems Using Improved Chaotic Hybrid Differential Evolution, Tahir Nadeem Malik, Salman Zafar, Saaqib Haroon
Turkish Journal of Electrical Engineering and Computer Sciences
utilities to retain their generations within maximum allowable emission levels. Therefore, in present-day power system operations, the minimization of emission pollutants along with the total fuel cost has become an important aspect in short-term generation scheduling of hydrothermal power systems. This paper presents an improved hybrid approach based on the application of chaos theory in a differential evolution (DE) algorithm for the solution of this biobjective constrained optimization problem. In this proposed methodology, self-adjusted parameter setting in DE is obtained by using chaotic sequences. Secondly, a chaotic hybridized local search mechanism is embedded in DE to avoid it from trapping …
Cascaded Half-Full-Bridge Pwm Multilevel Inverter Configuration, Charles Ikechukwu Odeh
Cascaded Half-Full-Bridge Pwm Multilevel Inverter Configuration, Charles Ikechukwu Odeh
Turkish Journal of Electrical Engineering and Computer Sciences
inverter topology. It is made up of a main inverting H-bridge legs and level-clamping half-bridge circuits, each having its own dc source. The single-carrier, multilevel PWM scheme is employed to generate gating signals for the power switches. The modulation scheme is hybridized to enable the output voltage of the proposed inverter configuration to inherit the features of switching-loss reduction from fundamental PWM and good harmonic performance from multiple sinusoidal PWM. Moreover, a simple base PWM circulation scheme is also introduced in this work to obtain a resultant sequential switching hybrid PWM (SSHPWM) circulation that balances power dissipation among the four …
A Current Feedback Control Strategy For Parallel-Connected Single-Phase Inverters Using A Third-Order General-Integrator Crossover Cancellation Method, Yuan Huang, An Luo
A Current Feedback Control Strategy For Parallel-Connected Single-Phase Inverters Using A Third-Order General-Integrator Crossover Cancellation Method, Yuan Huang, An Luo
Turkish Journal of Electrical Engineering and Computer Sciences
Virtual impedance is usually introduced to the control system of parallel inverters in order to change the inverter equivalent output impedance and to enhance control accuracy and power sharing. In this paper, a current feedback control strategy using a third-order general-integrator crossover-cancellation method that can be implemented in a virtual impedance loop is proposed. This method consists of 2 parts: a crossover-cancellation feedback network, which achieves the band-pass effect, and a multilevel TOGI-OSG link, which acts as a filter. Compared with the conventional virtual impedance method, the proposed method can avoid derivation of output current, reduce system calculating burden, and …
The Use Of Cross-Company Fault Data For The Software Fault Prediction Problem, Çağatay Çatal
The Use Of Cross-Company Fault Data For The Software Fault Prediction Problem, Çağatay Çatal
Turkish Journal of Electrical Engineering and Computer Sciences
We investigated how to use cross-company (CC) data in software fault prediction and in predicting the fault labels of software modules when there are not enough fault data. This paper involves case studies of NASA projects that can be accessed from the PROMISE repository. Case studies show that CC data help build high-performance fault predictors in the absence of fault labels and remarkable results are achieved. We suggest that companies use CC data if they do not have any historical fault data when they decide to build their fault prediction models.
Csce 411h: Data Modeling For Systems Development—A Peer Review Of Teaching Project Inquiry Portfolio, Hongfeng Yu
Csce 411h: Data Modeling For Systems Development—A Peer Review Of Teaching Project Inquiry Portfolio, Hongfeng Yu
UNL Faculty Course Portfolios
A new course CSCE411H has been developed in 2015-2016. The course tackles the learning of traditional and emerging data modeling techniques in big data related areas from the system and application perspectives. The students have mixed background in Business, Engineering, and Art and Science with different levels. These have introduced a unique set of challenges in the development of this new course. In this inquiry portfolio, I investigated if the adjustment of assignments can benefit the team work of the students with a variety of background. Through the data collection and analysis, the investigation showed that the new assignment design …
Global Data Association For Multiple Pedestrian Tracking, Afshin Dehghan
Global Data Association For Multiple Pedestrian Tracking, Afshin Dehghan
Electronic Theses and Dissertations
Multi-object tracking is one of the fundamental problems in computer vision. Almost all multi-object tracking systems consist of two main components; detection and data association. In the detection step, object hypotheses are generated in each frame of a sequence. Later, detections that belong to the same target are linked together to form final trajectories. The latter step is called data association. There are several challenges that render this problem difficult, such as occlusion, background clutter and pose changes. This dissertation aims to address these challenges by tackling the data association component of tracking and contributes three novel methods for solving …
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …
Combining Interval And Probabilistic Uncertainty In Engineering Applications, Andrew Martin Pownuk
Combining Interval And Probabilistic Uncertainty In Engineering Applications, Andrew Martin Pownuk
Open Access Theses & Dissertations
In many practical application, we process measurement results and expert estimates. Measurements and expert estimates are never absolutely accurate, their result are slightly different from the actual (unknown) values of the corresponding quantities. It is therefore desirable to analyze how this measurement and estimation inaccuracy affects the results of data processing. There exist numerous methods for estimating the accuracy of the results of data processing under different models of measurement and estimation inaccuracies: probabilistic, interval, and fuzzy. To be useful in engineering applications, these methods should provide accurate estimate for the resulting uncertainty, should not take too much computation time, …