Sökresultat

Assertions are one of the most useful automated techniques for checking program’s behaviour and hence have been used for different verification and validation tasks. We provide an overview of the last two decades of research involving “assertions” in software testing. Based on a term-based search, we filtered the inclusion of relevant papers and synthesised them with respect to the problem address

Circuits of multiple deterministically positioned semiconductor nanowires (NWs) is the basis of many devices for photonic, quantum, or conventional transistor applications. To explore and iterate on the design of larger circuits, the means to quickly place and electrically evaluate NWs at target locations must be developed. We propose and demonstrate a multi-NW circuit building concept on SiO2/Si

Projektarbete har blivit en vanlig arbetsform i organisationer. Alfa Laval är ett företag som utnyttjar projektarbete för att utveckla verksamheten. Projekten leder dock inte alltid till de resultat som förväntas. För att analysera denna diskrepans vill jag lyfta fram projektledarnas uppfattning om sin arbetssituation. Studiens syfte är att belysa och analysera villkor för projektledarnas kompeten

Bakgrund: Kunskapsintensivt arbete utgör en allt större del av näringslivet idag. Morgondagens vinnare blir de företag med den mest kompetenta personalen. Organisationen som ligger till grund för detta arbete står inför en omfattande förändring som en del av organisationens strategi för att uppnå en långsiktig konkurrenskraft. För att möjliggöra detta krävs en kompetensutvecklingsstrategi som även

In 1994 it was decided that a new network based organizational model was to be initiated to face the problems of some of the gender inequalities in Sweden. The organisation structure was named Resource Centre for Women (ResursCentrum för kvinnor). This essay constitutes a qualitative case study of governing, with this organisation structure as my field of inquiry. My ambition has been to outline

Syfte: Syftet med uppsatsen är att beskriva och analysera den företagsinterna implementeringsprocessen rörande Svensk kod för bolagsstyrning i några företag, diskutera inställningen till Koden och dess självregleringsprincip, samt söka samband mellan dessa beståndsdelar och hur väl företagen följer bestämmelserna. Metod: Vår kvalitativa undersökning baseras på en tidigare utförd kvantitativ studie

When saline water is used to irrigate crops in arid environments, appropriate irrigation management should be applied to avoid negatively impacting soil characteristics. In this study, the effects of irrigating date palms with saline water (2.24 g l−1) on soil physicochemical characteristics such as the electrical conductivity (ECe), the pH of the saturated soil paste (pHe), the concentrations of

Energy used in buildings is responsible for more than 40% of energy consumption and greenhouse gas (GHG) emissions of the EU and their share in cost-efficient GHG mitigation potentials is estimated to be even higher. In spite of its huge savings potential of up to 80%, achievements are very slow in the building sector and much stronger political action seems to be needed. One important step in thi

This study analyzes the effect of cleaner local energy production on the consumer carbon footprint. The results in consumption based carbon footprint assessments have traditionally indicated that a significant change in consumption patterns or lifestyles would be needed to achieve the often aspired, ambitious 50- 80% cutoffs in the carbon emissions on a community level. However, it is also known t

We analyse the constraints of the general two Higgs doublet models by evolving the Yukawa coupling constants to high energy under renormalization group. We consider the appearance of a Landau pole or large off-diagonal Yukawa couplings which cause tree level flavour changing neutral currents. Our study shows the latter condition can be used to answer how much Z 2 symmetry breaking can be allowed

I den offentlege debatten om høgare utdanning er undervisarane påfallande fråverande. Dei sterkaste stemmene tilhøyrar politikarane, studentane, institusjonsleiarane og pedagogane. Når undervisarane melder seg på er det oftast i ein klagesong over høgt arbeidspress, krevjande studentar og mangel på tid og ressursar til forsking. Kvifor oppfattar brorparten av undervisarar i høgare utdanning undervI den offentlege debatten om høgare utdanning er undervisarane påfallande fråverande. Dei sterkaste stemmene tilhøyrar politikarane, studentane, institusjonsleiarane og pedagogane. Når undervisarane melder seg på er det oftast i ein klagesong over høgt arbeidspress, krevjande studentar og mangel på tid og ressursar til forsking. Kvifor oppfattar brorparten av undervisarar i høgare utdanning underv

Det relativt lugna området bakom barriärö är en fördelaktig plats för hamn trots att navigationen genom själva inloppet kan vara utmanande. Olika åtgärder såsom muddring eller kuststrukturer kan vara nöd-vändiga för att säkerställa det önskade vattendjupet för en säker navigering. Island som är en önation är beroende av tillförlitliga navigeringsvägar som förbinder hamnar med havet. Detta för att The relatively calm area behind barrier island are favored locations for harbors even though the navigation through the inlet itself can be challenging. Different measures like dredging or coastal structures might be necessary to ensure the desired water depth to maintain a safe navigation. Iceland as an island country depends strongly on reliable navigational routes connecting harbors to the ocea