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 detailFull-Duplex Enabled Mobile Edge Caching: From Distributed to Cooperative Caching
Vu, Thang Xuan UL; Chatzinotas, Symeon UL; Ottersten, Björn UL et al

in IEEE Transactions on Wireless Communications (2020)

Mobile edge caching (MEC) has received much attention as a promising technique to overcome the stringent latency and data hungry requirements in future generation wireless networks. Meanwhile, full-duplex ... [more ▼]

Mobile edge caching (MEC) has received much attention as a promising technique to overcome the stringent latency and data hungry requirements in future generation wireless networks. Meanwhile, full-duplex (FD) transmission can potentially double the spectral efficiency by allowing a node to receive and transmit in the same time/frequency block simultaneously. In this paper, we investigate the delivery time performance of full-duplex enabled MEC (FD-MEC) systems, in which the users are served by distributed edge nodes (ENs), which operate in FD mode and are equipped with a limited storage memory. Firstly, we analyse the FD-MEC with different levels of cooperation among the ENs and take into account a realistic model of self-interference cancellation. Secondly, we propose a framework to minimize the system delivery time of FD-MEC under both linear and optimal precoding designs. Thirdly, to deal with the non-convexity of the formulated problems, two iterative optimization algorithms are proposed based on the inner approximation method, whose convergence is analytically guaranteed. Finally, the effectiveness of the proposed designs are demonstrated via extensive numerical results. It is shown that the cooperative scheme mitigates inter-user and self interference significantly better than the distributed scheme at an expense of inter-EN cooperation. In addition, we show that minimum mean square error (MMSE)-based precoding design achieves the best performance-complexity trade-off, compared with the zero-forcing and optimal designs. [less ▲]

Detailed reference viewed: 86 (7 UL)
Full Text
Peer Reviewed
See detailFully Homomorphic Encryption over the Integers with Shorter Public Keys
Coron, Jean-Sébastien UL; Mandal, Avradip UL; Naccache, David et al

in CRYPTO (2011)

Detailed reference viewed: 145 (0 UL)
Full Text
Peer Reviewed
See detailA fully smoothed XFEM for analysis of axisymmetric problems with weak discontinuities
Wan, Detao; Hu, Dean; Natarajan, Sundararajan et al

in International Journal for Numerical Methods in Engineering (2017), 110(3), 203-226

In this paper, we propose a fully smoothed extended finite element method (SmXFEM) for axisymmetric problems with weak discontinuities. The salient feature of the proposed approach is that all the terms ... [more ▼]

In this paper, we propose a fully smoothed extended finite element method (SmXFEM) for axisymmetric problems with weak discontinuities. The salient feature of the proposed approach is that all the terms in the stiffness and mass matrixes can be computed by smoothing technique. This is accomplished by combining the Green’s divergence theorem with the evaluation of indefinite integral based on smoothing technique, which is used to transform the domain integral into boundary integral. The proposed technique completely eliminates the need for isoparametric mapping and the computing of Jacobian matrix even for the mass matrix. When employed over the enriched elements, the proposed technique does not require sub-triangulation for the purpose of numerical integration. The accuracy and convergence properties of the proposed technique are demonstrated with a few problems in elastostatics and elastodynamics with weak discontinuities. It can be seen that the proposed technique yields stable and accurate solutions and is less sensitive to mesh distortion. [less ▲]

Detailed reference viewed: 110 (2 UL)
Full Text
Peer Reviewed
See detailFully-Actuated Aerial Manipulator for Infrastructure Contact Inspection: Design, Modeling, Localization, and Control
Sanchez Cuevas, Pedro Jesus UL; Gonzalez Morgado, Antonio; Cortes, Nicolas et al

in Sensors (2020)

This paper presents the design, modeling and control of a fully actuated aerial robot for infrastructure contact inspection as well as its localization system. Health assessment of transport ... [more ▼]

This paper presents the design, modeling and control of a fully actuated aerial robot for infrastructure contact inspection as well as its localization system. Health assessment of transport infrastructure involves measurements with sensors in contact with the bridge and tunnel surfaces and the installation of monitoring sensing devices at specific points. The design of the aerial robot presented in the paper includes a 3DoF lightweight arm with a sensorized passive joint which can measure the contact force to regulate the force applied with the sensor on the structure. The aerial platform has been designed with tilted propellers to be fully actuated, achieving independent attitude and position control. It also mounts a “docking gear” to establish full contact with the infrastructure during the inspection, minimizing the measurement errors derived from the motion of the aerial platform and allowing full contact with the surface regardless of its condition (smooth, rough, ...). The localization system of the aerial robot uses multi-sensor fusion of the measurements of a topographic laser sensor on the ground and a tracking camera and inertial sensors on-board the aerial robot, to be able to fly under the bridge deck or close to the bridge pillars where GNSS satellite signals are not available. The paper also presents the modeling and control of the aerial robot. Validation experiments of the localization system and the control system, and with the aerial robot inspecting a real bridge are also included. [less ▲]

Detailed reference viewed: 30 (0 UL)
Full Text
Peer Reviewed
See detailA Fully-Autonomous Aerial Robot for Search and Rescue Applications in Indoor Environments using Learning-Based Techniques
Sampedro, Carlos; Rodriguez-Ramos, Alejandro; Bavle, Hriday UL et al

in Journal of Intelligent and Robotic Systems (2019), 95(2), 601--627

Search and Rescue (SAR) missions represent an important challenge in the robotics research field as they usually involve exceedingly variable-nature scenarios which require a high-level of autonomy and ... [more ▼]

Search and Rescue (SAR) missions represent an important challenge in the robotics research field as they usually involve exceedingly variable-nature scenarios which require a high-level of autonomy and versatile decision-making capabilities. This challenge becomes even more relevant in the case of aerial robotic platforms owing to their limited payload and computational capabilities. In this paper, we present a fully-autonomous aerial robotic solution, for executing complex SAR missions in unstructured indoor environments. The proposed system is based on the combination of a complete hardware configuration and a flexible system architecture which allows the execution of high-level missions in a fully unsupervised manner (i.e. without human intervention). In order to obtain flexible and versatile behaviors from the proposed aerial robot, several learning-based capabilities have been integrated for target recognition and interaction. The target recognition capability includes a supervised learning classifier based on a computationally-efficient Convolutional Neural Network (CNN) model trained for target/background classification, while the capability to interact with the target for rescue operations introduces a novel Image-Based Visual Servoing (IBVS) algorithm which integrates a recent deep reinforcement learning method named Deep Deterministic Policy Gradients (DDPG). In order to train the aerial robot for performing IBVS tasks, a reinforcement learning framework has been developed, which integrates a deep reinforcement learning agent (e.g. DDPG) with a Gazebo-based simulator for aerial robotics. The proposed system has been validated in a wide range of simulation flights, using Gazebo and PX4 Software-In-The-Loop, and real flights in cluttered indoor environments, demonstrating the versatility of the proposed system in complex SAR missions. [less ▲]

Detailed reference viewed: 27 (2 UL)
Full Text
Peer Reviewed
See detailA fully-autonomous aerial robotic solution for the 2016 International Micro Air Vehicle competition
Sampedro, Carlos; Bavle, Hriday; Rodríguez-Ramos, Alejandro et al

in 2017 International Conference on Unmanned Aircraft Systems (ICUAS) (2017, June)

Detailed reference viewed: 34 (0 UL)
See detailFunction First: Systems Ecology of the Human Gut Microbiome
Wilmes, Paul UL

Presentation (2017, November)

Detailed reference viewed: 30 (0 UL)
Peer Reviewed
See detailThe Function of Autobiographies in the Construction of a Trans Narrative
Artuso, Sandy Kathy UL

Scientific Conference (2018, April 19)

Detailed reference viewed: 175 (10 UL)
Full Text
See detailFunction spaces and classifying spaces of algebras over a prop
Yalin, Sinan UL

E-print/Working paper (2015)

The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props. We first consider a ... [more ▼]

The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props. We first consider a function space of props to define the moduli space of algebra structures over this prop on an object of the base category. Then we mainly prove that this moduli space is the homotopy fiber of a forgetful map of classifying spaces, generalizing to the prop setting a theorem of Rezk. The crux of our proof lies in the construction of certain universal diagrams in categories of algebras over a prop. We introduce a general method to carry out such constructions in a functorial way. [less ▲]

Detailed reference viewed: 80 (0 UL)
Full Text
See detailFunctional Alloy Modules
Gammaitoni, Loïc UL; Kelsen, Pierre UL

Report (2014)

The Alloy language was developed as a lightweight modelling language that allows fully automatic analysis of software design models via SAT solving. The practical application of this type of analysis is ... [more ▼]

The Alloy language was developed as a lightweight modelling language that allows fully automatic analysis of software design models via SAT solving. The practical application of this type of analysis is hampered by two limitations: first, the analysis itself can become quite time consuming when the scopes become even moderately large; second, determining minimal scopes for the entity types (limiting the number of entities of each type) to achieve better running times is itself a non-trivial problem. In this paper we show that for the special case of Alloy modules specifying transformations we may be able to circumvent these limitations. We define the corresponding notion of functional module and define precise conditions under which such functional modules can be efficiently interpreted rather than analysed via SAT solving and we also explain how interpretation of functional Alloy modules can be seamlessly integrated with the SAT-based analysis of other modules. We provide evidence that for complex transformations interpreting functional modules may result in significant time savings. [less ▲]

Detailed reference viewed: 162 (48 UL)
Full Text
Peer Reviewed
See detailFunctional analysis of a potassium-chloride co-transporter 3 (SLC12A6) promoter polymorphism leading to an additional DNA methylation site
Moser, D.; Ekawardhani, S.; Kumsta, Robert UL et al

in Neuropsychopharmacology (2009), 34(2), 458-467

Detailed reference viewed: 6 (0 UL)
Full Text
Peer Reviewed
See detailFunctional analytic issues in Z_2 ^n Geometry
Bruce, Andrew UL; Poncin, Norbert UL

in Revista de la Union Matematica Argentina (2020), 60(2), 611-636

Detailed reference viewed: 193 (19 UL)
Full Text
Peer Reviewed
See detailFunctional and phenotypic differences of pure populations of stem cell-derived astrocytes and neuronal precursor cells
Kleiderman, Susanne; Sá, Joao; Teixeira, Ana et al

in Glia (2016), 64(5), 695-715

Availability of homogeneous astrocyte populations would facilitate research concerning cell plasticity (metabolic and transcriptional adaptations; innate immune responses) and cell cycle reactivation ... [more ▼]

Availability of homogeneous astrocyte populations would facilitate research concerning cell plasticity (metabolic and transcriptional adaptations; innate immune responses) and cell cycle reactivation. Current protocols to prepare astrocyte cultures differ in their final content of immature precursor cells, pre-activated cells or entirely different cell types. A new method taking care of all these issues would improve research on astrocyte functions. We found here that the exposure of a defined population of pluripotent stem cell-derived neural stem cells (NSC) to BMP4 results in pure, non-proliferating astrocyte cultures within 24-48 h. These murine astrocytes generated from embryonic stem cells (mAGES) expressed the positive markers GFAP, aquaporin 4 and GLT-1, supported neuronal function, and acquired innate immune functions such as the response to TNF and IL-1. The protocol was applicable to several normal or disease-prone pluripotent cell lines, and the corresponding mAGES all exited the cell cycle and lost most of their nestin expression, in contrast to astrocytes generated by serum-addition or obtained as primary cultures. Comparative gene expression analysis of mAGES and NSC allowed quantification of differences between the two cell types and a definition of an improved maker set to define astrocytes. Inclusion of several published data sets in this transcriptome comparison revealed the similarity of mAGES with cortical astrocytes in vivo. Metabolic analysis of homogeneous NSC and astrocyte populations revealed distinct neurochemical features: both cell types synthesized glutamine and citrate, but only mature astrocytes released these metabolites. Thus, the homogeneous cultures allowed an improved definition of NSC and astrocyte features. [less ▲]

Detailed reference viewed: 252 (42 UL)
Full Text
Peer Reviewed
See detailFunctional approximations with Stein's method of exchangeable pairs
Kasprzak, Mikolaj UL

in Annales Henri Poincare (2020), 56(4), 2540-564

Detailed reference viewed: 48 (18 UL)
Full Text
Peer Reviewed
See detailThe functional Breuer-Major theorem
Nourdin, Ivan UL; Nualart, David

in Probability Theory and Related Fields (2020), 176

Detailed reference viewed: 148 (10 UL)
Full Text
Peer Reviewed
See detailFunctional calculus in weighted group algebras
Dziubanski, Jacek; Ludwig, Jean; Molitor-Braun, Carine UL

in Revista Matemática Complutense (2004), 17(2), 321-357

Detailed reference viewed: 85 (0 UL)
Full Text
See detailFUNCTIONAL CHARACTERISATION OF THE A30P MUTATION IN ALPHA-SYNUCLEIN GENE IN A PATIENT-DERIVED CELLULAR MODEL OF PARKINSON’S DISEASE
Rodrigues Dos Santos, Bruno Filipe UL

Doctoral thesis (2019)

Our study aims to perform detailed phenotyping of the A30P alpha-synuclein familial case of PD, allowing to identify underlying mechanisms of the disease that may translate into novel therapies ... [more ▼]

Our study aims to perform detailed phenotyping of the A30P alpha-synuclein familial case of PD, allowing to identify underlying mechanisms of the disease that may translate into novel therapies. Parkinson’s disease (PD) is the second most common neurodegenerative disease. Approximately 20% of PD cases are known to have a genetic cause. From these, mutations in SNCA, the gene encoding alpha-synuclein, are linked to an autosomal dominant inheritance of the disease. In 1998, our group discovered the second known point mutation within the SNCA gene, causing an A30P exchange of the peptide sequence. We generated first patient-derived cellular model of the A30P alpha-synuclein mutation carrier, by obtaining fibroblasts from an affected sibling of the index patient, an unaffected sibling of the patient, and an age-matched gender-matched non-PD control. We reprogrammed these fibroblasts into induced pluripotent stem cells (iPSCs), and differentiated them into midbrain dopaminergic neurons. We obtained enriched cultures of 80% midbrain neurons (FoxA2+/Tuj1+), with approximately 12 % dopaminergic (TH+), for which we observed electrophysiological activity and dopamine release. We detected a significant reduction of the protein level of mitochondria complexes II, IV, and V in the patient lines compared with the controls, additionally we found a significant impairment of mitochondrial respiration and an increased susceptibility of the cells to oxidative stress. Gene-edited isogenic controls were generated to dissect mutation-specific effects. Furthermore, we investigated mitochondrial morphology and dynamics, and how these processes contribute to the dopaminergic neurodegeneration. Additionally, we were implementing previously established readouts on our high-throughput automated screening platform that will allow us to identify FDA approved compounds with potential to be re-purposed and used as PD treatment. We believe that detailed phenotyping of the A30P alpha-synuclein monogenic case may help to identify underlying mechanisms of the disease that may translate into novel therapies, which would also apply to the more common sporadic forms of PD. [less ▲]

Detailed reference viewed: 72 (20 UL)
Peer Reviewed
See detailFunctional characteristics of primary afferents innervating normal and inflamed knee joints of the rat
Schmidt, Robert; Pawlak, Matthias; Heppelmann, Bernd et al

in European Journal of Physiology (2000), 439

Detailed reference viewed: 31 (0 UL)