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 detailTowards E-Conviviality in Web-Based Systems by considering the Wisdom of Crowds
Kaufmann, Sascha UL; Schommer, Christoph UL

in Abstract book of 2nd Conference on Agents and Artificial Intelligence (ICAART 2010) (2010)

Detailed reference viewed: 50 (7 UL)
Full Text
See detailTowards Effective Shell Modelling with the FEniCS Project
Hale, Jack UL; Baiz, P. M.

Scientific Conference (2013, March)

Fast and efficient simulations of shell structures are required in a wide range of engineering fields such as fluid-structure interaction and structural optimisation. Because of its expressive high-level ... [more ▼]

Fast and efficient simulations of shell structures are required in a wide range of engineering fields such as fluid-structure interaction and structural optimisation. Because of its expressive high-level form language UFL the FEniCS project is in an ideal position to tackle tough problems such as large deformations of non-isotropic shells. In this talk we will discuss some aspects of achieving this goal; generalised mixed formulations, reduction and projection operators for eliminating shear and membrane locking, the general shell model vs classical models and the recent work by Rognes et al. on manifolds. [less ▲]

Detailed reference viewed: 105 (5 UL)
Full Text
Peer Reviewed
See detailTowards efficient dispersion of carbon nanotubes in thermotropic liquid crystals
Schymura, Stefan; Kühnast, Martin; Lutz, Vanessa et al

in Advanced Functional Materials (2010), 20(19), 3350-3357

Motivated by numerous recent reports indicating attractive properties of composite materials of carbon nanotubes (CNTs) and liquid crystals (LCs) and a lack of research aimed at optimizing such composites ... [more ▼]

Motivated by numerous recent reports indicating attractive properties of composite materials of carbon nanotubes (CNTs) and liquid crystals (LCs) and a lack of research aimed at optimizing such composites, the process of dispersing CNTs in thermotropic LCs is systematically studied. LC hosts can perform comparably or even better than the best known organic solvents for CNTs such as N-methyl pyrrolidone (NMP), provided that the dispersion process and choice of LC material are optimized. The chemical structure of the molecules in the LC is very important; variations in core as well as in terminal alkyl chain influence the result. Several observations moreover indicate that the anisotropic nematic phase, aligning the nanotubes in the matrix, per se stabilizes the dispersion compared to a host that is isotropic and thus yields random tube orientation. The chemical and physical phenomena governing the preparation of the dispersion and its stability are identified, taking into account enthalpic, entropic, as well as kinetic factors. This allows a guideline on how to best design and prepare CNT–LC composites to be sketched, following which tailored development of new LCs may take the advanced functional material that CNT–LC composites comprise to the stage of commercial application. [less ▲]

Detailed reference viewed: 113 (0 UL)
Full Text
Peer Reviewed
See detailTowards Empirical Evaluation of Automated Risk Assessment Methods
Gadyatskaya, Olga UL; Labunets, Katsiaryna; Paci, Federica

in Risks and Security of Internet and Systems (2016)

Security risk assessment methods are numerous, and it might be confusing for organizations to select one. Researchers have conducted empirical studies with established methods in order to find factors ... [more ▼]

Security risk assessment methods are numerous, and it might be confusing for organizations to select one. Researchers have conducted empirical studies with established methods in order to find factors that influence their eff ectiveness and ease of use. In this paper we evaluate the recent TREsPASS semi-automated risk assessment method with respect to the factors identfii ed as critical in several controlled experiments. We also argue that automation of risk assessment raises new research questions that need to be thoroughly investigated in future empirical studies. [less ▲]

Detailed reference viewed: 120 (1 UL)
Full Text
Peer Reviewed
See detailTowards Estimating and Predicting User Perception on Software Product Variants
Martinez, Jabier; Sottet, Jean-Sebastien; Garcia-Frey, Alfonso et al

in 17th International Conference on Software Reuse (ICSR) (2018, May)

Detailed reference viewed: 82 (3 UL)
See detailTowards Europe 2020 out of the Economic Crisis: Is the Project Bond iniative a means to financial stability and integration?
Kavvadia, Helen UL

in Review of decentralization, local government and regional development (2013), 73

Since the establishment of the single monetary policy and introduction of the euro, it is pertinent to investigate the link between financial stability and integration. Is there a complementarity between ... [more ▼]

Since the establishment of the single monetary policy and introduction of the euro, it is pertinent to investigate the link between financial stability and integration. Is there a complementarity between the two or are financial stability and integration a contradiction in terms? In other words, isn't a search for a highly integrated financial system that would strengthen stability a bit like a search for the Holy Grail? Investment has been the cementing element of EU integration, institutions and policies - in brief, in creating more Europe. More concretely, investment in people, in knowledge and in physical assets, to ensure that Europe preserves its role and position in the world. The current crisis transcends national, even continental borders. Europe is reminded of its severity on a daily basis. Record unemployment is one of the consequences; shrinking public budgets and financial austerity another. In the run-up to the current recession investment grew by 5- 6% a years. Exporters and home buyers drove this expansion, which ended in 2008. Since then, the lack of investment has been a main source of demand weakness in the European Union. A collapse of investment activity of this magnitude has inevitable repercussions for economic expansion in the longer term. If productive capital stocks do not grow - indeed, if they are not even maintained - EU growth potential will inevitably shrink. A revival of investment activity is therefore is crucial to the long-term growth prospects of Europe. One precondition for such an investment revival is access to reasonably priced funding for long-term projects. The process of fiscal consolidation at national and European level has already placed a severe restriction on public budgets - and will continue to do so in the medium term. This pressure means that the EU has to find ways to achieve more with less. In particular, at European level, one needs to ensure that a limited EU budget is used to maximum effect. The newly established EU project bond initiative is seen as a means to go ahead in the current circumstances. As it does not impose an additional burden on domestic budgets, sovereign debt or contingent liabilities. The review looks into the type of investment that can be catered by the project bond initiative and the sectors selected for magnifying the growth potential. [less ▲]

Detailed reference viewed: 51 (1 UL)
Full Text
Peer Reviewed
See detailTowards exact molecular dynamics simulations with machine-learned force fields
Chmiela, Stefan; Sauceda, Huziel E.; Müller, Klaus-Robert et al

in Nature Communications (2018), 9

Molecular dynamics (MD) simulations employing classical force fields constitute the cornerstone of contemporary atomistic modeling in chemistry, biology, and materials science. However, the predictive ... [more ▼]

Molecular dynamics (MD) simulations employing classical force fields constitute the cornerstone of contemporary atomistic modeling in chemistry, biology, and materials science. However, the predictive power of these simulations is only as good as the underlying interatomic potential. Classical potentials often fail to faithfully capture key quantum effects in molecules and materials. Here we enable the direct construction of flexible molecular force fields from high-level ab initio calculations by incorporating spatial and temporal physical symmetries into a gradient-domain machine learning (sGDML) model in an automatic data-driven way. The developed sGDML approach faithfully reproduces global force fields at quantum-chemical CCSD(T) level of accuracy and allows converged molecular dynamics simulations with fully quantized electrons and nuclei. We present MD simulations, for flexible molecules with up to a few dozen atoms and provide insights into the dynamical behavior of these molecules. Our approach provides the key missing ingredient for achieving spectroscopic accuracy in molecular simulations. [less ▲]

Detailed reference viewed: 437 (9 UL)
Full Text
Peer Reviewed
See detailTowards Exploring the Limitations of Active Learning: An Empirical Study
Hu, Qiang UL; Guo, Yuejun UL; Cordy, Maxime UL et al

in The 36th IEEE/ACM International Conference on Automated Software Engineering. (2021)

Deep neural networks (DNNs) are being increasingly deployed as integral parts of software systems. However, due to the complex interconnections among hidden layers and massive hyperparameters, DNNs ... [more ▼]

Deep neural networks (DNNs) are being increasingly deployed as integral parts of software systems. However, due to the complex interconnections among hidden layers and massive hyperparameters, DNNs require being trained using a large number of labeled inputs, which calls for extensive human effort for collecting and labeling data. Spontaneously, to alleviate this growing demand, a surge of state-of-the-art studies comes up with different metrics to select a small yet informative dataset for the model training. These research works have demonstrated that DNN models can achieve competitive performance using a carefully selected small set of data. However, the literature lacks proper investigation of the limitations of data selection metrics, which is crucial to apply them in practice. In this paper, we fill this gap and conduct an extensive empirical study to explore the limits of selection metrics. Our study involves 15 selection metrics evaluated over 5 datasets (2 image classification tasks and 3 text classification tasks), 10 DNN architectures, and 20 labeling budgets (ratio of training data being labeled). Our findings reveal that, while selection metrics are usually effective in producing accurate models, they may induce a loss of model robustness (against adversarial examples) and resilience to compression. Overall, we demonstrate the existence of a trade-off between labeling effort and different model qualities. This paves the way for future research in devising selection metrics considering multiple quality criteria. [less ▲]

Detailed reference viewed: 32 (1 UL)
Full Text
Peer Reviewed
See detailTowards exposure of elusive metabolic mixed-culture processes: the application of metaproteomic analyses to activated sludge
Wilmes, Paul UL; Bond, P. L.

in Water Science & Technology (2006), 54(1), 217-226

4th IWA Activated Sludge Population Dynamics Conference (ASPD4) Location: Gold Coast, AUSTRALIA Date: JUL 17-20, 2005 Sponsor(s): IWA Specialist Grp Activated Sudge Populat Dynam; Adv Wastewater ... [more ▼]

4th IWA Activated Sludge Population Dynamics Conference (ASPD4) Location: Gold Coast, AUSTRALIA Date: JUL 17-20, 2005 Sponsor(s): IWA Specialist Grp Activated Sudge Populat Dynam; Adv Wastewater management Ctr; Australian Water Assoc Abstract: Protein expression is a direct reflection of specific microbial activities in any ecosystem. In order to assess protein expression in mixed microbial communities, the feasibility of applying proteomic techniques to activated sludge samples has recently been demonstrated. We report the application of metaproteomics to two activated sludges from a laboratory-scale sequencing batch reactor with dissimilar phosphorus removal performances. Fluorescence in situ hybridization (FISH) revealed that the sludge with good enhanced biological phosphorus removal performance (EBPR) was dominated by Betaproteobacteria (65% of EUBMIX binding cells) and gave positive signals for the Rhodocyclus-type PAO specific probe (59%). The non-EBPR sludge was dominated by tetrad-forming Alphaproteobacteria (75%). With regard to the proteomic investigation, 630 individual protein spots were matched across the replicate groups of the anaerobic and aerobic phases of the EBPR sludge with 9.4% of all spots being statistically different between the two phases. The non-EBPR metaproteomic maps exhibited 590 matched spots with 14.7% statistical differences between the two phases. Overall, the non-EBPR sludge expressed around 30% more significant differences than the EBPR sludge. The comparison of protein expression in the two sludges showed that their metaproteomes were substantially different and this was reflected in their microbial community structures and metabolic transformations. [less ▲]

Detailed reference viewed: 147 (3 UL)
Full Text
Peer Reviewed
See detailTowards Extending the Validation Possibilities of ADOxx with Alloy
de Kinderen, Sybren; Ma, Qin UL; Kaczmarek-Heß, Monika

in Lecture Notes in Business Information Processing 400 (2020)

While ADOxx is a popular platform for the creation and use of enterprise modeling languages, it provides only limited support for a well-formedness check of created enterprise models. In this paper, we ... [more ▼]

While ADOxx is a popular platform for the creation and use of enterprise modeling languages, it provides only limited support for a well-formedness check of created enterprise models. In this paper, we propose to complement the meta modeling platform ADOxx with Alloy, which natively provides extensive model checking capabilities, so as to enable a well-formedness check of enterprise models created in ADOxx. Using the e3value modeling language as a point of departure, we particularly provide (a) a partial ADOxx implementation of e3value, (b) a proof-of-concept XML2Alloy parser, which allows for converting e3value models created in ADOxx into Alloy format, so that (c) e3value well-formedness constraints stated in Alloy can be used to check the valid- ity of an e3value model with the Alloy Evaluator. Beyond the specific proof-of-concept, we also discuss further possibilities of using ADOxx in conjunction with Alloy, particularly in checking the soundness of meta models underlying an enterprise modeling language. [less ▲]

Detailed reference viewed: 30 (0 UL)
Full Text
Peer Reviewed
See detailTowards Feature-Oriented Fault Tree Analysis
Behringer, Benjamin UL; Lehser, Martina; Rothkugel, Steffen UL

in Proceedinfs of the 38th Annual IEEE Computer Software and Applications Conference (COMPSAC Workshops 2014) (2014)

Detailed reference viewed: 157 (13 UL)
Full Text
Peer Reviewed
See detailTowards Flexible Evolution of Dynamically Adaptive Systems
Perrouin, Gilles UL; Morin, Brice; Chauvel, Franck et al

in New Ideas & Emerging Results Track of the International Conference of Software Engineering (NIER@ICSE) (2012, June)

Modern software systems need to be continuously available under varying conditions. Their ability adapt to their execution context is thus increasingly seen as a key to their success. Recently, many ... [more ▼]

Modern software systems need to be continuously available under varying conditions. Their ability adapt to their execution context is thus increasingly seen as a key to their success. Recently, many approaches were proposed to design and support the execution of Dynamically Adaptive Systems (DAS). However, the ability of a DAS to evolve is limited to the addition, update or removal of adaptation rules or reconfiguration scripts. These artifacts are very specific to the control loop managing such a DAS and runtime evolution of the DAS requirements may affect other parts of the DAS. In this paper, we argue to evolve all parts of the loop. We suggest leveraging recent advances in model-driven techniques to offer an approach that supports the evolution of both systems and their adaptation capabilities. The basic idea is to consider the control loop itself as an adaptive system. [less ▲]

Detailed reference viewed: 138 (0 UL)
Full Text
Peer Reviewed
See detailTowards Formal Security Analysis of Industrial Control Systems
Rocchetto, Marco UL

in Towards Formal Security Analysis of Industrial Control Systems (2017)

Detailed reference viewed: 122 (8 UL)
Full Text
Peer Reviewed
See detailTowards Forward Security Properties for PEKS and IBE
Tang, Qiang UL

in Information Security and Privacy - 20th Australasian Conference, ACISP 2015 (2015)

In cryptography, forward secrecy is a well-known property for key agreement protocols. It ensures that a session key will remain private even if one of the long-term secret keys is compromised in the ... [more ▼]

In cryptography, forward secrecy is a well-known property for key agreement protocols. It ensures that a session key will remain private even if one of the long-term secret keys is compromised in the future. In this paper, we investigate some forward security properties for Public-key Encryption with Keyword Search (PEKS) schemes, which allow a client to store encrypted data and delegate search operations to a server. The proposed properties guarantee that the client’s privacy is protected to the maximum extent even if his private key is compromised in the future. Motivated by the generic transformation from anonymous Identity-Based Encryption (IBE) to PEKS, we correspondingly propose some forward security properties for IBE, in which case we assume the attacker learns the master secret key. We then study several existing PEKS and IBE schemes, including a PEKS scheme by Nishioka, an IBE scheme by Boneh, Raghunathan and Segev, and an IBE scheme by Arriaga, Tang and Ryan. Our analysis indicates that the proposed forward security properties can be achieved by some of these schemes if the attacker is RO-non-adaptive (the attacker does not define its distributions based on the random oracle). Finally, we propose the concept of correlated-input indistinguishable hash function and show how to extend the Boyen-Waters anonymous IBE scheme to achieve the forward security properties against adaptive attackers. [less ▲]

Detailed reference viewed: 119 (1 UL)
Full Text
Peer Reviewed
See detailTowards fully autonomous landing on moving platforms for rotary Unmanned Aerial Vehicles
Rodriguez-Ramos, Alejandro; Sampedro, Carlos; Bavle, Hriday UL et al

Scientific Conference (2017)

Fully autonomous landing on moving platforms poses a problem of importance for Unmanned Aerial Vehicles (UAVs). Current approaches are usually based on tracking and following the moving platform by means ... [more ▼]

Fully autonomous landing on moving platforms poses a problem of importance for Unmanned Aerial Vehicles (UAVs). Current approaches are usually based on tracking and following the moving platform by means of several techniques, which frequently lack performance in real applications. The aim of this paper is to prove a simple landing strategy is able to provide practical results. The presented approach is based on three stages: estimation, prediction and fast landing. As a preliminary phase, the problem is solved for a particular case of the IMAV 2016 competition. Subsequently, it is extended to a more generic and versatile approach. A thorough evaluation has been conducted with simulated and real flight experiments. Simulations have been performed utilizing Gazebo 6 and PX4 Software-In-The-Loop (SITL) and real flight experiments have been conducted with a custom quadrotor and a moving platform in an indoor environment. [less ▲]

Detailed reference viewed: 25 (4 UL)
Full Text
See detailTowards future III-nitride based THz OEICs in the UV range
Fox, Alfred; Mikulics, Martin; Winden, Andreas et al

in ASDAM 2012, The Ninth International Conference on Advanced Semiconductor Devices and Microsystems (2012)

Detailed reference viewed: 104 (0 UL)
Full Text
Peer Reviewed
See detailTowards Generalization of 3D Human Pose Estimation In The Wild
Baptista, Renato UL; Saint, Alexandre Fabian A UL; Al Ismaeil, Kassem UL et al

in International Conference on Pattern Recognition (ICPR) Workshop on 3D Human Understanding, Milan 10-15 January 2021 (2020)

In this paper, we propose 3DBodyTex.Pose, a dataset that addresses the task of 3D human pose estimation in-the-wild. Generalization to in-the-wild images remains limited due to the lack of adequate ... [more ▼]

In this paper, we propose 3DBodyTex.Pose, a dataset that addresses the task of 3D human pose estimation in-the-wild. Generalization to in-the-wild images remains limited due to the lack of adequate datasets. Existent ones are usually collected in indoor controlled environments where motion capture systems are used to obtain the 3D ground-truth annotations of humans. 3DBodyTex.Pose offers high quality and rich data containing 405 different real subjects in various clothing and poses, and 81k image samples with ground-truth 2D and 3D pose annotations. These images are generated from 200 viewpoints among which 70 challenging extreme viewpoints. This data was created starting from high resolution textured 3D body scans and by incorporating various realistic backgrounds. Retraining a state-of-the-art 3D pose estimation approach using data augmented with 3DBodyTex.Pose showed promising improvement in the overall performance, and a sensible decrease in the per joint position error when testing on challenging viewpoints. The 3DBodyTex.Pose is expected to offer the research community with new possibilities for generalizing 3D pose estimation from monocular in-the-wild images. [less ▲]

Detailed reference viewed: 143 (15 UL)