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 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

Detailed reference viewed: 305 (4 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: 98 (2 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: 80 (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: 89 (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: 76 (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: 58 (1 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: 66 (0 UL)
See detailTowards harmonization of proteomics methods. Implication for high resolution/accurate mass targeted methods.
Bourmaud, Adèle Gaëlle Annabelle UL

Doctoral thesis (2016)

Mass spectrometry plays a central role in proteomics studies which has allowed its expansion to biomedical research. In an effort to accelerate the understanding of the various aspects of protein biology ... [more ▼]

Mass spectrometry plays a central role in proteomics studies which has allowed its expansion to biomedical research. In an effort to accelerate the understanding of the various aspects of protein biology, the comparison and integration of results across laboratories have gained importance. However, the variety of laboratory-specific protocols, instruments, and data processing methods limits the reliability and reproducibility of the proteomics datasets. The harmonization of LC-MS based proteomics experiments is thus urgently needed to ensure that the workflows used are suitable for the intended purpose of the experiments and that they generate consistent and reproducible results. In a first step towards this harmonization, the critical components of each step of the workflow must be identified. Consolidated sample preparation methods with defined recovery and qualified platforms along with systematic assessment of their performance have to be established. They should ultimately rely on well-defined recommendations and reference materials. Towards these goals, the present project aimed to define, based on current proteomics practices and recent technologies, experimental protocols that will constitute reference methods for the community. The associated results will represent a baseline that can be used to benchmark workflows and platforms, and to conduct routine experiments. A quality control procedure was developed to routinely assess the uniformity of proteomics analyses. The combination of a simple protocol and the addition of reference materials at different stages of the workflow allowed a straightforward monitoring of both sample preparation and LC-MS performance. In addition, as high resolution/accurate mass instruments with fast scanning capabilities turned out to be particularly suited to targeted quantitative experiments, a significant part of the work has consisted in the evaluation of the capabilities offered by such mass spectrometers to promote good practice upon their inception. The methods developed based on these emerging technologies were compared to the existing workflows allowing recommendations to be made for their implementation for fit-for-purpose experiments. [less ▲]

Detailed reference viewed: 96 (8 UL)
Full Text
Peer Reviewed
See detailTowards improved genome-scale metabolic network reconstructions: unification, transcript specificity and beyond.
Pfau, Thomas UL; Pacheco, Maria UL; Sauter, Thomas UL

in Briefings in bioinformatics (2015)

Genome-scale metabolic network reconstructions provide a basis for the investigation of the metabolic properties of an organism. There are reconstructions available for multiple organisms, from ... [more ▼]

Genome-scale metabolic network reconstructions provide a basis for the investigation of the metabolic properties of an organism. There are reconstructions available for multiple organisms, from prokaryotes to higher organisms and methods for the analysis of a reconstruction. One example is the use of flux balance analysis to improve the yields of a target chemical, which has been applied successfully. However, comparison of results between existing reconstructions and models presents a challenge because of the heterogeneity of the available reconstructions, for example, of standards for presenting gene-protein-reaction associations, nomenclature of metabolites and reactions or selection of protonation states. The lack of comparability for gene identifiers or model-specific reactions without annotated evidence often leads to the creation of a new model from scratch, as data cannot be properly matched otherwise. In this contribution, we propose to improve the predictive power of metabolic models by switching from gene-protein-reaction associations to transcript-isoform-reaction associations, thus taking advantage of the improvement of precision in gene expression measurements. To achieve this precision, we discuss available databases that can be used to retrieve this type of information and point at issues that can arise from their neglect. Further, we stress issues that arise from non-standardized building pipelines, like inconsistencies in protonation states. In addition, problems arising from the use of non-specific cofactors, e.g. artificial futile cycles, are discussed, and finally efforts of the metabolic modelling community to unify model reconstructions are highlighted. [less ▲]

Detailed reference viewed: 93 (7 UL)
Full Text
Peer Reviewed
See detailTowards Integration on Colored Supermanifolds
Poncin, Norbert UL

in Banach Center Publications (2016, December), 110

Detailed reference viewed: 255 (61 UL)
Full Text
See detailTowards Intelligent Robot Assistants for the non-destructive Disassembly of End of Life Products
Jungbluth, Jan UL; Plapper, Peter UL; Gerke, Wolfgang

in Plapper, Peter; Hichri, Bassem (Eds.) Robotix-Academy Conference (2017, May 06)

The effective collaboration between humans and robots in complex and task rich environments like End of Life product disassembly depends on the ability of the robot to anticipate the workflow as well as ... [more ▼]

The effective collaboration between humans and robots in complex and task rich environments like End of Life product disassembly depends on the ability of the robot to anticipate the workflow as well as the assistance the human co-worker wants. Our approach towards such an intelligent system is the development of an informed software agent that controls the robot assistance behavior. We inform the agent with procedural and declarative knowledge about the disassembly domain through models of the product structure and actor/object models. The product structure is then transformed to a directed graph and used to build, share and define a goal-orientated coarse workflow. Depending on the tasks and wanted assistance, the system can generate adaptable and detailed workflows through searching in the situation space on the basis of predefined and task dependent actions. The created detailed workflow consists of a sequence of actions that are used to call, parameterize and execute robot programs for the fulfillment of the assistance. The aim of this research is to equip robot systems with higher cognitive skills to allow them to be autonomous in the performance of their assistance to improve the ergonomics of disassembly workstations. [less ▲]

Detailed reference viewed: 58 (1 UL)
Full Text
Peer Reviewed
See detailTowards Learning of Safety Knowledge from Human Demonstrations
Ertle, P.; Tokic, M.; Cubek, R. et al

in IEEE/RSJ Int. Conference on Intelligent Robots and Systems IROS, Vilamoura 7-12 Oct. 2012 (2012)

Future autonomous service robots are intended to operate in open and complex environments. This in turn implies complications ensuring safe operation. The tenor of few available investigations is the need ... [more ▼]

Future autonomous service robots are intended to operate in open and complex environments. This in turn implies complications ensuring safe operation. The tenor of few available investigations is the need for dynamically assessing operational risks. Furthermore, a new kind of hazards being implicated by the robot’s capability to manipulate the environment occurs: hazardous environmental object interactions. One of the open questions in safety research is integrating safety knowledge into robotic systems, enabling these systems behaving safety-conscious in hazardous situations. In this paper a safety procedure is described, in which learning of safety knowledge from human demonstration is considered. Within the procedure, a task is demonstrated to the robot, which observes object-to-object relations and labels situational data as commanded by the human. Based on this data, several supervised learning techniques are evaluated used for finally extracting safety knowledge. Results indicate that Decision Trees allow interesting opportunities. [less ▲]

Detailed reference viewed: 52 (2 UL)
Full Text
Peer Reviewed
See detailTowards legal compliance by correlating Standards and Laws with a semi-automated methodology
Bartolini, Cesare UL; Giurgiu, Andra UL; Lenzini, Gabriele UL et al

in Bosse, Tibor; Bredeweg, Bert (Eds.) Communications in Computer and Information Science (2017)

Since generally legal regulations do not provide clear parameters to determine when their requirements are met, achieving legal compliance is not trivial. The adoption of standards could help create an ... [more ▼]

Since generally legal regulations do not provide clear parameters to determine when their requirements are met, achieving legal compliance is not trivial. The adoption of standards could help create an argument of compliance in favour of the implementing party, provided there is a clear correspondence between the provisions of a specific standard and the regulation's requirements. However, identifying such correspondences is a complex process which is complicated further by the fact that the established correlations may be overridden in time e.g., because newer court decisions change the interpretation of certain legal provisions. To help solve these problems, we present a framework that supports legal experts in recognizing correlations between provisions in a standard and requirements in a given law. The framework relies on state-of-the-art Natural Language Semantics techniques to process the linguistic terms of the two documents, and maintains a knowledge base of the logic representations of the terms, together with their defeasible correlations, both formal and substantive. An application of the framework is shown by comparing a provision of the European General Data Protection Regulation with the ISO/IEC 27018:2014 standard. [less ▲]

Detailed reference viewed: 179 (24 UL)
Full Text
Peer Reviewed
See detailTowards legal compliance by correlating Standards and Laws with a semi-automated methodology
Bartolini, Cesare UL; Lenzini, Gabriele UL; Robaldo, Livio UL

in Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC) (2016, November)

Since legal regulations do not generally provide clear parameters to determine when their requirements are met, achieving legal compliance is not trivial. If there were a clear correspondence between the ... [more ▼]

Since legal regulations do not generally provide clear parameters to determine when their requirements are met, achieving legal compliance is not trivial. If there were a clear correspondence between the provisions of a specific standard and the regulation’s requirements, one could implement the standard to claim a presumption of compliance. However, finding those correspondences is a complex process; additionally, correlations may be overridden in time, for instance, because newer court decisions change the interpretation of certain provisions. To help solve this problem, we present a framework that supports legal experts in recognizing correlations between provisions in a standard and requirements in a given law. The framework relies on state-of-the-art Natural Language Semantics techniques to process the linguistic terms of the two documents, and maintains a knowledge base of the logic representations of the terms, together with their defeasible correlations, both formal and substantive. An application of the framework is shown by comparing a provision of the European General Data Protection Regulation against the ISO/IEC 27018:2014 standard. [less ▲]

Detailed reference viewed: 189 (11 UL)
Full Text
Peer Reviewed
See detailTowards Legal Knowledge Management Systems for Regulatory Compliance
Boella, Guido; Hulstijn, Joris; Humphreys, Llio UL et al

in IX Conference of the Italian Chapter of AIS (2012)

Maintaining regulatory compliance is an increasing concern. Legal Knowledge Management systems could support the work of compliance managers. However, there are challenges to overcome, of interpreting ... [more ▼]

Maintaining regulatory compliance is an increasing concern. Legal Knowledge Management systems could support the work of compliance managers. However, there are challenges to overcome, of interpreting legal knowledge and mapping it onto business processes. In this discussion paper we determine requirements for Legal Knowledge Management systems that can handle these challenges. We argue that an approach to Legal Knowledge Management should consist of four pillars: (1) a legal ontology to express the legal concepts that are central to the interpretation of rules and regulations in practice, (2) natural language processing techniques, to semi-automatically populate the ontology, (3) a systematic method for mapping the legal concepts onto the actual data and business processes of a company, and (4) a method to construct an audit trail as part of the process design, providing legally acceptable evidence of compliance. The challenges are illustrated by an example of MIFID, a set of European regulations in the financial domain. [less ▲]

Detailed reference viewed: 41 (0 UL)
Full Text
Peer Reviewed
See detailTowards Massive Machine Type Communications in Ultra-Dense Cellular IoT Networks: Current Issues and Machine Learning-Assisted Solutions
Sharma, Shree Krishna UL; Wang, Xianbin

in IEEE Communications Surveys and Tutorials (2019)

The ever-increasing number of resource-constrained Machine-Type Communication (MTC) devices is leading to the critical challenge of fulfilling diverse communication requirements in dynamic and ultra-dense ... [more ▼]

The ever-increasing number of resource-constrained Machine-Type Communication (MTC) devices is leading to the critical challenge of fulfilling diverse communication requirements in dynamic and ultra-dense wireless environments. Among different application scenarios that the upcoming 5G and beyond cellular networks are expected to support, such as enhanced Mobile Broadband (eMBB), massive Machine Type Communications (mMTC) and Ultra-Reliable and Low Latency Communications (URLLC), the mMTC brings the unique technical challenge of supporting a huge number of MTC devices in cellular networks, which is the main focus of this paper. The related challenges include Quality of Service (QoS) provisioning, handling highly dynamic and sporadic MTC traffic, huge signalling overhead and Radio Access Network (RAN) congestion. In this regard, this paper aims to identify and analyze the involved technical issues, to review recent advances, to highlight potential solutions and to propose new research directions. First, starting with an overview of mMTC features and QoS provisioning issues, we present the key enablers for mMTC in cellular networks. Along with the highlights on the inefficiency of the legacy Random Access (RA) procedure in the mMTC scenario, we then present the key features and channel access mechanisms in the emerging cellular IoT standards, namely, LTE-M and Narrowband IoT (NB-IoT). Subsequently, we present a framework for the performance analysis of transmission scheduling with the QoS support along with the issues involved in short data packet transmission. Next, we provide a detailed overview of the existing and emerging solutions towards addressing RAN congestion problem, and then identify potential advantages, challenges and use cases for the applications of emerging Machine Learning (ML) techniques in ultra-dense cellular networks. Out of several ML techniques, we focus on the application of low-complexity Q-learning approach in the mMTC scenario along with the recent advances towards enhancing its learning performance and convergence. Finally, we discuss some open research challenges and promising future research directions. [less ▲]

Detailed reference viewed: 88 (5 UL)
Full Text
Peer Reviewed
See detailTowards Meta Model Provenance: a Goal-Driven Approach to Document the Provenance of Meta Models
de Kinderen, Sybren; Kaczmarek-Heß, Monika; Ma, Qin UL et al

in Lecture Notes in Business Information Processing 305 (2017)

Detailed reference viewed: 39 (2 UL)
Full Text
See detailTowards more secure and usable cloud storage for E-Health
Ghatpande, Sankalp; Gheorghe, Gabriela UL

Report (2015)

Secure storage for medical data when using cloud systems is a problem of high importance to healthcare institutions and cloud providers as well. This report investigates how safe is the storage provided ... [more ▼]

Secure storage for medical data when using cloud systems is a problem of high importance to healthcare institutions and cloud providers as well. This report investigates how safe is the storage provided by state of the art tools, discusses their limitations and proposes some solutions and techniques to improve confidentiality when storing medical data remotely. [less ▲]

Detailed reference viewed: 205 (24 UL)