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
(7)
Civil Engineering
(5)
Data Type
Journal Articles
(14)
Language
English
(14)
Country
Egypt
(14)
Authors / Persons
Wu, Jinzhao
(14)
Song, Xiaoyu
(7)
Tan, Hongyan
(4)
Yang, Shihan
(4)
Gao, Xinyan
(3)
Zhou, Ning
(3)
Show more
Update
Source
Journal of Applied Mathematics
(7)
Mathematical Problems in Engineering
(5)
Institute
Hindawi Publishing Corporation Cairo, Egypt :
(14)
Range:
Search Results
(
1
-
14
of
14
)
Relevance
Publish Date Asc
Publish Date Desc
Title Asc
Title Desc
Author Asc
Author Desc
Journal Articles
A Descent Conjugate Gradient Algorithm for Optimization Problems and Its Applications in Image Restoration and Compression Sensing
By: Cao, Junyue; Wu, Jinzhao; Liu, Wenjie. Mathematical Problems in Engineering. No. 2020 (2020), pp.1-9, 9 p.
Journal Articles
Inductive Method for Evaluating RFID Security Protocols
By: Liu, Defu; Yang, Guowu; Huang, Yong…[et al.]. Wireless Communications and Mobile Computing. No. 2019 (2019), pp.1-8, 8 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 Deductive Approach towards Reasoning about Algebraic Transition Systems
By: Wu, Jinzhao; Thulasiraman, Krishnaiyan; Tan, Hongyan…[et al.]. Mathematical Problems in Engineering. No. 2015 (2015), pp.1-12, 12 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
Approximate Equivalence of the Hybrid Automata with Taylor Theory
By: He, Anping; Wu, Jinzhao; Lo, Kueiming…[et al.]. Journal of Applied Mathematics. No. 2014 (2014), pp.1-5, 5 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
On Fuzzy Rough Sets and Their Topological Structures
By: Tang, Weidong; Zheng, Dingwei; Yan, Jun-Juh…[et al.]. Mathematical Problems in Engineering. No. 2014 (2014), pp.1-17, 17 p.
Journal Articles
Approximate Bisimulation for High-Level Datapaths in Intelligent Transportation Systems
By: Deng, Hui; Wu, Jinzhao; Wang, Wu-hong…[et al.]. Advances in Mechanical Engineering. No. 2013 (2013), pp.1-14, 14 p.
Journal Articles
Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation
By: Deng, Hui; Wu, Jinzhao; Xu, Yang. Mathematical Problems in Engineering. No. 2013 (2013), pp.1-19, 19 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
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
Automata-Based Analysis of Stage Suspended Boom Systems
By: He, Anping; Wu, Jinzhao; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-7, 7 p.
Journal Articles
A Latent Implementation Error Detection Method for Software Validation
By: Zhou, Jiantao; Liu, Jing; Song, Xiaoyu…[et al.]. Journal of Applied Mathematics. No. 2013 (2013), pp.1-10, 10 p.