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 31 - 60 of 130
Full-Text Articles in Other Mathematics
Features Of Agent-Based Models, Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown
Features Of Agent-Based Models, Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown
Engineering Faculty Articles and Research
The design of agent-based models (ABMs) is often ad-hoc when it comes to defining their scope. In order for the inclusion of features such as network structure, location, or dynamic change to be justified, their role in a model should be systematically analysed. We propose a mechanism to compare and assess the impact of such features. In particular we are using techniques from software engineering and semantics to support the development and assessment of ABMs, such as graph transformations as semantic representations for agent-based models, feature diagrams to identify ingredients under consideration, and extension relations between graph transformation systems to …
The Positivication Of Coalgebraic Logics, Fredrik Dahlqvist, Alexander Kurz
The Positivication Of Coalgebraic Logics, Fredrik Dahlqvist, Alexander Kurz
Engineering Faculty Articles and Research
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebraic logic from a boolean one. On the model side this involves canonically computing a endofunctor T': Pos->Pos from an endofunctor T: Set->Set, in a procedure previously defined by the second author et alii called posetification. On the syntax side, it involves canonically computing a syntax-building functor L': DL->DL from a syntax-building functor L: BA->BA, in a dual procedure which we call positivication. These operations are interesting in their own right and we explicitly compute posetifications and positivications in the case …
Generalized Interval Valued Neutrosophic Graphs Of First Type, Florentin Smarandache, Said Broumi, Mohamed Talea, Assia Bakali, Ali Hassan
Generalized Interval Valued Neutrosophic Graphs Of First Type, Florentin Smarandache, Said Broumi, Mohamed Talea, Assia Bakali, Ali Hassan
Branch Mathematics and Statistics Faculty and Staff Publications
In this paper, motivated by the notion of generalized single valued neutrosophic graphs of first type, we defined a new neutrosophic graphs named generalized interval valued neutrosophic graphs of first type (GIVNG1) and presented a matrix representation for it and studied few properties of this new concept. The concept of GIVNG1 is an extension of generalized fuzzy graphs (GFG1) and generalized single valued neutrosophic of first type (GSVNG1).
Computation Of Shortest Path Problem In A Network With Sv-Triangular Neutrosophic Numbers, Florentin Smarandache, Said Broumi, Assia Bakali, Mohamed Talea
Computation Of Shortest Path Problem In A Network With Sv-Triangular Neutrosophic Numbers, Florentin Smarandache, Said Broumi, Assia Bakali, Mohamed Talea
Branch Mathematics and Statistics Faculty and Staff Publications
In this article, we present an algorithm method for finding the shortest path length between a paired nodes on a network where the edge weights are characterized by single valued triangular neutrosophic numbers. The proposed algorithm gives the shortest shortest path length from source node to destination node based on a ranking method. Finally, a numerical example is also presented to illustrate the efficiency of the proposed approach.
Foreword: Special Issue On Coalgebraic Logic, Alexander Kurz
Foreword: Special Issue On Coalgebraic Logic, Alexander Kurz
Engineering Faculty Articles and Research
The second Dagstuhl seminar on coalgebraic logics took place from October 7-12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a special issue in Mathematical Structures in Computer Science.
Quasivarieties And Varieties Of Ordered Algebras: Regularity And Exactness, Alexander Kurz
Quasivarieties And Varieties Of Ordered Algebras: Regularity And Exactness, Alexander Kurz
Engineering Faculty Articles and Research
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets.
We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, in the enriched sense).
A Traders Guide To The Predictive Universe- A Model For Predicting Oil Price Targets And Trading On Them, Jimmie Harold Lenz
A Traders Guide To The Predictive Universe- A Model For Predicting Oil Price Targets And Trading On Them, Jimmie Harold Lenz
Doctor of Business Administration Dissertations
At heart every trader loves volatility; this is where return on investment comes from, this is what drives the proverbial “positive alpha.” As a trader, understanding the probabilities related to the volatility of prices is key, however if you could also predict future prices with reliability the world would be your oyster. To this end, I have achieved three goals with this dissertation, to develop a model to predict future short term prices (direction and magnitude), to effectively test this by generating consistent profits utilizing a trading model developed for this purpose, and to write a paper that anyone with …
Procesy Cieplne I Aparaty (Lab), Wojciech M. Budzianowski
Inżynieria Chemiczna Lab., Wojciech M. Budzianowski
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …
Applying Dijkstra Algorithm For Solving Neutrosophic Shortest Path Problem, Florentin Smarandache, Luige Vladareanu, Said Broumi, Assia Bakali, Muhammad Akram
Applying Dijkstra Algorithm For Solving Neutrosophic Shortest Path Problem, Florentin Smarandache, Luige Vladareanu, Said Broumi, Assia Bakali, Muhammad Akram
Branch Mathematics and Statistics Faculty and Staff Publications
The selection of shortest path problem is one the classic problems in graph theory. In literature, many algorithms have been developed to provide a solution for shortest path problem in a network. One of common algorithms in solving shortest path problem is Dijkstra’s algorithm. In this paper, Dijkstra’s algorithm has been redesigned to handle the case in which most of parameters of a network are uncertain and given in terms of neutrosophic numbers. Finally, a numerical example is given to explain the proposed algorithm.
Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
Engineering Faculty Articles and Research
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut …
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
Manipulating The Mass Distribution Of A Golf Putter, Paul J. Hessler Jr.
Manipulating The Mass Distribution Of A Golf Putter, Paul J. Hessler Jr.
Senior Honors Projects
Putting may appear to be the easiest but is actually the most technically challenging part of the game of golf. The ideal putting stroke will remain parallel to its desired trajectory both in the reverse and forward direction when the putter head is within six inches of the ball. Deviation from this concept will cause a cut or sidespin on the ball that will affect the path the ball will travel.
Club design plays a large part in how well a player will be able to achieve a straight back and straight through club head path near impact; specifically the …
Inżynieria Chemiczna Ćw., Wojciech M. Budzianowski
Tematyka Prac Doktorskich, Wojciech M. Budzianowski
Tematyka Prac Doktorskich, Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil
Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil
Engineering Faculty Articles and Research
We show that for a commutative quantale V every functor Set --> V-cat has an enriched left- Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.
Parameters Estimation Of Material Constitutive Models Using Optimization Algorithms, Kiswendsida Jules Kere
Parameters Estimation Of Material Constitutive Models Using Optimization Algorithms, Kiswendsida Jules Kere
Williams Honors College, Honors Research Projects
Optimization Algorithms are very useful for solving engineering problems. Indeed, optimization algorithms can be used to optimize engineering designs in terms of safety and economy. Understanding the proprieties of materials in engineering designs is very important in order to make designs safe. Materials are not really perfectly homogeneous and there are heterogeneous distributions in most materials. In this paper, Self-OPTIM which is an inverse constitutive parameter identification framework will be used to identify parameters of a linear elastic material constitutive model. Data for Self-OPTIM will be obtained using ABAQUS simulation of a dog-bone uniaxial test. Optimization Algorithms will be used …
The Simulation & Evaluation Of Surge Hazard Using A Response Surface Method In The New York Bight, Michael H. Bredesen
The Simulation & Evaluation Of Surge Hazard Using A Response Surface Method In The New York Bight, Michael H. Bredesen
UNF Graduate Theses and Dissertations
Atmospheric features, such as tropical cyclones, act as a driving mechanism for many of the major hazards affecting coastal areas around the world. Accurate and efficient quantification of tropical cyclone surge hazard is essential to the development of resilient coastal communities, particularly given continued sea level trend concerns. Recent major tropical cyclones that have impacted the northeastern portion of the United States have resulted in devastating flooding in New York City, the most densely populated city in the US. As a part of national effort to re-evaluate coastal inundation hazards, the Federal Emergency Management Agency used the Joint Probability Method …
Approximation Of Nested Fixpoints, Alexander Kurz
Approximation Of Nested Fixpoints, Alexander Kurz
Engineering Faculty Articles and Research
The question addressed in this paper is how to correctly approximate infinite data given by systems of simultaneous corecursive definitions. We devise a categorical framework for reasoning about regular datatypes, that is, datatypes closed under products, coproducts and fixpoints. We argue that the right methodology is on one hand coalgebraic (to deal with possible nontermination and infinite data) and on the other hand 2-categorical (to deal with parameters in a disciplined manner). We prove a coalgebraic version of Bekic lemma that allows us to reduce simultaneous fixpoints to a single fix point. Thus a possibly infinite object of interest is …
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Engineering Faculty Articles and Research
This report documents the program and the outcomes of Dagstuhl Seminar 15042 “Coalgebraic Semantics of Reflexive Economics”.
Teacher Influence On Elementary School Students’ Participation In Science, Technology, Engineering, And Mathematics, Courtney Hartman
Teacher Influence On Elementary School Students’ Participation In Science, Technology, Engineering, And Mathematics, Courtney Hartman
Honors College Theses
The purpose of this study is to explore the influence of elementary school teachers on encouraging students’ interest and participation in Science, Technology, Engineering, and Mathematics. The researcher sought to understand what methods teachers use in their classrooms to encourage students to participate in STEM subjects and programs. This mixed methods study consisted of a questionnaire to collect quantitative data, as well as an interview of selected teachers who participated in the questionnaire to collect qualitative data. The data was analyzed to determine the overall perceptions of teachers regarding the importance of encouraging students to participate in STEM. The qualitative …
Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil
Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil
Engineering Faculty Articles and Research
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn's result from Kripke frames to coalgebras for weak-pullback preserving functors. To facilitate this analysis we prove a number of category theoretic results on …
Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot
Engineering Faculty Articles and Research
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation …
Zespół Energii Odnawialnej I Zrównoważonego Rozwoju (Eozr), Wojciech M. Budzianowski
Zespół Energii Odnawialnej I Zrównoważonego Rozwoju (Eozr), Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
A Game-Theoretic Analysis Of The Nuclear Non-Proliferation Treaty, Peter Revesz
A Game-Theoretic Analysis Of The Nuclear Non-Proliferation Treaty, Peter Revesz
CSE Conference and Workshop Papers
Although nuclear non-proliferation is an almost universal human desire, in practice, the negotiated treaties appear unable to prevent the steady growth of the number of states that have nuclear weapons. We propose a computational model for understanding the complex issues behind nuclear arms negotiations, the motivations of various states to enter a nuclear weapons program and the ways to diffuse crisis situations.
Termodynamika Procesowa I Techniczna Lab., Wojciech M. Budzianowski
Termodynamika Procesowa I Techniczna Lab., Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
Tematyka Prac Dyplomowych Dla Studentów Wydziału Mechaniczno-Energetycznego Pwr., Wojciech M. Budzianowski
Tematyka Prac Dyplomowych Dla Studentów Wydziału Mechaniczno-Energetycznego Pwr., Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
Tematyka Prac Dyplomowych Dla Studentów Wydziału Chemicznego Pwr., Wojciech M. Budzianowski
Tematyka Prac Dyplomowych Dla Studentów Wydziału Chemicznego Pwr., Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.
Mechanika Płynów Lab., Wojciech M. Budzianowski
Mechanika Płynów Lab., Wojciech M. Budzianowski
Wojciech Budzianowski
No abstract provided.