Thermoelectric Generation with Impinging Nano-Jets
Energies, 2021 In this study, thermoelectric generation with impinging hot and cold nanofluid jets is considered with computational fluid dynamics by using the finite element method. Highly conductive CNT particles are used in the water jets.
Fatih Selimefendigil +2 more
doaj +1 more source
Scale-Dependent Transport of Saharan Dust by African Easterly Waves
Geosciences, 2022 The scale-dependent transport of Saharan dust aerosols by African easterly waves (AEWs) is examined analytically and numerically. The analytical analysis shows that the meridional and vertical wave transports of dust are modulated by the Doppler-shifted ...
Terrence R. Nathan, Dustin F. P. Grogan
doaj +1 more source
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters [PDF]
, 2005 A rewrite logic semantic definitional framework for programming languages is introduced, called K, together with partially automated translations of K language definitions into rewriting logic and into C.
Hills, Mark +2 more
core
Formal Model Engineering for Embedded Systems Using Real-Time Maude
, 2011 This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat +27 more
core +2 more sources
Impact of Surface Roughness on Flow Physics and Entropy Generation in Jet Impingement Applications
Entropy, 2022 In this paper, a numerical investigation was performed of an air jet incident that normally occurs on a horizontal heated plane. Analysis of flow physics and entropy generation due to heat and friction is included using a simple easy-to-manufacture ...
Abdulrahman Alenezi +4 more
doaj +1 more source
Structuring visual exploratory analysis of skill demand
, 2018 The analysis of increasingly large and diverse data for meaningful interpretation and question answering is handicapped by human cognitive limitations. Consequently, semi-automatic abstraction of complex data within structured information spaces becomes ...
A.-S. Dadzie +30 more
core +1 more source
Review of semantic-based privacy-preserving approaches in LBS
网络与信息安全学报, 2016 The development of location-based services (LBS) caused serious privacy concerns.Semantic-based pri-vacy-preserving approaches is an important part of privacy protection in LBS.The recent work on location privacy protection based on semantics were ...
Ming-jie MA +3 more
doaj +3 more sources
Robust Confidence Intervals for PM2.5 Concentration Measurements in the Ecuadorian Park La Carolina
Sensors, 2020 In this article, robust confidence intervals for PM2.5 (particles with size less than or equal to 2.5 μ m ) concentration measurements performed in La Carolina Park, Quito, Ecuador, have been built.
Wilmar Hernandez +3 more
doaj +1 more source
Probabilistic Maritime Trajectory Prediction in Complex Scenarios Using Deep Learning
Sensors, 2022 Maritime activity is expected to increase, and therefore also the need for maritime surveillance and safety. Most ships are obligated to identify themselves with a transponder system like the Automatic Identification System (AIS) and ships that do not ...
Kristian Aalling Sørensen +2 more
doaj +1 more source
Map++: A Crowd-sensing System for Automatic Map Semantics Identification
, 2015 Digital maps have become a part of our daily life with a number of commercial and free map services. These services have still a huge potential for enhancement with rich semantic information to support a large class of mapping applications. In this paper,
Aly, Heba +2 more
core +1 more source