Results 11 to 20 of about 18,694,941 (118)
Developing an appropriate digital hearing aid for low-resource countries: a case study. [PDF]
ScientificWorldJournal, 2013 This paper reviews the development process and discusses the key findings which resulted from our multidisciplinary research team′s effort to develop an alternative digital hearing suitable for low‐resource countries such as Thailand. A cost‐effective, fully programmable digital hearing aid, with its specifications benchmarking against WHO′s ...
Israsena P +7 more
europepmc +2 more sources
Development and application of a ZigBee-based building energy monitoring and control system. [PDF]
ScientificWorldJournal, 2014 Increasing in energy consumption, particularly with the ever‐increasing growth and development of urban systems, has become a major concern in most countries. In this paper, the authors propose a cost‐effective ZigBee‐based building energy monitoring and control system (ZBEMCS), which is composed of a gateway, a base station, and sensors. Specifically,
Peng C, Qian K.
europepmc +2 more sources
IET Generation, Transmission &Distribution, Volume 17, Issue 20, Page 4554-4573, October 2023., 2023 This paper provides an industrial internet of things (IoT) infrastructure solution based on a newly designed low‐cost microcontroller‐based IoT RTU to integrate new, old, and conventional sites of existing grids with smart grids. The IoT RTU supports Wi‐Fi communication and includes digital/analog inputs and outputs besides the advantage of serial data
Mohamed A. Sheba +2 more
wiley +1 more source
Concurrency and Computation: Practice and Experience, Volume 35, Issue 20, 10 September 2023., 2023 Abstract Performance and energy are the two most important objectives for optimization on heterogeneous high performance computing platforms. This work studies a mathematical problem motivated by the bi‐objective optimization of data‐parallel applications on such platforms for performance and energy. First, we formulate the problem and present an exact
Hamidreza Khaleghzadeh +2 more
wiley +1 more source
Integrating ANFIS and Qt Framework to Develop a Mobile‐Based Typhoon Rainfall Forecasting System
Wireless Communications and Mobile Computing, Volume 2022, Issue 1, 2022., 2022 Machine learning methods such as Adaptive Network‐Based Fuzzy Inference System (ANFIS) have been widely employed in intelligent urban storm water disaster warning for the purpose of smart city. However, there exists lack of research proposed for applying ANFIS and mobile application (App) to reach the purpose of smart city.
Shiu-Shin Lin +4 more
wiley +1 more source
Journal of Sensors, Volume 2022, Issue 1, 2022., 2022 Data‐driven fault detection and diagnosis (FDD) methods, referring to the newer generation of artificial intelligence (AI) empowered classification methods, such as data science analysis, big data, Internet of things (IoT), industry 4.0, etc., become increasingly important for facility management in the smart building design and smart city construction.
Michael Yit Lin Chew +2 more
wiley +1 more source
Mathematical Problems in Engineering, Volume 2022, Issue 1, 2022., 2022 In order to study the deficiency of tuning PID controller in traditional boiler combustion air system, this paper proposes an embedded Internet of things monitoring system and puts forward a method of fuzzy PID controller with the help of nonlinear optimization algorithm to reasonably set the initial value of control parameters.
Haiqing Zhang +5 more
wiley +1 more source
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
, 2009 Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced by encoding word-
Cordeiro, Lucas +2 more
core +3 more sources
Context-bounded model checking with ESBMC 1.17 [PDF]
, 2012 ESBMC is a context-bounded symbolic model checker that allows the verification of single- and multi-threaded C code with shared variables and locks.
Denis Nicole +7 more
core +1 more source