Національномовна специфіка категоризації світу

У статті реалізовано системний підхід до вивчення національної специфіки мовної категоризації світу, який передбачає розгляд одиниць мови, передусім слова, у його зв’язку з реаліями життя народу, його історією, культурою, географічними умовами проживання, особливостями світосприйняття, менталітету, життєвим досвідом. З цією метою до аналізу семантики слів на позначення особи за місцем її проживання, крім дефініцій тлумачних словників української мови, залучено відомості з аспектних лінгвістичних словників (синонімів, антонімів) та спеціальних етнолінгвістичних і лінгвокультурологічних джерел. Окрему увагу приділено методам виявлення етноконотацій в ідеографічній параметризації української лексики.The article deals with the system approach to studying national language specificities that provides examination of a word in interrelation with life realities, history, culture, geographical conditions, features of world view, national mentality, life experience reflected in language. Such work demanded, except for the analysis of definitions of available explanatory dictionaries, attraction of data from aspect dictionaries (synonyms, antonyms) and special ethno linguistic and linguistic cultural source. The research has been carried on the basis of nouns-names of person according to the residence. The significant attention is given to the methods of research national language specificities of the world’s categorization

Tool Support for Correctness-by-Construction

Correctness-by-Construction (CbC) is an approach to incrementally create formally correct programs guided by pre- and postcondition specifications. A program is created using refinement rules that guarantee the resulting implementation is correct with respect to the specification. Although CbC is supposed to lead to code with a low defect rate, it is not prevalent, especially because appropriate tool support is missing. To promote CbC, we provide tool support for CbC-based program development. We present CorC, a graphical and textual IDE to create programs in a simple while-language following the CbC approach. Starting with a specification, our open source tool supports CbC developers in refining a program by a sequence of refinement steps and in verifying the correctness of these refinement steps using the theorem prover KeY. We evaluated the tool with a set of standard examples on CbC where we reveal errors in the provided specification. The evaluation shows that our tool reduces the verification time in comparison to post-hoc verification

Alternative splicing of TIA-1 in human colon cancer regulates VEGF isoform expression, angiogenesis, tumour growth and bevacizumab resistance

© 2014 The Authors. The angiogenic capability of colorectal carcinomas (CRC), and their susceptibility to anti-angiogenic therapy, is determined by expression of vascular endothelial growth factor (VEGF) isoforms. The intracellular protein T-cell Intracellular Antigen (TIA-1) alters post-transcriptional RNA processing and binds VEGF-A mRNA. We therefore tested the hypothesis that TIA-1 could regulate VEGF-A isoform expression in colorectal cancers. TIA-1 and VEGF-A isoform expression was measured in colorectal cancers and cell lines. We discovered that an endogenous splice variant of TIA-1 encoding a truncated protein, short TIA-1 (sTIA-1) was expressed in CRC tissues and invasive K-Ras mutant colon cancer cells and tissues but not in adenoma cell lines. sTIA-1 was more highly expressed in CRC than in normal tissues and increased with tumour stage. Knockdown of sTIA-1 or over-expression of full length TIA-1 (flTIA-1) induced expression of the anti-angiogenic VEGF isoform VEGF-A 165 b. Whereas flTIA-1 selectively bound VEGF-A 165 mRNA and increased translation of VEGF-A 165 b, sTIA-1 prevented this binding. In nude mice, xenografted colon cancer cells over-expressing flTIA-1 formed smaller, less vascular tumours than those expressing sTIA-1, but flTIA-1 expression inhibited the effect of anti-VEGF antibodies. These results indicate that alternative splicing of an RNA binding protein can regulate isoform specific expression of VEGF providing an added layer of complexity to the angiogenic profile of colorectal cancer and their resistance to anti-angiogenic therapy

Genetic polymorphisms in the cyclooxygenase-2 gene, use of nonsteroidal anti-inflammatory drugs, and breast cancer risk

INTRODUCTION: The association between use of nonsteroidal anti-inflammatory drugs (NSAIDs) and breast cancer risk remains unclear. Inconsistencies in previously reported findings may be partly due to differences in expression of cyclooxygenase (COX)-2. We hypothesized that genetic polymorphisms (COX-2 .926, COX-2 .5209, and COX-2 .8473) may reduce overall breast cancer risk or risk for subtypes of breast cancer by modulating the inflammatory response and may interact with aspirin or any NSAID use. METHODS: We conducted a population-based, case-control study in which we genotyped 1,067 breast cancer cases and 1,110 control individuals included in the Long Island Breast Cancer Study Project. RESULTS: No major effects of the three COX-2 variant alleles on breast cancer risk were found. A total of eight distinct haplotypes and 18 diplotypes were observed in the population. Overall, no significant associations between COX-2 haplotypes/diplotypes and breast cancer risk were observed. Among women who used aspirin or any NSAID there was little evidence for an interaction with the at-risk COX-2 genotypes, with one exception. Among women with hormone receptor positive breast cancer, the reduced risk for any NSAID use was only evident among those who had at least one variant C allele of COX-2 .8473 (odds ratio = 0.7, 95% confidence interval = 0.5 to 1.0; P for the interaction = 0.02). There was no corresponding interaction for aspirin use, possibly because of limited power. CONCLUSION: These data provide modest evidence that the C allele of COX-2 .8473 may interact with NSAIDs to reduce risk for hormone receptor positive breast cancer

TOOLympics 2019: An Overview of Competitions in Formal Methods

Evaluation of scientific contributions can be done in many different ways. For the various research communities working on the verification of systems (software, hardware, or the underlying involved mechanisms), it is important to bring together the community and to compare the state of the art, in order to identify progress of and new challenges in the research area. Competitions are a suitable way to do that. The first verification competition was created in 1992 (SAT competition), shortly followed by the CASC competition in 1996. Since the year 2000, the number of dedicated verification competitions is steadily increasing. Many of these events now happen regularly, gathering researchers that would like to understand how well their research prototypes work in practice. Scientific results have to be reproducible, and powerful computers are becoming cheaper and cheaper, thus, these competitions are becoming an important means for advancing research in verification technology. TOOLympics 2019 is an event to celebrate the achievements of the various competitions, and to understand their commonalities and differences. This volume is dedicated to the presentation of the 16 competitions that joined TOOLympics as part of the celebration of the 25th anniversary of the TACAS conference