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 (698)
- Singapore Management University (449)
-
- Embry-Riddle Aeronautical University (440)
- Old Dominion University (402)
- University of Nebraska - Lincoln (256)
- Chulalongkorn University (234)
- University of Dayton (164)
- Air Force Institute of Technology (130)
- Portland State University (122)
- Universitas Negeri Malang (104)
- Chapman University (97)
- University of Nevada, Las Vegas (90)
- University of Arkansas, Fayetteville (86)
- Purdue University (84)
- University of South Florida (76)
- University of New Haven (71)
- University for Business and Technology in Kosovo (70)
- Technological University Dublin (68)
- California Polytechnic State University, San Luis Obispo (52)
- University of South Carolina (45)
- University of New Mexico (39)
- Edith Cowan University (35)
- New Jersey Institute of Technology (34)
- Journal of Soft Computing and Computer Applications (32)
- University of Malaya (32)
- University of Texas at El Paso (31)
- San Jose State University (30)
- Keyword
-
- Computer Science (312)
- Department of Computer Science and Engineering (284)
- Engineering (239)
- Machine learning (197)
- Deep learning (193)
-
- Simulation (182)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Classification (109)
- Genetic algorithm (107)
- Optimization (101)
- Computer Engineering (100)
- Machine Learning (90)
- Particle swarm optimization (85)
- Path planning (85)
- Security (76)
- Artificial intelligence (72)
- Computer Sciences (68)
- Physical Sciences and Mathematics (64)
- Cybersecurity (62)
- Robotics (61)
- Virtual reality (60)
- Reinforcement learning (59)
- Clustering (57)
- Deep Learning (57)
- Modeling (57)
- Digital forensics (56)
- Support vector machine (55)
- 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)
- Electrical and Computer Engineering Faculty Publications (164)
- Theses and Dissertations (160)
- BITs and PCs Newsletter (157)
- School of Computing: Dissertations, Theses, and Student Research (152)
- Electrical & Computer Engineering Theses & Dissertations (143)
- Annual ADFSL Conference on Digital Forensics, Security and Law (104)
- Knowledge Engineering and Data Science (104)
- Faculty Publications (87)
- Dissertations (85)
- Computer Science Faculty Publications and Presentations (81)
- Electrical & Computer Engineering and Computer Science Faculty Publications (70)
- Engineering Faculty Articles and Research (69)
- USF Tampa Graduate Theses and Dissertations (67)
- UNLV Theses, Dissertations, Professional Papers, and Capstones (57)
- Computer Science Faculty Publications (55)
- Electronic Theses and Dissertations (54)
- UBT International Conference (51)
- School of Computing: Conference and Workshop Papers (45)
- Computer Science Theses & Dissertations (42)
- Dissertations and Theses (35)
- Graduate Theses and Dissertations (34)
- Journal of Soft Computing and Computer Applications (32)
- Publication Type
- File Type
Articles 7291 - 7320 of 13576
Full-Text Articles in Computer Engineering
Estimating The Selectivity Of Like Queries Using Pattern-Based Histograms, Mehmet Ayti̇mur, Ali̇ Çakmak
Estimating The Selectivity Of Like Queries Using Pattern-Based Histograms, Mehmet Ayti̇mur, Ali̇ Çakmak
Turkish Journal of Electrical Engineering and Computer Sciences
Accurate cost and time estimation of a query is one of the major success indicators for database management systems. SQL allows the expression of flexible queries on text-formatted data. The LIKE operator is used to search for a specified pattern (e.g., LIKE "luck %") in a string database. It is vital to estimate the selectivity of such flexible predicates for the query optimizer to choose an efficient execution plan. In this paper, we study the problem of estimating the selectivity of a LIKE query predicate over a bag of strings. We propose a new type of pattern-based histogram structure to …
A Distributed Admm Approach For Energy-Efficient Resource Allocation In Mobile Edge Computing, Weiwei Fang, Wenchen Zhou, Yangyang Li, Xuening Yao, Feng Xue, Naixue Xiong
A Distributed Admm Approach For Energy-Efficient Resource Allocation In Mobile Edge Computing, Weiwei Fang, Wenchen Zhou, Yangyang Li, Xuening Yao, Feng Xue, Naixue Xiong
Turkish Journal of Electrical Engineering and Computer Sciences
Mobile edge computing (MEC) is a new promising technique to provide cloud-computing capabilities at the edge of cellular networks in close proximity to mobile users. In this paper, we consider joint optimization of the communication and computation resources in a multiuser, multiserver MEC system. The objective of this optimization problem is to minimize the total energy consumption of mobile devices under the time-sharing constraint. Given the fact that no coordination is involved between mobile devices, we propose a light-weight and decentralized algorithm based on the alternating direction method of multipliers (ADMM) framework. Experimental results demonstrate that the proposed algorithm performs …
Extending Co-Citation Using Sections Of Research Articles, Arjumand Yar Khan, Abdul Shahid Khattak, Muhammad Tanvir Afzal
Extending Co-Citation Using Sections Of Research Articles, Arjumand Yar Khan, Abdul Shahid Khattak, Muhammad Tanvir Afzal
Turkish Journal of Electrical Engineering and Computer Sciences
The excessive amount of digital information has made it crucial to extract the relevant information. This hinders researchers in finding documents pertaining to their research. There exist various state-of-the-art techniques, such as co-citation, bibliographic coupling, and their recent extensions like citation proximity analysis and citation order analysis, that recommend the relevant documents against the posed query. Most of these approaches are statistical in nature and thus can further be extended by incorporating some semantics to enhance the results. In this paper, we present an extension of a co-citation-based technique to identify the most relevant documents to co-cited document(s). The proposed …
Rapid Translation Of Finite-Element Theory Into Computer Implementation Based On A Descriptive Object-Oriented Programming Approach, Murat Yilmaz
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, we present a framework for rapid prototyping of finite element (FE) theory for computer implementations. For this purpose, we propose an object-oriented (OO) application programming interface in the form of a domain-specific modeling language (DSML). In contrast to the traditional OO approach, the proposed framework deliberately avoids the use of subclassing for concrete implementations of node and element classes; it uses external objects, namely descriptors, instead. The descriptive design of the DSML provides developers with generic programming support for the construction and solution of discretization schemes, in the context of partial differential equations, in a self-explanatory syntax. …
Influence Maximization In Social Networks: An Integer Programming Approach, Muhammed Emre Keski̇n, Mehmet Güray Güler
Influence Maximization In Social Networks: An Integer Programming Approach, Muhammed Emre Keski̇n, Mehmet Güray Güler
Turkish Journal of Electrical Engineering and Computer Sciences
The use of social networks has been spreading rapidly in recent years. There is a growing interest in influence maximization in social networks, especially after observing that the effects of social events of the Arab Spring, Gezi events of Turkey, uprising in Ukraine, etc. have been built by the help of social networks. Consequently, many institutions like political parties or commercial firms are willing to spread their messages throughout social networks. There are many studies that concentrate on finding the most influential initial nodes, called seeds, which maximize the spread of an intended message over the social network. However, most …
Improvement Of Heart Attack Prediction By The Feature Selection Methods, Hi̇dayet Takci
Improvement Of Heart Attack Prediction By The Feature Selection Methods, Hi̇dayet Takci
Turkish Journal of Electrical Engineering and Computer Sciences
Prediction of a heart attack is very important since it is one of the leading causes of sudden death, especially in low-income countries. Although cardiologists use traditional clinical methods such as electrocardiography and blood tests for heart attack prediction, computer aided diagnosis systems that use machine learning methods are also in use for this task. In this study, we used machine learning and feature selection algorithms together. Our aim is to determine the best machine learning method and the best feature selection algorithm to predict heart attacks. For this purpose, many machine learning methods with optimum parameters and several feature …
Estimating Left Ventricular Volume With Roi-Based Convolutional Neural Network, Feng Zhu
Estimating Left Ventricular Volume With Roi-Based Convolutional Neural Network, Feng Zhu
Turkish Journal of Electrical Engineering and Computer Sciences
The volume of the human left ventricular (LV) chamber is an important indicator for diagnosing heart disease. Although LV volume can be measured manually with cardiac magnetic resonance imaging (MRI), the process is difficult and time-consuming for experienced cardiologists. This paper presents an end-to-end segmentation-free method that estimates LV volume from MRI images directly. The method initially uses Fourier transform and a regression filter to calculate the region of interest that contains the LV chambers. Then convolutional neural networks are trained to estimate the end-diastolic volume (EDV) and end-systolic volume (ESV). The resulting models accurately estimate the EDV and ESV …
Automatic Detection Of The Respiratory Cycle From Recorded, Single-Channel Sounds From Lungs, Seli̇m Aras, Mehmet Öztürk, Ali̇ Gangal
Automatic Detection Of The Respiratory Cycle From Recorded, Single-Channel Sounds From Lungs, Seli̇m Aras, Mehmet Öztürk, Ali̇ Gangal
Turkish Journal of Electrical Engineering and Computer Sciences
Listening to the sounds made by the lungs is a long-standing method that is still used to diagnose lung diseases. Many studies have been conducted on the automatic recognition of recorded sounds from the lungs. However, in these studies, respiratory cycles, i.e. inhalations followed by exhalations, were either monitored manually or by using multichannel signals of the sounds made by the lungs. In order to recognize sounds made by the lungs automatically, one must first use these sounds to determine the respiratory cycles. Our previous study was the first study presented in the literature in which the boundaries of respiratory …
Ultra Low-Power Dc Voltage Limiter For Rfid Application In 0.18-Μm Cmostechnology, Rezvan Dastanian, Sajad Nejadhasan
Ultra Low-Power Dc Voltage Limiter For Rfid Application In 0.18-Μm Cmostechnology, Rezvan Dastanian, Sajad Nejadhasan
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a low-power DC voltage limiter is designed for radio frequency identification tags. In this design, the low-power bandgap reference (BGR) circuit, which is insensitive to temperature, and also the comparator are used for the voltage limiter circuit. To make the I-V curve approach the ideal one, four inverter stages are employed to the output of the comparator. The structure of the BGR and comparator use only MOSFET transistors that work in subthreshold region when the limiter is inactive. These two blocks have power consumption of 220 pW and 1300 pW, respectively. The limited output voltage is 1.5 …
Gnss Augmentation Through Ku-Band Communication Satellites With Rtkrealization, Şenol Gülgönül
Gnss Augmentation Through Ku-Band Communication Satellites With Rtkrealization, Şenol Gülgönül
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, a method to broadcast real-time kinematics (RTK) corrections over a communication satellite is proposed. RTK corrections generated by the reference station are uplinked to the communication satellite within a multiplexed DVB-S carrier. Corrections are received by a satellite dish and the DVB-S satellite receiver. Better than 18 cm of accuracy is achieved for rover distances of up to 500 km in Turkey. The proposed method can be used as an alternative satellite-based augmentation system for Turkey and other countries.
A Strategy For Improving Netclust Server Placement For Multicloud Environments, Yuting Zhao, Jinhong Liu, Qing Fang, Lifang Xu, Changlai Du, Yuan Xiaoqun
A Strategy For Improving Netclust Server Placement For Multicloud Environments, Yuting Zhao, Jinhong Liu, Qing Fang, Lifang Xu, Changlai Du, Yuan Xiaoqun
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, we propose a fast server placement algorithm to improve the NetClust framework and make it more efficient and exible. To this end, we introduce hierarchical clustering technologies to the NetClust framework and propose a exible server placement algorithm, which integrates the agglomerative and divisive clustering technologies to reduce the time complexity and avoid the performance uctuation affected by the initial node selection. The experiment results show that our server placement algorithm may reduce the time complexity of server selection of NetClust significantly and improve the exibility and applicability of the NetClust.
Performance Analysis Of Hamming Code For Wsn-Based Smart Grid Applications, Meli̇ke Yi̇ği̇t, Vehbi̇ Çağri Güngör, Pinar Bölük
Performance Analysis Of Hamming Code For Wsn-Based Smart Grid Applications, Meli̇ke Yi̇ği̇t, Vehbi̇ Çağri Güngör, Pinar Bölük
Turkish Journal of Electrical Engineering and Computer Sciences
Many methods have been employed to detect, compare, and correct errors to increase communication reliability and efficiency in wireless sensor networks (WSNs). However, to the best of our knowledge, no existing study has compared the performance of error control codes by using different modulation techniques in a smart grid communication environment when multichannel scheduling is used. This paper presents a detailed performance evaluation and makes a comparison of different modulation techniques, such as frequency shift keying (FSK), differential phase shift keying (DPSK), binary phase shift keying (BPSK), and offset quadrature phase-shift keying (OQPSK), using Hamming codes in a 500-kV line-of-sight …
An Optimized Multiobjective Cpu Job Scheduling Using Evolutionary Algorithms, Santhi Venkatraman, Dharshikha Selvagopal
An Optimized Multiobjective Cpu Job Scheduling Using Evolutionary Algorithms, Santhi Venkatraman, Dharshikha Selvagopal
Turkish Journal of Electrical Engineering and Computer Sciences
Scheduling in a multiprocessor parallel computing environment is an NP-hard optimization problem. The main objective of this work is to obtain a schedule in a distributed computing system (DCS) environment that minimizes the makespan and maximizes the throughput. We study the use of two of the evolutionary swarm optimization techniques, the firefly algorithm and the artificial bee colony (ABC) algorithm, to optimize the scheduling in a DCS. We also enhance the traditional ABC algorithm by merging the genetic algorithm techniques of crossover and mutation with the employed bee phase and the onlooker phase, respectively. The resulting enhanced ABC algorithm is …
A New Method Based On Pixel Density In Salt And Pepper Noise Removal, Uğur Erkan, Levent Gökrem
A New Method Based On Pixel Density In Salt And Pepper Noise Removal, Uğur Erkan, Levent Gökrem
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, we deliver a new method to remove salt and pepper noise, which we refer to as based on pixel density filter (BPDF). The first step of the method is to determine whether or not a pixel is noisy, and then we decide on an adaptive window size that accepts the noisy pixel as the center. The most repetitive noiseless pixel value within the window is set as the new pixel value. By using 18 test images, we give the results of peak signal-to-noise ratio (PSNR), structural similarity (SSIM), image enhancement factor (IEF), standard median filter (SMF), adaptive …
Blood Glucose Control Using An Abc Algorithm-Based Fuzzy-Pid Controller, Seli̇m Soylu, Kenan Danişman
Blood Glucose Control Using An Abc Algorithm-Based Fuzzy-Pid Controller, Seli̇m Soylu, Kenan Danişman
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a Mamdani-type fuzzy controller is proposed as the controller part of an artificial pancreas. The controller is optimized with the artificial bee colony optimization algorithm. The glucose{insulin regulatory system, based on a nonlinear differential model in the presence of delay, is used both for virtual patient and healthy person data. The main target of the controller is to mimic a blood glucose concentration profile of the healthy person with exogenous insulin infusion. Simulations are performed to assess the control function in terms of tracking the blood glucose concentration profile of the healthy person and minimizing errors. To …
An Efficient Algorithm To Decompose A Compound Rectilinear Shape Into Simplerectilinear Shapes, Imran Sharif, Debasis Chaudhuri, Naveen Kushwaha, Ashok Samal, Brij Mohan Singh
An Efficient Algorithm To Decompose A Compound Rectilinear Shape Into Simplerectilinear Shapes, Imran Sharif, Debasis Chaudhuri, Naveen Kushwaha, Ashok Samal, Brij Mohan Singh
Turkish Journal of Electrical Engineering and Computer Sciences
Detection of a compound object is a critical problem in target recognition. For example, buildings form an important class of shapes whose recognition is important in many remote sensing based applications. Due to the coarse resolution of imaging sensors, adjacent buildings in the scenes appear as a single compound shape object. These compound objects can be represented as the union of a set of disjoint rectilinear shaped objects. Separating the individual buildings from the resulting compound objects in a segmented image is often difficult but important nevertheless. In this paper we propose a new and efficient technique to decompose a …
Signal Processing In Recursive Rejection Filters In The Transient Mode, Dmitrii Popov, Sergey Smolskiy
Signal Processing In Recursive Rejection Filters In The Transient Mode, Dmitrii Popov, Sergey Smolskiy
Turkish Journal of Electrical Engineering and Computer Sciences
A recursive rejection filter (REF) oriented to the radar signal extraction from the moving targets on a background of passive interference in the form of undesired re ections from fixed or slowly moving objects (so-called clutter) is the object under investigation. By means of the state variable method, which gives the adequate filter description in the time domain, the REF structure in the transient mode is synthesized, which is improved with the aim of transient acceleration with the clutter edge arriving. The REF structure's improvement in the transient mode is achieved by its reconfiguration, which is made by REF output …
Last Level Cache Partitioning Via Multiverse Thread Classification, Burak Sezi̇n Ovant, İsa Ahmet Güney, Muhammed Emi̇n Savaş, Gürhan Küçük
Last Level Cache Partitioning Via Multiverse Thread Classification, Burak Sezi̇n Ovant, İsa Ahmet Güney, Muhammed Emi̇n Savaş, Gürhan Küçük
Turkish Journal of Electrical Engineering and Computer Sciences
Last level caches (LLCs) are part of the last line of defense against the famous memory wall problem. Today, almost all processors utilize a LLC for the same reason. This study extends our previous work, which proposed a cache-partitioning mechanism using thread classification. Here, we propose three enhancements to the existing system: 1) an adaptive traffic threshold mechanism for more portable classification hardware, 2) a new method for classifying way-hungry threads, and finally, 3) a thorough comparison of two design alternatives. Compared to the original way- partitioning mechanism, we show that the proposed mechanism's performance improved by around 6%, on …
Weighted Intensity Hue Saturation Transform For Image Enhancement Andpansharpening, Nur Hüseyi̇n Kaplan
Weighted Intensity Hue Saturation Transform For Image Enhancement Andpansharpening, Nur Hüseyi̇n Kaplan
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a weighted intensity hue saturation transform (WIHS) is proposed for image enhancement and pansharpening. The proposed transform obtains the intensity component of the classical intensity hue saturation (IHS) transform, by weighting the bands (red, green, and blue) of the image, whereas the hue and saturation components remain unchanged. The weight for each band is determined according to the brightness interval of the corresponding band and its standard deviation. The purpose of obtaining the intensity component by weighting is to keep more information from the bands of the input image. The classical intensity component used in image processing …
Novel Representations For A Coherent Threshold Reliability System: A Tale Of Eightsignal Ow Graphs, Ali Muhammad Rushdi, Alaa Mohammad Alturki
Novel Representations For A Coherent Threshold Reliability System: A Tale Of Eightsignal Ow Graphs, Ali Muhammad Rushdi, Alaa Mohammad Alturki
Turkish Journal of Electrical Engineering and Computer Sciences
A threshold system is a reliability system whose success/failure is a threshold switching function in the successes/failures of its components. A coherent system (CS) is one that is causal, monotone, and with relevant components. The coherent threshold system (CTS), typically called the weighted k-out-of-n system, is consequently described by strictly positive weights and threshold. This paper presents recursive relations as well as boundary conditions for eight entities pertaining to a CTS. These are (a) expressions of monoform literals as well as disjoint or probability- ready expressions for either system success or failure, and (b) all-additive formulas as well as inclusion-exclusion …
การจำแนกโครงสร้างจุลภาคไทเทเนียมด้วยโครงข่ายประสาทคอนโวลูชันเต็มรูป, สิโรดม มงคลธนาภรณ์
การจำแนกโครงสร้างจุลภาคไทเทเนียมด้วยโครงข่ายประสาทคอนโวลูชันเต็มรูป, สิโรดม มงคลธนาภรณ์
Chulalongkorn University Theses and Dissertations (Chula ETD)
ในช่วงทศวรรษที่ผ่านมา ได้มีการใช้การเรียนรู้เชิงลึกอย่างแพร่หลายเพื่อจำแนกภาพที่ให้ความแม่นยำสูง การแบ่งส่วนความหมายเป็นประเภทหนึ่งของการเรียนรู้เชิงลึกที่มุ่งเน้นการจำแนกคลาสในแต่ละพิกเซลของภาพ ทางด้านโลหะศาสตร์ ไทเทเนียมและอัลลอยมีคุณสมบัติที่โดดเด่นสำหรับการใช้งานทางชีวการแพทย์ โดยเฉพาะในการผ่าตัดฝังวัสดุทดแทน การตรวจสอบวัสดุโดยทั่วไปมักกระทำโดยผู้เชี่ยวชาญในการจำแนกโครงสร้างจุลภาคไทเทเนียม งานวิจัยนี้เสนอการประยุกต์ใช้เทคนิคการเรียนรู้เชิงลึกเพื่อเป็นแนวทางการจำแนกระดับพิกเซลโครงสร้างจุลภาคไทเทเนียมที่อาจช่วยลดทรัพยากรและความไม่แน่นอนระหว่างการควบคุมคุณภาพ วิธีการที่ใช้คือเทคนิคการแบ่งส่วนความหมายที่เรียกว่า โครงข่ายประสาทคอนโวลูชันเต็มรูปที่ถูกพัฒนาด้วยสถาปัตยกรรมยู-เน็ต งานวิจัยนี้ได้สำรวจการบูรณาการเทคนิคการปรับจูนเข้ากับสถาปัตยกรรมยู-เน็ตเพื่อปรับปรุงสมรรถนะแบบจำลอง โมเดลที่สร้างขึ้นถูกปรับจูนด้วยค่าน้ำหนักที่เรียนรู้มาแล้วก่อนหน้าจากตัวจำแนกวีจีจี-16 นอกจากนี้ ชุดข้อมูลภาพโครงสร้างจุลภาคไทเทเนียมได้ถูกเพิ่มจำนวนตัวอย่างด้วยวิธีความผิดปกติยืดหยุ่น สำหรับการประเมินสมรรถนะแบบจำลองจะใช้ตัววัด 4 ตัว ประกอบด้วย ความแม่นยำพิกเซล ความแม่นยำเฉลี่ย ไอโอยูเฉลี่ย และ ไอโอยูถ่วงน้ำหนักความถี่ ผลลัพธ์การประเมินพบว่าค่าความแม่นยำเพิ่มขึ้นเล็กน้อย ในขณะที่เวลาเรียนรู้เร็วกว่ามากเทียบกับการเรียนรู้ปกติที่ไม่มีการปรับจูนค่าน้ำหนักเริ่มต้น
Boundwarden: Thread-Enforced Spatial Memory Safety Through Compile-Time Transformations, Smith Dhumbumroong
Boundwarden: Thread-Enforced Spatial Memory Safety Through Compile-Time Transformations, Smith Dhumbumroong
Chulalongkorn University Theses and Dissertations (Chula ETD)
This dissertation presents BoundWarden, a novel runtime spatial memory safety enforcement technique that comprehensively detects and prevents buffer overflow and other out-of-bound errors in buffers on stack, heap, and BSS and data segments of memory. BoundWarden leverages the ubiquity of multi-core processors by offloading most of the works to a dedicated bound checking thread, which performs bound checking and manages metadata, thus reducing the runtime overhead. Since BoundWarden stores base and bound of buffers in a dedicated bound table, the memory layout of programs remains unchanged, thus preserving compatibility with existing libraries and binaries. Experiments showed that the prototype of …
A Stochastic Petri Net Reverse Engineering Methodology For Deep Understanding Of Technical Documents, Giorgia Rematska
A Stochastic Petri Net Reverse Engineering Methodology For Deep Understanding Of Technical Documents, Giorgia Rematska
Browse all Theses and Dissertations
Systems Reverse Engineering has gained great attention over time and is associated with numerous different research areas. The importance of this research derives from several technological necessities. Security analysis and learning purposes are two of them and can greatly benefit from reverse engineering. More specifically, reverse engineering of technical documents for deeper automatic understanding is a research area where reverse engineering can contribute a lot. In this PhD dissertation we develop a novel reverse engineering methodology for deep understanding of architectural description of digital hardware systems that appear in technical documents. Initially, we offer a survey on reverse engineering of …
Building An Abstract-Syntax-Tree-Oriented Symbolic Execution Engine For Php Programs, Jin Huang
Building An Abstract-Syntax-Tree-Oriented Symbolic Execution Engine For Php Programs, Jin Huang
Browse all Theses and Dissertations
This thesis presents the design, implementation, and evaluation of an abstract-syntax-tree-oriented symbolic execution engine for the PHP programming language. As a symbolic execution engine, our system emulate the execution of a PHP program by assuming that all inputs are with symbolic rather than concrete values. While our system inherits the basic definition of symbolic execution, it fundamentally differs from existing symbolic execution implementations that mainly leverage intermediate representation (IRs) to operate. Specifically, our system directly takes the abstract syntax tree (AST) of a program as input and subsequently interprets this AST. Performing symbolic execution using AST offers unique advantages. First, …
Slim Embedding Layers For Recurrent Neural Language Models, Zhongliang Li
Slim Embedding Layers For Recurrent Neural Language Models, Zhongliang Li
Browse all Theses and Dissertations
Recurrent neural language (RNN) models are the state-of-the-art method for language modeling. When the vocabulary size is large, the space taken to store the model parameters becomes the bottleneck for the use of these type of models. We introduce a simple space compression method that stochastically shares the structured parameters at both the input and output embedding layers of RNN models to significantly reduce the size of model parameters, but still compactly represents the original input and the output embedding layers. The method is easy to implement and tune. Experiments on several data sets show that the new method achieves …
A Reliable Data Provenance And Privacy Preservation Architecture For Business-Driven Cyber-Physical Systems Using Blockchain, Xueping Liang, Sachin Shetty, Deepak K. Tosh, Juan Zhao, Danyi Li, Jihong Liu
A Reliable Data Provenance And Privacy Preservation Architecture For Business-Driven Cyber-Physical Systems Using Blockchain, Xueping Liang, Sachin Shetty, Deepak K. Tosh, Juan Zhao, Danyi Li, Jihong Liu
VMASC Publications
Cyber-physical systems (CPS) including power systems, transportation, industrial control systems, etc. support both advanced control and communications among system components. Frequent data operations could introduce random failures and malicious attacks or even bring down the whole system. The dependency on a central authority increases the risk of single point of failure. To establish an immutable data provenance scheme for CPS, the authors adopt blockchain and propose a decentralized architecture to assure data integrity. In business-driven CPS, end users are required to share their personal information with multiple third parties. To prevent data leakage and preserve user privacy, the authors isolate …
Special Issue: Neutrosophic Information Theory And Applications, Florentin Smarandache, Jun Ye
Special Issue: Neutrosophic Information Theory And Applications, Florentin Smarandache, Jun Ye
Branch Mathematics and Statistics Faculty and Staff Publications
Neutrosophiclogic,symboliclogic,set,probability,statistics,etc.,are,respectively,generalizations of fuzzy and intuitionistic fuzzy logic and set, classical and imprecise probability, classical statistics, and so on. Neutrosophic logic, symbol logic, and set are gaining significant attention in solving many real-life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistency, and indeterminacy. A number of new neutrosophic theories have been proposed and have been applied in computational intelligence, multiple-attribute decision making, image processing, medical diagnosis, fault diagnosis, optimization design, etc. This Special Issue gathers original research papers that report on the state of the art, as well as on recent advancements in neutrosophic information theory in soft computing, artificial intelligence, …
Application For Position And Load Reference Generation Of A Simulated Mechatronic Chain, Florentin Smarandache, V. Vladareanu, S.B. Cononovici, M. Migdalovici, H. Wang, Y. Feng
Application For Position And Load Reference Generation Of A Simulated Mechatronic Chain, Florentin Smarandache, V. Vladareanu, S.B. Cononovici, M. Migdalovici, H. Wang, Y. Feng
Branch Mathematics and Statistics Faculty and Staff Publications
The paper presents the position and load reference generation for a motor stand simulating a mechatronic chain, in this case a three degree of freedom robot leg. The task is accomplished using three PLC controlled motors in position as the robot joint actuators coupled with three controlled in torque, simulating the load at each simulation time-step. The paper briefly discusses the mathematical model and presents the visual interface used in the simulation, which is then to be further integrated into a virtual environment robot control application.
Fundamentals Of Neutrosophic Logic And Sets And Their Role In Artificial Intelligence (Fundamentos De La Lógica Y Los Conjuntos Neutrosóficos Y Su Papel En La Inteligencia Artificial ), Florentin Smarandache, Maykel Leyva-Vazquez
Fundamentals Of Neutrosophic Logic And Sets And Their Role In Artificial Intelligence (Fundamentos De La Lógica Y Los Conjuntos Neutrosóficos Y Su Papel En La Inteligencia Artificial ), Florentin Smarandache, Maykel Leyva-Vazquez
Branch Mathematics and Statistics Faculty and Staff Publications
Neutrosophy is a new branch of philosophy which studies the origin, nature and scope of neutralities. This has formed the basis for a series of mathematical theories that generalize the classical and fuzzy theories such as the neutrosophic sets and the neutrosophic logic. In the paper, the fundamental concepts related to neutrosophy and its antecedents are presented. Additionally, fundamental concepts of artificial intelligence will be defined and how neutrosophy has come to strengthen this discipline.
Modelo De Recomendación Basado En Conocimiento Y Números Svn, Maykel Leyva-Vazquez, Florentin Smarandache
Modelo De Recomendación Basado En Conocimiento Y Números Svn, Maykel Leyva-Vazquez, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
Recommendation models are useful in the decision-making process that allow the user a set of options that are expected to meet their expectations. Recommendation models are useful in the decision-making process that offer the user a set of options that are expected to meet their SVN expectations to express linguistic terms.