Search
Skip to Search Results- 42Coletti, Sharon
- 42InspirEd Educators
- 9Permafrost Environmental Consulting Inc.
- 9White, Thomas Leslie
- 7Pelletier, Francis J.
- 6Rockwell, Geoffrey
- 51University of Alberta Libraries Licensed Resources
- 42University of Alberta Libraries Licensed Resources/InspirEd EZ-Robotics
- 28Philosophy, Department of
- 28Philosophy, Department of/Book Chapters (Philosophy)
- 15University of Alberta Library
- 15University of Alberta Library/Libraries Staff Publications
-
2020-06-01
The first sequent calculus, LK is the example after which many other calculi have been fashioned. We describe this calculus, prove its equivalence to the axiom system K, and provide a sound and complete interpretation too. A major part of Section 2.3 is a presentation of the proof of the cut...
-
2019
Birchall, S. Jeff, MacDonald, Seghan
Climate change is defined by the Intergovernmental Panel on Climate Change (IPCC) as an observable change in the state of the climate taking place over an extended period of time that may be caused by natural processes (i.e., volcanic eruptions) or external forces (i.e., anthropogenic changes to...
-
Climate change planning: Understanding policy frameworks and financial mechanisms for disaster relief
Download2019
Down, Chris, Birchall, S. Jeff
Climate Change has been broadly defined by the Intergovernmental Panel on Climate Change (IPCC) as “any change in climate over time, whether due to natural variability or as a result of human activity” (IPCC 2014). Consistent with this definition, the United Nations Framework Convention on...
-
Community planning opportunities: Building resilience to climate variability using coastal naturalisation
Download2019
Heang, Cellina, Birchall, S. Jeff
Community planning is the process of solving problems, making improvements, or advancing a community in any way, shape, or form using plans, policies, and structures. This process can lead to progressive improvements in a community’s physical, social, and ecological contexts. The task of...
-
Comparative genomics for evolutionary cell biology using AMOEBAE: Understanding the Golgi and beyond
Download2022-05-06
Barlow, Lael D., Maciejowski, William, More, Kiran, Terry, Kara, Vargová, Romana, Záhonová, Kristína, Dacks, Joel B.
Taking an evolutionary approach to cell biology can yield important new information about how the cell works and how it evolved to do so. This is true of the Golgi apparatus, as it is of all systems within the cell. Comparative genomics is one of the crucial first steps to this line of research,...
-
2007
Pelletier, Francis J., Pagin, Peter
Introduction: It is traditional, at least since Grice, to make a distinction between what is called the literal meaning of an utterance and what is meant by that utterance. The former notion is sometimes thought of as ‘‘the dictionary meanings of words plus standard semantic effects of the...
-
2013
Because of ‘arguments from the infinity of language’, compositionality is often seen as a ‘non-negotiable’ feature of any theory of the semantics of natural language. But there are a number of features of ‘ordinary language discourse’ that make it seem that compositionality is not true of natural...
-
2016
This chapter describes a visualization of the main elements in play when we search for information. The chapter describes how this visualization can be used to start classroom conversations around how social, political, and economic systems influence how people create, organize, find, and gain...
-
2012-01-01
The phrase “Web 2.0” is supposed to have been coined at a conference brainstorming session about the new types of websites emerging after the dot.com collapse.1 Web 2.0 sites, like the Wikipedia and Flickr, are often characterized by broad participation in content creation. They leverage the web...