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
Full Text
Peer Reviewed
See detailSystem Evaluation of Optimal Downlink Beamforming in Wireless Communication
Stridh, Rickard; Bengtsson, Mats; Ottersten, Björn UL

in Vehicular Technology Conference, 2001. VTC 2001 Fall. IEEE VTS 54th (2001)

We investigate the use of joint optimal downlink beamforming, power control and access point allocation, in a multicell SDMA system. Smart antennas are used at the access points and single antennas are ... [more ▼]

We investigate the use of joint optimal downlink beamforming, power control and access point allocation, in a multicell SDMA system. Smart antennas are used at the access points and single antennas are used at the terminals. The possibility to send messages to multiple terminals on the same frequency in the same time slot is exploited. An algorithm for removing users from a congested system, in order to avoid outage is proposed and evaluated Results show that the proposed algorithm gives substantial increase of the system performance compared to random removal of users. [less ▲]

Detailed reference viewed: 235 (0 UL)
Peer Reviewed
See detailSystem Evaluation of Optimal Downlink Beamforming with Congestion Control in Wireless Communication
Stridh, Rickard; Bengtsson, Mats; Ottersten, Björn UL

in IEEE Transactions on Wireless Communications (2006), 5(4), 743751

Detailed reference viewed: 92 (0 UL)
See detailSystem for navigating a planned procedure within a body
Gielen, F. L. H.; Hertel, Frank UL; Gemmar, P. et al

Report (2012)

Detailed reference viewed: 101 (2 UL)
Full Text
Peer Reviewed
See detailA system for the design and development of vision-based multi-robot quadrotor swarms
Sanchez Lopez, Jose Luis UL; Pestana, Jesus; de la Puente, Paloma et al

in 2014 International Conference on Unmanned Aircraft Systems (ICUAS) (2014, May)

This paper presents a cost-effective framework for the prototyping of vision-based quadrotor multi-robot systems, which core characteristics are: modularity, compatibility with different platforms and ... [more ▼]

This paper presents a cost-effective framework for the prototyping of vision-based quadrotor multi-robot systems, which core characteristics are: modularity, compatibility with different platforms and being flight-proven. The framework is fully operative, which is shown in the paper through simulations and real flight tests of up to 5 drones, and was demonstrated with the participation in an international micro-aerial vehicles competition3 where it was awarded with the First Prize in the Indoors Autonomy Challenge. The motivation of this framework is to allow the developers to focus on their own research by decoupling the development of dependent modules, leading to a more cost-effective progress in the project. The basic instance of the framework that we propose, which is flight-proven with the cost-efficient and reliable platform Parrot AR Drone 2.0 and is open-source, includes several modules that can be reused and modified, such as: a basic sequential mission planner, a basic 2D trajectory planner, an odometry state estimator, localization and mapping modules which obtain absolute position measurements using visual markers, a trajectory controller and a visualization module. [less ▲]

Detailed reference viewed: 129 (4 UL)
Full Text
Peer Reviewed
See detailSystem Identification of a Vertical Riser Model with Echo State Networks
Antonelo, Eric Aislan UL; Camponogara, Eduardo; Plucenio, Agustinho

in IFAC-PapersOnLine (2015), 48(6), 304-310

System identification of highly nonlinear dynamical systems, important for reducing time complexity in long simulations, is not trivial using more traditional methods such as recurrent neural networks ... [more ▼]

System identification of highly nonlinear dynamical systems, important for reducing time complexity in long simulations, is not trivial using more traditional methods such as recurrent neural networks (RNNs) trained with back-propagation through time. The recently introduced Reservoir Computing (RC)∗∗The term reservoir used here is not related to reservoirs in oil and gas industry. approach to training RNNs is a viable and powerful alternative which renders fast training and high performance. In this work, a single Echo State Network (ESN), a flavor of RC, is employed for system identification of a vertical riser model which has stationary and oscillatory signal behaviors depending of the production choke opening input variable. It is shown experimentally that these different behaviors are learned by constraining the high-dimensional reservoir states to attractor subspaces in which the specific behavior is represented. Further experiments show the stability of the identified system. [less ▲]

Detailed reference viewed: 229 (7 UL)
Full Text
Peer Reviewed
See detailSystem Modelling and Design Aspects of Next Generation High Throughput Satellites
Sharma, Shree Krishna UL; Querol, Jorge UL; Maturo, Nicola UL et al

in IEEE Communications Letters (2021), 69

As compared to terrestrial systems, the design of Satellite Communication (SatCom) systems require a different approach due to differences in terms of wave propagation, operating frequency, antenna ... [more ▼]

As compared to terrestrial systems, the design of Satellite Communication (SatCom) systems require a different approach due to differences in terms of wave propagation, operating frequency, antenna structures, interfering sources, limitations of onboard processing, power limitations and transceiver impairments. In this regard, this letter aims to identify and discuss important modeling and design aspects of the next generation High Throughput Satellite (HTS) systems. First, communication models of HTSs including the ones for multibeam and multicarrier satellites, multiple antenna techniques, and for SatCom payloads and antennas are highlighted and discussed. Subsequently, various design aspects of SatCom transceivers including impairments related to the transceiver, payload and channel, and traffic-based coverage adaptation are presented. Finally, some open topics for the design of next generation HTSs are identified and discussed. [less ▲]

Detailed reference viewed: 232 (13 UL)
Full Text
Peer Reviewed
See detailSystem reliability and weighted lattice polynomials
Dukhovny, Alexander; Marichal, Jean-Luc UL

in Probability in the Engineering and Informational Sciences (2008), 22(3), 373-388

The lifetime of a system of connected units under some natural assumptions can be represented as a random variable Y defined as a weighted lattice polynomial of random lifetimes of its components. As such ... [more ▼]

The lifetime of a system of connected units under some natural assumptions can be represented as a random variable Y defined as a weighted lattice polynomial of random lifetimes of its components. As such, the concept of a random variable Y defined by a weighted lattice polynomial of (lattice-valued) random variables is considered in general and in some special cases. The central object of interest is the cumulative distribution function of Y. In particular, numerous results are obtained for lattice polynomials and weighted lattice polynomials in case of independent arguments and in general. For the general case, the technique consists in considering the joint probability generating function of "indicator" variables. A connection is studied between Y and order statistics of the set of arguments. [less ▲]

Detailed reference viewed: 356 (6 UL)
Full Text
Peer Reviewed
See detailSystem Testing of Timing Requirements based on Use Cases and Timed Automata
Wang, Chunhui UL; Pastore, Fabrizio UL; Briand, Lionel UL

in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo 13-18 March 2017 (2017, March 13)

In the context of use-case centric development and requirements-driven testing, this paper addresses the problem of automatically deriving system test cases to verify timing requirements. Inspired by ... [more ▼]

In the context of use-case centric development and requirements-driven testing, this paper addresses the problem of automatically deriving system test cases to verify timing requirements. Inspired by engineering practice in an automotive software development context, we rely on an analyzable form of use case specifications and augment such functional descriptions with timed automata, capturing timing requirements, following a methodology aiming at minimizing modeling overhead. We automate the generation of executable test cases using a test strategy based on maximizing test suite diversity and building over the UPPAAL model checker. Initial empirical results based on an industrial case study provide evidence of the effectiveness of the approach. [less ▲]

Detailed reference viewed: 616 (64 UL)
Full Text
Peer Reviewed
See detailSystematic Analysis and Modelling of Profit Maximization on Carsharing
Giorgione, Giulio; Kliazovich, Dzmitry; Bolzani, Luca UL et al

in Journal of Advanced Transportation (2022)

Detailed reference viewed: 128 (2 UL)
Full Text
Peer Reviewed
See detailSystematic Analysis and Modelling of Profit Maximization on Carsharing
Giorgione, Giulio UL; Kliazovich, Dzmitry; Bolzani, Luca UL et al

Poster (2021, January)

The success of carsharing as a new and more sustainable way of travel is moving private car ownership towards a service use model. Competitivity is an essential aspect of this service and ways to increase ... [more ▼]

The success of carsharing as a new and more sustainable way of travel is moving private car ownership towards a service use model. Competitivity is an essential aspect of this service and ways to increase profit while offering the most appealing service are still getting explored. Among others, dynamic pricing strategies can be designed to increase profit by attracting more users, selling more rental hours or maximizing fleet utilization. In this paper, we propose an experimental method aimed at developing a model for maximizing service profit. Using agent-based modeling to generate realistic scenarios, we analyze pricing as a function of the potential demand (i.e. number of members) and supply (hours of booking supplied). The process of reaching the maximum profit consists of testing various combinations of pricing - demand and pricing – supply ranges in order to find the price that maximize the profit for every demand and supply level. Once the optimal prices are known, a polynomial fitting and an optimization method are used to generate a function linking all the maximal profit obtaining the advised price to offer for any specific supply levels. Results show how the profit only slightly depends on the variability of the potential demand, while it strongly depends on the amount of supply. It is then shown how it is possible to obtain a linear relation that maximizes the profit in function of the price offered once the supply is known. [less ▲]

Detailed reference viewed: 375 (18 UL)
Full Text
Peer Reviewed
See detailSystematic analysis of global and local control policies
Cantelmo, Guido UL; Viti, Francesco UL; Rinaldi, Marco et al

in Periodica Polytechnica Transportation Engineering (2015)

Detailed reference viewed: 201 (9 UL)
Peer Reviewed
See detailSystematic approaches to mouse mutagenesis.
Brown, S. D.; Balling, Rudi UL

in Current Opinion in Genetics and Development (2001), 11(3), 268-73

A major challenge in post-genomics is the systematic determination of mammalian gene function. A variety of mouse mutagenesis technologies, both gene- and phenotype-driven, are being used to underpin ... [more ▼]

A major challenge in post-genomics is the systematic determination of mammalian gene function. A variety of mouse mutagenesis technologies, both gene- and phenotype-driven, are being used to underpin systematic and comprehensive approaches to mammalian gene function studies. Recently, a number of centres have completed large-scale ENU mutagenesis programmes that employ a phenotype-driven approach to the generation of mouse mutants. The use of ENU mutagenesis represents a powerful and efficient approach to mammalian gene-function studies, but many parallel developments are needed in downstream technologies to properly harness the new enlarged mouse-mutant resources that are being created. [less ▲]

Detailed reference viewed: 205 (1 UL)
Full Text
Peer Reviewed
See detailSystematic approaches to social protection
de Neubourg, Chris; Cebotari, Victor UL; Karpati, Julia

in Schüring, Esther; Loewe, Markus (Eds.) Handbook of Social Protection Systems (2021)

Detailed reference viewed: 177 (0 UL)
Full Text
Peer Reviewed
See detailSystematic assessment of local & global control policies: A methodological perspective
Cantelmo, Guido UL; Viti, Francesco UL; Rinaldi, Marco et al

in Proceedings of the MT-ITS Conference (2015, June)

Detailed reference viewed: 184 (1 UL)
Full Text
Peer Reviewed
See detailSystematic assessment of local & global signal control policies: A methodological perspective
Cantelmo, Guido UL; Viti, Francesco UL; Rinaldi, Marco UL et al

in Proceedings of 2015 International Conference on Models and Technologies for Intelligent Transportation Systems, MT-ITS 2015 (2015)

Traffic control performance on networks depends on the flow response to the policy adopted, which in turn contributes to determine the optimal signal settings. This paper focuses on the relationship ... [more ▼]

Traffic control performance on networks depends on the flow response to the policy adopted, which in turn contributes to determine the optimal signal settings. This paper focuses on the relationship between local and network wide traffic control policies within the combined traffic control and assignment problem. Through a full exploration of the solution space, an in depth cross comparison is performed between the well-known local policies P0 and Equisaturation, versus the global policies Maximum Throughput and Minimum Delay, to verify how the two local policies approximate the optimal settings for signalized intersections. Realistic traffic dynamics, such as congestion, multiple controllers and spillback are considered, to empirically determine the conditions under which the local policies are able to approximate global performances. After presenting the different local and global control policies, experiments are performed on simple toy networks. The complexity of the underlying network and, therefore, of the problems' boundary conditions is then increased, allowing us to showcase how the different metrics perform in different situations. Finally, conclusions on the results are drawn. © 2015 BME. [less ▲]

Detailed reference viewed: 114 (2 UL)
Full Text
Peer Reviewed
See detailSystematic assessment of secondary bile acid metabolism in gut microbes reveals distinct metabolic capabilities in inflammatory bowel disease
Heinken, Almut Katrin UL; Ravcheev, Dmitry UL; Baldini, Federico UL et al

in Microbiome (2019)

Background The human gut microbiome performs important functions in human health and disease. A classic example for host-gut microbial co-metabolism is host biosynthesis of primary bile acids and their ... [more ▼]

Background The human gut microbiome performs important functions in human health and disease. A classic example for host-gut microbial co-metabolism is host biosynthesis of primary bile acids and their subsequent deconjugation and transformation by the gut microbiome. To understand these system-level host-microbe interactions, a mechanistic, multi-scale computational systems biology approach that integrates the different types of omic data is needed. Here, we use a systematic workflow to computationally model bile acid metabolism in gut microbes and microbial communities. Results Therefore, we first performed a comparative genomic analysis of bile acid deconjugation and biotransformation pathways in 693 human gut microbial genomes and expanded 232 curated genome-scale microbial metabolic reconstructions with the corresponding reactions (available at https://vmh.life). We then predicted the bile acid biotransformation potential of each microbe and in combination with other microbes. We found that each microbe could produce maximally six of the 13 secondary bile acids in silico, while microbial pairs could produce up to 12 bile acids, suggesting bile acid biotransformation being a microbial community task. To investigate the metabolic potential of a given microbiome, publicly available metagenomics data from healthy Western individuals, as well as inflammatory bowel disease patients and healthy controls, were mapped onto the genomes of the reconstructed strains. We constructed for each individual a large-scale personalized microbial community model that takes into account strain-level abundances. Using flux balance analysis, we found considerable variation in the potential to deconjugate and transform primary bile acids between the gut microbiomes of healthy individuals. Moreover, the microbiomes of pediatric inflammatory bowel disease patients were significantly depleted in their bile acid production potential compared with that of controls. The contributions of each strain to overall bile acid production potential across individuals were found to be distinct between inflammatory bowel disease patients and controls. Finally, bottlenecks limiting secondary bile acid production potential were identified in each microbiome model. Conclusions This large-scale modeling approach provides a novel way of analyzing metagenomics data to accelerate our understanding of the metabolic interactions between the host and gut microbiomes in health and diseases states. Our models and tools are freely available to the scientific community. [less ▲]

Detailed reference viewed: 224 (5 UL)
Full Text
Peer Reviewed
See detailA systematic comparison of two new releases of exome sequencing products: the aim of use determines the choice of product.
Altmuller, Janine; Motameny, Susanne; Becker, Christian et al

in Biological chemistry (2016), 397(8), 791-801

We received early access to the newest releases of exome sequencing products, namely Agilent SureSelect v6 (Agilent, Santa Clara, CA, USA) and NimbleGen MedExome (Roche NimbleGen, Basel, Switzerland), and ... [more ▼]

We received early access to the newest releases of exome sequencing products, namely Agilent SureSelect v6 (Agilent, Santa Clara, CA, USA) and NimbleGen MedExome (Roche NimbleGen, Basel, Switzerland), and we conducted whole exome sequencing (WES) of several DNA samples with each of these products in order to assess their performance. Here, we provide a detailed evaluation of the original, normalized (with respect to the different target sizes), and trimmed data sets and compare them in terms of the amount of duplicates, the reads on target, and the enrichment evenness. In addition to these general statistics, we performed a detailed analysis of the frequently mutated and newly described genes found in 'The Deciphering Developmental Disorders Study' published very recently (Fitzgerald, T.W., Gerety, S.S., Jones, W.D., van Kogelenberg, M., King, D.A., McRae, J., Morley, K.I., Parthiban, V., Al-Turki, S., Ambridge, K., et al. (2015). Large-scale discovery of novel genetic causes of developmental disorders. Nature 519, 223-228.). In our comparison, the Agilent v6 exome performs better than the NimbleGen's MedExome both in terms of efficiency and evenness of coverage distribution. With its larger target size, it is also more comprehensive, and therefore the better choice in research projects that aim to identify novel disease-associated genes. In contrast, if the exomes are mainly used in a diagnostic setting, we see advantages for the new NimbleGen MedExome. We find a superior coverage here in those genes of high clinical relevance that likely allows for a better detection of relevant, disease-causing mutations. [less ▲]

Detailed reference viewed: 207 (11 UL)