this book includes papers presented at SOCO 2018, CISIS 2018 and ICEUTE 2018, all held in the beautiful and historic city of San Sebastian (Spain), in June 2018. Soft computing represents a collection or set of comput...
ISBN:
(纸本)9783319941196
this book includes papers presented at SOCO 2018, CISIS 2018 and ICEUTE 2018, all held in the beautiful and historic city of San Sebastian (Spain), in June 2018. Soft computing represents a collection or set of computational techniques in machine learning, computer science and some engineering disciplines, which investigate, simulate, and analyze highly complex issues and phenomena. After a rigorous peer-review process, the 13th SOCO 2018 international Program Committee selected 41 papers, with a special emphasis on optimization, modeling and control using soft computing techniques and soft computing applications in the field of industrial and environmental enterprises. the aim of the 11th CISIS 2018 conference was to offer a meeting opportunity for academic and industry researchers from the vast areas of computational intelligence, information security, and data mining. the need for intelligent, flexible behaviour by large, complex systems, especially in mission-critical domains, was the catalyst for the overall event. Eight of the papers included in the book were selected by the CISIS 2018 international Program Committee. the international Program Committee of ICEUTE 2018 selected 11 papers for inclusion in these conference proceedings.
the proceedings contain 31 papers. the special focus in this conference is on Perspectives of System Informatics. the topics include: Lightweight non-intrusive virtual machine introspection;a distributed approach to c...
ISBN:
(纸本)9783319743127
the proceedings contain 31 papers. the special focus in this conference is on Perspectives of System Informatics. the topics include: Lightweight non-intrusive virtual machine introspection;a distributed approach to coreference resolution in multiagent text analysis for ontology population;a framework for dynamical construction of software components;A transformation-based approach to developing high-performance GPU programs;domain engineeringthe Magnolia way;approximating event system abstractions by covering their states and transitions;implementing the symbolic method of verification in the C-light project;highlights of the rice-shapiro theorem in computable topology;a memory model for deductively verifying linux kernel modules;a human-in-the-loop perspective for safety assessment in robotic applications;indexing of hierarchically organized spatial-temporal data using dynamic regular octrees;An approach to the validation of XML documents based on the model driven architecture and the object constraint language;compositional relational programming with name projection and compositional synthesis;whaleProver: First-order intuitionistic theorem prover based on the inverse method;distributed in situ processing of big raster data in the cloud;statistical approach to increase source code completion accuracy;using the subject area ontology for automating learning processes and scientific investigation;Runtime specialization of postgreSQL query executor;MicroTESK: A tool for constrained random test program generation for microprocessors;Enriching textual Xtext-DSLs with a graphical GEF-based editor;multi-level static analysis for finding error patterns and defects in source code;Towards automated static verification of GNU C programs;domain specific semantic validation of *** annotations;pipelined bottom-up evaluation of datalog programs: the push method;PosDB: A distributed column-store engine.
Game-based design can be used to develop engaging health applications for children. this engagement can only be realised when design is tailored to their preferences. In this study we investigate game preferences of c...
详细信息
this paper proposes a training algorithm for fuzzy neural networks that can generate consistent and accurate models while adding some level of interpretation to applied problems. learning is achieved through extreme l...
详细信息
Scoliosis embodies the most frequent three-dimensional spinal deformity in children. Only timely treatment during the growth of the spine may significantly reduce related health problems inflicted by the deformity on ...
Scoliosis embodies the most frequent three-dimensional spinal deformity in children. Only timely treatment during the growth of the spine may significantly reduce related health problems inflicted by the deformity on adults. the results obtained via conservative therapy are problematic, and a certain degree of curvature already requires surgical treatment that at the time of writing consists of repeated spinal surgeries posing a high risk of complications. the aim is to use a spine model for computer based simulation of changes in the stress on the spine during idiopathic and syndromic deformity correction via vertebral osteotomy. A machine-learning toolbox for 3D Slicer has been developed. the toolbox has a form of an application extension. Preprocessing of the data, training and usage of the classifier is possible through a simple and modern graphical user interface. the extension is capable of performing a variety of helpful tasks such as an analysis of the impact of the size of the training vector and feature selection on classifier precision. the results suggest that the training vector size can be minimized for all of the tested classifiers. Furthermore, the random forest classifier's performance seems to be resistant to training parameter changes. Support vector machine is sensitive to training parameter changes with optimal values concentrated in a narrow feature space.
the proceedings contain 61 papers. the topics discussed include: flexural static energy of steel fiber rubberized concrete beams with layered distribution;learning analytics and serious games: analysis of interrelatio...
ISBN:
(纸本)9781538667125
the proceedings contain 61 papers. the topics discussed include: flexural static energy of steel fiber rubberized concrete beams with layered distribution;learning analytics and serious games: analysis of interrelation;prediction of Parkinson disease using gait signals;data science to improve patient management system;measuring the performance characteristics of MBSE techniques with bim for the construction industry;steganalysis of RGB images using merged statistical features of color channels;healthcare services innovations based on the state of the art technology trend industry 4.0;fog computing framework for Internet of things applications;and improve the accuracy of dirichlet reputation system for web services.
A category as well as a model is a mixture of graphical information and algebraic operations. therefore, category language seems to be the most general to describe the models. It can provide us withthe features that ...
详细信息
ISBN:
(数字)9783030059187
ISBN:
(纸本)9783030059187;9783030059170
A category as well as a model is a mixture of graphical information and algebraic operations. therefore, category language seems to be the most general to describe the models. It can provide us withthe features that must characterize boththe DSL language and the Modeling Method concept. the theory of categories works with patterns or forms in which each of these forms describe different aspects of the real world. Category theory offers both, a language, and a lot of conceptual tools to efficiently handle models. An important aspect of modeling is building complex functions from a given set of simple functions, using different operations on functions such as composition and repeat composition. Category theory is exactly the right algebra for such constructions. the category theory creates the premises for the development of intelligent workflow modeling tools equipped with advanced analysis tools and automatedlearning mechanisms adapted to analyze and improve processes. the model allows on-line process information extraction, automatic learning from these data and self-improvement.
Proteins define phenotypes and their dysregulation leads to diseases. Post-translational regulation of protein abundance can be achieved by microRNAs (miRNAs). therefore studying this method of gene regulation is of h...
详细信息
data hiding is proposed as a solution that helps to secure any significant information. these techniques conceal the existence of a secret message that is confidentially inserted into multimedia covers such as text, a...
详细信息
ISBN:
(纸本)9781538675090
data hiding is proposed as a solution that helps to secure any significant information. these techniques conceal the existence of a secret message that is confidentially inserted into multimedia covers such as text, audio, video, or image. Audio data hiding is a recent research topic which is aimed to securely transfer an imperceptible stego file. this stego is transferred to the destination carrying a high payload. Commonly, schemes in steganography are classified into two domains: time and frequency. In the time domain, varied LSB techniques are proposed but these techniques are known as the simplest algorithms in the field of steganography. In this paper, an audio data hiding algorithm based on octal modulus function is presented. this method is conducted based on modifying the cover samples. the original samples are subtracted by the difference between the secret message digit and the same sample remainder value. three testing implementations are conducted by changing the base of unsigned integer (uint) function (e.g. uint8, uint16, or uint24) of the cover audio samples. the performance is evaluated regarding boththe capacity and quality. this evaluation is performed based on varying the cover samples values using uint8, uint16, and uint24, so SNR values are approximately 32, 80, 129 dB, respectively. the values of SNR are obtained after fully embedding the cover file wherein each sample there are 3 secret bits.
According to the theories of interest and self-determination in education psychology, students' academic performance will be positively affected by situational interest and learning motivation. For improving the d...
详细信息
ISBN:
(纸本)9783319945057;9783319945040
According to the theories of interest and self-determination in education psychology, students' academic performance will be positively affected by situational interest and learning motivation. For improving the design of an engineering course at the City University of Hong Kong in a blended learning environment, we apply these two theories to form a new conceptual model and verify it through an experimental study in which a total number of 61 undergraduate students participated during a whole 13-week course. In this study, we aim at finding out how situational interest can be cultivated. the data analysis results show that the learning motivation can further cultivate the situational interest on top of the individual interest, and the perceived usefulness of instructional design can enhance students' learning satisfaction and learning motivation. Our findings make theoretical contributions by combining these two theories and demonstrate the importance of these theories on the instructional design.
暂无评论