Full Text Available
Access Full Text at Repository
Search Results - Task location
- Go to Previous Page
- Showing 161 - 162 results of 162
-
An agent-based model for fuel and CO2 emission costs in multi-modal last-mile logistics by Huskisson, Dominic
Published 2025Get full text
ThesisFull Text AvailableAccess Full Text at Repository
Search Tools:
Refine Results
Page will reload when a filter is selected or excluded.- "In this work, three models are used to analyze the electric load capacity of a fast growing urban city and to estimate its future consumption. Ikorodu, the case-study location is a highly populated city whose energy demand is continuously increasing. The ultimate focus of this study is to establish a basis for the comparison of different electric load consumption for the existing populace and to provide estimates for the future planning of the city. In this work, three different models have been used to present more accurate load predictions and to enhance proper comparison of results. Among numerous mathematical and scientific models that are applicable to this kind of task, the compound-growth method, the linear model approach and the cubic model have been chosen to enhance diversity in load analysis. The futuristic scheme to be harnessed will fall within the ranges of values obtained from the three different models used in forecasting. This paper concludes with issues pertaining to economics of load utilization as it affects substantive planning. " 1 results 1
- "Purpose: This randomized controlled trial compared the outcomes of physiotherapy intervention on selected indices of recovery for stroke survivors treated at a primary health centre group (PHCG) with those treated in their respective places of domicile group (DG). Methods: Participants were 52 individuals comprising 24 males and 28 females who had suffered a stroke and were recently discharged from two inpatient health facilities in Ibadan, Nigeria. They were randomly assigned into either the PHCG (n=25) or DG (n = 27) and treated twice weekly for 10 consecutive weeks using a physiotherapy intervention protocol comprising a battery of task- specific exercises. The outcomes measured were motor function, balance and handicap assessed using the modified motor assessment scale (MMAS), short-form postural assessment scale for stroke (SF-PASS) and reintegration to normal living index (RNLI), respectively, as well as walking speed which was assessed using a standard technique. Results: Between-group comparison using the General Linear Model revealed no statistically significant difference in both the pre- and post-intervention scores of the two groups on the MMAS, SF-PASS, RNLI and walking speed in both PHCG and DG (p>0.05). However, within-group comparison yielded a statistically significant difference in each of the indices of stroke recovery measured across the 10-week period in both groups. Conclusion: Physiotherapy intervention at the primary health care centre and respective homes of stroke survivors similarly improved clinical outcomes. Treatment at any of these locations may enhance access to physiotherapy after stroke in a low- income community like Nigeria. " 1 results 1
- Accessibility of ICTs in the libraries 1 results 1
- Availability of ICT 1 results 1
- Cerebrovascular disease 1 results 1
- In this work, three models are used to analyze the electric load capacity of a fast growing urban city and to estimate its future consumption. Ikorodu, the case-study location is a highly populated city whose energy demand is continuously increasing. The ultimate focus of this study is to establish a basis for the comparison of different electric load consumption for the existing populace and to provide estimates for the future planning of the city. In this work, three different models have been used to present more accurate load predictions and to enhance proper comparison of results. Among numerous mathematical and scientific models that are applicable to this kind of task, the compound-growth method, the linear model approach and the cubic model have been chosen to enhance diversity in load analysis. The futuristic scheme to be harnessed will fall within the ranges of values obtained from the three different models used in forecasting. This paper concludes with issues pertaining to economics of load utilization as it affects substantive planning. 1 results 1
- Information and Communication Technologies (ICTs) facilitate access to electronic information which has become invaluable in complementing traditional library resources. The objective of this study was to determine location, accessibility and use of ICTs by undergraduates. Three universities were purposively selected and undergraduates from four faculties were randomly selected. Questionnaire, interview and observation were the data collection methods used. A total of 700 respondents were used for the study while cross tabulation and percentages were the data analysis methods. ICTs were used in university libraries, computer laboratories and cybercafes on the campuses and it was found that not all the ICTs available were accessible to undergraduates in the. university’ libraries. The academic tasks for which ICTs were used were assignments, class work, projects, seminar and term papers. University libraries still need to provide more ICTs for students’ use. This could be achieved through encouraging the intervention of private initiatives as this could in turn promote more use of ICTs. 1 results 1
- Possible world semantics 1 results 1
- Quantified modal logic 1 results 1
- Spatial qualification model 1 results 1
- Spatial qualification problem, an aspect of spatial reasoning, is concerned with the impossibility of knowing an agent‟s presence at a specific location and time. An agent‟s location determines its ability to carry out an action given its known spatial antecedents. There are sparse works on the formalisation of this problem. Qualitative reasoning approach is the most widely used approach for spatial reasoning due to its ability to reason with incomplete knowledge or reduced data set. This approach has been applied to spatial concepts, such as, shapes, sizes, distance and orientation but not spatial qualification. Therefore, this work was aimed at formalising a logical theory for reasoning about the spatial qualification of an agent to carry out an action based on prior knowledge using qualitative reasoning approach. The notions of persistence, discretisation and commutative distance coverage were used as parameters in formalising the concept of spatial qualification. The axioms and derivation rules for the theory were formally represented using quantified modal logic. The formalised theory was compared with standardised systems of axioms: S4 (containing Kripke‟s minimal system K, axioms T and 4) and S5 (containing K,T,4 and axiom B). The characteristics of the domain of the formalised theory were compared with Barcan‟s axioms, and its semantics were described using Kripke‟s Possible World Semantics (PWS) with constant domain across worlds. A proof system for reasoning with the formalised theory was developed using analytical tableau method. The theory was applied to an agent‟s local distribution planning task with set deadline. Cases with known departure time and routes were considered to determine the possibility of an agent‟s presence at a location. From the formalisation, a body of axioms named Spatial Qualification Model (SQM) was obtained. The axioms showed the presence log and reachability of locations as determinants for agent‟s spatial presence. The properties exhibited by the formalised UNIVERSITY OF IBADAN LIBRARY xvii model when examined in light of S4 and S5 systems of axioms were KP1, KP2 (equivalent to axiom K), TP and 4P (equivalent to axioms T and 4 respectively) in an S4 system. The SQM therefore demonstrated the characteristics of an S4 system of axioms but fell short of being an S5 system. Barcan‟s axiom held, confirming constant domain across possible worlds in the formalised model. Explicating the axioms in the SQM using PWS enabled the understanding of tableau proof rules. Through closed tableaux, the SQM was demonstrably semi-decidable in the sense that the possibility of an agent‟s presence at a certain location and time was only provable in the affirmative, while its negation was not. Depending on the route, the application of SQM to the product distribution planning domain resulted in agent‟s feasible availability times, within or outside the set deadline to assess the agent‟s spatial qualification in agreement with possible cases in the planning task. The spatial qualification model specified the spatial presence log and reachability axioms required for reasoning about an agent‟s spatial presence. The model successfully assessed plans of product distribution task from one location to the other for vans‟ availability. Keywords: Spatial qualification model, Quantified modal logic, Tableau proof, Possible world semantics. Word count: 497 1 results 1
- Tableau proof 1 results 1
- This paper examined information literacy as catalyst to transforming the information society. The required information literacy skills- task, definition, inofmration seeking strategies, location and access, use of inofmration, synthesis, and evaluation (TILUSE) are discussed. Information literacy skills training at the university of Ibadan library, Nigeria is discussed. 1 results 1
- Use of ICT 1 results 1
- community reintegration 1 results 1
- motor function 1 results 1
- physiotherapy 1 results 1
- stroke History 1 results 1
- see all…
- UCTD — University of Cape Town Open Access Repository 71 results 71
- SUNScholar — Stellenbosch University Repository 44 results 44
- UPSpace — University of Pretoria Institutional Repository 34 results 34
- AUC Knowledge Fountain — bepress 6 results 6
- KNUSTSpace — Kwame Nkrumah University of Science & Technology (Ghana) 1 results 1