42,485 research outputs found
Internal representation and factional faultlines as antecedents for board performance in social enterprises
There is an increasing scholarly interest in how social enterprises manage their hybrid nature. As hybrid organizational forms, social enterprises combine mission-driven social goals and revenue generating activities in a variety of organizational constellations and in diverse institutional contexts. Acknowledging the potentially conflicting demands that institutional environments impose on social enterprises there is an increasing research interest in the existence and proliferation of these conflicting demands at the organizational level. Some researchers have pointed to the importance of particular management practices and governance characteristics – such as authority relations and internal representation – as mechanisms to deal with the conflicting demands at the organizational level. This paper adds to this stream of literature by taking into account the organizational level dynamics of internal representation and the proliferation of factional groups in the boards of directors of hybrid organizational forms and their impact on board performance, ultimately influencing
the organizational performance
Ecumenical modal logic
The discussion about how to put together Gentzen's systems for classical and
intuitionistic logic in a single unified system is back in fashion. Indeed,
recently Prawitz and others have been discussing the so called Ecumenical
Systems, where connectives from these logics can co-exist in peace. In Prawitz'
system, the classical logician and the intuitionistic logician would share the
universal quantifier, conjunction, negation, and the constant for the absurd,
but they would each have their own existential quantifier, disjunction, and
implication, with different meanings. Prawitz' main idea is that these
different meanings are given by a semantical framework that can be accepted by
both parties. In a recent work, Ecumenical sequent calculi and a nested system
were presented, and some very interesting proof theoretical properties of the
systems were established. In this work we extend Prawitz' Ecumenical idea to
alethic K-modalities
Recommended from our members
Digital Anthropology: Projects and Platforms
pdf of website textMark Turin has agreed with the copyright holder the right to host a copy of this piece (whether audio, text or video) on University of Cambridge archives and servers.Article published 28 November, 2011. The article reports presentations given at the American Anthropological Association meeting. The article includes a review of Dr Mark Turin's presentation, entitled: 'Multimedia Archives for Anthropology of the Himalayan Region'. URL accessed week of 07/12/2011: http://blogs.plos.org/neuroanthropology/2011/11/28/digital-anthropology-projects-and-platforms
FSL-BM: Fuzzy Supervised Learning with Binary Meta-Feature for Classification
This paper introduces a novel real-time Fuzzy Supervised Learning with Binary
Meta-Feature (FSL-BM) for big data classification task. The study of real-time
algorithms addresses several major concerns, which are namely: accuracy, memory
consumption, and ability to stretch assumptions and time complexity. Attaining
a fast computational model providing fuzzy logic and supervised learning is one
of the main challenges in the machine learning. In this research paper, we
present FSL-BM algorithm as an efficient solution of supervised learning with
fuzzy logic processing using binary meta-feature representation using Hamming
Distance and Hash function to relax assumptions. While many studies focused on
reducing time complexity and increasing accuracy during the last decade, the
novel contribution of this proposed solution comes through integration of
Hamming Distance, Hash function, binary meta-features, binary classification to
provide real time supervised method. Hash Tables (HT) component gives a fast
access to existing indices; and therefore, the generation of new indices in a
constant time complexity, which supersedes existing fuzzy supervised algorithms
with better or comparable results. To summarize, the main contribution of this
technique for real-time Fuzzy Supervised Learning is to represent hypothesis
through binary input as meta-feature space and creating the Fuzzy Supervised
Hash table to train and validate model.Comment: FICC201
Construction IT in 2030: a scenario planning approach
Summary: This paper presents a scenario planning effort carried out in order to identify the possible futures
that construction industry and construction IT might face. The paper provides a review of previous research in
the area and introduces the scenario planning approach. It then describes the adopted research methodology.
The driving forces of change and main trends, issues and factors determined by focusing on factors related to
society, technology, environment, economy and politics are discussed. Four future scenarios developed for the
year 2030 are described. These scenarios start from the global view and present the images of the future world.
They then focus on the construction industry and the ICT implications. Finally, the preferred scenario
determined by the participants of a prospective workshop is presented
A Universal Machine for Biform Theory Graphs
Broadly speaking, there are two kinds of semantics-aware assistant systems
for mathematics: proof assistants express the semantic in logic and emphasize
deduction, and computer algebra systems express the semantics in programming
languages and emphasize computation. Combining the complementary strengths of
both approaches while mending their complementary weaknesses has been an
important goal of the mechanized mathematics community for some time. We pick
up on the idea of biform theories and interpret it in the MMTt/OMDoc framework
which introduced the foundations-as-theories approach, and can thus represent
both logics and programming languages as theories. This yields a formal,
modular framework of biform theory graphs which mixes specifications and
implementations sharing the module system and typing information. We present
automated knowledge management work flows that interface to existing
specification/programming tools and enable an OpenMath Machine, that
operationalizes biform theories, evaluating expressions by exhaustively
applying the implementations of the respective operators. We evaluate the new
biform framework by adding implementations to the OpenMath standard content
dictionaries.Comment: Conferences on Intelligent Computer Mathematics, CICM 2013 The final
publication is available at http://link.springer.com
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support
A framework and methodology---termed LogiKEy---for the design and engineering
of ethical reasoners, normative theories and deontic logics is presented. The
overall motivation is the development of suitable means for the control and
governance of intelligent autonomous systems. LogiKEy's unifying formal
framework is based on semantical embeddings of deontic logics, logic
combinations and ethico-legal domain theories in expressive classic
higher-order logic (HOL). This meta-logical approach enables the provision of
powerful tool support in LogiKEy: off-the-shelf theorem provers and model
finders for HOL are assisting the LogiKEy designer of ethical intelligent
agents to flexibly experiment with underlying logics and their combinations,
with ethico-legal domain theories, and with concrete examples---all at the same
time. Continuous improvements of these off-the-shelf provers, without further
ado, leverage the reasoning performance in LogiKEy. Case studies, in which the
LogiKEy framework and methodology has been applied and tested, give evidence
that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure
- …