Miracle-dz/UniFAR-FTUs huggingface dataset:
Recent Advances in Damage Stability Assessment with Application on a Container Vessel

The paper reviews the design procedure and recent work published on the topic of the damage stability and the safety assessment criteria that is established accordingly. The available damage scenarios must be designed prior to the safety assessment of a damaged ship. Another aspect of the discussions is an opinion on some problematic aspects of the damage stability regulations with practical aspects presented in literature very sparse and the fact that different computer programs may give divers outcomes. A little review on the damage stability requirements with its new regulations is given. Stability assessment is performed on a selected container ship using the Maxsurf software for both the intact and damage condition of the vessel, while the parameters related to damage stability are identified and categorized when developing deterministic and probabilistic damage scenarios.
Computer Vision: A Modern Approach

From the Publisher: The accessible presentation of this book gives both a general view of the entire computer vision enterprise and also offers sufficient detail to be able to build useful applications. Users learn techniques that have proven to be useful by first-hand experience and a wide range of mathematical methods. A CD-ROM with every copy of the text contains source code for programming practice, color images, and illustrative movies. Comprehensive and up-to-date, this book includes essential topics that either reflect practical significance or are of theoretical importance. Topics are discussed in substantial and increasing depth. Application surveys describe numerous important application areas such as image based rendering and digital libraries. Many important algorithms broken down and illustrated in pseudo code. Appropriate for use by engineers as a comprehensive reference to the computer vision enterprise.
Translating programs into delay-insensitive circuits

• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.
The Syzygy Surfer: Creative technology for the World Wide Web

This paper discusses our development of a new Web engine, the Syzygy Surfer, which aims to induce a search/browsing experience that is more creative than traditional search. We do this by purposefully combining the ambiguity of natural language with the precision of Semantic Web technologies. Here we set out the framework for our investigation and discuss the context and background ideas that are informing the research. The paper offers some preliminary examples taken from our work in progress on the device and suggests the way ahead for future developments and applications.
The role of technology based approaches in globalizing education

Students from diverse linguistic and cultural backgrounds choose English speaking countries for the tertiary studies in popular fields such as Business. It would certainly help this group of students if teaching materials were designed in such a way that dependency and reliance on language was kept to minimum. Technology plays an important role in achieving this objective. Current Information Technology provides ideal opportunities for development of Visually Rich (VR) learning environments. Future information technology products may also facilitate capturing, digitising, storing and transferring human thoughts as an independent medium directly to other sources. Imagine the ability of directly transferring an animation of a concept to a learner in a thought file. After all, the language of thought is probably universal and is not based on a particular type of language. In a strictly natural way, we do not have to pronounce words in our thoughts to describe ideas. Our ideas can be “seen” in our thoughts like Plato's Forms (Plato’s Republic) or Aristotles' Essences (De-Anima). Although using visually enhanced multimedia teaching materials is not quite like a direct transfer of ideas to others, it is a step in the right direction. This paper investigates how the latest technologies can be used in creating learning environments with a lower text dependency to suit students from different linguistic backgrounds. Therefore, by incorporating appropriate visual features, educational multimedia materials can be developed in a generic language like English, and be available to students whose native tongue is another language. Examples and strategies for development of such systems are provided and discussed in this paper.
Study on the psychometric characteristics of Child Abuse Self Report Scale

This research aimed to determine the psychometric characteristics (validity and reliability) of the child abuse self-report scale in a sample of 11-16 year-old children in Tehran. This is an applied, descriptive and correlation research, and the statistical population consisted of Tehranian abused students who are 11-16 years old, out of which, 400 subjects were selected through convenient sampling as the sample. The data was obtained by Persian translation of a child abuse self-report scale (Kent and Waller, 1998). The collected data was analyzed using the SPSS 24, factor, and lisrel software. The results of exploratory factor analysis by major axes analysis method and Promax rotation implied the existence of four significant factors. After removing two inappropriate questions, the fit indices of the confirmatory factor analysis model suggested good fitting of the model and construct validity of the instrument. The value of Cronbach alpha and Guttman's lambda-2 obtained were higher than 0.76, for all the subscales and the entire test. The results indicated that the 36-question version of this instrument has a good validity and reliability and can be used for Tehranian children.
Adaptive Fuzzy Tracking Control for a Class of Switched Uncertain Nonlinear Systems: An Adaptive State-Dependent Switching Law Method

This paper is concerned with the problem of adaptive fuzzy tracking control for a class of switched uncertain nonlinear systems. The unknown nonlinear functions are approximated by using fuzzy logic systems, and the adaptive backstepping technique is applied to a convex combination of the subsystems. To ensure the continuousness of the Lyapunov function at switching instants, common Lyapunov function (CLF) technique is adopted and the proposed CLF permits switched parameter adaptive laws. Besides, two classes of adaptive laws are proposed, one for designing control laws and one for designing switching law. Then, the common control laws are obtained with the help of the convex combination. Based on the switched adaptive laws, common control laws, a new adaptive state-dependent switching law is proposed. It is shown that the designed state-feedback controllers and switching law can ensure that all the signals remain bounded and the tracking error converges to a small neighborhood of the origin. Moreover, a modified switching law is proposed to avoid Zeno behavior or switching too quickly. Finally, two examples are provided to show the effectiveness of the proposed approaches.
MacroSatPlan: Combining macro and SAT planning

Planning based on propositional satisfiability is a powerful approach for computing makespan-optimal plans. However, it is usually slower then heuristic-based suboptimal approaches. In this work we propose MacroSatPlan; a SatPlan based planner which exploits macros extracted by Macro-FF and uses a predictive model of the optimal solution length that is constructed by WEKA, a commonly used toolkit of machine learning algorithms. First we briefly present the SatPlan approach. Then we describe the architecture of MacroSatPlan. Finally we present the results of an experimental study evaluating MacroSatPlan.
The cognitive walkthrough method: a practitioner's guide

A screw for an extruder having, in addition to the usual primary flight, at least one secondary flight in its terminal region. The primary and secondary flights are adapted to minimize cross-flow of material between axially adjacent flights and to mix material within channels between axially adjacent such flights. This screw is adapted for use with an extruder, particularly one which has been modified to feed separately pre-processed melts into such extruder in its terminal section. A process for using the extruder screw combination indicated as provided.
Preventing Recommendation Attack in Trust-Based Recommender Systems

尽管有它的成功，基于类似的合作过滤受不了一些限制，例如可伸缩性，稀少和建议攻击。 优先的工作证明了把信任机制合并到传统的合作过滤 recommender 系统能改进这些限制。 我们主张基于信任的 recommender 系统正在面对与在传统的 recommender 系统的侧面注射攻击不同的新奇建议攻击。 就我们的知识而言，在那里没在一个基于信任的 recommender 系统在建议攻击以后有任何优先的学习。 我们分析攻击问题，并且发现牺牲品节点在攻击起一个重要作用。 而且，我们建议一个数据起源方法跟踪恶意的用户并且作为 recommender 系统的怀疑用户识别牺牲品节点。 defend 方法的可行性学习用完从 Epinions 网站爬的数据集。
A Bayesian Approach to Imitation in Reinforcement Learning

In multiagent environments, forms of social learning such as teaching and imitation have been shown to aid the transfer of knowledge from experts to learners in reinforcement learning (RL). We recast the problem of imitation in a Bayesian framework. Our Bayesian imitation model allows a learner to smoothly pool prior knowledge, data obtained through interaction with the environment, and information inferred from observations of expert agent behaviors. Our model integrates well with recent Bayesian exploration techniques, and can be readily generalized to new settings.
A Pattern Language for Living Communication

This is the first report on an ambitious participatory project, currently in work, whose goal is the construction of a "pattern language," a large structured collection of knowledge that represents the "wisdom" of a widely distributed, very loosely knit community of activists, researchers, policy-makers, and technologists. This report provides an important first step as it outlines our hopes, expectations, planned tasks, and research hypotheses. A second report in late 2002 or early 2003 will bracket this report with a discussion of actual activities, evaluation, and recommendations.
CHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCS

CHARACTERISINGTHESTRUCTUREOFSIMULATIONMODELSINCCSG. Birtwistle1, R. Po oley2, andC. Tofts31Department ofComputer Science, University of Calgary,2Department ofComputer Science, University ofEdinburgh,3Department ofComputer Science, University ofSwanseaOctob er4 1993AbstractWe describ e how to apply the to ols and techniques of pro cess algebra toexplore and verify the structure of simulation mo dels.Pro cess algebras areconciseand preciseob ject-orientednotationsin whichto expressmo delstructureandcomp onentinteractions.Wedemonstratehowtosp ecifythe structure and basic synchronisation s of simulationmo dels using Mil-ner's CCS (Calculusof CommunicatingSystems, see [14]) notation, andhowtotestfortheconsequencesofasp eci cationusingmo dal-calculus [24]. In this way we op en up the p ossibili ty of verifying from itsstatic mo del description that a simulationmo del has certain basic desir-able prop erties (is deadlo ck and livelo ck free and has appropriate safety,liveness and fairness characteristics [13]). Adopting these techniques frompro cess algebra b oth makes mo dels more reliable and saves a considerableamount of debugging time.Transactions of The So ciety for Computer Simulation, 10(3), Octob er 193, 205-2361
Aeolian processes across transverse dunes. I: Modelling the air flow

This paper discusses a two-dimensional second-order closure model simulating air flow and turbulence across transverse dunes. Input parameters are upwind wind speed, topography of the dune ridge and surface roughness distribution over the ridge. The most important output is the distribution of the friction velocity over the surface. This model is dynamically linked to a model that calculates sand transport rates and the resulting changes in elevation. The sand transport model is discussed in a separate paper. The simulated wind speeds resemble patterns observed during field experiments. Despite the increased wind speed over the crest, the friction velocity at the crest of a bare dune is reduced compared to the upstream value, because of the effect of stream line curvature on turbulence. These curvature effects explain why desert dunes can grow in height. In order to obtain realistic predictions of friction velocity it was essential to include equations for the turbulent variables in the model. In these equations streamline curvature is an important parameter. The main flaw of the model is that it cannot deal with flow separation and the resulting recirculation vortex. As a result, the increase of the wind speed and friction velocity after a steep dune or a slipface will be too close to the dune foot. In the sand transport model this was overcome by defining a separation zone. Copyright # 1999 John Wiley & Sons, Ltd.
A Controlled Experiment on Analytical Hierarchy Process and Cumulative Voting-Investigating Time, Scalability, Accuracy, Ease of Use and Ease of Learning

Prioritizing software requirements helps to determine which requirements that are most important,and in which order requirements should be developed and tested throughout the development lifecycle. By prioritizing the requirements, software engineers can put focus on a subset of all requirements, and implement these in a particular release. This thesis aims to analyze two ratio scale prioritization techniques in a controlled experiment.The experiment was designed to compare time consumption, scalability, accuracy, ease of use, and ease to learning between the two techniques. All these evaluation parameters are combined together to find out which technique is more suitable to use when prioritizing software requirements. The two techniques investigated in the study presented in this thesis are: Analytical Hierarchy Process (AHP), which is based on pair-wise comparisons; and Cumulative Voting (CV) which is based on distributing points between requirements. The results of the experiment indicate that CV is less time consuming than AHP, which makes it more scalable. Further, CV is regarded as easier to use, and easier to learn than AHP. In addition, the results show that CV is more accurate than AHP while measuring the perceived accuracy. However, no conclusions could be made regarding actual accuracy due to misinterpretations by the study participants.
Overview of Digital Signal Processing Theory

Abstract : An overview of the theory of digital signal processing is presented here using key portions of the applicable technical literature. This can serve either as an introduction for those who desire to pursue the subject further or as a concise summary for those for whom more detailed investigation would be impractical. The discussion begins with a consideration of discrete systems and signals as well as their relationship to the continuous case. The realization of digital signal processing systems in the form of digital networks is presented. Theory and design of digital filters are discussed along with their relation to continuous filter characteristics. The discrete Fourier transform (DFT) and its efficient implementation in the form of the fast Fourier transform (FFT) are presented. Discrete convolution and correlation and the application of the FFT to their efficient implementation are described. Finallly the quantization effects inherent in all digital signal-processing realizations are reviewed with respect to their influence on digital-filter and FFT outputs.
"Relaxing" - A Symbolic Sparse Matrix Method Exploiting the Model Structure in Generating Efficient

This paper presents a new method for symbolically solving large sets of algebraically coupled equations as they are frequently encountered in the formulation of mathematical models of physical systems in object{ oriented modeling. The method, called \relaxing," enables the modeler to exploit the special matrix structure of the type of system under study by simply placing the keyword relax at appropriate places in the model class libraries. This procedure de nes an evaluation sequence for a sparse matrix Gaussian elimination scheme. The method is demonstrated at hand of several broad classes of physical systems: drive trains, electrical circuits, and tree{structured multibody systems. In particular, relaxing allows a model compiler, such as Dymola, to start from a declarative, object{ oriented description of the model, and to automatically derive the recursive O(f) algorithm used in modern multibody programs.
A Genetic-Fuzzy System for Modelling of Selected Processes in Diesel Engine Fuelled by Biofuels

The work of diesel engine fuelled by various fuels can be modelled by the methods based on the first law of thermodynamics (Rychter & Teodorczyk, 2006), or the CFD (computational fluid dynamics) methods (Amsden, 1997). However, all these methods have some deficiencies. The first group of methods can give results which have insufficient accuracy at some ranges of engine working cycle. The second group of methods produces models which cannot be easily applied to real-time control of a diesel engine. The concise and fast model of a diesel engine working cycle should be found. The methods which belong to the group of computational intelligence (CI) methods are also used for modelling selected aspects of engine work (Kalogirou, 2003) and many results are encouraging. However, the pressure course in cylinder or injection pipe was rarely modelled by CI methods. In the next sections we present the single model of cylinder pressure and injection pressure in a diesel engine fuelled by RME (rapeseed methyl esters) or its blends with diesel oil. The model was created by means of the GFSm system proposed by the authors. The methodology that allows the extension of the created model for other fuels is also presented. The obtained model can be applied to diagnostic and control of a diesel engine. One of the advantages of the proposed method is that the model is built for a one given engine and therefore describes its work with good accuracy.
Software de procesado de imágenes procedentes de un sonar de barrido lateral en exploración submarina

Digital images provided by onboard sidescan sonar in an unmanned undersea vehicle (UUV), are usually poor in their resolution. There are two commercial expensive solutions for this trouble: the first one is the use of high resolution multibeam sidescan sonar, the second one consists i n the use of bathymetric sonar. It is evident that for spanish university these solutions exceeds the economical budget and needs a generous external support. This work shows an economical sol ution for this problem by using digital image processing tech niques under MATLAB environment. Results are comparable in quality with the commercial expensive hardware solutions. The app lication presented here is easy to use and has been develope d under “user friendly” philosophy and could be operated for users at any level. This work is the first step for future lines of work in underwater recognition of objects.
Sample Size Calculation When High Dose Cannot be Administered First in a Three-Period Crossover Design

OF THE THESIS Sample Size Calculation When High Dose Cannot be Administered First in a Three-Period Crossover Design by Bin Tang Master of Science in Statistics with a Concentration in Biostatistics San Diego State University, 2015 We derive a sample size calculation formula for a three-treatment three-period crossover design with continuous outcomes and with restriction on treatment sequences that lower dose must be administered prior to higher dose of a drug. The three-period crossover is defined by these three sequences, D0D1D2, D1D0D2 and D1D2D0, where D0, D1 and D2 are referred to as placebo, the low dose and the high dose, respectively. Appropriate contrast coefficients are derived for model 1 without carry-over effect, and for model 2 with carry-over effect as well. Based on these coefficients, the unbiased contrast variances are estimated and a sample size formula is derived in terms of hypothesis testing with normal distribution of assumption. Parameters introduced for sample size calculation include contrast coefficients, the number of contrasts, the desired differences of treatment effects, and common within-subject variance. Using the developed formula, we calculate the minimum sample size required for determining the differences between treatment effects for models with or without carry-over. Further, Monte Carlo simulations are carried out to evaluate the performance of this formula. The results show that the formula can work well to achieve desired power for model 1 and model 2. Finally, the formula is demonstrated in an example of comparing Tacrine at the low dose (40mg/day) and the high dose (80mg/day) with a zero dose (placebo).
DaonilÒ y glibenclamida 5 mg de producción nacional: liberación in vitro

Dentro del proceso global de la liberacion de un farmaco, la disolucion es el paso mas importante pues esta intimamente relacionado con los procesos de absorcion, determinantes en la biodisponibilidad de un medicamento administrado por via oral. En el presente trabajo se realizaron los perfiles de disolucion de 2 lotes de DaonilO (Hoechst Farma SA, Barcelona), medicamento lider del principio activo glibenclamida (DCI), y de 3 lotes de glibenclamida 5 mg de produccion nacional. Los datos de porcentaje de principio activo liberado contra tiempo se sometieron a un estudio de ajuste a 4 modelos comunes a perfiles de disolucion mediante el programa CurveExpert y se realizo la comparacion estadistica de los perfiles de disolucion con la utilizacion de un metodo independiente de modelo matematico (f2: factor de similitud). Los lotes estudiados no cumplen con los criterios de la Food and Drug Administration (FDA) para los estudios de equivalencia in vitro y muestran diferencias significativas (p 0,05) sus perfiles de disolucion
Towards an Approach for a Conceptual System Design

Complex adaptive systems are usually difficult to design and control. The design of complex adaptive systems often, if not always, occurs in a context that is uncertain. In addition to the complexity of the system, the systems both affect and are influenced by a social environment containing a large variety of actors. Methods and processes that study the design of such types of systems can help scholars and practitioners to better understand, design and manage complex adaptive systems. The aim in this paper is to provide a methodology useful for designing and controlling systems developed to solve complex adaptive problems. In this paper, the complex systems life cycle understanding and design framework are introduced as an approach for satisficing of systems at conceptual design. To illustrate the methodology, a financial systemic risks infrastructure systems architecture development case study is presented. Copyright © 2013 John Wiley & Sons, Ltd.
Linked data flows in multi-player games for servitisation

The increased data complexity and task interdependency associated with servitization represent significant barriers to its adoption. The outline of a business game is presented which demonstrates the increasing complexity of the management problem when moving through Base, Intermediate and Advanced levels of servitization. Linked data is proposed as an agile set of technologies, based on well established standards, for data exchange both in the game and more generally in supply chains.