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
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection
(Articles)
Michael Perrick
Open Journal of Philosophy
Vol.8 No.5
,November 29, 2018
DOI:
10.4236/ojpp.2018.85040
1,052
Downloads
3,263
Views
Citations
Employment Access and Job Search Channels for Young People in Congo
(Articles)
Michel Okiemy
,
Sylvaniste Etsiba
Theoretical Economics Letters
Vol.11 No.2
,April 15, 2021
DOI:
10.4236/tel.2021.112021
334
Downloads
1,061
Views
Citations
A Conceptual Model That Identifies Mathematical Models and Lean Techniques for Problem-Solving at the Different Decision-Making Levels of Service Companies
(Articles)
Zaida E. Alarcón Bernal
,
Ricardo Aceves García
,
Arturo Fuentes Zenón
Journal of Service Science and Management
Vol.14 No.2
,April 19, 2021
DOI:
10.4236/jssm.2021.142011
437
Downloads
1,321
Views
Citations
Effect of Motivational Strategies on Employee Performance in Nigerian Commercial Banks
(Articles)
Taiwo Akinsola
,
Hadiza Abubakar Saidu
,
Taiwo Adewale Muritala
,
Akeem Adewale Bakare
Open Journal of Social Sciences
Vol.11 No.9
,September 19, 2023
DOI:
10.4236/jss.2023.119024
295
Downloads
2,552
Views
Citations
Generalized Powers of Substitution with Pre-Function Operators
(Articles)
Laurent Poinsot
Applied Mathematics
Vol.4 No.7A
,July 5, 2013
DOI:
10.4236/am.2013.47A004
2,982
Downloads
4,562
Views
Citations
This article belongs to the Special Issue on
Fractional Calculus Theory and Application
A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness
(Articles)
Vladimir O. Lobovikov
Journal of Applied Mathematics and Physics
Vol.9 No.3
,March 25, 2021
DOI:
10.4236/jamp.2021.93031
287
Downloads
840
Views
Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.2 No.2
,July 15, 2009
DOI:
10.4236/jsea.2009.22012
4,899
Downloads
8,269
Views
Citations
Model of Real Time Architecture for Data Placement in Wireless Sensor Networks
(Articles)
Sanjeev GUPTA
,
Mayank DAVE
Wireless Sensor Network
Vol.2 No.1
,January 13, 2010
DOI:
10.4236/wsn.2010.21008
7,698
Downloads
12,114
Views
Citations
A Conflicts Detection Approach for Merging Formal Specification Views
(Articles)
Fathi Taibi
,
Fouad Mohammed Abbou
,
Md. Jahangir Alam
Journal of Software Engineering and Applications
Vol.3 No.5
,May 24, 2010
DOI:
10.4236/jsea.2010.35052
4,994
Downloads
8,375
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,879
Downloads
8,054
Views
Citations
PLC Modeling and Checking Based on Formal Method
(Articles)
Yueshan Zheng
,
Guiming Luo
,
Junbo Sun
,
Junjie Zhang
,
Zhenfeng Wang
Journal of Software Engineering and Applications
Vol.3 No.11
,November 29, 2010
DOI:
10.4236/jsea.2010.311124
8,196
Downloads
16,063
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,823
Downloads
6,147
Views
Citations
The Imaginary Audience and the Personal Fable: A Test of Elkind’s Theory of Adolescent Egocentrism
(Articles)
Evangelia P. Galanaki
Psychology
Vol.3 No.6
,June 18, 2012
DOI:
10.4236/psych.2012.36065
27,573
Downloads
47,801
Views
Citations
Building Relationships between Schools and Communities’ Agencies: Crafting a Programmatic Proposal
(Articles)
Imran Shaari
,
Shu-Shing Lee
Creative Education
Vol.3 No.3
,June 20, 2012
DOI:
10.4236/ce.2012.33057
4,909
Downloads
7,785
Views
Citations
A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming
(Articles)
Khalid Benlhachmi
,
Mohammed Benattou
Journal of Information Security
Vol.4 No.2
,April 23, 2013
DOI:
10.4236/jis.2013.42013
4,421
Downloads
6,940
Views
Citations
Realization of Rough Set Approximation Toplogical Operations Based on Formal Concept Analysis
(Articles)
Huilai Zhi
International Journal of Intelligence Science
Vol.4 No.3
,July 4, 2014
DOI:
10.4236/ijis.2014.43008
2,843
Downloads
3,948
Views
Citations
FOTool: Modelling Indigenous Community Cultures in Sarawak
(Articles)
Edwin Mit
,
Ng Bong Ding
,
Cheah Wai Shiang
Journal of Software Engineering and Applications
Vol.7 No.8
,July 25, 2014
DOI:
10.4236/jsea.2014.78067
2,916
Downloads
3,792
Views
Citations
Formal-Informal Credit Market Interlinkage and Development Policies: A General Equilibrium Analysis
(Articles)
Rakhi Banerjee
,
Ranjanendra Narayan Nag
Modern Economy
Vol.6 No.8
,August 20, 2015
DOI:
10.4236/me.2015.68086
3,954
Downloads
5,431
Views
Citations
Fuzzy Semantics of Contract Language
(Articles)
Hengyang Wu
,
Yixiang Chen
Applied Mathematics
Vol.7 No.5
,March 18, 2016
DOI:
10.4236/am.2016.75039
2,302
Downloads
3,200
Views
Citations
This article belongs to the Special Issue on
Fuzzy Mathematics and Its Applications
An Augmented Framework for Formal Analysis of Safety Critical Systems
(Articles)
Monika Singh
,
V. K. Jain
Journal of Software Engineering and Applications
Vol.10 No.8
,July 11, 2017
DOI:
10.4236/jsea.2017.108039
1,199
Downloads
2,491
Views
Citations
<
1
2
3
...
>
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