Miracle-dz/UniFAR-FTUs huggingface dataset:
Bio-Nanohybrid materials based on clays and phospholipids

Materiales bio-nanoh? bridos basados en el auto-ensamblaje de mol? eculas de fosfol? pidos y minerales de la arcilla proporcionan interfaces biomim? eticas que pueden ser valiosas para la inmovilizaci? on de forma no-degradatante de especies biol? ogicas. Su posible implementaci? on en aplicaciones tecnol? ogicas se apoya fuertemente en la conservaci? on de su conformaci? on nativa, que puede verse alterada por interacciones con el material de soporte. Dichos biointerfaces se han preparado a partir de fosfatidilcolina que se asocia a las super? cies de una arcilla laminar (montmorillonita) y del silicato micro? broso sepiolita, as? como a un hidr? oxido doble laminar de tipo Mg/Al. El estudio de las isotermas de adsorci? on de l? pidos permite la formaci? on controlada de la mono- y la bicapa lip? dica soportada, tanto en las super? cies externas, como en el espacio intracristalino de la montmorillonita. La caracterizaci? on f? sico-qu? mica sugiere enlaces de hidr? ogeno e intercambio ? onico como mecanismos principales de interacci? on. Otro tipo de biointerface inspirado en la membrana de los eritrocitos se ha preparado sobre electrodos de oro para la fabricaci? on de un biosensor impedimetrico de a? nidad para la detection del virus de la gripe. La inmovilizaci? on de los enzimas mod? elicos ureasa y colesterol oxidasa indica que los bionanoh? bridos basados en la sepiolita proporcionan una adecuada organizaci? on estructural para los diferentes tipos de enzimas. Los ensayos revelan una actividad enzim? atica mas alta en la membrana de bicapa l? pidica para ambos enzimas. Esto ha promovido su incorporaci? on en biosensores de urea y bioreactores de colesterol. H? bridos de l? pido-arcilla tambi? en han sido evaluados para secuestrar micotoxinas demostrando una capacidad de retenci? on mayor en comparaci? on con organoarcillas convencionales del tipo alquilamonio. La membrana bicapa lip? dica soportada en los hidr? oxidos doble laminares y en la sepiolita permite la conservaci? on de la elevada bioactividad de las particulas virales de la gripe y de la hemaglutinina, prote? na de la membrana viral inmovilizada. Especialmente su estabilidad t? ermica en estos soportes es superior al hidr? oxido de aluminio empleado como adyuvante est? andar. Estos resultados han conducido al estudio de inmunizaci? on in vivo en ratones demonstrando que los bio-h? bridos de sepiolita presentan una alta e? cacia como soportes en vacunas de gripe. Los resultados obtenidos en esta Tesis con? rman que las interfaces biomim? eticas se pueden preparar de una manera controlada en los diferentes tipos de soporte inorganico. La elecci? on de dichos soportes puede aconsejar la sustituci? on de soportes estandard, como las organoarcillas en el secuestro de micotoxinas o adyuvantes de al? umino en formulaciones de vacunas. El biosensor de a? nidad sin marcador muestra selectividad por los subtipos del virus de in? uenza, pero al mismo tiempo, es m? as f? acil de usar que otros biosensores selectivos a la in? uenza.
Labelled BNF: a high-level formalism for defining well-behaved programming languages

The grammar formalism Labelled BNF (LBNF) and the compiler construction tool BNF Converter are introduced. Given a grammar written in LBNF, the BNF Converter produces a complete compiler front end (up to, but excluding, type checking), i.e. a lexer, a parser, and an abstract syntax definition. Moreover, it produces a pretty-printer and a language specification in L A T E X, as well as a template file for the compiler back end. A language specification in LBNF is completely declarative and therefore portable. It reduces dramatically the effort of implementing a language. The price to pay is that the language must be "well-behaved", i.e. that its lexical structure must be describable by a regular expression and its syntax by a context-free grammar.
Power Aware WCET Analysis

Worst case execution time (WCET) analysis is used to verify that real-time tasks on systems can be executed without violating any timing constraints. Power consumption is not considered in most of the WCET research work. However, real-time embedded systems have limited power resource and leakage power cost by cache could take up to 40% of the total power consumption. Because of the data reuse in programs, not all of the cache are needed during the execution. However, traditional WCET analysis, which obtain WCET bound by assuming all cache can be utilized, results in a higher power dissipation. In this thesis, we propose a Power-aware WCET analysis framework (PWCET) to improve energy efficiency by reducing cache size with no penalty on WCET result. Compiler analysis based useful cache calculation algorithm is used to determine non-useful cache size to be turned off to save power. Experiments of benchmarks demonstrate the effectiveness of the PWCET framework by obtaining considerable power saving without any effect on WCET bounds.
Road Surface Mapping using Kinect Sensor for Road Maintenance

Japan currently faces the problem of deterioration of infrastructure such as roads and buildings that were constructed during a period of rapid growth after World War II. Decrepit infrastructure can lead to accidents and disasters. However, maintenance and repair of such infrastructure is expensive. This makes it important to reduce the cost of these operations. In addition, because of vehicle tra ffi c and changes in the environment temperature, roads expand / shrink and crack, leading to potholes. Without repair, potholes can expand gradually and may lead to accidents. To prevent such accidents, it is necessary that roads are inspected and diagnosed to detect cracks and potholes early and repair them. However, currently, road inspection is primarily a visual inspection method, which is time consuming and expensive to perform. If road inspection can be automated using a ff ordable sensors, time and money can be saved. Moreover, vehicles can be equipped with sensors to collect data of the road status, which can be used to create road surface maps that show the location and size of cracks and potholes. This paper focuses on applying a road inspection method using range image sensors to greatly reduce inspection costs. Specifically, the results of the map of a simulated road with features and the e ff ectiveness of the method are reported.
Systematic review on telephonic Quitline and its effects on smokeless tobacco

Tobacco consumption accounts for approximately 80% of total death in low and middle income countries. According to the Global Adult Tobacco Survey (2015) the prevalence of smokeless tobacco (SLT) consumption is being highest in India for about 33% in men and 18% in female. Countries like Bangladesh, Indonesia have highest prevalence of women SLT consumers than males. Quitting of tobacco products is although a difficult process. Evidence suggests two methods that enable a person to quit smokeless tobacco are pharmacotherapy and counselling or advice. The telephonic quit line services is very popular in the US and Europe, however they have predominantly handled smoking cessation. In this study we have done the systematic review on effect of telephone quit line services over smokeless tobacco cessation. We have taken articles from well-known library Pub-Med and Google Scholar with proper inclusion and exclusion criteria. In the systematic review it was noted that use of telephone quit line has reported the quit rate of SLT in the range of 25 to 30% over the population of 1000 despite of many limitations. The smokeless tobacco cessation through telephone quit line is useful and convenient way for tobacco control. The government of India has looked forward into this issue and has recently launched the national telephone quit line services for the tobacco control. This review recommends a policy which has to be made by the Low and Middle income countries to establish the quit line services for the SLT cessation by telephone counselling, which will play important role in tobacco control.
High Intensity Interval Training Induces a Modest Inflammatory Response in Active, Young Males

The purposes of this study were to determine the extent to which an acute session of high intensity interval training (HIIT) increases systemic inflammatory cytokines and chemokines and if two weeks of HIIT training alters the systemic inflammatory response. Eight recreationally active males performed two weeks of HIIT on a cycle ergometer (6 sessions at 8-12 intervals; 60 sec intervals, 75 sec active rest). Serum samples were collected during the 1st and 6th training sessions at rest and immediately post-, 15, 30, and 45 minutes post-exercise. HIIT induced significant increases in IL-6 at each time point after exercise. HIIT also induced increases in IL-8 immediately after and at 30 and 45 min after exercise. TNF? and MCP-1 increased 42% and 29%, respectively, immediately after exercise and IL-10 increased 120% at 45 min after exercise. The concentrations of IFN? , GM-CSF, and IL-1? were unaltered with HIIT. Two weeks of training did not alter the inflammatory response to an acute bout of HIIT exercise. Maximal power achieved during a VO2max test significantly increased 4.6%. This data suggest that HIIT exercise induces a modest, yet significant inflammatory response in young, recreationally active men; however, two weeks of HIIT does not alter this response.
SHP-2 deletion in postmigratory neural crest cells results in impaired cardiac sympathetic innervation

Significance Initial heart development takes place independently of its innervation; however, impaired postnatal cardiac sympathetic innervation can result in deadly consequences. This study provides evidence that the signaling molecules SHP-2 and phosphorylated-extracellular signal-regulated kinase (pERK) are critical components in the development of cardiac sympathetic innervation. Interruption of this signaling cascade resulted in decreased sympathetic innervation and decreased heart rate. Genetic rescue of downstream pERK signaling restored both cardiac innervation and heart rate. Thus, this work lends mechanistic insight into clinical presentations of diseases associated with alterations in this signaling pathway such as LEOPARD syndrome as well as other ECG abnormalities resulting from disturbed pERK-dependent sympathetic innervation. Autonomic innervation is an essential component of cardiovascular regulation that is first established from the neural crest (NC) lineage in utero and continues developing postnatally. Although in vitro studies have indicated that SH2-containing protein tyrosine phosphatase 2 (SHP-2) is a signaling factor critical for regulating sympathetic neuron differentiation, this has yet to be shown in the complex in vivo environment of cardiac autonomic innervation. Targeting SHP-2 within postmigratory NC lineages resulted in a fully penetrant mouse model of diminished sympathetic cardiac innervation and concomitant bradycardia. Immunohistochemistry of the sympathetic nerve marker tyrosine hydroxylase revealed a progressive loss of adrenergic ganglionic neurons and reduction of cardiac sympathetic axon density in Shp2 cKOs. Molecularly, Shp2 cKOs exhibit lineage-specific suppression of activated phospo-ERK1/2 signaling but not of other downstream targets of SHP-2 such as pAKT. Genetic restoration of the phosphorylated-extracellular signal-regulated kinase (pERK) deficiency via lineage-specific expression of constitutively active MEK1 was sufficient to rescue the sympathetic innervation deficit and its physiological consequences. These data indicate that SHP-2 signaling specifically through pERK in postmigratory NC lineages is essential for development and maintenance of sympathetic cardiac innervation postnatally.
ATRX is a novel progesterone-regulated protein and biomarker of low developmental potential in mammalian oocytes.

A multi-species meta-analysis of published transcriptomic data from models of oocyte competence identified the chromatin remodelling factor ATRX as a putative biomarker of oocyte competence. The objective of the current study was to test the hypothesis that ATRX protein expression by cumulus-oocyte complexes (COCs) reflects their intrinsic quality and developmental potential. In excess of 10,000 bovine COCs were utilised to test our hypothesis. COCs were in vitro matured (IVM) under conditions associated with reduced developmental potential: IVM in the presence or absence of (1) progesterone synthesis inhibitor (Trilostane); (2) nuclear progesterone receptor inhibitor (Aglepristone) or (3) an inducer of DNA damage (Staurosporine). ATRX protein expression and localisation were determined using immunocytochemistry and Western blot analysis. A proportion of COCs matured in the presence or absence of Trilostane was in vitro fertilised and cultured, and subsequent embryo development characteristics were analysed. In addition, ATRX expression was investigated in 40 human germinal vesicle-stage COCs. Our results showed that ATRX is expressed in human and bovine germinal vesicle oocytes and cumulus cells. In bovine, expression decreases after IVM. However, this decline is not observed in COCs matured under sub-optimal conditions. Blastocyst development rate and cell number are decreased, whereas the incidence of abnormal metaphase phase spindle and chromosome alignment are increased, after IVM in the presence of Trilostane (P < 0.05). In conclusion, localisation of ATRX to the cumulus cell nuclei and oocyte chromatin, after IVM, is associated with poor oocyte quality and low developmental potential. Furthermore, ATRX is dynamically regulated in response to progesterone signalling.
Probabilistic network coding techniques for vehicular ad-hoc networks

vehicular ad hoc network (vanet) is an emerging technology that enables moving vehicles on the road to connect and communicate as network devices. vanets enhance roads safety measures and improve traffic efficiency. however, due to the lack of centralization and the large number of highly mobile nodes, vanets are considered as highly congested networks with significant packet collisions and retransmissions. on the other hand, network coding is an emerging technique known to effectively utilize network resources by significantly reducing the number of transmissions. in network coding, intermediate nodes minimize the number of transmission by combining different packets before transmitting. however, a fundamental problem for network coding relay when it receives a packet is whether to wait for a coding opportunity to reduce network congestion; or to send the packet immediately without coding to reduce packet delay. this thesis proposes network coding techniques to reduce the number of transmissions and the bandwidth consumption in vanet multi-hop scenario. it also presents an analytical study on the trade-off between the average packet delay and the network throughput in network coding. it proposes a probabilistic approach for the intermediate nodes and therefore develops an analytical framework to present the effect of using such technique on the network performance. the system stability conditions have also been investigated. moreover, flows with different and same priorities are considered and different mechanisms that consider the nature of the different applications are proposed. for fair delay, this thesis provides the optimum transmission probability which achieves the minimum fair delay and results in an optimum throughput. while for different priority flows, a queue state based probabilistic scheduling schemes are proposed to avoid unbounded packet delays. to highlight the result, for symmetric rate flows, fairness scheme shows that the optimum fair delay can be achieved with probability of transmission of 0.5. it also shows that despite the flow data rate, using this probability will result in 33% improvement in the bandwidth consumption, and in an equal hop delay for both flows that is 0.5/? , where ? is the average flow data rate. moreover, for asymmetric rate flows the work provides the optimum transmission probability and its corresponding fair delay and throughput improvement. simulation is carried out to verify the analytical results where it is closely matched the theoretical results.
Convolutional Neural Network-based Optical Camera Communication System for Internet of Vehicles

The evolution of internet of vehicles (IoV) and the growing use of mobile devices with the development of the Internet of Things, demand has grown for alternative wireless communication technologies. As a promising alternative, optical-camera communication (OCC) has emerged that uses light-emitting diode (LED) and camera as transmitter and receiver respectively. Since LEDs and cameras are exploring in traffic lights, vehicles, and public lightings, OCC has the potential to handle the transport systems intelligently. Though some technologies have been proposed or developed, these are not mature enough to uphold the huge requirements of IoV. However, most of the OCC applications are limited to single vehicle and there has been limited focus on the use of multiple vehicles detection (spatial) or fast processing (temporal) systems. Also, there has no system to challenge with the bad weather condition. In this research, a vision camera and high-speed camera has been proposed to provide multiple vehicle detection and fast data processing. Here, a convolutional neural network (CNN) based vehicular OCC system has been introduced to guarantee communication to maintain communication at the adverse condition and near-infrared is proposed in addition to visible lights to provide long range and secure communication. To support IoV communication, software-defined networking (SDN) has been proposed. Finally, the results represent the required conditions for vehicular OCC system analysis and improved performance demonstration using the proposed intelligent system.
A Novel Biometric Technique Benchmark Analysis For Selection Of Best Biometric Modality And Template Generation Method

A biometric security is a technique by means of which digital contents are protected by a cryptographic key generated from the biometric features of a person like Retina, Iris, Fingerprint, Face, Voice and so on. Normally the digital contents like documents are protected by a cryptographic key generated from a unique password. The process in irreversible, i.e the key can be generated from the password but not the vice versa. Passwords are relatively easy to hack as most of the users keep their personal information like date of birth as password and also password length has a limit as human beings cannot remember a password of significantly large length. Hence guessing the password of a user, whose significant information is available, is easier. Therefore off late lot of emphasis has been given to biometric features. Biometric features of no two people are same. For example the finger prints or the face of any two people differ. Hence if a template (alphanumeric or binary representation of features from a biometric data) is selected for the key generation than cracking them for accessing information becomes significantly difficult. But as with every advantage comes certain limitations also. The keys are not time invariant. Templates tends to change based on the data acquisition, or with time. For example the finger prints or palm prints changes with ages. Iris, retina and face features changes with change in light intensity during the acquisition phase. Fingerprint features changes with change in the orientation of the finger while scanning. In a classic authentication problem, such variability’s can be easily dealt with by keeping a threshold for the acceptance of the features. Such acceptance threshold is not applicable for the case of biometric templates. Even slightest of the variability in the templates changes the generated key, therefore causing a high false rejection rate. Hence in this work we analyze the most accepted biometric features and techniques for key generation and propose the most invariable technique in terms of data acquisition invariability. The work analyzes Iris, Face, Fingerprint and Palm prints for analysis of the biometric template generation and key generation form the templates. Further a unique benchmark analysis technique is proposed for quantifying the quality of a biometric model or features.
Time on Task across Skill Sets in Construction Trades Classrooms: Preparation of Skilled Craft Workers

vii Chapter One: Introduction . 1 Purpose and Research Questions . 6 Theoretical Framework . 8 Significance of the Study . 10 Definition of Terms . 11 Career and Technical Education . 11 Laborer Position . 11 Professional Position . 11 Skilled Craft Position . 12 Vocational Education and Training . 12 Chapter Two: Review of Literature . 13 Introduction . 13 The Construction Industry’s Role in the Economy . 13 Labor Shortage Amid Positive Employment Outlook . 14 Missing Skills in Construction Education . 18 The Need to Integrate Skill Sets in the Construction Classroom . 22 Lack of Authenticity in Construction Education . 24 Authentic Experience through Career Competitions . 27 Time on Task in Construction Classrooms . 31 Carroll’s Model . 31 Academic Learning Time . 33 Time on Task . 35 Summary of Review of Literature . 37 Chapter Three: Methods . 39 Introduction . 39 Research Design . 39 Participants . 40 Variables . 42 Independent Variables . 42 Academic Skills. 44 Soft Skills . 45 Hard Skills . 45
CASPASES AND CASPASE REGULATORS IN LEPIDOPTERA AND DIPTERA

Apoptosis is an extremely conserved process among metazoans. This dissertation will describe apoptotic regulation in two orders of insects, Lepidoptera and Diptera. In the lepidopteran host Trichoplusia ni, we describe phenotypes of infection with the baculovirus AcMNPV lacking the caspase inhibitor gene P35. In the lepidopteran host Spodoptera frugiperda, infection with this mutant virus results in apoptosis, which dramatically hinders spread of the virus in the host. In T. ni, however, infection with this mutant virus is similar to wild-type with normal spread, but the end result of liquefaction does not occur. Experiments indicated that infection of T. ni cells with the P35 mutant virus (P35Δ) resulted in caspase activation, and the P35Δ virus lacked the ability to inhibit these active caspases. With the P35Δ virus a slower entry phenotype was observed, but when the P35Δ virus was grown in the presence of a caspase inhibitor the entry phenotype was rescued. This indicated that caspases have detrimental effects on budded virions, and illustrated that P35 is needed to make robust virions. With regards to Diptera, apoptosis-regulatory genes were annotated in the yellow fever mosquito, Aedes aegypti. The genes annotated included multiple caspases and caspase regulators. Phylogenetic relationships were determined among the caspases from Anopheles gambiae, Ae. aegypti and Drosophila melanogaster, expression patterns were determined for all the annotated genes in Ae. aegypti, and one of the genes, an IAP antagonist named IMP, was functionally characterized. Further characterization of the phylogenetic relationships of caspases from fifteen dipteran species was performed by obtaining gene models for caspases of recently sequenced genomes for twelve Drosophila species and three mosquito species. Furthermore, several Drosophila and mosquito species were found to contain caspase genes with substitutions in critical active site residues. These genes were proposed to encode caspase-like decoy molecules. While these have been found in humans and nematodes, this is the first report for these molecules in insects. One of the caspase-like decoy molecules was found to increase the activity of its paralog caspase. CASPASES AND CASPASE REGULATORS IN LEPIDOPTERA AND DIPTERA