17876 research outputs found
Sort by
A Framework for Meta-heuristic Parameter Performance Prediction Using Fitness Landscape Analysis and Machine Learning
Get PDFThe behaviour of an optimization algorithm when attempting to solve a problem depends on the values assigned to its control parameters. For an algorithm to obtain desirable performance, its control parameter values must be chosen based on the current problem. Despite being necessary for optimal performance, selecting appropriate control parameter values is time-consuming, computationally expensive, and challenging. As the quantity of control parameters increases, so does the time complexity associated with searching for practical values, which often overshadows addressing the problem at hand, limiting the efficiency of an algorithm. As primarily recognized by the no free lunch theorem, there is no one-size-fits-all to problem-solving; hence from understanding a problem, a tailored approach can substantially help solve it.
To predict the performance of control parameter configurations in unseen environments, this thesis crafts an intelligent generalizable framework leveraging machine learning classification and quantitative characteristics about the problem in question. The proposed parameter performance classifier (PPC) framework is extensively explored by training 84 high-accuracy classifiers comprised of multiple sampling methods, fitness types, and binning strategies. Furthermore, the novel framework is utilized in constructing a new parameter-free particle swarm optimization (PSO) variant called PPC-PSO that effectively eliminates the computational cost of parameter tuning, yields competitive performance amongst other leading methodologies across 99 benchmark functions, and is highly accessible to researchers and practitioners. The success of PPC-PSO shows excellent promise for the applicability of the PPC framework in making many more robust parameter-free meta-heuristic algorithms in the future with incredible generalization capabilities
Automatic Generation of Human Readable Proofs
Get PDFDeclarative sentences are statements constructed from propositions that can be either true or false. To be easily manipulated by a program, we present a formal system for handling such declarative sentences called propositional logic. Currently, widely used methods for automatically generating proofs have readability limitations: the deduction process does not conform to human reasoning processes, or the proof tree generated is too complicated.
The primary objective of this thesis is to design a program that automatically gen- erates human-readable propositional logic proofs using Natural Deduction. Natural Deduction is a calculus for deriving conclusions from a finite set of premises using proof rules. The deduction process is a tree structure with assumptions as leaves, natural deduction rules as nodes, and the conclusion as the root. This calculus mod- els human reasoning very well because it builds proofs incrementally using logical deductions from known facts and assumptions.
Our approach will be capable of proving any valid sentence of Propositional Logic automatically and producing a proof tree in the Natural Deduction calculus
An Improved Sufficient Condition for Routing on the Hypercube with Blocking Nodes
Get PDFWe study the problem of routing between two nodes in a hypercube with blocking
nodes using shortest path. This problem has been previously studied by other researchers, they have proposed a few algorithms to solve the problem. Among the
work done, one has found several sufficient conditions for such a path to exist. One
such condition states that a shortest path between node 0^n and 1^n
exists if the number of blocking nodes is less than n in an n-dimensional hypercube. We improve this
condition by proposing the condition that if the size of a SDR (system of distinct
representatives) for the blocking nodes is less than n, then a shortest path between
the two nodes 0^n and 1^n
exists. Since the number of blocking nodes can be greater
than or equal to n, while the size of SDR is less than n, thus this result improves the
previous sufficient condition
User Behaviours and Spatial Aspects of Navigating Heritage Tourism Sites with a Digital Interpretive Application
Get PDFTourism in its many forms is one of the largest and continually expanding sectors of global economic development. Tourism spaces often contain stories for visitors to explore. These stories are told using various interpretive approaches and tools to familiarize, educate, and entertain visitors. This is especially evident in heritage tourism, since the variety of sites and the degree of visitor interest associated with this form of tourism is high. Rapid technological innovation and high interest in the use of digital tools for tourism have precipitated this study, which examines how visitors engage with a locative media mobile phone application (GuideTags) in digital interpretive experiences in historic downtown Niagara Falls, Ontario. This research specifically explores the behaviour of visitors using a digital interpretive app at a heritage site who were offered a decision between following a prescribed linear tour route or given the autonomy to choose their own route in the same location. Results suggest that a) emerging digital technologies impact the interpretive experience for users, and b) understanding how visitors choose to engage with these tools provides useful theoretical insights for tourism researchers, and practical insights for tourism operators and businesses when creating digitally mediated tourism experiences
Diophantine Equation in Logarithms
Get PDFThe main work of these pages is written by myself under the supervisor of Dr. Omar Kihel, pertaining to continued fractions and applications , linear form in logarithms and the solutions of Diophantine equation Fn1 + Fn2 + Fn3 + Fn4 = 6a . The initial aim of the paper was to explore the possible solutions of the Diophantine equations in the form of Fn1 +Fn2 +Fn3 +Fn4 = y a . I begin my thesis by establishing some preliminary results and applications. The paper managed to extend the ideas of results of the Diophantine equations Fn1 +Fn2 +Fn3 +Fn4 = 2a and Fn1 +Fn2 +Fn3 +Fn4 = 11a . Mattveev Theorem, Legendre Theorem and a lemma by Dujella-petho are key theorems which we establish the main result. This paper includes the result of Diophantine equation Fn1 +Fn2 +Fn3 +Fn4 = 6a and it may require computations by computers. I will begin by introducing continued fractions, leading to linear forms in logarithms, followed by a section on the necessary preliminaries on Fibonacci numbers which concludes my results of the sum of four Fibonacci numbers. I then move to explore the aforementioned solutions of Fn1 + Fn2 + Fn3 + Fn4 = 6a
“At Breakfast We Heard Whistles Blowing”: Nationalist Sentiment in St. Catharines 1899-1902
Get PDFScholarship on Canadian nationalism in the late nineteenth and early twentieth centuries provides a clear but broad examination of predominant types of nationalist thought in Canada at the outbreak of the Boer War (1899-1902). Nationalism was often influenced by regional considerations, religion, ethnic background, education, and gender. However, existing scholarship neglects the ways that nationalist thought manifested in and shaped everyday life of citizens and communities. This thesis explores the intensity and nature of nationalist sentiment in St. Catharines during a brief window in time—1899 to 1902—as seen through the lens of the local media and contemporary sources such as diaries, veterans’ association records, publications, and civic reports. This material reveals that nationalist sentiment, as articulated on a micro level, was nuanced in its promotion of the city as a small but significant node in a broader imperial nation. In St. Catharines, imperial nationalism manifested in ways that privileged an Anglo, white, Protestant, middle- to upper-class audience who enthusiastically participated in the perpetuation of an imperial view of Canada’s role in the world
Sublimating the Singularity of an Author(ity): Textual Publics, Textual Agency, and a Case Study of "Eikon Basilike" (1649-1660)
Get PDFThis dissertation utilizes a critical post-human theorization of textual agency to demonstrate how, within certain historical circumstances, autobiographical texts are capable of assuming surrogate authorial agency for their ubject-author registers its presence in the Symbolic field through what I call sublimated metaphoric-metonymic essences of the Real. This project employs its theory of the text-agent in a psychoanalytic case study of the regicide of Charles I (1649); the posthumous publication of his book, "Eikon Basilike"; and royalist textual responses to these events during the English Interregnum (1648/9–1660/1). I argue that "Eikon Basilike"—Charles I’s textual agent—was fetishized and sublimated with the king’s singularity, which enabled royalists to transfer his paternal-monarchical authority to the "Eikon." Specifically, the book was able to channel the king’s monarchical power through the Freudian paternal no. The "Eikon" became a Lacanian stain on the English Interregnum literary landscape, and it prompted royalists to combat the parliamentarians as a royalist textual public in response to the regicide. Through lenses of psychoanalysis and trauma theory, I investigate how royalist texts were disrupted by moments of what Mathew Martin (2015) calls traumatic mimesis. These texts exhibit moments of destabilized emotional surplus, which manifested mimetically as textual symptoms in the Symbolic field as their authors attempted to process the loss of the English monarchy. In so doing, royalist texts helped to condition public imagination of the Restoration through their individual contributions to a trans-subjective royalist textual fantasy: the sublimated $ubject-object a of monarchical ideology, "Eikon Basilike.
It’s Time to Recognize Wikipedia as a Health Information Resource
Get PDFEditorial: Patient Education ColumnWith more than 300 language editions, Wikipedia offers accessible health information written in plain language to a wide audience. Having survived more than twenty years, it is broadly considered the “grown-up” of the internet due to its sheer longevity and maturity. Along with evidence that Wikipedia is more reliable than widely believed, it has emerged as the most frequently accessed web site for health information despite a lingering stigma. Grounded in real-life examples of health events, the author reinforces Wikipedia as a tool for public health education. With wider acceptance of Wikipedia as a health information resource, existing opportunities for education, investment, and improvement of the world’s largest encyclopedia can be cultivated
Program constructing lunar tables for ecclesiastical moon
No full textPython program producing lunar tables similar to those found in Martyrologium Romanum. Its main purpose is to determine the age of the eccesiastical moon on a given calendar day, using algorithm given in Martylorogium Romanum and implemented as described in H. Fukś, Antiquitates Mathematicae, Vol 16 (2022) , 259-282
Letter to Messrs. Hamilton & Cummings, Queenston, from Desrivieres, Blackwood & Co., February 11, 1820
Get PDFAlexander Hamilton (1790-1839) was a businessman and office holder in Queenston, Ontario. He was the son of prominent Queenston businessman Robert Hamilton and was involved with the fur trade, served in the War of 1812, and kept peace and order during the Rebellion of 1837-38. Alexander had a lasting impact on the Queenston community and held many public offices including Surrogate Court Judge, Sheriff of Niagara District, and postmaster at Queenston.
Desrivieres, Blackwood & Co. was founded in 1810 by Francois Desrivieres, Thomas Blackwood, and Peter Harkness. The firm was involved in the fur trade.A letter to Messrs. Hamilton & Cummings, Queenston, U.C. from Desrivieres, Blackwood & Co. The letter is one page and is dated at Montreal, February 11, 1820. The letter concerns the account of Messrs. Berthelot & Rolette. The writer apologizes for not writing sooner but waited to see Mr. Berthelot who had been out of town for some time. He adds that there are some inaccuracies in the account and “we annex a note of the whole and have carried the balance, being £87.12.5 Quebec Currency, to the credit of your Mr. Hamilton”. A second page contains a detailed statement of the account in both New York and Quebec currency