1 |
Smooth $*$--AlgebrasPeter.Michor@esi.ac.at 19 June 2001 (has links)
No description available.
|
2 |
Optimal Growth and Impatience: A Phase Diagram AnalysisChang, Fwu-Ranq 10 1900 (has links)
No description available.
|
3 |
Matavfall från matvarubutiker i Umeå : Möjligheter till källsortering och minskat svinnMyhrberg, Helene January 2014 (has links)
Title: Food waste from grocery stores in Umeå- the potential for taking care of and reducing the amount of food waste. Author: Helene Myhrberg Abstract Food waste from grocery stores is an increasing problem in Sweden, and amounts to roughly 67 000 ton per year. This has consequences both for sustainability in general, but also for achieving the targets stipulated by the EU. Given this, it should be relevant for the society that grocery stores both decrease the amount of food waste but also develop better ways of dealing with food waste. Although there exist methods for this, the practicability of such measures are unknown. In this thesis I assess these issues by conducting interviews with owners and employees at five grocery stores in Umeå, asking them how they think about these questions. In particular, I focus on how to take care of and prepare food waste for anaerobic digestion and how to decrease volumes of food waste. In essence, I find that both the knowledge of, and interest in, these issues vary substantially between grocery stores. Further, for these measures to be feasible, it requires the process to be both economically efficient while not requiring too much time of work. With this in mind, it seems necessary to have a facility that can take care of both packed and unpackaged food waste, making it as cheap and simple as possible for the grocery stores. For reducing volumes of waste, most grocery stores agrees on better planning as the way to go. Key words: food waste, grocery stores, anaerobic digestion, decreasing of food waste.
|
4 |
Konstrukce HHO generátoru / Design of HHO generatorGašperec, Michal January 2012 (has links)
The subject of this Master Thesis is construction of hydrogen generator for automotive industry. The objective is to design system which is able to produce required amount of gas. The master thesis includes basic analysis of situation, mathematical equations of electrolytic process and procedure of mechanical design according required power of generator. The next part is design of power control system of hydrogen generator based on informations from automobile. The last part describes power supply of whole system with electric energy. The output of the Master Thesis is the whole design of hydrogen generator including sensor system and control system. The thesis also includes suggestions for next improvements and research.
|
5 |
Confluence properties of rewrite rules by decreasing diagrams / Propriétés de confluence des règles de réécriture par des diagrammes décroissantsLiu, Jiaxiang 10 October 2016 (has links)
Cette thèse étudie la confluence des systèmes de récriture en l'absence de propriété de terminaison, pour des applications aux langages fonctionnels de premier ordre comme MAUDE, ou aux langages d'ordre supérieur comportant des types dépendants, comme Dedukti. Dans le premier cas, les calculs opérant sur des structures de données infinies ne terminent pas. Dans le second, les calculs non typés ne terminent pas à cause de la beta-réduction. Dans le cas où les calculs terminent, la confluence se réduit à celle des pics critiques, divergences minimales du calcul, obtenues à partir d'un terme médian appellé superposition qui se récrit de deux manière différentes en une paire de termes appellée critique. Dans le cas où les calculs ne terminent pas, le résultat majeur est que les calculs définis par des règles linéaires à gauche et sans paires critiques confluent. Il s'agit donc d'étendre ce résultat aux systèmes dont les règles peuvent être non-linéaires à gauche et avoir des paires critiques.L'étude la confluence est faite à partir de la méthode des diagrammes décroissants, qui généralise les techniques utilisées antérieurement aussi bien pour des calculs qui terminent que pour des calculs qui ne terminent pas. Cette technique est abstraite, en ce sens qu'elle s'applique à des relations arbitraires opérant sur un ensemble abstrait. Elle consiste à équipper chaque étape de calcul d'un label pris dans un ensemble bien fondé. Un pic de calcul, composé d'un terme se récrivant de deux manières différentes, possède un diagramme décroissant lorsque ses extémités peuvent se récrire en un terme commun avec des étapes de calcul satisfaisant des conditions de comparaison avec les labels du pic. La force de cette technique est sa complétude, c-a-d que toute relation confluente peut-être équippée d'un système de labels (par des entiers) pour lequel tous ses pics possèdent des diagrammes décroissants. Ce résultat est basé sur un théorème assez ancien de Klop, qui définit pour les systèmes non-terminant, uneespèce de forme normale sous la forme d'une suite infinie de récritures élémentaires, appellée "dérivation cofinale".Dans une première partie, nous révisitons les résultats de van Oostrom, et en proposons une preuve différente dans le but de les généraliser au cas des calculs dits "modulo", c-a-d dans des quotients, qui mèlent des règles et deséquations. Cette généralisation inclue la complétude, en faisant intervenir une généralisation de lanotion de dérivation cofinale dans le cas des calculs cohérents au sens de Jouannaud et Kirchner.La second partie de la thèse applique le théorème de van Oostrom et sa généralisation à des système (concrets) de récriture de termes, ainsi qu'à plusieurs priblèmes ouverts du domaine. L'application récente à des problèmes d'ordre supérieur tirés de la théorie des types dépendants ne fait pas partie de la thèse. / This thesis is devoted to the confluence of rewrite systems in the absence of termination, for applications in first-order functional languages like MAUDE or higher-order languages with dependent types, as Dedukti. In the first case, the computations on infinite data structures do not terminate, while in the second case, untyped computations do not terminate because of beta-reduction. In the case where the computations terminate, confluence is reduced to that of critical peaks, the "minimal diverging computations", made of a minimal middle term called "overlap" which computes in two different ways, resulting in a so-called "critical pair". In the case of non-terminating computations, a main result is that left-linear rewrite rules that have no critical pairs are always confluent. This suggests that the notion of critical pairs plays a key role there too, but a general understanding of the confluence of non-terminating computations in terms of critical pairs is still missing.Our investigation of confluence is based on the decreasing diagrams method due to van Oostrom, which generalizes the techniques used previously for both terminating and non-terminating computations. The method is abstract in the sense that it applies to arbitrary relations on an abstract set. It equips each step of computations with a label taken from a well-founded set. A diverging computation, called peak, has a decreasing diagram if its extremities can be joined by steps whose direction and labels satisfy some constraints with respect to the peak's rewrites and labels. The strength of this technique is its completeness, that is, any confluent relation can be equipped with a well-founded set of labels such that all peaks have decreasing diagrams. The proof of completeness is based on Klop's notion of cofinal derivations, which is an infinite derivation playing the role of a normal form when computations do not terminate.In the first part, we revise the results of van Oostrom, and propose an alternative proof that extends the method to the "modulo" case, in which computations mix rewrite steps and equational steps. The completeness result is extended as well, via a generalization of cofinal derivations and the notion of strong coherence due to Jouannaud and Kirchner.The second part of the thesis applies the decreasing diagrams method and its generalization to concrete systems rewriting terms, as well as to several open problems. The recent application to the problems of higher-order computations in dependent type theory is not part of the thesis.
|
6 |
How Schools Create the Violence They Fear: A Case Study of an Alternative Learning Center, 1999-2001.Goff, Lorrie Anne 01 December 2001 (has links) (PDF)
This research identifies how personnel at an alternative high school for at-risk students helped to create school violence through their policies and interactions with students. Data were collected by surveying the staff and students of the school. Data were also obtained from anonymous written records that the researcher kept as a requirement of her job as School Resource Officer. The researcher found consistent patterns--verified by faculty and student surveys--that the students did not feel respected by their teachers. Teachers experienced limited authority in handling student-teacher conflicts and compensated for their restricted authority through a variety of unfair strategies. Often, students resisted the teachers’ efforts. The teachers’ lack of training on how to deal with resistant teens made these problems worse. The researcher analyzes the dynamics that produced school violence in this setting and concludes with suggestions for teachers and administrators.
|
7 |
Apskaitos politikos formavimo įmonėje tyrimai / The Research of Accounting Policy Formation in a CompanyVaičiulytė-Petrauskienė, Edita 08 June 2009 (has links)
Tyrimo objektas – apskaitos politikos formavimas įmonėje. Darbo tikslas – nustačius veiksnius, sąlygojančius apskaitos politikos pasirinkimą, sudaryti apskaitos politikos pasirinkimo pelno atžvilgiu modelį ir patikrinti jo tinkamumą Lietuvos įmonėse. Uždaviniai: 1) nustatyti pelną didinančios/mažinančios apskaitos politikos pasirinkimą sąlygojančius veiksnius; 2) išskirti ir nustatyti pelną didinančius ir pelną mažinančius apskaitos metodus, kuriuos pasirinkdamos įmonės formuoja savo apskaitos politiką; 3) sudaryti apskaitos politikos pasirinkimo pelno atžvilgiu modelį ir patikrinti jo tinkamumą Lietuvoje veikiančiose įmonėse; 4) patikrinti hipotezes, kurių priėmimas ar atmetimas gali parodyti teigiamą ar neigiamą ryšį tarp įmonės rodiklių ir pelną didinančių/mažinančių apskaitos metodų ir būdų pasirinkimo. Tyrimo metodai – mokslinės ir teisinės literatūros analizė ir sintezė, palyginimo, apibendrinimo, loginis ir grafinis modeliavimas. Išanalizavus lietuvių ir užsienio autorių darbus bei apskaitą reglamentuojančius norminius aktus, sudarytas apskaitos politikos pasirinkimo pelno atžvilgiu modelis, kuriame atsispindi ryšys tarp veiksnių, sąlygojančių apskaitos politikos pasirinkimą, ir apskaitos metodų, kurie lemia pelną didinančios/mažinančios apskaitos politikos formavimą įmonėje. Sudaryto modelio tinkamumas buvo tikrinamas Lietuvos įmonėse. / The object of the research is accounting policy formation in a company. The aim of the research is when the factors which influence the choice of accounting policy will be identified, prepare theoretical model of accounting policy choice in point of income and test this model in Lithuanian companies. Objectives: 1) To assign factors influencing income increasing/decreasing accounting policy choice. 2) To except and assign income increasing and income decreasing accounting methods, with this selection a company can form it’s accounting policy. 3) To make a model of accounting policy choice in point of income, and check how this model fit in Lithuanian companies. 4) To test hypotheses, which can show negative or positive relationship between factors, influencing accounting policy choice, and income increasing/decreasing accounting methods choice? The research methods include science and legislation literature analysis and synthesis, comparison, generalization, logical and graphical modeling. After analysis of Lithuanian and foreign literature and regulation of accounting policy, was made accounting policy choice in point of income model, which shows the connection between factors influencing accounting policy choice and accounting methods, which determine income increasing/decreasing accounting policy formation in a company. This model’s possibilities of adaptation were verified in Lithuanian companies.
|
8 |
Health Education to Decrease Obesity in Adolescents with AsthmaThomas, Mitzie Eumarie 01 January 2015 (has links)
Obesity increases asthma severity and is costing the health care industry a significant amount of money. Decreasing adolescents' obesity will decrease the risk for chronic health problems, which can have a significant impact in adulthood. Implementing a school-based health education program can decrease the prevalence of obesity amongst adolescents. This program will be implemented by school nurses in the after-school program at Public School 59 (P.S) in New York City. The purpose of this project is to develop adolescents' school-based obesity prevention policies and documentation which will focus on increasing their nutrition education, increasing physical activities, and providing skills to maintain behavior changes. The goal of this program is to decrease the incidence of obesity among adolescents and reduce the economic cost associated with obesity. The program was planned to use the trans-theoretical model to assess adolescents' readiness for behavior changes. The logic model tool will be used to evaluate relationship between resources and the activities for health education program. Adolescents' height and body weight will be measured and BMI will be assessed using Centers for Disease Prevention Control Pediatric Growth Chart. A posttest will be given after the 14 weeks to assess adolescents' knowledge about nutrition and increase physical activity. Adolescents will also be asked to discuss the skills they developed to maintain these behavior changes. School nurses will review formative evaluations and will provide information for stakeholders. Implementation of the structured nutrition education and increase physical education program is hypothesized to decrease obesity amongst adolescents.
|
9 |
Three essays on fair division and decision making under uncertaintyXue, Jingyi 16 September 2013 (has links)
The first chapter is based on a paper with Jin Li in fair division. It was recently discovered that on the domain of Leontief preferences, Hurwicz (1972)'s classic impossibility result does not hold; that is, one can find efficient, strategy-proof and individually rational rules to divide resources among agents. Here we consider the problem of dividing l divisible goods among n agents with the generalized Leontief preferences. We propose and characterize the class of generalized egalitarian rules which satisfy efficiency, group strategy-proofness, anonymity, resource monotonicity, population monotonicity, envy-freeness and consistency. On the Leontief domain, our rules generalize the egalitarian-equivalent rules with reference bundles. We also extend our rules to agent-specific and endowment-specific egalitarian rules. The former is a larger class of rules satisfying all the previous properties except anonymity and envy-freeness. The latter is a class of efficient, group strategy-proof, anonymous and individually rational rules when the resources are assumed to be privately owned.
The second and third chapters are based on two working papers of mine in decision making under uncertainty. In the second chapter, I study the wealth effect under uncertainty --- how the wealth level impacts a decision maker's degree of uncertainty aversion. I axiomatize a class of preferences displaying decreasing absolute uncertainty aversion, which allows a decision maker to be more willing to take uncertainty-bearing behavior when he becomes wealthier. Three equivalent preference representations are obtained. The first is a variation on the constraint criterion of Hansen and Sargent (2001). The other two respectively generalize Gilboa and Schmeidler (1989)'s maxmin criterion and Maccheroni, Marinacci and Rustichini (2006)'s variational representation. This class, when restricted to preferences exhibiting constant absolute uncertainty aversion, is exactly Maccheroni, Marinacci and Rustichini (2006)'s ariational preferences. Thus, the results further enable us to establish relationships among the representations for several important classes within variational preferences.
The three representations provide different decision rules to rationalize the same class of preferences. The three decision rules correspond to three ways which are proposed in the literature to identify a decision maker's perception about uncertainty and his attitude toward uncertainty. However, I give examples to show that these identifications conflict with each other. It means that there is much freedom in eliciting two unobservable and subjective factors, one's perception about and attitude toward uncertainty, from only his choice behavior. This exactly motivates the work in Chapter 3.
In the third chapter, I introduce confidence orders in addition to preference orders. Axioms are imposed on both orders to reveal a decision maker's perception about uncertainty and to characterize the following decision rule. A decision maker evaluates an act based on his aspiration and his confidence in this aspiration. Each act corresponds to a trade-off line between the two criteria: The more he aspires, the less his confidence in achieving the aspiration level. The decision maker ranks an act by the optimal combination of aspiration and confidence on its trade-off line according to an aggregating preference of his over the two-criterion plane. The aggregating preference indicates his uncertainty attitude, while his perception about uncertainty is summarized by a generalized second-order belief over the prior space, and this belief is revealed by his confidence order.
|
10 |
Socialinės atskirties mažinimo galimybės per etikos pamokas / Methods of Decreasing Social Isolation in the Lessons of EthicsTomaševska, Kristina 23 June 2006 (has links)
Decreased number of family mumbers, psychological aspects, distinct differences among social classes, rapid growth of modern information technologies has changed our ways of communication and forms of keeping in touch with the world. Social isolation is increasing rapidly, but the need of depend to sociaty, to be a part of community are still vital. Needless to say that the problem of social isolation is actually must be taken in mind.
The aim of the sudy „Social isolation in the lessons of ethics“ is to disclose the problem of social isolation and to examine possibilities to diminish it in the secondary school (8- 10 form) in lessons of ethics. In order to achieve the goal describtion of social isolation is given, reasons and distinctive features are revealed. Moreover, educational strategy of Lithuania and other documents are analized.
The most significant part of the study is a practical research. It was impelled by the aim to find ways of diminishing social isolation in the secondary school. It is important to research the lessons of ethics as a tool of solving the increasing problem of isolation. Therefore, questionairing and document content analysis have been performed. The research methods helped to achieve the aim of the study. Schoolchildren of 8-10th forms were chosen for the specific age and complex of developed characteristics. The methods of teaching as tools of encouraging groupwork are emphasised in the study. Social skills, collaborating and contributing to... [to full text]
|
Page generated in 0.0745 seconds