MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.

The quality of the physical environment and its association with activities and well-being among older people in residential care facilities

The physical environment can influence older people’s health and well-being, and is often mentioned as being an important factor for person-centred care. Due to high levels of frail health, many older people spend a majority of their time within care facilities and depend on the physical environment for support in their daily life. However, the quality of the physical environment is rarely evaluated, and knowledge is sparse in terms of how well the environment meets the needs of older people. This is partly due to the lack of valid and reliable instruments that could provide important information on environmental quality. Aim: The aim of this thesis was to study the quality of the physical environment in Swedish care facilities for older people, and how it relates to residents’ activities and well-being. Methods: The thesis comprises four papers where both qualitative and quantitative methods were used. Study I involved the translation and adaptation of the Sheffield Care Environment Assessment Matrix (SCEAM) into a Swedish version (S-SCEAM). Several methods were used including forward and backward translation, test of validity via expert consultation and reliability tests. In Study II, S-SCEAM was used to assess the quality of the environment, and descriptive data were collected from 20 purposively sampled residential care facilities (RCFs). Study III was a comparative case study conducted at two RCFs using observations, interviews and S-SCEAM to examine how the physical environment relates to older people’s activities and interactions. In study IV, multilevel modeling was used to determine the association between the quality of the physical environment and the psychological and social well-being of older people living in RCFs. The data in the thesis were analysed using qualitative content analysis, and descriptive, bivariate and multilevel statistics. Results: A specific result was the production of the Swedish version of SCEAM. The instrument contains 210 items structured into eight domains reflecting the needs of older people. When using S-SCEAM, the results showed a substantial variation in the quality of the physical environment between and within RCFs. In general, private apartments and dining areas had high quality, whereas overall building layout and outdoor areas had lower quality. Also, older people’s safety was supported in the majority of facilities, whereas cognitive support and privacy had lower quality. Further, the results showed that environmental quality in terms of cognitive support was associated with residents’ social well-being. Specific environmental features, such as building design and space size, were also noted, through observation, as influencing residents’ activities, and several barriers were found that seemed to restrict residents’ full use of the environment. Conclusions: This thesis contributes to the growing evidence-based design field. The S-SCEAM can be used in future research on the association between the environment and people’s health and well-being. The instrument could also serve as a guide in the planning and design process of new RCFs.

Detectability of migrating raptors and its effect on bias and precision of trend estimates

Annual counts of migrating raptors at fixed observation points are a widespread practice, and changes in numbers counted over time, adjusted for survey effort, are commonly used as indices of trends in population size. Unmodeled year-to-year variation in detectability may introduce bias, reduce precision of trend estimates, and reduce power to detect trends. We conducted dependent double-observer surveys at the annual fall raptor migration count at Lucky Peak, Idaho, in 2009 and 2010 and applied Huggins closed-capture removal models and information-theoretic model selection to determine the relative importance of factors affecting detectability. The most parsimonious model included effects of observer team identity, distance, species, and day of the season. We then simulated 30 years of counts with heterogeneous individual detectability, a population decline (λ = 0.964), and unexplained random variation in the number of available birds. Imperfect detectability did not bias trend estimation, and increased the time required to achieve 80% power by less than 11%. Results suggested that availability is a greater source of variance in annual counts than detectability; thus, efforts to account for availability would improve the monitoring value of migration counts. According to our models, long-term trends in observer efficiency or migratory flight distance may introduce substantial bias to trend estimates. Estimating detectability with a novel count protocol like our double-observer method is just one potential means of controlling such effects. The traditional approach of modeling the effects of covariates and adjusting the index may also be effective if ancillary data is collected consistently.

NEW DATA ON THE CHRONOLOGY OF THE VALE DO FORNO SEDIMENTARY SEQUENCE (LOWER TAGUS RIVER TERRACE STAIRCASE) AND ITS RELEVANCE AS FLUVIAL ARCHIVE OF THE MIDDLE PLEISTOCENE IN WESTERN IBERIA

NEW DATA ON THE CHRONOLOGY OF THE VALE DO FORNO SEDIMENTARY SEQUENCE (LOWER TAGUS RIVER TERRACE STAIRCASE) AND ITS RELEVANCE AS FLUVIAL ARCHIVE OF THE MIDDLE PLEISTOCENE IN WESTERN IBERIA Pedro P. Cunha 1, António A. Martins 2, Jan-Pieter Buylaert 3,4, Andrew S. Murray 4, Luis Raposo 5, Paolo Mozzi 6, Martin Stokes 7 1 MARE - Marine and Environmental Sciences Centre, Department of Earth Sciences, University of Coimbra, Portugal: pcunha@dct.uc.pt 2 MARE - Marine and Environmental Sciences Centre, Dep. Geociências, University of Évora, Portugal; aam@uevora.pt 3 Centre for Nuclear Technologies, Technical University of Denmark, Risø Campus, Denmark; jabu@dtu.dk 4 Nordic Laboratory for Luminescence Dating, Aarhus University, Risø DTU, Denmark; anmu@dtu.dk 5 Museu Nacional de Arqueologia, Lisboa, Portugal; 3raposos@sapo.pt 6 Department of Geosciences, University of Padova, Italy; paolo.mozzi@unipd.it 7 School of Geography, Earth and Environmental Sciences, University of Plymouth, UK; m.stokes@plymouth.ac.uk The stratigraphic units that record the evolution of the Tagus River in Portugal (study area between Vila Velha de Ródão and Porto Alto villages; Fig. 1) have different sedimentary characteristics and lithic industries (Cunha et al., 2012): - a culminant sedimentary unit (the ancestral Tagus, before the drainage network entrenchment) – SLD13 (+142 to 262 m above river bed – a.r.b.; with probable age ca. 3,6 to 1,8 Ma), without artefacts; - T1 terrace (+84 to 180 m; ca. 1000? to 900 ka), without artefacts; - T2 terrace (+57 to 150 m; top deposits with a probable age ca. 600 ka), without artefacts; - T3 terrace (+43 to 113 m; ca. 460 to 360? ka), without artefacts; - T4 terrace (+26 to 55 m; ca. 335 a 155 ka), Lower Paleolithic (Acheulian) at basal and middle levels but early Middle Paleolithic at top levels; - T5 terrace (+5 to 34 m; 135 to 73 ka), Middle Paleolithic (Mousterian; Levallois technique); - T6 terrace (+3 to 14 m; 62 to 32 ka), late Middle Paleolithic (late Mousterian); - Carregueira Sands (aeolian sands) and colluvium (+3 a ca. 100 m; 32 to 12 ka), Upper Paleolithic to Epipaleolithic; - alluvial plain (+0 to 8 m; ca. 12 ka to present), Mesolithic and more recent industries. The differences in elevation (a.r.b.) of the several terrace staircases results from differential uplift due to active faults. Longitudinal correlation with the terrace levels indicates that a graded profile ca. 200 km long was achieved during terrace formation periods and a strong control by sea base level was determinant for terrace formation. The Neogene sedimentary units constituted the main source of sediments for the fluvial terraces (Fig. 2). Geomorphological mapping, coupled with lithostratigraphy, sedimentology and luminescence dating (quartz-OSL and K-feldspar post-IRIR290) were used in this study focused on the T4 terrace, which comprises a Lower Gravels (LG) unit and an Upper Sand (US) unit. The thick, coarse and dominantly massive gravels of the LG unit indicate deposition by a coarse bed-load braided river, with strong sediment supply, high gradient and fluvial competence, during conditions of rapidly rising sea level. Luminescence dating only provided minimum ages but it is probable that the LG unit corresponds to the earlier part of the MIS9 (ca. 335 to 325 ka), immediately postdating the incision promoted by the very low sea level (reaching ca. -140 m) during MIS10 (362 to 337 ka), a period of relatively cold climate conditions with weak vegetation cover on slopes and low sea level. Fig. 1. Main Portuguese reaches in which the Tagus River can be divided (Lower Tagus Basin): I – from the Spanish border to Arneiro (a general E–W trend, mainly consisting of polygonal segments); II – from Arneiro to Gavião (NE–SW); III – from Gavião to Arripiado (E–W); IV – from Arripiado to Vila Franca de Xira (NNE-SSW); V – from Vila Franca de Xira to the Atlantic shoreline. The faults considered to be the limit of the referred fluvial sectors are: F1 – Ponsul-Arneiro fault (WSW-ENE); F2 – Gavião fault (NW-SE); F3 – Ortiga fault (NW-SE); F4 – Vila Nova da Barquinha fault (W-E); F5 – Arripiado-Chamusca fault (NNE-SSW). 1 – estuary; 2 – terraces; 3 – faults; 4 – Tagus main channel. The main Iberian drainage basins are also represented (inset). The lower and middle parts of the US unit, comprising an alternation of clayish silts with paleosols and minor sands to the east (flood-plain deposits) and sand deposits to the west (channel belt), have a probable age of ca. 325 to 200 ka. This points to formation during MIS9 to MIS7, under conditions of high to medium sea levels and warm to mild conditions. The upper part of the US unit, dominated by sand facies and with OSL ages of ca. 200 to 154 ka, correlates with the early part of the MIS6. During this period, progradation resulted from climate deterioration and relative depletion of vegetation that promoted enhanced sediment production in the catchment, coupled with initiation of sea-level lowering that increased the longitudinal slope. The Vale do Forno and Vale da Atela archaeological sites (Alpiarça, central Portugal) document the earliest human occupation in the Lower Tagus River, well established in geomorphological and environmental terms, within the Middle Pleistocene. The Lower Palaeolithic sites were found on the T4 terrace (+26 m, a.r.b.). The oldest artefacts previously found in the LG unit, display crude bifacial forms that can be attributed to the Acheulian, with a probable age of ca. 335 to 325 ka. The T4 US unit has archaeological sites stratigraphically documenting successive phases of an evolved Acheulian, that probably date ca. 325 to 300 ka. Notably, these Lower Palaeolithic artisans were able to produce tools with different sophistication levels, simply by applying different strategies: more elaborated reduction sequences in case of bifaces and simple reduction sequences to obtain cleavers. Fig. 2. . Simplified geologic map of the Lower Tagus Cenozoic basin, adapted from the Carta Geológica de Portugal, 1/500000, 1992). The study area (comprising the Vale do Forno and Vale de Atela sites) is located on the more upstream sector of the Lower Tagus River reach IV, between Arripiado and Chamusca villages. 1 – alluvium (Holocene); 2 – terraces (Pleistocene); 3 – sands, silts and gravels (Paleogene to Pliocene); 4 – Sintra Massif (Cretaceous); 5 – limestones, marls, silts and sandstones (Mesozoic); 6 – quartzites (Ordovician); 7 – basement (Proterozoic to Palaeozoic); 8 – main fault. The main Portuguese reaches of the Tagus River are identified (I to V). The VF3 site (Milharós), containing a Final Acheulian industry, with fine and elaborated bifaces) found in a stratigraphic level located between the T4 terrace deposits and a colluvium associated with Late Pleistocene aeolian sands (32 to 12 ka), has an age younger than ca. 154 ka but much older than 32 ka. In the study area, the sedimentary units of the T4 terrace seem to record the river response to sea-level changes and climatically-driven fluctuations in sediment supply. REFERENCES Cunha P. P., Almeida N. A. C., Aubry T., Martins A. A., Murray A. S., Buylaert J.-P., Sohbati R., Raposo L., Rocha L., 2012, Records of human occupation from Pleistocene river terrace and aeolian sediments in the Arneiro depression (Lower Tejo River, central eastern Portugal). Geomorphology, vol. 165-166, pp. 78-90.

Biological analysis of the in-vitro effects of homologous recombination inhibition and its use in cancer treatment through synthetic lethality

Synthetic lethality represents an anticancer strategy that targets tumor specific gene defects. One of the most studied application is the use of PARP inhibitors (e.g. olaparib) in BRCA1/2-less cancer cells. In BRCA2-defective tumors, olaparib (OLA) inhibits DNA single-strand break repair, while BRCA2 mutations hamper homologous recombination (HR) repair. The simultaneous impairment of those pathways leads BRCA-less cells to death by synthetic lethality. The projects described in this thesis were aimed at extending the use of OLA in cancer cells that do not carry a mutation in BRCA2 by combining this drug with compounds that could mimic a BRCA-less environment via HR inhibition. We demonstrated the effectiveness of our “fully small-molecule induced synthetic lethality” by using two different approaches. In the direct approach (Project A), we identified a series of neo-synthesized compounds (named RAD51-BRCA2 disruptors) that mimic BRCA2 mutations by disrupting the RAD51-BRCA2 interaction and thus the HR pathway. Compound ARN 24089 inhibited HR in human pancreatic adenocarcinoma cell line and triggered synthetic lethality by synergizing with OLA. Interestingly, the observed synthetic lethality was triggered by tackling two biochemically different mechanisms: enzyme inhibition (PARP) and protein-protein disruption (RAD51-BRCA2). In the indirect approach (Project B), we inhibited HR by interfering with the cellular metabolism through inhibition of LDH activity. The obtained data suggest an LDH-mediated control on HR that can be exerted by regulating either the energy supply needed to this repair mechanism or the expression level of genes involved in DNA repair. LDH inhibition also succeeded in increasing the efficiency of OLA in BRCA-proficient cell lines. Although preliminary, these results highlight a complex relationship between metabolic reactions and the control of DNA integrity. Both the described projects proved that our “fully small-molecule-induced synthetic lethality” approach could be an innovative approach to unmet oncological needs.

Emerging plant-based proteins: comparison from extraction to functional properties and food application

The increasing demand for alternatives to meat food products, which is linked to ethical and environmental reasons, highlights the necessity of using different protein sources. Plant proteins provide a valid option, thanks to the relative low costs, high availability and wide supply sources. The current process used to produce plant concentrates and isolates is the alkaline extraction followed by isoelectric precipitation. However, despite the high purity of the proteins, it presents some drawbacks. Innovative protein extraction processes are emerging, with the aim of reducing the environmental impact and the costs, as well as improving the functional properties. In this study, the traditional wet protein extraction and another simplified wet process were used to obtain protein-rich extracts out of different plants. The sources considered in the project were de-oiled sunflower and canola, chickpea, lentils, and the camelina meal, an emerging oleaginous seed interesting for its high content of omega 3. The extracts obtained from the two processes were then analysed for their capacities to hold water and fat, to form gel and a stable foam. Results highlighted strong differences concerning the protein content, yield and functionalities. The extracts obtained with the alkaline process confirmed the literature data about the four plant sources (sunflower, canola, chickpea and lentils) and allow to obtain a camelina concentrate with a protein content of 63 % and a protein recovery of 41 %. The second easiest process was not effective to obtain a protein enrichment in oleaginous sources, whereas an enrichment of 10 and 15 % was obtained in chickpea and lentils, respectively. The functional properties were also completely different: the easiest process produced protein ingredients completely water-soluble at pH 7, with a discrete foaming capacity compared to the extracts obtained with alkaline process. These characteristics could make these extracts suitable for the plant milk-analogue products.

Big data analytics and modeling for Human Mobility

The fast development of Information Communication Technologies (ICT) offers new opportunities to realize future smart cities. To understand, manage and forecast the city's behavior, it is necessary the analysis of different kinds of data from the most varied dataset acquisition systems. The aim of this research activity in the framework of Data Science and Complex Systems Physics is to provide stakeholders with new knowledge tools to improve the sustainability of mobility demand in future cities. Under this perspective, the governance of mobility demand generated by large tourist flows is becoming a vital issue for the quality of life in Italian cities' historical centers, which will worsen in the next future due to the continuous globalization process. Another critical theme is sustainable mobility, which aims to reduce private transportation means in the cities and improve multimodal mobility. We analyze the statistical properties of urban mobility of Venice, Rimini, and Bologna by using different datasets provided by companies and local authorities. We develop algorithms and tools for cartography extraction, trips reconstruction, multimodality classification, and mobility simulation. We show the existence of characteristic mobility paths and statistical properties depending on transport means and user's kinds. Finally, we use our results to model and simulate the overall behavior of the cars moving in the Emilia Romagna Region and the pedestrians moving in Venice with software able to replicate in silico the demand for mobility and its dynamic.

Untangle sustainable development goal 8 through data visualization and HCI methods

Following the approval of the 2030 Agenda for Sustainable Development in 2015, sustainability became a hotly debated topic. In order to build a better and more sustainable future by 2030, this agenda addressed several global issues, including inequality, climate change, peace, and justice, in the form of 17 Sustainable Development Goals (SDGs), that should be understood and pursued by nations, corporations, institutions, and individuals. In this thesis, we researched how to exploit and integrate Human-Computer Interaction (HCI) and Data Visualization to promote knowledge and awareness about SDG 8, which wants to encourage lasting, inclusive, and sustainable economic growth, full and productive employment, and decent work for all. In particular, we focused on three targets: green economy, sustainable tourism, employment, decent work for all, and social protection. The primary goal of this research is to determine whether HCI approaches may be used to create and validate interactive data visualization that can serve as helpful decision-making aids for specific groups and raise their knowledge of public-interest issues. To accomplish this goal, we analyzed four case studies. In the first two, we wanted to promote knowledge and awareness about green economy issues: we investigated the Human-Building Interaction inside a Smart Campus and the dematerialization process inside a University. In the third, we focused on smart tourism, investigating the relationship between locals and tourists to create meaningful connections and promote more sustainable tourism. In the fourth, we explored the industry context to highlight sustainability policies inside well-known companies. This research focuses on the hypothesis that interactive data visualization tools can make communities aware of sustainability aspects related to SDG8 and its targets. The research questions addressed are two: "how to promote awareness about SDG8 and its targets through interactive data visualizations?" and "to what extent are these interactive data visualizations effective?".

Spacecraft Collision Probability Calculation from Conjunction Data Message and High Precision Orbit Propagator

The increasing number of Resident Space Objects (RSOs) is a threat to spaceflight operations. Conjunction Data Messages (CDMs) are sent to satellite operators to warn for possible future collision and their probabilities. The research project described herein pushed forward an algorithm that is able to update the collision probability directly on-board starting from CDMs and the state vector of the hosting satellite which is constantly updated thanks to an onboard GNSS receiver. A large set of methods for computing the collision probability was analyzed in order to find the best ones for this application. The selected algorithm was then tested to assess and improve its performance. Finally, parts of the algorithm and external software were implemented on a Raspberry Pi 3B+ board to demonstrate the compatibility of this approach with computational resources similar to those typically available onboard modern spacecraft.

The Applicability Of Ordered Mesoporous Sba-15 And Its Hydrophobic Glutaraldehyde-bridge Derivative To Improve Ibuprofen-loading In Releasing System.

The mesoporous SBA-15 silica with uniform hexagonal pore, narrow pore size distribution and tuneable pore diameter was organofunctionalized with glutaraldehyde-bridged silylating agent. The precursor and its derivative silicas were ibuprofen-loaded for controlled delivery in simulated biological fluids. The synthesized silicas were characterized by elemental analysis, infrared spectroscopy, (13)C and (29)Si solid state NMR spectroscopy, nitrogen adsorption, X-ray diffractometry, thermogravimetry and scanning electron microscopy. Surface functionalization with amine containing bridged hydrophobic structure resulted in significantly decreased surface area from 802.4 to 63.0 m(2) g(-1) and pore diameter 8.0-6.0 nm, which ultimately increased the drug-loading capacity from 18.0% up to 28.3% and a very slow release rate of ibuprofen over the period of 72.5h. The in vitro drug release demonstrated that SBA-15 presented the fastest release from 25% to 27% and SBA-15GA gave near 10% of drug release in all fluids during 72.5 h. The Korsmeyer-Peppas model better fits the release data with the Fickian diffusion mechanism and zero order kinetics for synthesized mesoporous silicas. Both pore sizes and hydrophobicity influenced the rate of the release process, indicating that the chemically modified silica can be suggested to design formulation of slow and constant release over a defined period, to avoid repeated administration.

The Consequences Of Refractory Epilepsy And Its Treatment.

Seizures in some 30% to 40% of patients with epilepsy fail to respond to antiepileptic drugs or other treatments. While much has been made of the risks of new drug therapies, not enough attention has been given to the risks of uncontrolled and progressive epilepsy. This critical review summarizes known risks associated with refractory epilepsy, provides practical clinical recommendations, and indicates areas for future research. Eight international epilepsy experts from Europe, the United States, and South America met on May 4, 2013, to present, review, and discuss relevant concepts, data, and literature on the consequences of refractory epilepsy. While patients with refractory epilepsy represent the minority of the population with epilepsy, they require the overwhelming majority of time, effort, and focus from treating physicians. They also represent the greatest economic and psychosocial burdens. Diagnostic procedures and medical/surgical treatments are not without risks. Overlooked, however, is that these risks are usually smaller than the risks of long-term, uncontrolled seizures. Refractory epilepsy may be progressive, carrying risks of structural damage to the brain and nervous system, comorbidities (osteoporosis, fractures), and increased mortality (from suicide, accidents, sudden unexpected death in epilepsy, pneumonia, vascular disease), as well as psychological (depression, anxiety), educational, social (stigma, driving), and vocational consequences. Adding to this burden is neuropsychiatric impairment caused by underlying epileptogenic processes (essential comorbidities), which appears to be independent of the effects of ongoing seizures themselves. Tolerating persistent seizures or chronic medicinal adverse effects has risks and consequences that often outweigh risks of seemingly more aggressive treatments. Future research should focus not only on controlling seizures but also on preventing these consequences.

Prevalence Of Urinary Incontinence And Its Association With Multimorbidity In Women Aged 50 Years Or Older: A Population-based Study.

To evaluate the prevalence and associated risk factors for urinary incontinence, as well as its association with multimorbidity among Brazilian women aged 50 or over. This was a secondary analysis of a cross-sectional population-based study including 622 women 50 years or older, conducted in the city of Campinas-SP-Brazil. The dependent variable was Urinary Incontinence (UI), defined as any complaint of urine loss. The independent variables were sociodemographic data, health-related habits, self-perception of health and functional capacity evaluation. Statistical analysis was carried out using the Chi-square test and Poisson regression. The mean age of the women was 64. UI was prevalent in 52.3% of these women: Mixed UI (26.6%), Urge UI (13.2%) and Stress UI (12.4%). Factors associated with a higher prevalence of UI were hypertension (OR 1.21, CI 1:01-1:47, P = 0.004), osteoarthritis (OR 1.24, CI 1:03-1:50, P = 0.022), physical activity ≥3 days/week (OR 1.21, CI 1:01-1:44, P = 0.039), BMI ≥ 25 at the time of the interview (OR 1.25, CI 1:04-1:49, P = 0.018), negative self-perception of health (OR 1.23, CI 1:06-1:44 P = 0.007) and limitations in daily living activities (PR 1:56 CI 1:16-2:10, P = 0.004). The prevalence of UI was high. Mixed incontinence was the most frequent type of UI. Many associated factors can be prevented or improved. Thus, health policies targeted at these combined factors could reduce their prevalence rate and possibly decrease the prevalence of UI. Neurourol. Urodynam. © 2014 Wiley Periodicals, Inc.

The Neuromuscular Activity Of Bothriopsis Bilineata Smaragdina (forest Viper) Venom And Its Toxin Bbil-tx (asp49 Phospholipase A2) On Isolated Mouse Nerve-muscle Preparations.

The presynaptic action of Bothriopsis bilineata smaragdina (forest viper) venom and Bbil-TX, an Asp49 PLA2 from this venom, was examined in detail in mouse phrenic nerve-muscle (PND) preparations in vitro and in a neuroblastoma cell line (SK-N-SH) in order to gain a better insight into the mechanism of action of the venom and associated Asp49 PLA2. In low Ca(2+) solution, venom (3μg/ml) caused a quadriphasic response in PND twitch height whilst at 10μg/ml the venom additionally induced an abrupt and marked initial contracture followed by neuromuscular facilitation, rhythmic oscillations of nerve-evoked twitches, alterations in baseline and progressive blockade. The venom slowed the relaxation phase of muscle twitches. In low Ca(2+), Bbil-TX [210nM (3μg/ml)] caused a progressive increase in PND twitch amplitude but no change in the decay time constant. Venom (10μg/ml) and Bbil-TX (210nM) caused minor changes in the compound action potential (CAP) amplitude recorded from sciatic nerve preparations, with no significant effect on rise time and latency; tetrodotoxin (3.1nM) blocked the CAP at the end of the experiments. In mouse triangularis sterni nerve-muscle (TSn-m) preparations, venom (10μg/ml) and Bbil-TX (210nM) significantly reduced the perineural waveform associated with the outward K(+) current while the amplitude of the inward Na(+) current was not significantly affected. Bbil-TX (210nM) caused a progressive increase in the quantal content of TSn-m preparations maintained in low Ca(2+) solution. Venom (3μg/ml) and toxin (210nM) increased the calcium fluorescence in SK-N-SH neuroblastoma cells loaded with Fluo3 AM and maintained in low or normal Ca(2+) solution. In normal Ca(2+), the increase in fluorescence amplitude was accompanied by irregular and frequent calcium transients. In TSn-m preparations loaded with Fluo4 AM, venom (10μg/ml) caused an immediate increase in intracellular Ca(2+) followed by oscillations in fluorescence and muscle contracture; Bbil-TX did not change the calcium fluorescence in TSn-m preparations. Immunohistochemical analysis of toxin-treated PND preparations revealed labeling of junctional ACh receptors but a loss of the presynaptic proteins synaptophysin and SNAP25. Together, these data confirm the presynaptic action of Bbil-TX and show that it involves modulation of K(+) channel activity and presynaptic protein expression.

Imatinib Restores Vasp Activity And Its Interaction With Zyxin In Bcr-abl Leukemic Cells.

Vasodilator-stimulated phosphoprotein (VASP) and Zyxin are interacting proteins involved in cellular adhesion and motility. PKA phosphorylates VASP at serine 157, regulating VASP cellular functions. VASP interacts with ABL and is a substrate of the BCR-ABL oncoprotein. The presence of BCR-ABL protein drives oncogenesis in patients with chronic myeloid leukemia (CML) due to a constitutive activation of tyrosine kinase activity. However, the function of VASP and Zyxin in BCR-ABL pathway and the role of VASP in CML cells remain unknown. In vitro experiments using K562 cells showed the involvement of VASP in BCR-ABL signaling. VASP and Zyxin inhibition decreased the expression of anti-apoptotic proteins, BCL2 and BCL-XL. Imatinib induced an increase in phosphorylation at Ser157 of VASP and decreased VASP and BCR-ABL interaction. VASP did not interact with Zyxin in K562 cells; however, after Imatinib treatment, this interaction was restored. Corroborating our data, we demonstrated the absence of phosphorylation at Ser157 in VASP in the bone marrow of CML patients, in contrast to healthy donors. Phosphorylation of VASP on Ser157 was restored in Imatinib responsive patients though not in the resistant patients. Therefore, we herein identified a possible role of VASP in CML pathogenesis, through the regulation of BCR-ABL effector proteins or the absence of phosphorylation at Ser157 in VASP.

Trends and strategies of ozone application in environmental problems

Efforts presented by the scientific community in recent years towards the development of numerous green chemical processes and wastewater treatment technologies are presented and discussed. In the light of these approaches, environmentally friendly technologies, as well as the key role played by the well-known advanced oxidation processes, are discussed, giving special attention to the ones comprising ozone applications. Fundamentals and applied aspects dealing with ozone technology and its application are also presented.