Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- Chapman University (46)
- SelectedWorks (25)
- University of New Mexico (22)
- Selected Works (4)
- Georgia Southern University (2)
-
- The University of Akron (2)
- University of Alabama in Huntsville (2)
- University of Rhode Island (2)
- Air Force Institute of Technology (1)
- Brigham Young University (1)
- California Polytechnic State University, San Luis Obispo (1)
- Claremont Colleges (1)
- Clemson University (1)
- Duquesne University (1)
- East Tennessee State University (1)
- Embry-Riddle Aeronautical University (1)
- James Madison University (1)
- Louisiana Tech University (1)
- Loyola University Chicago (1)
- Portland State University (1)
- Purdue University (1)
- Rose-Hulman Institute of Technology (1)
- Technological University Dublin (1)
- Universidad de Cundinamarca (1)
- University of Arkansas, Fayetteville (1)
- University of Nebraska - Lincoln (1)
- University of New Orleans (1)
- University of North Florida (1)
- University of South Carolina (1)
- University of Tennessee, Knoxville (1)
- Keyword
-
- Informacje dla studentów (in Polish) (18)
- Coalgebra (13)
- Prace ze studentami (in Polish) (8)
- Modal logic (6)
- DSmT (5)
-
- Information fusion (5)
- Coalgebraic logic (3)
- Coalgebras (3)
- Display calculus (3)
- Neutrosophic logic (3)
- Algorithms (2)
- Belief functions (2)
- Biogaz (2)
- Cover modality (2)
- Descriptive general frames (2)
- Duality (2)
- Dynamic epistemic logic (2)
- Economy - Gospodarka (2)
- Energetyka (2)
- Energy (2)
- Kripke polynomial functors (2)
- Mathematics (2)
- Modal Logic (2)
- Modularity (2)
- Nominal sets (2)
- Positive modal logic (2)
- Relation lifting (2)
- Science (2)
- Stone duality (2)
- Stone spaces (2)
- Publication Year
- Publication
-
- Engineering Faculty Articles and Research (46)
- Wojciech Budzianowski (29)
- Branch Mathematics and Statistics Faculty and Staff Publications (22)
- Electronic Theses and Dissertations (2)
- Theses and Dissertations (2)
-
- Williams Honors College, Honors Research Projects (2)
- All Dissertations (1)
- Articles (1)
- CSE Conference and Workshop Papers (1)
- Computer Science: Faculty Publications and Other Works (1)
- Dissertations and Theses (1)
- Doctor of Business Administration Dissertations (1)
- Doctoral Dissertations (1)
- Doctoral Dissertations and Master's Theses (1)
- HMC Senior Theses (1)
- Honors College Theses (1)
- I-GUIDE Forum (1)
- Industrial Engineering Undergraduate Honors Theses (1)
- Institucional (1)
- Journal of Nonprofit Innovation (1)
- Masters Theses (1)
- Research Horizons Day Posters (1)
- Rose-Hulman Undergraduate Mathematics Journal (1)
- STAR Program Research Presentations (1)
- Senior Honors Projects (1)
- Senior Honors Projects, 2020-current (1)
- Senior Theses (1)
- Student and Lippitt Prize essays (1)
- Summer Community of Scholars Posters (RCEU and HCR Combined Programs) (1)
- Theses and Dissertations (Comprehensive) (1)
Articles 1 - 30 of 130
Full-Text Articles in Other Mathematics
A Bayesian Approach For Lifetime Modeling And Prediction With Multi-Type Group-Shared Missing Covariates, Hao Zeng, Xuxue Sun, Kuo Wang, Yuxin Wen, Wujun Si, Mingyang Li
A Bayesian Approach For Lifetime Modeling And Prediction With Multi-Type Group-Shared Missing Covariates, Hao Zeng, Xuxue Sun, Kuo Wang, Yuxin Wen, Wujun Si, Mingyang Li
Engineering Faculty Articles and Research
In the field of reliability engineering, covariate information shared among product units within a specific group (e.g., a manufacturing batch, an operating region), such as operating conditions and design settings, exerts substantial influence on product lifetime prediction. The covariates shared within each group may be missing due to sensing limitations and data privacy issues. The missing covariates shared within the same group commonly encompass a variety of attribute types, such as discrete types, continuous types, or mixed types. Existing studies have mainly considered single-type missing covariates at the individual level, and they have failed to thoroughly investigate the influence of …
Reducing Food Scarcity: The Benefits Of Urban Farming, S.A. Claudell, Emilio Mejia
Reducing Food Scarcity: The Benefits Of Urban Farming, S.A. Claudell, Emilio Mejia
Journal of Nonprofit Innovation
Urban farming can enhance the lives of communities and help reduce food scarcity. This paper presents a conceptual prototype of an efficient urban farming community that can be scaled for a single apartment building or an entire community across all global geoeconomics regions, including densely populated cities and rural, developing towns and communities. When deployed in coordination with smart crop choices, local farm support, and efficient transportation then the result isn’t just sustainability, but also increasing fresh produce accessibility, optimizing nutritional value, eliminating the use of ‘forever chemicals’, reducing transportation costs, and fostering global environmental benefits.
Imagine Doris, who is …
Convolution And Autoencoders Applied To Nonlinear Differential Equations, Noah Borquaye
Convolution And Autoencoders Applied To Nonlinear Differential Equations, Noah Borquaye
Electronic Theses and Dissertations
Autoencoders, a type of artificial neural network, have gained recognition by researchers in various fields, especially machine learning due to their vast applications in data representations from inputs. Recently researchers have explored the possibility to extend the application of autoencoders to solve nonlinear differential equations. Algorithms and methods employed in an autoencoder framework include sparse identification of nonlinear dynamics (SINDy), dynamic mode decomposition (DMD), Koopman operator theory and singular value decomposition (SVD). These approaches use matrix multiplication to represent linear transformation. However, machine learning algorithms often use convolution to represent linear transformations. In our work, we modify these approaches to …
Reducing Uncertainty In Sea-Level Rise Prediction: A Spatial-Variability-Aware Approach, Subhankar Ghosh, Shuai An, Arun Sharma, Jayant Gupta, Shashi Shekhar, Aneesh Subramanian
Reducing Uncertainty In Sea-Level Rise Prediction: A Spatial-Variability-Aware Approach, Subhankar Ghosh, Shuai An, Arun Sharma, Jayant Gupta, Shashi Shekhar, Aneesh Subramanian
I-GUIDE Forum
Given multi-model ensemble climate projections, the goal is to accurately and reliably predict future sea-level rise while lowering the uncertainty. This problem is important because sea-level rise affects millions of people in coastal communities and beyond due to climate change's impacts on polar ice sheets and the ocean. This problem is challenging due to spatial variability and unknowns such as possible tipping points (e.g., collapse of Greenland or West Antarctic ice-shelf), climate feedback loops (e.g., clouds, permafrost thawing), future policy decisions, and human actions. Most existing climate modeling approaches use the same set of weights globally, during either regression or …
Rigid Body Constrained Motion Optimization And Control On Lie Groups And Their Tangent Bundles, Brennan S. Mccann
Rigid Body Constrained Motion Optimization And Control On Lie Groups And Their Tangent Bundles, Brennan S. Mccann
Doctoral Dissertations and Master's Theses
Rigid body motion requires formulations where rotational and translational motion are accounted for appropriately. Two Lie groups, the special orthogonal group SO(3) and the space of quaternions H, are commonly used to represent attitude. When considering rigid body pose, that is spacecraft position and attitude, the special Euclidean group SE(3) and the space of dual quaternions DH are frequently utilized. All these groups are Lie groups and Riemannian manifolds, and these identifications have profound implications for dynamics and controls. The trajectory optimization and optimal control problem on Riemannian manifolds presents significant opportunities for theoretical development. Riemannian optimization is an attractive …
Propuestas Y Resultados De Investigación Transmoderna, Translocal Y Digital Desde Jóvenes Semilleristas, Xiomara Gonzalez Gaitan
Propuestas Y Resultados De Investigación Transmoderna, Translocal Y Digital Desde Jóvenes Semilleristas, Xiomara Gonzalez Gaitan
Institucional
En el presente libro intitulado Propuestas y resultados de investigación transmoderna, translocal y digital desde jóvenes semilleristas, se encuentran compilados las propuestas, avances y resultados de los proyectos en curso de los Semilleros de Investigación de la Universidad de Cundinamarca, Colombia, que se presentaron en el “II encuentro de semilleros de investigación: ciencia, tecnología e innovación en la era digital” en su versión 2020. Hacemos la labor de publicar estos proyectos con la intensión de difundir el conocimiento y como muestra del esfuerzo y alcance de la labor investigativa de los semilleristas de la Universidad de Cundinamarca. Esperamos que lo …
Implementation Of A Least Squares Method To A Navier-Stokes Solver, Jada P. Lytch, Taylor Boatwright, Ja'nya Breeden
Implementation Of A Least Squares Method To A Navier-Stokes Solver, Jada P. Lytch, Taylor Boatwright, Ja'nya Breeden
Rose-Hulman Undergraduate Mathematics Journal
The Navier-Stokes equations are used to model fluid flow. Examples include fluid structure interactions in the heart, climate and weather modeling, and flow simulations in computer gaming and entertainment. The equations date back to the 1800s, but research and development of numerical approximation algorithms continues to be an active area. To numerically solve the Navier-Stokes equations we implement a least squares finite element algorithm based on work by Roland Glowinski and colleagues. We use the deal.II academic library , the C++ language, and the Linux operating system to implement the solver. We investigate convergence rates and apply the least squares …
Quadratic Neural Network Architecture As Evaluated Relative To Conventional Neural Network Architecture, Reid Taylor
Quadratic Neural Network Architecture As Evaluated Relative To Conventional Neural Network Architecture, Reid Taylor
Senior Theses
Current work in the field of deep learning and neural networks revolves around several variations of the same mathematical model for associative learning. These variations, while significant and exceptionally applicable in the real world, fail to push the limits of modern computational prowess. This research does just that: by leveraging high order tensors in place of 2nd order tensors, quadratic neural networks can be developed and can allow for substantially more complex machine learning models which allow for self-interactions of collected and analyzed data. This research shows the theorization and development of mathematical model necessary for such an idea to …
An Algorithm For Biobjective Mixed Integer Quadratic Programs, Pubudu Jayasekara Merenchige
An Algorithm For Biobjective Mixed Integer Quadratic Programs, Pubudu Jayasekara Merenchige
All Dissertations
Multiobjective quadratic programs (MOQPs) are appealing since convex quadratic programs have elegant mathematical properties and model important applications. Adding mixed-integer variables extends their applicability while the resulting programs become global optimization problems. Thus, in this work, we develop a branch and bound (BB) algorithm for solving biobjective mixed-integer quadratic programs (BOMIQPs). An algorithm of this type does not exist in the literature.
The algorithm relies on five fundamental components of the BB scheme: calculating an initial set of efficient solutions with associated Pareto points, solving node problems, fathoming, branching, and set dominance. Considering the properties of the Pareto set of …
Development Of Novel Compound Controllers To Reduce Chattering Of Sliding Mode Control, Mehran Rahmani
Development Of Novel Compound Controllers To Reduce Chattering Of Sliding Mode Control, Mehran Rahmani
Theses and Dissertations
The robotics and dynamic systems constantly encountered with disturbances such as micro electro mechanical systems (MEMS) gyroscope under disturbances result in mechanical coupling terms between two axes, friction forces in exoskeleton robot joints, and unmodelled dynamics of robot manipulator. Sliding mode control (SMC) is a robust controller. The main drawback of the sliding mode controller is that it produces high-frequency control signals, which leads to chattering. The research objective is to reduce chattering, improve robustness, and increase trajectory tracking of SMC. In this research, we developed controllers for three different dynamic systems: (i) MEMS, (ii) an Exoskeleton type robot, and …
Understanding The Effect Of Adaptive Mutations On The Three-Dimensional Structure Of Rna, Justin Cook
Understanding The Effect Of Adaptive Mutations On The Three-Dimensional Structure Of Rna, Justin Cook
Undergraduate Research and Scholarship Symposium
Single-nucleotide polymorphisms (SNPs) are variations in the genome where one base pair can differ between individuals.1 SNPs occur throughout the genome and can correlate to a disease-state if they occur in a functional region of DNA.1According to the central dogma of molecular biology, any variation in the DNA sequence will have a direct effect on the RNA sequence and will potentially alter the identity or conformation of a protein product. A single RNA molecule, due to intramolecular base pairing, can acquire a plethora of 3-D conformations that are described by its structural ensemble. One SNP, rs12477830, which …
Obstructive Wiring Patterns To Circular Planarity In Electrical Networks, Hannah Lebo
Obstructive Wiring Patterns To Circular Planarity In Electrical Networks, Hannah Lebo
Williams Honors College, Honors Research Projects
In order for an electrical network to be printed on a flat surface without changing the network’s input or output, it is important to consider if any wires will cross and if this problem can be avoided. If a circular network can be printed so that no wires cross, the network is said to be circular planar. In this paper, we identify a number of wiring patterns that make circular planarity impossible. We find exactly 3 wiring patterns using circular pairs with sets of two nodes, and we find exactly 78 wiring patterns using circular pairs with sets of three …
A Novel Framework Using Neutrosophy For Integrated Speech And Text Sentiment Analysis, Florentin Smarandache, Kritika Mishra, Ilanthenral Kandasamy, Vasantha Kandasamy W.B.
A Novel Framework Using Neutrosophy For Integrated Speech And Text Sentiment Analysis, Florentin Smarandache, Kritika Mishra, Ilanthenral Kandasamy, Vasantha Kandasamy W.B.
Branch Mathematics and Statistics Faculty and Staff Publications
With increasing data on the Internet, it is becoming difficult to analyze every bit and make sure it can be used efficiently for all the businesses. One useful technique using Natural Language Processing (NLP) is sentiment analysis. Various algorithms can be used to classify textual data based on various scales ranging from just positive-negative, positive-neutral-negative to a wide spectrum of emotions. While a lot of work has been done on text, only a lesser amount of research has been done on audio datasets. An audio file contains more features that can be extracted from its amplitude and frequency than a …
Analyzing The Fractal Dimension Of Various Musical Pieces, Nathan Clark
Analyzing The Fractal Dimension Of Various Musical Pieces, Nathan Clark
Industrial Engineering Undergraduate Honors Theses
One of the most common tools for evaluating data is regression. This technique, widely used by industrial engineers, explores linear relationships between predictors and the response. Each observation of the response is a fixed linear combination of the predictors with an added error element. The method is built on the assumption that this error is normally distributed across all observations and has a mean of zero. In some cases, it has been found that the inherent variation is not the result of a random variable, but is instead the result of self-symmetric properties of the observations. For data with these …
Intelligent Algorithm For Trapezoidal Interval Valued Neutrosophic Network Analysis, Florentin Smarandache, Said Broumi, Deivanayagampillai Nagarajan, Malayalan Lathamaheswari, Mohamed Talea, Assia Bakali
Intelligent Algorithm For Trapezoidal Interval Valued Neutrosophic Network Analysis, Florentin Smarandache, Said Broumi, Deivanayagampillai Nagarajan, Malayalan Lathamaheswari, Mohamed Talea, Assia Bakali
Branch Mathematics and Statistics Faculty and Staff Publications
The shortest path problem has been one of the most fundamental practical problems in network analysis. One of the good algorithms is Bellman-Ford, which has been applied in network, for the last some years. Due to complexity in the decision-making process, the decision makers face complications to express their view and judgment with an exact number for single valued membership degrees under neutrosophic environment. Though the interval number is a special situation of the neutrosophic, it did not solve the shortest path problems in an absolute manner. Hence, in this work, the authors have introduced the score function and accuracy …
From Branches To Fibers - Investigating F-Actin Networks With Biochemistry And Mathematical Modeling, Melissa A. Riddle
From Branches To Fibers - Investigating F-Actin Networks With Biochemistry And Mathematical Modeling, Melissa A. Riddle
Senior Honors Projects, 2020-current
F-actin networks have different structures throughout the cell depending on their location or mechanical role. For example, at the leading edge of a migrating cell, F-actin is organized in a region called the lamellipodia as a branched network responsible for pushing the membrane outwards. Behind the lamellipodia is a lamellar actin network where focal adhesions and stress fibers originate, and then within the cell cortex, actin is arranged in a gel-like network. Stress fibers are an important organization of F-actin and how they arise from either the branched lamellipodia network or the gel-like cortex network is poorly understood. Our approach …
(Φ, Ψ)-Weak Contractions In Neutrosophic Cone Metric Spaces Via Fixed Point Theorems, Florentin Smarandache, Wadei F. Al-Omeri
(Φ, Ψ)-Weak Contractions In Neutrosophic Cone Metric Spaces Via Fixed Point Theorems, Florentin Smarandache, Wadei F. Al-Omeri
Branch Mathematics and Statistics Faculty and Staff Publications
In this manuscript, we obtain common fixed point theorems in the neutrosophic cone metric space. Also, notion of (Φ, Ψ)-weak contraction is defined in the neutrosophic cone metric space by using the idea of altering distance function. Finally, we review many examples of cone metric spaces to verify some properties.
Exercises Integrating High School Mathematics With Robot Motion Planning, Ronald I. Greenberg, George K. Thiruvathukal
Exercises Integrating High School Mathematics With Robot Motion Planning, Ronald I. Greenberg, George K. Thiruvathukal
Computer Science: Faculty Publications and Other Works
This paper presents progress in developing exercises for high school students incorporating level-appropriate mathematics into robotics activities. We assume mathematical foundations ranging from algebra to precalculus, whereas most prior work on integrating mathematics into robotics uses only very elementary mathematical reasoning or, at the other extreme, is comprised of technical papers or books using calculus and other advanced mathematics. The exercises suggested are relevant to any differerential-drive robot, which is an appropriate model for many different varieties of educational robots. They guide students towards comparing a variety of natural navigational strategies making use of typical movement primitives. The exercises align …
General Nonlinear-Material Elasticity In Classical One-Dimensional Solid Mechanics, Ronald Joseph Giardina Jr
General Nonlinear-Material Elasticity In Classical One-Dimensional Solid Mechanics, Ronald Joseph Giardina Jr
University of New Orleans Theses and Dissertations
We will create a class of generalized ellipses and explore their ability to define a distance on a space and generate continuous, periodic functions. Connections between these continuous, periodic functions and the generalizations of trigonometric functions known in the literature shall be established along with connections between these generalized ellipses and some spectrahedral projections onto the plane, more specifically the well-known multifocal ellipses. The superellipse, or Lam\'{e} curve, will be a special case of the generalized ellipse. Applications of these generalized ellipses shall be explored with regards to some one-dimensional systems of classical mechanics. We will adopt the Ramberg-Osgood relation …
Graph Formalisms And Technologies To Support To Systems Engineering Modeling And Analysis, Mil'yonta Williams
Graph Formalisms And Technologies To Support To Systems Engineering Modeling And Analysis, Mil'yonta Williams
Research Horizons Day Posters
No abstract provided.
Call For Abstracts - Resrb 2019, July 8-9, Wrocław, Poland, Wojciech M. Budzianowski
Call For Abstracts - Resrb 2019, July 8-9, Wrocław, Poland, Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
Fundamentals Of Neutrosophic Logic And Sets And Their Role In Artificial Intelligence (Fundamentos De La Lógica Y Los Conjuntos Neutrosóficos Y Su Papel En La Inteligencia Artificial ), Florentin Smarandache, Maykel Leyva-Vazquez
Fundamentals Of Neutrosophic Logic And Sets And Their Role In Artificial Intelligence (Fundamentos De La Lógica Y Los Conjuntos Neutrosóficos Y Su Papel En La Inteligencia Artificial ), Florentin Smarandache, Maykel Leyva-Vazquez
Branch Mathematics and Statistics Faculty and Staff Publications
Neutrosophy is a new branch of philosophy which studies the origin, nature and scope of neutralities. This has formed the basis for a series of mathematical theories that generalize the classical and fuzzy theories such as the neutrosophic sets and the neutrosophic logic. In the paper, the fundamental concepts related to neutrosophy and its antecedents are presented. Additionally, fundamental concepts of artificial intelligence will be defined and how neutrosophy has come to strengthen this discipline.
Nonlinear Coupled Effects In Nanomaterials, Sia Bhowmick
Nonlinear Coupled Effects In Nanomaterials, Sia Bhowmick
Theses and Dissertations (Comprehensive)
Materials at the nanoscale have different chemical, structural, and optoelectrical properties compared to their bulk counterparts. As a result, such materials, called nanomaterials, exhibit observable differences in certain physical phenomena. One such resulting phenomenon called the piezoelectric effect has played a crucial role in miniature self-powering electronic devices called nanogenerators which are fabricated by using nanostructures, such as nanowires, nanorods, and nanofilms. These devices are capable of harvesting electrical energy by inducing mechanical strain on the individual nanostructures. Electrical energy created in this manner does not have environmental limitations. In this thesis, important coupled effects, such as the nonlinear piezoelectric …
Optimal Supply Delivery Under Military Specific Constraints, Talena Fletcher
Optimal Supply Delivery Under Military Specific Constraints, Talena Fletcher
Electronic Theses and Dissertations
Through-out military history, the need to safely and effectively allocate resources to various military operations was a task of extreme importance. Satisfying the needs of multiple consumers by optimally pairing with appropriate suppliers falls into the category of vehicle routing problems (VRP), which has been intensively studied over the years. In general, finding the optimal solution to VRP is known to be NP-hard. The proposed solutions rely on mathematical programming and the size of the problems that can be optimally solved is typically limited. In military settings, balancing the needs of multiple consumers with the current operational environment has always …
Neutrosophic Computing With Sympy (Computación Neutrosófica Mediante Sympy ), Maykel Leyva-Vazquez, Florentin Smarandache
Neutrosophic Computing With Sympy (Computación Neutrosófica Mediante Sympy ), Maykel Leyva-Vazquez, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
In this article the concept of neutrosophic number is presented. Jupyter through Google Colaboratory is introduced for calculations. The Sympy library is used to perform the process of neutrosophic computation. Systems of linear neutrosóficas equations are solved by means of the symbolic computation in python. A case study was developed for the determination of vehicular traffic with indeterminacy. As future works are the development of new applications in different areas of engineering and science.
Modelo De Recomendación Basado En Conocimiento Y Números Svn, Maykel Leyva-Vazquez, Florentin Smarandache
Modelo De Recomendación Basado En Conocimiento Y Números Svn, Maykel Leyva-Vazquez, Florentin Smarandache
Branch Mathematics and Statistics Faculty and Staff Publications
Recommendation models are useful in the decision-making process that allow the user a set of options that are expected to meet their expectations. Recommendation models are useful in the decision-making process that offer the user a set of options that are expected to meet their SVN expectations to express linguistic terms.
Ns-K-Nn: Neutrosophic Set-Based K-Nearest Neighbors Classifier, Florentin Smarandache, Yaman Akbulut, Abdulkadir Sengur, Yanhui Guo
Ns-K-Nn: Neutrosophic Set-Based K-Nearest Neighbors Classifier, Florentin Smarandache, Yaman Akbulut, Abdulkadir Sengur, Yanhui Guo
Branch Mathematics and Statistics Faculty and Staff Publications
k-nearest neighbors (k-NN), which is known to be a simple and efficient approach, is a non-parametric supervised classifier. It aims to determine the class label of an unknown sample by its k-nearest neighbors that are stored in a training set. The k-nearest neighbors are determined based on some distance functions. Although k-NN produces successful results, there have been some extensions for improving its precision. The neutrosophic set (NS) defines three memberships namely T, I and F. T, I, and F shows the truth membership degree, the false membership degree, and the indeterminacy membership degree, respectively. In this paper, the NS …
Accuracy And Precision In Force-Distance Curves, Stephen Morgan
Accuracy And Precision In Force-Distance Curves, Stephen Morgan
Summer Community of Scholars Posters (RCEU and HCR Combined Programs)
No abstract provided.
C.V. - Wojciech Budzianowski, Wojciech M. Budzianowski
Renewable Energy And Sustainable Development (Resd) Group, Wojciech M. Budzianowski
Renewable Energy And Sustainable Development (Resd) Group, Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.