41.

1 The Use of Information Technology as Value Co-creation: The Role of Contextual Variety and Means Drivenness
- Ng Irene C. L; Guo Lei; Ding Yi; Irene C L Ng; Lei Guo; Yi Ding
paper proposes a service dominant logic view of technology use as value co-creation in context. We argue that individuals, as value co-creators, are resource integrators and such resource integration in technology use is determined by the degree of variability of the context within which the individual faces. We also posit that where contexts are varied to the extent that goals are unknown, individuals could be means driven rather than goals driven. Our paper develops two new constructs, contextual variety and means drivenness, and investigate its impact on technology use and the technology adoption model (TAM) through four focus groups and...

42.

In
- Chris Barker; Chung-chieh Shan
Synopsis: The continuation of an expression is a portion of its sur-rounding context. This book proposes and defends the Continua-tion Hypothesis: that the meaning of a natural language expression can depend on its own continuation (that is, it can denote a function on its surrounding context). Part I develops a continuation-based theory of scope and quantificational binding. Taking inspiration from the theory of computer programming languages, and unlike other accounts of scope, continuations provide fine-grained con-trol over the order in which expressions are evaluated (processed). This leads to a principled yet nuanced explanation for sensitiv-ity to order in scope-related phenomena...

43.

Lightweight Implementations of SHA-3 Finalists on FPGAs Jens-Peter Kaps Panasayya Yalla Kishore Kumar Surapathi Bilal Habib
- Susheel Vadlamudi; Smriti Gurung
The NIST competition for developing the new cryptographic hash algorithm SHA-3 has entered its third round. One evaluation criterion is the ability of the candidate algorithm to be implemented on resource-constrained platforms. This includes FPGAs for embedded and hand-held devices. In this paper we present two sets of lightweight implementations of all SHA-3 nalists and SHA-2, one using only logic resources (slices) and one which additionally uses one Block RAM. All implementations were designed to achieve maximum throughput while adhering to an area constraint of 800 slices or 400-600 slices and one Block RAM, respectively, on Xilinx Spartan-3 devices. We...

44.

Impact of FPGA Architecture on Resource Sharing in High-Level Synthesis
- Stefan Hadjis; Andrew Canis; Jason Anderson; Jongsok Choi; Kevin Nam; Stephen Brown; Tomasz Czajkowski
Resource sharing is a key area-reduction approach in high-level synthesis (HLS) in which a single hardware functional unit is used to implement multiple operations in the high-level circuit specification. We show that the utility of shar-ing depends on the underlying FPGA logic element archi-tecture and that different sharing trade-offs exist when 4-LUTs vs. 6-LUTs are used. We further show that certain multi-operator patterns occur multiple times in programs, creating additional opportunities for sharing larger compos-ite functional units comprised of patterns of interconnected operators. A sharing cost/benefit analysis is used to in-form decisions made in the binding phase of an HLS...

45.

Fuzzy Logic- Retrieval of Data from Database
Abstract There has been a complicated relationship associated with fuzzy logic and probability theory. All the techniques in fuzzy logic discuss possibility theory and probability theory which measure two kinds of uncertainty. In classical probability theory, a probability measure is a number between 0 and 1. Fuzzy rule based system consists of a set of fuzzy rules with partially overlapping conditions. This paper demonstrates new methodologies for predicting an output, when a particular input “triggers ” with multiple fuzzy rules. This paper analyzes the behavior of width of an interval to represent imprecision of the probability estimates. We also propose...

46.

1 Center for European Studies Working Paper Series #145 (2007) Socializing Capital, Capitalizing the Social: Contemporary Social Democracy and the Knowledge Economy1
- Jenny Andersson
This paper analyzes the Third Way’s relationship to the knowledge economy, and the way the Third Way’s understanding of the knowledge economy leads to a reinterpretation of fundamental postulates of the Left in relation to capitalism. The paper argues that Third Way ideology is informed by a discursive logic of capitalization, a logic whereby social democracy identifies human potential – human knowledge, talent, creativity – as economic goods and ultimately new forms of capital. It insists that the Third Way is not neoliberal, as suggested by much research on the Third Way. The paper concludes that while the Third Way...

47.

A tableau calculus for a nonmonotonic extension of EL
- Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
Abstract. In this paper we introduce a tableau calculus for a nonmonotonic ex-tension of the low complexity Description Logic DL-Litecore of the DL-Lite fam-ily. The extension, called DL-LitecTmin, can be used to reason about typical-ity and defeasible properties. The calculus performs a two-phase computation to check whether a query is minimally entailed from the initial knowledge base. It is sound, complete and terminating. Furthermore, it is a decision procedure for DL-LitecTmin knowledge bases, whose complexity matches the known results for the logic, namely that entailment is in Πp 2

48.

Version Description Contributors
- Leading Partner Netfective; Author(s) Albert Ambroziewicz; Michał Śmiałek; Dissemination Level Pu
REMICS KDM extension for application logic

49.

COMBINED SYNTHESIS/VERIFICATION APPROACH TO PROGRAMMABLE LOGIC CONTROL OF A PRODUCTION
- Drago Matko
Abstract: The paper presents a methodology of designing control logic that is imple-mented by industrial programmable logic controllers. A two stage approach is proposed. In the rst stage a set of interlock supervisors is designed based on discrete-event model of the plant and a set of interlock specication models. Supervisory control theory is used to test the controllability of the specications and to derive a nite automaton representation of the admissible behaviour of the system. In the second stage the model of admissible behaviour is adopted as a plant model and used for the verication of the sequential specication model...

50.

Non-deterministic Semantics for Dynamic Topological Logic
Dynamic Topological Logic (DT L) is a combination of S4, under its topological interpretation, and the temporal logic LT L interpreted over the natural numbers. DT L is used to reason about properties of dynamical systems based on topolog-ical spaces. Semantics are given by dynamic topological models, which are tuples 〈X, T, f, V 〉, where 〈X, T 〉 is a topological space, f a function on X and V a truth valuation assigning subsets of X to propositional variables. Our main result is that the set of valid formulas of DT L over spaces with continu-ous functions is recursively...

51.

Correlation of Complex Evidence in Forensic Accounting Using Data Mining
- Boris Kovalerchuk; Evgenii Vityaev; Robert Holtfreter
The classical statistical correlation is an efficient technique for linking simple numerical data sets via a single correlation coefficient. The modern schemes for money laundering and finan-cial fraud are becoming very sophisticated and are changed all the time. To be able to discover such schemes we need to deal simultaneously with a diverse set of numeric and non-numeric data types that include different numeric data types, ordered sets, graph structures, texts, schemes, plans, and other information. Often any individual evidence does not reveal a sus-picious pattern and does not guide investigation in forensic accounting. In contrast, correla-tion of two or...

52.

The Language of Entrepreneurship: The Consideration of a Transitional Economy
- Mehmet A. Eroglu
This paper builds on the establishment language of intuition; aspects as personals ’ hierarchy (Eroglu, 2006) I presented at last year's “management of middle and small companies ” in Kazakhstan, conference. It presents a theory of the distinctive sensory perception and information processing ability of serial entrepreneurs that is the basis of their intuitive skills and sets them apart from other business actors at the same company. In addition to providing an understanding of the communication and relationship, basis of entrepreneurial ability, the topic explains why this ability in creative individuals, especially entrepreneurs, is often denounced as irrational and subjective...

53.

Design of an Integrated Active Front Steering and Active Rear Differential Controller using Fuzzy Logic Control
- Samaneh Arabi; Mohammad Behroozi
Abstract 1 — An integrated vehicle dynamic control system for a vehicle with an active front steering (AFS) and active rear differential (ARD), based on fuzzy logic control, is developed to improve the vehicle stability and its handling performance. The controller structure is consisted of two layers in a hierarchical arrangement. A fuzzy logic controller is used in the upper layer to keep the yaw rate in its desired value. The yaw rate error, lateral acceleration and the side slip angle are applied to the upper controlling layer as the inputs, where the desired traction torque transfer ratio and the...

54.

A GIS- based Pipelining Using Fuzzy Logic and Statistical Models
- Hamid Kiavarz Moghaddam; Mahmoud Reza Delavar
Oil and gas industry is an important pat of Iran’s national economy. In this paper, geospatial information system (GIS) application in optimum route finding in raster model has been considered. Effective criteria have been weighted using knowledge driven and data driven methods. Index overlay, fuzzy logic and statistical methods have been used for generating cost surface. For creating accumulated cost surface, isotropic, partially anisotropic and full anisotropic models have been investigated. Since oil and gas pipeline route finding depends on location and direction of slope which varies in every direction, full anisotropic model has been implemented. In case study, for...

55.

RETURNS TO PUBLIC INVESTMENTS IN THE
- Mark Rosegrant; Shenggen Fan; Peter Hazell
Conventional wisdom suggests that the pro-ductivitv returns to investment are highest in irrigated and high-potential rainfed lands and that growth in these areas has substan-tial trickle-down benefits for the poor, includ-ing those residing in less-favored areas. Even though investing in less-favored lands might have a greater direct impact on the poor liv-ing in those areas, it is argued that invest-ments in high-potential areas give higher social returns for a nation than investments in low-potential areas. The logic behind this position is as follows. Investment in high-potential areas generates more agricultural output and higher economic growth at lower cost than in...

56.

REVIEWS Calcification of Tissue Heart Valve Substitutes: Progress Toward Understanding and Prevention
- Frederick J. Schoen; Robert J. Levy
Calcification plays a major role in the failure of biopros-thetic and other tissue heart valve substitutes. Tissue valve calcification is initiated primarily within residual cells that have been devitalized, usually by glutaralde-hyde pretreatment. The mechanism involves reaction of calcium-containing extracellular fluid with membrane-associated phosphorus to yield calcium phosphate min-eral deposits. Calcification is accelerated by young recip-ient age, valve factors such as glutaraldehyde fixation, and increased mechanical stress. Recent studies have suggested that pathologic calcification is regulated by inductive and inhibitory factors, similar to the physio-logic mineralization of bone. The most promising pre-ventive strategies have included binding of calcification inhibitors to...

57.

MaxSAT-based MCS enumeration
- Antonio Morgado; Mark Liffiton; Joao Marques-silva
Abstract. Enumeration ofMinimal Correction Sets (MCS) finds a wide range of practical applications, including the identification of Minimal Unsatisfiable Subsets (MUS) used in verifying the complex control logic of microprocessor designs (e.g. in the CEGAR loop of RevealTM [1,2]). Current state of the art MCS enumeration exploits core-guided MaxSAT algorithms, namely the so-called MSU3 [16] MaxSAT algorithm. Observe that a MaxSAT solution corresponds to a minimum sized MCS, but a formula may contain MCSes larger than those reported by a MaxSAT solution. These are obtained by enumerating all MaxSAT solutions. This paper proposes novel approaches for MCS enumeration, in the...

58.

A logical model of social commitment for agent communication
- Mario Verdicchio; Marco Colombetti
As part of the goal of developing a genuinely open multiagent system, many efforts are devoted to the definition of a standard Agent Communication Language (ACL). The aim of this paper is to propose a logical framework for the definition of ACL semantics based upon the concept of (social) commitment. Our framework relies on the assumption that agent communication should be analyzed in terms of communicative acts, by means of which agents create and manipulate commitments, provided certain contextual conditions hold. We propose formal definitions of such actions in the context of a temporal logic that extends CTL ∗ with...

59.

Quantified modal logic on the rational line Forthcoming in The Review of Symolic Logic
- Philip Kremer
In the topological semantics for propositional modal logic, S4 is known to be complete for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In the topological se-mantics for quantified modal logic, QS4 is known to be complete for the class of all topological spaces, and for the set of subspaces of the irrational line. The main result of the current paper is that QS4 is complete, indeed strongly complete, for the rational line.

60.

Challenges and Opportunities of ESL Design Automation
- Zhiru Zhang; Deming Chen
System-level synthesis compiles a complex application in a system-level description (such as SystemC) into a set of tasks to be executed on various processors, or a set of functions to be implemented in customized logic, as well as the communication protocols and the interface logic connecting different modules. Such capabilities are part of the so-called electronic system-level (ESL) design automation. ESL design automation has caught much attention from the industry recently. In general, it has been shown that the code density and simulation time can be improved by 10X and 100X, respectively, when moved to ESL from RTL. Such an...