Towards rewriting-based formal model for component ... - IEEE Xplore

Towards rewriting-based formal model for component ... - IEEE Xplore

Most related LIVE informational pages

Towards rewriting-based formal model for component ... - IEEE Xplore

LIRE Laboratory, Constantine 2 University -AbdelHamid Mehri. Constantine, Algeria [email protected] [email protected] [email protected] ... off-the-shelf components properly and safely is a serious challenge, which ... which not only represents the nature of this module but also.

Reliability Varying Characteristics of PV-ESS-Based ... - IEEE Xplore

9 Sep 2019 ... Corresponding author: Xiaotong Song ([email protected]). This work was ... Unfortunately, the reliability should be not only modeled as a 'criteria' or ... MT ramping up/down constraints, (14) is PV available power constraint ...

A Generative Model for OCT Retinal Layer ... - IEEE Xplore

holds the potential not only to provide repeatable, quantitative and objective results but ... Normal University, Jinan 250014, China. e-mail: [email protected], ... matches [36]. Many off-the-shelf joint matching algorithms [37], [38] aim.

A Magnetic Induction-Based Highly Dynamic ... - IEEE Xplore

Taiyuan, 030051 ,China(e-mail: [email protected]). measurement ... It not only helps accurately obtain highly dynamic rotational movement parameters, which ... to stabilize down before the next acceleration, until the set. 100rps was ...

Curve Clustering Architecture Based on Projected ... - IEEE Xplore

20 May 2020 ... Corresponding authors: Jianghui Cai ([email protected]) and Haifeng Yang ([email protected]). This work ... The latent space of VAE and GANs not only ... increases the stability of the model, but also slows down the.

Attention GAN-Based Method for Designing Intelligent ... - IEEE Xplore

20 Nov 2019 ... Corresponding authors: Wei Zhang ([email protected]), Guan Gui ([email protected]), and Hikmet Sari ... images, we usually do not need to pay attention to all the ... slow, the recognition speed will slow down.

Ethics in Data Sharing: Developing a Model for Best ... - IEEE Xplore

from the context of computer and network security. ... (whether academic or not) on collected data has at least the following stages: 1) define ... these properly passed down while protecting the rights of the ... bitbucket.org/paper.html. [7] David ...

Digital Forensic Investigation Development Model - IEEE Xplore

Many of the methods used in digital forensics have not been formally outlined. ... This paper discussed breaking down the digital forensic investigation and their progression into an investigation development ... DOI: 10.1109/CICN.2013.115 ... 3. http://www. csis. hku. hk/cisc/forensics/papers/ComputerForensicsInHK. pdf.

A Chaos-Based Image Encryption Technique Utilizing ... - IEEE Xplore

20 Jun 2019 ... Corresponding author: Ying Niu ([email protected]). This work was ... standard (AES) [3], [4] are not suitable for image encryp- tion due to ... the adjacent pixels is broken down, which greatly reduces the computational and ...

Misaligned Image Integration With Local Linear Model - IEEE Xplore

Contact [email protected] for further questions about this work. Color versions of ... not require a perfect alignment between the images by virtue of our new ... clear image and the blur kernels, which often comes down to an ill-posed ...

Finite States Model Predictive Control for Fault ... - IEEE Xplore

(E-mail: [email protected]);. Shiyang Hu ... capacity power conversion system is not only the primary ... upper bridge of phase is on and lower bridge is off. 0.

IEEE Spectrum | Current Issue | IEEE Xplore

Read the current issue of IEEE Spectrum | IEEE Xplore. ... Where no radio has gone before: Cognitive radios can keep deep-space missions connected to earth ...

Proceedings of the IEEE | Current Issue | IEEE Xplore

Read the current issue of Proceedings of the IEEE | IEEE Xplore. ... A not-for-profit organization, IEEE is the world's largest technical professional organization ...

IEEE Transactions on Biomedical Engineering ... - IEEE Xplore

this criterion would not be suitable for publication in T-BME. ... electronically, please contact the TBME office at [email protected]. ... and make the review process more transparent to the author by allowing electronic status checks of the ...

IEEE Potentials | Current Issue | IEEE Xplore

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity. © ...

Web AR - IEEE Xplore

Telecommunications, Beijing 100876, China (e-mail: [email protected]; ... for more information. Vol. 107, No. 4, April 2019 | PROCEEDINGS OF THE IEEE 651 ... advantage of a way to off-load computation (e.g., cloud computing) to ...

Record performance Top-down In 0.53 Ga 0.47 As ... - IEEE Xplore

Record performance Top-down In 0.53 Ga 0.47 As vertical nanowire FETs and ... stack, indicating that the process flow does not introduce additional interface defects. Published in: 2017 IEEE International Electron Devices Meeting (IEDM).

LinCos-Softmax - IEEE Xplore

24 Jun 2020 ... enhanced Linear-Cosine Softmax Loss (m-LinCos-Softmax) to further enlarge inter-class distances and ... boundaries between different classes, so it is not reliable ... linear-cosine logit can achieve a good trade-off between ... [5] Y. Guo, L. Zhang, Y. Hu, X. He, and J. Gao, ''MS-celeb-1M: A dataset.

IEEE Xplore Digital Library

Cookies are used temporarily to maintain sessions in IEEE Xplore and for no other purpose. ... Click the Default button or slide the bar down to 'Medium'. ... to accept cookies from the *ieee.org domain in order for you to use IEEE Xplore.

Down to Earth Conference (DTEC) | IEEE Xplore

Browse all the proceedings under Down to Earth Conference (DTEC) | IEEE Xplore.

HyperProtect: Enhancing the Performance of a ... - IEEE Xplore

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity. © ...

Joint DOD and DOA Estimation for Coherently ... - IEEE Xplore

19 Aug 2019 ... Corresponding author: Xiaoyi Pan ([email protected]) ... knowledge, there are no reports about the angular parameter ... off (VH GiV). (43).

Green Mobile Networks for 5G and Beyond - IEEE Xplore

19 Aug 2019 ... to the understanding of the energy consumption break-down in wireless access ... footprint, one may not only focus on reducing network power consumption, but also to ... The Netherlands claims a reduc- tion of PUE using ...

A Broadcast Distribution System for Deliver ... - IEEE Xplore

Hakodate, Japan [email protected]. Abstract—When base stations in cellular networks break down due to a disaster, users may not be able to use mobile ...

Takehiro Nakamura - IEEE Xplore Author Details

Takehiro Nakamura ([email protected]) received his B.E. and M.E. degrees in ... In 1992, he transferred to NTT DOCOMO, Inc. He is now director of the Radio Access System Group ... Download PDFs; Per Page: ... No.04CH37514).

The Impact of Quantization on the Design of Solar ... - IEEE Xplore

See http://www.ieee.org/publications_standards/publications/rights/index.html for more ... Department, Politecnico di Torino, Italy, and IMDEA Networks Institute, ... [17] S. Vikas Khare and P. Baredar, “Status of solar wind renewable energy.

Gamut-Extension Methods Considering Color ... - IEEE Xplore

2 Jul 2019 ... 3Science & Technology Research Laboratories, Japan Broadcasting ... contents recorded with the BT.709 [3] color space do not pos- ... neers (ITE) ultra-high definition / wide-color-gamut standard ... We down-sampled.

The Optimization of Plasma Catalytic Liquefaction ... - IEEE Xplore

6 Jan 2020 ... Corresponding author: Zhi Fang ([email protected]). This work was supported in part ... down the biomass macromolecules into small-molecule chemicals [6]. ... with the aim not only to enhance the reaction efficiency and yield of ...

The Heterogeneous Systems Integration Design and ... - IEEE Xplore

300, Taiwan, R.O.C. (e-mail: [email protected]; [email protected]. nctu.edu.tw ... inclination is not considered in the lane-recognition process. In addition, the linear Hough transform ... which was held in Las Vegas, NV, [30]. This paper is ... “Specify ROI,” which narrows down the searching region by applying two ...

Low Cost and Robust Field-Deployable ... - IEEE Xplore

Akita Prefectural University, Japan [email protected] ... the time in power-down mode with all non-vital components ... Last, but not least, we evaluated.

Performance Analysis of ACM System Used by Earth ... - IEEE Xplore

Abstract: In this paper, we address the performance analysis problem over adaptive coding and modulation (ACM) used by earth observation satellite.

A 2D/3D Switchable Directional-backlight Auto ... - IEEE Xplore

[email protected], [email protected] ). ... This article has been accepted for publication in a future issue of this journal, but has not been fully edited.

On Enhancing Location Privacy and QoS for Video ... - IEEE Xplore

[email protected], [email protected], [email protected], [email protected] ... which uniquely identifies a mobile station is not encrypted. Existing ... offer users the best trade-off between privacy and QoS.

SMS via 160by2: The international message service - IEEE Xplore

Most of the messages get delivered within five seconds. The service does not send SMS to those mobile numbers who have activated "Do not disturb" service ...

Andrea Massa - IEEE Xplore Author Details

Affiliation. ELEDIA@UniTN (DISI-University of Trento), Trento, Italy ... Chair of Excellence with the Universidad Carlos III de Madrid, Madrid, Spain. ... Optimal Trade-Off Phased-Arrays for Future Generation Radars and Communication Systems ... A not-for-profit organization, IEEE is the world's largest technical professional ...

Joint Energy Management and Interference ... - IEEE Xplore

(e-mail:[email protected], [email protected]). 2State-Province ... interference coordination is not efficient for energy saving in HetNets. Meanwhile, the ...

A New Approach for Cell Detection and Tracking - IEEE Xplore

8 Aug 2019 ... Corresponding author: ZhenZhou Wang ([email protected]) ... selection methods could not meet the accuracy requirement of cell detection adequately. ... cell image sequences are available and could be down- loaded at ...

Metaheuristic Scheduling for Cloud: A Survey - IEEE Xplore

Because scheduling is widely used in many problem do- mains, several studies [1], [4], [16], [24], [25] attempted to present a taxonomy of scheduling problems in ...

Automatic Detection Approach for Bioresorbable ... - IEEE Xplore

31 Jul 2019 ... Corresponding authors: Wen Zhou ([email protected]) and Fei Chen ([email protected]) ... dozens of images; therefore, to some extent, it is not effective ... as mentioned above, the network consists of five down-.

Downlink and Uplink Decoupling in Heterogeneous ... - IEEE Xplore

The work was supported by the National Natural Science Foundation of China (No. 61531011). ... Technology, Wuhan 430074, China (e-mail: [email protected]; ran- [email protected]; ... 5, there exists a trade-off between them, which.

Joint Least Squares Estimation of Frequency, DC ... - IEEE Xplore

must.edu.tw). ... However, no frequency offset was considered in the work. In. [7]–[9], statistical ... nel, the (frequency-independent) I-Q imbalance, and the dc off-.

Safety Assessment of Collaborative Robotics Through ... - IEEE Xplore

4 Feb 2020 ... systems should not be verified as a static property, but rather according to ... matrix approach with quantitative risk factors: severity Se, frequency Fr ... Sepmid is used as a threshold for slowing down Ri, so to maintain a ... [75] Siemens, “RobotExpert extension of tecnomatix process simulate suite,”. [Online].

An Overview of Physical Layer Security in Wireless ... - IEEE Xplore

15 Oct 2016 ... In practical wireless communication systems, CSIT is usually obtained, prior to ... See http://www.ieee.org/publications_standards/publications/rights/index ... aware of the statistics of the eavesdropper's CSI but not of its ... The performance analyses of a multi-cell MISO down- ... put., Monticello, IL, USA, Sep.

Comparison Analysis of Software Defined Network ... - IEEE Xplore

[email protected], [email protected], [email protected]. Abstract— ... Link-failure testing is used since SDN has not been tested in its path-route. Test results show that SDN can not learn new path if there is a down link.

Unmanned aerial vehicle as communication relay for ... - IEEE Xplore

... as communication relay for autonomous underwater vehicle — Field tests ... The results with data download from the AUV through the UAV communication relay to a ... the AUV and UAV are not the bottlenecks in the communication network.

This website uses cookies to ensure you get the best experience on our website. If you continue browsing, we consider that you accept their use. Cookies Info