Motives for choosing university and specialty applicants Ukraine (for example, students NTU "KPI")

Стаття присвячена аналізу портрета абітурієнта НТУ "ХПІ", де, крім визначення мотивів професійного вибору, самооцінки особистих здібностей, розглядаються і основні цілі навчання в НТУ "ХПІ". У статті підкреслюється, що проблема професійного самовизначення стояла перед молоддю завжди, а сьогодні вона особливо актуальна, тому що сучасні умови ринку праці ведуть до того, що більшість випускників не мають ясної життєвої перспективи. Аналізуються мотиви отримання абітурієнтами вищої освіти, мотивація вступу до НТУ "ХПІ", мотиви вибору спеціальності, період формування професійного інтересу. Проаналізовано мотиви професійного вибору абітурієнтів; період формування інтересу молодих людей до обраної спеціальності (процес самовизначення, коли здійснено вибір спеціальності, ВНЗ); специфіку вибору ВНЗ (яким за рахунком був ХПІ, хто допоміг визначитися з вибором); уявлення про процес навчання в університеті; відповідність уявлень про навчання в університеті реаліям університетського життя.This article analyzes portrait applicant NTU "KPI", where in addition to determining the reasons professional choice, self-personal skills, and discusses the main goals of training at NTU "KPI". The article highlights the problem of professional self -determination was always the youth, and today it is particularly urgent because the current labor market conditions lead to the fact that most graduates do not have a clear life perspective. Analyzed the motives of applicants receiving higher education, motivation admission to NTU "KPI" motives choice of specialty, during the formation of professional interest. Analyzed the motives of professional selection of applicants; during the formation of young people's interest to the chosen profession (the process of self-selection made when specialty Universities); the specific choice of university (how the account was HPI, who helped to choose); understanding of the learning process at the university; line ideas about university studies realities of university life

Parsing and reflective printing, bidirectionally

Language designers usually need to implement parsers and printers. Despite being two intimately related programs, in practice they are often designed separately, and then need to be revised and kept consistent as the language evolves. It will be more convenient if the parser and printer can be unified and developed in one single program, with their consistency guaranteed automatically.Furthermore, in certain scenarios (like showing compiler optimisation results to the programmer), it is desirable to have a more powerful reflective printer that, when an abstract syntax tree corresponding to a piece of program text is modified, can reflect the modification to the program text while preserving layouts, comments, and syntactic sugar.To address these needs, we propose a domain-specific language BIYACC, whose programs denote both a parser and a reflective printer for an unambiguous context-free grammar. BIYACC is based on the theory of bidirectional transformations, which helps to guarantee by construction that the pairs of parsers and reflective printers generated by BIYACC are consistent. We show that BIYACC is capable of facilitating many tasks such as Pombrio and Krishnamurthi's "resugaring", simple refactoring, and language evolution.We would like to thank reviewers for their valuable comments. This work was partially supported by the Japan Society for the Promotion of Science (JSPS) Grant-in-Aid for Scientific Research (A) No. 25240009

Charm Correlation as a Diagnostic Probe of Quark Matter

The use of correlation between two open-charm mesons is suggested to give information about the nature of the medium created in heavy-ion collisions. Insensitivity to the charm production rate is achieved by measuring normalized cumulant. The acollinearity of the D momenta in the transverse plane is a measure of the medium effect. Its dependence on nuclear size or E_T provides a signature for the formation of quark matter.Comment: 12 pages, no figure

The Analysis of Multijet Events Produced at High Energy Hadron Colliders

We define and discuss a set of (4N - 4) parameters that can be used to analyse events in which N jets have been produced in high energy hadron-hadron collisions. These multijet variables are the multijet mass and (4N - 5) independent dimensionless parameters. To illustrate the use of the variables QCD predictions are presented for events with up to five jets produced at the Fermilab Tevatron Proton-Antiproton Collider. These QCD predictions are compared with the predictions of a model in which multijet events uniformly populate the N-body phase-space

InDubio: a combinator library to disambiguate ambiguous grammars

First Online: 29 September 2020To infer an abstract model from source code is one of the main tasks of most software quality analysis methods. Such abstract model is called Abstract Syntax Tree and the inference task is called parsing. A parser is usually generated from a grammar specification of a (programming) language and it converts source code of that language into said abstract tree representation. Then, several techniques traverse this tree to assess the quality of the code (for example by computing source code metrics), or by building new data structures (e.g, flow graphs) to perform further analysis (such as, code cloning, dead code, etc). Parsing is a well established technique. In recent years, however, modern languages are inherently ambiguous which can only be fully handled by ambiguous grammars. In this setting disambiguation rules, which are usually included as part of the grammar specification of the ambiguous language, need to be defined. This approach has a severe limitation: disambiguation rules are not first class citizens. Parser generators offer a small set of rules that can not be extended or changed. Thus, grammar writers are not able to manipulate nor define a new specific rule that the language he is considering requires. In this paper we present a tool, name InDubio, that consists of an extensible combinator library of disambiguation filters together with a generalized parser generator for ambiguous grammars. InDubio defines a set of basic disambiguation rules as abstract syntax tree filters that can be combined into more powerful rules. Moreover, the filters are independent of the parser generator and parsing technology, and consequently, they can be easily extended and manipulated. This paper presents InDubio in detail and also presents our first experimental results.- (undefined

Thermomechanical response of thickly tamped targets and diamond anvil cells under pulsed hard x-ray irradiation

In the laboratory study of extreme conditions of temperature and density, the exposure of matter to high intensity radiation sources has been of central importance. Here, we interrogate the performance of multi-layered targets in experiments involving high intensity, hard x-ray irradiation, motivated by the advent of extremely high brightness hard x-ray sources, such as free electron lasers and 4th-generation synchrotron facilities. Intense hard x-ray beams can deliver significant energy in targets having thick x-ray transparent layers (tampers) around samples of interest for the study of novel states of matter and materials’ dynamics. Heated-state lifetimes in such targets can approach the microsecond level, regardless of radiation pulse duration, enabling the exploration of conditions of local thermal and thermodynamic equilibrium at extreme temperature in solid density matter. The thermal and mechanical responses of such thick layered targets following x-ray heating, including hydrodynamic relaxation and heat flow on picosecond to millisecond timescales, are modeled using radiation hydrocode simulation, finite element analysis, and thermodynamic calculations. Assessing the potential for target survival over one or more exposures and resistance to damage arising from heating and resulting mechanical stresses, this study doubles as an investigation into the performance of diamond anvil high pressure cells under high x-ray fluences. Long used in conjunction with synchrotron x-ray radiation and high power optical lasers, the strong confinement afforded by such cells suggests novel applications at emerging high intensity x-ray facilities and new routes to studying thermodynamic equilibrium states of warm, very dense matter

Cardiac Biomarkers and Risk of Atrial Fibrillation in Chronic Kidney Disease: The CRIC Study.

Background We tested associations of cardiac biomarkers of myocardial stretch, injury, inflammation, and fibrosis with the risk of incident atrial fibrillation (AF) in a prospective study of chronic kidney disease patients. Methods and Results The study sample was 3053 participants with chronic kidney disease in the multicenter CRIC (Chronic Renal Insufficiency Cohort) study who were not identified as having AF at baseline. Cardiac biomarkers, measured at baseline, were NT-proBNP (N-terminal pro-B-type natriuretic peptide), high-sensitivity troponin T, galectin-3, growth differentiation factor-15, and soluble ST-2. Incident AF ("AF event") was defined as a hospitalization for AF. During a median follow-up of 8 years, 279 (9%) participants developed a new AF event. In adjusted models, higher baseline log-transformed NT-proBNP (N-terminal pro-B-type natriuretic peptide) was associated with incident AF (adjusted hazard ratio [HR] per SD higher concentration: 2.11; 95% CI, 1.75, 2.55), as was log-high-sensitivity troponin T (HR 1.42; 95% CI, 1.20, 1.68). These associations showed a dose-response relationship in categorical analyses. Although log-soluble ST-2 was associated with AF risk in continuous models (HR per SD higher concentration 1.35; 95% CI, 1.16, 1.58), this association was not consistent in categorical analyses. Log-galectin-3 (HR 1.05; 95% CI, 0.91, 1.22) and log-growth differentiation factor-15 (HR 1.16; 95% CI, 0.96, 1.40) were not significantly associated with incident AF. Conclusions We found strong associations between higher NT-proBNP (N-terminal pro-B-type natriuretic peptide) and high-sensitivity troponin T concentrations, and the risk of incident AF in a large cohort of participants with chronic kidney disease. Increased atrial myocardial stretch and myocardial cell injury may be implicated in the high burden of AF in patients with chronic kidney disease

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Probing quark gluon plasma with jets

We study multiple scatterings of jets on constituents of quark gluon plasma and introduce energy--energy correlations to quantify their effects. The effects from a longitudinally expanding plasma on medium as well as high energy jets are found to be significant at both RHIC and LHC energies. Because jets escape from the plasma long before the completion of mixed phase, these effects are free from complications of final state hadronic interactions and decays. These suggest that jets can be used to probe the plasma that might be created in future high energy heavy ion collisions.Comment: 15 pages, 6 figures in 5 ps files included, McGill/94-1