Miracle-dz/UniFAR-FTUs huggingface dataset:
Mixed-criticality scheduling with memory regulation

The state-of-the-art models and schedulability analysis for mixed-criticality multicore systems overlook lowlevelaspects of the system. To improve their credibility, we therefore incorprate, in this work, the effects of delays from memory contention on a shared bus. Specifically, to that end, we adopt the predictable memory reservation mechanism proposed by the Single Core Equivalence framework. Additionally, we explore how the reclamation, for higher-criticality tasks, of cache resources allocated to lower-criticality tasks, whenever there is a criticality (mode) change in the system, can improve schedulability. Mixed-criticality scheduling with memory regulation Muhammed Ali Awan∗, Konstantinos Bletsas∗, Pedro Souto†∗, Benny Akesson∗, Eduardo Tovar∗, Jibran Ali∗ ∗CISTER/INESC-TEC, ISEP/IPP, Portugal †Faculty of Engineering, University of Porto, Portugal Abstract—The state-of-the-art models and schedulability analysis for mixed-criticality multicore systems overlook low-level aspects of the system. To improve their credibility, we therefore incorprate, in this work, the effects of delays from memory contention on a shared bus. Specifically, to that end, we adopt the predictable memory reservation mechanism proposed by the Single Core Equivalence framework. Additionally, we explore how the reclamation, for higher-criticality tasks, of cache resources allocated to lower-criticality tasks, whenever there is a criticality (mode) change in the system, can improve schedulability.The state-of-the-art models and schedulability analysis for mixed-criticality multicore systems overlook low-level aspects of the system. To improve their credibility, we therefore incorprate, in this work, the effects of delays from memory contention on a shared bus. Specifically, to that end, we adopt the predictable memory reservation mechanism proposed by the Single Core Equivalence framework. Additionally, we explore how the reclamation, for higher-criticality tasks, of cache resources allocated to lower-criticality tasks, whenever there is a criticality (mode) change in the system, can improve schedulability.
An Integrated Theory of Type-Based Static and Dynamic Verification

Graduate School of Informatics Department of Communications and Computer Engineering Doctor of Informatics An Integrated Theory of Type-Based Static and Dynamic Verification by Taro Sekiyama For development of reliable software, many verification methods have been studied so far. One of the most successful approaches is type systems, which have been tied to various kinds of programming languages from dynamically typed ones through dependently typed ones. Each of dynamic, static, and dependent typing has its own pros and cons and is not always sufficient for development of practical, reliable software. Our goal is to introduce a full-fledged programming language where dynamically, statically, and dependently typed code coexist and interact safely. In this thesis, we focus on three universal features in programming: delimited control, parametric polymorphism, and algebraic datatypes. These features are bases of current programming languages—delimited control provides control effects such as exception handling; polymorphism plays a key role in type-based abstraction and reuse of program components; algebraic datatypes are an usual tool to represent data structures. We study how these features are incorporated with mechanisms for integrating a certified and an uncertified worlds, based on gradual typing, which combines static and dynamic typing, and manifest contracts, which does static and dependent typing. We first study delimited control in integration of static and dynamic typing; this extension needs monitoring of capture and call of delimited continuations. We also investigate parametric polymorphism in a combination of static and dependent typing and show our extension is sound, in particular, parametricity does hold. Finally, an extension with algebraic datatypes lets us compare two major approaches to giving specifications to data structures from the point of view of computational efficiency. We believe that these extensions and insights obtained from them will contribute to achievement of our goal.
An experimental evaluation of tools for Ontology-Based Data Access

Dipartimento. di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi(DIBRIS)Universita degli Studi di Genova, Via Opera Pia, 13 – 16145 Genova – Italy`giuseppe.cicala@unige.it - armando.tacchella@unige.itAbstractOntology-Based Data Access (OBDA) is an emergent paradigm at thecrossroads of Knowledge-based Representation and Reasoning (KR&R) andData Bases (DBs). The stated purpose of OBDA is to make logic-enabledqueries, typical of KR&R techniques, feasible on industrial-size data stores,typical of DB applications. In this paper we report a thorough experimen-tal comparison among the most active OBDA projects to date on a set ofontologies populated with synthetic data to simulate heavy-duty usage. Ourﬁndings help to shed some light on the relative capabilities of the tools interms of efﬁciency and scalability.
Using domain decomposition techniques for the calculation of low-frequency electric current densities in high-resolution 3D human anatomy models

Purpose – Improved numerical calculation techniques for low‐frequency current density distributions within high‐resolution anatomy models caused by ambient electric or magnetic fields or direct contact to potential drops using the finite integration technique (FIT). Design/methodology/approach – The methodology of calculating low‐frequency electromagnetic fields within high‐resolution anatomy models using the FIT is extended by a local grid refinement scheme using a non‐matching‐grid formulation domain. Furthermore, distributed computing techniques are presented. Several numerical examples are analyzed using these techniques.Findings – Numerical simulations of low‐frequency current density distributions may now be performed with a higher accuracy due to an increased local grid resolution in the areas of interest in the human body voxel models when using the presented techniques.Originality/value – The local subgridding approach is introduced to reduce the number of unknowns in the very large‐scale linear a.
Using Video Games to Improve Literacy Levels of Males

This chapter examines the differences in the educational needs of males, the origins of video games, and the issue of the decline in literacy achievement levels of male students worldwide. It promotes the idea that a new literacy which includes computer technology and visual literacy has changed the scope of literacy and that males have succeeded at developing the new literacy skills. The chapter is intended to inform educators of the literacy skills involved in video games, make connections with video game literacy and traditional literacy, and to encourage teachers to integrate video games into their curriculum.
Simulation and modeling of debris flows using satellite derived data: A case study from Kedarnath Area

Comprehensive assessment of landslide hazard requires process based modeling using numerical simulation methods. The present study aims to focus on analysis of landslides/debris flow movements and simulate landslides that occurred in Kedarnath area in June 2013. Although not widely discussed, these landslides were the prime cause of river blockade that contributed significantly in glacial lake outburst flood (GLOF) related disaster in and around Kedarnath. In the present study, the simulation was attempted by numerical modeling using Rapid Mass Movement Software (RAMMS). The algorithm is based on Voellmy frictional (dry and turbulent frictional coefficients, μ and χ) parameters of debris flow with release area that can be identified on high resolution satellite images and derived DEM like Cartosat-1 DEM. Once the event is simulated model provides information on flow 1) Velocity, 2) Height, 3) Momentum, and 4) Pressure along the entrainment path. The main emphasis was to understand on how closely numerical simulation predicted the attributes of the landslides/debris flow that contributed to the unprecedented disaster in Kedarnath. This study revealed that simulated flow height at base of the entrainment to vary from 1m to 6m and flow velocity varying from 3 to 7m/s. These vital output parameters can be used to provide insight of the event and extent of run out zone of future potential flows. Thus, this work bespeaks that numerical simulation modeling is capable of emulating natural events and outputs can be used for mitigation measures.
Dual‐Band Double‐Cylindrical‐Ring 3D Frequency Selective Surface

This study presents a dual‐band 3D frequency selective surface that provides a large degree of freedom in frequency and bandwidth adjustability. The proposed structure is evaluated in terms of its structural parameters, and prototypes are fabricated. The radius of the copper rings and the height of the cylinders are considered, and are shown through full‐wave electromagnetic simulations to have a significant effect on the frequency characteristics of the frequency selective surface. The measurement results of the fabricated samples are compared with the simulation results, and a satisfactory agreement is obtained.
Forward and Inverse Modeling Frameworks for Nondestructive Evaluation of Materials with Resonant Ultrasound Spectroscopy

Author(s): Goodlet, Brent Richard | Advisor(s): Pollock, Tresa M | Abstract: The objective of this dissertation is the development of both forward and inverse modeling frameworks that extend the nondestructive evaluation (NDE) capability of resonant ultrasound spectroscopy (RUS) for materials science applications through utilization of modern computational resources and a rigorous application of the fundamental physics of mechanical resonance. First, a forward modeling framework (FMF) based on 3D linear-elastic finite element models is developed to explain the complex manner in which resonance frequencies of a specimen change as damage is accumulated. Numerous examples of damage common to Ni-based superalloys for structural applications in extreme thermo-mechanical environments, like those found in turbine engines, are specifically addressed including: creep, fatigue and recrystallization. Then, an inverse modeling framework (IMF) devised with the goal of quantitative NDE of materials based on RUS measured resonance frequencies is introduced. Built upon a full-Bayesian approach to the inverse problem, the novel IMF devised here affords substantially simplified experimental methods by estimating elastic constants and crystal orientation parameters simultaneously. The potential of the IMF is demonstrated by evaluating a series of novel Co and CoNi-based single crystal superalloys, with robust convergence behavior as compared to optimizer-based approaches described in the literature. Together, the finite element-based FMF and the Bayesian IMF demonstrate the immense value and insight gained by coupling experiments with physics-based models for state-of-the-art materials characterization and NDE.
Evaluation of architecture-level power estimation for CMOS RISC processors

An evaluation of the architecture-level power estimation simulator, ESP (Early design Stage Power and performance simulator), is presented. With ESP, it is possible to accomplish more efficient design by using the architecture-level and gate-level simulator correctly. The estimation and the actual measured results are very similar. In addition, the accuracy of ESP has been improved by 18.3%.
MQEB: Metadata-based Query Evaluation of Bi-labeled XML data

XML is gaining importance in representing and exchanging of documents in the World Wide Web. Since XML datasets may be large and complex, efficiently querying XML data is a major concern. We present Metadata-based Query Evaluation of Bi-labeled XML data(MQEB) to efficiently process XPath queries over XML data. We use two labelings, interval encoding and P-labeling. We present algorithms that use P-labels and metadata to evaluate path expressions without joins even if it contains ancestor-descendant operators. In case of branch queries, the query is split into path expressions which are evaluated individually and the results are joined using holistic twig join algorithm TwigStack. P-labeling is used to efficiently process path expressions containing consecutive parent-child operators. Interval encoding is exploited by the holistic twig join algorithm TwigStack. Since the number of joins needed to evaluate a query is reduced, MQEB gives better performance than BLAS for queries containing ancestor-descendant operators. We have implemented both BLAS and the proposed MQEB. Experimental results have shown that the proposed scheme performs better than BLAS.
Design and Performance Analysis of Channel Coding Scheme based on Multiplication by Alphabet-9

Currently, communication system plays an important role in people’s lives especially in activities such as mobile communications and internet access. However, the transmission of information via communication channel has a major problem; it is very sensitive to disruptions such as noises, distortions, interferences, and multipath fading. Therefore, the transmitted information is prone to errors or face incorrect detection at the receiver, thus decreasing the system’s performance. One of the techniques to overcome this problem is by applying the channel coding. In this research, a new channel coding scheme based-on multiplication by alphabet-9 is proposed. The proposed coding and encoderdecoder structure are designed by using mathematical derivations. The proposed channel coding scheme is then simulated in a communication system model to analyze its performance in terms of bit error rate (BER) and throughput. The results show that the BER of the proposed channel coding is lower than those of Hamming code and Reed-Solomon codes for a short code-length. Moreover, the throughput of the proposed coding is also higher than those of the Hamming and Reed-Solomon codes. Finally, it can be concluded that the proposed channel coding scheme has an ability to improve the communication system performance. Thus, its application in a digital communication system seems to be very promising
Magnetic Resonance Imaging Physical Principles And Sequence Design

Thank you for downloading magnetic resonance imaging physical principles and sequence design. As you may know, people have look numerous times for their chosen books like this magnetic resonance imaging physical principles and sequence design, but end up in harmful downloads. Rather than enjoying a good book with a cup of coffee in the afternoon, instead they juggled with some malicious bugs inside their laptop.
Response of some narbon vetch varieties to different plant populations for growth and yield under two locations of sulaimani region

This study was carried out in Sulaymaniyah governorate at two locations Qlyasan (Lat 35°33´ ; N,Long 45° 21´ ; E,750 MASAL) and Kanipanka (Lat 35° 22´; N Long 45° 43´ ; E,550 MASAL),during the growing season of 2017-2018 to evaluate the response of four Narbon vetch (ICARDA833, ICARDA225, ICARDA776, ICARDA545) varieties, and four plant Density (80Kg,100Kg,120Kg, and 140Kg) and planting date (December 5th )in Kanipanka (December 6th ) Qlyasan.The design of factorial within CRBD experiment with three replications . Means comparison was carried out by the mean of least probability difference (L.S.D) at a significant level of 5%. The results confirmed that variety No. 1(ICARDA833) and variety No.4 produced the highest seed yield and some of its yield components of seeds. Using 140Kg seeds hectar-1 produced the highest seed yield and some of exhibited the highest value for seed yield and some it is components and growth characters. The highest value for seed yield and most it is components produced at Kanipanka location compare to Qlyasan location.
A Data Repository for the EDM Community: The PSLC DataShop

In recent years, educational data mining has emerged as a burgeoning new area for scientific investigation. One reason for the emerging excitement about educational data mining is the increasing availability of fine-grained, extensive, and longitudinal data on student learning. These data come from many sources, including standardized tests combined with student demographic data (for instance, www.icpsr.umich.edu/IAED), and videos of classroom interactions [22]. Extensive new data sources have been transformational in science [5] and business (being a major part of the success of key businesses such as Google, FedEx, and WalMart).
Telaah Kritis Terhadap Perencanaan Dalam Proses Pembelajaran

: This article discusses about planning in an instructional process. The purpose of the writing is to deepen a clear and whole understanding of how and why the instruction should be designed in the systematic, planned, oriented, and effective forms. The successfulness of education is mostly influenced by how the teachers' role optimalized in designing, implementing, and evaluating the instructional system. Instructional design is an instructional scenario that becomes a reference for implementing of the instructional program done by educators and a syste­matic and effective learning experience for learners. The arrangement of ins­tructional program as a process involves many aspects such as discipline, know­ledge, reality, system, and technology of instruction so that the implementation of instruction can run well and get a very good result.
A contraction based approach for flowsheet solving strategies using interval global optimization methods

This paper investigates finding the global minima of modular flowsheet based on interval optimization. Previous work on this area has been addressed by Byrne & Bogle (2000) but results indicate it is computationally expensive. The idea of contracting intervals within modules to improve computational performance is highlighted in this paper. A modified interval Newton method with interval constraint propagation is illustrated on two simple problems. The approach was applied to the Haverly Pooling problem and the resulting efficiency is discussed. It was seen that the modified interval Newton approach saved considerable time in finding the global minimum for both simultaneous and modular formulations of the Haverly Pooling problem.
Productivity, Nationalization, and the Role of 'News': Lessons from the 1970s

The number of occurrences of an old phenomenon, expropriation of foreign-owned property, had peaked in the 1970s, and virtually every significant oil-producing developing country had nationalized its oil. Nationalization again was on the rise in the 2000s. Using novel data, this paper examines nationalization and its effect on productivity. First, we document historical global trends in expropriations, and examine the effect from the 1960s to the 1990s in a sample of oil-producing developing countries. We show that nationalization brings significant productivity losses. Then, we focus on Venezuela, presenting new extensive and detailed data. In Venezuela, productivity fell sharply immediately ahead of nationalization. We suggest a less-explored channel through which nationalization affects productivity: in anticipation of nationalization, producers reduce exploration, lower employment, and increase extraction. Guided by a quantitative dynamic partial equilibrium framework for nonrenewable resources disciplined by features of the Venezuelan data, we then examine the effect of nationalization on productivity. A comparison of the simulated and time series shows that the carefully calibrated model can explain 84 percent of the productivity pattern over 1961-1980 in the Venezuelan oil industry.
Image retrieval using lifting wavelet filters

In this paper, we propose a new content-based image retrieval system based on lifting wavelet filters. Lifting wavelet filters include controllable free parameters. A new similarity measure of images is introduced using the free parameters computed from the high frequency components of images. Using this measure, matching of query image with template images is done. Next, the query image is compared with the subimages lying under the category of template image similar to the query image using their histograms. A clustering method for subimages is also proposed. Finally, simulation results are given. Key-Words: Image retrieval, Lifting wavelet filters, Similarity, Subimage extraction, Clustering, Matching
Byte your tongue : a computational model of human mandibular-lingual biomechanics for biomedical applications

Biomechanical models provide a means to analyze movement and forces in highly complex anatomical systems. Models can be used to explain cause and effect in normal body function as well as in abnormal cases where underlying causes of dysfunction can be clarified. In addition, computer models can be used to simulate surgical changes to bone and muscle structure allowing for prediction of functional and aesthetic outcomes. This dissertation proposes a state-of-the-art model of coupled jaw-tonguehyoid biomechanics for simulating combined jaw and tongue motor tasks, such as chewing, swallowing, and speaking. Simulation results demonstrate that mechanical coupling of tongue muscles acting on the jaw and jaw muscles acting on the tongue are significant and should be considered in orofacial modeling studies. Towards validation of the model, simulated tongue velocity and tongue-palate pressure are consistent with published measurements. Inverse simulation methods are also discussed along with the implementation of a technique to automatically compute muscle activations for tracking a target kinematic trajectory for coupled skeletal and soft-tissue models. Additional target parameters, such as dynamic constraint forces and stiffness, are included in the inverse formulation to control muscle activation predictions in redundant models. Simulation results for moving and deforming muscular-hydrostat models are consistent with published theoretical proposals. Also, muscle activations predicted for lateral jaw movement are consistent with published literature on jaw physiology. As an illustrative case study, models of segmental jaw surgery with and without reconstruction are developed. The models are used to simulate clinically observed functional deficits in movement and bite force production. The inverse simulation tools are used to predict muscle forces that could theoretically be used by a patient to compensate for functional deficits following jaw surgery. The modeling tools developed and demonstrated in this dissertation provide a foundation for future studies of orofacial function and biomedical applications in oral and maxillofacial surgery and treatment.
YÖNETİCİYE DUYULAN GÜVEN İLE ÇALIŞMA YAŞAM KALİTESİNİN İŞTEN AYRILMA NİYETİNE ETKİSİ: OTEL İŞLETMELERİ İŞGÖRENLERİ ÜZERİNDE BİR ARAŞTIRMA

Bu calismanin amaci, otel isletmeleri isgorenlerinin, yoneticilerine duyduklari guven ile calisma yasam kalitelerinin isten ayrilma niyetlerine etkisinin belirlenmesidir. Arastirmada ilk olarak arastirmanin degiskenlerini olusturan kavramlar hakkinda literatur taramasi yapilarak kuramsal alt yapi ortaya konulmustur. Sonrasinda, konuyla ilgili olarak anket olcme araci kullanilarak otel isletmeleri isgorenlerinin gorusleri alinmistir. Arastirmanin evrenini, Afyonkarahisar ilinde faaliyet gosteren tum (10 adet) bes yildizli otel isletmeleri isgorenleri olusturmakta olup, toplam 539 adet isgoren anketi degerlendirmeye alinmistir. Katilimcilarin ankette yer alan ifadelere iliskin verdikleri cevaplar; faktor analizi, guvenirlik analizi, aritmetik ortalama degerleri, korelasyon analizi ve regresyon analizi yontemleri ile cozumlenmistir. Elde edilen bulgulara gore, genelde isgorenlerin yoneticilere duyduklari guven ve calisma yasam kalitesi algilarinin yuksek seviyede oldugu ve isten ayrilma niyetlerinin dusuk oldugu belirlenmistir. Ayrica gerceklestirilen analizler sonucunda yoneticiye duyulan guven ile calisma yasam kalitesinin isten ayrilma niyeti uzerinde negatif yonlu anlamli etkisinin oldugu sonucuna ulasilmistir.