cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Methodological fundamentals of support of scientific and educational institutions through targeted capital investments
Creators: name: Britchenko, Igor
name: Levchenko, Yaroslava
name: Dmytriiev, Illia
name: Dmytriieva, Oksana
name: SHEVCHENKO, INNA
Publisher: name: figshare
Year: 2022
Subjects: subject: Education
subject: 140204 Economics of Education
subject: FOS: Economics and business
subject: Economics

description: It all starts with learning. From the very beginning of its existence, a person learns to talk, walk... Education is a titan, on which the existence of an intelligent person is based. The decline in the quality of education leads to its collapse, which in turn leads to the collapse of the nation. Therefore, the task of ensuring the quality of education is a priority for every state. The combination of education and innovation is the undisputed driving force behind the vector of development in the era of ephemerality. This section discusses the problem of supporting research and educational institutions. The method of selective financing of scientific and educational institutions, which create innovative technologies taking into account their investments in innovative developments, is offered. On the basis of statistical data on indicators of an estimation of activity of scientific and educational institutions and an indicator of innovative potential of a scientific and educational institution from implementation of innovations, a calculation of their rating has been carried out. In order to stimulate scientific and educational institutions to create innovative technologies, the introduction of targeted investment is proposed. The problem of quantitative assessment of the rate of targeted investment on the basis of the comprehensive approach to the indicators of innovation potential from innovation and the rating of research and educational institutions has been solved. The approbation of the offered technique by an experimental method has been carried out, the targeted capital investments on the basis of the complex approach have been defined.
WS2_Paper5_Larner_Rogers
Creators: name: Larner, Olivia
name: Rogers, Matt
Publisher: name: figshare
Year: 2017
Subjects: subject: 80602 Computer-Human Interaction
subject: FOS: Psychology

description: This paper focuses on reward metrics that could foster UGV contribution in the absence of peer-to-peer networks. In reviewing existing reward schemes we aim to demonstrate that social capital may be undesirable or difficult to draw upon when motivating users to share their content with professional broadcasters. We suggest that focusing on individual’s intrinsic motivations remains an effective basis for reward schemes.
WS2_Paper6_Evans_Kerlin_Jones
Creators: name: Evans, Michael
name: Kerlin, Lianne
name: Jones, Rhianne
Publisher: name: figshare
Year: 2017
Subjects: subject: 80602 Computer-Human Interaction
subject: FOS: Psychology

description: When a member of the public makes a video and sends it to a broadcaster, in the hopes it will be used in professional content, are they making an informed choice regarding their own rights and those of third parties whose activity is featured? Are professionals inadvertently exploiting contributors or treating them unfairly, and are the terms and conditions that contributors are asked to agree to reasonable? This position paper reports on discussions with potential UGV contributors and uncovers low expectations in terms of communication with and acknowledgement from professionals, and of low levels of understanding of the, often complex, issues around rights.
WS2_Paper4_Kerlin_Evans_Jones
Creators: name: Kerlin, Lianne
name: Evans, Michael
name: Jones, Rhianne
Publisher: name: figshare
Year: 2017
Subjects: subject: 80602 Computer-Human Interaction
subject: FOS: Psychology

description: Professional broadcasters now have the opportunity to leverage user generated video (UGV) content to enhance professional coverage of festivals and similar large events; offering a broader perspective more like ‘being there’. Structured focus group discussions with (1) professional content makers and (2) potential contributors of UGV - have been conducted to help enhancing the use of this footage in broadcast coverage. Results demonstrate the potential impact of UGV, spanning from the motivation to create and use content, to technical requirements, ethical considerations and reward.
State financial support for bridge construction of territorial units
Creators: name: Britchenko, Igor
name: Levchenko, Yaroslava
name: Khoroshylova, Iryna
name: Dmytriiev, Illia
name: Dmytriieva, Oksana
Publisher: name: figshare
Year: 2022
Subjects: subject: 140207 Financial Economics
subject: FOS: Economics and business
subject: Economics

description: Financial security has always been, is and will be the most painful topic for those who do not have their own funds. This applies to absolutely all sectors of the economy, all industries, all countries. When it comes to large-scale projects, including bridge construction, for Ukrainian realities it becomes a real test. In the context of the COVID-19 pandemic challenges, the problem of financial security is particularly acute, especially when it comes to poor regions that are unable to selffinance themselves and survive only on state financial support. Therefore, this section considers the problem of distribution of state financial support on the basis of the integrated approach. The answer to the research question is given: «What components should be included in the methodology for determining state financial support.» The comprehensive method for determining the share of public funds, which takes into account the investment attractiveness of the region and its risk, is proposed. Since the problem of financing the construction and reconstruction of bridges is relevant for a number of countries, this technique was tested on the example of bridge construction. According to the results obtained, the state financial support includes territorial units that are not leaders in priority for an investor and have a high level of risk in investing funds. The integrated approach allowed to identify 10 territorial centers for funding, with the areas with the worst priority indicators receiving the largest share of financial state support.
Effects of 10 years of fencing under a gap and closed canopy on the regeneration of tree seedlings in an old-growth Japanese fir (Abies firma) forest overbrowsed by sika deer
Creators: name: Tamura, Atsushi
name: Nakajima, Kouichi
Publisher: name: Taylor & Francis
Year: 2017
Subjects: subject: Ecology
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy
subject: Plant Biology

description: We report the effects of 10 years of fencing under a gap and under a closed canopy on the regeneration of tree seedlings in an old-growth fir forest overbrowsed by sika deer in the Tanzawa Mountains. We examined tree seedling emergence and growth of 10 major species over 10 years at four plots: inside and outside a deer exclosure under a gap and under a closed canopy (the plots were named “GAPF”, “GAP”, “CCF” and “CC”, respectively). Seedlings of Abies firma, Acer palmatum and Zelkova serrata were noted at all four plots during the initial investigation. Seedlings of five pioneer species emerged in GAPF and GAP, but had showed almost no emergence in CC and CCF. Seedlings of 10 target species showed the greatest tendency toward survival at GAPF among the plots. The survival of six species’ seedlings was significantly higher (p 150 cm, while A. firma, A. palmatum and Z. serrata were mainly <120 cm. These results suggest that the 10 species were able to survive and grow most successfully in the gap without sika deer and that the construction of a deer exclosure just after gap formation was effective in promoting the regeneration of the overbrowsed forest.
Management of a viable enterprise on the basis of the approach to management of a «living» organization and the concept of viable systems
Creators: name: Britchenko, Igor
name: Fedotova, Iryna
name: Shershenyuk, Olena
name: Prokopenko, Mykola
name: Radostin, Vazov
Publisher: name: figshare
Year: 2022
Subjects: subject: 150312 Organisational Planning and Management
subject: FOS: Economics and business
subject: 159999 Commerce, Management, Tourism and Services not elsewhere classified

description: The innovative vector of development is a modern approach to production, sales of services, etc., their adaptation to current societal requirements. It is provided by the transformation of scientific research and development, other scientific and technological achievements into a new or improved product, introduced to the market, into an updated or improved technological process, used in practice. Consequently, approaches to enterprise management are also transformed into modern realities and acquire shades of innovative approaches. Effective management is necessary to ensure the viability of enterprises, and new tools, methods and approaches to management are especially important here. The aim of the article is to develop theoretical provisions for the formation of a viability management system based on the concept of viable systems and the approach to managing an organization as a «living» system. The work identifies that effective viability management requires the creation of an organizational structure in an enterprise that will function as a «living organism». The representation of the enterprise system in the form of a living organism is considered. To form a holistic system of an enterprise, the systems of the human body are considered in more detail and the corresponding systems of the enterprise are determined. A set of functional subsystems of an enterprise by analogy with the systems of a living organism, the activity of which is interdependent, which ensures the stability of the «living organism» of the enterprise to the influence of external conditions has been formed. It has been determined, that in order to fully maintain the viability of an enterprise, it is necessary to study not only the «physical body» of the enterprise as a set of functional subsystems, but also its «soul» – corporate culture, which must be developed on the basis of paradigms of sustainable development and social responsibility.
Association of polymorphism of CYP3A4, ABCB1, ABCC2, ABCG2, NFKB1, POR, and PXR with the concentration of cyclosporin A in allogeneic haematopoietic stem cell transplantation recipients
Creators: name: Wang, Linlin
name: Zeng, Guangting
name: Li, Jianqiang
name: Luo, Jia
name: Li, Huilan
name: Zhang, Zanling
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Biophysics
subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Pharmacology
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Marine Biology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences

description: Cyclosporin a (CsA) was characterized by a narrow therapeutic window and high interindividual pharmacokinetic variability. In this study, we aimed to identify the association of CYP3A4, ABCB1, ABCC2, ABCG2, NFKB1, POR, and PXR polymorphisms with CsA concentrations in patients with allogeneic haematopoietic cell transplantation (allo-HSCT) based on the route of administration. A total of 40 allo-HSCT recipients receiving CsA were genotyped for CYP3A4, ABCB1, ABCC2, ABCG2, NFKB1, POR, and PXR polymorphisms. The correlation between polymorphisms and CsA concentration was analysed. The CsA dose-adjusted trough concentration (Cssmin/D) of oral or intravenous administration was significantly different (p < 0.001). For CsA Cssmin/D of intravenous administration, CYP3A4 rs2246709 (p = 0.015), ABCC2 rs717620 (p = 0.024), ABCG2 rs2231142 (p = 0.042), PXR rs3732359 (p = 0.008), PXR rs3814058 (p = 0.028) and PXR rs6785049 (p < 0.001) had a significant effect on CsA Cssmin/D. For CsA Cssmin/D of oral administration, ABCC2 rs717620 (p = 0.009) and ABCG2 rs2231142 (p = 0.011) had a significant effect on CsA Cssmin/D. These results illustrated that the CYP3A4, ABCC2, ABCG2, and PXR genotypes were closely correlated with CsA Cssmin/D, suggesting these SNPs were suitable for determining the appropriate dose of CsA.
A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
Creators: name: Cecilia, Gabriele
name: Momigliano, Alberto
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The "Harmony Lemma", as formulated by Sangiorgi & Walker, establishes the equivalence between the labelled transition semantics and the reduction semantics in the $π$-calculus. Despite being a widely known and accepted result for the standard $π$-calculus, this assertion has never been rigorously proven, formally or informally. Hence, its validity may not be immediately apparent when considering extensions of the $π$-calculus. Contributing to the second challenge of the Concurrent Calculi Formalization Benchmark -- a set of challenges tackling the main issues related to the mechanization of concurrent systems -- we present a formalization of this result for the fragment of the $π$-calculus examined in the Benchmark. Our formalization is implemented in Beluga and draws inspiration from the HOAS formalization of the LTS semantics popularized by Honsell et al. In passing, we introduce a couple of useful encoding techniques for handling telescopes and lexicographic induction.
description: In Proceedings LFMTP 2024, arXiv:2407.05822
Supplementary Information from Degree heterogeneity and stability of ecological networks
Creators: name: Yan, Gang
name: Neo D. Martinez
name: Yang-Yu Liu
Publisher: name: The Royal Society
Year: 2017
Subjects: subject: Environmental Science
subject: 60114 Systems Biology
subject: FOS: Biological sciences
subject: 60199 Biochemistry and Cell Biology not elsewhere classified
subject: 69999 Biological Sciences not elsewhere classified

description: Technical details in obtaining the key results presented in the main text.
Study of domain switching using piezoresponse force microscopy in Ca0.4Sr0.6Bi4Ti4O15 thin film for electromechanical applications
Creators: name: Mitra, Supratim
name: Gupta, Satakshi
name: Joseph, Aneesh M.
name: Dwivedi, Umesh Kumar
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: An attempt has been made to synthesize (Ca0.4Sr0.6)Bi4Ti4O15(CSBT) thin film using pulsed laser deposition (PLD) and successfully optimized the deposition conditions. A good quality film with the desired phase is obtained at a substrate temperature of 650 oC based on phase, composition and morphology studies. Highly c-axis oriented films with average thickness 330-400 nm and an average grain size 40-65 nm has been found. Piezoresponse force microscopy (PFM) showed a complete domain reversal using switching spectroscopy. A comparatively high effective d33* value as ~120 pm/V has been achived. The results suggest that CSBT has a great potential in electromechanical applications.
description: 14 pages, 4 figures
Resorcinol-, catechol- and saligenin-based bronchodilating β2-agonists as inhibitors of human cholinesterase activity
Creators: name: Bosak, Anita
name: Knežević, Anamarija
name: Smilović, Ivana Gazić
name: Šinko, Goran
name: Kovarik, Zrinka
Publisher: name: Taylor & Francis
Year: 2017
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Molecular Biology
subject: Neuroscience
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Hematology
subject: 60506 Virology

description: We investigated the influence of bronchodilating β2-agonists on the activity of human acetylcholinesterase (AChE) and usual, atypical and fluoride-resistant butyrylcholinesterase (BChE). We determined the inhibition potency of racemate and enantiomers of fenoterol as a resorcinol derivative, isoetharine and epinephrine as catechol derivatives and salbutamol and salmeterol as saligenin derivatives. All of the tested compounds reversibly inhibited cholinesterases with Ki constants ranging from 9.4 μM to 6.4 mM and had the highest inhibition potency towards usual BChE, but generally none of the cholinesterases displayed any stereoselectivity. Kinetic and docking results revealed that the inhibition potency of the studied compounds could be related to the size of the hydroxyaminoethyl chain on the benzene ring. The additional π–π interaction of salmeterol’s benzene ring and Trp286 and hydrogen bond with His447 probably enhanced inhibition by salmeterol which was singled out as the most potent inhibitor of all the cholinesterases.
An Integrative Genome-Based Metabolic Network Map of Saccharomyces Cerevisiae on Cytoscape: Toward Developing A Comprehensive Model
Creators: name: Hamidi, Aram
Publisher: name: IUPUI University Library
Year: 2022
Subjects: saccharomyces cerevisiae
metabolic flux analysis
genome-scale metabolic networks
flux balance analysis
metabolic database
cytoscape
master metabolic map of s. cerevisiae

description: Indiana University-Purdue University Indianapolis (IUPUI)
description: Metabolic flux analyses and their more comprehensive forms, genome-scale metabolic networks (GSMNs), have gained tremendous attention in industrial and medical research. Saccharomyces cerevisiae (S. cerevisiae) is one of the organisms that has had its GSMN subjected to multiple frequent updates. The objective of this study is to develop a visualization tool for the GSMN of S. cerevisiae for educational and research purposes. This visualization tool is called the Master Metabolic Map of Saccharomyces cerevisiae (MMMSC). In this study, a metabolic database of S. cerevisiae developed by us was transferred to Cytoscape, a useful and efficient bioinformatics software platform for visualizing molecular networks. After the MMMSC was created, nodes, representing metabolites and enzymes, and edges, representing the chemical reactions that connect the nodes, were curated manually to develop a metabolic visualization map of the whole metabolic system of S. cerevisiae (Figure 4). In the discussion, examples are provided regarding possible applications of MMMSC to predict possible effects of the manipulation of the S. cerevisiae metabolome for industrial and medical purposes. Ultimately, it is concluded that further work is needed to complete the metabolic database of S. cerevisiae and the related MMMSC. In future studies, these tools may be integrated with other omics and other approaches, especially the directed-evolution approach, to increase cost and time efficiency of future research and to find solutions for complex and, thus far, poorly managed environmental and health problems.
Маркетинг 3.0 в туристичному бізнесі
Creators: name: Туник, Олександр
Publisher: name: figshare
Year: 2017
Subjects: subject: 150503 Marketing Management (incl. Strategy and Customer Relations)
subject: FOS: Economics and business
subject: 150502 Marketing Communications
subject: 160513 Tourism Policy
subject: FOS: Political science

description: Концепцію маркетингу 3.0 було вперше описано Філіпом Котлером спільно з іншими науковцями в книзі «Маркетинг 3.0. Від продуктів до споживачів і далі – до людської душі», в ній маркетинг розглядається як ера цінностей. На думку дослідників, підприємства мають розглядати людей не просто як споживачів, а як повноцінних людських істот, наділених думками, емоціями, душею. Зі свого боку взаємодія із споживачами спрямована на формування цінностей глобалізованого світу. В цьому контексті підприємства потребують формування місії, бачення (візії) і цінностей, які присвячені задоволенню важливих потреб людини в суспільній, економічній та екологічній сферах.
Investigation of Protein – Protein Interactors of Setmar Using Tandem Mass Tag Mass Spectrometry
Creators: name: Segizbayeva, Lana
Publisher: name: IUPUI University Library
Year: 2022
Subjects: SETMAR
mass spectrometry
lysine methyltransferase
biotin
Metnase
streptavidin

description: Indiana University-Purdue University Indianapolis (IUPUI)
description: The nuclear protein SETMAR has been reported to be involved in many processes such as non-homologous end joining (NHEJ), di-methylation (arguably) of K36 of histone H3, restart of stalled replication forks, chromosome decatenation, enhancing of TOPII inhibitors which results in resistance to chemotherapeutics in cancer patients, etc. All these purported functions are impossible to execute without interaction with other proteins. It is established that SETMAR binds specifically to DNA at terminal inverted repeat sequences and can loop DNA. This DNA sequence specific pull-down exploits this attribute to identify possible protein interactors of SETMAR. As a result of this experiment several proteins have been identified for further research: BAG2, c12orf45, PPIA, XRCC5/6, and ZBTB43, all of which are found in higher statistical abundances in full length SETMAR samples.
Evaluation of Travis County Investments in Workforce Development: 2021 Update
Creators: name: Juniper, Cynthia
name: Rodriguez, Patty
name: Prince, Heath
Publisher: name: Ray Marshall Center for the Study of Human Resources
Year: 2022
Subjects: Workforce Development

description: The purpose of the evaluation is to examine outcomes and impacts for participants in Travis County-funded community-based workforce programs over time and to provide recommendations and support for County and provider staff based on data analysis and best practice research.
Safety of the european union transport system as a must have for Ukraine
Creators: name: Britchenko, Igor
name: Bezpartochnyi, Maksym
name: Nadtochii, Iryna
name: Pulianovych, Olena
name: Skakalina, Olena
Publisher: name: figshare
Year: 2022
Subjects: subject: 150799 Transportation and Freight Services not elsewhere classified
subject: FOS: Economics and business
subject: 140217 Transport Economics
subject: 120506 Transport Planning
subject: FOS: Social and economic geography
subject: 90507 Transport Engineering
subject: FOS: Civil engineering
subject: 30607 Transport Properties and Non-equilibrium Processes
subject: FOS: Chemical sciences

description: The influence of the European Union (EU) on Ukraine can hardly be overestimated. Today, Ukraine’s development directly depends on the country’s integration into the EU and the adoption of European best practices. Of course, there are also imperfections in the EU. And where are they not? For countries like Ukraine (which are in their infancy), best practices are a chance for development. Such experience is invaluable. In order to adopt such a positive experience in the context of ensuring the safety of the transport system, it was decided to conduct additional research on this vector. The section discusses the main provisions for ensuring the safety of the EU transport system. A monographic review of research in the field of ensuring the safety of various modes of transport in the EU and in the world has been conducted. An assessment of safety indicators for different modes of transport in the EU has been realized. Impact indicators and safety measures for various modes of transport in the EU countries have been identified. Various safety management systems and EU programs, aimed at ensuring safety in rail, road, air and maritime transport have been described. New challenges to the security of the EU transport system through the COVID-19 pandemic and ensuring the competitiveness of different modes of transport, economic stability of market operators, compliance with environmental standards, etc. have been identified. The need to improve the infrastructure to ensure the safety of the transport system in the EU is pointed out. A combined safety management system for the EU transport system has been proposed and its key elements have been identified.
Deciphering the crucial residues involved in heterodimerization of Bak peptide and anti-apoptotic proteins for apoptosis
Creators: name: Parthiban Marimuthu
name: Kalaimathy Singaravelu
Publisher: name: Taylor & Francis
Year: 2017
Subjects: subject: Biophysics
subject: Biochemistry
subject: Cell Biology
subject: Molecular Biology
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Developmental Biology
subject: Cancer

description: B-cell lymphoma 2 (Bcl-2) family proteins are the central regulators of apoptosis, functioning via mitochondrial outer membrane permeabilization. The family members are involved in several stages of apoptosis regulation. The overexpression of the anti-apoptotic proteins leads to several cancer pathological conditions. This overexpression is modulated or inhibited by heterodimerization of pro-apoptotic BH3 domain or BH3-only peptides to the hydrophobic groove present at the surface of anti-apoptotic proteins. Additionally, the heterodimerization displayed differences in binding affinity profile among the pro-apoptotic peptides binding to anti-apoptotic proteins. In light of discovering the novel peptide/drug molecules that contain the potential to inhibit specific anti-apoptotic protein, it is necessary to understand the molecular basis of recognition between the protein and its binding partner (peptide or ligand) along with its binding energies. Therefore, the present work focused on deciphering the molecular basis of recognition between pro-apoptotic Bak peptide binding to different anti-apoptotic (Bcl-xL, Bfl-1, Bcl-W, Mcl-1, and Bcl-2) proteins using advanced Molecular Dynamics (MD) approach such as Molecular Mechanics-Generalized Born Solvent Accessible. The results from our investigation revealed that the predicted binding free energies showed excellent correlation with the experimental values (r2 = .95). The electrostatic (ΔGele) contributions are the major component that drives the interaction between Bak peptides and different anti-apoptotic peptides. Additionally, van der Waals (ΔGvdw) energies also play an indispensible role in determining the binding free energy. Furthermore, the decomposition analysis highlighted the comprehensive information about the energy contributions of hotspot residues involved in stabilizing the interaction between Bak peptide and different anti-apoptotic proteins.
Binding Contexts as Partitionable Multisets in Abella
Creators: name: Gray, Terrance
name: Nadathur, Gopalan
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: When reasoning about formal objects whose structures involve binding, it is often necessary to analyze expressions relative to a context that associates types, values, and other related attributes with variables that appear free in the expressions. We refer to such associations as binding contexts. Reasoning tasks also require properties such as the shape and uniqueness of associations concerning binding contexts to be made explicit. The Abella proof assistant, which supports a higher-order treatment of syntactic constructs, provides a simple and elegant way to describe such contexts from which their properties can be extracted. This mechanism is based at the outset on viewing binding contexts as ordered sequences of associations. However, when dealing with object systems that embody notions of linearity, it becomes necessary to treat binding contexts more generally as partitionable multisets. We show how to adapt the original Abella encoding to encompass such a generalization. The key idea in this adaptation is to base the definition of a binding context on a mapping to an underlying ordered sequence of associations. We further show that properties that hold with the ordered sequence view can be lifted to the generalized definition of binding contexts and that this lifting can, in fact, be automated. These ideas find use in the extension currently under development of the two-level logic approach of Abella to a setting where linear logic is used as the specification logic.
description: In Proceedings LFMTP 2024, arXiv:2407.05822
Between the von Neumann inequality and the Crouzeix conjecture
Creators: name: Pagacz, Patryk
name: Pietrzycki, Paweł
name: Wojtylak, Michał
Publisher: name: arXiv
Year: 2019
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics

description: A new concept of a deformed numerical range $W^ρ(T)$ is introduced. Here $T$ is a bounded linear operator or a matrix and $ ρ\in[1,+\infty)$ is a parameter. Each $W^ρ(T)$ is a closed convex set that contains the spectrum of $T$. Furthermore, $W^ρ(T)$ is decreasing with respect to $ ρ$ and $W^2(T)$ coincides with the numerical range. It is also shown that $W^ρ(T)$ is contained in the closed unit disc if and only if $T$ has a $ρ$ unitary dilation in the sense of Nágy-Foia\c s. The spectral constants of $W^ρ(T)$ are investigated, it is shown that it is monotone and continuous with respect to the parameter $ ρ$.
Dividing a Graphical Cake
Creators: name: Bei, Xiaohui
name: Suksompong, Warut
Publisher: name: arXiv
Year: 2019
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences

description: We consider the classical cake-cutting problem where we wish to fairly divide a heterogeneous resource, often modeled as a cake, among interested agents. Work on the subject typically assumes that the cake is represented by an interval. In this paper, we introduce a generalized setting where the cake can be in the form of the set of edges of an undirected graph. This allows us to model the division of road or cable networks. Unlike in the canonical setting, common fairness criteria such as proportionality cannot always be satisfied in our setting if each agent must receive a connected subgraph. We determine the optimal approximation of proportionality that can be obtained for any number of agents with arbitrary valuations, and exhibit tight guarantees for each graph in the case of two agents. In addition, when more than one connected piece per agent is allowed, we establish the best egalitarian welfare guarantee for each total number of connected pieces. We also study a number of variants and extensions, including when approximate equitability is considered, or when the item to be divided is undesirable (also known as chore division).
High performing additively manufactured bone scaffolds based on copper substituted diopside
Creators: name: Pang, Shumin
name: Wu, Dongwei
name: Kamutzki, Franz
name: Kurreck, Jens
name: Gurlo, Aleksander
name: Hanaor, Dorian A.H.
Publisher: name: Technische Universität Berlin
Year: 2022
Subjects: subject: 600 Technik, Technologie
subject: copper
subject: diopside
subject: mechanical performance
subject: biocompatibility
subject: angiogenesis
subject: antibacterial activity

description: The inclusion of small amounts of copper is often reported to enhance the mechanical and biointegrative performance of bioceramics towards tissue engineering applications. In this work, 3D scaffolds were additively manufactured by robocasting of precipitation derived copper doped diopside. Compositions were chosen in which magnesium sites in diopside were substituted by copper up to 3 at.%. Microstructure, mechanical performance, bioactivity, biodegradability, drug release, biocompatibility, in vitro angiogenesis and antibacterial activity were studied. Results indicate that copper is incorporated in the diopside structure and improves materials’ fracture toughness. Scaffolds with > 80% porosity exhibited compressive strengths exceeding that of cancellous bone. All compositions showed bioactivity and drug release functionalities. However, only samples with 0–1 at.% copper substitution showed favorable proliferation of osteogenic sarcoma cells, human umbilical vein endothelial cells and fibroblasts, while larger amounts of copper had cytotoxic behavior. In vitro angiogenesis was significantly enhanced by low levels of copper. Copper-containing materials showed anti-Escherichia coli activity, increasing with copper content. We show that across multiple indicators, copper substituted diopside of the composition CaMg0.99Cu0.01Si2O6, exhibits high performance as a synthetic bone substitute, comparing favorably with known bioceramics. These findings present a pathway for the enhancement of bioactivity and mechanical performance in printable bioceramics.
Metoda
Creators: name: Drabik, Aleksandra
Publisher: name: OSF Registries
Year: 2020
Subjects: #EEG
#rytmAlfa
KwestionariuszPoczuciaStresu
rytmSMR

description: 120 uczestników podzielonych na 4 grupy weźmie udział w badaniu, w którym pomiar będzie dokonywany za pomocą dwóch kwestionariuszy oraz EEG.
Supplementary Material for: Genetic Predictors of ≥5% Weight Loss by Multidisciplinary Advice to Severely Obese Subjects
Creators: name: Aller E.E.J.G.
name: Mariman E.C.M.
name: Bouwman, F.G.
name: Van Baak, M.A.
Publisher: name: Karger Publishers
Year: 2017
Subjects: Medicine

description: Background: Weight loss success is determined by genetic factors, which may differ according to treatment strategy. Methods: From a multidisciplinary obesity treatment program involving dietary advice, psychological counseling, and increased physical activity, 587 subjects (68% female; 46.1 ± 12.4 years; BMI 39.9 ± 6.3) were recruited. At baseline, a blood sample was drawn for DNA isolation. Genotypes were determined for 30 polymorphisms in 25 candidate genes. The association between genotypes and weight loss was assessed after 3 months (short-term) and after 12 months of treatment (long-term). Weight loss was categorized as ≥5% or <5% of initial weight. Results: The G/G genotype of PLIN1 (rs2289487) and PLIN1 (rs2304795), the T/T genotype of PLIN1 (rs1052700), and the C/C genotype of MMP2 predicted ≥5% weight loss in the first 3 months. The C/G-G/G genotype of PPARγ (rs1801282) and the T/C genotype of TIMP4 (rs3755724) predicted ≥5% weight loss after 12 months. Subjects with the combination of PPARγ (rs1801282) C/G-G/G and TIMP4 (rs3755724) T/C lost even more weight. Conclusion: Polymorphisms in genes related to regulation of fat storage and structural adaptation of the adipocytes are predictors for weight loss success with different genes being relevant for short-term and long-term weight loss success.
نقش نهاد های فرهنگ ساز در ایجاد فرهنگ مطلوب اجتماعی
Creators: name: Ala, Toorani
Publisher: name: Zenodo
Year: 2014
Subjects: فرهنگ، دین، دانشگاه رسانه خانواده

description: فرهنگ در لغت به معنای دین، دانش، اخلاق، سنت و ... آمده است که پایدارترین حوزه اجتماع و مشخص کننده شکل وماهیت حرکت جامعه است. و به عنوان زیربنای جوامع انسانی بر پایه نهادهای فرهنگ ساز شکل می گیرد. نهادها اساسا ارکان اصلی یک پدیده را تشکیل می دهند که فرهنگ نیز از این نهادها برخوردار است. تأثیر این نهادهای فرهنگی به حدیاست که طراحان فرهنگی نخست برای نیل به اهداف خود، به ایجاد نهادهای مربوط به آن اقدام می نمایند. و اهمیت شان دراین است که جوامع با مستقر نمودن این عوامل دیگر نیازی به استفاده از اهرمهای قضایی و قانونی نخواهند داشت. این مقالهدر صدد است ضمن معرفی نهادهای فرهنگ ساز، تأثیر این نهادها را بر جوامع بشری تبیین نماید. و روشن می سازد که ایننهادها به نوعی وامدار فرهنگ پیش از خود می باشند. و رابطه نهادها با فرهنگ، یک رابطه داد و ستد متقابل است.
Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
Creators: name: Traversié, Thomas
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Kuroda's translation embeds classical first-order logic into intuitionistic logic, through the insertion of double negations. Recently, Brown and Rizkallah extended this translation to higher-order logic. In this paper, we adapt it for theories encoded in higher-order logic in the lambdaPi-calculus modulo theory, a logical framework that extends lambda-calculus with dependent types and user-defined rewrite rules. We develop a tool that implements Kuroda's translation for proofs written in Dedukti, a proof language based on the lambdaPi-calculus modulo theory.
description: In Proceedings LFMTP 2024, arXiv:2407.05822
تأثیر فلسفه الهی در زیست و حیات انسانی
Creators: name: Ala, Toorani
Publisher: name: Zenodo
Year: 2015
Subjects: تأثیرات فلسفه ، فلسفه الهی ، شکاکیت و پوچ گرایی ، معنی و هدف ،

description: تفکری که در این مقاله به نام «فلسفه الهی» خوانده می شود از جمله آن اندیشه هایی است که ادعا می شود تأثیر تام و تمامی بر شئونات فردی و اجتماعی انسان ها دارد. تأثیر تفکر فلسفی بر زندگی فردی و اجتماعی انسان منحصر به اندیشه شرقی و اسلامی نیست. واقع امر آن است که زندگی بشر با فلسفه در آمیخته و در این امر هردو تفکر فلسفه شرق و غرب منشأ آثار خاص خود می باشد. اما آنچه تفکر اسلامی را در حوزه فلسفه از تفکر غربی جدا می سازد وجود ویژگی ها و جنبه هایی است که این مقاله در صدد به رخ کشیدن آن ها در مقابل تفکری است که حاکم بر دنیای غرب است، ویژگی های همچون مبارزه با پوچ گرایی و شکاکیت، کاهش بحران های اجتماعی و در یک کلام آرامش روحی و روانی فردی و اجتماعی و هدف بخشی به زندگی انسانی.
Data-driven topology design using a deep generative model
Creators: name: Yamasaki, Shintaro
name: Yaji, Kentaro
name: Fujita, Kikuo
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computational Physics (physics.comp-ph)
subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: Machine Learning (stat.ML)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: In this paper, we propose a sensitivity-free and multi-objective structural design methodology called data-driven topology design. It is schemed to obtain high-performance material distributions from initially given material distributions in a given design domain. Its basic idea is to iterate the following processes: (i) selecting material distributions from a dataset of material distributions according to eliteness, (ii) generating new material distributions using a deep generative model trained with the selected elite material distributions, and (iii) merging the generated material distributions with the dataset. Because of the nature of a deep generative model, the generated material distributions are diverse and inherit features of the training data, that is, the elite material distributions. Therefore, it is expected that some of the generated material distributions are superior to the current elite material distributions, and by merging the generated material distributions with the dataset, the performances of the newly selected elite material distributions are improved. The performances are further improved by iterating the above processes. The usefulness of data-driven topology design is demonstrated through numerical examples.
description: 25 pages, 25 figures
Phytochemical characterisation and bioprospection for antibacterial and antioxidant activities of Lippia alba Brown ex Britton & Wilson (Verbenaceae)
Creators: name: Oliveira, Graziela Teixeira De
name: Ferreira, Jaqueline Maria Siqueira
name: Lima, William Gustavo
name: Alves, Lucas Ferreira
name: Duarte-Almeida, Joaquim Maurício
name: Lima, Luciana Alves Rodrigues Dos Santos
Publisher: name: Taylor & Francis
Year: 2017
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Hematology
subject: Plant Biology

description: Ethanol extract and fractions obtained from fresh and dry aerial parts of Lippia alba were examined in order to determine their phytochemical composition, antioxidant capacity and antibacterial activities. The ethanol extracts and fractions exhibited an antioxidant effect by the DPPH assay, especially samples of fresh plant. HPLC analysis of the ethyl acetate fractions identified the presence of phenolic acids and flavonoids. The ethanol extract and fractions showed activity against reference and multidrug-resistant strains of Staphylococcus aureus and Enterococcus faecalis (MIC range 2000–250 μg/mL). The hexane and dichloromethane fractions of fresh plant showed better activity against reference strains of Escherichia coli (MIC of 250 and 125 μg/mL, respectively), but all extracts and fractions were less active against multidrug-resistant strains of all the Gram-negative species evaluated. The results showed that the extract and fractions of L alba aerial parts showed antibacterial activity, even against multidrug-resistant Gram-positive bacteria, and antioxidant effect (DPPH assay).
Additional file 1 of Promoter methylation-mediated repression of UNC5 receptors and the associated clinical significance in human colorectal cancer
Creators: name: Dong, Dong
name: Zhang, Runshi
name: Shao, Jie
name: Zhang, Aimin
name: Wang, Yichao
name: Zhou, Yunli
name: Li, Yueguo
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Additional file 1. Sequence information for the primers and probes.
Proofs for Free in the $λΠ$-Calculus Modulo Theory
Creators: name: Traversié, Thomas
Publisher: name: arXiv
Year: 2024
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Parametricity allows the transfer of proofs between different implementations of the same data structure. The lambdaPi-calculus modulo theory is an extension of the lambda-calculus with dependent types and user-defined rewrite rules. It is a logical framework, used to exchange proofs between different proof systems. We define an interpretation of theories of the lambdaPi-calculus modulo theory, inspired by parametricity. Such an interpretation allows to transfer proofs for free between theories that feature the notions of proposition and proof, when the source theory can be embedded into the target theory.
description: In Proceedings LFMTP 2024, arXiv:2407.05822
A square root information filter for multi-GNSS real-time precise clock estimation
Creators: name: Zuo, Xiang
name: Jiang, Xinyuan
name: Li, Pan
name: Wang, Jungang
name: Ge, Maorong
name: Schuh, Harald
Publisher: name: Technische Universität Berlin
Year: 2021
Subjects: subject: 550 Geowissenschaften
subject: SRIF
subject: precise clock estimation
subject: quality control
subject: real-time
subject: GNSS

description: Real-time satellite orbit and clock estimations are the prerequisite for Global Navigation Satellite System (GNSS) real-time precise positioning services. To meet the high-rate update requirement of satellite clock corrections, the computational efficiency is a key factor and a challenge due to the rapid development of multi-GNSS constellations. The Square Root Information Filter (SRIF) is widely used in real-time GNSS data processing thanks to its high numerical stability and computational efficiency. In real-time clock estimation, the outlier detection and elimination are critical to guarantee the precision and stability of the product but could be time-consuming. In this study, we developed a new quality control procedure including the three standard steps: i.e., detection, identification, and adaption, for real-time data processing of huge GNSS networks. Effort is made to improve the computational efficiency by optimizing the algorithm to provide only the essential information required in the processing, so that it can be applied in real-time and high-rate estimation of satellite clocks. The processing procedure is implemented in the PANDA (Positioning and Navigation Data Analyst) software package and evaluated in the operational generation of real-time GNSS orbit and clock products. We demonstrated that the new algorithm can efficiently eliminate outliers, and a clock precision of 0.06 ns, 0.24 ns, 0.06 ns, and 0.11 ns can be achieved for the GPS, GLONASS, Galileo, and BDS-2 IGSO/MEO satellites, respectively. The computation time per epoch is about 2 to 3 s depending on the number of existing outliers. Overall, the algorithm can satisfy the IGS real-time clock estimation in terms of both the computational efficiency and product quality.
The efects of continuous compared to accumulated exercise on health: a meta‑analytic review
Creators: name: Murphy, Marie H.
name: Lahart, Ian
name: Carlin, Angela
name: Murtagh, Elaine
Publisher: name: University of Limerick
Year: 2024
Subjects: classificationCode: 4207
subject: Sports science and exercise

description: Background Public health guidelines suggest that physical activity can be accumulated in multiple short bouts dispersed through the day. A synthesis of the evidence for this approach is lacking. Objective Our objective was to undertake a systematic review and meta-analysis to examine if exercise interventions consisting of a single bout of exercise compared with interventions comprising the same total duration, mode, and intensity of exercise accumulated over the course of the day have diferent efects on health outcomes in adults.
Methods Six electronic databases were searched (Jan 1970–29 August 2018). Two authors identifed studies that evaluated the efects of a single bout of exercise compared with the same intensity, total duration, and mode of exercise accumulated in multiple bouts over the course of a day, in community-dwelling adults. Risk of bias was assessed using the Cochrane Collaboration tool. Pooled efects were reported as standardised mean diferences (MDs) and 95% confdence intervals (CIs) using a random efects model.
 Results A total of 19 studies involving 1080 participants met the inclusion criteria. There were no diferences between accumulated and continuous groups for any cardiorespiratory ftness or blood pressure outcomes. A diference was found in body mass changes from baseline to post-intervention in favour of accumulated exercise compared with continuous (MD −0.92 kg, 95% CI −1.59 to −0.25, I 2=0%; fve studies, 211 participants). In subgroup analyses, accumulating >150 min of weekly exercise in multiple bouts per day resulted in small efects on body fat percentage (combined post-intervention and change from baseline values: MD −0.87%, 95% CI −1.71 to −0.04, I 2=0%; three studies, 166 participants) compared with 150 min of exercise amassed via single continuous bouts per day. There was a decrease in low-density lipoprotein (LDL) cholesterol with accumulated versus continuous exercise (MD −0.39 mmol/l, 95% CI −0.73 to −0.06, I 2=23%; two stud?ies, 41 participants). No diferences were observed for any other blood biomarker (total cholesterol, high-density lipoprotein cholesterol, triglycerides, fasting blood glucose, and fasting insulin).
Conclusions There is no diference between continuous and accumulated patterns of exercise in terms of efects on ftness, blood pressure, lipids, insulin and glucose. There is some evidence from a small number of studies that changes in body mass and LDL cholesterol are more favourable following the accumulated condition. Collectively our fndings suggest that adults are likely to accrue similar health benefts from exercising in a single bout or accumulating activity from shorter bouts throughout the day. This review will inform public health guidelines for physical activity at the global and national levels (PROSPERO 2016 CRD42016044122).