Computational Verification Methods - Articles - Scientific Research Publishing

Synaptic Plasticity in Alzheimer’s Disease: Bridging Molecular Data and Computational Models (Articles)

Evan Zou, R. Antonio Herrera

Advances in Bioscience and Biotechnology Vol.16 No.12, December 17, 2025

DOI: 10.4236/abb.2025.1612035 72 Downloads 583 Views Citations
Quantum-Inspired Feature Representations for Depression Subtype Classification: A Synthetic Benchmark Study (Articles)

Rocco de Filippis, Abdullah Al Foysal

Open Access Library Journal Vol.13 No.1, January 16, 2026

DOI: 10.4236/oalib.1114448 43 Downloads 304 Views Citations
The Impact of Generative Artificial Intelligence on College Students’ Computer Thinking in the Task of Complex Computer Programming: Based on Social Cognitive Theory (Articles)

Wenhui Yin

Creative Education Vol.17 No.1, January 22, 2026

DOI: 10.4236/ce.2026.171007 126 Downloads 1,012 Views Citations
Avocado Fruit Defensin (PaDef) Promote Trypsin and Chymotrypsin Enzyme Activity: A Computational Approach (Articles)

Cinthya Estefani López-Aguilar, Karen Astrid Ortiz-Vargas, Silvia Valdés-Rodríguez, Pedro Navarro-Santos, Luis María Suárez-Rodríguez, Mariela Gómez-Romero, Alejandra Ochoa-Zarzosa, Joel Edmundo López-Meza, Rodolfo López-Gómez

American Journal of Plant Sciences Vol.17 No.1, January 23, 2026

DOI: 10.4236/ajps.2026.171006 72 Downloads 405 Views Citations
Steady-State and First-Order Transient Thermal Performance of an Axially Finned Heat Pipe Heat Exchanger—AFHPHE in the Evaporator Region (Articles)

Élcio Nogueira

Journal of Materials Science and Chemical Engineering Vol.14 No.3, March 18, 2026

DOI: 10.4236/msce.2026.143006 50 Downloads 267 Views Citations
High-Order Cartesian Cut-Stencil Finite Difference Solutions for Streamfunction-Vorticity Formulation of 2-D Navier-Stokes Equations (Articles)

Mohammadali Esmaeilzadeh, Ronald M. Barron

Applied Mathematics Vol.17 No.3, March 18, 2026

DOI: 10.4236/am.2026.173011 63 Downloads 318 Views Citations
A Study on the Design and Practice of Pair-Programming Instruction for Junior Secondary Students Aimed at Developing Computational Thinking (Articles)

Xiulin Ma, Tianwen Su, Fei Wu

Open Journal of Social Sciences Vol.14 No.3, March 30, 2026

DOI: 10.4236/jss.2026.143033 52 Downloads 332 Views Citations
Full-Fidelity Semantic Aggregation: Navigating Datasets (Articles)

Anthony Brian Mallgren

Journal of Data Analysis and Information Processing Vol.14 No.2, May 12, 2026

DOI: 10.4236/jdaip.2026.142012 17 Downloads 140 Views Citations
Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification (Articles)

Mehmet Beyaz

International Journal of Communications, Network and System Sciences Vol.16 No.5, May 31, 2023

DOI: 10.4236/ijcns.2023.165007 271 Downloads 1,072 Views Citations
High-Order Iterative Methods Repeating Roots a Constructive Recapitulation (Articles)

Isaac Fried

Applied Mathematics Vol.13 No.2, February 18, 2022

DOI: 10.4236/am.2022.132011 286 Downloads 1,252 Views Citations
A Collaborative Machine Learning Scheme for Traffic Allocation and Load Balancing for URLLC Service in 5G and Beyond (Articles)

Andreas G. Papidas, George C. Polyzos

Journal of Computer and Communications Vol.11 No.11, November 30, 2023

DOI: 10.4236/jcc.2023.1111011 218 Downloads 794 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 5,183 Downloads 8,969 Views Citations
Applying Heuristic Search for Distributed Software Performance Enhancement (Articles)

Omid BUSHEHRIAN

Journal of Software Engineering and Applications Vol.2 No.3, October 23, 2009

DOI: 10.4236/jsea.2009.23021 4,504 Downloads 8,231 Views Citations
A New Interactive Method to Solve Multiobjective Linear Programming Problems (Articles)

Mahmood REZAEI SADRABADI, Seyed Jafar SADJADI

Journal of Software Engineering and Applications Vol.2 No.4, November 27, 2009

DOI: 10.4236/jsea.2009.24031 7,502 Downloads 14,695 Views Citations
Padé Approximation Modelling of an Advertising-Sales Relationship (Articles)

M. C. Gil-Fariña, C. Gonzalez-Concepcion, C. Pestano-Gabino

Journal of Service Science and Management Vol.3 No.1, March 29, 2010

DOI: 10.4236/jssm.2010.31011 4,788 Downloads 9,167 Views Citations
Combined Nodal Method and Finite Volume Method for Flow in Porous Media (Articles)

Abdeslam Elakkad, Ahmed Elkhalfi, Najib Guessous

Wireless Sensor Network Vol.2 No.3, April 12, 2010

DOI: 10.4236/wsn.2010.23030 5,541 Downloads 10,807 Views Citations
Using Problem Based Learning in Training Health Professionals: Should it Suit the Individual’s Learning Style? (Articles)

Tsameret Ricon, Sara Rosenblum, Naomi Schreuer

Creative Education Vol.1 No.1, July 6, 2010

DOI: 10.4236/ce.2010.11005 6,976 Downloads 13,319 Views Citations
Investigating the Suitability of Agile Methods for Requirements Development of Home Care Systems (Articles)

Sandra Kelly, Frank Keenan

Journal of Software Engineering and Applications Vol.3 No.9, September 30, 2010

DOI: 10.4236/jsea.2010.39104 7,884 Downloads 12,273 Views Citations
Increasing Positive Perceptions of Diversity for Religious Conservative Students (Articles)

Alison Cook, Ronda Roberts Callister

Creative Education Vol.1 No.2, September 18, 2010

DOI: 10.4236/ce.2010.12014 5,624 Downloads 9,995 Views Citations
Is it plausible to expect a close encounter of the Earth with a yet undiscovered astronomical object in the next few years? (Articles)

Lorenzo Iorio

Natural Science Vol.2 No.11, November 30, 2010

DOI: 10.4236/ns.2010.211146 5,239 Downloads 11,400 Views Citations

First <...212223 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies