Query: Multi-Scale multi-band densenets for audio source separation

Relevant passages:
Reading Digits in Natural Images with Unsupervised Feature Learning <=SEP=> Detecting and reading text from natural images is a hard computer vision task that is central to a variety of emerging applications. Related problems like document character recognition have been widely studied by computer vision and machine learning researchers and are virtually solved for practical applications like reading handwritten digits. Reliably recognizing characters in more complex scenes like photographs, however, is far more difficult: the best existing methods lag well behind human performance on the same tasks. In this paper we attack the problem of recognizing digits in a real application using unsupervised feature learning methods: reading house numbers from street level photos. To this end, we introduce a new benchmark dataset for research use containing over 600,000 labeled digits cropped from Street View images. We then demonstrate the difficulty of recognizing these digits when the problem is approached with hand-designed features. Finally, we employ variants of two recently proposed unsupervised feature learning methods and find that they are convincingly superior on our benchmarks.

Histograms of oriented gradients for human detection <=SEP=> We study the question of feature sets for robust visual object recognition; adopting linear SVM based human detection as a test case. After reviewing existing edge and gradient based descriptors, we show experimentally that grids of histograms of oriented gradient (HOG) descriptors significantly outperform existing feature sets for human detection. We study the influence of each stage of the computation on performance, concluding that fine-scale gradients, fine orientation binning, relatively coarse spatial binning, and high-quality local contrast normalization in overlapping descriptor blocks are all important for good results. The new approach gives near-perfect separation on the original MIT pedestrian database, so we introduce a more challenging dataset containing over 1800 annotated human images with a large range of pose variations and backgrounds.

Measuring Invariances in Deep Networks <=SEP=> For many pattern recognition tasks, the ideal input feature would be invariant to multiple confounding properties (such as illumination and viewing angle, in computer vision applications). Recently, deep architectures trained in an unsupervised manner have been proposed as an automatic method for extracting useful features. However, it is difficult to evaluate the learned features by any means other than using them in a classifier. In this paper, we propose a number of empirical tests that directly measure the degree to which these learned features are invariant to different input transformations. We find that stacked autoencoders learn modestly increasingly invariant features with depth when trained on natural images. We find that convolutional deep belief networks learn substantially more invariant features in each layer. These results further justify the use of “deep” vs. “shallower” representations, but suggest that mechanisms beyond merely stacking one autoencoder on top of another may be important for achieving invariance. Our evaluation metrics can also be used to evaluate future work in deep learning, and thus help the development of future algorithms.

80 Million Tiny Images: A Large Data Set for Nonparametric Object and Scene Recognition <=SEP=> With the advent of the Internet, billions of images are now freely available online and constitute a dense sampling of the visual world. Using a variety of non-parametric methods, we explore this world with the aid of a large dataset of 79,302,017 images collected from the Internet. Motivated by psychophysical results showing the remarkable tolerance of the human visual system to degradations in image resolution, the images in the dataset are stored as 32 x 32 color images. Each image is loosely labeled with one of the 75,062 non-abstract nouns in English, as listed in the Wordnet lexical database. Hence the image database gives a comprehensive coverage of all object categories and scenes. The semantic information from Wordnet can be used in conjunction with nearest-neighbor methods to perform object classification over a range of semantic levels minimizing the effects of labeling noise. For certain classes that are particularly prevalent in the dataset, such as people, we are able to demonstrate a recognition performance comparable to class-specific Viola-Jones style detectors.

Decoding by linear programming <=SEP=> This paper considers a natural error correcting problem with real valued input/output. We wish to recover an input vector f/spl isin/R/sup n/ from corrupted measurements y=Af+e. Here, A is an m by n (coding) matrix and e is an arbitrary and unknown vector of errors. Is it possible to recover f exactly from the data y? We prove that under suitable conditions on the coding matrix A, the input f is the unique solution to the /spl lscr//sub 1/-minimization problem (/spl par/x/spl par//sub /spl lscr/1/:=/spl Sigma//sub i/|x/sub i/|) min(g/spl isin/R/sup n/) /spl par/y - Ag/spl par//sub /spl lscr/1/ provided that the support of the vector of errors is not too large, /spl par/e/spl par//sub /spl lscr/0/:=|{i:e/sub i/ /spl ne/ 0}|/spl les//spl rho//spl middot/m for some /spl rho/>0. In short, f can be recovered exactly by solving a simple convex optimization problem (which one can recast as a linear program). In addition, numerical experiments suggest that this recovery procedure works unreasonably well; f is recovered exactly even in situations where a significant fraction of the output is corrupted. This work is related to the problem of finding sparse solutions to vastly underdetermined systems of linear equations. There are also significant connections with the problem of recovering signals from highly incomplete measurements. In fact, the results introduced in this paper improve on our earlier work. Finally, underlying the success of /spl lscr//sub 1/ is a crucial property we call the uniform uncertainty principle that we shall describe in detail.

Credit card fraud detection using Naïve Bayes model based and KNN classifier <=SEP=> Machine Learning is the technology, in which algorithms which are capable of learning from previous cases and past experiences are designed. It is implemented using various algorithms which reiterate over the same data repeatedly to analyze the pattern of data. The techniques of data mining are no far behind and are widely used to extract data from large databases to discover some patterns making decisions. This paper presents the Naïve Bayes improved K-Nearest Neighbor method (NBKNN) for Fraud Detection of Credit Card. Experimental results illustrate that both classifiers work differently for the same dataset. The purpose is to enhance the accuracy and enhance the flexibility of the algorithm.

A Comparison of Human and Automated Face Verification Accuracy on Unconstrained Image Sets <=SEP=> Automatic face recognition technologies have seen significant improvements in performance due to a combination of advances in deep learning and availability of larger datasets for training deep networks. Since recognizing faces is a task that humans are believed to be very good at, it is only natural to compare the relative performance of automated face recognition and humans when processing fully unconstrained facial imagery. In this work, we expand on previous studies of the recognition accuracy of humans and automated systems by performing several novel analyses utilizing unconstrained face imagery. We examine the impact on performance when human recognizers are presented with varying amounts of imagery per subject, immutable attributes such as gender, and circumstantial attributes such as occlusion, illumination, and pose. Results indicate that humans greatly outperform state of the art automated face recognition algorithms on the challenging IJB-A dataset.

Strip-type Grid Array Antenna with a Two-Layer Rear-Space Structure <=SEP=> A strip-type grid array antenna is analyzed using the finite-difference time-domain method. The space between the grid array and the ground plane, designated as the rear space, is filled with a dielectric layer and an air layer (two-layer rear-space structure). A VSWR bandwidth of approximately 13% is obtained with a maximum directivity of approximately 18 dB. The grid array exhibits a narrow beam with low side lobes. The cross-polarization component is small (-25 dB), as desired.

Using the SLEUTH urban growth model to simulate the impacts of future policy scenarios on urban land use in the Tehran metropolitan area in Iran <=SEP=> The SLEUTH model, based on the Cellular Automata (CA), can be applied to city development simulation in metropolitan areas. In this study the SLEUTH model was used to model the urban expansion and predict the future possible behavior of the urban growth in Tehran. The fundamental data were five Landsat TM and ETM images of 1988, 1992, 1998, 2001 and 2010. Three scenarios were designed to simulate the spatial pattern. The first scenario assumed historical urbanization mode would persist and the only limitations for development were height and slope. The second one was a compact scenario which makes the growth mostly internal and limited the expansion of suburban areas. The last scenario proposed a polycentric urban structure which let the little patches * Corresponding author. Tel.: +98 912 3572913 E-mail address: shaghayegh.kargozar@yahoo.com

Confidence Measures for Neural Network Classifiers <=SEP=> Neural Networks are commonly used in classification and decision tasks. In this paper, we focus on the problem of the local confidence of their results. We review some notions from statistical decision theory that offer an insight on the determination and use of confidence measures for classification with Neural Networks. We then present an overview of the existing confidence measures and finally propose a simple measure which combines the benefits of the probabi-listic interpretation of network outputs and the estimation of the quality of the model by bootstrap error estimation. We discuss empirical results on a real-world application and an artificial problem and show that the simplest measure behaves often better than more sophisticated ones, but may be dangerous under certain situations.

Using parallel stiffness to achieve improved locomotive efficiency with the Sandia STEPPR robot <=SEP=> In this paper we introduce STEPPR (Sandia Transmission-Efficient Prototype Promoting Research), a bipedal robot designed to explore efficient bipedal walking. The initial iteration of this robot achieves efficient motions through powerful electromagnetic actuators and highly back-drivable synthetic rope transmissions. We show how the addition of parallel elastic elements at select joints is predicted to provide substantial energetic benefits: reducing cost of transport by 30 to 50 percent. Two joints in particular, hip roll and ankle pitch, reduce dissipated power over three very different gait types: human walking, human-like robot walking, and crouched robot walking. Joint springs based on this analysis are tested and validated experimentally. Finally, this paper concludes with the design of two unique parallel spring mechanisms to be added to the current STEPPR robot in order to provide improved locomotive efficiency.

The Theory Behind Mp3 <=SEP=> Since the MPEG-1 Layer III encoding technology is nowadays widely used it might be interesting to gain knowledge of how this powerful compression/decompression scheme actually functions. How come the MPEG-1 Layer III is capable of reduc ing the bit rate with a factor of 12 without almost any audible degradation? Would it be fairly easy to implement this encoding algorithm? This paper will answer these questions and give further additional detailed information.

Chatbot for IT Security Training: Using Motivational Interviewing to Improve Security Behaviour <=SEP=> We conduct a pre-study with 25 participants on Mechanical Turk to find out which security behavioural problems are most important for online users. These questions are based on motivational interviewing (MI), an evidence-based treatment methodology that enables to train people about different kinds of behavioural changes. Based on that the chatbot is developed using Artificial Intelligence Markup Language (AIML). The chatbot is trained to speak about three topics: passwords, privacy and secure browsing. These three topics were ’most-wanted’ by the users of the pre-study. With the chatbot three training sessions with people are conducted.

Walking on Water : Biolocomotion at the Interface <=SEP=> We consider the hydrodynamics of creatures capable of sustaining themselves on the water surface by means other than flotation. Particular attention is given to classifying water walkers according to their principal means of weight support and lateral propulsion. The various propulsion mechanisms are rationalized through consideration of energetics, hydrodynamic forces applied, or momentum transferred by the driving stroke. We review previous research in this area and suggest directions for future work. Special attention is given to introductory discussions of problems not previously treated in the fluid mechanics literature, with hopes of attracting physicists, applied mathematicians, and engineers to this relatively unexplored area of fluid mechanics. 339 A nn u. R ev . F lu id . M ec h. 2 00 6. 38 :3 39 -3 69 . D ow nl oa de d fr om a rj ou rn al s. an nu al re vi ew s. or g by Y al e U ni ve rs ity S O C IA L S C IE N C E L IB R A R Y o n 12 /1 7/ 05 . F or p er so na l u se o nl y. AR266-FL38-13 ARI 11 November 2005 20:7

Data Mining and Knowledge Discovery : Applications , Techniques , Challenges and Process Models in Healthcare <=SEP=> Many healthcare leaders find themselves overwhelmed with data, but lack the information they need to make right decisions. Knowledge Discovery in Databases (KDD) can help organizations turn their data into information. Organizations that take advantage of KDD techniques will find that they can lower the healthcare costs while improving healthcare quality by using fast and better clinical decision making. In this paper, a review study is done on existing data mining and knowledge discovery techniques, applications and process models that are applicable to healthcare environments. The challenges for applying data mining techniques in healthcare environment will also be discussed.

Economic Benefit of Powerful Credit Scoring ∗ <=SEP=> We study the economic benefits from using credit scoring models. We contribute to the literature by relating the discriminatory power of a credit scoring model to the optimal credit decision. Given the Receiver Operating Characteristic (ROC) curve, we derive a) the profit-maximizing cutoff and b) the pricing curve. Using these two concepts and a mixture thereof, we study a stylized loan market model with banks differing in the quality of their credit scoring model. Even for small quality differences, the variation in profitability among lenders is large and economically significant. We end our analysis by quantifying the impact on profits when information leaks from a competitor’s scoring model into the market. JEL Classification Codes: D40, G21, H81

Intelligence Without Reason <=SEP=> Computers and Thought are the two categories that together de ne Arti cial Intelligence as a discipline. It is generally accepted that work in Arti cial Intelligence over the last thirty years has had a strong in uence on aspects of computer architectures. In this paper we also make the converse claim; that the state of computer architecture has been a strong in uence on our models of thought. The Von Neumann model of computation has lead Arti cial Intelligence in particular directions. Intelligence in biological systems is completely di erent. Recent work in behavior-based Arti cial Intelligence has produced new models of intelligence that are much closer in spirit to biological systems. The non-Von Neumann computational models they use share many characteristics with biological computation. Copyright c Massachusetts Institute of Technology, 1991 This report describes research done at the Arti cial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for this research was provided in part by the University Research Initiative under O ce of Naval Research contract N00014{86{K{0685, in part by the Advanced Research Projects Agency under O ce of Naval Research contract N00014{ 85{K{0124, in part by the Hughes Arti cial Intelligence Center, in part by Siemens Corporation, and in part by Mazda Corporation.

Chronic administration of cannabidiol to healthy volunteers and epileptic patients. <=SEP=> In phase 1 of the study, 3 mg/kg daily of cannabidiol (CBD) was given for 30 days to 8 health human volunteers. Another 8 volunteers received the same number of identical capsules containing glucose as placebo in a double-blind setting. Neurological and physical examinations, blood and urine analysis, ECG and EEG were performed at weekly intervals. In phase 2 of the study, 15 patients suffering from secondary generalized epilepsy with temporal focus were randomly divided into two groups. Each patient received, in a double-blind procedure, 200-300 mg daily of CBD or placebo. The drugs were administered for along as 4 1/2 months. Clinical and laboratory examinations, EEG and ECG were performed at 15- or 30-day intervals. Throughout the experiment the patients continued to take the antiepileptic drugs prescribed before the experiment, although these drugs no longer controlled the signs of the disease. All patients and volunteers tolerated CBD very well and no signs of toxicity or serious side effects were detected on examination. 4 of the 8 CBD subjects remained almost free of convulsive crises throughout the experiment and 3 other patients demonstrated partial improvement in their clinical condition. CBD was ineffective in 1 patient. The clinical condition of 7 placebo patients remained unchanged whereas the condition of 1 patient clearly improved. The potential use of CBD as an antiepileptic drug and its possible potentiating effect on other antiepileptic drugs are discussed.

Challenges and Solutions for End-to-End Time-Sensitive Optical Networking <=SEP=> Time sensitive applications rely on deterministic low latency, highly reactive, and trustable networks, as opposed to today's best effort internet. We review existing solutions and propose in this paper Deterministic Dynamic Network as a solution for end-to-end time-sensitive optical networking.

Face age estimation using wrinkle patterns <=SEP=> Face age estimation is a challenging problem due to the variation of craniofacial growth, skin texture, gender and race. With recent growth in face age estimation research, wrinkles received attention from a number of research, as it is generally perceived as aging feature and soft biometric for person identification. In a face image, wrinkle is a discontinuous and arbitrary line pattern that varies in different face regions and subjects. Existing wrinkle detection algorithms and wrinkle-based features are not robust for face age estimation. They are either weakly represented or not validated against the ground truth. The primary aim of this thesis is to develop a robust wrinkle detection method and construct novel wrinkle-based methods for face age estimation. First, Hybrid Hessian Filter (HHF) is proposed to segment the wrinkles using the directional gradient and a ridge-valley Gaussian kernel. Second, Hessian Line Tracking (HLT) is proposed for wrinkle detection by exploring the wrinkle connectivity of surrounding pixels using a cross-sectional profile. Experimental results showed that HLT outperforms other wrinkle detection algorithms with an accuracy of 84% and 79% on the datasets of FORERUS and FORERET while HHF achieves 77% and 49%, respectively. Third, Multi-scale Wrinkle Patterns (MWP) is proposed as a novel feature representation for face age estimation using the wrinkle location, intensity and density. Fourth, Hybrid Aging Patterns (HAP) is proposed as a hybrid pattern for face age estimation using Facial Appearance Model (FAM) and MWP. Fifth, Multi-layer Age Regression (MAR) is proposed as a hierarchical model in complementary of FAM and MWP for face age estimation. For performance assessment of age estimation, four datasets namely FGNET, MORPH, FERET and PAL with different age ranges and sample sizes are used as benchmarks. Results showed that MAR achieves the lowest Mean Absolute Error (MAE) of 3.00 (±4.14) on FERET and HAP scores a comparable MAE of 3.02 (±2.92) as state of the art. In conclusion, wrinkles are important features and the uniqueness of this pattern should be considered in developing a robust model for face age estimation.

ARTIFICIAL NEURAL NETWORK ARCHITECTURE FOR SOLVING THE DOUBLE DUMMY BRIDGE PROBLEM IN CONTRACT BRIDGE <=SEP=> Card games are interesting for many reasons besides their connection with gambling. Bridge is being a game of imperfect information, it is a well defined, decision making game. The estimation of the number of tricks to be taken by one pair of bridge players is called Double Dummy Bridge Problem (DDBP). Artificial Neural Networks are Non – Linear mapping structures based on the function of the human brain. Feed Forward Neural Network is used to solve the DDBP in contract bridge. The learning methodology, supervised learning was used in Back – Propagation Network (BPN) for training and testing the bridge sample deal. In our study we compared back – Propagation algorithm and obtained that Resilient Back – Propagation algorithms by using Hyperbolic Tangent function and Resilient Back – Propagation algorithm produced better result than the other. Among various neural network architectures, in this study we used four network architectures viz., 26x4, 52, 104 and 52x4 for solving DDBP in contract bridge.

Intelligent Parking Management System Based on Image Processing <=SEP=> This paper aims to present an intelligent system for parking space detection based on image processing technique. The proposed system captures and processes the rounded image drawn at parking lot and produces the information of the empty car parking spaces. In this work, a camera is used as a sensor to take photos to show the occupancy of car parks. The reason why a camera is used is because with an image it can detect the presence of many cars at once. Also, the camera can be easily moved to detect different car parking lots. By having this image, the particular car parks vacant can be known and then the processed information was used to guide a driver to an available car park rather than wasting time to find one. The proposed system has been developed in both software and hardware platform. An automatic parking system is used to make the whole process of parking cars more efficient and less complex for both drivers and administrators.

Lens on the Endpoint: Hunting for Malicious Software Through Endpoint Data Analysis <=SEP=> Organizations are facing an increasing number of criminal threats ranging from opportunistic malware to more advanced targeted attacks. While various security technologies are available to protect organizations’ perimeters, still many breaches lead to undesired consequences such as loss of proprietary information, financial burden, and reputation defacing. Recently, endpoint monitoring agents that inspect system-level activities on user machines started to gain traction and be deployed in the industry as an additional defense layer. Their application, though, in most cases is only for forensic investigation to determine the root cause of an incident. In this paper, we demonstrate how endpoint monitoring can be proactively used for detecting and prioritizing suspicious software modules overlooked by other defenses. Compared to other environments in which host-based detection proved successful, our setting of a large enterprise introduces unique challenges, including the heterogeneous environment (users installing software of their choice), limited ground truth (small number of malicious software available for training), and coarse-grained data collection (strict requirements are imposed on agents’ performance overhead). Through applications of clustering and outlier detection algorithms, we develop techniques to identify modules with known malicious behavior, as well as modules impersonating popular benign applications. We leverage a large number of static, behavioral and contextual features in our algorithms, and new feature weighting methods that are resilient against missing attributes. The large majority of our findings are confirmed as malicious by anti-virus tools and manual investigation by experienced security analysts.

Distributed heterogeneous event processing: enhancing scalability and interoperability of CEP in an industrial context <=SEP=> Although a significant amount of research has investigated the benefits of distributed CEP in terms of scalability and extensibility, there is an ongoing reluctance in deploying distributed CEP in an industrial context. In this paper we present the DHEP system developed together with the IBM® laboratory in Böblingen. It addresses some of the key problems in increasing the acceptance of distributed CEP, for example supporting interoperability between heterogeneous event processing systems. We present the concepts behind the DHEP system and show how those concepts help to achieve scalable and extensible event processing in an industrial context. Moreover, we verify in an evaluation study that the additional cost imposed by the DHEP system is moderate and 'affordable' for the benefits provided.

An Analysis of the Manufacturing Messaging Specification Protocol <=SEP=> The Manufacturing Messaging Specification (MMS) protocol is widely used in industrial process control applications, but it is poorly documented. In this paper we present an analysis of the MMS protocol in order to improve understanding of MMS in the context of information security. Our findings show that MMS has insufficient security mechanisms, and the meagre security mechanisms that are available are not implemented in commercially available industrial devices.

Non-iterative, feature-preserving mesh smoothing <=SEP=> With the increasing use of geometry scanners to create 3D models, there is a rising need for fast and robust mesh smoothing to remove inevitable noise in the measurements. While most previous work has favored diffusion-based iterative techniques for feature-preserving smoothing, we propose a radically different approach, based on robust statistics and local first-order predictors of the surface. The robustness of our local estimates allows us to derive a non-iterative feature-preserving filtering technique applicable to arbitrary "triangle soups". We demonstrate its simplicity of implementation and its efficiency, which make it an excellent solution for smoothing large, noisy, and non-manifold meshes.

Robust real-time underwater digital video streaming using optical communication <=SEP=> We present a real-time video delivery solution based on free-space optical communication for underwater applications. This solution comprises of AquaOptical II, a high-bandwidth wireless optical communication device, and a two-layer digital encoding scheme designed for error-resistant communication of high resolution images. Our system can transmit digital video reliably through a unidirectional underwater channel, with minimal infrastructural overhead. We present empirical evaluation of this system's performance for various system configurations, and demonstrate that it can deliver high quality video at up to 15 Hz, with near-negligible communication latencies of 100 ms. We further characterize the corresponding end-to-end latencies, i.e. from time of image acquisition until time of display, and reveal optimized results of under 200 ms, which facilitates a wide range of applications such as underwater robot tele-operation and interactive remote seabed monitoring.

Development of Highly Secured Cloud Rendered Log Management System <=SEP=> A log is a collection of record of events that occurs within an organization containing systems and network. These logs are very important for any organization, because log file will able to record all user activities. As this log files plays vital role and also it contains sensitive information , it should be maintained highly secure. So, management and securely maintenance of log records are very tedious task. However, deploying such a system for high security and privacy of log records is an overhead for an organization and also it requires additional cost. Many techniques have been design so far for security of log records. The alternative solution is to maintaining log records over a cloud database. Log files over cloud environment leads to challenges about privacy, confidentiality and integrity of log files. In this paper, we propose highly secured cloud rendered log management and also use of some cryptographic algorithms for dealing the issues to access a cloud based data storage. To the best of knowledge, this is the strong work to provide a complete solution to the cloud based secure log management problem.

Inside help: An integrative review of champions in healthcare-related implementation <=SEP=> Background/aims
The idea that champions are crucial to effective healthcare-related implementation has gained broad acceptance; yet the champion construct has been hampered by inconsistent use across the published literature. This integrative review sought to establish the current state of the literature on champions in healthcare settings and bring greater clarity to this important construct.


Methods
This integrative review was limited to research articles in peer-reviewed, English-language journals published from 1980 to 2016. Searches were conducted on the online MEDLINE database via OVID and PubMed using the keyword "champion." Several additional terms often describe champions and were also included as keywords: implementation leader, opinion leader, facilitator, and change agent. Bibliographies of full-text articles that met inclusion criteria were reviewed for additional references not yet identified via the main strategy of conducting keyword searches in MEDLINE. A five-member team abstracted all full-text articles meeting inclusion criteria.


Results
The final dataset for the integrative review consisted of 199 unique articles. Use of the term champion varied widely across the articles with respect to topic, specific job positions, or broader organizational roles. The most common method for operationalizing champion for purposes of analysis was the use of a dichotomous variable designating champion presence or absence. Four studies randomly allocated of the presence or absence of champions.


Conclusions
The number of published champion-related articles has markedly increased: more articles were published during the last two years of this review (i.e. 2015-2016) than during its first 30 years (i.e. 1980-2009).The number of champion-related articles has continued to increase sharply since the year 2000. Individual studies consistently found that champions were important positive influences on implementation effectiveness. Although few in number, the randomized trials of champions that have been conducted demonstrate the feasibility of using experimental design to study the effects of champions in healthcare.

Common criteria compliant software development (CC-CASD) <=SEP=> In order to gain their customers' trust, software vendors can certify their products according to security standards, e.g., the Common Criteria (ISO 15408). However, a Common Criteria certification requires a comprehensible documentation of the software product. The creation of this documentation results in high costs in terms of time and money.
 We propose a software development process that supports the creation of the required documentation for a Common Criteria certification. Hence, we do not need to create the documentation after the software is built. Furthermore, we propose to use an enhanced version of the requirements-driven software engineering process called ADIT to discover possible problems with the establishment of Common Criteria documents. We aim to detect these issues before the certification process. Thus, we avoid expensive delays of the certification effort. ADIT provides a seamless development approach that allows consistency checks between different kinds of UML models. ADIT also supports traceability from security requirements to design documents. We illustrate our approach with the development of a smart metering gateway system.