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,189
Downloads
2,578
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,075
Downloads
9,568
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
656
Downloads
1,336
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
271
Downloads
845
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
459
Downloads
2,639
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
539
Downloads
7,703
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
92
Downloads
521
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
65
Downloads
206
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
40
Downloads
128
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
45
Downloads
182
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
491
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
734
Downloads
1,403
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
458
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,306
Downloads
9,900
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,482
Downloads
12,432
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,093
Downloads
8,306
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,327
Downloads
13,965
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,585
Downloads
7,540
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,052
Downloads
4,473
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,037
Downloads
8,508
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