Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Peer Reviewed
See detailPropagation Delay Estimation in Asynchronous Direct-Sequence Code-Division Multiple Access Systems
Ström, Erik G.; Parkvall, Stefan; Miller, Scott L. et al

in IEEE Transactions on Communications (1996), 44(1), 8493

Detailed reference viewed: 11 (0 UL)
Full Text
Peer Reviewed
See detailPropagation of Constraints along Model Transformations Based on Triple Graph Grammars
Ehrig, Hartmut; Hermann, Frank UL; Schölzel, Hanna et al

in Electronic Communications of the EASST (2011), 41

Detailed reference viewed: 53 (2 UL)
Full Text
Peer Reviewed
See detailPROPAGATION OF HARMONICAL VIBRATIONS IN PEAT
Macijauskas, Darius UL; Van Baars, Stefan UL

in International Journal of GEOMATE (2014), 7(2), 1101-1106

In order to check the reliability of man-made vibration prediction methods, vibration tests were performed on one of polders in the North-West of the Netherlands. The polder was chosen because it has a ... [more ▼]

In order to check the reliability of man-made vibration prediction methods, vibration tests were performed on one of polders in the North-West of the Netherlands. The polder was chosen because it has a rather homogenous, thick and soft peat top layer. Here sufficient harmonical vibrations could be generated by a rather small shaker. The shaker was designed and manufactured in order to produce harmonical vibrations at the soil surface. It consists of two counter rotating electric vibrators (with rotating eccentric masses) in order to produce a vertically oscillating force. For the recordings of the vibrations, six 2D or 3D geophones were placed on the soil surface and one 2D geophone was placed on top of the shaker. The measured vibration amplitudes of the vertically oscillating shaker were compared with 1. Two different analytical methods used for the design of vibrating machine foundations, 2. The Confined Elasticity approach and 3. The Finite Element Method, for which Plaxis 2D software was used. Also the measured vibration amplitudes at the soil surface were compared with Barkan-Bornitz’s solution and Finite Element Modeling. [less ▲]

Detailed reference viewed: 159 (8 UL)
Full Text
See detailPropeller, Pop und Parmaschinken. Strukturwandel im Gewerbegebiet Braunsfeld/Ehrenfeld.
Schulz, Christian UL; Soyez, Dietrich UL

in SCHWEIZER, G.; et al. (Eds.) Köln und der Kölner Raum. Ein geographischer Exkursionsführer. Teil 1: Stadt und Umland., 1 (2004)

Detailed reference viewed: 39 (0 UL)
Full Text
See detailProper Usage of the ICET Data Bank - Comparison with theoretical applications on Earth Models
Melchior, Paul; Francis, Olivier UL

in Ducarme, Bernard; Pâquet, Paul (Eds.) Proceedings of the Thirteenth International Symposium on Earth Tides (1998)

Detailed reference viewed: 36 (2 UL)
See detailProperness for circle packings and Delaunay circle patterns on complex projective structures
Schlenker, Jean-Marc UL; Yarmola, Andrew UL

E-print/Working paper (2018)

We consider circle packings and, more generally, Delaunay circle patterns - arrangements of circles arising from a Delaunay decomposition of a finite set of points - on surfaces equipped with a complex ... [more ▼]

We consider circle packings and, more generally, Delaunay circle patterns - arrangements of circles arising from a Delaunay decomposition of a finite set of points - on surfaces equipped with a complex projective structure. Motivated by a conjecture of Kojima, Mizushima and Tan, we prove that the forgetful map sending a complex projective structure admitting a circle packing with given nerve (resp. a Delaunay circle pattern with given nerve and intersection angles) to the underlying complex structure is proper. [less ▲]

Detailed reference viewed: 28 (4 UL)
Full Text
Peer Reviewed
See detailProperties and mechanisms of self-sensing carbon nanofibers/epoxy composites for structural health monitoring
Wang, Y.L; Wang, Y.; Wan, B.L et al

in Composite Structures (2018), 200

In this paper, carbon nanofibers (CNFs) with high aspect ratio were dispersed into epoxy matrix via mechanical stirring and ultrasonic treatment to fabricate self-sensing CNFs/epoxy composites. The ... [more ▼]

In this paper, carbon nanofibers (CNFs) with high aspect ratio were dispersed into epoxy matrix via mechanical stirring and ultrasonic treatment to fabricate self-sensing CNFs/epoxy composites. The mechanical, electrical and piezoresistive properties of the nanocomposites filled with different contents of CNFs were investigated. Based on the tunneling conduction and percolation conduction theories, the mechanisms of piezoresistive property of the nanocomposites were also explored. The experimental results show that adding CNFs can effectively enhance the compressive strengths and elastic moduli of the composites. The percolation threshold of the CNFs/epoxy composites is 0.186 vol% according to the modified General Effective Media Equation. Moreover, the stable and sensitive piezoresistive response of CNFs/epoxy composites was observed under monotonic and cyclic loadings. It can be demonstrated that adding CNFs into epoxy-based composites provides an innovative means of self-sensing, and the high sensitivity and stable piezoresistivity endow the CNFs/epoxy composites with considerable potentials as efficient compressive strain sensors for structural health monitoring of civil infrastructures. [less ▲]

Detailed reference viewed: 69 (6 UL)
Full Text
Peer Reviewed
See detailProperties of convergence in Dirichlet structures
Malicet, Dominique; Poly, Guillaume Joseph UL

in Journal of Functional Analysis (2013)

Detailed reference viewed: 76 (0 UL)
Full Text
Peer Reviewed
See detailProperties of Equivalence Scales in Different Countries
Koulovatianos, Christos UL; Schröder, Carsten; Schmidt, Ulrich

in Journal of Economics (2005), 86

Recent studies in high-income industrialized countries have shown that equivalence scales are income-dependent. We investigate whether this dependence also holds in poorer, services oriented countries, by ... [more ▼]

Recent studies in high-income industrialized countries have shown that equivalence scales are income-dependent. We investigate whether this dependence also holds in poorer, services oriented countries, by considering the example of Cyprus. We also examine whether household economies of scale and relative children costs differ. [less ▲]

Detailed reference viewed: 77 (2 UL)
Full Text
Peer Reviewed
See detailProperties of the water to boron nitride interaction: from zero to two dimensions with benchmark accuracy
Al-Hamdani, Yasmine UL; Rossi, Mariana; Alfè, Dario et al

in Journal of Chemical Physics (2017), 147

Molecular adsorption on surfaces plays an important part in catalysis, corrosion, desalination, and various other processes that are relevant to industry and in nature. As a complement to experiments ... [more ▼]

Molecular adsorption on surfaces plays an important part in catalysis, corrosion, desalination, and various other processes that are relevant to industry and in nature. As a complement to experiments, accurate adsorption energies can be obtained using various sophisticated electronic structure methods that can now be applied to periodic systems. The adsorption energy of water on boron nitride substrates, going from zero to 2-dimensional periodicity, is particularly interesting as it calls for an accurate treatment of polarizable electrostatics and dispersion interactions, as well as posing a practical challenge to experiments and electronic structure methods. Here, we present reference adsorption energies, static polarizabilities, and dynamic polarizabilities, for water on BN substrates of varying size and dimension. Adsorption energies are computed with coupled cluster theory, fixed-node quantum Monte Carlo (FNQMC), the random phase approximation, and second order Møller-Plesset theory. These wavefunction based correlated methods are found to agree in molecular as well as periodic systems. The best estimate of the water/h-BN adsorption energy is −107 ± 7 meV from FNQMC. In addition, the water adsorption energy on the BN substrates could be expected to grow monotonically with the size of the substrate due to increased dispersion interactions, but interestingly, this is not the case here. This peculiar finding is explained using the static polarizabilities and molecular dispersion coefficients of the systems, as computed from time-dependent density functional theory (DFT). Dynamic as well as static polarizabilities are found to be highly anisotropic in these systems. In addition, the many-body dispersion method in DFT emerges as a particularly useful estimation of finite size effects for other expensive, many-body wavefunction based methods. [less ▲]

Detailed reference viewed: 232 (9 UL)
Full Text
Peer Reviewed
See detailProperty and the Cloud
Bartolini, Cesare UL; Santos, Cristiana; Ullrich, Carsten UL

in Computer Law & Security Report (2018)

Data is a modern form of wealth in the digital world, and massive amounts of data circulate in cloud environments. While this enormously facilitates the sharing of information, both for personal and ... [more ▼]

Data is a modern form of wealth in the digital world, and massive amounts of data circulate in cloud environments. While this enormously facilitates the sharing of information, both for personal and professional purposes, it also introduces some critical problems concerning the ownership of the information. Data is an intangible good that is stored in large data warehouses, where the hardware architectures and software programs running the cloud services coexist with the data of many users. This context calls for a twofold protection: on one side, the cloud is made up of hardware and software that constitute the business assets of the service provider (property of the cloud); on the other side, there is a definite need to ensure that users retain control over their data (property in the cloud). The law grants protection to both sides under several perspectives, but the result is a complex mix of interwoven regimes, further complicated by the intrinsically international nature of cloud computing that clashes with the typical diversity of national laws. As the business model based on cloud computing grows, public bodies, and in particular the European Union, are striving to find solutions to properly regulate the future economy, either by introducing new laws, or by finding the best ways to apply existing principles. [less ▲]

Detailed reference viewed: 122 (17 UL)
Full Text
See detailProperty based model checking of structurally evolving Algebraic Petri nets
Khan, Yasir Imtiaz UL

Doctoral thesis (2015)

There are two important challenges in any system development life cycle, the first is to ensure the correctness of a model at the earliest stage possible and the second is to ensure its correctness once ... [more ▼]

There are two important challenges in any system development life cycle, the first is to ensure the correctness of a model at the earliest stage possible and the second is to ensure its correctness once it evolves with respect to the emergence of new requirements, performance may need to be improve, business environment is changing. Usual verification techniques such as testing and simulation are used commonly for the verification of a model. The downsides of these techniques are that there is no guarantee of the absence of errors and they need to be repeated after every evolved version. Model checking is an automatic technique for verifying finite state system models. Although, model checking is proved to be a useful technique, the typical drawback of model checking is its limits with respect to the state space explosion problem. As system gets reasonably complex, completely enumerating their states demands increasing amount of resources. Various techniques like symbolic model checking, on the fly model checking and compositional reasoning partially overcome this problem. Petri net is a well-known low-level formalism for modeling and verifying concurrent and distributed systems. The modeling of systems by low-level Petri nets is tedious and therefore various advancements have been created to raise the level of abstraction of Petri nets. Among others, Algebraic Petri nets raise the level of abstraction of Petri nets by replacing black tokens with the elements of user defined data types i.e., algebraic abstract data types. The first contribution of this thesis is to develop an approach to tackle the state space explosion problem for model checking of Algebraic Petri nets by re-using, adapting and refining state of the art techniques. The proposed approach is based on slicing and the central idea is to perform verification only on those parts that may affect the property the Algebraic Petri net model is analyzed for. We propose several slicing algorithms for Algebraic Petri nets and can be applied to Petri nets by slight modifications. The proposed slicing algorithms can alleviate the state space even for certain strongly connected nets and are proved not to increase the state space. The second contribution is an approach to improving re-verification of structurally evolving Algebraic Petri nets. The idea is to classify evolutions and properties to identify which evolutions require re-verification. We argue that for the class of evolutions that require verification, instead of verifying the whole system, only a part that is concerned by the property can be sufficient. The third contribution is the development of a stand-alone tool i.e., SLAPn. The objective of this tool is to implement proposed slicing algorithms and to show the practical usability of slicing technique. An interesting exploitation of SLAPn is that it can be added to any existing model checker as a pre-processing step. [less ▲]

Detailed reference viewed: 189 (18 UL)
Full Text
Peer Reviewed
See detailProperty Rights and Consumption Volatility: Evidence from a Land Reform in Vietnam
Kemper, Niels; Luu Viet Ha; Klump, Rainer UL

in WORLD DEVELOPMENT (2015), 71

During Vietnam's transition from a socialist to a market economy, household's property rights over agricultural land were considerably strengthened through a land certification program. This resulted in ... [more ▼]

During Vietnam's transition from a socialist to a market economy, household's property rights over agricultural land were considerably strengthened through a land certification program. This resulted in active formal credit and land markets, either of which potentially affects consumption levels and volatility. This article evaluates the program impact with respect to consumption outcomes. In particular, it identifies the channel of impact through which improved property rights affect consumption volatility. We find that land certification increases consumption levels for rural households, but also consumption volatility for a subgroup of households identified by an instrument. We show that the certification program affects consumption outcomes of this subgroup through, presumably more risky, credit-based agricultural investment at the intensive margin. (C) 2013 Elsevier Ltd. All rights reserved. [less ▲]

Detailed reference viewed: 101 (3 UL)
Full Text
See detailProperty Rights, Optimal Public Enforcement, and Growth
Irmen, Andreas UL; Kuehnel, Johanna

Report (2011)

We study the link between public enforcement of property rights, innovation investments, and economic growth in an endogenous growth framework with an expanding set of product varieties. We find that a ... [more ▼]

We study the link between public enforcement of property rights, innovation investments, and economic growth in an endogenous growth framework with an expanding set of product varieties. We find that a government may assure positive equilibrium growth through public employment in the enforcement of property rights, if the economic environment is sufficiently favorable to growth and/or public enforcement is sufficiently effective. However, in terms of welfare an equilibrium path without property rights protection and growth might be preferable. In this case the enforcement of property rights involves too much reallocation of labor from production and research towards the public sector. [less ▲]

Detailed reference viewed: 47 (5 UL)
Full Text
Peer Reviewed
See detailProperty Rights, Public Enforcement, and Growth
Irmen, Andreas UL; Kuehnel, Johanna

in Scandinavian Journal of Economics (2014), 116

We study the link between public enforcement of property rights, innovation investments, and economic growth in an endogenous growth framework with an expanding set of product varieties. We find that a ... [more ▼]

We study the link between public enforcement of property rights, innovation investments, and economic growth in an endogenous growth framework with an expanding set of product varieties. We find that a government may assure positive equilibrium growth through public employment in the enforcement of property rights, if the economic environment is sufficiently favorable to growth and/or public enforcement is sufficiently effective. However, in terms of welfare an equilibrium path without property rights protection and growth might be preferable. In this case the enforcement of property rights involves too much reallocation of labor from production and research towards the public sector. [less ▲]

Detailed reference viewed: 101 (2 UL)
Full Text
See detail"Property States" und Finanzialisierung der Stadtentwicklung
Hesse, Markus UL

in Hertweck, Florian (Ed.) Architektur auf gemeinsamem Boden. Positionen und Modelle zur Bodenfrage (2019)

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailProperty-based preferences in abstract argumentation
Booth, Richard UL; Kaci, Souhila; Rienstra, Tjitze UL

in Algorithmic Decision Theory - Third International Conference, ADT 2013 (2013)

Detailed reference viewed: 85 (3 UL)
Peer Reviewed
See detailThe proportion of CGRP-immunoreactive and SP-mRNA containing dorsal root ganglion cells is increased by a unilateral inflammation of the ankle joint of the rat
Hanesch, Ulrike UL; Pfrommer, Ursula; Grubb, Blair et al

in Regulatory Peptides. Supplement (1992), 1

Detailed reference viewed: 56 (0 UL)