Physical Sciences and Mathematics Commons^™

Lexical Complexity Prediction With Assembly Models, Aadil Islam

Dartmouth College Undergraduate Theses

Tuning the complexity of one's writing is essential to presenting ideas in a logical, intuitive manner to audiences. This paper describes a system submitted by team BigGreen to LCP 2021 for predicting the lexical complexity of English words in a given context. We assemble a feature engineering-based model and a deep neural network model with an underlying Transformer architecture based on BERT. While BERT itself performs competitively, our feature engineering-based model helps in extreme cases, eg. separating instances of easy and neutral difficulty. Our handcrafted features comprise a breadth of lexical, semantic, syntactic, and novel phonetic measures. Visualizations of BERT …

Improving Existing Methods For Calculating Embodied Carbon Emissions In Trade Through Feature Discovery: An Information Theoretic Approach, Sam Morton

Dartmouth College Undergraduate Theses

The continued societal and ecological risks posed by climate change have spurred renewed interest in quantitative tools that can improve policy aimed at climate mitigation. In 2008, international trade accounted for up to 26\% of global anthropogenic emissions, and therefore trade has garnered increased attention from policymakers seeking carbon mitigation. The concept of embodied carbon emissions in trade (EET) quantifies overall carbon emitted in the production and transport of goods for the purposes of trade. EET in theory could prove an indispensable tool to climate-concerned policymakers, but current implementations and data availability limit EET calculation to annual snapshots that extend …

Interpreting Attention-Based Models For Natural Language Processing, Steven J. Signorelli Jr

Dartmouth College Undergraduate Theses

Large pre-trained language models (PLMs) such as BERT and XLNet have revolutionized the field of natural language processing (NLP). The interesting thing is that they are pre- trained through unsupervised tasks, so there is a natural curiosity as to what linguistic knowledge these models have learned from only unlabeled data. Fortunately, these models’ architectures are based on self-attention mechanisms, which are naturally interpretable. As such, there is a growing body of work that uses attention to gain insight as to what linguistic knowledge is possessed by these models. Most attention-focused studies use BERT as their subject, and consequently the field …

Deterring Intellectual Property Thieves: Algorithmic Generation Of Adversary-Aware Fake Knowledge Graphs, Snow Kang

Dartmouth College Undergraduate Theses

Publicly available estimates suggest that in the U.S. alone, IP theft costs our economy between $225 billion and $600 billion each year. In our paper, we propose combating IP theft by generating fake versions of technical documents. If an enterprise system has n fake documents for each real document, any IP thief must sift through an array of documents in an attempt to separate the original from a sea of fakes. This costs the attacker time and money - and inflicts pain and frustration on the part of its technical staff.

Leveraging a graph-theoretic approach, we created the Clique-FakeKG algorithm …

A Configurable Social Network For Running Irb-Approved Experiments, Mihovil Mandic

Dartmouth College Undergraduate Theses

Our world has never been more connected, and the size of the social media landscape draws a great deal of attention from academia. However, social networks are also a growing challenge for the Institutional Review Boards concerned with the subjects’ privacy. These networks contain a monumental variety of personal information of almost 4 billion people, allow for precise social profiling, and serve as a primary news source for many users. They are perfect environments for influence operations that are becoming difficult to defend against. Motivated to study online social influence via IRB-approved experiments, we designed and implemented a flexible, scalable, …

Producing Easy-To-Verify Proofs Of Linearizability, Ugur Yavuz

Computer Science Senior Theses

Proofs of linearizability tend to be complex and lengthy, rendering their verification challenging for readers. We provide a novel technique to produce easy-to-verify proofs of linearizability, with the help of mechanical proof assistants. Specifically, we reduce the task of proving the correctness of a linearizable object implementation, to a proof of an inductive invariant of a slightly modified version of the implementation. As the latter is a task many mechanical proof systems (such as TLAPS) are well-suited to undertake, this reduction allows the verification of the proof by the reader, to only consist of a trivial syntactic check of whether …

Object Manipulation With Modular Planar Tensegrity Robots, Maxine Perroni-Scharf

Dartmouth College Undergraduate Theses

This thesis explores the creation of a novel two-dimensional tensegrity-based mod- ular system. When individual planar modules are linked together, they form a larger tensegrity robot that can be used to achieve non-prehensile manipulation. The first half of this dissertation focuses on the study of preexisting types of tensegrity mod- ules and proposes different possible structures and arrangements of modules. The second half describes the construction and actuation of a modular 2D robot com- posed of planar three-bar tensegrity structures. We conclude that tensegrity modules are suitably adapted to object manipulation and propose a future extension of the modular 2D …

One Dimensional Study Of Magnetoplasmadynamic Thrusters For A Potential New Class Of Heavy Ion Drivers For Plasma Jet Driven Magnetoinertial Fusion, Patrick M. Brown

Theses and Dissertations

Plasma Jet Driven Magnetoinertial Fusion (PJMIF) requires high velocity heavy ion drivers in order to compress a magnetized target to fusion conditions. Previous work with heavy ion drivers has revealed sub-par accelerations due to plasma instabilities; thus, it is necessary to investigate new methods of heavy ion plasma acceleration. One such method is Magnetoplasmadynamic (MPD) thrusters. Past studies of these thrusters have been conducted at an initial temperature at or below the energy of full ionization. Here MPD thrusters are investigated using a Godunov type MHD solver with a Harten-Lax van Leer-D (HLLD) flux solving scheme assuming the plasma is …

Interactive Physics Display: Air Cannon, Marina Smeltzer, Sydney Hosokawa, Jordan Nguyen, Jessica Ouyang

Mechanical Engineering

The San Luis Obispo Botanical Garden (SLOBG) is a non-profit organization that provides a place for visitors to connect with and explore nature. The sponsors from SLOBG sought an interactive physics display to be implemented in their children’s garden that will educate children and adult visitors about physics concepts in a welcoming and comfortable atmosphere. The research done showed that customers are looking for a “wow” factor with the display to surprise and engage them. Patents showed the design and build of interactive playground equipment. Government reports described the curriculum for the target audience and also outlined the safety precautions …

Pressure Driven Desalination Membranes: Lyotropic Liquid Crystals Containing Single Walled Carbon, Matteo A. Del Giudice, Samantha Castillo Merigold

Materials Engineering

This project presents a potential alternative desalination technique that utilizes the ion rejection properties of single walled carbon nanotubes dispersed in a lyotropic liquid crystal (LLC) matrix. Previous research has pointed to the polymerizable surfactant methacryloxy ethyl hexadecyl dimethyl ammonium bromide (C16MA) having capabilities of filtering molecular components smaller than a nanometer, when oriented in cylindrical micelles. SWCNTs were dispersed in deionized water by probe sonication and addition of surfactant cetyltrimethylammonium bromide (CTAB) due to SWCNTs’ hydrophobic properties. Membranes were produced containing 55wt% C16MA, 37wt% DI water, 0.1wt% with respect to the monomer (WRM) SWCNTs, 1.9 wt% WRM 2,2-dimethoxy-2-phenylacetophenone (photointiator), …

On Higher-Order Duality In Nondifferentiable Minimax Fractional Programming, S. Al-Homidan, Vivek Singh, I. Ahmad

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we consider a nondifferentiable minimax fractional programming problem with continuously differentiable functions and formulate two types of higher-order dual models for such optimization problem. Weak, strong and strict converse duality theorems are derived under higher- order generalized invexity.

Bessel-Maitland Function Of Several Variables And Its Properties Related To Integral Transforms And Fractional Calculus, Ankita Chandola, Rupakshi M. Pandey, Ritu Agarwal

Applications and Applied Mathematics: An International Journal (AAM)

In the recent years, various generalizations of Bessel function were introduced and its various properties were investigated by many authors. Bessel-Maitland function is one of the generalizations of Bessel function. The objective of this paper is to establish a new generalization of Bessel-Maitland function using the extension of beta function involving Appell series and Lauricella functions. Some of its properties including recurrence relation, integral representation and differentiation formula are investigated. Moreover, some properties of Riemann-Liouville fractional operator associated with the new generalization of Bessel-Maitland function are also discussed.

Two Temperature Dual-Phase-Lag Fractional Thermal Investigation Of Heat Flow Inside A Uniform Rod, Vinayak Kulkarni, Gaurav Mittal

Applications and Applied Mathematics: An International Journal (AAM)

A non-classical, coupled, fractionally ordered, dual-phase-lag (DPL) heat conduction model has been presented in the framework of the two-temperature theory in the bounded Cartesian domain. Due to the application of two-temperature theory, the governing heat conduction equation is well-posed and satisfying the required stability criterion prescribed for a DPL model. The mathematical formulation has been applied to a uniform rod of finite length with traction free ends considered in a perfectly thermoelastic homogeneous isotropic medium. The initial end of the rod has been exposed to the convective heat flux and energy dissipated by convection into the surrounding medium through the …

Iron And Iodine-Mediated Reactions, Xiaochen Liu

Dissertations, Theses, and Capstone Projects

This thesis work focuses on developing facile, low-cost, and environmentally friendly reactions, specifically the iron and iodine-mediated reactions, including (1) iron-catalyzed reductive ring-opening of 3,5-disubstituted isoxazoles and isoxazolines in aged N-methyl-2-pyrrolidone (NMP*), (2) iodine-mediated C-N bond cross-coupling reactions between amides and aldehydes, and (3) ICl-mediated functionalization of β-alkoxy alkynes – synthesis of α-iodo-γ-chloro-ketones.

Chapter I provides a background introduction on previous synthesis and applications of β-enaminones and 1,3-diketones that play as synthons or ligands. Ring-openings of heterocycles, such as isoxazoles and isoxazolines have attracted great attentions. A newly developed iron-catalyzed reductive system was established upon our previous palladium-catalyzed research. …

Computational Modeling Of Water And Proteins In Drug Discovery, Anthony Cruz Balberdy

Dissertations, Theses, and Capstone Projects

This thesis aims to improve how structural and thermodynamic properties of water on protein surfaces can be exploited to aid early stage drug discovery and lead optimization. We first discuss our development of SSTMap, a public domain software suite that maps out the properties of water on biomolecular surfaces. We then show the utility of these maps in describing differences in binding affinities between congeneric pairs of ligands. We then discuss our use of solvation maps in the prospective discovery of novel binders to cytochrome C peroxidase. Finally, we present our creation and validation of a homology model of Interleukin-24 …

Detecting Receptivity For Mhealth Interventions In The Natural Environment, Varun Mishra, Florian Künzler, Jan-Niklas Kramer, Elgar Fleisch, Tobias Kowatsch, David Kotz

Dartmouth Scholarship

Just-In-Time Adaptive Intervention (JITAI) is an emerging technique with great potential to support health behavior by providing the right type and amount of support at the right time. A crucial aspect of JITAIs is properly timing the delivery of interventions, to ensure that a user is receptive and ready to process and use the support provided. Some prior works have explored the association of context and some user-specific traits on receptivity, and have built post-study machine-learning models to detect receptivity. For effective intervention delivery, however, a JITAI system needs to make in-the-moment decisions about a user's receptivity. To this end, …

Linear Discriminant Analysis Based On Gas Chromatographic Measurements For Geographical Prediction Of Usa Medical Domestic Cannabis, Ramia Z. Al Bakain, Yahya S. Al-Degs, James V. Cizdziel, Mahmoud A. Elsohly

Faculty and Student Publications

Fifty four domestically produced cannabis samples obtained from different USA states were quantitatively assayed by GC-FID to detect 22 active components: 15 terpenoids and 7 cannabinoids. The profiles of the selected compounds were used as inputs for samples grouping to their geographical origins and for building a geographical prediction model using Linear Discriminant Analysis. The proposed sample extraction and chromatographic separation was satisfactory to select 22 active ingredients with a wide analytical range between 5.0 and 1,000 μg/mL. Analysis of GC-profiles by Principle Component Analysis retained three significant variables for grouping job (Δ9-THC, CBN, and CBC) and the modest discrimination …

Development Of A Decision Support System For Sustainable Water Planning In Abu Dhabi, Uae, Mohamed Ibrahim Kizhisseri

Dissertations

One of the main challenges for water managers is to foresee the future accurately; then, design appropriate policies and infrastructure plans accordingly. The use of decision support systems in the field of water resource management and planning is now widely implemented, but its use in sustainable water planning of a nation or state in arid and semi-arid areas, such as Middle East countries, remains limited. The main objective of this dissertation is to present a graphical software tool that can assist water planners and decision-makers in long-term water management and planning. Sustainable planning for Abu Dhabi’s future water supply is …

The Impact Of Climate Change On Virginia's Coastal Areas, Jonathan L. Goodall, Antonio Elias, Elizabeth Andrews, Christopher "Kit" Chope, John Cosgrove, Jason El Koubi, Jennifer Irish, Lewis L. Lawrence Iii, Robert W. Lazaro Jr., William H. Leighty, Mark W. Luckenbach, Elise Miller-Hooks, Ann C. Phillips, Henry Pollard V, Emily Steinhilber, Charles Feigenoff, Jennifer Sayegh

Faculty Publications

As part of HJ47/SJ47 (2020), the Virginia General Assembly directed the Joint Commission on Technology and Science (JCOTS) to study the “safety, quality of life, and economic consequences of weather and climate-related events on coastal areas in Virginia.” In pursuit of this goal, the commission was to “accept any scientific and technical assistance provided by the nonpartisan, volunteer Virginia Academy of Science, Engineering, and Medicine (VASEM). VASEM convened an expert study board with representation from the Office of the Governor, planning district commissions in coastal Virginia, The Port of Virginia, the Virginia Economic Development Partnership, state universities, private industry, and …

A Family Of Householder Matrices, Jian-Ao Lian

Applications and Applied Mathematics: An International Journal (AAM)

A Householder transformation, or Householder reflection, or Household matrix, is a reflection about a hyperplane with a unit normal vector. Not only have the Household matrices been used in QR decomposition efficiently but also implicitly and successfully applied in other areas. In the process of investigating a family of unitary filterbanks, a new family of Householder matrices are established. These matrices are produced when a matrix filter is required to preserve certain order of 2d digital polynomial signals. Naturally, they can be applied to image and signal processing among others.

On The Generalization Of Interval Valued Fuzzy Generalized Bi-Ideals In Ordered Semigroups, Muhammad S. Ali Khan, Saleem Abdullah, Kostaq Hila

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a new general form than interval valued fuzzy generalized bi-ideals in ordered semigroups is introduced. The concept of interval valued fuzzy generalized bi-ideals is initiated and several properties and characterizations are provided. A condition for an interval valued fuzzy generalized bi-ideal to be an interval valued fuzzy generalized bi-ideal is obtained. Using implication operators and the notion of implication-based an interval valued fuzzy generalized bi-ideal, characterizations of an interval valued fuzzy generalized bi-ideal and an interval valued fuzzy generalized bi-ideal are considered.

Hall Current And Radiation Effects On Unsteady Natural Convection Mhd Flow With Inclined Magnetic Field, U. S. Rajput, Naval K. Gupta

Applications and Applied Mathematics: An International Journal (AAM)

In the present paper, Hall current and radiation effects on unsteady natural convection MHD flow with inclined magnetic field is studied. The viscous, incompressible and an electrically conducting fluid is considered. This model contains equations of motion, equation of energy and diffusion equation. The system of partial differential equations is transformed to dimensionless equations by using dimensionless variables. Exact solution of governing equations is obtained by Laplace Transform Technique. For analysing the solution of the model, desirable sets of the values of the parameters have been considered. The obtained results of velocity, concentration and temperature have been analysed with the …

Theoretical Study Of Mach Number And Compressibility Effect On The Slender Airfoils, Abrar Hoque, Masudar Rahman, Ashabul Hoque

Applications and Applied Mathematics: An International Journal (AAM)

Theoretical development of the velocity potential equation for compressible flow and its various consequences has been presented. The geometrical interpretation of potential equation and conformal mapping technique are discussed where the mappings link the flow around a circular cylinder of a slender airfoil. The lift and drag coefficients are determined for the slender airfoils based on the Mach number and compressibility effects. The calculated lift coefficients show that with the increasing of attack angle it increases linearly and a higher lift coefficient is found for a smaller Mach number for any certain attack angle. Similarly, the drag profiles are determined …

Maximum Contraflow Evacuation Planning Problems On Multi-Network, Phanindra P. Bhandari, Shree R. Khadka

Applications and Applied Mathematics: An International Journal (AAM)

Contraflow approach for the evacuation planning problem increases outbound capacity of the evacuation routes by the reversal of anti-parallel arcs, if such arcs exist. The existing literature focuses on network contraflow problems that allow only anti-parallel arcs with equal transit time. However, the problems modeled on multi-network, allowing parallel as well as anti-parallel arcs with not necessarily equal transit time, seem more realistic. In this paper, we study the maximum dynamic contraflow problem for multi-network and propose efficient solution techniques to them with discrete as well as continuous time settings. We also extend the results to solve earliest version of …

Covid-19 Modeling With Caution In Relaxing Control Measures And Possibilities Of Several Peaks In Cameroon, S. Y. Tchoumi, Y. T. Kouakep, D. J. Fotsa Mbogne, J. C. Kamgang, V. C. Kamla, D. Bekolle

Applications and Applied Mathematics: An International Journal (AAM)

We construct a new model for the comprehension of the Covid-19 dynamics in Cameroon. We present the basic reproduction number and perform some numerical analysis on the possible outcomes of the epidemic. The major results are the possibilities to have several peaks before the end of the first outbreak for an uniform strategy, and the danger to have a severe peak after the adoption of a careless strategy of barrier anti-Covid-19 measures that follow a good containment period.

Modelling Classroom Space Allocation At University Of Rwanda-A Linear Programming Approach, Kambombo Mtonga, Evariste Twahirwa, Santhi Kumaran, Kayalvizhi Jayavel

Applications and Applied Mathematics: An International Journal (AAM)

Education and training play a key role as the human capital function. This is especially true for tertiary education. However, infrastructure and equipment limitations are some factors that limits levels of students' enrollment in universities. This is moreso the case in developing countries where much of the infrastructure developments are donor-funded. For institutional managers and administrators, the allocating of the limited available classroom space is a constant problem that needs sophisticated approaches to deal with. Linear Optimization technique has shown promise in dealing with this problem. This research seeks to assess the Rwandan education system and highlight strides made to …

Generation And Statistical Properties For Lindley-Polynomial Distribution, Dariush Ghorbanzadeh

Applications and Applied Mathematics: An International Journal (AAM)

For the modeling of the wind speed, we propose a family of distributions in polynomial form generating the Lindley distribution. We call this distribution Lindley-Polynomial distribution. The estimation of parameters using the maximum product spacing estimation method. A real data set has been considered to illustrate the practical utility of the paper.

Clustering And Halo Abundances In Early Dark Energy Cosmological Models, A. Klypin, V. Poulin, F. Prada, J. Primack, M. Kamionkowski, V. Avila-Reese, A. Rodriguez-Puebla, P. Behroozi, D. Hellinger, Tristan L. Smith

Physics & Astronomy Faculty Works

Cold Dark Matter with cosmological constant (ΛCDM) cosmological models with early dark energy (EDE) have been proposed to resolve tensions between the Hubble constant H0=100h km ṡ−1Ṁpc−1 measured locally, giving h ≈ 0.73, and H0 deduced from Planck cosmic microwave background (CMB) and other early-Universe measurements plus ΛCDM, giving h ≈ 0.67. EDE models do this by adding a scalar field that temporarily adds dark energy equal to about 10 per cent of the cosmological energy density at the end of the radiation-dominated era at redshift z ∼ 3500. Here, we compare linear and non-linear predictions of a Planck-normalized ΛCDM …

Promoting And Teaching Responsible Leadership In Software Engineering, Devender Goyal, Luiz Fernando Capretz

Electrical and Computer Engineering Publications

As software and computer technology is becoming more prominent and pervasive in all spheres of life, many researchers and industry folks are realizing the importance of teaching soft skills and values to CS and SE students. Many researchers and leaders, from both academic and non-academic world, are also calling for software researchers and practitioners to seriously consider human values, like respect, integrity, compassion, justice, and honesty when building software, both for greater social good and also for financial considerations. In this paper, we propose and wish to promote teaching soft skills, values, and responsibilities to students, which we term as …

" Funksionimi I Kartelave Bankare Të Mençura, Struktura Dhe Algoritmi ", Qazim Gashi

Theses and Dissertations

Teknologjia e informacionit luan një rol të rendësishëm për zhvillimin e kartelave të mençura. Kartelat e mençura kanë ndryshuar formën e ofrimit të shërbimeve dhe mallrave, përmes identifikimit dhe verifikimit të klientëve në mënyrë automatike, duke sjellë përfitime të konsiderueshme për klientët rreth efikasitetit dhe me kosto më të ulët për kryerjen e një shërbimi, po ashtu duke rritur trendin e shit-blerjeve online. Pra kartelat e mençura ofrojnë përfitime për klientët, ato j’u japin të drejten e privatësisë dhe besim në shërbimet e organizatave tregtare dhe institucioneve shtetërore. Po ashtu ofrojnë lehtësi si për përdoruesit dhe organizatat siç janë: qasja …