WorldCat Identities

Kreuger, Per

Overview
Works: 17 works in 40 publications in 2 languages and 1,923 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor
Classifications: Q334, 006.3
Publication Timeline
.
Most widely held works by Per Kreuger
Tenth Scandinavian Conference on Artificial Intelligence : SCAI 2008 by Adolf Holst( )

8 editions published in 2008 in English and held by 1,883 WorldCat member libraries worldwide

The Scandinavian Conference on Artificial Intelligence is one of the regional AI conferences in Europe. This title includes contributions that exemplify the diversity of research in artificial intelligence and confirm the achievement and magnitude of 25 years AI research in Scandinavia
Computational issues in calculi of partial inductive definitions by Per Kreuger( Book )

8 editions published in 1995 in English and Swedish and held by 12 WorldCat member libraries worldwide

An approach to handling polymorphic types in higher order unification by Per Kreuger( Book )

2 editions published in 1988 in English and held by 4 WorldCat member libraries worldwide

This paper describes an implementation of the procedure that tries to overcome some of the problems encountered in such an endeavor. The basic approach taken is to let the types be an integral part of the representation of the terms to be unified. This makes it simpler to instanciate type-variables during the unification process, and to delay the unification of terms with completely unspecified types until such time as more information is gained."
GCLA II : a definitional approach to control by Per Kreuger( Book )

4 editions published between 1991 and 1992 in English and held by 4 WorldCat member libraries worldwide

Abstract: "This paper describes the logic programming language GCLA II, its operational semantics and parts of its theoretical foundations. GCLA II is a generalization of the language GCLA (Generalized Horn Clause Language) augmented by a method to guide and constrain proof search. The method is based on specification of strategies in a meta language that is a sub language of GCLA itself. A GCLA II program is partitioned into two distinct parts. One is used to express the declarative content of the program, while the other is used to define the possible inferences made from this declarative knowledge. Although the intended use of the declarative part and the procedural parts are quite different, they can both be described in the formalism of partial inductive definitions. Thus we preserve a declarative reading of the program as a whole. In particular, given certain syntactical constraints on the program, the heuristics associated with proof search does not affect the declarative reading of the declarative part of the program at all. Several experimental interpreters and a compiler from GCLA II to prolog have been implemented."
A version of Huet's algorithm for higher-order unification by Per Kreuger( Book )

1 edition published in 1989 in English and held by 3 WorldCat member libraries worldwide

Abstract: "This paper describes a procedure for unification in extensional higher order logics. The procedure is due to Gerald Huet and was described in [Hu 75]. In this paper we consider unification in extensional theories, which is a significantly simpler problem and is not described in detail in Huet's paper. In addition, the description here focuses on computation of substitutions rather than deciding unifiability, as in Huet's paper. To this some explanatory and clarifying material has been added."
Applications of partial inductive definitions : conclusions from some projects run at SICS KBS-lab 1986-1992 by Per Kreuger( Book )

3 editions published in 1992 in English and held by 3 WorldCat member libraries worldwide

Abstract: "This paper describes the history of and some conclusions from a series of projects run at SICS KBS-lab during the period from 1986 to 1992. The projects have in common that they all are applications of the theory of partial inductive definitions."
A high order logic parser for natural language implemented in Lambda Prolog by Per Kreuger( Book )

3 editions published in 1988 in English and held by 3 WorldCat member libraries worldwide

"The implementation this paper describes is done in Lambda Prolog [2]. Lambda Prolog is a generalization of horn-clause logic to higher order logic, based on the higher order unification procedure of Huet [3]. It appears that the implementation of Pereira's system in Lambda Prolog becomes very natural. The higher order unification mechanism of Lambda Prolog takes care of the complicated binding mechanisms in Pereira's "discharge-rules" in a very simple and elegant way. Finally the paper discusses some problems with the implementation and gives a few suggestions on how these could be overcome."
EWAM: an Extension of WAM to execute functional programs by Per Kreuger( Book )

2 editions published in 1989 in English and held by 2 WorldCat member libraries worldwide

Rail traffic requirements engineering( Book )

1 edition published in 2005 in English and held by 1 WorldCat member library worldwide

Butler : fallanalys 1 - Outokumpu by Anders Holst( Book )

1 edition published in 2004 in English and held by 1 WorldCat member library worldwide

Data Driven Selection of DRX for Energy Efficient 5G RAN by Diarmuid Corcoran( )

1 edition published in 2017 in English and held by 1 WorldCat member library worldwide

The number of connected mobile devices is increasing rapidly with more than 10 billion expected by 2022. Their total aggregate energy consumption poses a significant concern to society. The current 3gpp (3rd Generation Partnership Project) LTE/LTE-Advanced standard incorporates an energy saving technique called discontinuous reception (DRX). It is expected that 5G will use an evolved variant of this scheme. In general, the single selection of DRX parameters per device is non trivial. This paper describes how to improve energy efficiency of mobile devices by selecting DRX based on the traffic profile per device. Our particular approach uses a two phase data-driven strategy which tunes the selection of DRX parameters based on a smart fast energy model. The first phase involves the off-line selection of viable DRX combinations for a particular traffic mix. The second phase involves an on-line selection of DRX from this viable list. The method attempts to guarantee that latency is not worse than a chosen threshold. Alternatively, longer battery life for a device can be traded against increased latency. We built a lab prototype of the system to verify that the technique works and scales on a real LTE system. We also designed a sophisticated traffic generator based on actual user data traces. Complementary method verification has been made by exhaustive off-line simulations on recorded LTE network data. Our approach shows significant device energy savings, which has the aggregated potential over billions of devices to make a real contribution to green, energy efficient networks
A version of Huet's algorithm for higher-order unification by Per Kreuger( Book )

1 edition published in 1989 in English and held by 1 WorldCat member library worldwide

Mixed integer-linear formulations of cumulative scheduling constraints : a comparative study by Martin Aronsson( Book )

1 edition published in 2007 in English and held by 1 WorldCat member library worldwide

Distributed dynamic load balancing with applications in radio access networks( )

1 edition published in 2017 in English and held by 1 WorldCat member library worldwide

Managing and balancing load in distributed systems remains a challenging problem in resource management, especially in networked systems where scalability concerns favour distributed and dynamic approaches. Distributed methods can also integrate well with centralised control paradigms if they provide high-level usage statistics and control interfaces for supporting and deploying centralised policy decisions. We present a general method to compute target values for an arbitrary metric on the local system state and show that autonomous rebalancing actions based on the target values can be used to reliably and robustly improve the balance for metrics based on probabilistic risk estimates. To balance the trade-off between balancing efficiency and cost, we introduce 2 methods of deriving rebalancing actuations from the computed targets that depend on parameters that directly affects the trade-off. This enables policy level control of the distributed mechanism based on collected metric statistics from network elements. Evaluation results based on cellular radio access network simulations indicate that load balancing based on probabilistic overload risk metrics provides more robust balancing solutions with fewer handovers compared to a baseline setting based on average load. Abstract : We present a general method to compute target values for an arbitrary metric on the local system state and show that autonomous rebalancing actions based on the target values can be used to reliably and robustly improve the balance for metrics based on probabilistic risk estimates. To balance the trade-off between balancing efficiency and cost, we introduce 2 methods of deriving rebalancing actuations from the computed targets that depend on parameters that directly affects the trade-off
Leveranstågplan : specifikation och åtagande by Per Kreuger( Book )

1 edition published in 2006 in Swedish and held by 1 WorldCat member library worldwide

Tenth Scandinavian Conference on Artificial Intelligence SCAI 2008( )

1 edition published in 2008 in English and held by 1 WorldCat member library worldwide

Två system för default-resonemang : en studie av Kurt Konoliges artikel: On the relation between default and autoepistemic logic by Per Kreuger( Book )

1 edition published in 1989 in Swedish and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.04 (from 0.02 for Tenth Scan ... to 0.97 for Rail traff ...)

Tenth Scandinavian Conference on Artificial Intelligence : SCAI 2008
Covers
Alternative Names
Kreuger, P. 1956-

Kreuger, P. (Per), 1956-

Languages