Logic TK: algebric notions from Tarski's consequence operator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Managing a portfolio of corporate venture units : challenges in achieving within-unit focus and between-unit coordination

Principal Topic: There is increasing recognition that the organizational configurations of corporate venture units should depend on the types of ventures the unit seeks to develop (Burgelman, 1984; Hill and Birkinshaw, 2008). Distinction have been made between internal and external as well as exploitative versus explorative ventures (Hill and Birkinshaw, 2008; Narayan et al., 2009; Schildt et al., 2005). Assuming that firms do not want to limit themselves to a single type of venture, but rather employ a portfolio of ventures, the logical consequence is that firms should employ multiple corporate venture units. Each venture unit tailor-made for the type of venture it seeks to develop. Surprisingly, there is limited attention in the literature for the challenges of managing multiple corporate venture units in a single firm. Maintaining multiple venture units within one firm provides easier access to funding for new ideas (Hamel, 1999). It allows for freedom and flexibility to tie the organizational systems (Rice et al., 2000), autonomy (Hill and Rothaermel, 2003), and involvement of management (Day, 1994; Wadwha and Kotha, 2006) to the requirements of the individual ventures. Yet, the strategic objectives of a venture may change when uncertainty around the venture is resolved (Burgelman, 1984). For example, firms may decide to spin-in external ventures (Chesbrough, 2002) or spun-out ventures that prove strategically unimportant (Burgelman, 1984). This suggests that ventures might need to be transferred between venture units, e.g. from a more internally-driven corporate venture division to a corporate venture capital unit. Several studies suggested that ventures require different managerial skills across their phase of development (Desouza et al., 2007; O'Connor and Ayers, 2005; Kazanjian and Drazin, 1990; Westerman et al., 2006). To facilitate effective transfer between venture units and manage the overall venturing process, it is important that firms set up and manage integrative linkages. Integrative linkages provide synergies and coordination between differentiated units (Lawrence and Lorsch, 1967). Prior findings pointed to the important role of senior management (Westerman et al., 2006; Gilbert, 2006) and a shared organizational vision (Burgers et al., 2009) to coordinate venture units with mainstream businesses. We will draw on these literatures to investigate the key question of how to integratively manage multiple venture units. ---------- Methodology/Key Propositions: In order to seek an answer to the research question, we employ a case study approach that provides unique insights into how firms can break up their venturing process. We selected three Fortune 500 companies that employ multiple venturing units, IBM, Royal Dutch/ Shell and Nokia, and investigated and compared their approaches. It was important that the case companies somewhat differed in the type of venture units they employed as well as the way they integrate and coordinate their venture units. The data are based on extensive interviews and a variety of internal and external company documents to triangulate our findings (Eisenhardt, 1989). The key proposition of the article is that firms can best manage their multiple venture units through an ambidextrous design of loosely coupled units. This provides venture units with sufficient flexibility to employ organizational configurations that best support the type of venture they seek to develop, as well as provides sufficient integration to facilitate smooth transfer of ventures between venture units. Based on the case findings, we develop a generic framework for a new way of managing the venturing process through multiple corporate venture units. ---------- Results and Implications: One of our main findings is that these firms tend to organize their venture units according to phases in the venture development process. That is, they tend to have venture units aimed at incubation of venture ideas as well as units aimed more at the commercialization of ventures into a new business unit for the firm or a start-up. The companies in our case studies tended to coordinate venture units through integrative management skills or a coordinative venture unit that spanned multiple phases. We believe this paper makes two significant contributions. First, we extend prior venturing literature by addressing how firms manage a portfolio of venture units, each achieving different strategic objectives. Second, our framework provides recommendations on how firms should manage such an approach towards venturing. This helps to increase the likelihood of success of their venturing programs.

Blogging

Weblogs, or blogs, constitute a form and genre of online publishing that emerged in the mid-1990s as a logical consequence of the confluence of personal and professional home pages and new web publishing technologies. To overcome technological limitations, where news updates had to be manually inserted by editing the underlying HTML code, the early content-management systems in the second half of the 1990s built on server-side database technology to dynamically generate web pages; this enabled more convenient and more frequent content updates. Weblogs utilised such technologies to provide an up-to-date news feed, presenting individual news items in reverse chronological order. Most blogging platforms provide commenting functions that enable readers to respond to and discuss individual blog posts...

Moralidad, ética y ciencias

El panorama científico contemporáneo se nos manifiesta con una pronunciada asepsia con respecto a toda relación axiológica y una carencia notable de regulación ético-normativa, preocupando, en especial, el funcionamiento de las ciencias que tienen al hombre, directa o indirectamente, como sujeto de tratamiento. Una vez más, como en las épocas más puras de mecanicismo científico, el dato sensible, la reducción matemática (o lógico-matemática) y la expresión sólo teórica del pensamiento, se presentan como ingredientes necesarios y suficientes para alcanzar la verdad y la certeza. En este contexto, tanto a la Ética como a la Filosofía Moral le significa un gran esfuerzo obtener un lugar y ostentar alguna función propiamente científica en el cuadro de los saberes, hasta el extremo de sufrir el desprestigio o acusaciones de ilegitimidad, con la lógica consecuencia de no poder brindar bases sólidas a un ethos del científico, es decir, al proceder moralmente digno en la vida del científico.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

El predomínio del inglês en el lenguaje científico: características del lenguaje médico español en la actualidad

Sin lugar a dudas, el inglés se ha convertido en las últimas décadas en la lingua franca de la comunidad científica internacional, desplazando incluso a otras lenguas que tuvieron una gran importancia en otras épocas, caso del francés o del alemán. El lenguaje científico español también ha sucumbido a esta entrada masiva del inglés en las distintas disciplinas científico-técnicas, y presenta desde hace unas décadas ciertas características que no son propias de las reglas gramaticales del español y que son el fruto de una contaminación lingüística derivada de la penetración del inglés. El objetivo del presente artículo es analizar las características del lenguaje médico tal y como lo podemos encontrar en las publicaciones españolas actuales. Para ello, el artículo se divide en tres apartados: en primer lugar, haremos un breve recorrido por la historia del lenguaje médico como punto de partida para comprender la evolución de este lenguaje. En segundo lugar, analizaremos las características principales dentro de los niveles léxicosemántico, morfosintáctico y fonético-fonológico del lenguaje médico español y veremos la influencia que ha tenido el inglés en el proceso de evolución del mismo. En tercer lugar, examinaremos los procedimientos de creación y formación de términos médicos y cómo afectan al desarrollo lingüístico de la terminología.

La logique et les logiques : la question du pluralisme

Partant des travaux séminaux de Boole, Frege et Russell, le mémoire cherche à clarifier l‟enjeu du pluralisme logique à l‟ère de la prolifération des logiques non-classiques et des développements en informatique théorique et en théorie des preuves. Deux chapitres plus « historiques » sont à l‟ordre du jour : (1) le premier chapitre articule l‟absolutisme de Frege et Russell en prenant soin de montrer comment il exclut la possibilité d‟envisager des structures et des logiques alternatives; (2) le quatrième chapitre expose le chemin qui mena Carnap à l‟adoption de la méthode syntaxique et du principe de tolérance, pour ensuite dégager l‟instrumentalisme carnapien en philosophie de la Logique et des mathématiques. Passant par l‟analyse d‟une interprétation intuitive de la logique linéaire, le deuxième chapitre se tourne ensuite vers l‟établissement d‟une forme logico-mathématique de pluralisme logique à l‟aide de la théorie des relations d‟ordre et la théorie des catégories. Le troisième chapitre délimite le terrain de jeu des positions entourant le débat entre monisme et pluralisme puis offre un argument contre la thèse qui veut que le conflit entre logiques rivales soit apparent, le tout grâce à l‟utilisation du point de vue des logiques sous-structurelles. Enfin, le cinquième chapitre démontre que chacune des trois grandes approches au concept de conséquence logique (modèle-théorétique, preuve-théorétique et dialogique) forme un cadre suffisamment général pour établir un pluralisme. Bref, le mémoire est une défense du pluralisme logique.

Les relations mères-enfants lorsqu'un enfant enfreint une règle : étude de l'impact des stratégies visant à renforcer les règles et du climat interpersonnel

La documentation sur les pratiques parentales suggère qu’afin de favoriser le développement optimal des enfants, les parents devraient utiliser des pratiques qui sont structurantes et qui soutiennent leur autonomie (Grolnick & Pomerantz, 2009). Dans certaines situations, par exemple lorsqu’un enfant enfreint une règle, il peut toutefois sembler difficile pour les parents d’adopter des stratégies parentales qui allient ces deux dimensions. Qui plus est, peu d’études se sont penchées sur la façon dont les parents peuvent renforcer la structure tout en tenant simultanément compte des besoins et de l’individualité des enfants. L’objectif de cette thèse est d’évaluer l’impact de trois stratégies visant à renforcer les règles (répéter la règle, donner une punition ou avoir recours à une conséquence logique) variant quant à leurs niveaux de structure et de soutien à l’autonomie, et de vérifier leurs effets lorsqu’elles sont employées au sein d’un climat interpersonnel soutenant l’autonomie ou d’un climat interpersonnel contrôlant. Le premier article s’intéresse à l’impact conjoint des stratégies visant à renforcer les règles et du climat interpersonnel sur des indicateurs de conformité et d’intériorisation rapportés par 221 enfants et leurs mères. Les résultats montrent que les mères considèrent les conséquences logiques utilisées dans un climat qui soutient l’autonomie comme étant les pratiques les plus efficaces et les plus acceptables (effet interactif). Les enfants pensent aussi qu’un climat interpersonnel qui soutient l’autonomie est plus efficace et plus acceptable qu’un climat interpersonnel contrôlant. De plus, les résultats suggèrent que les enfants considèrent les conséquences logiques comme des pratiques aussi efficaces, mais plus acceptables que les punitions. Le fait de répéter la règle est jugé comme étant acceptable, mais peu efficace comparativement aux autres stratégies. Pour les enfants, les résultats montrent qu’il n’y a pas d’interaction entre les stratégies visant à renforcer les règles et le climat interpersonnel. Le second article vise à documenter les réactions émotionnelles potentielles des mêmes enfants (N = 221) face aux trois stratégies visant à renforcer les règles et aux climats interpersonnels. Quatre émotions déterminantes dans le processus d’intériorisation sont étudiées, soit la colère, la tristesse, la culpabilité et la honte. Les résultats montrent d’abord qu’un climat interpersonnel contrôlant amènerait les enfants à vivre plus de colère, de tristesse et de honte qu’un climat soutenant l’autonomie. Par contre, les enfants rapportent autant de culpabilité au sein des deux climats interpersonnels. Les résultats suggèrent également que les punitions susciteraient plus de tristesse, de culpabilité et de colère que les conséquences logiques, que les conséquences logiques feraient vivre aux enfants plus de tristesse et de culpabilité que répéter la règle et que les punitions amèneraient les enfants à vivre davantage de honte que répéter la règle. Finalement, les résultats suggèrent que les effets des stratégies visant à renforcer les règles et du climat interpersonnel sont additifs; il n’y a pas d’interaction entre ces deux facteurs. Les contributions théoriques de cette thèse à la documentation sur les pratiques parentales et le développement des enfants, de même que ses implications pratiques pour les parents dans la socialisation des enfants sont discutées.

Objetivos de desenvolvimento do milênio da ONU: redução da mortalidade na infância e saneamento básico urbano no estado do Pará

Saneamento básico e saúde são inseparáveis. Sob esta premissa, é conduzida a investigação contida neste estudo, que busca contribuir oferecendo à sociedade um ponto de vista interdisciplinar na formulação e acompanhamento das políticas públicas de saneamento básico urbano. O uso de indicadores urbanos é fator de melhoria no planejamento e gestão das cidades, e matéria atualíssima. Há fartura deles, entretanto este estudo busca a simplicidade cognitiva, embora sem reducionismo, e aí reside a preocupação com a interdisciplinaridade contida na abordagem desta investigação, que culmina com a proposição de modelo econométrico relacionando dados censitários sociais e sanitários. São estudadas as relações entre mortalidade na infância, população urbana, provisão de serviços urbanos de abastecimento de água, esgotamento sanitário e coleta de lixo. São verificadas as relações explicativas entre a variável de dependente constituída pelo produto mortalidade na infância x população urbana e as variáveis independentes populações urbanas atendidas com abastecimento de água, rede de esgoto e coleta de lixo. Consideradas as políticas de investimentos em saneamento expressas no Orçamento Geral do Estado do Pará para o ano de 2006 como usuais, e a partir do modelo desenvolvido, a mortalidade na infância é inferida para o ano de 2015, e comparada com a Meta dos Objetivos de Desenvolvimento do Milênio da ONU, a qual consiste na redução da mortalidade na infância em 2/3 entre os anos de 1990 e 2015. As estimativas de recursos para o atingimento dessa Meta indicam a necessidade de manter os investimentos em abastecimento de água, coleta de lixo e incrementálos em esgotamento sanitário. Como conseqüência lógica do raciocínio e das análises contidas no trabalho, é sugerido como critério de priorização no planejamento e alocação de recursos para ampliação da provisão de serviços urbanos de saneamento básico a mortalidade na infância.

William Harvey revisited

William Harvey's discovery of the circulation of the blood is often described as a product of the Scientific Revolution of the Seventeenth Century. Modern research has, however, shown thatHarvey followed the Aristotelian research tradition and thus tried to reveal the purpose of the organs through examination of various animals. His publication of 1628 has to be read as an argument of natural philosophy, or, more precisely, as a series of linked observations, experiments and philosophical reasonings from which the existence of circulation has to be deduced as a logical consequence. Harvey did not consider experiments as superior to philosophical reasoning nor intended he to create a new system of medicine. He believed in the vitality of the heart and the blood and rejected Francis Bacon's empirism and the mechanistic rationalism of Descartes. Harvey's contribution and originality lied less in his single observations and experiments but in the manner how he linked them with critical reasoning and how he accepted, presented and defended the ensuing radical findings.

Cyprus presidency and Turkey's relations with the European Union. OSW Commentary No. 82, 2012-06-26

Turkey’s intention to boycott Cyprus presidency of the EU Council in the second half of 2012 is a logical consequence of Ankara’s policy of not recognising the Republic of Cyprus. The boycott will have a negative but limited impact on Turkey-EU relations, and will not in practice significantly affect their intensity in the second half-year. The so-called positive agenda, a new co-operation mechanism between the EU and Turkey, offers a provisional way for the two sides to circumvent the formal obstacle for mutual contacts created by the Cyprus conflict. In itself, however, the launch of the positive agenda is not a breakthrough for Turkey’s integration with the EU. Any such breakthrough is unlikely to occur until progress is made in regulating the Cyprus conflict, and some member states change their attitude towards Turkey’s accession to the EU.

Extending the advanced forensic format to accommodate multiple data sources, logical evidence, arbitrary information and forensic workflow

Forensic analysis requires the acquisition and management of many different types of evidence, including individual disk drives, RAID sets, network packets, memory images, and extracted files. Often the same evidence is reviewed by several different tools or examiners in different locations. We propose a backwards-compatible redesign of the Advanced Forensic Formatdan open, extensible file format for storing and sharing of evidence, arbitrary case related information and analysis results among different tools. The new specification, termed AFF4, is designed to be simple to implement, built upon the well supported ZIP file format specification. Furthermore, the AFF4 implementation has downward comparability with existing AFF files.

Pharmacological consequence of the A118G μ opioid receptor polymorphism on morphine-and fentanyl-mediated modulation of Ca2+ channels in humanized mouse sensory neurons

Background: The most common functional single nucleotide polymorphism of the human OPRM1 gene, A118G, has been shown to be associated with interindividual differences in opioid analgesic requirements, particularly with morphine, in patients with acute postoperative pain. The purpose of this study was to examine whether this polymorphism would modulate the morphine and fentanyl pharmacological profile of sensory neurons isolated from a humanized mouse model homozygous for either the 118A or 118G allele. Methods: The coupling of wild-type and mutant μ opioid receptors to voltage-gated Ca channels after exposure to either ligand was examined by employing the whole cell variant of the patch-clamp technique in acutely dissociated trigeminal ganglion neurons. Morphine-mediated antinociception was measured in mice carrying either the 118AA or 118GG allele. RESULTS:: The biophysical parameters (cell size, current density, and peak current amplitude potential) measured from both groups of sensory neurons were not significantly different. In 118GG neurons, morphine was approximately fivefold less potent and 26% less efficacious than that observed in 118AA neurons. On the other hand, the potency and efficacy of fentanyl were similar for both groups of neurons. Morphine-mediated analgesia in 118GG mice was significantly reduced compared with the 118AA mice. Conclusions: This study provides evidence to suggest that the diminished clinical effect observed with morphine in 118G carriers results from an alteration of the receptor's pharmacology in sensory neurons. In addition, the impaired analgesic response with morphine may explain why carriers of this receptor variant have an increased susceptibility to become addicted to opioids. © 2011 the American Society of Anesthesiologists, Inc. Lippincott Williams & Wilkins. Anesthesiology.

YuMi deadly maths program : efficacy and collaboration

Historically, perceptions about mathematics and how it is taught and learned in schools have been mixed and as a consequence have an influence on self efficacy. There are those of us who see mathematics as logical and an enjoyable subject to learn, whilst others see mathematics as irrelevant, difficult and contributing to their school failure. Research has shown that over-represented in the latter are Aboriginal and Torres Strait Islander, low SES and ESL students. These students are the focus of YuMi Deadly Centre (YDC) professional learning and research work at the Queensland University of Technology in Brisbane.

Identification and evaluation of service bundles for governmental one-stop portals

Recent advances in the area of ‘Transformational Government’ position the citizen at the centre of focus. This paradigm shift from a department-centric to a citizen-centric focus requires governments to re-think their approach to service delivery, thereby decreasing costs and increasing citizen satisfaction. The introduction of franchises as a virtual business layer between the departments and their citizens is intended to provide a solution. Franchises are structured to address the needs of citizens independent of internal departmental structures. For delivering services online, governments pursue the development of a One-Stop Portal, which structures information and services through those franchises. Thus, each franchise can be mapped to a specific service bundle, which groups together services that are deemed to be of relevance to a specific citizen need. This study focuses on the development and evaluation of these service bundles. In particular, two research questions guide the line of investigation of this study: Research Question 1): What methods can be used by governments to identify service bundles as part of governmental One-Stop Portals? Research Question 2): How can the quality of service bundles in governmental One-Stop Portals be evaluated? The first research question asks about the identification of suitable service bundle identification methods. A literature review was conducted, to, initially, conceptualise the service bundling task, in general. As a consequence, a 4-layer model of service bundling and a morphological box were created, detailing characteristics that are of relevance when identifying service bundles. Furthermore, a literature review of Decision-Support Systems was conducted to identify approaches of relevance in different bundling scenarios. These initial findings were complemented by targeted studies of multiple leading governments in the e-government domain, as well as with a local expert in the field. Here, the aim was to identify the current status of online service delivery and service bundling in practice. These findings led to the conceptualising of two service bundle identification methods, applicable in the context of Queensland Government: On the one hand, a provider-driven approach, based on service description languages, attributes, and relationships between services was conceptualised. As well, a citizen-driven approach, based on analysing the outcomes from content identification and grouping workshops with citizens, was also conceptualised. Both methods were then applied and evaluated in practice. The conceptualisation of the provider-driven method for service bundling required the initial specification of relevant attributes that could be used to identify similarities between services called relationships; these relationships then formed the basis for the identification of service bundles. This study conceptualised and defined seven relationships, namely ‘Co-location’, ‘Resource’, ‘Co-occurrence’, ‘Event’, ‘Consumer’, ‘Provider’, and ‘Type’. The relationships, and the bundling method itself, were applied and refined as part of six Action Research cycles in collaboration with the Queensland Government. The findings show that attributes and relationships can be used effectively as a means for bundle identification, if distinct decision rules are in place to prescribe how services are to be identified. For the conceptualisation of the citizen-driven method, insights from the case studies led to the decision to involve citizens, through card sorting activities. Based on an initial list of services, relevant for a certain franchise, participating citizens grouped services according to their liking. The card sorting activity, as well as the required analysis and aggregation of the individual card sorting results, was analysed in depth as part of this study. A framework was developed that can be used as a decision-support tool to assist with the decision of what card sorting analysis method should be utilised in a given scenario. The characteristic features associated with card sorting in a government context led to the decision to utilise statistical analysis approaches, such as cluster analysis and factor analysis, to aggregate card sorting results. The second research question asks how the quality of service bundles can be assessed. An extensive literature review was conducted focussing on bundle, portal, and e-service quality. It was found that different studies use different constructs, terminology, and units of analysis, which makes comparing these models a difficult task. As a direct result, a framework was conceptualised, that can be used to position past and future studies in this research domain. Complementing the literature review, interviews conducted as part of the case studies with leaders in e-government, indicated that, typically, satisfaction is evaluated for the overall portal once the portal is online, but quality tests are not conducted during the development phase. Consequently, a research model which appropriately defines perceived service bundle quality would need to be developed from scratch. Based on existing theory, such as Theory of Reasoned Action, Expectation Confirmation Theory, and Theory of Affordances, perceived service bundle quality was defined as an inferential belief. Perceived service bundle quality was positioned within the nomological net of services. Based on the literature analysis on quality, and on the subsequent work of a focus group, the hypothesised antecedents (descriptive beliefs) of the construct and the associated question items were defined and the research model conceptualised. The model was then tested, refined, and finally validated during six Action Research cycles. Results show no significant difference in higher quality or higher satisfaction among users for either the provider-driven method or for the citizen-driven method. The decision on which method to choose, it was found, should be based on contextual factors, such as objectives, resources, and the need for visibility. The constructs of the bundle quality model were examined. While the quality of bundles identified through the citizen-centric approach could be explained through the constructs ‘Navigation’, ‘Ease of Understanding’, and ‘Organisation’, bundles identified through the provider-driven approach could be explained solely through the constructs ‘Navigation’ and ‘Ease of Understanding’. An active labelling style for bundles, as part of the provider-driven Information Architecture, had a larger impact on ‘Quality’ than the topical labelling style used in the citizen-centric Information Architecture. However, ‘Organisation’, reflecting the internal, logical structure of the Information Architecture, was a significant factor impacting on ‘Quality’ only in the citizen-driven Information Architecture. Hence, it was concluded that active labelling can compensate for a lack of logical structure. Further studies are needed to further test this conjecture. Such studies may involve building alternative models and conducting additional empirical research (e.g. use of an active labelling style for the citizen-driven Information Architecture). This thesis contributes to the body of knowledge in several ways. Firstly, it presents an empirically validated model of the factors explaining and predicting a citizen’s perception of service bundle quality. Secondly, it provides two alternative methods that can be used by governments to identify service bundles in structuring the content of a One-Stop Portal. Thirdly, this thesis provides a detailed narrative to suggest how the recent paradigm shift in the public domain, towards a citizen-centric focus, can be pursued by governments; the research methodology followed by this study can serve as an exemplar for governments seeking to achieve a citizen-centric approach to service delivery.