Architectural Design of an Automated Software Tool

2010 ◽  
Author(s):  
Jason R. Meek ◽  
Narayan C. Debnath
Keyword(s):  
Architectural Design ◽  
Software Tool ◽  
Automated Software

scholarly journals Test problems composition methodology of different degrees of difficulties for the "Computer graphics" discipline

2021 ◽  
Vol 264 ◽  
pp. 03007
Author(s):  
Umida Nasritdinova
Keyword(s):  
Computer Graphics ◽  
Information And Communication Technologies ◽  
Software Tool ◽  
Educational Process ◽  
System Structure ◽  
Test Problems ◽  
Learning Modules ◽  
New Information ◽  
Information And Communication ◽  
Automated Software

Improving the effectiveness of education in the teaching of computer graphics is the organization of the educational process using new information and communication technologies, as well as quality control of the learning modules. With this in mind, the article provides a theoretical analysis of the methodology of compiling test questions from computer graphics and some related graphic disciplines. The relationship of factor theory to the graphical sciences has been identified. As a result, the three-level test task system structure based on specific formulas and their factors has been studied so far. Also, the system of assessment of students in four categories was tested using a general automated software tool for questionnaires and test control. Based on the results, mathematical statistical analysis was performed, and the range of variation of the four categories was shown.

ON π-CALCULUS SEMANTICS AS A FORMAL BASIS FOR UML ACTIVITY DIAGRAMS

2008 ◽  
Vol 18 (04) ◽  
pp. 541-567 ◽  
Author(s):  
VITUS S. W. LAM
Keyword(s):  
Theoretical Foundation ◽  
Formal Analysis ◽  
Software Tool ◽  
Activity Diagrams ◽  
Starting Point ◽  
Formal Basis ◽  
Π Calculus ◽  
Uml Activity Diagrams ◽  
Automated Software ◽  
Execution Semantics

UML activity diagrams encompass a set of notational elements for capturing the dynamic behavior of a system. Although the graphical syntax of UML activity diagrams is well-defined in the UML documentation, there is still not a commonly accepted approach for reasoning about UML activity diagrams. In this paper, we present a formalization of the execution semantics of UML activity diagrams using the π-calculus. The formalization provides a theoretical foundation and formal analysis for UML activity diagrams, as well as a starting point for building automated software tool.

scholarly journals EARLINET Single Calculus Chain – technical – Part 2: Calculation of optical products

2016 ◽  
Vol 9 (7) ◽  
pp. 3009-3029 ◽  
Author(s):  
Ina Mattis ◽  
Giuseppe D'Amico ◽  
Holger Baars ◽  
Aldo Amodeo ◽  
Fabio Madonna ◽  
...  
Keyword(s):  
Software Tool ◽  
Alternative Methods ◽  
Lidar Data ◽  
Extinction Coefficients ◽  
Particle Properties ◽  
Specific Effects ◽  
Temporal Averaging ◽  
Lidar Ratio ◽  
Automated Software ◽  
Comparison Exercise

Abstract. In this paper we present the automated software tool ELDA (EARLINET Lidar Data Analyzer) for the retrieval of profiles of optical particle properties from lidar signals. This tool is one of the calculus modules of the EARLINET Single Calculus Chain (SCC) which allows for the analysis of the data of many different lidar systems of EARLINET in an automated, unsupervised way. ELDA delivers profiles of particle extinction coefficients from Raman signals as well as profiles of particle backscatter coefficients from combinations of Raman and elastic signals or from elastic signals only. Those analyses start from pre-processed signals which have already been corrected for background, range dependency and hardware specific effects. An expert group reviewed all algorithms and solutions for critical calculus subsystems which are used within EARLINET with respect to their applicability for automated retrievals. Those methods have been implemented in ELDA. Since the software was designed in a modular way, it is possible to add new or alternative methods in future. Most of the implemented algorithms are well known and well documented, but some methods have especially been developed for ELDA, e.g., automated vertical smoothing and temporal averaging or the handling of effective vertical resolution in the case of lidar ratio retrievals, or the merging of near-range and far-range products. The accuracy of the retrieved profiles was tested following the procedure of the EARLINET-ASOS algorithm inter-comparison exercise which is based on the analysis of synthetic signals. Mean deviations, mean relative deviations, and normalized root-mean-square deviations were calculated for all possible products and three height layers. In all cases, the deviations were clearly below the maximum allowed values according to the EARLINET quality requirements.

scholarly journals CRISPRCasTyper: An automated tool for the identification, annotation and classification of CRISPR-Cas loci

2020 ◽  
Author(s):  
Jakob Russel ◽  
Rafael Pinilla-Redondo ◽  
David Mayo-Muñoz ◽  
Shiraz A. Shah ◽  
Søren J. Sørensen
Keyword(s):  
Software Tool ◽  
Software Pipeline ◽  
Bioinformatic Tools ◽  
Link Type ◽  
Machine Learning Approach ◽  
Increasing Demand ◽  
Automated Software ◽  
Gene Maps ◽  
Automated Tool

AbstractCRISPR-Cas loci encode for highly diversified prokaryotic adaptive defense systems that have recently become popular for their applications in gene editing and beyond. The increasing demand for bioinformatic tools that systematically detect and classify CRISPR-Cas systems has been largely challenged by their complex dynamic nature and rapidly expanding classification. Here, we developed CRISPRCasTyper, a new automated software tool with improved capabilities for identifying and typing CRISPR arrays and cas loci across prokaryotic sequences, based on the latest classification and nomenclature (39 subtypes/variants) (Makarova et al. 2020; Pinilla-Redondo et al. 2019). As a novel feature, CRISPRCasTyper uses a machine learning approach to subtype CRISPR arrays based on the sequences of the direct repeats. This allows the typing of orphan and distant arrays which, for example, are commonly observed in fragmented metagenomic assemblies. Furthermore, the tool provides a graphical output, where CRISPRs and cas operon arrangements are visualized in the form of colored gene maps, thus aiding annotation of partial and novel systems through synteny. Moreover, CRISPRCasTyper can resolve hybrid CRISPR-Cas systems and detect loci spanning the ends of sequences with a circular topology, such as complete genomes and plasmids. CRISPRCasTyper was benchmarked against a manually curated set of 31 subtypes/variants with a median accuracy of 98.6%. Altogether, we present an up-to-date and freely available software pipeline for significantly improved automated predictions of CRISPR-Cas loci across genomic sequences.ImplementationCRISPRCasTyper is available through conda and PyPi under the MIT license (https://github.com/Russel88/CRISPRCasTyper), and is also available as a web server (http://cctyper.crispr.dk).

scholarly journals Mapping a university’s research outputs to the UN Sustainable Development Goals

2020 ◽  
Vol 2 ◽  
pp. 61
Author(s):  
Asha Mistry ◽  
Hannah Sellers ◽  
Jeremy Levesley ◽  
Sandra Lee
Keyword(s):  
Higher Education ◽  
Sustainable Development ◽  
Sustainable Development Goals ◽  
Sustainability Reporting ◽  
Software Tool ◽  
Mathematical Text ◽  
Develop Software ◽  
Development Goals ◽  
Automated Software ◽  
The University

The UN Sustainable Development Goals (SDGs) provide a framework to achieve sustainable development and fulfilling these Goals will take an unprecedented effort by all sectors in society. Many universities and businesses are using the Goals within their strategies and sustainability reporting. However, this is difficult as there is currently no standard methodology to map the 17 goals, 169 targets and 232 indicators. Work at the University of Leicester has focused on developing a robust methodology to map a higher education institution’s (HEI’s) research contribution to the Goals. We have integrated this unique methodology into an automated software tool to measure a university’s academic contribution to the Goals using mathematical text mining techniques. Our ability to quickly and effectively map institutions’ research contributions has boosted our ambitions and efforts to develop software to map the full operations of an HEI or business.

Abstract P336: Assistance From Automated ASPECTS Software Improves Reader Performance

Stroke ◽  
2021 ◽  
Vol 52 (Suppl_1) ◽  
Author(s):  
Philip R Delio ◽  
Matthew L Wong ◽  
Jenny P Tsai ◽  
H. E Hinson ◽  
John McMenamy ◽  
...  
Keyword(s):  
Software Tool ◽  
Mri Scan ◽  
Vessel Occlusion ◽  
Individual Aspect ◽  
Automatic Software ◽  
Primary Hypothesis ◽  
The Individual ◽  
Automated Software

Purpose: To compare physicians’ ability to read Alberta Stroke Program Early CT Score (ASPECTS) in patients with a large vessel occlusion within 6 hours of symptom onset when assisted by a machine learning-based automatic software tool, RAPID ASPECTS, compared with their unassisted score. Materials and Methods: 50 baseline CT scans selected from two prior studies (CRISP and GAMES-RP) were read by 3 experienced neuroradiologists who were provided access to a follow-up MRI. The average ASPECT score of these reads was used as the reference standard. Two additional neuroradiologists and 6 non-neuroradiologist readers then read the scans both with and without assistance from the RAPID ASPECTS software and reader improvement was determined. The primary hypothesis was that the agreement between typical readers and the consensus of 3 expert neuroradiologists would be improved with RAPID-assisted vs. unassisted reads. Agreement was based on the percentage of the individual ASPECT regions (50 cases, 10 regions each; N=500) where agreement was achieved. Results: Typical non-neuroradiologist readers agreed with the expert consensus read in 72% of the 500 ASPECTS regions, evaluated without software assistance. The automated software alone agreed in 77%. When the typical readers read the scan in conjunction with the software, agreement improved to 78% (P<0.0001, test of proportions). RAPID ASPECTS alone achieved correlations for total ASPECT scores that were similar to the expert readers who had access to the follow-up MRI scan to help enhance the quality of their reads. Conclusion: Typical readers had statistically significant improvement in their scoring of scans when the scan was read in conjunction with the automated RAPID ASPECTS software, achieving agreement rates that were comparable to neuroradiologists.

Supporting Design Thinking with Evocative Digital Diagrams

2012 ◽  
pp. 319-337
Author(s):  
Christiane M. Herr
Keyword(s):  
Creative Thinking ◽  
Architectural Design ◽  
Design Thinking ◽  
Software Tool ◽  
Digital Design ◽  
Design Studio ◽  
Creative Potential ◽  
Open Questions ◽  
New Ideas ◽  
Architectural Design Studio

This chapter presents a digitally supported approach to creative thinking through diagrammatic visuals. Diagrammatic visuals can support designing by evoking thoughts and by raising open questions in conversational exchanges with designers. It focuses on the educational context of the architectural design studio, and introduces a software tool, named Algogram, which allows designers to employ diagrams in challenging conventional assumptions and for generating new ideas. Results from testing the tool and the way of approaching conceptual designing encouraged by it within an undergraduate design studio suggest a potential for refocusing of attention in digital design support development towards diagrams. In addition to the conventional emphasis on the variety of tool features and the ability of the tool to assist representational modeling of form, this chapter shows how a diagram-based approach can acknowledge and harness the creative potential of designers’ constructive seeing.

scholarly journals Automated Peak Harvesting of MALDI–MS spectra for high throughput proteomics

2003 ◽  
Vol 17 (2-3) ◽  
pp. 579-595 ◽  
Author(s):  
E. J. Breen ◽  
W. L. Holstein ◽  
F. G. Hopwood ◽  
P. E. Smith ◽  
M. L. Thomas ◽  
...  
Keyword(s):  
High Throughput ◽  
Mass Spectra ◽  
Software Tool ◽  
Complex Data ◽  
Two Dimensional Gel Electrophoresis ◽  
Maldi Tof ◽  
Peptide Mass ◽  
Low Concentrations ◽  
Recent Developments ◽  
Automated Software

High throughput proteomics is realized not only by the use of automated hardware but also by the application of efficient, automated software routines to complex data. In this paper, we present the recent developments of our software tool Peak Harvester for the automatic harvesting of monoisotopic peaks from MALDI-TOF mass spectra of peptides. Peak Harvester uses advanced mathematical morphology to convert mass spectra into stick representations. Poisson modeling of theoretical isotopic distributions is then applied to derive the monoisotopic peptide mass from an isotopically resolved group of peaks. The accuracy of Peak Harvester is demonstrated via the analysis of peptide spectra from low concentrations of bovine serum albumin blotted onto PVDF membranes and of tryptic digested platelet proteins derived from human blood following two-dimensional gel electrophoresis. The results demonstrate the power of this software as it can accurately assign monoisotopic masses, including those from overlapping isotopic distributions, and picks masses as accurately as an experienced human operator. We have further developed Peak Harvester to include peak harvesting from MALDI-TOF Post Source Decay (PSD) experiments. Here we demonstrate the versatility of the software by both the analysis of PSD data from 2DE and the analysis of peptide mass spectra collected directly from tryptic digests on a PVDF membrane.

Sign in / Sign up

Export Citation Format

Share Document