Miracle-dz/UniFAR-FTUs huggingface dataset:
A Formal Specification Language for the Description of Architectural Patterns in Software Systems

Software Architecture refers to the level of design in which a system is described as a collection of interconnected components. Most concepts in the object-oriented paradigm can be applied to Software Architecture, where the more general term componentoriented is preferred. However, object-oriented notations often fail to describe the interaction patterns that the components of a system must follow. On the other hand, process algebras are good candidates for the specification of interactive systems, but they are low-level notations, which makes difficult their direct application to the description of complex systems. In this paper we present an Architecture Description Language which combines object-oriented characteristics, such as inheritance and pattern instantiation, with the use of process algebras to determine system compatibility and well-formedness. The language permits the description of architectural patterns which can be instanced to obtain specific architectures for different systems.
Reaction Neuron Network Model for Image Perception

A new neuron network model, as an assistance of image perception, is proposed in this paper. It is based on the retina. And it is shown that this neuron network model can both describe the transfer property of retina well and neglect subordinate details when processing an image. Specially, we also describe how to implement this model and make some experiments on it. Key-Words: Image Perception, Retina, Mach Effect, Receptive Field, Smoothing, Reaction Neuron Network Model
Product Line Engineering Comes to the Industrial Mainstream

Product line engineering (PLE) is a systems engineering discipline to engineer a portfolio of related products in an efficient manner, taking full and ongoing advantage of the products’ similarities while respecting and managing their differences. Managing a portfolio as a single entity with variation, as opposed to a multitude of separate products, brings enormous efficiencies in production and maintenance. This paper shows that PLE has now matured into a repeatable, industrial‐strength engineering discipline. We define and explore the concepts central to modern product line engineering, and illustrate how it is becoming applied in two of the most challenging systems engineering domains of all: aerospace and defense, and automotive.
Theoretical and Experimental Identification of Love Wave Frequency Peaks in Layered Structure ZnO/Quartz SAW Device

In this paper, the layered structure ZnO/Quartz (90deg rotated ST-cut) is investigated theoretically and experimentally. Both waves, Rayleigh and Love, are analyzed. Dispersion curves of phase velocities, electromechanical coupling coefficient (K 2) and temperature coefficient of frequency (TCF) were calculated as a function of normalized thickness ZnO film (kh ZnO = 2pih ZnO /lambda) and the optimum value of h ZnO was determined for experimental study. Experimental results combined with simulation lead to clearly identify the generated waves and their higher modes in this structure except the mode 0 that shows comparable velocity for both Rayleigh and Love waves. The identification of the wave type was performed by studying the frequency response of the device with or without a droplet of water in the wave path. We also demonstrate that the highest elastic velocity is obtained for the mode 1 of the Love wave. This Love wave mode exhibits very interesting electrical characteristics, good K 2, high-frequency rejection, low TCF, and very low attenuation in liquid making it very attractive for gas and liquid sensor applications.
Risk-Limiting Scheduling of Optimal Non-Renewable Power Generation for Systems with Uncertain Power Generation and Load Demand

This study tackles a risk-limiting scheduling problem of non-renewable power generation for large power systems, and addresses potential violations of the security constraints owing to the volatility of renewable power generation and the uncertainty of load demand. To cope with the computational challenge that arises from the probabilistic constraints in the considered problem, a computationally efficient solution algorithm that involves a bisection method, an off-line constructed artificial neural network (ANN) and an on-line point estimation method is proposed and tested on the IEEE 118-bus system. The results of tests and comparisons reveal that the proposed solution algorithm is applicable to large power systems in real time, and the solution obtained herein is much better than the conventional optimal power flow (OPF) solution in obtaining a much higher probability of satisfying the security constraints.
Acetyl CoA Carboxylase 2 Is Dispensable for CD8+ T Cell Responses

Differentiation of T cells is closely associated with dynamic changes in nutrient and energy metabolism. However, the extent to which specific metabolic pathways and molecular components are determinative of CD8+ T cell fate remains unclear. It has been previously established in various tissues that acetyl CoA carboxylase 2 (ACC2) regulates fatty acid oxidation (FAO) by inhibiting carnitine palmitoyltransferase 1 (CPT1), a rate-limiting enzyme of FAO in mitochondria. Here, we explore the cell-intrinsic role of ACC2 in T cell immunity in response to infections. We report here that ACC2 deficiency results in a marginal increase of cellular FAO in CD8+ T cells, but does not appear to influence antigen-specific effector and memory CD8+ T cell responses during infection with listeria or lymphocytic choriomeningitis virus. These results suggest that ACC2 is dispensable for CD8+ T cell responses.
Computational Semantics of Noun Compounds in a Semantic Space Model

This study examines the ability of a semantic space model to represent themeaning of noun compounds such as "information gathering" or "weather forecast". A new algorithm, comparison, is proposed for computing compound vectors from constituent word vectors, and compared with other algorithms (i.e., predication and centroid) in terms of accuracy of multiple-choice synonym test and similarity judgment test. The result of both tests is that the comparison algorithm is, on the whole, superior to other algorithms, and in particular achieves the best performance when noun compounds have emergent meanings. Furthermore, the comparison algorithm also works for novel noun compounds that do not occur in the corpus. These findings indicate that a semantic space model in general and the comparison algorithm in particular has sufficient ability to compute the meaning of noun compounds.
Challenges and opportunities of context-aware information access

Ubiquitous computing environments embedding a wide range of pervasive computing technologies provide a challenging and exciting new domain for information access. Individuals working in these environments are increasingly permanently connected to rich information resources. An appealing opportunity of these environments is the potential to deliver useful information to individuals either from their previous information experiences or external sources. This information should enrich their life experiences or make them more effective in their endeavours. Information access in ubiquitous computing environments can be made "context-aware" by exploiting the wide range context data available describing the environment, the searcher and the information itself. Realizing such a vision of reliable, timely and appropriate identification and delivery of information in this way poses numerous challenges. A central theme in achieving context-aware information access is the combination of information retrieval with multiple dimensions of available context data. Potential context data sources, include the user's current task, inputs from environmental and biometric sensors, associated with the user's current context, previous contexts, and document context, which can be exploited using a variety of technologies to create new and exciting possibilities for information access.
Multifunctional Plasmonic Nanorattles for Spectrum‐Guided Locoregional Therapy

Locoregional death of cancer cells (in vitro) is induced by ablation of plasmonic nanorattles combined with triggered release of a chemotherapeutic drug from the nanorattles. Completion of the therapy process is indicated by a "Raman signal flip" between the two reporters of the surface-enhanced Raman scattering (SERS) probe. The nanorattles enable targeted delivery of payload and simultaneous monitoring of the payload release and the therapy process.
Kinetics and the Theoretical Aspects of Drug Release from PLA/HAp Thin Films

The theory of dissolution kinetics of gentamicin from polylactic acid-hydroxyapatite thin film composites is spotlighted with the combination of diffusion and polymer degradation modeling. The use of various mathematical models, characterizing diffusion, dissolution or/and erosion prevalence as well as a mix of dissolution-diffusion rate processes were employed in order to compare theory with experimental data. A number of factors influence the release kinetics of gentamicin from medical drug release systems and devices. It is difficult to have a single mathematical model that takes all these factors into account. It is shown that the degradation of the polymer matrix plays the biggest role in the release kinetics of polymer-ceramics thin film composites. It was also observed that multistage drug release form these devices depends also on the degradation kinetics of the polymer matrix. The effect of pH and device sizes were not studied but could also be of interest in future studies.
Estrogen Facilitates both Phosphatidylinositol 3-Kinase/Akt and ERK1/2 Mitogen-Activated Protein Kinase Membrane Signaling Required for Long-Term Neuropeptide Y Transcriptional Regulation in Clonal, Immortalized Neurons

It is established that increases in neuropeptide Y (NPY) expression are associated with hyperphagia and obesity. These effects can be reversed by estrogen, a recognized anorexigen. We found that 17β-estradiol (E2) regulates biphasic NPY gene expression in a clonal, immortalized hypothalamic cell line, N-38, through estrogen receptor (ER) action at the level of the NPY promoter. However, rapid, nongenomic actions of estrogen, linked to the phosphatidylinositol 3-kinase (PI3-K)/Akt and ERK1/2 mitogen-activated protein kinase (MAPK) pathways, may also play a role. We therefore examined the changes in the phosphorylation status of Akt, ERK1/2, and cAMP response element-binding protein (CREB) after treatment with 10 nm E2 in the N-38 neurons and found activation of these signaling proteins within 5–30 min. We also demonstrated possible cross talk between the estrogen-activated PI3-K/Akt and MAPK/extracellular signal-regulated kinase pathways using pharmacological inhibitors. We find that only ERα is involved in the early signaling events using the ERα agonist 4,4′,4″-(4-propyl-[1H]-pyrazole-1,3,5-triyl)trisphenol and the ERβ agonist 2,3-bis(4-hydroxyphenyl)-propionitrile. Furthermore, we can detect colocalization of ERα and caveolin-1, a membrane-associated signaling protein. Remarkably, we find that the membrane-mediated events are critical for the long-term estrogen-mediated repression of NPY gene expression that can be mapped to within −97 bp of the NPY promoter. To link the early signaling events to downstream effectors, we detected induction of c-fos and inactivation of MSK-1 by estrogen and binding of CREB to this minimal promoter region. These observations suggest that rapid estrogen-mediated signaling is mediated by ERα, and the signal transduction events potentiate the genomic actions of estrogen on NPY gene expression in the N-38 NPY neurons.
Comparative evaluation of support vector machines and probabilistic neural networks in superficial bladder cancer classification

Purpose: In this paper we address the demanding diagnostic problem of classifying tumors according to the degree of their malignancy by investigating the efficiency of Support Vector Machines (SVMs) and Probabilistic neural networks (PNN). Material and methods: 129 cases of urinary bladder carcinomas were diagnosed as high or low-risk according to the WHO grading system. Each case was represented by 36 automatically extracted nuclear features. Two different classification designs based on SVMs and PNNs were tested according to their ability in differentiating superficial urinary bladder carcinomas according to the degree of malignancy. Best feature combination for each classification scheme was obtained performing an exhaustive search in feature space and employing the leave-one-out method. Results: Both classification models (SVM and PNN) resulted in a relatively high overall accuracy of 85.3% and 83.7% respectively. Descriptors of nuclear size and chromatin cluster patterns were participated in both best feature vectors that optimized classification performance of the two classifiers. Conclusion: The good performance and consistency of the SVM and PNN models render these techniques viable alternatives in the diagnostic process of assigning urinary bladder tumors grade.
Wireless control of DC-DC converter

This paper aims at the analysis and design of a new DC-DC multi output boost (MOB) converter using which the output can be shared between different loads. Several single output power supplies can be replaced by this configuration. The duty ratio of the three pulses is varied accordingly to the key pressed in the keypad. The pulses are wirelessly transmitted and its range is found to be depended on antenna height. This paper deals with the family of single inductor multi output DC-DC converter. The drawback of conventional transformer based multi output DC-DC converters such as high cost and large volume is avoided using a single inductor boost type dual output DC-DC converter using wireless control.
COLLAGEN SUBSTRATA FOR STUDIES ON CELL BEHAVIOR

A simple technique is described for the preparation of collagen substrata containing 0 1% of collagen by weight, in the form of native bundles with a 640 A period, the substrata are similar in these respects to soft-tissue matrices These substrate are hydrated collagen lattices (HCLs) in which the watery milieu is held within a fibrous collagen net mainly by capillary forces. HCLs have been characterized in terms of the course of collagen precipitation and aggregation, ultrastructure, and their stability under various conditions. The ways in which HCLs can be employed as both two- and three-dimensional substrata in cell behavioral studies are illustrated with some preliminary observations on the form, motility, adhesion, and growth of human diploid cells and two lines of malignant cells.
Analyzing Social Networks Using FCA: Complexity Aspects

Since the availability of social networks data and the range of these data have significantly grown in recent years, new aspects have to be considered. In this paper we address computational complexity of social networks analysis and clarity of their visualization. Our approach uses combination of Formal Concept Analysis and well-known matrix factorization methods. The goal is to reduce the dimension of social network data and to measure the amount of information which is lost during the reduction.
User-centered design practices in scrum development process: A distinctive advantage?

Agile methodology lacks in usability and most of the time issues like usability do not lead the software toward success. User-Centered Design supports usability and according to UCD, the client should be a part of the process from planning to handover phase. Integration of these two areas is a difficult and challenging task w.r. t its applicability for collocated and distributed level. This research focuses on Agile and UCD integration, providing a few practices and artifacts to guide designer's and Agile teams to overcome the challenges. How UCD techniques can support Agile in order to deal with usability issues. In this paper, we have demonstrated that which are the levels and phases where stakeholders, especially the user involvement and interaction are required. Case study and observation method have been followed. The result of this research is a framework.
Fabrication of viable and functional pre-vascularized modular bone tissues by coculturing MSCs and HUVECs on microcarriers in spinner flasks.

Slow vascularization often impedes the viability and function of engineered bone replacements. Prevascularization is a promising way to solve this problem. In this study, a new process was developed by integrating microcarrier culture and coculture to fabricate pre-vascularized bone microtissues with mesenchymal stem cells (MSCs) and human umbilical vein endothelial cells (HUVECs). Initially, coculture medium and cell ratio between MSCs and HUVECs were optimized in tissue culture plates concerning cell proliferation, osteogenesis and angiogenesis. Subsequently, cells were seeded onto CultiSpher S microcarriers in spinner flasks and subjected to a two-stage (proliferative-osteogenic) culture process for four weeks. Both cells proliferated and functioned well in chosen medium and a 1 : 1 ratio between MSCs and HUVECs was chosen for better angiogenesis. After four weeks of culture in spinner flasks, the microtissues were formed with high cellularity, evenly distributed cells and tube formation ability. While coculture with HUVECs exerted an inhibitory effect on osteogenic differentiation of MSCs, with downregulated alkaline phosphatase activity, mineralization and gene expression of COLI, RUNX2 and OCN, this could be attenuated by employing a delayed seeding strategy of HUVECs against MSCs during the microtissue fabrication process. CONCLUSION Collectively, this work established an effective method to fabricate pre-vascularized bone microtissues, which would lay a solid foundation for subsequent development of vascularized tissue grafts for bone regeneration.
Effect of Processing Conditions on Forgeability and Properties of Hot and Warm-Forged Steel 300M

Results of investigation of the effect of processing conditions of medium-carbon alloy steel AISI 300M on forgeability and microstructure-properties are presented here, including as-forged and heat treated condition of the material. The presented results concern two vital aspects of plastic forming of high-duty impression-die forgings, which underlay a selection of technological conditions which enable the accomplishment of the required quality of the forged part. These are: firstly, the microstructure and mechanical properties and their uniformity within a part and secondly, technological realization of forging the required geometry in the given processing conditions. In order to define a favourable processing window, dynamic behaviour modeling in variable forging conditions was carried out, establishing a coefficient of energy dissipation η% and the metal flow instability areas, which indicated the temperature regime and strain rate range for the forging process. The constructed processing maps were subject to experimental verification in the die-forging tests, carried out on a screw press. Hot and warm forging conditions were applied accordingly to selected areas of the processing maps, representative for unique forging conditions occurring in the industrial practice.
Quality indicators for international benchmarking of mental health care.

OBJECTIVE To identify quality measures for international benchmarking of mental health care that assess important processes and outcomes of care, are scientifically sound, and are feasible to construct from preexisting data. DESIGN An international expert panel employed a consensus development process to select important, sound, and feasible measures based on a framework that balances these priorities with the additional goal of assessing the breadth of mental health care across key dimensions. PARTICIPANTS Six countries and one international organization nominated seven panelists consisting of mental health administrators, clinicians, and services researchers with expertise in quality of care, epidemiology, public health, and public policy. Measures. Measures with a final median score of at least 7.0 for both importance and soundness, and data availability rated as 'possible' or better in at least half of participating countries, were included in the final set. Measures with median scores </=3.0 or data availability rated as 'unlikely' were excluded. Measures with intermediate scores were subject to further discussion by the panel, leading to their adoption or rejection on a case-by-case basis. RESULTS From an initial set of 134 candidate measures, the panel identified 12 measures that achieved moderate to high scores on desired attributes. CONCLUSIONS Although limited, the proposed measure set provides a starting point for international benchmarking of mental health care. It addresses known quality problems and achieves some breadth across diverse dimensions of mental health care.
Tag Count Frame Slotted Aloha: A Novel Anti-Collision Protocol in RFID Systems

The operation of RFID systems often involves a situation in which multiple tags are present in the read range of a single reader at the same time. The reader performs identification processes repeatedly for object count, tracking or monitoring. In these scenarios, the mobility of tags is low and a large majority of tags identified in the preceding identification process stay. This paper presents a tag count frame slotted Aloha (TCFSA) protocol which is an improvement on the Frame Slotted Aloha. To reduce collisions and identify tags efficiently, TCFSA use information which is obtained from the last process of tag identification. Our performance evaluation shows that TCFSA causes shorter identification delay than existing Aloha based tag anti-collision protocols.
Finding Similarity Relations in Presence of Taxonomic Relations in Ontology Learning Systems

Ontology learning tries to find ontological relations, by an automatic process. Similarity relationships are one of non-taxonomic relations which may be included in ontology. Our idea is that in presence of taxonomic relations we are able to extract more useful non-taxonomic similarity relations. In this paper we investigate the specifications of an implemented system for extracting these relations by means of new context extraction method which uses taxonomic relations
Augmenting variation of system utterances using corpora in spoken dialogue systems

Compared to the variation in utterances that users may exhibit in conversation with spoken dialogue systems, system utterances can be very rigid with little variation. One recent approach to dealing with this problem is a trainable sentence planner, which uses natural language generation techniques to create a large number of alternative utterances for a given content, by randomly combining an initial set of basic syntactic structures. However, the amount of variation achieved is limited by the size of the initial set, which is usually specified by hand. We propose augmenting the variation of system utterances by automatically incorporating useful sentences obtained from corpora into the initial set used by the generation process. Experimental results show that this approach can successfully create a generator with augmented variation