Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Analysis of Language Phenomena in Internet Slang: A Case Study of Internet Dirty Language
(Articles)
Jiayi Liu
,
Xinying Zhang
,
Haixu Li
Open Access Library Journal
Vol.10 No.8
,August 22, 2023
DOI:
10.4236/oalib.1110484
214
Downloads
3,316
Views
Citations
Design and Implementation of a New Chinese Word Segmentation Dictionary for the Personalized Mobile Search
(Articles)
Zhongmin Wang
,
Jingna Qi
,
Yan He
Communications and Network
Vol.5 No.1B
,November 7, 2013
DOI:
10.4236/cn.2013.51B019
3,104
Downloads
4,310
Views
Citations
Processing Printed Words in Literary Arabic and Spoken Arabic: An fNIRS Study
(Articles)
Bahaa Madi Tarabya
,
Asaid Khateb
,
Samer Andria
Open Journal of Modern Linguistics
Vol.11 No.3
,June 29, 2021
DOI:
10.4236/ojml.2021.113035
298
Downloads
1,242
Views
Citations
Retracing the History of “Word for Word”, “Sense for Sense” Translation
—Confronting and Inheriting of the Ancient Roman Translation Theories
(Articles)
Yaohan Guo
,
Yuwei Wan
Open Journal of Modern Linguistics
Vol.12 No.5
,September 28, 2022
DOI:
10.4236/ojml.2022.125042
235
Downloads
11,525
Views
Citations
This article belongs to the Special Issue on
Foreign Languages and Literatures
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
(Articles)
Prabhu Kaliappan
,
Hartmut Koenig
Journal of Software Engineering and Applications
Vol.1 No.1
,December 9, 2008
DOI:
10.4236/jsea.2008.11003
6,166
Downloads
12,061
Views
Citations
Probabilistic Verification over GF(2m) Using Mod2-OBDDs
(Articles)
J.L. Imana
Intelligent Information Management
Vol.2 No.2
,March 16, 2010
DOI:
10.4236/iim.2010.22012
3,549
Downloads
6,659
Views
Citations
Eliminating Forgers Based on Intra Trial Variability in Online Signature Verification Using Handglove and Photometric Signals
(Articles)
Andrews Samraj
,
Shohel Sayeed
,
Loo Chu Kiong
,
Nikos E. Mastorokis
Journal of Information Security
Vol.1 No.1
,July 30, 2010
DOI:
10.4236/jis.2010.11003
4,165
Downloads
8,003
Views
Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.3 No.8
,August 26, 2010
DOI:
10.4236/jsea.2010.38093
4,855
Downloads
8,193
Views
Citations
Extending the Strand Space Method with Timestamps: Part I the Theory
(Articles)
Yongjian Li
,
Jun Pang
Journal of Information Security
Vol.1 No.2
,October 29, 2010
DOI:
10.4236/jis.2010.12006
5,238
Downloads
9,178
Views
Citations
Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V
(Articles)
Yongjian Li
,
Jun Pang
Journal of Information Security
Vol.1 No.2
,October 29, 2010
DOI:
10.4236/jis.2010.12007
5,783
Downloads
9,701
Views
Citations
Software Engineering Principles: Do They Meet Engineering Criteria?
(Articles)
Kenza Meridji
,
Alain Abran
Journal of Software Engineering and Applications
Vol.3 No.10
,November 19, 2010
DOI:
10.4236/jsea.2010.310114
7,491
Downloads
13,485
Views
Citations
Online Fingerprint Verification Algorithm and Distributed System
(Articles)
Ping Zhang
,
Xi Guo
,
Jyotirmay Gadedadikar
Journal of Signal and Information Processing
Vol.2 No.2
,May 26, 2011
DOI:
10.4236/jsip.2011.22011
7,721
Downloads
15,352
Views
Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B
(Articles)
Amjad Gawanmeh
,
Sofiène Tahar
,
Leila Jemni Ben Ayed
Int'l J. of Communications, Network and System Sciences
Vol.5 No.3
,March 21, 2012
DOI:
10.4236/ijcns.2012.53021
3,812
Downloads
6,193
Views
Citations
Syntax-Tree Regular Expression Based DFA FormalConstruction
(Articles)
Nazir Ahmad Zafar
,
Fawaz Alsaade
Intelligent Information Management
Vol.4 No.4
,July 27, 2012
DOI:
10.4236/iim.2012.44021
11,896
Downloads
21,090
Views
Citations
Behavior of the Numerical Integration Error
(Articles)
Tchavdar Marinov
,
Joe Omojola
,
Quintel Washington
,
LaQunia Banks
Applied Mathematics
Vol.5 No.10
,May 23, 2014
DOI:
10.4236/am.2014.510133
6,865
Downloads
10,108
Views
Citations
Applying DNA Computation to Error Detection Problem in Rule-Based Systems
(Articles)
Behrouz Madahian
,
Amin Salighehdar
,
Reza Amini
Journal of Intelligent Learning Systems and Applications
Vol.7 No.1
,February 13, 2015
DOI:
10.4236/jilsa.2015.71003
4,462
Downloads
5,561
Views
Citations
Empirical Analysis on the Practical Feasibility of Timber Legality Verification Work in China
(Articles)
Jianquan Li
,
Shaozhi Chen
Open Journal of Political Science
Vol.5 No.3
,April 2, 2015
DOI:
10.4236/ojps.2015.53018
2,909
Downloads
3,773
Views
Citations
Modeling and Simulation of Hydraulic Hammer for Sleeve Valve
(Articles)
Zishan Xu
,
Guoping Yang
Engineering
Vol.8 No.9
,September 29, 2016
DOI:
10.4236/eng.2016.89059
1,784
Downloads
3,388
Views
Citations
Data Processing of Fault Recorder in Power System
(Articles)
Yu Qin
,
Yu Bai
,
Minghao Wen
Energy and Power Engineering
Vol.9 No.4B
,April 6, 2017
DOI:
10.4236/epe.2017.94B006
2,719
Downloads
4,193
Views
Citations
Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems
(Articles)
Ming Zhu
,
Jing Li
Journal of Computer and Communications
Vol.6 No.11
,November 27, 2018
DOI:
10.4236/jcc.2018.611022
622
Downloads
1,162
Views
Citations
<
...
2
3
4
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top