Search results for " logic"
showing 10 items of 1720 documents
On finite soluble groups in which Sylow permutability is a transitive relation
2003
A characterisation of finite soluble groups in which Sylow permutability is a transitive relation by means of subgroup embedding properties enjoyed by all the subgroups is proved in the paper. The key point is an extension of a subnormality criterion due to Wielandt.
Quantum inductive inference by finite automata
2008
AbstractFreivalds and Smith [R. Freivalds, C.H. Smith Memory limited inductive inference machines, Springer Lecture Notes in Computer Science 621 (1992) 19–29] proved that probabilistic limited memory inductive inference machines can learn with probability 1 certain classes of total recursive functions, which cannot be learned by deterministic limited memory inductive inference machines. We introduce quantum limited memory inductive inference machines as quantum finite automata acting as inductive inference machines. These machines, we show, can learn classes of total recursive functions not learnable by any deterministic, nor even by probabilistic, limited memory inductive inference machin…
FPGA-based embedded Logic Controllers
2014
In general case, reconfigurable logic controllers (RLC) are included into reactive digital embedded systems, carrying out control for several processes proceeding concurrently. The paper presents a practical application of a formal, rule-based specification language in Gentzen sequent logic, which is used as an intermediate textual description of a control interpreted Petri net. On the other hand exactly the same description serves also as logic design expressions, related with different versions of functionally equivalent concurrent state machine models, considered on Register Transfer Level. The symbolic rule-based specification of Petri net-based embedded Logic Controllers (LCs) can be s…
Decidability Frontier for Fragments of First-Order Logic with Transitivity
2018
Several decidable fragments of first-order logic have been identified in the past as a generalisation of the standard translation of modal logic. These include: the fluted fragment, the two-variable frag- ment, the guarded fragment and the unary negation fragment; some of them have been recently generalised or combined to yield even more expressive decidable logics (guarded negation fragment or uniform one- dimensional fragment). None of the fragments allows one to express tran- sitivity of a binary relation or related properties like being an equivalence, a linear or a partial order, that naturally appear in specifications or in verification. The question therefore arises what is the impac…
When the arts inspire businesses: Museums as a heritage redefinition tool of brands
2018
International audience; While the literature has mainly considered brand museums as communication tools or complex retail environments, this article analyses them through a heritage framework and suggests that brands can use heritage technologies of the arts for their own purposes. The case study of the brand museum of the Laughing Cow highlights the heritage technologies the brand uses to endorse two heritage roles: an inter-generational memory role based on the transmission of the brand's history and a community representation role through spaces and objects. As a consequence, this research sheds light on how brands can come to be accepted as heritage objects. By using heritage technologi…
Intelligent Cloud Storage Management for Layered Tiers
2018
Today, the cloud offers a large array of possibilities for storage, with this flexibility comes also complexity. This complexity stems from the variety of storage mediums, such as, blob storage or NoSQL tables, and also from the different cost tiers within these systems. A strategic thinking to navigate this complex cloud storage landscape is important, not only for cost saving but also for prioritizing information, this prioritization has wider implications in other domains such as the Big Data realm, especially for governance and efficiency. In this paper we propose a strategy centered around probabilistic graphical model (PGM), this heuristic oriented management and organizational strate…
Dual Information Systems: Supporting Organizational Working and Learning by Making Organizational Memory Transparent
1999
The conceptual design of most computer-based information systems reflects a dualism of technology. During the development phase, part of the work-domain-related knowledge is formalized and encoded in the software, making it difficult for users to reflect on and use this knowledge. This design--use dualism contributes to the deterioration of the interpretive flexibility of information systems. In this article, we outline an information systems architecture called Dual Information Systems (DIS) that incorporates the concepts of an organizational memory information system (OMIS) in a broader framework. DIS help bridge the design--use dualism by providing organizations with a set of services th…
Unidirectional probabilistic direct control for deferrable loads
2014
International audience; The idea of harnessing the inherent flexibility in demand of many types of electric loads has been largely discussed in the last years for coping with the need to maintain the energy demand-supply balance. In particular, the fine tuning of the operation conditions of different thermostatic loads (such as air-conditioning, refrigerators, etc.) has appeared as the most natural solution for load control with minimal user discomfort. In this paper we focus on an alternative approach: deploying simple open-loop control strategies for deferrable loads with minimal communication overhead. The idea is to send a multicast control message to a group of users, on the basis of t…
Redesigning Computer-Supported Work Processes with Dual Information Systems: The Work Process Benchmarking Service
1999
The conceptual design of most computer-based information systems reflects a dualism of technology. During the development phase, part of the work-domain-related knowledge is formalized and encoded in the software, making it difficult for users to reflect on and use this knowledge. This design/use dualism contributes to the deterioration of the interpretive flexibility of information systems. We propose an information systems architecture called Dual Information Systems (DIS) that helps bridge the design/use dualism by providing organizations with a set of services that enable and reinforce both effective, institutionalized working and the questioning and (re)construction of computer-support…
Early Vision and Soft Computing
2002
The term soft-computing has been introduced by Zadeh in 1994. Soft-computing provides an appropriate paradigm to program malleable and smooth concepts. For example, it can be used to introduce flexibility in artificial systems and possibly to improve their Intelligent Quotient. Aim of this paper is to describe the applicability of soft-computing to early vision problems. The good performance of this approach is claimed by the fact that digital images are examples of fuzzy entities, where geometry of shapes are not always describable by exact equations and their approximation can be very complex.