Sökning: "general logics"

Visar resultat 41 - 45 av 53 avhandlingar innehållade orden general logics.

1. 41. Lindström quantifiers and higher-order notions on finite structures

   Författare :Anders Andersson; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Finite model theory; generalized quantifiers; higher-order quantifiers and operators; bijective Ehrenfeucht-Fraïssé games; quantifying over quantifiers; isomorphism quantifiers; MATEMATIK; MATHEMATICS; MATEMATIK; matematisk logik; Mathematical Logic;

   Sammanfattning : The expressive power of first-order logic is very limited on finite structures. One important way to obtain stronger logics is to add Lindström quantifiers, and another is to add higher-order quantification. We investigate two different ways of combing the two approaches. LÄS MER

3. 42. A Quest for Legitimacy : Debating UN Security Council Rules on Terrorism and Non-proliferation

   Författare :Anette Ahrnens; Statsvetenskapliga institutionen; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Social sciences; law-making; hegemonic international law; non-proliferation; terrorism; UNSCR 1540; UNSCR 1373; United States; sovereign equality; power; Security Council; United Nations; legitimacy; international relations; international law; Political and administrative sciences; Samhällsvetenskaper; Statsvetenskap; förvaltningskunskap;

   Sammanfattning : Since the end of the Cold War, international politics and international law have not only become increasingly intertwined, but their mutual implications have also become increasingly recognized by scholars. Yet research explicitly addressing the question of how political factors affect the emergence of legal rules is still limited. LÄS MER

4. 43. The Internet of Things in Health, Social Care, and Wellbeing

   Författare :Andrés Laya; Jan Markendahl; Jesus Alonso-Zarate; Stefan Lundberg; Miquel Oliver Riera; KTH; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Internet-of-Things; Enabling ICT; Social care; Wellbeing; Business models; Business Ecosystems; Informations- och kommunikationsteknik; Information and Communication Technology;

   Sammanfattning : The Internet of Things (IoT) enables opportunities to remotely sense and control objects via communication networks. We study services based on connected devices and the collaboration they generate between the ICT and the Health, Social Care and Wellbeing (HSCWB) industries. LÄS MER

5. 44. Institutional Capacity for Territorial Cohesion

   Författare :Lisa van Well; Folke Snickars; Mats Johansson; Peter Ache; KTH; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

   Sammanfattning : Territorial cohesion has its legal basis in the Treaty of Lisbon and is one of the overarching goals in the 2007-2013 Cohesion Policy instruments. Still the definition of territorial cohesion can be characterized as a ‘moving target’ - each EU Member State and region conceptualizes the policy goal in as befits the specific regional challenges and opportunities of the territory. LÄS MER

7. 45. Ammattilaisbyrokratiat tehokkuuden aikakaudella : tasa­painoilua asiantuntijaeetoksen ja tehokkuuspaineiden välillä

   Författare :Tomi J. Kallio; Finland Tampere University; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

   Sammanfattning : Tässä väitöskirjatutkimuksessa tarkastellaan asiantuntijaorganisaatioita – erityisesti suomalaisia julkisomisteisia yliopisto- ja sairaalaorganisaatioita – tilanteessa, jossa pääasiassa näiden organisaatioiden ulkopuolelta tulevat paineet pakottavat niitä omaksumaan tehokkuusajattelun. Tutkimuksen lähtökohtana on ajatus siitä, että sairaala- ja yliopisto-organisaatiot, jotka Mintzbergin (1979) klassista terminologiaan soveltaen ovat malli-esimerkkejä organisaatiotyypistä, jota kutsutaan ammattilaisbyrokratiaksi, muistuttavat monilta keskeisiltä ominaispiirteiltään toisiaan. LÄS MER