1,189 research outputs found
Homalg: A meta-package for homological algebra
The central notion of this work is that of a functor between categories of
finitely presented modules over so-called computable rings, i.e. rings R where
one can algorithmically solve inhomogeneous linear equations with coefficients
in R. The paper describes a way allowing one to realize such functors, e.g.
Hom, tensor product, Ext, Tor, as a mathematical object in a computer algebra
system. Once this is achieved, one can compose and derive functors and even
iterate this process without the need of any specific knowledge of these
functors. These ideas are realized in the ring independent package homalg. It
is designed to extend any computer algebra software implementing the
arithmetics of a computable ring R, as soon as the latter contains algorithms
to solve inhomogeneous linear equations with coefficients in R. Beside
explaining how this suffices, the paper describes the nature of the extensions
provided by homalg.Comment: clarified some points, added references and more interesting example
Understanding social-psychological determinants and effects of collaborative consumption
This doctoral thesis aims to define collaborative consumption and advance the understanding of its social-psychological determinants and effects.
In order to achieve these aims, the thesis presents three studies, each of which has been accepted at scientific conferences and developed further based on feedback from experts and reviewers. Two of the studies have been published in peer-reviewed journals.
The introduction provides an overview of collaborative consumption as a comparably sustainable consumption practice. Moreover, three research deficits are identified that are the motivation for the subsequent studies. First, it is shown that the basic idea and the scope of collaborative consumption remain unclear. Second, it is found that understanding of determinants is limited to isolated variables leaving relative strengths of and interdependencies between variables untapped
Finally, it is assessed that actual effects of collaborative consumption on consumers mindsets are not well understood.
The first study titled Prototypical collaborative consumption behaviors and their relations: A conceptual review and empirical study examines consumer behaviors that are comprised by the term collaborative consumption and the relations between these behaviors. In order to identify prototypical collaborative consumption behaviors, original definitions of collaborative consumption in the literature are reviewed. To derive hypotheses on the relationships between the prototypical behaviors, the study draws on theoretical foundations from the field of consumer lifestyles and behavioral spillover.
The second study titled Understanding collaborative consumption: An extension of the theory of planned behavior with value-based personal norms aims to understand which social-psychological variables and underlying values and beliefs determine actual collaborative consumption. The theory of planned behavior is used as the primary theoretical framework, as it is a well-established model that has been shown to explain a wide range of consumer behaviors. However, reviews and meta-analyses have found the theorys ability to account for normative motives to perform a behavior is weak and have called for further theory development. As normative motives are expected to be particularly important in the context of collaborative consumption, the theory is extended with a value-based personal norm variable.
The third study titled Does collaborative consumption affect consumers values, attitudes, and norms? A panel study examines the nature of causality between collaborative consumption and behavioral factors in order to determine whether collaborative consumption affects consumers values, attitudes, and norms over time. The study primarily builds on the theory of planned behavior, value theory, and the value-belief-norm theory to determine the theoretical framework linking collaborative consumption, values, attitudes, and norms over time. The theoretical framework is tested based on a two-wave panel over a time period of nine months using survey data from 168 consumers.
In conclusion, the thesis contributes to the literature in six ways. First, the thesis conceptually defines collaborative consumption, a term that was used ambiguously so far. Second, it empirically advances the understanding of social-psychological determinants of collaborative consumption. Third, it explains social-psychological effects of collaborative consumption on consumers over time, something that has not been done in the literature before. Fourth, the thesis identifies and examines the relationships between five prototypical collaborative consumption behaviors. Fifth, it argues for the extension of the theory of planned behavior by a value-based personal norm variable and provides supporting empirical evidence. Finally, it advances knowledge on the causal relationship between values, attitudes, norms, and behavior.Im Rahmen dieser Dissertation wird kollaborativer Konsum definiert und das VerstÀndnis von dessen sozial-psychologischen Determinanten und Effekten weiterentwickelt
Microstrain analysis of titanium aluminides
International audienceThe aeronautic and automotive industries have shown a renewed interest in TiAl based alloys. The main reasons for such an interest are their low density (~3,8g/cm3), a good stiffness and a high strength for temperatures up to 750°C. However, these alloys exhibit, in their polycrystalline form, a poor ductility at room temperature with widely scattered values. The aim of this study is therefore to characterise their mechanical behaviour with a multiscale methodology, coupling microstructure analysis and strain field measurements. This methodology employs orientation imaging microscopy as well as digital imaging correlation techniques with an intragranular step size of a few micrometers. Two chemical compositions (47 at. % Al and 48 at. % Al) and two processing routes (casting and powder metallurgy) are studied. Thus, four different types of final microstructures are considered, from fully lamellar Ti3Al (a2) + TiAl (g) microstructure to bimodal ones composed of two-phase (a2+g) lamellar grains and monolithic g grains. Firstly, the microstructure is characterised crystallographically and morphologically. This allows the identification of a representative volume element (RVE) inside the analysed volume. Then, uniaxial mechanical tests are performed for each microstructure, and the strain fields are analysed with a multiscale approach, which determines the spatial distribution of the strain field heterogeneity with respect to the different microstructures
Officialprincipen och dess tillĂ€mpning i förvaltningsmĂ„l â sĂ€rskilt om ansvaret för utredningen i invĂ€ndningsmĂ„l rörande immateriella rĂ€ttigheter
Rollfördelningen mellan part och domstol har lĂ€nge varit föremĂ„l för diskussioner i juridisk doktrin. FrĂ„gestĂ€llningar kring vilka omstĂ€ndigheter som föranleder domstol att tillgodose partsintressen genom materiell processledning eller övriga utredande Ă„tgĂ€rder leder inte sĂ€llan till komplexa resonemang hĂ€nförliga till civilprocessens och förvaltningsprocessens egentliga funktion. Domstolens verksamhet i detta avseende Ă€r hĂ€nförlig till officialprincipen, vilken beskriver och sammanfattar domstolens roll avseende ansvaret för utredningen och materialet i en process. Officialprincipen skall enligt förarbetena till förvaltningsprocesslagen (1971:291), förkortad FPL, prĂ€gla förvaltningsprocessen. Detta för att domstolarna skall kunna producera materiellt riktiga domar. Förekomsten av dessa Ă€r en förutsĂ€ttning för att kunna erbjuda enskild rĂ€ttsĂ€kerhet. 8 § FPL stadgar att rĂ€tten skall tillse att mĂ„l blir sĂ„ utrett som dess beskaffenhet krĂ€ver, bestĂ€mmelsen ger uttryck för officialprincipens stĂ€llning i förvaltningsprocessen. Vid en första anblick finns det anledning att sluta sig till uppfattningen som gör gĂ€llande att tillĂ€mpningen av officialprincipen Ă€r mer omfattande i förvaltningsprocessen Ă€n i civilprocessuella mĂ„l vid allmĂ€n domstol. Det dĂ„ finns anledning att stĂ€lla sig frĂ„gan vad som dĂ„ gĂ€ller i mĂ„l som handhas i enligt reglerna i FPL, men som uppvisar likheter med civilprocessuella tvistemĂ„l. Exempel pĂ„ sĂ„dana mĂ„l Ă€r immaterialrĂ€ttsliga invĂ€ndningsmĂ„l. InnebĂ€r handlĂ€ggningen av dessa mĂ„l enligt FPL att andra processuella effekter med koppling till officialprincipen uppstĂ„r, Ă€n om mĂ„let skulle kommit att avgöras enligt civilprocessuella regler? Vad innebĂ€r dĂ„ detta för enskild part? Avgörande för omfattningen av förvaltningsdomstols ansvar för utredningen Ă€r mĂ„lets beskaffenhet. Förvaltningsdomstol har ett ansvar för att ett mĂ„l blir sĂ„ utrett som dess beskaffenhet krĂ€ver. Detta innebĂ€r att utredningen mĂ„ste vara tillrĂ€ckligt god för att mĂ„let skall kunna avgöras. NĂ€r utredningen skall anses vara tillrĂ€cklig för att ett mĂ„l skall kunna avgöras beror pĂ„ vad mĂ„let gĂ€ller materiellt samt vilka partsförhĂ„llanden som prĂ€glar mĂ„let. Ju större betydelse ett mĂ„l har desto mer krĂ€vs för att utredningen skall anses tillrĂ€cklig. Faktorer som kan pĂ„verka betydelsen av ett mĂ„ls betydelse, och forma dess materiella karaktĂ€r, Ă€r vilka intressen och styrkan av dessa som prĂ€glar ett mĂ„l. Ett mĂ„l som gĂ€ller stora vĂ€rden mĂ„ste anses ha större betydelse Ă€n de som gĂ€ller smĂ„ vĂ€rden. Det Ă€r svĂ„rt att mĂ„la upp nĂ„gra generellt tillĂ€mpliga riktlinjer hur bedömningen skall göras i detta avseende, utan en bedömning mĂ„ste ske i varje enskilt fall. Vad gĂ€ller invĂ€ndningsmĂ„l talar mycket för att de faktorer som formar invĂ€ndningsmĂ„lens materiella karaktĂ€r pĂ„verkar rĂ€ttens ansvar för 4 utredningen i en lĂ€ttande rikting. De enskilda intressen som prĂ€glar invĂ€ndningsmĂ„l Ă€r frĂ€mst av kommersiell natur och uppvisar onekligen likheter med civilprocessuella tvistemĂ„l. Restriktivitet rörande utredande Ă„tgĂ€rder och andra processledande aktiviteter frĂ„n rĂ€ttens sida i dessa mĂ„l torde dĂ„ vara lĂ€mpligt. Risken finns att rĂ€tten genom utredande Ă„tgĂ€rder kan komma att gynna den ena parten till nackdel för den andra Ă€r. Detta innebĂ€r att domstolens roll som oberoende och objektiv kan komma att ifrĂ„gasĂ€ttas, detta rimmar illa med processens funktion. Det tenderar vara lĂ€ttare att utifrĂ„n partsförhĂ„llandena i ett mĂ„l kunna bedöma omfattningen för rĂ€ttens ansvar för utredningen. Av för arbetet relevant praxis framgĂ„r det att förhĂ„llandet mellan de olika parterna Ă€r avgörande för omfattningen av rĂ€ttens utredande verksamhet. InvĂ€ndningsmĂ„l utgör flerpartsmĂ„l. Utredningen visar att de enskilda parterna i en majoritet av fallen Ă€r representerade av ombud specialiserade inom sitt omrĂ„de. Att bĂ„da parter representeras av yrkeskunniga ombud och sĂ„ledes Ă€r tĂ€mligen likstĂ€llda uppmĂ€rksammas i rĂ€ttens domskĂ€l. FörhĂ„llandet parterna emellan verkar vara en viktig faktor som rĂ€tten beaktar vid bedömningen huruvida ett ansvar för utredande Ă„tgĂ€rder vilar pĂ„ domstolen. FöremĂ„let för tvisten i invĂ€ndningsmĂ„l Ă€r rĂ€tten till giltigt varumĂ€rke och det ensamrĂ€tten till detta. TvĂ„ likstĂ€llda parter företrĂ€dda av ombud vilka tvistar om nĂ€mnda rĂ€ttighet ger onekligen mĂ„let en kommersiell prĂ€gel. Under dessa förhĂ„llanden borde rĂ€tten vara restriktiv nĂ€r det kommer till utredande Ă„tgĂ€rder rörande processmaterialet. Om domstolen medelst processledning eller med andra utredande Ă„tgĂ€rder som har för avsikt att komma till rĂ€tta med en rĂ€ttslig brist rörande parts utredning, finns alltid risken att detta missgynnar enskild motpart. Ett sĂ„dant handlande av domstolen mĂ„ste anses strida mot förvaltningsdomstolarnas och förvaltningsprocessens funktion. Ăven om processledande Ă„tgĂ€rder vidtas av rĂ€tten med syfte att hjĂ€lpa enskild gentemot offentlig motpart finns det i invĂ€ndningsmĂ„l ytterligare en enskild part. Denne riskerar dĂ„ att missgynnas med anledning av rĂ€ttens processledande Ă„tgĂ€rder. Att enskild riskerar att missgynnas pĂ„ likande vis rimmar illa med förvaltningsprocessens funktion. Om nĂ„gra utredande Ă„tgĂ€rder blir aktuella frĂ„n domstolens sida, torde dessa stanna vid materiell processledning avseende sprĂ„kliga brister. Ett ansvar för att komma till rĂ€tta med sprĂ„kliga brister och klargöra vad part verkligen vill Ă„vilar samtliga domstolar, förvaltningsdomstol sĂ„som allmĂ€n. Förekomsten av de fall nĂ€r rĂ€tten ex officio för in utredning mĂ„ste med anledning av detta vara lĂ€ttrĂ€knade. Att rĂ€tten i dessa mĂ„l beaktar och 5 grundar sitt avgörande pĂ„ omstĂ€ndigheter vilka part ej Ă„beropat framstĂ„r som mindre sannolikt med beaktande av förvaltningsprocessens funktion sĂ„som att erbjuda enskild rĂ€ttsskydd. NĂ„gra processuella fördelar för enskild avseende officialprincipen kan inte skönjas enbart med anledning att processen handlĂ€ggs enligt FPL. Tanken att officialprincipen Ă€r synonym med mĂ„l som handlĂ€ggs enligt FPL torde leda tanken fel, eftersom principen gĂ€ller i samtliga processer, i varierande omfattning. Hur omfattande officialprincipens tillĂ€mpning Ă€r varierar efter mĂ„lets beskaffenhet. InvĂ€ndningsmĂ„lens karaktĂ€r verkar innebĂ€ra att rĂ€tten tillĂ€mpar officialprincipen restriktivt.The distribution of roles between the parties and the court has long been the subject of discussion in legal writing. Questions related to circumstances that cause the court to satisfy party interests through direction of proceedings or other investigative measures often leads to complex reasoning related the function of the different procedures, those of civil procedure and administrative judicial procedure. The court's activities in this regard are attributable to the official principle, which describes and summarizes the court's role regarding the responsibility for the investigation and the material in a process. The official principle is according to the legislative history of the Administrative Judicial Procedure Act (1971:291), abridged FPL, characteristic of the administrative judicial procedure. This is so that courts could produce materially accurate judgments. The existence of these is a prerequisite for being able to offer individual legal security. 8 § FPL provides that the court shall ensure that a certain case is as well investigated, as its nature requires. The provision reflects the position of the official principle in administrative judicial procedure. At a first glance, there is reason to conclude that the notion that claims that the application of the official principle is more comprehensive in the administrative judicial procedure than in the civil procedure. There is reason to ask the question what is applicable in cases handled under the rules of FPL, but which bear a resemblance to cases handled under civil procedure. Cases regarding objection concerning a registration related to a specific intellectual property, hereinafter opposition-cases, show resemblances to such cases. Does the processing of these cases under the FPL mean that other procedural effects related to official principle arises, than if the case would come to be governed by civil procedural rules? What does this mean for a party in the procedure? Crucial to the extent of the administrative court responsibility for the investigation is the nature and the characteristics of a case. An administrative court has a responsibility that a case is as well investigated, as its nature requires. This means that the investigation must be sufficient in order that the case should be decided. Once the investigation is considered sufficient that a case may be resolved depends on what the material characteristics of the case and what party relations which characterize the case. The greater importance of a case is, all the more necessary for the investigation to be considered adequate. Factors that may affect the material character of a case, is what interests and the strength of those interests that could be considered to characterize the case. A case of large values must be regarded as more significant than those of small values. However, it is difficult to conjure 1 up some generally applicable guidelines, the assessment shall be made in this regard, but the assessment must be made in each case. As for cases regarding objection concerning a registration of intellectual property, the factors that shape the character of the specific cases eases the courts responsibility for the investigation, and the application of the official principle. The individual interests that characterize these objection-cases are primarily commercial in its nature and exhibit resemblance to the civil procedural disputes. Restriction related to investigative actions and other direction of proceedings that the court undertakes would then be to advocate. The risk is that by the court in its investigative measures may encourage one party to the detriment of the others. This means that the court's role as independent and objective may be challenged, this is at odds with the process function. It tends to be easier to assess the magnitude of the court's responsibility regarding the investigation by studying the relations of the parties. Of the relevant practice presented in the paper, it appears that the relationship between the parties helps to determinate the scope of the court's investigative function. Objection-cases constitute cases consisting of more than one party. The following study shows that the individual parties in the majority of cases are represented by legal representatives specialized in their field. The fact that both parties are represented by skilled counsel and thus are fairly equal is acknowledged in reasoning by the administrative courts. The relationship between the parties appears to be an important factor when assessing whether a responsibility of investigation rests on the court. The subject of the dispute concerning objection-cases is the right to a valid protection of a certain intellectual property. Two equal parties represented by legal counsel, argue about a better right to a property undeniably gives the target a commercial character. Under these circumstances, the court should be restrictive when it comes to investigative measures on the process material. If the court by means of direction of proceedings or other investigative measures, the possibility exists that this disadvantages individual counterparty. Such conduct by the court must be regarded as contrary to the role of the administrative courts and the administrative judicial procedure. Although the court may use the direction of proceedings in order to help an individual against a public counterpart, there is always another private party in objection-cases. The counterparty could then be disadvantaged. The risk of disadvantaging one private party is inconsistent with the function of the administrative judicial procedure, that of ensuring legal security for private citizens. If the court in connection to objection-cases conducts any investigative actions they will most probably stop at the direction of proceedings relating to language deficits. A responsibility to come to terms with language 2 deficits and clarify what parties really want is binding on all courts, administrative courts as public. The incidence of cases where the court ex officio enriches a case on it own without any activity regarding direction of proceedings must for this reason be easily counted. If the court would take into account material that the parties have not invoked in objection-cases, this would surely constitute a conflict with the function of the administrative judicial procedure, such as providing legal protection for individuals. Some procedural advantages for the individual regarding the official principle cannot be discerned by reason only that the process is governed according to FPL. The idea that the official principle is synonymous with cases governed by FPL should lead the thought wrong, because the principle applies in all processes, to varying degrees. How extensive the application of the official principle varies by the nature of the case. As for objection-cases, the following study implies that the administrative court applies the official principle strictly
- âŠ