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
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,183
Downloads
2,569
Views
Citations
Architectural Composition: A Systematic Method to Define a List of Visual Attributes
(Articles)
Seyed Farhad Tayyebi
,
Yüksel Demir
Art and Design Review
Vol.7 No.3
,June 11, 2019
DOI:
10.4236/adr.2019.73012
1,072
Downloads
9,544
Views
Citations
Using a Low-Cost Playful Strategy to Present Sign Language on Non-Formal Educational Spaces
(Articles)
Tathianna Prado Dawes
,
Gustavo Henrique Varela Saturnino Alves
,
Helena Carla Castro
,
Andréia Santos Silva
,
Lucianne Fragel-Madeira
Creative Education
Vol.10 No.6
,June 28, 2019
DOI:
10.4236/ce.2019.106092
655
Downloads
1,326
Views
Citations
Can Graduating from a Key University Really Increase People’s Market Returns? Evidence from China’s Urban Formal Labor Market (1993-2010)
(Articles)
Lan Zhang
,
Shengmin Pang
Open Journal of Social Sciences
Vol.8 No.10
,October 15, 2020
DOI:
10.4236/jss.2020.810007
269
Downloads
840
Views
Citations
Survey of Smart Contract Technology and Application Based on Blockchain
(Articles)
Somboun Tern
Open Journal of Applied Sciences
Vol.11 No.10
,October 29, 2021
DOI:
10.4236/ojapps.2021.1110085
451
Downloads
2,607
Views
Citations
Expansion in the Retail Sector—Market Entry Strategies in Consideration of Formal and Informal Institutions: A Tesco Case Study
(Articles)
Daniel Krummel
Open Access Library Journal
Vol.9 No.2
,February 14, 2022
DOI:
10.4236/oalib.1108377
535
Downloads
7,635
Views
Citations
Emotion Work and Scale in Sociocultural Bicycle Advocacy and Transportation Literature
(Articles)
Rebecca van Stokkum
Open Journal of Social Sciences
Vol.10 No.12
,November 29, 2022
DOI:
10.4236/jss.2022.1012039
91
Downloads
514
Views
Citations
On Some Problems of Extracting the Root from a Given Finite Language
(Articles)
Boris F. Melnikov
,
Aleksandra A. Melnikova
Journal of Applied Mathematics and Physics
Vol.11 No.5
,May 31, 2023
DOI:
10.4236/jamp.2023.115096
64
Downloads
202
Views
Citations
Systematic Method for Constructing Lewis Representations
(Articles)
Lahbib Abbas
,
Lahcen Bih
,
Khalid Yamni
,
Abderrahim Elyahyaouy
,
Abdelmalik El Attaoui
,
Zahra Ramzi
Open Journal of Inorganic Chemistry
Vol.14 No.1
,January 31, 2024
DOI:
10.4236/ojic.2024.141001
39
Downloads
122
Views
Citations
Generativity of Self-Organizing Processes and Their Correlative Description in Terms of a Formal Language of Meta-Ordinal Generative Nature, in the Light of the Maximum Ordinality Principle and the Explicit Solution to the “Three-Body Problem”
(Articles)
Corrado Giannantoni
Journal of Applied Mathematics and Physics
Vol.11 No.10
,October 31, 2023
DOI:
10.4236/jamp.2023.1110206
42
Downloads
171
Views
Citations
Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions
(Articles)
Vladimir Olegovich Lobovikov
Journal of Applied Mathematics and Physics
Vol.10 No.8
,August 19, 2022
DOI:
10.4236/jamp.2022.108167
104
Downloads
485
Views
Citations
Generating Compatibility Conditions and General Relativity
(Articles)
J.-F. Pommaret
Journal of Modern Physics
Vol.10 No.3
,March 14, 2019
DOI:
10.4236/jmp.2019.103025
731
Downloads
1,394
Views
Citations
This article belongs to the Special Issue on
Astrophysics, Cosmology and Gravitation
Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V”
(Articles)
Vladimir O. Lobovikov
Journal of Applied Mathematics and Physics
Vol.10 No.5
,May 18, 2022
DOI:
10.4236/jamp.2022.105109
75
Downloads
457
Views
Citations
Formal Semantics of OWL-S with Rewrite Logic
(Articles)
Ning Huang
,
Xiaojuan Wang
,
Camilo Rocha
Journal of Software Engineering and Applications
Vol.2 No.1
,April 16, 2009
DOI:
10.4236/jsea.2009.21004
5,301
Downloads
9,885
Views
Citations
Forensic Investigation in Communication Networks Using Incomplete Digital Evidences
(Articles)
Slim REKHIS
,
Jihene KRICHENE
,
Noureddine BOUDRIGA
Int'l J. of Communications, Network and System Sciences
Vol.2 No.9
,December 21, 2009
DOI:
10.4236/ijcns.2009.29100
6,466
Downloads
12,406
Views
Citations
Caregiver Identity as a Useful Concept for Understanding the Linkage between Formal and Informal Care Systems: A Case Study
(Articles)
Normand Carpentier
Sociology Mind
Vol.2 No.1
,January 9, 2012
DOI:
10.4236/sm.2012.21005
4,087
Downloads
8,288
Views
Citations
Is There an Instructional Framework for 21st Century Learning?
(Articles)
Shu-Shing Lee
,
David Hung
Creative Education
Vol.3 No.4
,August 13, 2012
DOI:
10.4236/ce.2012.34071
7,309
Downloads
13,928
Views
Citations
Modeling Components and Services of LTE Mobile Communications System
(Articles)
Ishtiaq Ahmed Choudhry
,
Nazir Ahmad Zafar
Int'l J. of Communications, Network and System Sciences
Vol.5 No.12
,December 20, 2012
DOI:
10.4236/ijcns.2012.512086
4,584
Downloads
7,536
Views
Citations
Test Selection on Extended Finite State Machines with Provable Guarantees
(Articles)
Bo Guo
,
Mahadevan Subramaniam
Journal of Software Engineering and Applications
Vol.6 No.9
,September 20, 2013
DOI:
10.4236/jsea.2013.69060
3,048
Downloads
4,463
Views
Citations
A Simple Model for On-Sensor Phase-Detection Autofocusing Algorithm
(Articles)
Przemysław Śliwiński
,
Paweł Wachel
Journal of Computer and Communications
Vol.1 No.6
,November 26, 2013
DOI:
10.4236/jcc.2013.16003
5,029
Downloads
8,491
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