Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (293659)
- Education (91657)
- Engineering (79964)
- Computer Sciences (63496)
- Social and Behavioral Sciences (60982)
-
- Earth Sciences (59466)
- Environmental Sciences (52581)
- Life Sciences (52477)
- Arts and Humanities (37413)
- Physics (34144)
- Chemistry (33264)
- Geology (29981)
- Mathematics (27195)
- Law (25252)
- Higher Education (25219)
- Medicine and Health Sciences (23193)
- Science and Mathematics Education (19298)
- Business (18124)
- Electrical and Computer Engineering (18062)
- Computer Engineering (17464)
- History (15384)
- Plant Sciences (14959)
- Soil Science (14405)
- Oceanography and Atmospheric Sciences and Meteorology (14045)
- Mechanical Engineering (13102)
- Statistics and Probability (12852)
- Artificial Intelligence and Robotics (11508)
- Agronomy and Crop Sciences (11030)
- Curriculum and Instruction (10721)
- Civil and Environmental Engineering (10528)
- Institution
-
- University of Nebraska - Lincoln (32988)
- Western Michigan University (24912)
- University of Kentucky (17270)
- Missouri University of Science and Technology (13207)
- Utah State University (13046)
-
- TÜBİTAK (12072)
- University of South Florida (10792)
- University of New Mexico (10600)
- Singapore Management University (10474)
- Old Dominion University (10143)
- Louisiana State University (9857)
- California Polytechnic State University, San Luis Obispo (9531)
- University of Montana (9095)
- University of Northern Iowa (9064)
- University of Mississippi (8905)
- Purdue University (8613)
- Brigham Young University (8047)
- University of Central Florida (7694)
- Wright State University (7018)
- San Jose State University (6912)
- Portland State University (6890)
- City University of New York (CUNY) (6781)
- University of New Hampshire (6101)
- New Jersey Institute of Technology (6003)
- University of Nevada, Las Vegas (5885)
- Nova Southeastern University (5788)
- Georgia Southern University (5677)
- Clemson University (5675)
- Air Force Institute of Technology (5600)
- University of Texas Rio Grande Valley (5237)
- Keyword
-
- Newspaper (7372)
- Education (6709)
- Mathematics (5282)
- Student newspaper (3689)
- Machine learning (3285)
-
- Faculty (3186)
- Higher education (3024)
- Undergraduate (2743)
- Students (2702)
- Bowling Green State University (2659)
- History (2232)
- Spartan Daily (2144)
- Newsletter (2094)
- Engineering (2079)
- Western Australia (2053)
- EIU (2020)
- Climate change (2010)
- Physics (1948)
- Eastern Illinois University (1913)
- Student life (1908)
- Pennsylvania (1896)
- Student newspapers (1878)
- Periodicals (1841)
- Artificial intelligence (1811)
- Collegeville (1809)
- Curriculum (1795)
- Alumni (1780)
- Daily Eastern News (1780)
- College student newspapers and periodicals (1767)
- Humans (1766)
- Publication Year
-
- 2026 (17042)
- 2025 (25521)
- 2024 (27049)
- 2023 (27082)
- 2022 (31276)
-
- 2021 (42375)
- 2020 (28806)
- 2019 (26885)
- 2018 (25651)
- 2017 (24647)
- 2016 (24364)
- 2015 (22231)
- 2014 (21800)
- 2013 (20073)
- 2012 (19343)
- 2011 (17284)
- 2010 (16022)
- 2009 (14005)
- 2008 (13174)
- 2007 (12474)
- 2006 (11370)
- 2005 (10378)
- 2004 (9478)
- 2003 (8167)
- 2002 (7457)
- 2001 (6943)
- 2000 (6604)
- 1999 (6123)
- 1998 (6048)
- 1997 (5735)
- Publication
-
- Theses and Dissertations (22384)
- Legacy Scout Tickets from Pure Oil Company (11044)
- Electronic Theses and Dissertations (9775)
- IGC Proceedings (1977-2023) (9261)
- Faculty Publications (9043)
-
- Research Collection School Of Computing and Information Systems (8567)
- Dissertations (6771)
- Thin Sections (6677)
- Theses (6602)
- Masters Theses (4904)
- Journal of System Simulation (3880)
- Graduate Theses and Dissertations (3736)
- USF Tampa Graduate Theses and Dissertations (3574)
- Nebraska Tractor Tests (3402)
- Walden Dissertations and Doctoral Studies (3383)
- Master's Theses (3188)
- Turkish Journal of Electrical Engineering and Computer Sciences (3152)
- Doctoral Dissertations (2978)
- Articles (2927)
- Graduate Theses, Dissertations, and Problem Reports (ETD) (2867)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (2807)
- Turkish Journal of Chemistry (2806)
- Turkish Journal of Mathematics (2781)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (2669)
- Neutrosophic Sets and Systems (2551)
- Commencement Programs (2405)
- Publications and Research (2397)
- Journal of Electrochemistry (2393)
- Publications (2389)
- Applied Mathematics & Information Sciences (2320)
- Publication Type
Articles 292651 - 292680 of 714601
Full-Text Articles in Entire DC Network
Hydraulic Geometry Curves In The Pee Dee Watershed, Z.T. Smoot, A.D. Jayakaran, D.R. Hitchcock
Hydraulic Geometry Curves In The Pee Dee Watershed, Z.T. Smoot, A.D. Jayakaran, D.R. Hitchcock
Journal of South Carolina Water Resources
Hydraulic bankfull geometry or regional curves are a useful metric for evaluating stream stability and planning stream restoration projects. Streams and tributaries within the Middle Pee Dee River Basin (MPDRB) in South Carolina drain an agrarian and forested landscape characterized by water conveyance structures, such as active and historical ditches which support forestry and agriculture. While streams in the region are generally stable, pockets of this landscape are beginning to face increasing pressure from development with signs of stream instability apparent in several locations as evidenced by streams in and around the urbanizing areas around Darlington and Florence, SC. In …
New Nmr Spectrometer Boosts Research Capacity, Sarah Gardner, Dave Albee
New Nmr Spectrometer Boosts Research Capacity, Sarah Gardner, Dave Albee
Press Releases
The recent addition of a Nuclear Magnetic Resonance (NMR) spectrometer has greatly enhanced the instructional and research capacity of both faculty and students in Dominican’s Chemistry and Biochemistry program.
05. Chemistry, Northeastern State University
05. Chemistry, Northeastern State University
Oklahoma Research Day Abstracts
No abstract provided.
Intercultural Connectivity: Intertwined Through Islamic Design, Sandra Bird
Intercultural Connectivity: Intertwined Through Islamic Design, Sandra Bird
Journal of Global Initiatives: Policy, Pedagogy, Perspective
This paper is a critical inquiry examining the works of an art exhibit, Geometric Aljamia: A Cultural Transliteration, hosted during Kennesaw State University’s Year of the Arabian Peninsula. It includes a brief interdisciplinary discussion of the importance of geometry to the development of Islamic art and design. The contemporary artists who produced these works under study integrate drawing and paper-cutting techniques that display characteristics of art found throughout the Muslim world.
Review: Transitivity And Bundle Shifts, Stephan Ramon Garcia
Review: Transitivity And Bundle Shifts, Stephan Ramon Garcia
Pomona Faculty Publications and Research
No abstract provided.
The Small Scatter Of The Baryonic Tully-Fisher Relation, Federico Lelli, Stacy S. Mcgaugh
The Small Scatter Of The Baryonic Tully-Fisher Relation, Federico Lelli, Stacy S. Mcgaugh
Faculty Scholarship
In a Γ cold dark matter (ΓCDM) cosmology, the baryonic TullyFisher relation (BTFR) is expected to show significant intrinsic scatter resulting from the massconcentration relation of dark matter halos and the baryonic-tohalo mass ratio. We study the BTFR using a sample of 118 disk galaxies (spirals and irregulars) with data of the highest quality: extended H I rotation curves (tracing the outer velocity) and Spitzer photometry at 3.6 μm (tracing the stellar mass). Assuming that the stellar mass-to-light ratio (Υ∗) is nearly constant at 3.6 μm, we find that the scatter, slope, and normalization of the BTFR systematically vary with …
Test Of Target Independence For Free-Free Scattering In A Nd:Yag Laser Field, Nicholas L. S. Martin, B. A. Deharak
Test Of Target Independence For Free-Free Scattering In A Nd:Yag Laser Field, Nicholas L. S. Martin, B. A. Deharak
Physics and Astronomy Faculty Publications
We report measurements of one-, two-, and three-photon processes during the elastic scattering of electrons through 90∘ by helium, argon, and molecular-nitrogen targets, in the presence of 1.17-eV photons from a Nd:YAG laser. The incident energy of the electrons was 200 and 350 eV, and the linear polarization direction of the laser was parallel to the momentum transfer direction. Our measured free-free count rates for the three processes are target independent within the experimental uncertainties, perfectly consistent with the Kroll-Watson approximation, which assumes no interaction of the laser radiation with the target.
Pore Structure And Synergy In Antimicrobial Peptides Of The Magainin Family, Almudena Pino-Angeles, John M. Leveritt Iii, Themis Lazaridis
Pore Structure And Synergy In Antimicrobial Peptides Of The Magainin Family, Almudena Pino-Angeles, John M. Leveritt Iii, Themis Lazaridis
Publications and Research
Magainin 2 and PGLa are among the best-studied cationic antimicrobial peptides. They bind preferentially to negatively charged membranes and apparently cause their disruption by the formation of transmembrane pores, whose detailed structure is still unclear. Here we report the results of 5–9 μs all-atom molecular dynamics simulations starting from tetrameric transmembrane helical bundles of these two peptides, as well as their stoichiometric mixture, and the analog MG-H2 in DMPC or 3:1 DMPC/DMPG membranes. The simulations produce pore structures that appear converged, although some effect of the starting peptide arrangement (parallel vs. antiparallel) is still observed on this timescale. The peptides …
Fortilin Potentiates The Peroxidase Activity Of Peroxiredoxin-1 And Protects Against Alcohol-Induced Liver Damage In Mice, Owen M. Mcdougal
Fortilin Potentiates The Peroxidase Activity Of Peroxiredoxin-1 And Protects Against Alcohol-Induced Liver Damage In Mice, Owen M. Mcdougal
Chemistry and Biochemistry Faculty Publications and Presentations
Fortilin, a pro-survival molecule, inhibits p53-induced apoptosis by binding to the sequence-specific DNA-binding domain of the tumor suppressor protein and preventing it from transcriptionally activating Bax. Intriguingly, fortilin protects cells against ROS-induced cell death, independent of p53. The signaling pathway through which fortilin protects cells against ROS-induced cell death, however, is unknown. Here we report that fortilin physically interacts with the antioxidant enzyme peroxiredoxin-1 (PRX1), protects it from proteasome-mediated degradation, and keeps it enzymatically active by blocking its deactivating phosphorylation by Mst1, a serine/threonine kinase. At the whole animal level, the liver-specific overexpression of fortilin reduced PRX1 phosphorylation in the …
Simulating Magnetospheres With Numerical Relativity: The Giraffe Code, Maria Babiuc-Hamilton
Simulating Magnetospheres With Numerical Relativity: The Giraffe Code, Maria Babiuc-Hamilton
Physics Faculty Research
Numerical Relativity is successful in the simulation of black holes and gravitational waves. In recent years, teams have tackled the problem of the interaction of gravitational and electromagnetic waves. We developed a new code for the numerical simulation of neutron and black hole magnetospheres, using the FFE formalism. We tested the performance of the new code named GiRaFFE, in 1D and 3D test suits. We will study magnetospheres, focusing on jets by the Blandford -Znajek mechanism.
Respecting Anatomically Rigid Regions In Nonrigid Registration, Eric J. Spangler
Respecting Anatomically Rigid Regions In Nonrigid Registration, Eric J. Spangler
Theses
Medical image registration has received considerable attention in the medical imaging and computer vision communities because of the variety of ways in which it can potentially improve patient care. This application of image registration aligns images of regions of the human body for comparing images of the same patient at different times, for example, when assessing differences in a disease over time; comparing images of the same anatomical structure across different patients, for example, to understand patient variability; and comparing images of the same patient from different modalities that provide complementary information, for example, CT and PET to assess cancer. …
Distributed Attribute Based Access Control Of Aggregated Data In Sensor Clouds, Vimal Kumar, Sanjay Kumar Madria
Distributed Attribute Based Access Control Of Aggregated Data In Sensor Clouds, Vimal Kumar, Sanjay Kumar Madria
Computer Science Faculty Research & Creative Works
Sensor clouds are large scale wireless sensor networks (WSNs), built by connecting a number of smaller WSNs together. Each of these smaller individual WSNs may be owned by different owners. Sensor clouds are dynamic in nature, where wireless sensors can be provisioned and de-provisioned for the users on demand. In such a multi-user, multi-owner system, user access control is a significant problem. Previous user access control schemes have been centralized and designed for standalone sensors or smaller networks and do not take large networks into consideration. In large networks, data is generally aggregated in-network during data collection. In this paper, …
Surficial Geology And Provenance Of Glacial Deposits Of The Saybrook 7.5 Minute Quadrangle, Mclean County, Illinois, Ellyn S. Rickels
Surficial Geology And Provenance Of Glacial Deposits Of The Saybrook 7.5 Minute Quadrangle, Mclean County, Illinois, Ellyn S. Rickels
Theses and Dissertations
The glaciated landscape of much of Illinois is a product of the most recent glacial episode, which is characterized by a series of end moraines composed predominantly of till and deposited by ice flowing into Illinois from the east and northeast around 20,000 years before present time. Two separate projects were completed as part of this thesis to better understand the surficial geology and the source areas of glacial sediment in central Illinois: the creation of a surficial geologic map of the Saybrook 7.5 Minute Quadrangle and a provenance study of granitic clasts from two moraines in the area.
A …
Online Novelty Detection System: One-Class Classification Of Systemic Operation, Ryan M. Bowen
Online Novelty Detection System: One-Class Classification Of Systemic Operation, Ryan M. Bowen
Theses
Presented is an Online Novelty Detection System (ONDS) that uses Gaussian Mixture Models (GMMs) and one-class classification techniques to identify novel information from multivariate times-series data. Multiple data preprocessing methods are explored and features vectors formed from frequency components obtained by the Fast Fourier Transform (FFT) and Welch's method of estimating Power Spectral Density (PSD). The number of features are reduced by using bandpower schemes and Principal Component Analysis (PCA). The Expectation Maximization (EM) algorithm is used to learn parameters for GMMs on feature vectors collected from only normal operational conditions. One-class classification is achieved by thresholding likelihood values relative …
04. Botany, Northeastern State University
04. Botany, Northeastern State University
Oklahoma Research Day Abstracts
No abstract provided.
Medical School Watercooler Newsletter - January 3, 2016, Lindsey Lyle
Medical School Watercooler Newsletter - January 3, 2016, Lindsey Lyle
Watercooler Newsletter
This is the January 3, 2016 edition of the Frederick P. Whiddon College of Medicine's newsletter - Watercooler.
Contents Include:
- Patients Needed for Clinical Study to Evaluate Effectiveness of Peppermint, Caraway Oils in Treating Functional Dyspepsia
- Dr. Strada Chosen to Receive GoDaddy Bowl’s Champion of Life Award
- USA Health System Represented in Mobile Bay’s 40 Under 40
- USA Mourns Loss of Dr. Aubrey Taylor
What Is American Culture?, Illinois Math And Science Academy
What Is American Culture?, Illinois Math And Science Academy
Educational Panels
Facilitated by: Dr. Eric Smith and Dr. Adam Kotlarczyk
Panelists:
- Dr. Robert Kiely, Illinois Mathematics and Science Academy
- Dr. Robert Hernandez, Illinois Mathematics and Science Academy
- Dr. Traci Ellis, Illinois Mathematics and Science Academy
- Dr. Kitty Lam, Illinois Mathematics and Science Academy
- Dr. Claiborne A. Skinner Jr., Illinois Mathematics and Science Academy
- Quintin Backstrom, Illinois Mathematics and Science Academy
Measuring The Effectiveness Of Software-Based Training To Improve The Spatial Visualization Skills Of Students In Stem Disciplines In Higher Education Institutions, Peter Cole
Dissertations
This research investigates how software can be used to teach spatial skills leading to greater success in Science, Technology, Engineering, and Mathematical (STEM) fields. Existing research indicates that spatial skills can be taught and that good spatial skills are common to people who succeed in STEM fields. In this work, a software-only testing system with a direct targeted, training intervention module was implemented to measure and teach spatial skills using mental rotations, which are believed to be one of the most significant indicators of success in STEM fields. Spatial skills were tested using a standardized and validated test that measures …
Forecasting Bike Rental Demand Using New York Citi Bike Data, Wen Wang
Forecasting Bike Rental Demand Using New York Citi Bike Data, Wen Wang
Dissertations
The idea of this project is from a Kaggle competition “Bike Sharing Demand”① which provides dataset of Capital Bikeshare in Washington D.C. and asked to combine historical usage patterns with weather data in order to forecast bike rental demand. This dissertation will extend this work, working with a broader range of project not only just focusing on the phrase of model building but all phases of KDD (Knowledge Discovery in Databases). This dissertation focuses on Citi Bike which is one of the biggest bike share projects in the world, collects Citi Bike data, weather data and holiday data from three …
How Do Teachers And Students Perceive The Utility Of Blackboard As A Distance Learning Platform? (Case Study From Taibah University, Saudi Arabia), Suad Alaofi
Dissertations
This research explores the role of Knowledge Management within the education field with a specific focus on the use of Learning Management Systems in the Distance Learning (e-learning) process. The aim of this study is to thoroughly examine how teachers and students perceive the utility of the Blackboard system as a distance learning platform. To achieve this, the study conducted qualitative interviews and quantitative questionnaire surveys with the teachers and students of Taibah University, Saudi Arabia. Questions in both data collection tools were geared towards gaining insight about how these two groups of Blackboard users view its usefulness as a …
Jainism And Nonviolence: From Mahavira To Modern Times, Lana E. Sims
Jainism And Nonviolence: From Mahavira To Modern Times, Lana E. Sims
The Downtown Review: An Interdisciplinary Journal Written and Peer-Reviewed by Mandel Honors College Students at Cleveland State University
The research contained in this paper focuses on the religion of Jainism, its main principle of ahimsa, or nonviolence, and how that philosophy has evolved over the years, eventually inspiring today’s nonviolent movements. First, a look will be taken at the origin of Jainism, with a brief explanation of its most important principles and beliefs. Then, ahimsa is explained as it has been traditionally perceived by Jains. The recent evolution of the meaning of ahimsa and its impact on modern nonviolence movements is discussed, with a focus on the influence of second-generation Jains in the United States on the …
How Much A Quarter Cost: Allegory Of A Coin And Other Stories, Grant C. Gallo
How Much A Quarter Cost: Allegory Of A Coin And Other Stories, Grant C. Gallo
The Downtown Review: An Interdisciplinary Journal Written and Peer-Reviewed by Mandel Honors College Students at Cleveland State University
The philosophical theories of Baruch Spinoza and George Berkley were described, compared, and contrasted. Various examples and metaphors were used to help fully illustrate their respective metaphysical, epistemological, and ethical positions. The relevance of their theories to current philosophical discourse was discussed; showing that even in today’s technologically advanced society, seemingly antiquated ideas may still provide useful knowledge. In the end, Spinoza and Berkley’s apparently conflicting paradigms are rectified through a multiplexual, relativistic lens.
Ancient Animal Ethics: The Earliest Arguments For The Ethical Consideration Of Nonhuman Animals, Joshua J. Sias
Ancient Animal Ethics: The Earliest Arguments For The Ethical Consideration Of Nonhuman Animals, Joshua J. Sias
The Downtown Review: An Interdisciplinary Journal Written and Peer-Reviewed by Mandel Honors College Students at Cleveland State University
Primarily focused on the ancient Greek philosophers, this work offers a survey of the earliest arguments for and against the inclusion of nonhuman animals in human realms of ethical consideration. By following the trends of ancient western thought concerning animal ethics, the influencing factors behind the downfall of the subject in Medieval times, both in terms of discourse and practice, is discovered in the philosophical exchange that preceded medieval thought.
03. Biology, Northeastern State University
03. Biology, Northeastern State University
Oklahoma Research Day Abstracts
No abstract provided.
Limiting The Impact Of Destructive Analytical Techniques Through Sequential Microspatial Sampling Of The Enamel From Single Teeth, Alexis E. Dolphin, Mathew A. Teeter, Christine D. White, Fred J. Longstaffe
Limiting The Impact Of Destructive Analytical Techniques Through Sequential Microspatial Sampling Of The Enamel From Single Teeth, Alexis E. Dolphin, Mathew A. Teeter, Christine D. White, Fred J. Longstaffe
Earth Sciences Publications
A fundamental research concern within contemporary bioarchaeology is the sensitive balance between the preservation of human remains and the use of destructive techniques to collect information. Here we describe one example of how multiple microspatial destructive/semi-destructive techniques may be carried out in sequence using only the enamel of a single tooth. With careful planning of both sample preparation strategies and sequencing of sampling methods, it is possible to produce multiple datasets, and yet to retain material for future analyses.
In this case, enamel from the teeth of 27 individuals who lived during the early medieval period (AD 1170-1198) in Bergen, …
Equilibrium Fluctuations In A Metastable State Of A Ginzburg–Landau System, D.I. Uzunov, Alexander Umantsev
Equilibrium Fluctuations In A Metastable State Of A Ginzburg–Landau System, D.I. Uzunov, Alexander Umantsev
College of Health, Science, and Technology
We calculate thermal fluctuation properties – volume-averaged order parameter, Helmholtz free and internal energies, and their variances – of a supersaturated disordered phase in the Gibbs canonical ensemble for an asymmetric (third-order interactions), athermal (independence of the supersaturation and thermal noise) effective Hamiltonian. These properties are different from those of the symmetric thermal one with the most important differences being the phase coexistence and ‘thermal expansion’. The fluctuation properties of the system were calculated theoretically, using the perturbation method, and numerically, using the ‘brute force’ simulations method. Overall, the numerical calculations match the theory within the accuracy of the numerical …
Introduction To The Special Edition, Daniel J. Paracka
Introduction To The Special Edition, Daniel J. Paracka
Journal of Global Initiatives: Policy, Pedagogy, Perspective
Introduction to the special edition on the Year of Arabian Peninsula programming at Kennesaw State University, 2014-2015.
Atypical Visual And Somatosensory Adaptation In Schizophrenia-Spectrum Disorders, Gizely Andrade, John Butler, Gregory Peter, Sophie Molholm, John J. Foxe
Atypical Visual And Somatosensory Adaptation In Schizophrenia-Spectrum Disorders, Gizely Andrade, John Butler, Gregory Peter, Sophie Molholm, John J. Foxe
Articles
Neurophysiological investigations in patients with schizophrenia consistently show early sensory processing deficits in the visual system. Importantly, comparable sensory deficits have also been established in healthy first-degree biological relatives of patients with schizophrenia and in first-episode drug-naive patients. The clear implication is that these measures are endophenotypic, related to the underlying genetic liability for schizophrenia. However, there is significant overlap between patient response distributions and those of healthy individuals without affected first-degree relatives. Here we sought to develop more sensitive measures of sensory dysfunction in this population, with an eye to establishing endophenotypic markers with better predictive capabilities. We used …
Ocular Drift Along The Mental Number Line., A Myachykov, R Ellis, A Cangelosi, Mh Fischer
Ocular Drift Along The Mental Number Line., A Myachykov, R Ellis, A Cangelosi, Mh Fischer
School of Psychology
We examined the spontaneous association between numbers and space by documenting attention deployment and the time course of associated spatial-numerical mapping with and without overt oculomotor responses. In Experiment 1, participants maintained central fixation while listening to number names. In Experiment 2, they made horizontal target-direct saccades following auditory number presentation. In both experiments, we continuously measured spontaneous ocular drift in horizontal space during and after number presentation. Experiment 2 also measured visual-probe-directed saccades following number presentation. Reliable ocular drift congruent with a horizontal mental number line emerged during and after number presentation in both experiments. Our results provide new …
Formalizing And Verifying Stochastic System Architectures Using Monterey Phoenix, Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Formalizing And Verifying Stochastic System Architectures Using Monterey Phoenix, Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Research Collection School Of Computing and Information Systems
The analysis of software architecture plays an important role in understanding the system structures and facilitate proper implementation of user requirements. Despite its importance in the software engineering practice, the lack of formal description and verification support in this domain hinders the development of quality architectural models. To tackle this problem, in this work, we develop an approach for modeling and verifying software architectures specified using Monterey Phoenix (MP) architecture description language. MP is capable of modeling system and environment behaviors based on event traces, as well as supporting different architecture composition operations and views. First, we formalize the syntax …