Dissertations / Theses on the topic 'Logic of the work'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Logic of the work.'
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.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Kelan, Elisabeth Kristina. "Binary logic? : doing gender in information communication technology work." Thesis, London School of Economics and Political Science (University of London), 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.429370.
Full textDutra, Ines de Castro. "Distributing and- and or-work in the Andorra-I parallel logic programming system." Thesis, University of Bristol, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.260853.
Full textWalsh, Alison. "Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce." Thesis, Middlesex University, 1999. http://eprints.mdx.ac.uk/6432/.
Full textIJsselmuiden, Joris [Verfasser], and R. [Akademischer Betreuer] Stiefelhagen. "Interaction Analysis in Smart Work Environments through Fuzzy Temporal Logic / Joris IJsselmuiden. Betreuer: R. Stiefelhagen." Karlsruhe : KIT-Bibliothek, 2014. http://d-nb.info/1058165275/34.
Full textRussell-Morris, Brianne. "The logic of welfare reform an analysis of the reauthorization of the Personal Responsibility and Work Opportunity Reconciliation Act of 1996 /." Fairfax, VA : George Mason University, 2009. http://hdl.handle.net/1920/4533.
Full textVita: p. 110. Thesis director: Nancy Weiss Hanrahan. Submitted in partial fulfillment of the requirements for the degree of Master of Arts in Interdisciplinary Studies. Title from PDF t.p. (viewed June 10, 2009). Includes bibliographical references (p. 97-109). Also issued in print.
Karakaya, Selami Tansel. "Coastal Scenic Assesment Using Fuzzy Logic Approach." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605661/index.pdf.
Full textPanichelli, Meg Rose. "The Intersections of Good Intentions, Criminality, and Anti-Carceral Feminist Logic: a Qualitative Study that Explores Sex Trades Content in Social Work Education." PDXScholar, 2018. https://pdxscholar.library.pdx.edu/open_access_etds/4512.
Full textChong, Jan Ning. "Knowledge sharing and work practice /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textParsland, Ellen. "Med logik som styrmedel. : En studie om aktiveringspolitiska förändringar i socialpolitiken." Thesis, Linnéuniversitetet, Institutionen för socialt arbete (SA), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-70894.
Full textPradic, Pierre. "Some proof-theoretical approaches to Monadic Second-Order logic." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEN028.
Full textThis thesis studies certain aspects of Monadic Second-Order logic over infinitewords (MSO) through the lens of proof-theory. It is split into two independentparts.The first parts studies intuitionistic variants of MSO with strong witnessing properties allowing the extraction of synchronous functions from formal proof derivations.A constructive system with a suitable witnessing property is defined and proven correct and complete with respect to Church’s synthesis. To this end, the usual correspondence between MSO formulas and automata is refined to give a semantics of the constructive subsystem where proofs are correspond to simulations between non-deterministic automata. This notion is extended toalternating automata. This leads to a finer-grained system based on linear logicand MSO, which is then approached similarly. A stronger completeness theoremis shown for this latter system; the proof requires the determination of ω-regular games and an interpretation of linear formulas reminiscent of Gödel’sDialectica.The second part of this thesis is concerned with the axiomatic strength of the decidability theorem for MSO over infinite words and related results on infinite word automata. We proveamong other things an equivalence between the decidability of MSO, the additive version ofRamsey’s theorem for pairs and the principle of Σ⁰₂-induction over the weak artithmetical theoryRCA₀. We conclude this part by collecting a few results concerning the decidability of MSO overrationals, showing that axioms beyond Σ⁰₂-induction are necessary in that case
Hunter, Michael Allen. "Bodies ar work in bodies of work : Ronald Firbank and the corpus of modernist authorship /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textHerrmann, Andrew F. ""Killing in the Name of…." Organizational Logic, Ethics, and Discourses in The Cabin in the Woods." Digital Commons @ East Tennessee State University, 2016. https://dc.etsu.edu/etsu-works/795.
Full textDragojlovic-Oliveira, Sonja. "Institutional work for enduring logics : sustainability evaluation in architectural awards." Thesis, University of Reading, 2014. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.706296.
Full textHills, Alex. "Fearful symmetry : a work for orchestra /." May be available electronically:, 2004. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textYeganehtalab, Babak. "Construction Management Methods and Techniques in Army Tactical Shelter." Thesis, University of North Texas, 2019. https://digital.library.unt.edu/ark:/67531/metadc1609144/.
Full textMacMillan, Scott. "Towards an existential approach to the meaning of work /." Halifax, N.S. : Saint Mary's University, 2009. http://library.smu.ca:2048/login?url=.
Full textMeng, Ke. "Political institutions, skill formation, and pension policy : the political-economic logic of China's pension system." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:4fd792f6-3b4a-46e0-9566-582de50e7106.
Full textGoda, Gopi Shah. "Understanding the incentives for work and retirement /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textCarberry, Helen. "Semiotic analysis of clinical chemistry: for " knowledge work " in the medical sciences." Queensland University of Technology, 2003. http://eprints.qut.edu.au/15809/.
Full textWang, Zhenyu. "Modeling crash severity and speed profile at roadway work zones." [Tampa, Fla] : University of South Florida, 2008. http://purl.fcla.edu/usf/dc/et/SFE0002515.
Full textSharma, Garima. "Corporate Social Initiatives: Signification Work for Value Creation." Case Western Reserve University School of Graduate Studies / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=case1370521564.
Full textCarleton, Erica Leigh. "Happiness at work : using positive psychology interventions to increase worker well-being /." Halifax, N.S. : Saint Mary's University, 2009. http://library.smu.ca:2048/login?url=.
Full textRunning head: Interventions to increase worker happiness. Includes abstract and appendices. Supervisor: Kevin Kelloway. Includes bibliographical references (leaves 46-55).
Buettner, Raymond R. "The impact of communal knowledge mechansims [sic] on project work /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textRodríguez-Lluesma, Carlos. "Structuring emotions : emotions as interface between organizational structure and work /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textBeyene, Tsedal. "Fluency as stigma : implications of a language mandate in global work /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textSequeira, Movin. "Developing decision-support tools for evaluation of manufacturing reshoring decisions." Licentiate thesis, Tekniska Högskolan, Jönköping University, JTH, Industriell produktutveckling, produktion och design, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-48263.
Full textUnder de tre senaste decennierna har många företag flyttat sin produktion till lågkostnadsländer för att kunna utnyttja lägre lönekostnader. Många gånger har företagen genom denna åtgärd lyckats sänka sin tillverkningskostnad men samtidigt drabbats av oförutsedda problem kopplat till exempelvis produkt-kvalitet och möjligheten att kundanpassa produkter. Hanteringen av problemen har lett till ytterligare kostnader som många gånger överstigit besparingen i tillverkningskostnad. Detta har lett till att allt fler företag börjat flytta tillbaka sin produktion till hemlandet, så kallad reshoring. Reshoring är ett ungt område där det saknas forskning gällande bland annat hur den här typen av beslut på bästa sätt kan utvärderas och vilken typ av beslutstöd som kan underlätta den här typen av beslut. Därför är syftet med den här avhandlingen är att utveckla beslutsstödverktyg för utvärdering av reshoring beslut. För att uppfylla syftet har två forskningsfrågor formulerats. Den första frågan handlar om hur industriexperter resonerar kring reshoring beslut (RQ1) medan den andra frågan handlar om hur deras resonemang kan modelleras i beslutsstödverktyg (RQ2). Tre studier har genomförts för att besvara forskningsfrågorna, en fallstudie och två modelleringsstudier. Fallstudien fokuserar på att identifiera vilka kriterier som industriexperter beaktar medan modelleringsstudierna fokuserar på att utveckla beslutstödsverktyg där en del av dessa kriterier beaktas, med hjälp av fuzzy logic och analytical hierarchy process (AHP). Resultaten från forskningen visar att industriexperter bedömer reshoring beslut utifrån ett holistiskt perspektiv. En stor del av dessa beslutskriterier finns inom konkurrenskraft kategorin och inom dessa, har industriexperterna lagt högst vikt på kvalitet och lägst vikt på hållbarhet. Genom fuzzy logic modellering modellerades kriterierna på en övergripande nivå. Tre nya fuzzy logic koncept utvecklades för att fånga experternas resonemang. Dessutom utvecklades två konfigurationer med sexton olika inställningar, och de bästa identifierades. AHP-baserade verktyg utvecklades för att fånga experternas resonemang om kriterierna för konkurrenskraft prioriteringar. Fuzzy logic-baserade verktyg kan bättre fånga experternas resonemang kring reshoring beslut. Denna forskning bidrar till teori med en holistisk lista över beslutskriterier för reshoring beslut, och till praktik med beslutsstöd verktyg för utvärdering av reshoring beslut.
Mattaparthy, Jaya Vinay. "Cognitive work analysis for design of instructional practice in engineering education." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.
Full textLeung, Peter Ho-Ting. "Design for workshare : a framework to identify and evaluate distributed work risk /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textMastri, Annalisa Igina. "The effect of work/life balance policies on employee retention and profitability /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textCarnestedt, Ljungberg Molly. "Vem får ställa ut på den samtida konstscenen? : Betydelsen av kön." Thesis, Södertörns högskola, Institutionen för samhällsvetenskaper, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-24328.
Full textStudien undersöker hur könsfördelningen ser ut på den samtida konstscenen i Sverige. I vilken utsträckning kön representeras på ett jämställt sätt inom utställningsproduktion antas kopplat till hur de delaktiga i beslutsprocessen förhåller sig till externt jämställdhetsarbete. Tre kategorier av organisationer studeras för att kunna avgöra om det finns skillnader i tillvägagångssätt. Officiella dokument från varje organisation undersöks för att förstå hur de formellt förhåller sig till jämställdhetsarbete. Statistik av den faktiska könsfördelningen för varje organisation tas fram från de två senaste årens utställningsarkiv. Studien innefattar även intervjuer med en beslutsfattande person från respektive organisation; två statliga konstinstitutioner, två privata konsthallar och två privata gallerier. Undersökningen syftar till att skapa förståelse för vad som ligger till grund för valet av konstnärer. Studien har sin teoretiska utgångspunkt i institutionell teori och använder en del av teorin som kallas lämplighetslogiken. Teorin förklarar individuellt beteende som beroende av sin kontext, utifrån de tre aspekterna identitet, regler och situation. Slutsatserna för undersökningen är att samtliga respondenter visar en stor medvetenhet kring könsfördelningen men att andra variabler tenderar att vara viktigare i valet av konstnärer. Hur organisationerna formellt förhåller sig till jämställdhetsarbete har en begränsad påverkan på det praktiska utfallet. Desto mer betydelsefullt är huruvida dessa värderingar finns implementerade i företagskulturen och hos de som är delaktiga i beslutsprocessen.
Del, Cet Riccardo. "Passaggio da più linee monoprodotto gestite con logica push ad una linea multiprodotto gestita con logica pull." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020.
Find full textLu, Ching-Huang. "Bilayer metal gate electrodes with tunable work function : behavior, mechanism, and device characteristics /." May be available electronically:, 2007. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textChen, Selma Shu-Mei. "The effects of L1 word order and English proficiency on non-English speakers' sentence processing." Virtual Press, 1989. http://liblink.bsu.edu/uhtbin/catkey/720150.
Full textDepartment of English
Wong, Gloria Man Ting. "An investigation of the work function of metal gate electrodes for advanced CMOS applications /." May be available electronically:, 2008. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textGeorge, Dileep. "How the brain might work : a hierarchical and temporal model for learning and recognition /." May be available electronically:, 2008. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textOzdemir, Mustafa. "A Probabilistic Schedule Delay Analysis In Construction Projects By Using Fuzzy Logic Incorporated With Relative Importance Index (rii) Method." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12612169/index.pdf.
Full textInsarauto, Valeria. "Lost in transition ? : social uses of women's part-time work hanging in between old and new logics." Paris, EHESS, 2013. http://www.theses.fr/2013EHES0146.
Full textDespite the growing diversification of part-time work social uses and of the groups of workers concerned by this employment form, its use as a tool for balancing work and family remains the most widespread and it is a crucial component at the basis of gendered career paths. This thesis studies the logics behind the development of the strong feminization of part-time work in light of the social uses of women's part-time work, in order to understand if and how such uses are likely to give rise to new non-gendered configurations of work-life articulation. The comparison between France and Italy is used as an effective research strategy and it is the background on which is projected the quantitative analysis of data from the Enquête Emploi (2003-2009) and Rilevazione sulle Forze di Lavoro (2004-2010). The analysis sets part-time work social uses with respect to the transitions between différent employment statuses and sphères of activity that may occur over the life-course, with the aim of examining the rôle that part-time work can play in this context. The specificity of women's practices with respect to part-time work social uses émerges as an important factor of change. These practices arise within institutional and socio-economic contexts that trigger different types of constraint and opportunity for the development of new logics of social uses. This cornes up to patterns of use that can be defined as "diversified" in France and "polarized" in Italy, which point out the complexity of societal issues that they embody
Suharman, Hamzah. "Development of A Practical Model for Pavement Management Systems." 京都大学 (Kyoto University), 2012. http://hdl.handle.net/2433/157549.
Full textSegovia, Villarreal Santiago Eduardo. "Linking worker health and well-being with business performance measures in the maquiladora manufacturing industry in the US-Mexico Border Region." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.
Full textKnight, Edith C. "A multi-foci integration of justice, commitment, and positive affective well-being /." Halifax, N.S. : Saint Mary's University, 2009. http://library.smu.ca:2048/login?url=.
Full textHartmann, Markus. "Wissensbasierte Modellierung vernetzt-kooperativer Gebäudeplanung unter Verwendung von Methoden der Fuzzy-Logik." Düsseldorf VDI-Verl, 2008. http://d-nb.info/989482170/04.
Full textDornelles, Roberto Anderson. "Formação humana ou adaptação à lógica do capital? um estudo sobre os processos de educação de adolescentes privados de liberdade na FASE-RS." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2012. http://hdl.handle.net/10183/40487.
Full textThis work seeks to analyze the processes of education directed to adolescents in conflict with the law under the deprivation of liberty in the Socio-Educational Services Foundation of Rio Grande do Sul (FASE-RS), and as a central concern of special education through the school - while formal training / regular - and "job training" in this environment. The locations of the survey field were Senador Pasqualini School Unit Chief Priest of the Center for Socio- Educational Services (CASE-PC) and Social Center (CECON) - where they are held workshops of “professionalization”. Specifically, this research turns to the formation processes developed within a detention institution in a closed regime and the role that school and work have these processes. This dissertation also wanted to verify what are the possibilities and limits of development of an expanded education, while training and human omnilateral polytechnic. The method underlying this dissertation is the historical and dialectical materialism, and the categories of totality, historicity and contradiction, support for the conduct of research. The methodology was the organizer of the research case study, with the techniques of data collection, focus groups, semi-structured interviews and field notes. The main finding of this study was that the processes of formation of the FASE-RS lead to a tacit acceptance of and naturalized form of social organization, resulting in proposals that invariably boil down to trying to “impress” or “instill” in the minds of adolescents ideology the ruling class. The formation processes of FASE-RS are reduced to an attempt to get adolescents to accept the logic of the capitalist system, preventing any critical position that enables teens to question or problematize the current form of social organization, which are submitted and suffer serious consequences. Thus, these formation processes are restricted to feeding a hope for future integration into the labor market and said that the adolescent is able and must strive to enter in this society.
Woodside, Sarah Jean. "Social Mission or Revenue Generation?: Challenges and Opportunities in Social Enterprise from Competing Institutional Logics." Thesis, Boston College, 2016. http://hdl.handle.net/2345/bc-ir:106872.
Full textSocial enterprises are nonprofit, for-profit or hybrid organizations that use business methods to create social change (Dees 2007; Light 2005; Martin and Osberg 2007; Neck, Brush, and Allen 2009;). If it succeeds, the social enterprise model could prove to be a viable pathway to greater social justice in an era of decreasing funding for government services and nonprofits (Emerson and Twersky 1996; Harding 2004; Murphy and Coombs 2009; Wilson 2008). However, skeptics worry that the perils of privatization, bottom-line thinking, and deceptive marketing potentially embodied by the “business methods” that social enterprises employ may undermine the potential of this new approach to solving social problems (Bateman and Chang 2012; Farmer 2009; Nega and Schneider 2014). The three articles that make up this dissertation examined the ways social entrepreneurs perceived and managed tensions between social mission and market institutional logics. Their ability (or lack thereof) to reconcile these contradictory imperatives could contribute to whether social enterprises ultimately succeed or fail as vehicles for positive social change. Social Entrepreneurs at the Crossroads: Four Approaches to Responding to Dual Institutional Logics suggests that the widely accepted characterization of social entrepreneurs as compassionate individuals motivated to address intractable social problems innovatively (Alvord, Brown and Letts 2004; Lehner and Germak 2014; Mair and Marti 2006; Miller, Grimes, McMullen and Vogus 2012) is simplistic. From in-depth interviews with twenty (inter)nationally recognized social entrepreneurs I derived four distinct categories: Disillusioned Dreamers, Social Capitalists, Do-Somethings, and Bridgebuilders. Half of these respondents did not perceive tensions between logics; another quarter did not wrestle with the tensions they perceived. Only the Bridgebuilders perceived tensions and then persisted in focusing on both logics and sets of actors to harness synergies. As a result, only Bridgebuilders offer a truly hybrid model for social mission work within the current economic context, whereas the others hew toward a single dominant logic. One Size Does Not Fit All: Legal Form and US WISEs focuses on work integration social enterprises (WISEs), organizations that address the chronic unemployment of marginalized populations. The data demonstrated that contrary to the expectation that WISEs would exemplify “contested” organizations (Besharov and Smith 2014), eight of the ten WISEs studied did not experience significant conflict between social mission and market logics. Rather, WISEs generally had one logic that dominated their operations: a market logic in for-profit WISEs and a social mission logic in nonprofit WISEs. Workers’ employability emerged as an important variable, with for-profit WISEs creating jobs for more employable populations and nonprofits offering job training and “wraparound” services to harder-to-employ populations. Only two WISEs experienced substantial tensions, when social entrepreneurs attempted to prioritize a job training/services mission within a for-profit form. This data demonstrates that a job creation approach aligns best with a for-profit WISE form and a job training/services approach to a nonprofit WISE form. However, neither form has succeeded in creating a system-transforming model that successfully combines revenue generation with a robust training/services/job creation mission. This suggests that breaking traditional nonprofit and for-profit patterns to deliver substantial market and social mission outcomes within a single organization is a significant challenge. Stakeholder Resistance to Social Enterprise Hybridity examines how social entrepreneurs perceive the support of key stakeholders in their attempts to balance competing social mission and market logics. Despite evidence of social interest in ethical capitalism, this data suggests that well-resourced stakeholders push social entrepreneurs to prioritize price, revenue generation, and measurement. This includes both traditional organizational stakeholders and hybrid-specific stakeholders. Customers and clients demanded low prices and high value. Donors demanded quantification and impact measurement. Investors expected market rate financial return. Finally, social enterprise gatekeeper organizations (fellowship granting bodies) were focused on the market logic characteristics of sustainability, scale, and entrepreneurial ability, pushing the field toward market logic modes of operating. Social entrepreneurs generally responded by acquiescing to pressure to emphasize a market logic in their interactions. Counter to current literature that suggests social entrepreneurs should problem-solve to avoid single logic dominance, social entrepreneurs generally allowed price, business strategy, competition and measurement to shape their interactions with stakeholders. Given the importance of stakeholder buy-in for organizational legitimacy, the field of social enterprise needs to find a way to create and capture stakeholder support for dual logics rather than depending on individual social entrepreneurs to withstand the push toward marketization. Overall, despite persistent efforts at creative solutions to social problems by some individuals, the research shows a strong undertow for social enterprises to adopt business logics and business models
Thesis (PhD) — Boston College, 2016
Submitted to: Boston College. Graduate School of Arts and Sciences
Discipline: Sociology
Ghaziani, Aydin. "A Fuzzy Delay Assessment Tool For Construction Projects." Master's thesis, METU, 2012. http://etd.lib.metu.edu.tr/upload/12614595/index.pdf.
Full textMihalicek, Vedrana. "Serbo-Croatian Word Order: A Logical Approach." The Ohio State University, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=osu1354280257.
Full textSmets, Michael. "Doing deals in a global law firm : the reciprocity of institutions and work." Thesis, University of Oxford, 2008. http://ora.ox.ac.uk/objects/uuid:48185e10-6537-4305-8af3-8ccb27a07ebb.
Full textBaschenis, Félix. "Minimizing resources for regular word transductions." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0810/document.
Full textThe goal of this thesis was to study definability questionsabout finite-state transducers and in particular two-waytransducers. It is known that two-way transducers cover a larger classof transductions than one-way transducers. Then the first question wetackled is the one-way definability problem: is it possible torealize a given two-way transduction by a one-way transducer? Thisproblem was shown to be decidable for functionaltransducers (we also show as a side result that one-way definability becomes undecidable for non-functional transducers) but the decision procedure had non-elementary complexity.We proposed a characterization of one-way definability thatallows us to decide it in double-exponential space, and provide anequivalent one-way transducer of triple-exponential size. We firststudied this question for a restricted class, namely sweepingtransducers, for which the decision procedure and the construction ofthe one-way transducer take one less exponential. For suchtransducers, our procedure is optimal in the sense that we have shownthat there exists a family of functions that are one-way definable andfor which an equivalent one-way transducer requires doubly exponentialsize.The study of sweeping transducers raised other definability questions: Is a given transducer equivalent to some sweeping transducer? And to some sweeping transducer that performs at most k passes? We showed that those questions are decidable and the decision procedure, as well as the equivalent transducer, have the same complexity as in the one-way case. Moreover, as we have shown that there exists a bound on the number of passes required to realize a transduction by a sweeping transducer, we managed to obtain a procedure to minimize the number of passes of a sweeping transducer.Finally we tried to characterize sweeping transducers in other models for regular transductions such as Streaming String transducers (SST) and MSO transductions. As we obtained an equivalence between the number of passes of a sweeping transducer and the number of registers of the equivalent SST we provided a minimization procedure for the number of registers of a large class of SST's. To conclude, our work allowed us to provide a good overall understanding of the definability questions between the models for regular transductions and in particular regarding the resources, whether it is the number of passes (and of course one-way definability is crucial in that aspect) or the number of registers
Reis, Marina Rodrigues Corrêa dos. "O braço esquerdo do capital e a lógica onímoda do trabalho: gênese, função e análise imanente da política de Assistência Social no Brasil." Universidade Federal de Juiz de Fora (UFJF), 2016. https://repositorio.ufjf.br/jspui/handle/ufjf/3791.
Full textApproved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-03-21T13:26:57Z (GMT) No. of bitstreams: 1 marinarodriguescorreadosreis.pdf: 1602025 bytes, checksum: 2029bb3056774cc58502a442f7bfb296 (MD5)
Made available in DSpace on 2017-03-21T13:26:57Z (GMT). No. of bitstreams: 1 marinarodriguescorreadosreis.pdf: 1602025 bytes, checksum: 2029bb3056774cc58502a442f7bfb296 (MD5) Previous issue date: 2016-09-01
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
A política de Assistência Social é concebida no presente trabalho como uma conquista da classe trabalhadora, assim como um instrumento que é funcional à ordem social vigente. A tese fundamental deste estudo é a de que a Política de Assistência Social reflete as necessidades da classe trabalhadora segundo os interesses da classe dominante. Nessa perspectiva, coloca-se como questão central deste estudo: discutir em que se constitui uma política de Assistência Social sob a lógica do trabalho. A partir do debate acerca da constituição dessa política no país, dos limites inerentes à própria dimensão política e jurídica é que analisaremos a norma propriamente dita – a Política Nacional de Assistência Social e a Lei Orgânica de Assistência Social. Com base no estudo da gênese e da “função social” que a política de Assistência Social desempenha, tem lugar a análise imanente da política em voga. Parte-se da premissa de que a Política de Assistência Social somente tem potencial de tensionar as contradições se perspectivada pela lógica do trabalho. Caso vincule-se a outra lógica, de reprodução do modo de produção capitalista, coloca-se como urgente a necessidade de avançar em uma nova proposta de política.
The Social Assistance Policy is studied in this work as an achievement of the working class and as an instrument that acts in benefit to the actual social order, the fundamental thesis here is the fact that the Social Assistance Policy supports the working class needs, but it is done in accordance with the set of interests of the dominant classes. In this perspective, the main point of this study takes place: performing a discussion of what are the bases of a Social Assistance Policy under the point of view of the logic of the Work. Using arguments in a form of debate about the constitution of this policy in the country, the limits inherent to the political and legal dimensions, we perform the analysis of the low itself – PNAS and LOAS. From the studies of the genesis and of the “social function” of the Social Assistance Policy, we present the immanent analysis of the Policy. The starting point is the statement that the Social Assistance Policy only has the potential to perform any tension over the social contradictions if it is seen from the logic of the Work. Otherwise, if we look for it from the logic based on the reproduction of the capitalist mode of production, it becomes urgent the need to elaborate a new Policy proposal.
Wang, Justin Wen-Lo. "Sometimes I feel the space between people (voices) in terms of tempos-- : a work for percussion duo with computer animated notational interface /." May be available electronically:, 2008. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textIncludes performance instructions (p. 16-18). "This piece will employ novel notation and scoring techniques using custom-designed software for animated notation, real-time composition and performance based interactivity."--p. iv. Accompanying CD-ROM contains computer-animated software. Includes bibliographical references (p. 20).
Patton, William Donald. "James McCosh : the making of a reputation. A study of the life and work of the Rev. Dr. James McCosh in Ireland, from his appointment as a Professor of Logic and Metaphysics in Queen's College Belfast 1851, to his appointment as President of Princeton Col." Thesis, Queen's University Belfast, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.359120.
Full text