Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (13562)
- Computer Sciences (13036)
- Electrical and Computer Engineering (7214)
- Artificial Intelligence and Robotics (4370)
- Operations Research, Systems Engineering and Industrial Engineering (4210)
-
- Numerical Analysis and Scientific Computing (3960)
- Systems Science (3943)
- Digital Communications and Networking (2155)
- Other Computer Engineering (1679)
- Computer and Systems Architecture (1618)
- Data Storage Systems (1552)
- Social and Behavioral Sciences (1438)
- Civil and Environmental Engineering (1327)
- Robotics (1251)
- 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 (443)
- 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 (265)
- Chulalongkorn University (243)
- Al Iraqia University (235)
- Purdue University (218)
- University of South Florida (218)
- University of Arkansas, Fayetteville (207)
- 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 (232)
- Security (183)
- Artificial intelligence (173)
- 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 17581 - 17610 of 25640
Full-Text Articles in Computer Engineering
A Penalty Function Method For Designing Efficient Robust Classifiers With Input Space Optimal Separating Surfaces, Ayşegül Uçar, Yakup Demi̇r, Cüneyt Güzeli̇ş
A Penalty Function Method For Designing Efficient Robust Classifiers With Input Space Optimal Separating Surfaces, Ayşegül Uçar, Yakup Demi̇r, Cüneyt Güzeli̇ş
Turkish Journal of Electrical Engineering and Computer Sciences
This paper considers robust classification as a constrained optimization problem. Where the constraints are nonlinear, inequalities defining separating surfaces, whose half spaces include or exclude the data depending on their classes and the cost, are used for attaining robustness and providing the minimum volume regions specified by the half spaces of the surfaces. The constraints are added to the cost using penalty functions to get an unconstrained problem for which the gradient descent method can be used. The separating surfaces, which are aimed to be found in this way, are optimal in the input data space in contrast to the …
Applications Of Wavelets And Neural Networks For Classification Of Power System Dynamics Events, Samir Avdakovic, Amir Nuhanovic, Mirza Kusljugic, Elvisa Becirovic
Applications Of Wavelets And Neural Networks For Classification Of Power System Dynamics Events, Samir Avdakovic, Amir Nuhanovic, Mirza Kusljugic, Elvisa Becirovic
Turkish Journal of Electrical Engineering and Computer Sciences
This paper investigates the possibility of classifying power system dynamics events using discrete wavelet transform (DWT) and a neural network (NN) by analyzing one variable at a single network bus. Following a disturbance in the power system, it will propagate through the system in the form of low-frequency electromechanical oscillations (LFEOs) in a frequency range of up to 5 Hz. DWT allows the identification of components of the LFEO, their frequencies, and magnitudes. After determining the energy components' share of the analyzed signal using DWT and Parseval's theorem, the input data for the classification process using a NN are obtained. …
Design, Optimization, And Realization Of A Wire Antenna With A 25:1 Bandwidth Ratio For Terrestrial Communications, Korkut Yeği̇n
Design, Optimization, And Realization Of A Wire Antenna With A 25:1 Bandwidth Ratio For Terrestrial Communications, Korkut Yeği̇n
Turkish Journal of Electrical Engineering and Computer Sciences
Wire antennas can be made wideband if the antenna is loaded with passive elements and connected to a lossless matching network. However, realization of the load component values and matching network can easily become impractical. In this study, using only a surface mount and standard component values, antenna loads and a matching network are optimized using genetic algorithms. The optimized design achieves a 25:1 bandwidth ratio, from 20 MHz to 500 MHz, with a maximum voltage standing wave ratio (VSWR) of 3.5 and minimum system gain of --5 dBi. The antenna system gain at azimuth is taken as the objective …
A New Method For Extraction Of Speech Features Using Spectral Delta Characteristics And Invariant Integration, Hassan Farsi, Samana Kuhimoghadam
A New Method For Extraction Of Speech Features Using Spectral Delta Characteristics And Invariant Integration, Hassan Farsi, Samana Kuhimoghadam
Turkish Journal of Electrical Engineering and Computer Sciences
We propose a new feature extraction algorithm that is robust against noise. Nonlinear filtering and temporal masking are used for the proposed algorithm. Since the current automatic speech recognition systems use invariant-integration and delta-delta techniques for speech feature extraction, the proposed algorithm improves speech recognition accuracy appropriately using a delta-spectral feature instead of invariant integration. One of the nonenvironmental factors that reduce recognition accuracy is the vocal tract length (VTL), leading to a mismatch between the training and testing data. We can use the invariant-integration feature idea for decreasing the VTL effects. The aim of this paper is to provide …
Continuity Of Currents Across Neighboring Cells In Pmm Analysis Of Thin-Wire Grids, Sena Esen Bayer Keski̇n, Ahmet Ari̇f Ergi̇n
Continuity Of Currents Across Neighboring Cells In Pmm Analysis Of Thin-Wire Grids, Sena Esen Bayer Keski̇n, Ahmet Ari̇f Ergi̇n
Turkish Journal of Electrical Engineering and Computer Sciences
This article presents a new approach for the analysis of electromagnetic scattering from a rectangular wire mesh. In this sense, a basis function that considers the flow of a current from one cell to the next is proposed in light of Floquet's theorem. The proposed basis function enables the use of periodic method of moments in frequency-selective surfaces composed of thin wires in the case of a system having a connection with neighboring cells, such as thin-wire grids. The validity of the proposed solution approach is tested in 2 distinct cases (with and without a neighbor connection) for scattered fields. …
Neuro-Fuzzy Network Approach For Modeling Submicron Mosfets: Application To Mosfet Subcircuit Simulation, Amirhossein Abdollahinohoji, Fardad Farokhi, Majid Zamani
Neuro-Fuzzy Network Approach For Modeling Submicron Mosfets: Application To Mosfet Subcircuit Simulation, Amirhossein Abdollahinohoji, Fardad Farokhi, Majid Zamani
Turkish Journal of Electrical Engineering and Computer Sciences
A neuro-fuzzy network approach is developed to model the nonlinear behavior of submicron metal-oxide semiconductor field-effect transistors (MOSFETs). The proposed model is trained and implemented as a MOSFET in a software environment. The training data are obtained through various simulations of a MOSFET Berkeley short channel insulated-gate field-effect transistor model 3 (BSIM3) in HSPICE, and the trained model is utilized to simulate the MOSFET device. The obtained result shows good and noticeable agreement between the numerical result of the original model in HSPICE and the neuro-fuzzy approach in the device and subcircuit modeling.
Simultaneous Identification And Correction Of Measurement And Branch Parameter Errors, Mehdi Ahmadi Jirdehi, Mehrdad Tarafdar Hagh, Kazem Zare
Simultaneous Identification And Correction Of Measurement And Branch Parameter Errors, Mehdi Ahmadi Jirdehi, Mehrdad Tarafdar Hagh, Kazem Zare
Turkish Journal of Electrical Engineering and Computer Sciences
The performance of the state estimation (SE) depends on the accuracy of the received measured data, as well as the parameter data of the power system. In this paper, a new algorithm is proposed for the simultaneous identification and correction of measurement and branch parameter errors (series and shunt admittances) in the power system SE problem. The proposed method uses Lagrange multipliers for the identification and correction of branch parameter errors without the need for a-priori specification of suspect parameter vectors. Erroneous measurements and branch parameter values can be corrected using the proposed method to estimate the measurement and branch …
Fuzzy Impedance And Force Control Of A Stewart Platform, Selçuk Ki̇zi̇r, Zafer Bi̇ngül
Fuzzy Impedance And Force Control Of A Stewart Platform, Selçuk Ki̇zi̇r, Zafer Bi̇ngül
Turkish Journal of Electrical Engineering and Computer Sciences
A new, simple, and effective control method is proposed for the position-based impedance and force control of a Stewart platform (SP). The control approach can be divided into 3 parts, namely position control in free space, impedance control in contact, and force control. An impedance filter is developed to achieve the desired behavior between the position and force. The gain of the filter is modified by a fuzzy logic proportional-integral-derivative controller. Kinematic and dynamic models of the SP are simulated in a MATLAB/Simulink environment. Several real-time experiments are conducted with the SP developed in our laboratory. The results of the …
Fuzzy Logic Approach To Henry Factor For Distributed Feedback Laser Case, Abdullah Çavuşoğlu
Fuzzy Logic Approach To Henry Factor For Distributed Feedback Laser Case, Abdullah Çavuşoğlu
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, a simple approach for intelligent modeling of the Henry factor (\alpha-alpha parameter, antiguiding factor, phase-amplitude coupling factor) or the so-called linewidth enhancement factor, which is an actual analysis and design parameter for semiconductor laser diodes and optical communication systems, is proposed based on the fuzzy logic (FL) phenomenon. The proposed FL-based model easily computes the Henry factor in terms of different wavelengths and injection current levels (i.e. the inputs of the model). The experimental data belong to a distributed feedback laser, obtained from amplified spontaneous emission spectra, which is among the techniques required for the characterization of …
New Throughput-Based Antenna Selection Scheme, Mohammad Lari, Abbas Mohammadi, Abdolali Abdipour
New Throughput-Based Antenna Selection Scheme, Mohammad Lari, Abbas Mohammadi, Abdolali Abdipour
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a new throughput-based transmit antenna selection (AS) scheme is evaluated. First, a closed-form solution for the throughput rate of a multiple-input multiple-output (MIMO) system, with a truncated selective repeat automatic repeat request (TSR-ARQ) or selective repeat plus go-back-N automatic repeat request (SR+GBN-ARQ) protocol at the data link layer, is proposed. In addition, a throughput-based AS technique with adaptive modulation is also investigated. For this purpose, the throughput and packet error rates of a MIMO system with a transmit AS and TSR-ARQ protocol at the data link layer are analyzed. This study is conducted in 2 different cases. …
A Low-Order Nonlinear Amplifier Model With Distributed Delay Terms, Ahmet Hayretti̇n Yüzer, Şi̇mşek Demi̇r
A Low-Order Nonlinear Amplifier Model With Distributed Delay Terms, Ahmet Hayretti̇n Yüzer, Şi̇mşek Demi̇r
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a novel behavioral modeling technique for the characterization of memory effects of amplifiers is proposed. This characterization utilizes asymmetric intermodulation distortion (IMD) components, which are the result of a 2-tone excitation of a nonlinear amplifier. These asymmetric IMD components are represented basically by a power series, where each term in the series has its own time delay term. These time delay terms successfully justify the presence of asymmetry in the intermodulation components, which leads to the prediction of amplitude-to-amplitude and amplitude-to-phase distortions. The parameters of the model are extracted using 2-tone measurements. A 100-W peak power amplifier …
A Novel Hybrid Recurrent Wavelet Neural Network Control Of Permanent Magnet Synchronous Motor Drive For Electric Scooter, Chih Hong Lin
A Novel Hybrid Recurrent Wavelet Neural Network Control Of Permanent Magnet Synchronous Motor Drive For Electric Scooter, Chih Hong Lin
Turkish Journal of Electrical Engineering and Computer Sciences
Due to the electric scooter with nonlinear uncertainties, e.g., nonlinear friction force of the transmission belt, the linear controller was made to disable speed tracking control. In order to overcome this problem, a novel hybrid recurrent wavelet neural network (NHRWNN) control system is proposed to control for a permanent-magnet synchronous motor-driven electric scooter in this study. The NHRWNN control system consists of a supervised control, a recurrent wavelet neural network (RWNN), and a compensated control with adaptive law. According to the Lyapunov stability theorem and the gradient descent method, the on-line parameter training methodology of the RWNN can be derived …
An Artificial Neural Network Approach For Sensorless Speed Estimation Via Rotor Slot Harmonics, Hayri̇ Arabaci
An Artificial Neural Network Approach For Sensorless Speed Estimation Via Rotor Slot Harmonics, Hayri̇ Arabaci
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a sensorless speed estimation method with an artificial neural network for squirrel cage induction motors is presented. Motor current is generally used for sensorless speed estimation. Rotor slot harmonics are available in the frequency spectrum of the current. The frequency components of these determined harmonics are used to estimate the speed of the motor in which the number of rotor slots is given. In the literature, individual algorithms have been used to calculate the speed from the slot harmonics. Unlike the literature, in the proposed method, an artificial neural network is used to extract the speed from …
New Approach Using Structure-Based Modeling For The Simulation Of Real Power/Frequency Dynamics In Deregulated Power Systems, Mostafa Eidiani, Hossein Zeynal
New Approach Using Structure-Based Modeling For The Simulation Of Real Power/Frequency Dynamics In Deregulated Power Systems, Mostafa Eidiani, Hossein Zeynal
Turkish Journal of Electrical Engineering and Computer Sciences
Load frequency control (LFC) is one of the significant ancillary services in the electricity markets. The major concerns with LFC models have long been their dynamic response and complexity, as well as market price sensitivity. To cater to the complexity of the dynamic model that is introduced by the LFC and algebraic constraints by the transmission network, the differential-algebraic equation is transformed into a set of ordinary differential equations. This is done by differentiating the network constraints under a certain assumption that can be held throughout the system. To make the model suitable in a market environment, the real power …
Design And Realization Of A Welding Oscillator, Muci̇z Özcan
Design And Realization Of A Welding Oscillator, Muci̇z Özcan
Turkish Journal of Electrical Engineering and Computer Sciences
Welding is one of the most popular methods to combine metal pieces in manufacturing processes. Arc welding, among all welding techniques, is the most commonly used in manufacturing due to its cost and flexibility. During the manufacturing process, arc welding is either performed by an operator or by automatic tools such as welding oscillators. Using automatic tools has advantages over manual use, as the process will be faster, cheaper, and have less welding flaws. In this paper, a homemade welding oscillator and the method to manufacture it are presented. The presented welding oscillator can be manufactured for a very low …
Comparison Of Ais And Fuzzy C-Means Clustering Methods On The Classification Of Breast Cancer And Diabetes Datasets, Seral Özşen, Rahi̇me Ceylan
Comparison Of Ais And Fuzzy C-Means Clustering Methods On The Classification Of Breast Cancer And Diabetes Datasets, Seral Özşen, Rahi̇me Ceylan
Turkish Journal of Electrical Engineering and Computer Sciences
Data reduction is an indispensable part of pattern classification processes in many cases. If the number of samples is excessive, sample reduction or data reduction algorithms can be used for an effective processing time and reliable successive results. Many methods have been used for data reduction. Fuzzy c-means is one of these methods and it is widely used in such applications as clustering algorithms. In this study, we applied a different clustering algorithm, an artificial immune system (AIS), for the data reduction process. We realized the performance evaluation experiments on the standard Chainlink and Iris datasets, while the main application …
Horizontal Dilution Of Precision-Based Ultra-Wideband Positioning Technique For Indoor Environments, Kerem Küçük
Horizontal Dilution Of Precision-Based Ultra-Wideband Positioning Technique For Indoor Environments, Kerem Küçük
Turkish Journal of Electrical Engineering and Computer Sciences
Ultra-wideband (UWB) technology provides considerable performance in many indoor localization problems thanks to its very wide spectrum and high-resolution characteristics. In this paper, we propose using the horizontal dilution of precision (HDOP) to decrease the localization error in indoor environments for UWB localization systems. To achieve this aim, first we determine the positioning accuracy of a commercially available UWB positioning system using laboratory experiments. Next, the results of the position estimations obtained by the HDOP are compared with the experimental results acquired by the UWB positioning system. Finally, we investigate a detailed comparison with the least squares (LS), nonlinear regression …
A New Approach Of Nonblind Watermarking Methods Based On Dwt And Svd Via Lu Decomposition, Onur Jane, Ersi̇n Elbaşi
A New Approach Of Nonblind Watermarking Methods Based On Dwt And Svd Via Lu Decomposition, Onur Jane, Ersi̇n Elbaşi
Turkish Journal of Electrical Engineering and Computer Sciences
Multimedia security has been the focal point of considerable research activity in the last decade, mainly because of its wide application area. Watermarking, in particular, is identified as a major technology to achieve copyright protection and multimedia security. Therefore, recent studies in the literature include some evident approaches for embedding data into a multimedia element. Because of its useful frequency component separation, the discrete wavelet transform (DWT) is commonly used in watermarking schemes. Moreover, singular value decomposition (SVD) and lower-and-upper (LU) decomposition have little effect on the perception of the watermark. Therefore, in this study, a combination of DWT and …
Implementation Of Neural Network-Based Maximum Power Tracking Control For Wind Turbine Generators, Abdulhaki̇m Karakaya, Ercüment Karakaş
Implementation Of Neural Network-Based Maximum Power Tracking Control For Wind Turbine Generators, Abdulhaki̇m Karakaya, Ercüment Karakaş
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, the maximum power point tracking (MPPT) of a permanent magnet synchronous generator used in a wind generator system is realized by a prototype installed in a laboratory environment. The installed prototype is modeled in a MATLAB/Simulink environment. The MPPT is realized by an artificial neural network (ANN). The obtained simulation and experimental results are compared. The maximum power estimation at various windmill speeds (rpm) of the trained ANN in determined reference speeds is analyzed. The zero crossing points of the phases are determined by a digital signal peripheral interface controller and the system is operated according to …
Design And Implementation Of A Microcontroller Based Wind Energy Conversion System, Mehmet Demi̇rtaş, Şeri̇f Şerefoğlu
Design And Implementation Of A Microcontroller Based Wind Energy Conversion System, Mehmet Demi̇rtaş, Şeri̇f Şerefoğlu
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, a dsPIC-controlled DC/DC boost converter and a wind turbine control system that tracks the maximum power point are designed and implemented. In practice, the energy generated by a permanent magnet synchronous wind turbine is applied to the load using a circuit that consists of a rectifier, boost converter, and protective load. The converter operates in the designed mode 35% more efficiently than in the normal operation mode. In addition, the wind turbine is protected from overvoltages in strong windy weather using the protective circuit. Experimental results show that the ripple value on the direct current belonging to …
Optimization Of Job Shop Scheduling Problems Using Modified Clonal Selection Algorithm, Yilmaz Atay, Hali̇fe Kodaz
Optimization Of Job Shop Scheduling Problems Using Modified Clonal Selection Algorithm, Yilmaz Atay, Hali̇fe Kodaz
Turkish Journal of Electrical Engineering and Computer Sciences
Artificial immune systems (AISs) are one of the artificial intelligence techniques studied a lot in recent years. AISs are based on the principles and mechanisms of the natural immune system. In this study, the clonal selection algorithm, which is used commonly in AISs, is modified. This algorithm is applied to job shop scheduling problems, which are one of the most difficult optimization problems. For applying application results to the optimum solution, parameter values giving the optimum solution are determined by analyzing the parameters in the algorithm. The obtained results are given in detail in the tables and figures. The best …
Study On Interior Permanent Magnet Synchronous Motors For Hybrid Electric Vehicle Traction Drive Application Considering Permanent Magnet Type And Temperature, Javad Soleimani, Abolfazl Vahedi, Abdolhossein Ejlali, Mohammadhossein Barzegari Bafghi
Study On Interior Permanent Magnet Synchronous Motors For Hybrid Electric Vehicle Traction Drive Application Considering Permanent Magnet Type And Temperature, Javad Soleimani, Abolfazl Vahedi, Abdolhossein Ejlali, Mohammadhossein Barzegari Bafghi
Turkish Journal of Electrical Engineering and Computer Sciences
Recently, interior permanent magnet synchronous motors (Interior-PMSMs) have become known as a good candidate for hybrid electric vehicle (HEV) traction drive application due to their unique merits. However, the dynamic and steady-state behaviors of these motors are quite dependent on the permanent magnet (PM) type, configuration, and volume in rotor structures. This paper uses a novel structure of Interior-PMSMs for traction applications with fragmental buried rotor magnets in order to achieve low torque ripple, iron losses, and cogging torque. In this paper, first, the effect of the PM type on a d-q equivalent circuit model is examined. Next, the design …
A New Psfb Converter-Based Inverter Arc Welding Machine With High Power Density And High Efficiency, İsmai̇l Aksoy
A New Psfb Converter-Based Inverter Arc Welding Machine With High Power Density And High Efficiency, İsmai̇l Aksoy
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, a high-performance single-phase inverter arc welding machine is presented. Power control of the developed welding machine is realized with a high-frequency, phase-shifted full bridge (PSFB) pulse-width modulation (PWM) converter. The PSFB PWM converter operates with soft switching at no load and full load. There is no need to use a passive snubber in the converter. Welding machine control is implemented with a digital signal processor (DSP) and phase-shift PWM IC. By means of the DSP, advanced arc welding functions and protection features such as short-circuit, over-current, and temperature protection are achieved. The current and voltage waveforms given …
A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
Engineering Faculty Articles and Research
The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural …
Measuring And Modelling The Thermal Performance Of The Tamar Suspension Bridge Using A Wireless Sensor Network, Nicholas De Battista, James M. W. Brownjohn, Hwee-Pink Tan, Ki Young Koo
Measuring And Modelling The Thermal Performance Of The Tamar Suspension Bridge Using A Wireless Sensor Network, Nicholas De Battista, James M. W. Brownjohn, Hwee-Pink Tan, Ki Young Koo
Research Collection School Of Computing and Information Systems
A study on the thermal performance of the Tamar Suspension Bridge deck in Plymouth, UK, is presented in this paper. Ambient air, suspension cable, deck and truss temperatures were acquired using a wired sensor system. Deck extension data were acquired using a two-hop wireless sensor network. Empirical models relating the deck extension to various combinations of temperatures were derived and compared. The most accurate model, which used all the four temperature variables, predicted the deck extension with an accuracy of 99.4%. Time delays ranging from 10 to 66 min were identified between the daily cycles of the air temperature and …
Cross-Domain Password-Based Authenticated Key Exchange Revisited, Liqun Chen, Hoon Wei Lim, Guomin Yang
Cross-Domain Password-Based Authenticated Key Exchange Revisited, Liqun Chen, Hoon Wei Lim, Guomin Yang
Research Collection School Of Computing and Information Systems
We revisit the problem of secure cross-domain communication between two users belonging to different security domains within an open and distributed environment. Existing approaches presuppose that either the users are in possession of public key certificates issued by a trusted certificate authority (CA), or the associated domain authentication servers share a long-term secret key. In this article, we propose a generic framework for designing four-party password-based authenticated key exchange (4PAKE) protocols. Our framework takes a different approach from previous work. The users are not required to have public key certificates, but they simply reuse their login passwords, which they share …
On The Security Of Auditing Mechanisms For Secure Cloud Storage, Yong Yu, Lei Niu, Guomin Yang, Yi Mu, Willy Susilo
On The Security Of Auditing Mechanisms For Secure Cloud Storage, Yong Yu, Lei Niu, Guomin Yang, Yi Mu, Willy Susilo
Research Collection School Of Computing and Information Systems
Cloud computing is a novel computing model that enables convenient and on-demand access to a shared pool of configurable computing resources. Auditing services are highly essential to make sure that the data is correctly hosted in the cloud. In this paper, we investigate the active adversary attacks in three auditing mechanisms for shared data in the cloud, including two identity privacy-preserving auditing mechanisms called Oruta and Knox, and a distributed storage integrity auditing mechanism.We show that these schemes become insecure when active adversaries are involved in the cloud storage. Specifically, an active adversary can arbitrarily alter the cloud data without …
Effect Of Laser-Assisted Resonant Excitation On The Growth Of Gan Films, H. Rabiee Golgir, Y. Gao, Y. S. Zhou, L. S. Fan, Kamran Keramatnejad, Yongfeng Lu
Effect Of Laser-Assisted Resonant Excitation On The Growth Of Gan Films, H. Rabiee Golgir, Y. Gao, Y. S. Zhou, L. S. Fan, Kamran Keramatnejad, Yongfeng Lu
Department of Electrical and Computer Engineering: Dissertations, Theses, and Student Research
Gallium nitride (GaN) films were grown using laser-assisted metal organic chemical vapor deposition (LMOCVD). The vibrational mode (1084.63 cm-1) of ammonia (NH3) molecules was resonantly excited using a wavelength-tunable CO2 laser at a laser wavelength of 9.219 μm due to its high absorption cross-section. Through wavelength-matched resonant excitation of the NH3 molecules, highly c-axis oriented GaN films were successfully deposited on sapphire (α-Al2O3) substrates at low temperatures (250 to 600oC). The strong (0001) GaN peak in Xray diffraction spectra confirmed the good crystalline quality of GaN films. Additionally, the …
Performance Evaluation Of A Technology Independent Security Gateway For Next Generation Networks, Fudong Li, Nathan Clarke, Steven Furnell, Is-Mkwawa Mkwawa
Performance Evaluation Of A Technology Independent Security Gateway For Next Generation Networks, Fudong Li, Nathan Clarke, Steven Furnell, Is-Mkwawa Mkwawa
Research outputs 2014 to 2021
With the all IP based Next Generation Networks being deployed around the world, the use of real-time multimedia service applications is being extended from normal daily communications to emergency situations. However, currently different emergency providers utilise differing networks and different technologies. As such, conversations could be terminated at the setup phase or data could be transmitted in plaintext should incompatibility issues exit between terminals. To this end, a novel security gateway that can provide the necessary security support for incompatible terminals was proposed, developed and implemented to ensure the successful establishment of secure real-time multimedia conversations. A series of experiments …
A Multiagent Approach Towards Solving Complex Problems Of Sociotechnical Systems, Hongying Du
A Multiagent Approach Towards Solving Complex Problems Of Sociotechnical Systems, Hongying Du
Theses and Dissertations
Complex resource allocation problems arise due to complex human societies and scarce resources to be distributed. Scarce resources could be food, water, and energy. Meanwhile, the size of the problem, the intersection of different areas, and possible global consequences all add to the complexity of the problems, which makes it difficult for humans to solve the problems by themselves.
For all these reasons, humans need technical help to tackle complex problems. Since humans participating in the problems usually own part of the information about the problems, and no one may see the whole picture of the problems, it is natural …