Relevant bibliographies by topics / Formella regler

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Formella regler'

Author: Grafiati
Published: 4 June 2021
Last updated: 19 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formella regler.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Formella regler"

1

Pelto-Pirri, Veikko, Ulrika Hylén, and Lars Kjellin. "Informellt tvång mot patienter." Socialvetenskaplig tidskrift 27, no. 1 (December 21, 2020): 71–90. http://dx.doi.org/10.3384/svt.2020.27.1.3413.

Full text
Abstract:
Det har gjorts relativt omfattande forskning om formellt tvång mot patienter i psykiatrin, dvs. tvång som regleras av lagstiftningen. Däremot finns det inte lika mycket forskning om informellt tvång, speciellt inte ur ett personalperspektiv. Denna studie har utgått från tidigare forskning där man identifierat fem former av tvång i psykiatrin som personal använder; övertalning, utnyttjande av den personliga relationen, belöning, hot och formellt tvång. Syftet var att få personalens reflektioner över formerna för, och användningen av, informellt tvång gentemot patienter. Vi genomförde fyra fokusgruppsintervjuer med kuratorer, psykologer och läkare där syftet var att skapa ett reflekterande samtal om informellt tvång. Dessa intervjuer analyserades med kvalitativ innehållsanalys. Förutom de fem tidigare identifierade former av tvång i psykiatrin fann vi även tre andra former; att lura patienten, uppfostrande attityd samt användning av regler och rutiner. Deltagare beskrev även tvång från andra intressenter som anhöriga och andra myndigheter. När det gäller övriga reflektioner tolkades dessa som professionalitet och tvång, där deltagarna betonade betydelsen av personalens förhållningssätt till patienter, tydlig kommunikation, en individanpassad vård samt fungerande samarbete och samverkan. Enligt deltagarna i studien användes informellt tvång ofta samtidigt som det fanns en tveksamhet till det. Det var främst hur man som personal bör utnyttja den personliga relationen till patienten samt hur patienten uppfattade informellt tvång där deltagarna hade väldigt skilda uppfattningar. De rapporterade svårigheter i att hantera det informella tvånget som anhöriga och andra myndigheter använder gentemot psykiatrins patienter eftersom det kunde hota patienternas återhämtning. En slutsats är att informellt tvång inte enbart bör ses från ett juridiskt och kliniskt perspektiv utan att också att viktiga etiska aspekter kring informellt tvång bör uppmärksammas.
APA, Harvard, Vancouver, ISO, and other styles
2

Grytnes, Regine. "Ikke helt efter bogen — tømrerlærlinges håndtering af arbejdsmiljøet i byggebranchen." Tidsskrift for Arbejdsliv 17, no. 2 (June 1, 2015): 31–43. http://dx.doi.org/10.7146/tfa.v17i2.108991.

Full text
Abstract:
Gennemførelse af et byggeprojekt kræver planlægning, overblik og projektstyring, men for mange lærlinge i branchen er arbejdet snarere kendetegnet ved tilfældighed, ad hoc-løsninger og usikkerhed. Med udgangspunkt i et etnografisk feltarbejde blandt tømrerlærlinge i Dan-mark fokuserer artiklen på, hvordan lærlinge i praksis håndterer deres arbejdsmiljø i den ofte uforudsigelige arbejdskontekst, som en byggeplads er. Artiklen viser, hvordan regler om håndtering og planlægning af arbejdsmiljøet støder ind i en daglig praksis, hvor det mere handler om at få arbejdet til at glide og føle sig tryg end om at sørge for, at den formelle sikkerhed er på plads. Artiklen peger på betydningen af kropslige og tavse måder at etablere sikkerhed på i byggebranchen, som kan have betydning for forebyggelse af ulykker.
APA, Harvard, Vancouver, ISO, and other styles
3

Mouthaan, H. J. "De balans tussen regels en waarden." Maandblad Voor Accountancy en Bedrijfseconomie 81, no. 12 (December 1, 2007): 600–607. http://dx.doi.org/10.5117/mab.81.13855.

Full text
Abstract:
Een slechte formele governance is niet de belangrijkste oorzaak van de incidenten bij grote ondernemingen. Het is bovenal de menselijke factor die bepalend is voor de effectiviteit van het governance systeem. Onder nemingen zullen heel bewust en gestructureerd cultuur en ethiek binnen de organisatie moeten sturen. Dit roept nieuwe vragen op voor de toekomst. Hoe kun je integriteit en ethiek effectief sturen? In welke mate betekenen ethiek en cultuur een risico voor de verslaggeving en het handelen van een organisatie? Hoe is eigenlijk de cultuur binnen de onderneming, en welke rol speelt ethiek daarin? Meer grip op het sturen van ethiek en integriteit, betekent echter ook meer ruimte voor regelgevers om weer wat van de meest rigide governance regelgeving los te laten, en zo regels en waarden weer in balans te brengen.
APA, Harvard, Vancouver, ISO, and other styles
4

Pedersen, Jan. "Bastian, K. 2014. Omgørelse – Skatteforvaltningslovens § 29. 1st ed. København: Jurist- og Økonomforbundets Forlag." Nordic Tax Journal 1, no. 1 (May 1, 2014): 129–40. http://dx.doi.org/10.1515/ntaxj-2014-0008.

Full text
Abstract:
Abstract Dansk skatteret har i årtier anerkendt, at skatteyderne - under nærmere angivne betingelser - har mulighed for såkaldt “omgørelse”. Herved har skatteyderne mulighed for at undgå en uforudset og uventet beskatning, som kunne være undgået ved at skatteyderne havde disponeret anderledes eller måske helt havde undladt at disponere. Den vigtigste form for omgørelse består af “dispositionsomgørelse”, hvorved skattemyndighederne anerkender, at parternes efterfølgende ændring af økonomiske vilkår og retligt indhold gives tilsvarende skatteretlige konsekvenser. Som eksempel kan nævnes, at skattemyndighederne med hjemmel i aktieavancebeskatningsloven tilsidesætter overdragelsessummen ved en aktiehandel mellem nært forbundne, idet afståelsessummen anses for kunstigt nedbragt. Dette indebærer en forhøjelse af overdragerens skattepligtige afståelsessum og en gavebeskatning hos erhververen af den modtagne fordel. Denne gavebeskatning kan undgås ved omgørelse, således at aktieoverdragelsen med tilbagevirkende kraft foretages til markedsværdien af aktierne. Et andet eksempel er, at en skatteyder, som efterfølgende ønsker at anvende de særlige regler for “skattefri virksomhedsomdannelse” ved omdannelse af en personligt ejet virksomhed til et selskab kan få tilladelse hertil ved en omgørelse. Virksomhedsejeren undgår herved eller får sin kapitalgevinstbeskatning reduceret. Omgørelse er nu lovfæstet i skatteforvaltningslovens § 29, der omhandler de nærmere betingelser og fremgangsmåde. Bogen: “Omgørelse - skatteforvaltningslovens § 29” indeholder en monografiom bestemmelsen, der indeholder en håndbog og en lærebog om omgørelse. Advokat Kaspar Bastian, som er skatteadvokat hos et af Danmarks førende advokatfirmaer, Bech-Bruun, har forfattet en monografiom såkaldt omgørelse, som den er hjemlet i skatteforvaltningslovens § 29. Omgørelse indebærer, at skattemyndighederne giver tilladelse til, at en efterfølgende ændring af eller ophævelse af en civilretlig disposition gives tilsvarende skatteretlige virkninger. Der udløses således en skattemæssig ændring med tilbagevirkende kraft. Omgørelse aktualiseres navnlig, når det konstateres, at en given aftale, disposition m.v. udløser en uventet og uforudset beskatning, som kunne have været undgået enten ved, at dispositionen fra begyndelsen af var givet et andet retligt indhold eller ved, at dispositionen slet ikke havde været gennemført. Omgørelse indeholder således en skatteretlig “fortrydelsesregel” og sikrer navnlig mod urimelige konsekvenser af en kompleks og hastigt ændret skattelovgivning. Kaspar Bastians bog, der både kan anvendes som håndbog for praktikeren og som lærebog på højeste akademiske niveau, omfatter 130 sider inkl. registre. Bogen er disponeret i 6 kapitler : Kapitel 1. Indledning, introduktion til skatteforvaltningslovens § 29, historie. Kapitel 2. Området for omgørelse. Kapitel 3. Betingelser for omgørelse. Kapitel 4. Omgørelsens konsekvenser. Kapitel 5. Formelle regler (ansøgningsprocedure, kompetenceforhold, klage m.v.).
APA, Harvard, Vancouver, ISO, and other styles
5

Postma, Theo. "Corporate governance, rationaliteit en implementatie." Maandblad Voor Accountancy en Bedrijfseconomie 76, no. 9 (September 1, 2002): 425–31. http://dx.doi.org/10.5117/mab.76.21797.

Full text
Abstract:
Corporate governance trekt in Nederland en daarbuiten al enige tijd veel belangstelling. Diverse nationale en internationale commissies stellen regels op in aanvulling op bestaande wet- en regelgeving. In dit verband wordt gesproken van procedurele rationaliteit. Wat opvalt is dat er weinig rekening wordt gehouden met issues als machtsposities, eigen belang, onderhandelingen en (in)formele netwerken. Een verband wordt daartoe gelegd met het begrip politieke rationaliteit. Aandacht voor beide vormen van rationaliteit biedt perspectief om geconstateerde problemen met betrekking tot de implementatie van aanbevelingen op het gebied van corporate governance tegen te gaan c.q. te voorkomen.
APA, Harvard, Vancouver, ISO, and other styles
6

Kirilko, Vladimir P. "Architectonic Members from Indzhi-Bay Hatun Medrese in the Crimea." Античная древность и средние века 48 (2020): 349–67. http://dx.doi.org/10.15826/adsv.2020.48.022.

Full text
Abstract:
This article uses the materials of archaeological researches of the monuments and iconographic sources to make a detailed analysis of some architectonic members the medrese in the town of Krym (Solkhat; now Staryi Krym, formerly Eski-Kyrym), which was built in 733 AH (=1332/33 AD) by the order from Indzhi-Bay Hatun, a daughter of Kyl-Burun Bay. The results of the research allow a reliable restoration of the original appearance of the entrances to the living rooms of the building. The doorways of the hujras belonged to the same type, with inconsiderable difference of dimensions at some places. Despite the clearly distinguished centre with the dominant monumental portal designating the longitudinal axis of the structure, the medrese’s main facade had an asymmetric composition. Its sides had different numbers and arrangement of windows and stone gutters. The design and shape of the openings which illuminated eastern hujras are reconstructed with reliability. The basic planes of the main facade were decorated with profiled protrusions that completely framed the wall around the perimeter, simultaneously highlighted the basement and contoured the window frames. The most problematic is a detailed reconstruction of the lost forms of the portal which general outline appears on M. M. Ivanov’s watercolours. So far there is no doubt concerning the solid profiled reglet which framed the portal on the outer side: it outlined the portal’s main surfaces by limiting them above and on the back side. The graphic reconstruction of the whole structure with its minor details depends, to a great extent, on the introduction into the scholarship of absolutely all architectural, structural and decorative members discovered in Staryi Krym and especially those excavated from the building in question.
APA, Harvard, Vancouver, ISO, and other styles
7

Dajczak, Wojciech. "DOŚWIADCZENIE PRAWA RZYMSKIEGO A POJĘCIE DOBREJ WIARY W EUROPEJSKIEJ DYREKTYWIE O KLAUZULACH NIEDOZWOLONYCH W UMOWACH KONSUMENCKICH." Zeszyty Prawnicze 1 (January 27, 2017): 79. http://dx.doi.org/10.21697/zp.2001.1.05.

Full text
Abstract:
BEGRIFF DER TREU UND GLAUBEN-KLAUSEL IN DER EG-RICHTLINIE ÜBER MIßBRÄUCHLICHE KLAUSELN IN VERBRAUCHERVERTRÄGEN UND DIE ERFAHRUNG DES RÖMISCHEN RECHTSDie Klausel Treu und Glauben in der Richtlinie vom 5. April 1993 über mißbräuchliche Klauseln in Verbraucherverträgen errinert an die Wendung bona fides, die schon im römischen Vertragsrecht gut bekannt war. Diese formelle Ähnlichkeit wirft die Frage auf, ob die Erfahrung des römischen Rechts die Auslegung und die Umsetzung der Klasusel Treu und Glauben der EG-Richtlinie inspirieren kann? Die Antwort auf diese Frage ist Gegenstand dieses Aufsatzes. Den Ausgangspunkt bilden kurze Erwägungen über die Grundlagen der Anwendung der romanistischen Tradition im Europarecht, besonders im europäischen Privatrecht. Der Verfasser teilt die Meinung, daß eine derartige Möglichkeit von der richterlichen Rechtsfortbildung in der Europäischen Gemeinschaft gegeben ist (Art. 234 b / EUV). Er meint auch, daß die Regeln des römischen Rechts als Elemente gemeinsamer europischer Rechtstradition effektive Umsetzung der EG-Richtlinie (Art. 10 EUV) unterstützen können. Auch das Subsidiaritätsprinzip (Art. 5 EUV) bildet nach dem Verfasser ein Argument für die Nützlichkeit der europäischen Rechtstradition in der Umsetzung privatrechtlicher Richtlinien dar. Dieses Prinzip bewegt den nationalen Gesetzgeber dazu, in der Diskussion über die Umsetzungsfragen auch die Prinzipien zu benutzen, die midestens für die Rechtstradition der Mitgliedsstaaten gemeinsam sind. Eine derartige metodologische Feststellung gibt die Grundlage für Erwägungen über ausgewählte Aspekte der Auslegung und Umsetzung der Klasuel Treu und Glauben. Aufgrund der Skizze der Umsetzung der Klausel im französichen, deutschen und englischen Recht zeigt der Verfasser als gemeinsame Eigenschaft dieses Prozeßes die Betonung der Trennung zwischen der Treu und Glauben-Klausel in der Richtlinie und den nationalen privatrechtlichen Ordnungen. Infolgedessen stellt der Verfasser die These, daß die geschichtliche Erfahrung des römischen Rechts die Disskusion über eine „übernationale” Treu und Glauben-Klausel inspirieren und obiektivieren kann. Zum Beispiel stellt er das Verbinden der Nützlichkeit der Klasuel Treu und Glauben mit der Möglichkeit ihrer stabiler Konkretisierung als irrtümlich dar. Die Ersetzung der Klasuel Treu und Glauben der EGRichtlinie durch das Kriterium „beachtliches Mißverhältnis zwischen den Rechten und Pflichten der Vertragsparteien” im französchen Recht, beschränkt nach dem Verfasser die Möglichkeiten, die die Klausel Treu und Glauben geben kann. Er folgert, die Treu und Glauben-Klasuel sollte nach dem römischen Muster als Grundlage der richterlichen Rechtsfortbildung umgesetzt werden. Die vorgestellten Beispiele der lateinischen Regeln, die Ergänzung der Direktiveanlage inspirieren können, bebildern, wie die romanistische Tradition die harmonisierende Konkretisierung der Klasusel erleichtern und obiektivieren kann. Der Verfasser schließt mit der allgemeienen Bemerkung, daß die Berücksichtigung der Wurzeln der klassichen privatrechtlichen Dogmatik im entstehenden europäischen Privatrecht ein Kontinuität-Gefühl entwickeln, aber auch die Gefährlichkeit mildern kann, daß die Funktion der Rechtsnormen nur zur Rolle der ökonomischen Instrumente reduziert werden könnten.
APA, Harvard, Vancouver, ISO, and other styles
8

Andersen, Heine. "Plagiering i forskning. Videnskabsetiske og videnskabssociologiske aspekter." Dansk Sociologi 28, no. 1 (February 5, 2017): 55–82. http://dx.doi.org/10.22439/dansoc.v28i1.5597.

Full text
Abstract:
Plagiering betragtes normalt som en af dødssynderne i den akademiske verden, en form for videnskabelig uredelighed. For forskere kan plagiering have meget alvorlige karrieremæssige konsekvenser, fx tilbagekaldelse af akademiske grader og disciplinære sanktioner. I Tyskland har to ministre indenfor de senere år måttet træde tilbage efter at være blevet grebet i plagiering. Plagiering ser ud til at være et voksende problem og kontrollen er skærpet. Mange universiteter, forlag og tidskrifter har indført rutinemæssig plagiatkontrol. Efter en gennemgang af selve begrebet betydning og formelle regler i videnskabsetiske kodekser præsenteres og diskuteres forskellige etiske begrundelser for forbud mod plagiering. Tre positioner diskuteres. En naturretlig: åndelig ejendomsret, retten til viden, man selv har frembragt følger af retten til ”frugten af eget arbejde” (Locke), eller en ret, som er forudsætning for personens dannelse (Hegel). Den har svag støtte. En utilitaristisk – funktionalistisk begrundelse (Mill/ Merton): at plagiat undergraver videnskabernes anerkendelsesregime, der skal belønne efter præstation til gavn for vidensvækst. Den har stærkere støtte, om end funktionalitet kan være vanskelig at opnå og påvise i praksis. Dysfunktionalitet og perverse effekter, fx på grund af for stærkt publiceringspres, kan forekomme. Afslutningsvis inddrages Axel Honneths anerkendelsesteori op som et supplement og korrektiv til utilitarismen. ENGELSK ABSTRACT Heine Andersen: PLAGIARISM IN RESEARCH. Research ethical and sociological aspects Plagiarism is usually regarded as one of the deadly sins in science, a form of scientific misconduct. Plagiarism can have serious consequences for researcher careers, such as revocation of academic degrees and disciplinary sanctions. In recent years, two ministers in Germany had to resign after being caught in plagiarism. Plagiarism seems to be a growing problem, and many universities, publishers and scientific journals have introduced routine control for it. After a review of meaning and formal rules of ethical codes, this article discusses three ethical traditions, representing different reasons for prohibiting plagiarism. The first is natural law: a right to spiritual property, to knowledge that you yourself have generated. This is a right to “the fruit of one’s own labor” (John Locke), or that which is essential for the person’s self-realization (Hegel). There appears to be weak support for this position. The second is a utilitarian-functionalist reason (Mill/ Merton): plagiarism undermines the recognition regime in modern science, the principle of reward according to contribution to the growth of knowledge. This position has greater support, but it is often difficult to validate in practice. The strong pressure on researchers to publish may create dysfunctional and perverse effects. Finally, Axel Honneth’s theory of recognition theory is presented as a supplement and corrective to utilitarianism. Keywords: Plagiarism, scientific misconduct, research ethics.
APA, Harvard, Vancouver, ISO, and other styles
9

Seipold, Judith. "Kan brugen af mobiletelefoner i undervisningen styrke elev-centrerede læreprocesser?" Tidsskriftet Læring og Medier (LOM) 3, no. 5 (October 6, 2010). http://dx.doi.org/10.7146/lom.v3i5.3952.

Full text
Abstract:
Mobil læring er et emne på vej frem. Det er ikke kun det konstant tiltagende antal af konferencer om m-læing, der understøter dette faktum (Traxler 2007). Overgangen fra at betragte fordelene og ulemperne ved m‐læing i praksis til dannelse af teorier karakteriserer også hvordan denne disciplin er ved at blive voksen. Sidst men ikke mindst implementeres i stigende grad projekter med mobiltelefoner og med relevans for læring, som bliver realiseret inden for og uden for skolen, i job- og fritidssammenhæge. Såanne projekter stræber mod at forbedre læing og undervisning, lære-, skrive- og læringskompetencer for at støtte fremmøde, adfærd og sociale fædigheder, og for at imødegå den digitale kløft, social udelukkelse osv. helt generelt: "Research into mobile learning is the study of how the mobility of learners augmented by personal and public technology can contribute to the process of gaining new knowledge, skills and experience" (Sharples et al. 2007). Målene i forbindelse med forskning er lige såforskellige som måderne, hvorpå m-læring implementeres - de funktioner, der bliver anvendt på mobiletelefonerne, er lige så omfattende som elevernes aktiviteter. Den pæagogiske dimension bag målet om at opnå kontinuerlig læring med fokus på elevernes erfaringer, kulturelle praksisser, viden osv. fra hverdagen opstår på baggrund af mindst to dimensioner: En af disse er behovet for livslang læring der har en uddannelsespolitisk dimension (se f.eks. COMM/EAC 2008). Livslang læring tager ikke kun formel og ikke‐formel læing i betragtning, men også uformel læing, der refererer til områder og aktiviteter som ikke direkte er at finde i uddannelsesmæssige sammenhænge men hovedsagligt i elevens hverdag. Denne tilgang fastholder perspektivet om integration af uformel læring i sin bredeste forstand i skolesystemet, men med et behov for at moderere denne uformelle læing og for at gøe eleverne opmæksomme på hvordan de produktivt kan bruge deres møstre i deres læing. En anden dimension refererer til skolen som et sted, hvor der er plads til uformelle aktivitetsmøstre og handlingsorienteret mediebrug i specifikke situationer f.eks. i forbindelse med projektforløb. I den resterende tid dominerer skolens regler, og aktiviteter der normalt foregå uden for skolen kan måske medføre regler og begræsninger, som kan være prekære for eleverne, hvilket Herbert Schweizer (2007) skitserer. Men i stedet for at udvikle såanne kløfter er det skolens opgave at støtte eleverne i deres meningsdannelse og læring, selvom det er nøvendigt at moderere forholdet mellem skolens og hverdagens perspektiver samt at sætte information og viden ind i den rette sammenhæng. Alligevel bliver denne opgave realiseret ret tøvende.I denne artikel bliver spørgsmålet om kontinuitet inden for læring sat i forbindelse med at skabe relationer mellem elevens kulturelle praksisser og uformelle læring uden for skolen og læring med mobile medier inden for skolens rammer. Som det vil vise sig, bliver mobiltelefoner brugt som redskaber i skoler, men deres "originale" formål, der stammer fra elevernes daglige brug af mobile medier, bliver sjældent taget i betragtning. Det lader til, at dette afhænger af lærerens didaktiske design; jo mere undervisningen er rettet imod at eleverne selv er organiserede og ansvarlige for deres læring, des mere synes brugen at fokusere på de mobile mediers situerede betydning og deres respektive egenskaber. Derfor bliver mobiltelefonen nogle gange brugt mere formelt som et redskab inden for læring, og nogle gange bruges den under forholdsvis uformelle vilkår og i overensstemmelse med situerede krav og elevens kulturelle praksisser. Personlig, kommunikativ og samarbejdsmæssig læring såvel som elevernes viden/praksisser bliver derfor fremhævet.
APA, Harvard, Vancouver, ISO, and other styles
10

Berthold, Norbert, and Oliver Stettes. "Die betriebliche Mitbestimmung in Deutschland – eine richtige Reform in die falsche Richtung." ORDO 52, no. 1 (January 1, 2001). http://dx.doi.org/10.1515/ordo-2001-0104.

Full text
Abstract:
ZusammenfassungDas Betriebsverfassungsgesetz gilt neben der Tarifautonomie als Wahrzeichen der industriellen Beziehungen in Deutschland. Eine gesetzliche Regelung der betrieblichen Mitbestimmimg kann Marktunvollkommenheiten beheben, welche aus Informationsasymmetrien, Trittbrettfahren und opportunistischem Verhalten resultieren. Sie erhöht den Anreiz der Arbeitnehmer, erstens in spezifisches Humankapital zu investieren und zweitens mit dem Management zu kooperieren. Die betriebliche Mitbestimmung steht im strukturellen und organisatorischen Wandel vor neuen Herausforderungen. Betriebsräte regeln immer seltener die Belange der Arbeitnehmer in den betrieblichen Arbeitsbeziehungen. Die Bundesregierung hat deshalb den Geltungsbereich des Betriebsverfassungsgesetzes ausgedehnt. Die Reform übersieht, daß die betriebliche Mitbestimmung zunehmend über neue Wege zwischen Unternehmen und Belegschaft organisiert wird und der Betriebsrat durch freiwillige formelle und informelle Vereinbarungen ersetzt wird. Die Analyse legt offen, daß die gesetzliche Ausweitung weniger von Effizienzerwägungen geleitet ist als vielmehr vom Druck der Gewerkschaften.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Formella regler"

1

Nilsson, Erik, and Olof Henriksson. "Regler och rutiner : En fusions konsekvenser för en organisations formella regler och informella rutiner." Thesis, Uppsala universitet, Företagsekonomiska institutionen, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-196685.

Full text
Abstract:
Denna uppsats studerar formella regler och informella rutiner utifrån det institutionellaramverket med ett fusionsperspektiv. Studien har företagits med hjälp av semistruktureradeintervjuer av anställda på olika nivåer i den valda organisationen, Trafikverket. Fusionenskonsekvenser för de formella reglerna och informella rutinerna visade sig avhängigt huruvidagamla tillvägagångssätt slopats eller behållits. I organisationen vi undersökte inträffade detförra vilket ledde till att den tidigare presenterade bilden av den lösa kopplingenskonsekvenser inte gällde. Skillnaden kan förklaras av fusionsmomentet. Tidigare forskninghar baserats på att antingen formella regler eller informella rutiner behålls i organisationen.Fusionen vi undersökte ledde till en än mer omvälvande förändring vilket motbevisar den lösakopplingens effekt som neutraliserande i den tidigare forskningens bemärkelse.
APA, Harvard, Vancouver, ISO, and other styles
2

Olsson, Sanna, and Isabella Hultberg. "Cybersäkerhet - Att stärka den svaga länken : En flerfallsstudie om hur formella och informella styrmedel förebygger interna cyberhot i banksektorn." Thesis, Linköpings universitet, Institutionen för ekonomisk och industriell utveckling, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-176804.

Full text
Abstract:
Bakgrund: Banker fyller en mycket viktig funktion i samhället och har sedan digitaliseringen varit särskilt utsatta för cyberhot. Samtidigt bygger bankens verksamhet till stor del på att upprätthålla förtroendet hos sina kunder, varpå det är av stor vikt för banker att ha en hög cybersäkerhet. Framför allt kan interna cyberhot i form av mänskliga misstag konstateras vara den svaga länken i bankers säkerhetsarbete idag. Därför är det intressant att undersöka hur banker i Sverige arbetar för att öka cybersäkerheten genom formella och informella styrmedel, som kan påverka anställdas beteenden.  Syfte: Studien syftar till att bidra till ökad förståelse om hur banker styr sin verksamhet med formella och informella styrmedel för att förebygga interna cyberhot på arbetsplatsen.  Metod: Studien har ett hermeneutiskt perspektiv och är utformad enligt en kvalitativ metod. Vidare har en abduktiv ansats format uppsatsen. Syfte och frågeställningar har besvarats genom en flerfallstudie av fyra olika banker i Sverige. Det empiriska materialet har inhämtats med hjälp av intervjuer med representanter från respektive bank som arbetar med säkerhet.  Slutsats: För att förebygga interna cyberhot arbetar banker med formella styrmedel främst i form av regler, där de tar hjälp av globala standarder vid utformningen. Reglerna utformas även utifrån bankens kultur och uppdateras ofta. Vi har sett att kompetens och medvetenhet inom cybersäkerhet hos anställda är något som samtliga fallföretag värderar högt, och för att stärka kompetensen lägger bankerna stora resurser på utbildning. Att göra säkerhetstänket till en naturlig del av anställdas dagliga arbete har framför allt understrukits av respondenterna, samtidigt som arbetet med kultur till stor del görs passivt då det starka regelverket formar kulturen. Informella dialoger menas dock vara något som ökar medvetenheten och därmed stärker kulturen. Slutligen har vi identifierat att samtliga styrmedel nämnda ovan påverkar varandra, varpå det är viktigt att ha ett helhetstänk vid styrningsarbetet vad gäller cybersäkerhet.
Background: Banks play an important role in society and have since the increasing digitalization been particularly exposed to cyber threats. At the same time, the bank's operations are largely based on maintaining trust of its customers, and therefore it is of great importance for banks to have a high level of cyber security. Above all, internal cyber threats in the form of human error constitute one of the greatest risks to banks' security work today. Therefore, it is interesting to investigate how banks work to mitigate internal cyber threats through formal and informal management controls.  Purpose: This study aims to contribute to an increased understanding of how banks use formal and informal management control to mitigate internal cyber threats in the workplace.  Methodology: This study adopts a hermeneutic perspective and uses qualitative method. Furthermore, an abductive approach has shaped the essay. The purpose and research questions have been answered through a multiple case study of four different banks in Sweden. The empirical material has been obtained with the help of interviews with representatives from each bank who work with security.  Conclusion: To prevent internal cyber threats, banks work with rules which global standards and the company’s culture help design. We have noted that competence and awareness in cyber security is something that is valued highly. To strengthen the competence banks invest large resources in training. Making the idea of safety a natural part of employees' daily work has above all been emphasized by, at the same time as cultural development is largely done passively as the strong regulations shape culture. Informal dialogues, however, increase awareness and thus strengthen culture. Finally, we have identified that all the management controls mentioned above affect each other. Therefore, it is important to have a holistic approach to the governance work regarding cyber security.
APA, Harvard, Vancouver, ISO, and other styles
3

MEDOU, ZENGUE ZE JAMES S. "Verification automatique des regles de dessin des circuits vlsi : regles formelles, approche hierarchique." Paris 6, 1991. http://www.theses.fr/1991PA066237.

Full text
Abstract:
Nous presentons dans ce memoire un outil de verification automatique des regles de dessin de circuits vlsi. Notre etude porte sur trois problemes: l'adaptabilite du verificateur de regles de dessin a differentes technologies, le traitement des circuits de grande taille et la portabilite de l'outil sur des machines de capacites memoires differentes. L'adaptabilite de l'outil suppose qu'il puisse etre facilement parametre pour differentes technologies. Ce probleme se pose plus directement a la methode de traduction des contraintes technologiques en regle de dessin, plutot qu'a l'outil de verification proprement dit. Nous definissons ainsi un formalisme permettant une description analytique simple et non ambigue des contraintes technologiques. Le traitement des circuits de grande taille est assure par une approche de verification hierarchique qui exploite la regularite du dessin et la localite des regles de dessin. Nous definissons pour cela, la visibilite du bloc dans la hierarchie. Celle-ci, une abstraction du bloc de taille moins importante, est une propriete du bloc dependant exclusivement de la technologie verifiee. La verification du circuit est alors directe, ce qui permet d'obtenir de bonnes performances meme sur des circuits peu reguliers. De plus, la methode est particulierement adaptee a la conception incrementale. La portabilite de l'outil sur differents types de machines, est assuree par une methode de verification par fenetrage du circuit, dont l'efficacite est amelioree par le principe du chainage de voisinage
APA, Harvard, Vancouver, ISO, and other styles
4

Karlsson, Ingrid. "Att leda i kommunal äldreomsorg : om arbetsledares handlingsutrymme, handlingsfrihet och skilda lojaliteter : exemplet Halland." Licentiate thesis, Växjö universitet, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-1530.

Full text
Abstract:

Äldreomsorgens arbetsledare och positionen de befinner sig i, där intressenter från till exempel förvaltning, politik, medarbetare och brukare ställer krav på verksamheten, står i fokus i denna licentiatavhandling.

Avhandlingens syfte är att utveckla kunskap om och förståelse för arbetsledares handlingsutrymme och handlingsfrihet inom äldreomsorgen. Empirin hämtas från två studier. Den första studien utgörs av 17 intervjuer med första linjens chefer inom äldreomsorgen i Halland. Jag undersöker här hur arbetsledarna uppfattar och tänker om hur formella ramar påverkar arbetet och om sitt mandat att agera som arbetsledare etc. Det handlar till exempel om i vilken utsträckning första linjens chefer uppfattar att de påverkas att fatta beslut, att handla på ett visst sätt och i en viss riktning och vilket utrymme för självständighet som finns i den förvaltning de arbetar i.

I den andra studien har en enkät som utarbetats utifrån vinjettmetoden använts. Enkäten har besvarats av 47 arbetsledare i Halland. Vinjetterna innebär att informanterna ställs inför beskrivningar av konkreta situationer som är relevanta för deras uppdrag som arbetsledare. Här görs ett försök att gå från arbetsledarens tankar om sina möjligheter att agera till det mer handlingsinriktade. Med hjälp av konstruerade situationer undersöks hur de beskriver sitt agerande, hur handlingsutrymmet och handlingsfriheten formas och hur arbetsledarna lojalitet påverkas av bland annat situationens karaktär. Den första vinjetten består av en organisationsförändring där verkställigheten är delegerad till arbetsledaren. Den andra vinjetten beskriver en situation där omsorgskvaliteten kritiseras och slutligen den sista vinjetten, en situation där arbetsledaren ska verkställa ett kraftigt besparingskrav.

För att fånga den komplexitet som ledarskapet kännetecknas av har jag valt att ha ett brett angreppssätt. Jag går från teorier som fokuserar likhetsskapande mekanismer på skilda nivåer som nyinstitutionalism och organisationskulturteori, till teori som öppnar upp för möjlighet till variation. Här använder jag teoretisering runt formella och informella regler som öppnar upp för olikheter och handlingsutrymme i organisationen. I den andra studien tas även utgångspunkter i teoretiska perspektiv på beslut utifrån begreppen top down och bottom up, på handlingsutrymme och handlingsfrihet samt på frågan om lojalitet, främst utifrån Albert O Hirschmans teori om individers reaktionsmönster på oacceptabla eller ohållbara situationer som uppkommer.

I min avhandling gör jag en distinktion mellan handlingsutrymme och handlingsfrihet. Handlingsutrymme identifierar jag som den formella ramen och handlingsfriheten är det som medger eller skapar möjligheter att agera inom ramarna. I verkställandets har arbetsledare stor handlingsfrihet, men till exempel organisationskulturen, värderingar och etiska grundföreställningar inom yrket sätter gränser för vad som är acceptabla beteenden och godtagbara sätt att agera på. Handlingsfrihet i betydelsen att utforma det ”inre” ledarskapet, det som bland annat sker mellan ledaren och medarbetarna på den enskilda enheten medger enligt mina informanter stor frihet att agera utifrån ”egna uppfattningar”.

Resultaten pekar på att arbetsledarna uppfattar sig ha stor frihet i det konkreta ”nära” arbetet, men att arbetet begränsas av faktorer som de har litet eller inget inflytande över. Det handlar till stor del om regulativa styrningsmekanismer (tvingande/kontrollerande regler), till exempel lagstiftning och politiska beslut som ska verkställas. Arbetsledarna i intervjustudien kände sig mest styrda av Socialtjänstlagen, de arbetsrättsliga lagarna och politiska beslut. Den regulativa styrning har en stark disciplinerande makt, menar arbetsledarna, inte minst när det gäller kontroll av ekonomin. Den ger arbetet på så sätt en inriktning mot administrativa göromål som upptar en stor del av arbetstiden och där också personalfrågor är en viktig del.

I resultaten finns många exempel på att regler skapas i en process där kollegor på olika sätt och i olika sammanhang har avgörande betydelse. En del av dessa regler är så kallade metaregler. Normativ styrning verkar via värderingar och har i mitt material främst ett kollegialt ursprung och här synes även gemensam utbildningsbakgrund ha betydelse. Institutionaliseringen av regler och rutiner inom arbetsledargruppen har troligen också komponenter som har sin grund i en professionell maktutövning. Det finns anledning att anta att ”starka” professionsgrupper har en sådan normativ kontrollfunktion inom organisationen. I min undersökning är dessa yrkesgrupper bestående av arbetsledare med social omsorgsutbildning eller med sjuksköterskeutbildning.

Att organisatoriska regelsystem i första hand erbjuder en ram för agerande och att det inom denna ram finns möjlighet för individen till mindre styrda handlingar, visas tydligt i mina studier. Resultaten pekar också på att ett administrativt förhållningssätt breder ut sig i verksamheten vilket har en standardiserande effekt på vad de gör, men också på hur de agerar. Den administrativa orienteringen fungerar via en styrning av både regulativ och normativ art.

I materialet framstår lojaliteten gentemot förvaltningen som stark. Till viss del skiftar den dock med graden av komplexitet i de situationerna som beskrivs i vinjetterna och med utbildningsbakgrund. I min studie är det framför allt gruppen unga och gruppen med social omsorgsutbildning som i hög grad var lojala gentemot förvaltningen. I denna grupp var det också vanligt att hantera situationerna på ett administrativt sätt. Den tredje vinjetten skiljer sig från de övriga två. I den aktualiserades etiska dilemman och lojaliteten utmanades vilket gav utslag i att det var relativt vanligt att arbetsledarna funderade på att göra sorti.

I den första delstudien framkommer en bild som visar enhetliga tendenser avseende arbetsledarnas uppfattningar om möjligheter att agera. I den andra delen som tar sin utgångspunkt i mer konkreta situationer, i form av vinjetter, blir bilden mer varierad. Ju mer komplext det specifika fallet ter sig ju mer tenderar variationen att öka. Men vidare och kanske intressantare är att det sammantaget framträder en bild av arbetsledare inom äldreomsorgen som en grupp som har ett administrativt förhållningssätt till sitt uppdrag vilket troligen underlättar hanteringen av situationer som innebär etiska dilemman. Resultaten visar också att det finns tecken på att arbetsledarnas funktion i arbetsorganisationen i sin helhet är under omvandling. Man lämnar i allt högre grad frågor som är verksamhetsanknutna i reell mening till dem som arbetar verksamhetsnära. Arbetsledarnas administrativa uppgifter i termer av chefskap breder ut sig. Det rör sig om budgetansvar och personalansvar. Detta styrks i min vinjettstudie. I den vinjett där störst variation framträder, det vill säga i vinjett nummer tre, är personalfrågan och medarbetarna i hög grad i centrum. I de två tidigare som handlar om verksamheten uppvisar man till min förvåning som områdeskunnig överraskande samstämmighet i hur man tänker sig hantera situationen – en likhet som också uppvisar en stark lojalitetsbindning. Arbetsledarna tycks vara på väg att knytas uppåt i organisationen.

Utsattheten eller klämsitsen som första linjens chefer sägs befinna sig i framkommer framför allt i intervjustudien. I vinjettstudien handlar det däremot mer om en framtoning som chef, om ett administrativt förhållningssätt och om lojalitet gentemot förvaltningen. I sin förlängning leder detta till i en orientering bort från det verksamhetsnära mot det personalpolitiska området. Genom detta avhänder sig arbetsledarna till viss del ett moraliskt ansvar vilket också kan ses som en strategi för att kunna fortsätta att verka som ledare. En moralisk indignation blir tydlig när konsekvenser för de anställda tar en allvarlig form, så som den gör i den sista vinjetten. Då övergår indignationen i många fall i ett övervägande om sorti. Slutligen kan detta leda till att behovet av att en nygammal grupp gör entré inom äldreomsorgen, det vill säga biträdande föreståndare, alltså en ny mellannivå som får ta hand om klämsitsen mellan intressenterna. Här kan också en parallell dras till det som idag kallas ett delat ledarskap.

APA, Harvard, Vancouver, ISO, and other styles
5

Dimitrijevic, Miona. "Les transformations des relations tonales, des fonctions et des types formels contribuant à l'unité compositionnelle dans les œuvres orchestrales de Max Reger." Thesis, Strasbourg, 2017. http://www.theses.fr/2017STRAC020.

Full text
Abstract:
L’analyse examina l’impact des relations tonales, des fonctions et des types formels transformés sur l’unité compositionnelle dans les œuvres orchestrales de Max Reger. Le contexte théorique est celui de nouvelles Formenlehre et Harmonielehre. La forme conçue comme une succession des fonctions fut analysée sur la base de la théorie des fonctions formelles de Caplin. Son apparatus analytique a été combiné avec le modèle sophistiqué de ponctuation et le concept de la déformation de la théorie de la sonate de Hepokoski et Darcy. En examinant les relations et la structure tonales, l’analyse adhère au concept de la monotonalité de Schoenberg. L’attention analytique fut focalisée sur les motifs harmoniques dérivés des accords, des progressions et de la ligne de basse. La Grundgestalt (une configuration fondamentale) fut perçue comme une structure motivique ou un contour intervallique quasi-arythmique. L’analyse montra comment Reger avait confirmé la clarté de l’unité tonale du mouvement ou de l’œuvre
The analysis examined the impact of tonal relations and transformed formal types and functions on the compositional unity in Max Reger’s orchestral works. The theoretical background consisted of New Formenlehre and Harmonielehre. The form conceived as a succession of functions, was analyzed on the basis of Caplin’s formal function theory. His analytical apparatus was combined with the sophisticated punctuation model and the concept of “deformation” developed in the competing sonata theory of Hepokoski and Darcy. In consideration of tonal relationships and structure, the analysis adhered to Schoenberg’s concept of monotonality. The analytical attention was focused on harmonic motives derived from chords, progressions and the bass line. The Grundgestalt (basic configuration) was perceived as a motivic structure or quasi-arrhythmic interval contour. The analysis showed how Reger has confirmed the clarity of the tonal unity of a movement or work in whole
APA, Harvard, Vancouver, ISO, and other styles
6

Bertrand, Clément. "Reconnaissance de motifs dynamiques par automates temporisés à mémoire." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG034.

Full text
Abstract:
L'utilisation toujours plus importante de l'informatique et d'internet mène à une génération toujours plus importante de donnés et de communications. Ces données peuvent être par exemple des historiques de communication dans des réseaux sociaux ou encore des traces du trafic internet. De tels historiques de communications sont une forme de graphe dynamique formalisable par des flots de liens. De nombreux travaux s'articulent autour de la supervision et l'analyse de ces systèmes afin de détecter l'apparition de certains phénomènes ou scénarios spécifiques. Par exemple, dans le cadre de la sécurité, on souhaite détecter des tentatives d'intrusions concertées, tel des DDOS. Une première problématique est la création d'un langage général et normalisé de spécification de tel phénomène, car peu de langages existent et ils sont souvent spécifiques à certaines catégories de scénarios par soucis de performance. La seconde problématique principale est l'implémentation d'un prototype d'outil de reconnaissance pour détecter ces phénomènes dans des jeux de données issues de situation réelles.Notre approche consiste à représenter ces propriétés comme des motifs spécifiés avec un dérivé des expressions régulières: les expressions temporisées à couches mémoire. Ces expressions permettent à la fois de spécifier des contraintes de temps, et donc de représenter le dynamisme des systèmes, mais aussi de représenter des données d'un environnement ouvert. Ce dernier représente le fait que les entités/acteurs présents dans les réseaux étudiés ne sont pas toujours connues à l'avance et peuvent apparaitre ou disparaitre au cours de son évolution. Dans le cas de la détection d'intrusion, l'on ne peut pas connaitre les identités des attaquants à l'avance. Comme pour les expressions régulières, la théorie des automates offre des formalismes de reconnaissance pour les différents types de propriétés caractérisant les motifs. Le modèle des automates temporisés, est classique dans la littérature pour sa capacité à formaliser des contraintes de temps. De plus, les différentes classes d'automates à mémoire permettant la reconnaissance de langage sur des alphabets infinis, correspondant à des motifs sur des environnements ouverts. Nous avons conçu le modèle des automates temporisés à couches mémoire, intégrant les caractéristiques de ces deux catégories d'automates. L'une des caractéristiques de ce modèle est l'introduction de la notion de couches mémoire offrant une flexibilité quant à la définition de propriétés complexes. Nous prouvons l'équivalence entre cette classe d'automate et les expressions temporisées à couches mémoire avec un théorème semblable au théorème de Kleene. Cela nous permet de précisément caractériser, et positionner dans la littérature, la classe des motifs exprimés.Enfin, la dernière contribution de cette thèse est le développement et l'implémentation d'un algorithme de reconnaissance générique. Son implémentation dans un outil nous permet d'effectuer des expérimentations sur des flots de liens issus de réseaux réels. Nous avons ainsi pu modéliser des scénarios d'intrusion dans des réseaux, et appliquer notre outil au problème de la détection de communautés dans les réseaux sociaux
The globalized and increasing use of computers and the Internet have for consequences an always increasing quantity of data and online communications. Some examples of this data can be logs of social networks messages of Internet routers usages. Such communication logs are similar to dynamic graph formalized as link streams. The monitoring and analysis of this kind of systems are quite common, often looking for occurrences of specific communication patterns. For example, a common pattern in Security is the detection of concerted attacks toward a same target, such as a DDOS. One of the problems addressed in this thesis is the creation of a normalized specification language for such patterns in the networks. Not many similar languages exist because they are often specific to some kind of patterns due to performance issues. The other main issues applied during this thesis is the implementation of a prototype tool for the detection of this patterns in real life link streams.The chosen approach is to specify the pattern with a language inspired from the regular expressions : timed expressions with memory layer. This expressions are designed to specifie both timed constraints, to model the dynamism of the networks, and also data from an open environment. An open environment means that the entities specified in the pattern cannot be known in the first place and can also appear and disappear during the evolution of the network. For example, in intrusion detection, the indentities of the oppenents are hidden until the intrusion attempt. Following the example of regular expressions, the Automata theory offer tools to define a recognition principle for the different properties of this patterns. Timed automate is a classic and well studied automate model to specify and recognize timed systems and properties. Furthermore, the different class of memory automata formalizes some recognition principle for properties over infinite alphabets, used to represent patterns over open environment. We designed and formalized the Timed layered memory automate, integrating features of both memory and timed automata models. One of the specific feature of this model is the introduction of layered memory, offering more flexibility to define complex properties. We are proving the equivalence between the automata and specification language through a Kleene like theorem. Thus, we can easily define and compare the properties of our models to the ones from the literature. Our last contribution is the design and implementation of a generic pattern matching algorithm into a prototype tool. It gives us the opportunity to experiment on link streams from real world networks. We experimented by modeling and monitoring intrusion patterns and community detection in a social network
APA, Harvard, Vancouver, ISO, and other styles
7

Brunet, Paul. "Algebras of Relations : from algorithms to formal proofs." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSE1198/document.

Full text
Abstract:
Les algèbres de relations apparaissent naturellement dans de nombreux cadres, en informatique comme en mathématiques. Elles constituent en particulier un formalisme tout à fait adapté à la sémantique des programmes impératifs. Les algèbres de Kleene constituent un point de départ : ces algèbres jouissent de résultats de décidabilités très satisfaisants, et admettent une axiomatisation complète. L'objectif de cette thèse a été d'étendre les résultats connus sur les algèbres de Kleene à des extensions de celles-ci.Nous nous sommes tout d'abord intéressés à une extension connue : les algèbres de Kleene avec converse. La décidabilité de ces algèbres était déjà connue, mais l'algorithme prouvant ce résultat était trop compliqué pour être utilisé en pratique. Nous avons donné un algorithme plus simple, plus efficace, et dont la correction est plus facile à établir. Ceci nous a permis de placer ce problème dans la classe de complexité PSpace-complete.Nous avons ensuite étudié les allégories de Kleene. Sur cette extension, peu de résultats étaient connus. En suivant des résultats sur des algèbres proches, nous avons établi l'équivalence du problème d'égalité dans les allégories de Kleene à l'égalité de certains ensembles de graphes. Nous avons ensuite développé un modèle d'automate original (les automates de Petri), basé sur les réseaux de Petri, et avons établi l'équivalence de notre problème original avec le problème de comparaison de ces automates. Nous avons enfin développé un algorithme pour effectuer cette comparaison dans le cadre restreint des treillis de Kleene sans identité. Cet algorithme utilise un espace exponentiel. Néanmoins, nous avons pu établir que la comparaison d'automates de Petri dans ce cas est ExpSpace-complète. Enfin, nous nous sommes intéressés aux algèbres de Kleene Nominales. Nous avons réalisé que les descriptions existantes de ces algèbres n'étaient pas adaptées à la sémantique relationnelle des programmes. Nous les avons donc modifiées pour nos besoins, et ce faisant avons trouvé diverses variations naturelles de ce modèle. Nous avons donc étudié en détails et en Coq les ponts que l'on peut établir entre ces variantes, et entre le modèle “classique” et notre nouvelle version
Algebras of relations appear naturally in many contexts, in computer science as well as in mathematics. They constitute a framework well suited to the semantics of imperative programs. Kleene algebra are a starting point: these algebras enjoy very strong decidability properties, and a complete axiomatisation. The goal of this thesis was to export known results from Kleene algebra to some of its extensions. We first considered a known extension: Kleene algebras with converse. Decidability of these algebras was already known, but the algorithm witnessing this result was too complicated to be practical. We proposed a simpler algorithm, more efficient, and whose correctness is easier to establish. It allowed us to prove that this problem lies in the complexity class PSpace-complete.Then we studied Kleene allegories. Few results were known about this extension. Following results about closely related algebras, we established the equivalence between equality in Kleene allegories and equality of certain sets of graphs. We then developed an original automaton model (so-called Petri automata), based on Petri nets. We proved the equivalence between the original problem and comparing these automata. In the restricted setting of identity-free Kleene lattices, we also provided an algorithm performing this comparison. This algorithm uses exponential space. However, we proved that the problem of comparing Petri automata lies in the class ExpSpace-complete.Finally, we studied Nominal Kleene algebras. We realised that existing descriptions of these algebra were not suited to relational semantics of programming languages. We thus modified them accordingly, and doing so uncovered several natural variations of this model. We then studied formally the bridges one could build between these variations, and between the existing model and our new version of it. This study was conducted using the proof assistant Coq
APA, Harvard, Vancouver, ISO, and other styles
8

Caron, Pascal. "Langages rationnels et automates : de la théorie à la programmation." Rouen, 1997. http://www.theses.fr/1997ROUES079.

Full text
Abstract:
Cette thèse constitue un point de départ pour la programmation d'un système de calcul formel sur les automates, les semigroupes et les langages rationnels. On y trouve la caractérisation des automates construits selon l'algorithme de Glushkov. Des caractérisations de familles de langages testables à partir de leurs automates minimaux y sont également décrites. Le logiciel AGL regroupe un ensemble de packages Maple sur les automates, les semigroupes et les langages rationnels. L'ensemble des algorithmes déduits des caractérisations y est implémenté. Ce logiciel constitue un prototype pour un système de calcul formel dédié aux automates, aux semigroupes et aux langages rationnels.
APA, Harvard, Vancouver, ISO, and other styles
9

Tête, Claire. "Profondeur, dimension et résolutions en algèbre commutative : quelques aspects effectifs." Thesis, Poitiers, 2014. http://www.theses.fr/2014POIT2288/document.

Full text
Abstract:
Cette thèse d'algèbre commutative porte principalement sur la théorie de la profondeur. Nous nous efforçons d'en fournir une approche épurée d'hypothèse noethérienne dans l'espoir d'échapper aux idéaux premiers et ceci afin de manier des objets élémentaires et explicites. Parmi ces objets, figurent les complexes algébriques de Koszul et de Cech dont nous étudions les propriétés cohomologiques grâce à des résultats simples portant sur la cohomologie du totalisé d'un bicomplexe. Dans le cadre de la cohomologie de Cech, nous avons établi la longue suite exacte de Mayer-Vietoris avec un traitement reposant uniquement sur le maniement des éléments. Une autre notion importante est celle de dimension de Krull. Sa caractérisation en termes de monoïdes bords permet de montrer de manière expéditive le théorème d'annulation de Grothendieck en cohomologie de Cech. Nous fournissons également un algorithme permettant de compléter un polynôme homogène en un h.s.o.p.. La profondeur est intimement liée à la théorie des résolutions libres/projectives finies, en témoigne le théorème de Ferrand-Vasconcelos dont nous rapportons une généralisation due à Jouanolou. Par ailleurs, nous revenons sur des résultats faisant intervenir la profondeur des idéaux caractéristiques d'une résolution libre finie. Nous revisitons, dans un cas particulier, une construction due à Tate permettant d'expliciter une résolution projective totalement effective de l'idéal d'un point lisse d'une hypersurface. Enfin, nous abordons la théorie de la régularité en dimension 1 via l'étude des idéaux inversibles et fournissons un algorithme implémenté en Magma calculant l'anneau des entiers d'un corps de nombres
This Commutative Algebra thesis focuses mainly on the depth theory. We try to provide an approach without noetherian hypothesis in order to escape prime ideals and to handle only basic and explicit concepts. We study the algebraic complexes of Koszul and Cech and their cohomological properties by using simple results on the cohomology of the totalization of a bicomplex. In the Cech cohomology context we established the long exact sequence of Mayer-Vietoris only with a treatment based on the elements. Another important concept is that of Krull dimension. Its characterization in terms of monoids allows us to show expeditiously the vanishing Grothendieck theorem in Cech cohomology.We also provide an algorithm to complete a omogeneous polynomial in a h.s.o.p.. The depth is closely related to the theory of finite free/projective resolutions. We report a generalization of the Ferrand-Vasconcelos theorem due to Jouanolou. In addition, we review some results involving the depth of the ideals of expected ranks in a finite free resolution.We revisit, in a particular case, a construction due to Tate. This allows us to give an effective projective resolution of the ideal of a point of a smooth hypersurface. Finally, we discuss the regularity theory in dimension 1 by studying invertible ideals and provide an algorithm implemented in Magma computing the ring of integers of a number field
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Formella regler"

1

Chierchia, Gennaro. Dynamics of meaning: Anaphora, presupposition, and the theory of grammar. Chicago: University of Chicago Press, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Zinner, Reinhard. Qualitätsmanagement. Begriffe, Regeln, Formeln. Cornelsen Lehrbuch, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Häusler, Karl. Chemie kompakt. Formeln - Regeln - Gesetze. Oldenbourg Schulbuchverlag, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Peschel, Peter. Tabellenbuch Bautechnik. Tabellen - Formeln - Regeln - Bestimmungen. Europa-Lehrmittel, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Plutte, Carl-Günther, and Monika Schakmar. Kaufmännisches Rechnen. Regeln, Formeln, Beispiele. (Lernmaterialien). Cornelsen Lehrbuch, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Schaflechner, Jürgen. The Struggle Over Truth. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190850524.003.0002.

Full text
Abstract:
In the first chapter, the author evaluates the various possibilities to engage with the empirical material collected for this book. Due to the shrine’s new accessibility, paired with its recent institutionalization, many formerly disconnected practices and narratives started to meet on a regular basis. Doing fieldwork at the site, together with engaging with a variety of texts and other media, the author was confronted with the question of how to organize all of these voices that uniformly claimed to speak the truth about the shrine and its annexed practices. Chapter 1 elaborates on the theoretical foundations of this work through a concept the author calls “the solidification of tradition.” Utilizing newer anthropological theories of the ontological turn and supplementing them with the political philosophy of post-foundationalism helps the author to produce his own engagement with the various truth-claims encountered during his research.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Formella regler"

1

Tagliabue, Mauro. "Gregorio XI e la rinascita di San Miniato al Monte. Un esempio di riforma monastica promossa nel Trecento dai monaci di Monte Oliveto." In La Basilica di San Miniato al Monte di Firenze (1018-2018), 175–201. Florence: Firenze University Press, 2021. http://dx.doi.org/10.36253/978-88-5518-295-9.10.

Full text
Abstract:
The monastery of San Miniato, formerly Black Benedictine, in 1373 was entrusted to the care of the Monte Oliveto’s monks with the favor of pope Gregory XI. The paper retraces the reasons of this passage of observance, which took place during a difficult period for the city of Florence, engaged in the War of the Eight Saints, and in the context of an almost generalized crisis of Benedictine abbeys, analyzing the resumption of regular life and institutional innovations, such as the temporary mandate of abbots; until the site was abandoned after the mid-sixteenth century.
APA, Harvard, Vancouver, ISO, and other styles
2

"III. Mengentheorie: Elementare Begriffe und Regeln." In Formeln, Rechenregeln, EDV und Tabellen zur Statistik, 39–48. Oldenbourg Wissenschaftsverlag, 1998. http://dx.doi.org/10.1515/9783486796346-003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Scott, Mary Alice, and Richard Wright. "Increasing Access, Increasing Responsibility." In Unequal Coverage. NYU Press, 2017. http://dx.doi.org/10.18574/nyu/9781479897001.003.0011.

Full text
Abstract:
Mary Alice Scott and Richard Wright’s chapter explores the intersections of seemingly opposing understandings of health—as a “right” or a “responsibility”—in health care professionals’ commentaries on ACA implementation in a formerly free clinic in southern New Mexico. The concepts of co-responsibility and of patient engagement—increasingly central to health care and other social programs globally— were reflected in staff framing of health care problems, clinic activities, and conceptualizations of patients. Patient engagement requires motivating patients to increase participation in their own health care and empowering them to develop self-efficacy. As this chapter shows, there is often a mismatch between provider expectations of shared responsibility and the highly constrained actions of patients, who in this study confronted structural barriers including being homeless, lack of regular transportation, and undocumented immigration status.
APA, Harvard, Vancouver, ISO, and other styles
4

Jones, Cameron D. "“To Serve Both Majesties,” 1759–1784." In In Service of Two Masters, 117–46. Stanford University Press, 2018. http://dx.doi.org/10.11126/stanford/9781503604315.003.0005.

Full text
Abstract:
Chapter four explores the resurgence of Ocopa after the Juan Santos Atahualpa Rebellion. The relatively more pro-Franciscan atmosphere, caused in part by the ascension of Charles III to the throne, gave Ocopa enough money and resources from the Crown to restart in earnest their evangelization efforts in the Peruvian Amazon. As the chapter narrates, they were aided even more when after the expulsion of the Jesuits, Ocopa received territory and property formerly controlled by the Society. While attempts to evangelize were not always successful, with one of them ending in another rebellion, Ocopa showed itself to be one of the most powerful Franciscan institutions in the New World. Ocopa needed this influence with the rise of new ideas regarding evangelization in the frontier. The “new method,” sought to evangelize through colonization and commerce with minimal involvement from the regular clergy.
APA, Harvard, Vancouver, ISO, and other styles
5

Moutsopoulos, Evanghélos A. "Le Suranné Dans L’Art: Immanence et Nostalgie." In The Paideia Archive: Twentieth World Congress of Philosophy, 123–26. Philosophy Documentation Center, 1998. http://dx.doi.org/10.5840/wcp20-paideia1998118.

Full text
Abstract:
La catégorie du suranné, appliquée à l’objet esthétique, notamment au produit de l’activité artistique, désigne une mesure, un kairos, qui se situe entre l’ancien qui ne s’érige pas encore en classique et le contemporain qui n’est pas encore jugé démodé. Il qualifie tout objet esthétique en passe d’acquérir une valeur d’ancienneté sans pour autant s’affirmer comme universellement acceptable et sans s’imposer impérativement. Il ne détermine ni ce qui a vieilli ni ce que l’on qualifierait de vieillot; il dénote, plus particulièrement, un état intermédiaire, plus ou moins officiellement reconnu, qu’il relie au présent. Dans cet ordre d’idées, le suranné implique pour la conscience esthétique un jeu dialectique entre ce qui est directement vécu et ce qui est poursuivi, avec, en plus, un rien de dédain, mais aussi avec un certain regret à son égard. Il équivaut à un présent rétentionnel dont on voudrait, mais ne pourrait, se détacher; d’où la nostalgie que la conscience esthétique éprouve pour lui. D’ordre éminemment transitoire, l’objet suranné est un objet esthétiquement intermédiaire qui s’identifie à une hystérésis formelle autant que fonctionnelle. Dès lors, le suranné assure une continuité esthétique, oriente la conscience vers le passé, actualise l’inactuel et cautionne le rapprochement de ce qui est sujet à distanciation.
APA, Harvard, Vancouver, ISO, and other styles
6

Smith, Eric C. "“The rising glory of this continent”." In Oliver Hart and the Rise of Baptist America, 222–48. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780197506325.003.0011.

Full text
Abstract:
While most Baptists ultimately supported the American Revolution, many approached the conflict with a certain ambivalence, especially in New England and Virginia, where many of the Patriot leaders had actively suppressed their religious freedoms. Oliver Hart enthusiastically backed the cause of liberty from the beginning. At age fifty-two he accepted an assignment from the South Carolina Council of Safety to join the Patriot leader William Henry Drayton and the Presbyterian William Tennent III on a recruiting mission into the Tory-infested Carolina backcountry. While Hart found this to be rugged and distressing work, the mission was successful overall. Hart used the occasion of the new South Carolina state constitution to broker something of a merger between the formerly estranged Regular and Separate Baptists of the state, believing that they could gain greater concessions for religious freedom if they displayed a unified front to the state. When the British Army invaded Charleston in 1780, Hart’s conspicuous patriotism marked him for reparations from the Crown, and he fled northward in the company of Edmund Botsford. He would never return to the South.
APA, Harvard, Vancouver, ISO, and other styles
7

"TABLE 3 Major Commercial Fermentation Conditions for Cereal Foods Fermentation conditions Bread Beer Whiskey Soy sauce Miso Main starters Baker's yeast Brewer's yeast Distillery yeast Molds Molds (Saccharomyces (Saccharomyces (Saccharomyces (Aspergillus spp.) (Aspergillus spp.) cerevisiae) cerevisiae) cerevisiae) Saccharomyces rouxii Lactic acid bacteria Lactobacillus delbrueckii Cereals Milled wheat Barley (malted) Corn Soybeans (defatted) Rice Milled rye Sorghum Rye (malted or not) Wheat Barley Minor: Minor: Barley (malted) Minor: Soybeans Barley (malted) Corn Wheat Barley flour Wheat (malted) Rice Wheat Other ingredients Water Water Water Water Salt Salt Hops Salt Hot pepper Sugar Adjuncts Fat (corn syrup, sugar Emulsifiers or starch) Dough strengtheners Preservatives Enzymes Fermentation 1-6h2-10 days 2-3 days (Koji: 3 days at 30°C) (Koji: 2 days at 30°C) conditions 20-42°C 3-24°C 32-35°C 3-12 months 2 days to 1 year Aging: Aging: 15-30°C 30-50°C 3 days-1 month 2-3 years or more 0-13°C 21-30°C baker's yeast is probably the most common of these microorganisms that may be a problem are bacteria (usual-starters; it is commercially produced in liquid, paste (com-ly spore-forming or lactic acid bacteria, especially in some pressed), or dry form. Recently, commercial lactic acid yeast fermentations), wild yeasts, and molds. bacteria starters have been introduced for cereal fermenta-Several spore-forming bacteria (e.g., Bacillus spp.) may tions, but this application is less frequent than their regular produce amylases and degrade hydrated starchy materials. use in dairy or meat fermentations. A close control of the In bread, heat-tolerant spores of Bacillus subtilis (formerly performance of commercial starters is important, since it Bacillus mesentericus) survive the baking process; after a has a major effect on the final products. few days in bread, they produce a spoilage called ropiness, characterized by yellow spots on crumb, putrid pineapple aroma, and stringiness when breaking a piece of bread. The spores of these species, when contaminating flour, may Considering the diversity of the microbial flora that may cause a major problem in bakeries since they are highly re-be present in cereals to be fermented, undesirable microor-sistant in the environment and difficult to eliminate. How-ganisms are likely to be part of this flora and may produce ever, these bacterial infections have become rare in recent problems in the main fermentation process with subse-years, presumably due to improved sanitation. In beer, un-quent adverse effects on the final product. Nowadays these desirable microbial contamination is exhibited by viscosity, problems are lessened by good sanitary practices. Sources appearance, as well as aroma and flavor problems. of these organisms may be the cereals themselves, soil, as Microbial pathogens are usually not a problem for fer-well as any particular ingredient, surface contamination, mented cereals because of the inhibition brought about by and unsanitary handling. acids and ethanol generated by fermenting organisms. A Table 4 summarizes microbial problems likely to occur large proportion of fermented cereals are also eaten shortly during major cereal fermentations. In general, undesirable after complete cooking. However, the biggest problem." In Handbook of Cereal Science and Technology, Revised and Expanded, 765–70. CRC Press, 2000. http://dx.doi.org/10.1201/9781420027228-81.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formella regler"

1

Braccesi, Claudio, Filippo Cianetti, and Renzo Scaletta. "Development of a Methodology for the Evaluation of Motion Sickness Incidence in Railways." In ASME 2013 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/imece2013-64960.

Full text
Abstract:
The present paper illustrates an evaluation method developed by the authors to quantify the index of motion sickness incidence (MSI) in railways motion conditions. This index is formerly defined in literature to quantify diseases coming from low frequency motions (kinetosis). The proposed method, suggested as alternative to the only one existing in reference norm, involves PCT index, well known in railways context, and weighting curves for accelerometric signals, which are also specified in railways regulations. The approach of the method, consistent with the theoretical model, developed by the authors themselves in previous works, allows to obtain MSI index versus time and/or track progressive distance. The model is validated through comparison with experimental data available in literature and with measures recorded and obtained on regular trains during tests performed in Slovenia (EU).
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography