Ce travail présente une analyse cognitive sur les rapports entre argumentation et démonstration. L'hypothèse de départ est que la recherche en didactique sur la démonstration a besoin, pour progresser, de comprendre la nature et la complexité de cette notion en la replaçant dans le référentiel de l'activité rationnelle de l'élève : comment il décide, fait des choix, valide. Nous commençons par proposer une caractérisation de l'argumentation et de la démonstration en mathématiques. Les théories linguistiques contemporaines nous permettent d'avancer l'hypothèse que la démonstration est une argumentation particulière et nous a conduits à proposer le modèle de Toulmin comme outil méthodologique pour leur comparaison. Cette comparaison est faite selon deux points de vue : la structure, et le système de référence. D'une part, une analyse structurelle de l'argumentation et de la démonstration permet de rendre compte de certaines continuités ou écarts nécessaires pour passer d'une argumentation à une démonstration (d'une argumentation abductive à une démonstration déductive, d'une argumentation inductive à une démonstration par récurrence, etc.). D'autre part, il est possible, au moyen de ce modèle, de prendre en compte les énoncés mobilisés par les élèves pendant l'argumentation pour les comparer avec les théorèmes utilisés pendant la démonstration. La continuité ou l'écart du système de référence, conception ou théorie, s'appuie sur cette comparaison. Nous avons mis en place un dispositif expérimental afin de montrer comment analyser les productions des élèves avec le modèle de Toulmin, et afin d'éclairer et de comprendre les rapports cognitifs entre argumentation et démonstration. Nous avons proposé trois problèmes de géométrie demandant la construction d'une conjecture (pour la production d'une argumentation) et la construction d'une démonstration. Les résultats obtenus permettent de proposer une analyse cognitive de l'argumentation et de la démonstration à partir de l'analyse structurelle et celle du système de référence.

We consider the concept of local sets of inference rules. Locality is a syntactic condition on rule sets which guarantees that the inference relation defined by those rules is polynomial time decidable. Unfortunately, determining whether a given rule set is local can be difficult. In this paper we define inductive locality, a strengthening of locality. We also give a procedure which can automatically recognize the locality of any inductively local rule set. Inductive locality seems to be more useful that the earlier concept of strong locality. We show that locality, as a property of rule sets, is undecidable in general.

Much research has been conducted in the past 25 years related to the teaching and learning of proof in Euclidean geometry. However, very little research has been done focused on preservice secondary school mathematics teachers’ notions of proof in Euclidean geometry. Thus, this qualitative study was exploratory in nature, consisting of four case studies focused on identifying preservice secondary school mathematics teachers’ current notions of proof in Euclidean geometry, a starting point for improving the teaching and learning of proof in Euclidean geometry. The unit of analysis (i.e., participant) in each case study was a preservice mathematics teacher. The case studies were parallel as each participant was presented with the same Euclidean geometry content in independent interview sessions. The content consisted of six Euclidean geometry statements and a Euclidean geometry problem appropriate for a secondary school Euclidean geometry course. For five of the six Euclidean geometry statements, three justifications for each statement were presented for discussion. For the sixth Euclidean geometry statement and the Euclidean geometry problem, participants constructed justifications for discussion. A case record for each case study was constructed from an analysis of data generated from interview sessions, including anecdotal notes from the playback of the recorded interviews, the review of the interview transcripts, document analyses of both previous geometry course documents and any documents generated by participants via assigned Euclidean geometry tasks, and participant emails. After the four case records were completed, a cross-case analysis was conducted to identify themes that traverse the individual cases. From the analyses, participants’ current notions of proof in Euclidean geometry were somewhat diverse, yet suggested that an integration of justifications consisting of empirical and deductive evidence for Euclidean geometry statements could improve both the teaching and learning of Euclidean geometry.

As the globalization of companies increases day by day, the need for a clear and comprehensible legislation to overcome the problems with transfer pricing transactions increases as well. Incorrect pricing in transfer pricing situations between companies with close economic ties to each other makes countries risk parts of their taxation income. Swedish legislation uses the internationally accepted arm’s length principle to regulate the transfer pricing transactions. Through the correction rule, the rule is upheld that the pricing between two companies with close economic ties to each other must apply to the same conditions as it would have been if it was between two companies without close economic ties to each other. To ensure that enough material is provided to base the assumption whether or not the correction rule has been followed or not, Swedish legislation provides a number of paragraphs to regulate the matter. The legislation is spread all over and is hard to interpret. The question rises whether this is against the rule of legal certainty or not. The taxation authority has provided a proposition on new legislation with tougher documentation requirements where it also wants to give itself part of the power by through directions exactly define what the documentation shall include. Yet again the question is raised whether or not this is against the rule of legal certainty or not. / I takt med att globaliseringen av företag ökar, ökar också behovet av en klar och tydlig lagstiftning för att överkomma problemen med internprissättningstransaktioner. Vid oriktig prissättning vid transaktioner mellan företag i ekonomisk intressegemen-skap riskerar länder att gå miste om delar av sin skattebas. Svensk lagstiftning använder sig av den internationellt accepterade armlängdsprincipen för att reglera internprissättningstransaktioner. Genom korrigeringsregeln regleras att prissättningen mellan två företag i ekonomisk intressegemenskap måste ske under samma förutsättningar som skulle ha gällt mellan två företag utan ekonomisk intressegemenskap. För att få underlag till huruvida korrigeringsregeln har följts eller inte finns ett antal lagrum i svensk rätt som reglerar dokumentationskrav. Denna lagstiftning är spridd och anses vara svårtolkad. Frågan uppstår om detta strider mot rättsäkerheten. Skatteverket har kommit med ett förslag på ny lagstiftning med skärpta dokumentationskrav där man dessutom vill ge sig själv delar av makten att genom föreskrifter exakt bestämma vad dokumentationen skall innehålla. Återigen väcks frågan om det-ta är förenligt med rättssäkerheten.

In this thesis we explore a number of ways in which combinatorial games can be used to help prove results in the area of propositional proof complexity. The results in this thesis can be divided into two sets, the first being dedicated to the study of Resolution space (memory) requirements, whereas the second is centered on formalizing the notion of `dangerous' reductions. The first group of results investigate Resolution space measures by asking questions of the form, `Given a formula F and integer k, does F have a [Type of Resolution] proof with [Type of Resource] at most k?'. We refer to this as a proof complexity resource problem, and provide comprehensive results for several forms of Resolution as well as various resources. These results include the PSPACE-Completeness of Tree Resolution clause space (and the Prover/Delayer game), the PSPACE-Completeness of Input Resolution derivation total space, and the PSPACE-Hardness of Resolution variable space. This research has theoretical as well as practical motivations: Proof complexity research has focused on the size of proofs, and Resolution space requirements are an interesting new theoretical area of study. In more practical terms, the Resolution proof system forms the underpinnings of all modern SAT-solving algorithms, including clause learning. In practice, the limiting factor on these algorithms is memory space, so there is a strong motivation for better understanding it as a resource. With the second group of results in this thesis we investigate and formalize what it means for a reduction to be `dangerous'. The area of SAT-solving necessarily employs reductions in order to translate from other domains to SAT, where the power of highly-optimized algorithms can be brought to bear. Researchers have empirically observed that it is unfortunately possible for reductions to map easy instances from the input domain to hard SAT instances. We develop a non-Hamiltonicity proof system and combine it with additional results concerning the Prover/Delayer game from the first part of this thesis as well as proof complexity results for intuitionistic logic in order to provide the first formal examples of harmful and beneficial reductions, ultimately leading to the development of a framework for studying and comparing translations from one language to another.

In this thesis we explore a number of ways in which combinatorial games can be used to help prove results in the area of propositional proof complexity. The results in this thesis can be divided into two sets, the first being dedicated to the study of Resolution space (memory) requirements, whereas the second is centered on formalizing the notion of `dangerous' reductions. The first group of results investigate Resolution space measures by asking questions of the form, `Given a formula F and integer k, does F have a [Type of Resolution] proof with [Type of Resource] at most k?'. We refer to this as a proof complexity resource problem, and provide comprehensive results for several forms of Resolution as well as various resources. These results include the PSPACE-Completeness of Tree Resolution clause space (and the Prover/Delayer game), the PSPACE-Completeness of Input Resolution derivation total space, and the PSPACE-Hardness of Resolution variable space. This research has theoretical as well as practical motivations: Proof complexity research has focused on the size of proofs, and Resolution space requirements are an interesting new theoretical area of study. In more practical terms, the Resolution proof system forms the underpinnings of all modern SAT-solving algorithms, including clause learning. In practice, the limiting factor on these algorithms is memory space, so there is a strong motivation for better understanding it as a resource. With the second group of results in this thesis we investigate and formalize what it means for a reduction to be `dangerous'. The area of SAT-solving necessarily employs reductions in order to translate from other domains to SAT, where the power of highly-optimized algorithms can be brought to bear. Researchers have empirically observed that it is unfortunately possible for reductions to map easy instances from the input domain to hard SAT instances. We develop a non-Hamiltonicity proof system and combine it with additional results concerning the Prover/Delayer game from the first part of this thesis as well as proof complexity results for intuitionistic logic in order to provide the first formal examples of harmful and beneficial reductions, ultimately leading to the development of a framework for studying and comparing translations from one language to another.

This Degree Project is carried through in association with Fototext in Guthenburg. The firmsees benefits using”Soft Proof” technology for both economic and time-saving. The reasonfor ”Soft Proofing” for internal/ external production is to estimate and controll documentswithout using digital or chemical printing output.The different technical solutions to ”Soft Proof”, knowledges and facts aboutColorManagement together with PDF-workflow is going to pattern for a correct succesfull”Soft Proofing” on the monitor.Acrobat 5 in association with Photoshop 6 are effectively used in ”Soft Proofing” technic.The advance and capacity of the graphical softwares which are explained in this reporthelps the users to begin to experiment with ”Soft Proof”. Graphical firms which are interestedto begin working with ”Soft Proof” need to allready have knowledge in ICC-profilingand a practical ColorManaged workflow.

This paper advances a decision theoretical foundation for pricing scripts by means of a simple model of product differentiation implementing the undercut-proof equilibrium concept. We argue that while sociological factors play undoubtedly an important role, economic analysis can complement the insights from economic sociology on pricing in the primary art market. Our model analyzes the effects of the gallery's and the artist's reputation on the price the gallery charges. The results suggest that prices positively correlate with an artist's reputation and negatively correlate with a gallery's reputation. The model may therefore explain the results of recent empirical studies that have led to similar results. (author's abstract) / Series: Department of Economics Working Paper Series

In recent years, the trend toward globalization has given rise to rigorous competition for market shares. Businesses have faced the stern demand to swiftly respond to changes in market conditions. They must keep up with environmental situations inside and outside industry, fully integrate various resources of the enterprise, and ponder how to effectively use business resources. Therefore, ERP (enterprise resource planning) systems that integrate the internal value chains of enterprise have received special attention. It is an undisputed fact that an ERP system can integrate internal resources of an enterprise to create for it an overall advantage, improve the flow and elevate the response effectiveness of the enterprise, upgrade information system, and respond to customers¡¦ satisfaction of supply chain management. However, the universal ERP system that is adopted by most enterprises is either costly or difficult to maintain. Moreover, the universal ERP system usually fails to consider special needs of different industries. Therefore, how to ensure a rapid, saving, and effective success through the implementation of ERP systems constitutes the largest challenge faced by enterprises that use such systems. In view of this, this study investigated, from the perspective of ERP supply chain effectiveness of the ¡§differentiation focus strategy¡¨ and the ¡§bowling pin model strategy,¡¨ the impact of the adoption of industry-specific ERP systems on ERP software manufacturers and enterprises that have introduced such a system. Besides, the study used case study approach to conduct a field survey of ERP software manufacturers that have implemented industry-specific ERP system strategy and of four textile and PCB manufacturers that have introduced industry-specific ERP systems with a view to understanding operating models in which industry-specific ERP systems have been successfully introduced and implemented. Through the analysis of this study, it was found that: (1)ERP information manufacturers that adopt industry-specific ERP strategy locating conform to Michael E. Porter¡¦s competitive strategy and differentiation focus strategy, and at the same time verify the bowling pin model theory of Geoffrey A. Moor that technology adopts life cycle. Information manufacturers can enjoy vertical profit-base market advantages of industry-specific ERP and thus avoid competition within industry. As they focus on their specialized field, they not only can strengthen ERP¡¦s professional system functions but also can elevate their effectiveness in follow-up service and maintenance, leading to the reduction of operating costs. From cases of ERP software manufacturers, it was also found that, in areas that special industries cluster, the value of industry-specific ERP in such markets is enlarged. (2)From the perspective of developing industry-specific ERP, after a preliminary development method is used to direct a user to put up concrete industrial characteristic demands and flow, more friendly and suitable operating systems are specified. After being examined and used by a second user, systems are re-examined, revised, and strengthened. After being introduced by a third user and verified and implemented, such systems can become mature, standard industry-specific ERP package systems. (3)From the perspective of enterprise users, adopting the proof of concept method is more practical, accurate, and promising in selecting and evaluating suitable, correct ERP systems. This method can help estimate the outcome after introduction and make it easier to evaluate benefits, for example, keeping project flow schedule and costs under control, implementation and simulation of new enterprise flow schedule. (4)Each industry has professional knowledge and characteristics specific to it. For example, in the case of PCB industry, use rate of base plate material and design and management of engineering data are core professional knowledge of lumber industry. In the case of textile industry, analysis of fabrics, management of characteristics of semi-finished fabrics, integration and automation of process are critical functions essential to competitiveness of this industry. A universal ERP system cannot take care of unique characteristics of various industries. Therefore, only an industry-specific ERP that is specialized in and designed to meet characteristics of a concerned industry can perfectly satisfy the core professional operation of the industry. (5)Because industry-specific ERP systems set the best model of business flow and are concise and suitable, they produce more rapid effectiveness, less impact on organization adjustment, and require smaller investments after being introduced into a business. In view of the preceding findings, the study concluded that the adoption of industry-specific ERP can solidly, effectively, and accurately achieve purposes of ERP systems and can ensure the achievement of potential benefits. At the same time, information manufacturers can obtain vertical profit-base market, enlarging the effect of overall supply value chains.

<p>As the globalization of companies increases day by day, the need for a clear and comprehensible legislation to overcome the problems with transfer pricing transactions increases as well. Incorrect pricing in transfer pricing situations between companies with close economic ties to each other makes countries risk parts of their taxation income.</p><p>Swedish legislation uses the internationally accepted arm’s length principle to regulate the transfer pricing transactions. Through the correction rule, the rule is upheld that the pricing between two companies with close economic ties to each other must apply to the same conditions as it would have been if it was between two companies without close economic ties to each other.</p><p>To ensure that enough material is provided to base the assumption whether or not the correction rule has been followed or not, Swedish legislation provides a number of paragraphs to regulate the matter. The legislation is spread all over and is hard to interpret. The question rises whether this is against the rule of legal certainty or not.</p><p>The taxation authority has provided a proposition on new legislation with tougher documentation requirements where it also wants to give itself part of the power by through directions exactly define what the documentation shall include. Yet again the question is raised whether or not this is against the rule of legal certainty or not.</p> / <p>I takt med att globaliseringen av företag ökar, ökar också behovet av en klar och tydlig lagstiftning för att överkomma problemen med internprissättningstransaktioner. Vid oriktig prissättning vid transaktioner mellan företag i ekonomisk intressegemen-skap riskerar länder att gå miste om delar av sin skattebas.</p><p>Svensk lagstiftning använder sig av den internationellt accepterade armlängdsprincipen för att reglera internprissättningstransaktioner. Genom korrigeringsregeln regleras att prissättningen mellan två företag i ekonomisk intressegemenskap måste ske under samma förutsättningar som skulle ha gällt mellan två företag utan ekonomisk intressegemenskap.</p><p>För att få underlag till huruvida korrigeringsregeln har följts eller inte finns ett antal lagrum i svensk rätt som reglerar dokumentationskrav. Denna lagstiftning är spridd och anses vara svårtolkad. Frågan uppstår om detta strider mot rättsäkerheten.</p><p>Skatteverket har kommit med ett förslag på ny lagstiftning med skärpta dokumentationskrav där man dessutom vill ge sig själv delar av makten att genom föreskrifter exakt bestämma vad dokumentationen skall innehålla. Återigen väcks frågan om det-ta är förenligt med rättssäkerheten.</p>