Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (13564)
- Computer Sciences (13037)
- Electrical and Computer Engineering (7215)
- Artificial Intelligence and Robotics (4371)
- Operations Research, Systems Engineering and Industrial Engineering (4210)
-
- Numerical Analysis and Scientific Computing (3960)
- Systems Science (3943)
- Digital Communications and Networking (2157)
- Other Computer Engineering (1680)
- Computer and Systems Architecture (1620)
- Data Storage Systems (1553)
- Social and Behavioral Sciences (1441)
- Civil and Environmental Engineering (1327)
- Robotics (1252)
- Civil Engineering (1105)
- Mechanical Engineering (960)
- Electrical and Electronics (907)
- Information Security (742)
- Environmental Engineering (658)
- Other Civil and Environmental Engineering (646)
- Systems and Communications (639)
- Chemical Engineering (609)
- Materials Science and Engineering (607)
- Hydraulic Engineering (574)
- Law (535)
- Hardware Systems (514)
- Business (481)
- Legal Studies (468)
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1814)
- University of Nebraska - Lincoln (1069)
- University of Texas at El Paso (858)
-
- Washington University in St. Louis (733)
- Technological University Dublin (731)
- California Polytechnic State University, San Luis Obispo (722)
- Brigham Young University (641)
- Old Dominion University (579)
- Embry-Riddle Aeronautical University (563)
- Singapore Management University (546)
- Universitas Indonesia (444)
- San Jose State University (439)
- Santa Clara University (422)
- Air Force Institute of Technology (414)
- Marquette University (412)
- University of South Carolina (320)
- California State University, San Bernardino (288)
- University of Central Florida (271)
- Portland State University (266)
- Chulalongkorn University (243)
- Al Iraqia University (235)
- Purdue University (218)
- University of South Florida (218)
- University of Arkansas, Fayetteville (209)
- University of Nevada, Las Vegas (191)
- New Jersey Institute of Technology (185)
- Nova Southeastern University (183)
- University of Dayton (166)
- Keyword
-
- Machine learning (439)
- Computer Science (385)
- Deep learning (347)
- Department of Computer Science and Engineering (319)
- Machine Learning (288)
-
- Engineering (274)
- Simulation (237)
- Robotics (233)
- Security (183)
- Artificial intelligence (174)
- Deep Learning (172)
- Optimization (170)
- Computer Engineering (168)
- Classification (163)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Cybersecurity (154)
- Artificial Intelligence (148)
- Computer vision (141)
- Computer Science and Engineering (137)
- Genetic algorithm (119)
- Blockchain (99)
- Internet (97)
- Virtual reality (97)
- Path planning (94)
- Data mining (93)
- Clustering (91)
- Privacy (91)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- Departmental Technical Reports (CS) (760)
- Theses and Dissertations (730)
-
- All Computer Science and Engineering Research (683)
- International Congress on Environmental Modelling and Software (629)
- Research Collection School Of Computing and Information Systems (511)
- Department of Electrical and Computer Engineering: Faculty Publications (496)
- Makara Journal of Technology (436)
- Electrical and Computer Engineering Faculty Research and Publications (389)
- Browse all Theses and Dissertations (342)
- Electronic Theses and Dissertations (341)
- Dissertations (340)
- Faculty Publications (321)
- Journal of Digital Forensics, Security and Law (299)
- Computer Science and Engineering Senior Theses (298)
- Master's Theses (289)
- Computer Engineering (282)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (242)
- Iraqi Journal for Computer Science and Mathematics (235)
- Master's Projects (220)
- School of Computing: Dissertations, Theses, and Student Research (206)
- Electrical and Computer Engineering Faculty Publications (204)
- Electrical & Computer Engineering Theses & Dissertations (193)
- Conference papers (178)
- Publications (169)
- BITs and PCs Newsletter (157)
- USF Tampa Graduate Theses and Dissertations (157)
- Journal of International Technology and Information Management (153)
- Publication Type
- File Type
Articles 18511 - 18540 of 25650
Full-Text Articles in Computer Engineering
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 …
Technology Corner: Calculating The Number Of Android Lock Patterns: An Unfinished Study In Number Theory, Gary C. Kessler
Technology Corner: Calculating The Number Of Android Lock Patterns: An Unfinished Study In Number Theory, Gary C. Kessler
Security Studies & International Affairs - Daytona Beach
"Although one is unlikely to ever want to brute-force an Android lock pattern, many do wonder about the relative strength of the lock pattern versus a multi-digit personal identification number (PIN). It becomes obvious pretty quickly that there are many more lock patterns than the 10,000 possible four-digit PINs."--from the introduction.
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.
Effect Of Hydrodynamic Force On Microcantilever Vibrations: Applications To Liquid-Phase Chemical Sensing, I. Dufour, E. Lemaire, B. Caillard, H. Debeda, C. Lucat, Stephen M. Heinrich, Fabien Josse, O. Brand
Effect Of Hydrodynamic Force On Microcantilever Vibrations: Applications To Liquid-Phase Chemical Sensing, I. Dufour, E. Lemaire, B. Caillard, H. Debeda, C. Lucat, Stephen M. Heinrich, Fabien Josse, O. Brand
Electrical and Computer Engineering Faculty Research and Publications
At the microscale, cantilever vibrations depend not only on the microstructure’s properties and geometry but also on the properties of the surrounding medium. In fact, when a microcantilever vibrates in a fluid, the fluid offers resistance to the motion of the beam. The study of the influence of the hydrodynamic force on the microcantilever’s vibrational spectrum can be used to either (1) optimize the use of microcantilevers for chemical detection in liquid media or (2) extract the mechanical properties of the fluid. The classical method for application (1) in gas is to operate the microcantilever in the dynamic transverse bending …
The Effect Overall Density Plays On Performance And Preference In A Windowed Environment, Lucas M. Downard
The Effect Overall Density Plays On Performance And Preference In A Windowed Environment, Lucas M. Downard
UNF Graduate Theses and Dissertations
This thesis consists of fundamental research into the effect that a display’s overall density has on a user’s performance and preference while performing simple tasks using a window-styled computer application specifically developed for this study. This study sought to reevaluate previous findings by exploring their application in the more current, present-day environment. In this research, overall density was considered to be a measure of a screen’s complexity and was examined at three different levels. Users performed a series of tasks using only one of three available screens with different density levels. The same tasks were performed by all users to …
Performance Evaluation And Comparison Of Distributed Messaging Using Message Oriented Middleware, Naveen Mupparaju
Performance Evaluation And Comparison Of Distributed Messaging Using Message Oriented Middleware, Naveen Mupparaju
UNF Graduate Theses and Dissertations
Message Oriented Middleware (MOM) is an enabling technology for modern event- driven applications that are typically based on publish/subscribe communication [Eugster03]. Enterprises typically contain hundreds of applications operating in environments with diverse databases and operating systems. Integration of these applications is required to coordinate the business process. Unfortunately, this is no easy task. Enterprise Integration, according to Brosey et al. (2001), "aims to connect and combines people, processes, systems, and technologies to ensure that the right people and the right processes have the right information and the right resources at the right time"[Brosey01]. Communication between different applications can be achieved …
Turing Test As A Defining Feature Of Ai-Completeness, Roman V. Yampolskiy
Turing Test As A Defining Feature Of Ai-Completeness, Roman V. Yampolskiy
Faculty and Staff Scholarship
The paper contributes to the development of the theory of AI-Completeness by formalizing the notion of AI-Complete, C-Complete and AI-Hard problems. The intended goal is to provide a classification of problems in the field of Artificial General Intelligence. We prove Turing Test to be an instance of an AI-Complete problem and further show certain AI problems to be AI-Complete or AI-Hard via polynomial time reductions. Finally, the paper suggests some directions for future work on the theory of AI-Completeness.