Formal Methods in Software Engineering - Articles - Scientific Research Publishing

Ecological Wastewater Treatment System in a School Environment Using a Horizontal Flow Biological Reactor: The Case of Typha (Articles)

Falilou Coundoul, Abdou Khafor Ndiaye, Abdoulaye Deme, Antonina Torrens

Journal of Environmental Protection Vol.15 No.1, January 9, 2024

DOI: 10.4236/jep.2024.151001 257 Downloads 1,056 Views Citations
Design and Sizing of an Ecological Wastewater Treatment System in a School Environment: A Case Study of Ndiebene Gandiol 1 School (Articles)

Falilou Coundoul, Abdou Khafor Ndiaye, Abdoulaye Deme, David de la Varga, Antonina Torrens

Journal of Water Resource and Protection Vol.16 No.1, January 16, 2024

DOI: 10.4236/jwarp.2024.161004 225 Downloads 854 Views Citations
Ecological Wastewater Treatment System Using a Horizontal Flow Biological Reactor: The Case of Vetiver (Articles)

Falilou Coundoul, Abdou Khafor Ndiaye, Abdoulaye Deme, Antonina Torrens

Journal of Environmental Protection Vol.15 No.1, January 18, 2024

DOI: 10.4236/jep.2024.151003 230 Downloads 890 Views Citations
Model-Based Systems Engineering Approach to Design a Human Settlement to Better Serve Displaced People (Articles)

Anicet Adjahossou

Open Journal of Applied Sciences Vol.14 No.4, April 15, 2024

DOI: 10.4236/ojapps.2024.144058 208 Downloads 781 Views Citations
This article belongs to the Special Issue on Science and Technology Innovations
The Application of Several Optimization Models Based on BP in the Deformation Prediction of Deep Foundation Pit is Reviewed (Articles)

Ying Liu, Xuya Wang

Open Access Library Journal Vol.11 No.7, July 26, 2024

DOI: 10.4236/oalib.1111800 76 Downloads 682 Views Citations
Construction of Case Library for the Course of “Theory and Application of Geotechnical Engineering” (Articles)

Bai Yang, Wenwu Chen, Junhua Chen, Bin Ma, Aijun Chen

Creative Education Vol.15 No.10, October 10, 2024

DOI: 10.4236/ce.2024.1510123 91 Downloads 518 Views Citations
Exploring and Practicing a Multidimensional Integration Model for the Cultivation of Outstanding Mechanical Engineering Talents in the Context of New Engineering Disciplines (Articles)

Xuemei Li, Jun Liang, Lianxing Yang

Open Journal of Social Sciences Vol.13 No.3, March 19, 2025

DOI: 10.4236/jss.2025.133028 80 Downloads 548 Views Citations
Synthesis and Characterization of LaNixCo1-xO3 Perovskites via Complex Precursor Methods (Articles)

Grace Rafaela Oliveira Silva, José Carlos Santos, Danielle M. H. Martinelli, Anne Michelle Garrido Pedrosa, Marcelo José Barros de Souza, Dulce Maria Araujo Melo

Materials Sciences and Applications Vol.1 No.2, June 30, 2010

DOI: 10.4236/msa.2010.12008 7,657 Downloads 14,443 Views Citations
What’s Wrong with Requirements Specification? An Analysis of the Fundamental Failings of Conventional Thinking about Software Requirements, and Some Suggestions for Getting it Right (Articles)

Tom Gilb

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

DOI: 10.4236/jsea.2010.39096 7,303 Downloads 13,646 Views Citations
Noise-Dependent Stability of the Synchronized State in a Coupled System of Active Rotators (Articles)

Sebastian F. Brandt, Axel Pelster, Ralf Wessel

World Journal of Condensed Matter Physics Vol.1 No.3, August 22, 2011

DOI: 10.4236/wjcmp.2011.13014 4,975 Downloads 8,977 Views Citations
A Nonmonotone Filter Method for Minimax Problems (Articles)

Qi Zhao, Nan Guo

Applied Mathematics Vol.2 No.11, November 30, 2011

DOI: 10.4236/am.2011.211193 5,768 Downloads 9,484 Views Citations
A Methodological Probe to Aeronautical English Vocabulary Instruction (Articles)

Aiguo Wang

Open Journal of Modern Linguistics Vol.1 No.2, December 16, 2011

DOI: 10.4236/ojml.2011.12007 7,509 Downloads 14,149 Views Citations
Comparison between Two FT-IR Spectroscopy Analytical Procedures for Micrograms Determination of Asbestos Species in Bulk Materials (Articles)

Luca De Stefano, Raffaele Cioffi, Francesco Colangelo

American Journal of Analytical Chemistry Vol.3 No.1, January 5, 2012

DOI: 10.4236/ajac.2012.31001 7,829 Downloads 14,089 Views Citations
Thermal Characterization of Se_80-xTe₂₀In_x Glasses Using Iso-Conversional Methods (Articles)

Renu Shukla, Pragya Agarwal, Ashok Kumar

Journal of Crystallization Process and Technology Vol.2 No.2, April 24, 2012

DOI: 10.4236/jcpt.2012.22009 4,510 Downloads 8,917 Views Citations
Comparative Effect of City Finished Compost and NPK Fertilizer on Growth and Availability of Phosphorus to Radish (Raphanus sativus L.) (Articles)

Ashoka Sarker, Md. Abul Kashem, Khan Towhid Osman

Open Journal of Soil Science Vol.2 No.2, June 22, 2012

DOI: 10.4236/ojss.2012.22020 7,900 Downloads 13,455 Views Citations
The Design of Cost Estimating Model of Construction Project: Application and Simulation (Articles)

Abdelhak Challal, Mohamed Tkiouat

Open Journal of Accounting Vol.1 No.1, July 24, 2012

DOI: 10.4236/ojacct.2012.11003 15,446 Downloads 28,211 Views Citations
On a New Method of N-Body Simulations (Articles)

Emmanuil Vilkoviskij

International Journal of Astronomy and Astrophysics Vol.2 No.3, September 28, 2012

DOI: 10.4236/ijaa.2012.23015 3,744 Downloads 7,176 Views Citations
Isobolographic Method and Invertebrate (Planarian) Model for Evaluating Combinations of Waterways Pollutants (Articles)

Robert B. Raffa, Deborah A. Gallo, Christopher S. Tallarida, Scott M. Rawls, Ronald J. Tallarida

Pharmacology & Pharmacy Vol.3 No.4, October 29, 2012

DOI: 10.4236/pp.2012.34051 5,730 Downloads 9,585 Views Citations
An Inexact Restoration Package for Bilevel Programming Problems (Articles)

Elvio A. Pilotta, Germán A. Torres

Applied Mathematics Vol.3 No.10A, November 1, 2012

DOI: 10.4236/am.2012.330181 5,592 Downloads 9,180 Views Citations
This article belongs to the Special Issue on Optimization
Recovery of Soil Test Phosphorus from an Acidic Soil Amended with Organic and Inorganic Phosphorus (Articles)

Farzana Rumi, Md. Abul Kashem, Khan Towhid Osman

Open Journal of Soil Science Vol.2 No.4, December 31, 2012

DOI: 10.4236/ojss.2012.24045 3,896 Downloads 7,135 Views Citations

First <...242526 ...>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