Miracle-dz/UniFAR-FTUs huggingface dataset:
LogiQL: A Query Language for Smart Databases

LogiQL is a new state-of-the-art programming language based on Datalog. It can be used to build applications that combine transactional, analytical, graph, probabilistic, and mathematical programming. LogiQL makes it possible to build hybrid applications that previously required multiple programming languages and databases. In this first book to cover LogiQL, the authors explain how to design, implement, and query deductive databases using this new programming language. LogiQLs declarative approach enables complex data structures and business rules to be simply specified and then automatically executed. It is especially suited to business applications requiring complex rules to be implemented efficiently, for example predictive analytics and supply chain optimization. Suitable for both novices and experienced developers, the book is written in easy-to-understand language. It includes many examples and exercises throughout to illustrate the main concepts and consolidate understanding.
STATIC ANALYSIS TOOL FOR SYNCHRONIZATION ANALYSIS, REPRESENTATION, AND OPTIMIZATIONS FOR APPLICATIONS USING OPENSHMEM

Programming models provide application developers abstraction from the underlying hardware. OpenSHMEM library follows the Partitioned Global Address Space programming model, which is characterized by local and global views of data. The OpenSHMEM library API provides synchronization primitives that require participation of some or all OpenSHMEM processes executing the application (collective). Since most distributed parallel applications spend 30-40% of their execution time performing synchronization, it is a constant struggle for most application programmers to relax the memory consistency constraints while guaranteeing reproducible and correct results. From our experience, we have seen that generally programmers tend to over-synchronize when in doubt, and the best approach towards creating correct, scalable, and performance driven applications is to help programmers leverage optimizations based on the semantics of the OpenSHMEM library. Unfortunately, most application developers are not well acquainted with all the nuances of the targeted programming libraries and spend most of their development time focused on the correctness aspect alone. This leads to a need for a framework to provide programmers better understanding of the applications and provide useful feed back making it easier for the application developer to incorporate basic and advanced optimizations into their applications with ease. For this we collaborated with the Oak Ridge National Laboratory (ORNL) to build a compiler-based tool called the OpenSHMEM analyzer (OSA), which makes the OpenUH compiler aware of the OpenSHMEM library semantics. Along with basic semantic checks, the analyzer provides useful feedback at compile time, leading to faster turn around time and lesser wastage of resources in terms of debugging time or failed execution runs.
Verifying commitment based business protocols and their compositions: model checking using promela and spin

A protocol-oriented approach of modeling and enacting business processes and workflows has been developed recently that offers advantages in terms of supporting the autonomy and heterogeneity of business partners and the reconfigurability of their process. Importantly, protocols are described using commitments, map to the individual computation of the participating roles, and can be composed to yield more complex protocols. However, verifying that the protocols, especially composed protocols, fully satisfy appropriate correctness properties remains an open problem. This dissertation presents a novel way to model business protocols in terms of commitments involved and the constraints for protocol composition. The correct composition of a business process can be expressed via individual protocol definitions and their composition constraints, thereby enabling the verification of large processes. Importantly, as part of the verification process, protocols are translated into the language Promela, which makes them amenable to analysis and verification using the model checker Spin. As a result many important properties of business protocols and their compositions into partial and full workflows can be verified, and improved protocols can be produced. The contribution of this dissertation is in providing a generalized mechanism for modeling commitments, formulating and verifying properties related to commitments. In fact, the results are applicable to a wide range of processes and related protocols, such as scientific discovery processes and workflows.
The serial message-passing schedule for LDPC decoding algorithms

The conventional message-passing schedule for LDPC decoding algorithms is the so-called flooding schedule. It has the disadvantage that the updated messages cannot be used until next iteration, thus reducing the convergence speed . In this case, the Layered Decoding algorithm (LBP) based on serial message-passing schedule is proposed. In this paper the decoding principle of LBP algorithm is briefly introduced, and then proposed its two improved algorithms, the grouped serial decoding algorithm (Grouped LBP) and the semi-serial decoding algorithm . They can improve LBP algorithm's decoding speed while maintaining a good decoding performance.
Image Reconstruction Using Discrete Wavelet Transform

In the recent growth of data intensive and multimedia based applications, efficient image compression solutions are becoming critical. The main objective of Image Compression is to reduce redundancy of the data and improve the efficiency. The main techniques used are Fourier Analysis, Discrete Cosine Transform vector quantization method, sub-band coding method. The drawbacks in the above methods are, they cannot be used for real time systems. In order to overcome these problems, the Wavelet Transform method has been introduced. Wavelet Analysis is highly capable of revealing aspects of data like trends, breakdown points, discontinuities in higher derivates and self similarity and can often compress or diagnose a signal without appreciable degradation. Here, we implement a lossy image compression technique using Matlab Wavelet Toolbox and Matlab Functions where the wavelet transform of the signal is performed, then calculated a threshold based on the compression ratio acquired by the user.
Sliding Mode Active Queue Management Algorithm

: In this paper, a robust Sliding Mode Variable Structure (SMVS) controller is designed for Active Queue Management (AQM). This type of controller is insensitive to noise and variance of the parameters, thus it is suitable to time varying network systems. Simulation results conform the robust performance of SMVS controller against the disturbance. At the same time, a complete comparison between SMVS and PI controllers is made. The conclusion is that both transient and steady state performance of SMVS controller is better than that of PI one.
Digital Tampering Detection Techniques: A Review

In this era of digital computing, the interest and necessity of representing information in visual forms has become very important. Due to considerable improvement in computing and network technologies, and the availability of better bandwidths, the past few years have seen a considerable rise in the accessibility, sophistication, and transmission of digital images using imaging technologies like digital cameras, scanners, photo-editing, and software-packages. However, this technology is also being used for manipulating digital images and creating forgeries that are difficult to distinguish from authentic photographs. Tampering of images involves pasting one part of an image onto another one, skillfully manipulated to avoid any suspicion. Any image manipulation can become a forgery, based upon the context in which it is used. The sophisticated and low-cost tools of the digital age enable the creation and manipulation of digital images without leaving any perceptible traces. As a result, the authenticity of images can’t be taken for granted, especially when it comes to legal photographic evidence. Manipulations on an image encompass processing operations such as scaling, rotation, brightness adjustment, blurring, contrast enhancement, etc. or any cascade combinations of them. Thus the problem of establishing image authenticity has become more complex with easy availability of digital images and free downloadable image editing softwares leading to diminishing trust in digital photographs.Detecting forgery in the digital images is one of the challenges of this exciting digital age. A lot of research is underway to detect and prevent forgery in digital images. One of the problems in web based image applications is non-availability of original image for evaluation. Further, digital imagery authentication techniques based on cryptographic principles and digital signatures offer no modification protection following image transmission. In this paper, we study the major approaches to detect forgery in digital images. Initially, the process of digital image tampering is explained. Subsequently, we analyze some of recent algorithms for detecting digital forgery including copy-move, chromatic aberration, PCA for detecting duplicated image, lighting inconsistencies. Preliminary investigations show that different algorithms have different domains of tampering detection and have different merits and demerits. The decision about the content authenticity is complex and can be better established by interpreting the results obtained by applying a set of these methods.
Learners’ Use of Corpus Examples

One of the distinguishing characteristics of corpus-based dictionaries is that most entries contain example sentences or phrases that have been copied or adapted from corpora. Although examples are generally regarded as positive and have high face validity among learners, the body of evidence about their actual benefits is limited and inconclusive. My aim in the present study is to revisit the idea of testing the usefulness of corpus examples. However, unlike previous research, in the present study different words are used to test language comprehension and the ability to correct typical language production errors, and a distinction is also drawn with regard to examples intended to facilitate decoding and examples meant to benefit encoding. In addition to this, because a single example might not be enough to help people understand what a word means or how it is used, in this study I also test the value of presenting learners with multiple corpus examples.
Optimization of journal bearings using a hybrid scheme

Abstract An optimization scheme that minimizes power loss and side leakage in journal bearings applications in turbines and other machinery operating in laminar flow is developed. The power loss equation is derived and shown to give good results when simulating data from the literature. Two methods, namely, using weighting parameters/scaling factors and Pareto optimal fronts are compared. The latter method is recommended if the designer has no prior experience with selecting weighting parameters/scaling factors. A hybrid optimization technique that uses a genetic algorithm to converge to the global minimum and sequential quadratic programming for accurate location of the minimum point is used. The method gives consistently good predictions and has been verified by comparing predictions to available data in the literature.
Development of tools based on FPGA for image readout and processing in real time

FPGAs due to their reliability and parallel processing are an interesting choice for image processing in situations where real-time processing with high rates of execution of algorithms is necessary. The development of this approach creates the need to develop mechanisms for transmission of images between cameras or computers and FPGAs. In this paper, with Altera Platform, and the graphical system design language LabVIEW, a system that can control, manage and transfer images between a computer and embedded memories, through the PCIe bus, was developed. The system was evaluated for completeness and speed of data transmission, where was obtained a rate of 48.91 MBytes /second resulting in 1643 images/second transmitted to the FPGA. As presented, these results should be analyzed considering the characteristics of all elements, hardware and software, that constitute the system of transmitting images. The development and understanding of time and reliability characteristics of the image transmission process is a first step for the application of image processing algorithms embedded in FPGA.
1 Decoding and Encoding the " DNA " of Teaching and Learning in College Classrooms

The success of the human species on Earth has derived in part from its ability to understand, predict, manipulate, govern, and preserve biological lifecycles from the microscopic to the planetary scale. Since the rediscovery of Mendel ’ s work at the beginning of the twentieth century, the mechanisms of inheritance and nature versus nurture have been enduring themes for geneticists. What a living organism (plant, animal, or microbe) exhibits, its recorded performances, and its observed behaviors, depends in part upon the inherited genes, the environment, and their interactions. At the molecular level, the deoxyribonucleic acid ( DNA ) encodes the genetic instructions. The DNA, organized in chromosomes, is found in the nucleus of cells that make up tissues and organs, which in turn contribute to the proper functions of the organism as a member of a species in constant dynamic equilibrium with other components of an ecosystem. Irrespective of the unique contribution of molecular biology, cellular and organismal physiology, ecology, and evolution to the fi eld of biology as a whole, DNA is the molecule that fundamentally connects these disciplines to each other. Is there such a thing as the “DNA” of teaching and learning? What are the fundamental structures and processes that underpin the education of human beings? Could one look at kindergarten, primary, secondary, and higher education, the household, the workplace, the places of worship, the public squares, and public libraries as places of teaching and learning that form a continuum made of distinct but interacting parts in one ’ s life, and the life of human communities? Could we think of these parts as forming cultural heritages and educational traditions that humans pass on from one generation to the next? If so, what are the roles of institutions of higher education and what are their functions? What educational purpose do they serve when four years on a university campus is approximately 5% of one ’ s lifespan (Figure 1.1 )? Is a scientifi c fact to critical thinking what DNA is to a gene? Could we imagine teaching and learning as the two complementary strands of a DNA molecule where the information that has been acquired by previous generations is stored and preserved, but where mechanisms for change during duplication are essential to allow for adaptation to changing conditions? In this chapter we have attempted to address what students do when they learn and what teachers do when they teach at a
SMEs and Cybersecurity Threats in E-Commerce

Abstract This paper provides an overview of the electronic attacks or the “digital challenges” which prospective customers of E-Commerce are likely to encounter while carrying out transactions over the web. The paper provides a comprehensive coverage of highly specialized electronic attacks that are on the increase in the electronic environment where SMEs (Small and Medium Enterprises) dealing in E-Commerce carry out their transactions. It is a descriptive account of various threats like client/server security threats as well as cyber identity thefts which have become quite infamous over the years and is invasive and fastest growing crime all around the world especially the U.S. The paper draws on a variety of secondary sources both published and unpublished. Recently the infamous client server attacks like Denial of Service (DoS) especially Distributed Denial of Service attacks made people aware of the importance of providing available data and service securely to users. Cyber security threats like website defacement, phishing, pharming, login attacks etc. have created a distrustful environment while making it very hard for small and medium-sized online service providers(SMEs) to compete with both established online and physically present service providers. It presents a review of literature developed from secondary sources. Cyber security threats are of immense concern to online users indulging in E-Commerce, online service providers, governments, and law enforcement agencies. This paper provides a useful overview of a scenario of cyber security threats in E-Commerce in the SME sector; and, from this summary of the present situation, makes an attempt to enlighten the users about various threats which they can encounter while carrying out their electronic transactions. An analysis of the security threats such as this can also assist an organization in formulating an effective security plan.
Integrating RBF networks with domain knowledge

Often in real-world situations no actual data is available but a domain expert may have a good idea of what to expect in terms of input and output parameter values. If the expert can express these relationships in the form of rules, this would provide a resource too valuable to ignore. The authors illustrate how a single domain rule can be used to synthesize new RBF hidden unit parameters. These new hidden units are incorporated into the original neural network to enable classification on examples the network would otherwise been unable to recognise. The authors then describe a more complex application using fuzzy logic to insert domain knowledge into the RBF network. Fuzzy logic is particularly suited to manage the imprecision and vagueness of natural language. The fuzzy rules are used to synthesize new RBF hidden unit parameters for incorporation into a new or existing network.
Realtime Quality Monitoring of Compressed Video Signals

Digital compression methods based on MPEG-2 are now widely used for broadcasting video content. Many television and radio programs can be multiplexed and transmitted together within the same bandwidth, where formerly only one analog program fit. Analog television video quality included the transmission chain and all the elements along the line; once a sufficiently high level was achieved, it was nearly independent from the content. With digital compression and transmission techniques, video quality is strongly content and compression-dependent and changes can be very abrupt from scene to scene. A means of following these changes in realtime and displaying picture quality, as a function of time, is required for continuous video-quality monitoring. This paper describes a single-ended quality analysis method that does not require a reference signal and is capable of processing video in realtime.
Code synchronization: a review of principles and techniques

We review the main concepts underlying the derivation of appropriate receivers for code synchronization in spread spectrum systems, emphasizing a likelihood theory viewpoint. Practical structures for the separate tasks of code acquisition and tracking are discussed and categorized. A brief discussion of analysis tools and performance measures is presented, along with design considerations for threshold settings, and impact of fading. An extensive bibliography is also included. <<ETX>>
A lifeline for COPD: prevention strategy

Educational aims To provide an overview of the medical devices used in support of respiratory diagnosis and management. An outline of the National Clinical Stratergy in the UK. To provide an outline of the National Clinical Stratergy in the UK. Summary This review provides an overview of the new National Clinical Strategy in the UK, which is designed to work proactively in preventing the development of chronic obstructive pulmonary disease (COPD) while defining a clear pathway to healthcare for sufferers. The government initiative will aim to associate the education of target groups with the diagnosis and management of COPD. Easy-to-use tools for healthcare professionals are available from the medical technology industry in support of the initiative, for example pre-screening, smoking cessation, spirometry measurements and body plethysmography.
Intrinsic Interoperability Of Services A Dream Or A Key Objective For Mission Operation Systems

Interoperability of mission operation software systems is a key requirement in space operations domain, both within an organisation and in the context of cross-organisation cooperation scenarios. This interoperability is traditionally achieved through deployment of dedicated integration adapters, for bridging discrepancies between proprietary data models, data formats, communication protocols and software implementation technology of each interacting application. The CCSDS Spacecraft Monitoring and Control (SM&C) working group has defined a service-oriented framework, which allows the specification of mission operation services in an implementation and communication technology agnostic manner. One of the main objectives of this framework is to increase the interoperability of mission operation services and reduce the required integration effort for federating services of different stakeholders. Domain specific design standards are a key factor for achieving service interoperability. They specify a reference Service Model for all services within a service inventory, addressing both functional and non-functional aspects of service contracts such as service taxonomy, service addressing, service security, Quality of Service (QoS), transaction management and reliable messaging. The CCSDS SM&C Message Abstraction Layer (MAL) specification provides a reference Service Model for mission operation services. It defines a set of service meta-data for capturing the above-mentioned architectural concerns. Our paper elaborates on what is involved in achieving true intrinsic interoperability of services at run-time, the main obstacles on the way and possible solutions. We believe true intrinsic interoperability of services at run-time (dynamic plug-and-play) is not the prime focus of mission operation services for space programmes of today and near future. The abstraction from the implementation and communication technology, which is currently provided by the CCSDS MO services framework and its Reference Service Model can reduce the effort required for integration of mission operation services significantly, paving the path towards implementation of better and more interoperable mission operation systems.
Neural network architecture for linear programming

A neural network architecture, called LP-Net, is introduced that rapidly solves general linear programming problems. Mathematically, the approach is based on the logarithmic barrier function approach to linear programming. The neural network simulates the barrier method's first-order dynamic system. The authors briefly outline the logarithmic barrier technique, present the neural network architecture, and give the set of differential equations that describes the network dynamics. The convergence properties of this neural network makes it ideal for analog hardware implementation. <<ETX>>
CBP networks as a generalized neural model

This paper analyzes the circular backpropagation network, a simple modification of the multilayer perceptron with interesting practical properties, especially well-suited to cope with pattern classification tasks. The proposed model unifies the two main representation paradigms found in the class of mapping networks for classification, namely, the surface-based and the prototype-based schemes, while retaining the advantage of being trainable by back-propagation. Multilayer perceptrons, radial-basis-function networks and vector-quantization networks are shown to be implementable with small modifications to the model under study.