Physical Sciences and Mathematics Commons^™

In Search Of Suitable Methods For Cost-Benefit Analysis Of Cyber Risk Mitigation In Offshore Wind: A Survey, Yvonne Hwei-Syn Kam, Kevin Jones, Robert Rawlinson-Smith, Kimberly Tam

Journal of Informatics and Web Engineering

In recent years, notable incidents have highlighted the vulnerability of wind energy infrastructure, making cybersecurity crucial for the offshore wind industry. However, justifying the costs of cybersecurity measures is essential. A cost benefit analysis (CBA) is commonly utilised to support decision-making for risk mitigation. With a cost benefit analysis, risk mitigation strategies that strike an optimal balance between the costs of mitigation measures and the resulting risk reduction can be identified. This survey of literature was carried out to identify the existing proposed solutions for cost benefit analysis on cyber risk mitigation measures for offshore wind cyber physical systems. After …

Wip: An Engaging Undergraduate Intro To Model Checking In Software Engineering Using Tla+, Konstantin Laufer, Gunda Mertin, George K. Thiruvathukal

Computer Science: Faculty Publications and Other Works

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA⁺), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts.

Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included …

Creating Sustainable School And Home Gardens: Wildlife Monitoring Using Bioacoustics, Kaitlin Campbell, Rita Hagevik, Kathy Cabe Trundle

All Current Publications

Animals use sounds to communicate with each other, just like humans. Humans can listen in on animals by using a bioacoustic monitoring device, a passive device that quietly records surrounding sounds. Bioacoustic monitoring devices blend in with the environment, allowing us to know what types of animals appear when we’re gone. The device collects and stores data and allows us to visualize, analyze, and identify animals from the sounds they make.

Theoretical Advances In Predicting The Thermoelectric Performance Of Materials, Mukesh Jakhar, Poonam Chauhan, Ashok Kumar, Ravindra Pandey

Michigan Tech Publications

Eco-friendly and high-performance thermoelectric materials have proven effective in converting heat energy into electricity. Theoretical methods for understanding the transport mechanisms of electrons and phonons play a vital role in predicting the overall thermoelectric performance of a given material. In this perspective, we review recent advances in theoretical methods for predicting electron and phonon transport properties in materials. In addition, we highlight the various methodologies adopted to estimate the electronic relaxation time and identify challenges and potential directions. The in-depth understanding obtained from these theoretical explorations will lead researchers to rely on computational methods to screen novel thermoelectric materials for …

The Role Of Jordanian Television Programs In Raising Awareness About Mental Health From The Perspective Of Psychiatrists, Yasmine Hamza Badis, Saddam Suleiman Salman Almashaqbeh

The study aimed to identify the role of Jordanian television programs in raising awareness of mental health from the perspective of psychiatrists. The sample of the study was composed of 153 members from the Jordanian Association of Psychiatrists affiliated with the Jordanian Medical Association. To achieve the goal of this study, the descriptive approach was followed, and the study relied on the questionnaire as a tool for collecting data. The results of the study showed that the role of Jordanian television programs in raising awareness about mental health from the Perspective of psychiatrists was medium, and the diversity of features …

Scaling Individual Tree Transpiration With Thermal Cameras Reveals Interspecies Differences To Drought Vulnerability, Mostafa Javadian, Donald M. Aubrecht, Joshua B. Fisher, Russell L. Scott, Sean P. Burns, Jen L. Diehl, J. William Munger, Andrew D. Richardson

Biology, Chemistry, and Environmental Sciences Faculty Articles and Research

Understanding tree transpiration variability is vital for assessing ecosystem water-use efficiency and forest health amid climate change, yet most landscape-level measurements do not differentiate individual trees. Using canopy temperature data from thermal cameras, we estimated the transpiration rates of individual trees at Harvard Forest and Niwot Ridge. PT-JPL model was used to derive latent heat flux from thermal images at the canopy-level, showing strong agreement with tower measurements (R2 = 0.70–0.96 at Niwot, 0.59–0.78 at Harvard at half-hourly to monthly scales) and daily RMSE of 33.5 W/m2 (Niwot) and 52.8 W/m2 (Harvard). Tree-level analysis revealed species-specific responses to …

Integrable Semi-Discretization For A Modified Camassa-Holm Equation With Cubic Nonlinearity, Bao-Feng Feng, Heng-Chun Hu, Han-Han Sheng, Wei Yin, Guo-Fu Yu

School of Mathematical & Statistical Sciences Faculty Publications

In the present paper, an integrable semi-discretization of the modified Camassa-Holm (mCH) equation with cubic nonlinearity is presented. The key points of the construction are based on the discrete Kadomtsev-Petviashvili (KP) equation and appropriate definition of discrete reciprocal transformations. First, we demonstrate that these bilinear equations and their determinant solutions can be derived from the discrete KP equation through Miwa transformation and some reductions. Then, by scrutinizing the reduction process, we obtain a set of semi-discrete bilinear equations and their general soliton solutions in the Gram-type determinant form. Finally, we obtain an integrable semi-discrete analog of the mCH equation by …

Counting The Classes Of Projectively-Equivalent Pentagons On Finite Projective Planes Of Prime Order, Maxwell Hosler

Rose-Hulman Undergraduate Mathematics Journal

In this paper, we examine the number of equivalence classes of pentagons on finite projective planes of prime order under projective transformations. We are interested in those pentagons in general position, meaning that no three vertices are collinear. We consider those planes which can be constructed from finite fields of prime order, and use algebraic techniques to characterize them by their symmetries. We are able to construct a unique representative for each pentagon class with nontrivial symmetries. We can then leverage this fact to count classes of pentagons in general. We discover that there are (1/10)((p+3)(p-3)+4 …

Distributed Software Build Assurance For Software Supply Chain Integrity, Ken Lew, Arijet Sarker, Simeon Wuthier, Jinoh Kim

Faculty Publications

Computing and networking are increasingly implemented in software. We design and build a software build assurance scheme detecting if there have been injections or modifications in the various steps in the software supply chain, including the source code, compiling, and distribution. Building on the reproducible build and software bill of materials (SBOM), our work is distinguished from previous research in assuring multiple software artifacts across the software supply chain. Reproducible build, in particular, enables our scheme, as our scheme requires the software materials/artifacts to be consistent across machines with the same operating system/specifications. Furthermore, we use blockchain to deliver the …

Long-Distance Photon-Mediated And Short-Distance Entangling Gates In Three-Qubit Quantum Dot Spin Systems, Nooshin M. Estakhri, Ada Warren, Sophia E. Economou, Edwin Barnes

Engineering Faculty Articles and Research

Superconducting resonator couplers will likely become an essential component in modular semiconductor quantum dot (QD) spin qubit processors, as they help alleviate crosstalk and wiring issues as the number of qubits increases. Here, we focus on a three-qubit system composed of two modules: a two-electron triple QD resonator coupled to a single-electron double QD. Using a combination of analytical techniques and numerical results, we derive an effective Hamiltonian that describes the three-qubit logical subspace and show that it accurately captures the dynamics of the system. We examine the performance of short-range and long-range entangling gates, revealing the effect of a …

Irrigation Companies And The Great Salt Lake: Managing Water In Utah Amidst Climate Change, Chloe Francis, Kendall Becker, Matt Yost, Scott Hotaling

All Current Publications

The Great Salt Lake, a key ecosystem and major component of Utah’s identity and economy, is threatened by rapidly declining water levels. This problem has caused widespread and ongoing concern from the public, and the Utah Legislature is faced with making water allocation and management decisions to adapt to the state’s growing population and changing environment. One important group in this discussion is irrigation companies. Here, we examine how irrigation companies receive and maintain water rights in Utah, their significant role in water management, and recent legislative efforts to incentivize efficient water use so more water reaches the Great Salt …

Trichloroethylene (Tce) Metabolite S-(1,2-Dichlorovinyl)-L-Cysteine (Dcvc) Inhibits Lps-Stimulated Cxcl-2 Production In Thp-1 Cells, Erica Boldenow, Karena Moleakunnel, Audrey Luce, Lyric Johnson, Eleanor Scheeres

University Faculty Publications and Creative Works

Michigan Society of Toxicology Fall 2024 Meeting

Intelligrader: A Framework For Automatic Short Answer Grading, Inconsistency Check And Feedback In Educational Context - Conception, Implementation And Evaluation, Paradesi Sree Lakshmi, Jay B. Simha, Rajeev Ranjan

Karbala International Journal of Modern Science

Automatic Short Answer Grading (ASAG), an escalating realm in natural language understanding, constitutes a focal point of research within the broader field of learning analytics. Over time, many ASAG solutions have been proposed to address the difficulties in teaching. However, no work addressed three crucial aspects of evaluation together, i.e., i) automatic evaluation of brief subjective/descriptive answers written in English, ii) identifying the evaluation inconsistency, and iii) provision of providing feedback about inconsistent evaluation to the evaluator. The current work proposes IntelliGrader, a comprehensive ASAG system that addresses the above-mentioned issues. Automated grading is accomplished through a model answer-based approach. …

Isolation And Characterization Of Fermenting Bacterial Isolates From Vinegar Industry Waste In Local Markets Of Wasit Province, Tayseer Shamran Al-Deresawi

Karbala International Journal of Modern Science

The use of waste in the vinegar industry is an important practice of the food industry worldwide; however, this critical practice is neglected in many parts of Iraq. According to this, the current study was conducted to isolate and characterize fermenting bacterial organisms from this waste in Wasit Province, Iraq. Samples of vinegar industry by-products were collected from local businesses. These samples were prepared by using Hestrin-Schramm (HS) medium. Two methods, direct and indirect inoculations, were followed. The purified growth was examined using morphological and biochemical tests. Moreover, PCR was employed to confirm the identity of each bacterial isolate. The …

Evaluation Of Virtual Distance Learning And Teaching In The Architectural Design Studio Experience Of Professors And Students Of The College Of Architecture And Planning - Qassim University - Kingdom Of Saudi Arabia., Abdulaziz Ibrahim Alhrabi

Journal of Engineering Research

The paper deals with the evaluation of distance learning of the architectural design studio during the Corona pandemic, and the extent to which distance learning and teaching were achieved between the professor and the student. The paper aims to share and evaluate the experience of distance learning and teaching of the architectural design studio, in the College of Architecture and Planning at Qassim University. The research problem is that the Corona virus crisis generates many ideas for educational programs and media, but there is a deficiency in knowledge of many programs that achieve the continuity of the educational process remotely, …

Nano Topology And Decision Making In Medical Applications, Samir Mukhtar, Mohamed Shokry, Manar Omran

Journal of Engineering Research

Nano Topology is one of the essential topics that receive special attention from some athletes in the field of General Topology, Operations Research, and Computer Science, because it has a vital role in the generalizing most of the various mathematical concepts. Recently, many efforts have been made to study many types of Nano Topology, as the previous studies lacked real applications in Engineering, Medicine, Pharmacy, and Social Sciences. In this paper, we present some different applications of these studies. The paper is divided into two parts: Firstly, we study the theory of The Nano Topology and investigate its relation with …

New Operation Defined Over Dual-Hesitant Fuzzy Set And Its Application In Diagnostics In Medicine, Manar Mohamed Omran, Reham Abdel-Aziz Abo-Khadra

Journal of Engineering Research

In recent decades, several types of sets, such as fuzzy sets, interval-valued fuzzy sets, intuitionistic fuzzy sets, interval-valued intuitionistic fuzzy sets, type 2 fuzzy sets, type n fuzzy sets, and hesitant fuzzy sets, have been introduced and investigated widely. In this paper, we propose dual hesitant fuzzy sets (DHFSs), which encompass fuzzy sets, intuitionistic fuzzy sets, hesitant fuzzy sets, and fuzzy multi-sets as special cases. Then we investigate the basic operations and properties of DHFSs. We also discuss the relationships among the sets mentioned above, and then propose an extension principle of DHFSs. Additionally, we give an example to illustrate …

Optimal Site Layout Planning For Construction Projects Over Waterways, Rana M. Azzam, Nashwa Mohamed Yossef Prof, Adel I. Eldosouky Prof

Journal of Engineering Research

Construction site layout planning is an important part of a project's success. An effective construction layout plan can enhance the performance of the construction process by improving productivity, ensuring safety, and reducing costs. Given the importance of bridges over a waterway and the lack of interest in previous research for planning a construction site over a waterway. This paper concentrates on the problems of site planning for such projects, including the problem of limited site space. The study indicated that constructing an offshore terminal is one of the primary requirements for projects with limited space being carried out on a …

Decision-Making In Diagnosing Heart Failure Problems Using Dual Hesitant Fuzzy Sets, Manar Mohamed Omran, Reham Abdel-Aziz Abo-Khadra

Journal of Engineering Research

In recent decades, several types of sets, such as fuzzy sets, interval-valued fuzzy sets, intuitionistic fuzzy sets, interval-valued intuitionistic fuzzy sets, type 2 fuzzy sets, type n fuzzy sets, and hesitant fuzzy sets, have been introduced and investigated widely. In this paper, we propose dual hesitant fuzzy sets (DHFSs), which encompass fuzzy sets, intuitionistic fuzzy sets, hesitant fuzzy sets, and fuzzy multi-sets as special cases. Then we investigate the basic operations and properties of DHFSs. We also discuss the relationships among the sets mentioned above, and then propose an extension principle of DHFSs. Additionally, we give an example to illustrate …

Developing Paths In Areas Of Distinguished Value Between Preservation And Extinction (A Case Study Of The Railway Axis In The Maadi Area), Kamal Mahmoud Elgabalawy

Journal of Engineering Research

Abstract: proportion of the place, and thus the loss of the distinctive general character of the area, which leads to its extinction. These areas are of distinguished value, with all the thought and culture they carry of society over time. Among the areas classified as having distinguished value is the Maadi suburb, which is located in the south of Cairo Governorate, where boundaries and foundations for preserving them have been set through the Central Administration for Studies, Research, and Policies of the National Coordination Organization. The Ministry of Culture, approved by the Supreme Council for Planning and Urban Development by …

Review Of Wood Drying Technologies, Mohamed Salah Elmetwaly, Lotfy Hassan Rabie Saker, Mohamed Sameh Salem

Journal of Engineering Research

Abstract- This article provides a comprehensive review of drying optimization in data centers by examining the limitations of drying methods and discussing advances proposed by scientists through whom we can provide a comparison between different drying systems with an emphasis on improving energy efficiency and thermal performance. Wood drying under atmospheric pressure has many advantages, including the ability to dry at lower temperatures (by reducing the likelihood of some drying defects), significantly reduced drying times, color preservation, increased energy efficiency, better control of volatile organic compound emissions, and the ability to dry very large cross sections. Previous studies have achieved …

"Towards A Methodology For Studying The Impact Of Integrating Motion Systems In The External Envelope Of A Building On Natural Lighting Inside The Building– (An Applied Study On A Government School In Greater Cairo)", Nashwa Youssif

Journal of Engineering Research

يدرك المصمم ما للعناصر البيئية ولا سيما الإضاءة الطبيعية من دور فاعل في الوصول إلى تصميم ناجح يحقق أفضل أداء إستخدامي، فالإضاءة الطبيعية تذهب إلى صميم عمل المعماري فيستعين بها للإيحاء بشكل الفراغات ولونها وملمس سطوحها.

وهناك العديد من الأساليب الحديثة التي تساعد المعماري علي إتخاذ قراراته التصميمية الخاصة بتصميم المبنى وكيفية الإستفادة من الإضاءة الطبيعية داخل المباني، وهذه الأساليب تهدف إلى زيادة إحترام البيئة وتفترض تحسينات في النظم البيئية من العزل الحراري وإستغلال مصادر الطاقة الطبيعية والإهتمام بنظم الإضاءة الطبيعية والمواد البنائية.

وتعد تقنية دمج الأنظمة الحركية بالغلاف الخارجي للمبنى مع الإستفادة من الإضاءة الطبيعية داخل هذا …

First Demonstration Of In Vivo Pde11a4 Target Engagement For Potential Treatment Of Age-Related Memory Disorders, Shams Ul Mahmood, Jeremy Eberhard, Charles S. Hoffman, Dennis Colussi, John Gordon, Wayne Childers, Elvis Amurrio, Janvi Patel, Michy P. Kelly, David P. Rotella

Department of Chemistry and Biochemistry Faculty Scholarship and Creative Works

PDE11A4 is a target of interest for the treatment of age-related memory disorders. A previous report from our laboratories described an amide series of potent, selective PDE11A4 inhibitors that was metabolically unstable. Investigation of heterocyclic amide isosteres for the labile amide moiety revealed distinct structure-activity relationships and identified several compounds with potency comparable to the amide series. This manuscript describes the characterization of structure-activity and structure-property relationships in this set, leading to the identification of an orally bioavailable, brain-penetrant, selective and potent PDE11A4 inhibitor. Target engagement experiments demonstrated PDE11A4 inhibition in the hypothalamus of mice that was absent in PDE11A4 …

Re-Evaluating Hypertragulid Diversity In The John Day Basin, Oregon, Usa, Nicholas A. Famoso, Lana K. Jewell

Geology Faculty Publications and Presentations

Despite their relative abundance, members of the family Hypertragulidae (Artiodactyla, Mammalia) have proved a conundrum regarding species diversity in the Turtle Cove Member (Oligocene) of the John Day Formation, located in central and eastern Oregon. Three species and two separate genera are described in the area, but previous research lacks statistical support for this level of variation. We use coefficients of variation (V) on measurements of dentition and astragali of hypertragulid specimens designated Hypertragulus hesperius, Hypertragulus minutus, and Nanotragulus planiceps as a metric for determining whether there were multiple species present in the population. Asymptotic and modified signed-likelihood ratio V …

2024 October 10 - Tennessee Weekly Drought Summary, Tennessee Climate Office, East Tennessee State University

Tennessee Climate Office Weekly Drought Summaries

No abstract provided.

2024 Draft Final Butte Reduction Works (Brw) Smelter Area Mine Waste Remediation And Contaminated Groundwater Hydraulic Control Site Quality Assurance Project Plan (Qapp) For Microbial Analysis And Biotreatability Study, Pioneer Technical Services, Inc.

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.

Prevention Of Attacks Via Requested Displayable Content, Mingkui Wei, Yao Liu, Zhuo Lu, Junjie Xiong

Computer Science Faculty Research & Creative Works

A method and system disable executable script in requested displayable content. Responsive to requesting displayable content, a non-executable code sequence and a mis-matched font file that maps a plurality of characters of the requested displayable content to the non-executable code sequence is received. The non-executable code sequence is displayed as a text string in accordance with the received mis-matched font file.

Historical Review Of Variants Of Informal Semantics For Logic Programs Under Answer Set Semantics: Gl’88, Gl’91, Gk’14, D-V’12, Yuliya Lierler

Computer Science Faculty Publications

This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Programming and ASP-Prolog — two prominent Knowledge Representation and Reasoning Paradigms in Artificial Intelligence.

Sustainable Aquaculture And Youth Membership, Stephen Hughes

Sustainability Research & Practice Seminar Presentations

Dr. Steven Hughes of Cheyney University discusses Sustainable Aquaculture and Youth Mentorship

Approval Of: Discharge System 2023 Annual Operations And Maintenance Report, Berkeley Pit And Discharge Pilot Project, Dated May 20, 2024, Jason Rappe

Silver Bow Creek/Butte Area Superfund Site

No abstract provided.