e-Marefa
eMarefa Database
Home
Services
ARCIF
Bookmarks
Contact us
اللغة
الإنجليزية
العربية
Sign in
Search
Browse
All
Title
Authors / Persons
Institute
Search
Advanced search
Advanced Search
Search Controls
All
Abstract
Authors/ Persons
Country
Institute
ISSN / ISBN
Main Topic
Record ID
Source
Table of Contents
Title
Topics
AND
OR
NOT
All
Abstract
Authors/ Persons
Country
Institute
ISSN / ISBN
Main Topic
Record ID
Source
Table of Contents
Title
Topics
AND
OR
NOT
All
Abstract
Authors/ Persons
Country
Institute
ISSN / ISBN
Main Topic
Record ID
Source
Table of Contents
Title
Topics
Article Limiters
Has Full Text
Phrase
Contains Phrase
Exact Phrase
Any Word
اللغة
Arabic
English
French
# Pages
Equal to
Less than
Greater than
Pages
Document Type
Journal Articles
Book
Book chapters
Journals
International Theses
Arab Theses
Conference Papers
Book Reviews
Statistical Reports
Annual Reports
Conference
Thesaurus
Academic Programs
Awards
Concepts and Terminology
Institute
Poll Question
Fatawa
Training Courses
Public Opinion Polls
Resolutions
Person
Governance
Articles of association
Auditing Reports
Laws
Corporate Report
Monographic Series
Quarterly Reports
Conference Review
Textbook
Textbook Chapter
From
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1978
1977
1976
1975
1974
1973
1972
1971
1970
1969
1968
1967
1966
1965
1964
1963
1962
1961
1960
To
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1978
1977
1976
1975
1974
1973
1972
1971
1970
1969
1968
1967
1966
1965
1964
1963
1962
1961
1960
Filters
Main Subjects
Mathematics
(38)
Civil Engineering
(13)
Data Type
Journal Articles
(52)
Language
English
(52)
Country
Egypt
(52)
Authors / Persons
Song, Xiaoyu
(52)
Wu, Jinzhao
(7)
Gu, Ming
(5)
He, Anping
(5)
Lo, Kueiming
(5)
Zhang, Jie
(5)
Gao, Xinyan
(4)
Guan, Yong
(4)
Hung, William N. N.
(4)
Qi, Honggang
(4)
Zhao, Xibin
(4)
Zhou, Ning
(4)
Li, Dakui
(3)
Li, Xiaojuan
(3)
Shi, Zhiping
(3)
Sun, Jiaguang
(3)
Wan, Hai
(3)
Wang, Ji
(3)
Wang, Rui
(3)
Yang, Shihan
(3)
Zhang, Hehua
(3)
Show more
Update
Source
Journal of Applied Mathematics
(38)
Mathematical Problems in Engineering
(13)
Institute
Hindawi Publishing Corporation Cairo, Egypt :
(52)
Range:
Search Results
(
1
-
50
of
52
)
Relevance
Publish Date Asc
Publish Date Desc
Title Asc
Title Desc
Author Asc
Author Desc
Journal Articles
Spatiotemporal Variation Characteristics of Water Pollution and the Cause of Pollution Formation in a Heavily Polluted River in the Upper Hai River
By: Meng, Chunfang; Song, Xiaoyu; Yurdakal, Sedat…[et al.]. Journal of Chemistry. No. 2020 (2020), pp.1-15, 15 p.
Journal Articles
Composite-Level Conflict Detection in UML Model Versioning
By: Zhang, Zu; Qin, Zheng; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-9, 9 p.
Journal Articles
Formal Kinematic Analysis of a General 6R Manipulator Using the Screw Theory
By: Shi, Zhiping; Guan, Yong; Zhang, Jie…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-7, 7 p.
Journal Articles
Approximate Analyzing of Labeled Transition Systems
By: Yang, Shihan; Wu, Jinzhao; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-9, 9 p.
Journal Articles
A Dynamic Travel Time Estimation Model Based on Connected Vehicles
By: Tian, Daxin; Wang, Yunpeng; He, Anping…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-11, 11 p.
Journal Articles
Controllability of Nonlinear Impulsive Stochastic Evolution Systems Driven by Fractional Brownian Motion
By: Xiong, Juxia; Liu, Guiqing; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-9, 9 p.
Journal Articles
A New Resources Provisioning Method Based on QoS Differentiation and VM Resizing in IaaS
By: Hu, Rongdong; Jiang, Jingfei; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-9, 9 p.
Journal Articles
A Graph Based Framework for Route Optimization in Sea-Trade Logistics
By: Chu, Dianhui; Li, Chunshan; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-8, 8 p.
Journal Articles
Floor Field Model Based on Cellular Automata for Simulating Indoor Pedestrian Evacuation
By: Yang, Xiao; Qin, Zheng; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-10, 10 p.
Journal Articles
A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking
By: Dai, Shengxin; Guo, Bing; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-12, 12 p.
Journal Articles
Flame Image Segmentation Based on the Bee Colony Algorithm with Characteristics of Levy Flights
By: Zhang, Xiaolin; Yang, Tao; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-8, 8 p.
Journal Articles
Artificial Bee Colony Algorithm Combined with Grenade Explosion Method and Cauchy Operator for Global Optimization
By: Zheng, Jian-Guo; Zhou, Yongquan; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-14, 14 p.
Journal Articles
Modeling the Process of Event Sequence Data Generated for Working Condition Diagnosis
By: Ding, Jianwei; Liu, Yingbo; Song, Xiaoyu…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-13, 13 p.
Journal Articles
Generalized Framework for Similarity Measure of Time Series
By: Xu, Jingwen; Hung, William N. N.; Liang, Yan…[et al.]. Mathematical Problems in Engineering. No. 2014 (2014), pp.1-12, 12 p.
Journal Articles
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures
By: Gao, Xinyan; Ding, Yingcai; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-20, 20 p.
Journal Articles
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
By: Gao, Xinyan; Wei, Jianchao; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-15, 15 p.
Journal Articles
Compositional Abstraction Refinement for Component-Based Systems
By: Zhang, Lianyi; Meng, Qingdi; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-12, 12 p.
Journal Articles
Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols
By: Zhang, Chengwei; Li, Xiaohong; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-10, 10 p.
Journal Articles
A Software Vulnerability Rating Approach Based on the Vulnerability Database
By: Luo, Jian; Lo, Kueiming; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-9, 9 p.
Journal Articles
Robustness Analysis of Floating-Point Programs by Self-Composition
By: Jiang, Jiahong; Dong, Wei; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-12, 12 p.
Journal Articles
Counterexample-Preserving Reduction for Symbolic Model Checking
By: Wang, Rui; Dong, Wei; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-13, 13 p.
Journal Articles
Multitask Oriented Virtual Resource Integration and Optimal Scheduling in Cloud Manufacturing
By: Cheng, Zhen; Wan, Hai; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-9, 9 p.
Journal Articles
A Case Study on Formal Analysis of an Automated Guided Vehicle System
By: Zhang, Jie; Hung, William N. N.; Tan, Jindong…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-10, 10 p.
Journal Articles
Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka
By: Zhou, Jiantao; Fu, Weina; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-9, 9 p.
Journal Articles
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources
By: Yang, Shihan; Wu, Jinzhao; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-11, 11 p.
Journal Articles
A Bio-Inspired QoS-Oriented Handover Model in Heterogeneous Wireless Networks
By: Wang, Yunpeng; Wang, Jian; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-13, 13 p.
Journal Articles
Functional Verification of High Performance Adders in COQ
By: Song, Xiaoyu; Gu, Ming; Thulasiraman, Krishnaiyan…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-9, 9 p.
Journal Articles
Adaptive Fault-Tolerant Routing in 2D Mesh with Cracky Rectangular Model
By: Yang, Yi; Li, Lian; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-10, 10 p.
Journal Articles
Total Variation Based Perceptual Image Quality Assessment Modeling
By: Wu, Yadong; Zhang, Hongying; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-10, 10 p.
Journal Articles
Modeling a Heterogeneous Embedded System in Coloured Petri Nets
By: Zhang, Huafeng; Gu, Ming; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-8, 8 p.
Journal Articles
Formal Proof of a Machine Closed Theorem in Coq
By: He, Anping; You, Zhiyang; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-9, 9 p.
Journal Articles
An Efficient Multitask Scheduling Model for Wireless Sensor Networks
By: Xu, Jingwen; He, Anping; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-7, 7 p.
Journal Articles
Intelligent Modeling and Verification
By: Lo, Kueiming; Song, Xiaoyu; Yang, Xiaojing…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-2, 2 p.
Journal Articles
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives
By: Wang, Rui; Liu, Wanwei; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-12, 12 p.
Journal Articles
A Transformation-Based Approach to Implication of GSTE Assertion Graphs
By: Hung, William N. N.; Song, Xiaoyu; Guo, Wensheng…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-7, 7 p.
Journal Articles
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
By: Wang, Jianmin; Wen, Lijie; Kong, Hui…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-24, 24 p.
Journal Articles
Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
By: Gao, Xinyan; Li, Dakui; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-14, 14 p.
Journal Articles
Proactive Communicating Process with Asymmetry in Multiagent Systems
By: Feng, Zhiyong; Xu, Chao; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-15, 15 p.
Journal Articles
Action Recognition by Joint Spatial-Temporal Motion Feature
By: Zhang, Weihua; Zhou, Jiliu; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-9, 9 p.
Journal Articles
Formal Modeling and Verification for MVB
By: Xia, Mo; Sun, Mian; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-12, 12 p.
Journal Articles
A Unified Framework for DPLL(T) + Certificates
By: Zhou, Min; He, Fei; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-13, 13 p.
Journal Articles
The Gauge Integral Theory in HOL4
By: Ye, Shiwei; Zhang, Jie; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-7, 7 p.
Journal Articles
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches
By: Wu, Jinzhao; Gao, Xinyan; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-10, 10 p.
Journal Articles
OntCheck : An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
By: Zhang, Hehua; Gu, Ming; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-11, 11 p.
Journal Articles
Formalization of Linear Space Theory in the Higher-Order Logic Proving System
By: Zhang, Jie; Mao, Danwen; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-6, 6 p.
Journal Articles
Component-Based Formal Modeling of PLC Systems
By: Wang, Rui; Li, Xiaojuan; Zhang, Jie…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-9, 9 p.
Journal Articles
An Effective Heuristic-Based Approach for Partitioning
By: Song, Songzheng; Jiao, Xun; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-8, 8 p.
Journal Articles
Reliable Node Clustering for Mobile Ad Hoc Networks
By: Wang, Tao; Hung, William N. N.; Song, Xiaoyu. Journal of Applied Mathematics. No. 2013 (2013), pp.1-8, 8 p.
Journal Articles
A Novel Two-Terminal Reliability Analysis for MANET
By: Zhao, Xibin; You, Zhiyang; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-9, 9 p.
Journal Articles
Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis
By: Li, Zhiqiang; Chen, Hanwu; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-8, 8 p.
«
1
2
»