cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
General dynamic recovery for compensating CSP
Creators: name: Al-Humaimeedy, Abeer S.
name: Fernández, Maribel
Publisher: name: arXiv
Year: 2014
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Compensation is a technique to roll-back a system to a consistent state in case of failure. Recovery mechanisms for compensating calculi specify the order of execution of compensation sequences. Dynamic recovery means that the order of execution is determined at runtime. In this paper, we define an extension of Compensating CSP, called DEcCSP, with general dynamic recovery. We provide a formal, operational semantics for the calculus, and illustrate its expressive power with a case study. In contrast with previous versions of Compensating CSP, DEcCSP provides mechanisms to replace or discard compensations at runtime. Additionally, we bring back to DEcCSP standard CSP operators that are not available in other compensating CSP calculi, and introduce channel communication.
description: In Proceedings DCM 2012, arXiv:1403.7579
Quantum Turing automata
Creators: name: Bartha, Miklós
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Physics (quant-ph)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Information Theory (cs.IT)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: A denotational semantics of quantum Turing machines having a quantum control is defined in the dagger compact closed category of finite dimensional Hilbert spaces. Using the Moore-Penrose generalized inverse, a new additive trace is introduced on the restriction of this category to isometries, which trace is carried over to directed quantum Turing machines as monoidal automata. The Joyal-Street-Verity Int construction is then used to extend this structure to a reversible bidirectional one.
description: In Proceedings DCM 2012, arXiv:1403.7579
Micro to macro models for income distribution in the absence and in the presence of tax evasion
Creators: name: Bertotti, Maria Letizia
name: Modanese, Giovanni
Publisher: name: arXiv
Year: 2014
Subjects: subject: General Finance (q-fin.GN)
subject: FOS: Economics and business

description: We investigate the effect of tax evasion on the income distribution and the inequality index of a society through a kinetic model described by a set of nonlinear ordinary differential equations. The model allows to compute the global outcome of binary and multiple microscopic interactions between individuals. When evasion occurs, both individuals involved in a binary interaction take advantage of it, while the rest of the society is deprived of a part of the planned redistribution. In general, the effect of evasion on the income distribution is to decrease the population of the middle classes and increase that of the poor and rich classes. We study the dependence of the Gini index on several parameters (mainly taxation rates and evasion rates), also in the case when the evasion rate increases proportionally to a taxation rate which is perceived by citizens as unfair. Finally, we evaluate the relative probability of class advancement of individuals due to direct interactions and welfare provisions, and some typical temporal rates of convergence of the income distribution to its equilibrium state.
description: 21 pages, 9 figures. Submitted to Appl. Math. Comput
Ray tracing -- computing the incomputable?
Creators: name: Blakey, Ed
Publisher: name: arXiv
Year: 2014
Subjects: subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: We recall from previous work a model-independent framework of computational complexity theory. Notably for the present paper, the framework allows formalization of the issues of precision that present themselves when one considers physical, error-prone (especially analogue rather than digital) computational systems. We take as a case study the ray-tracing problem, a Turing-machine-incomputable problem that can, in apparent violation of the Church-Turing thesis, nonetheless be said to be solved by certain optical computers; however, we apply the framework of complexity theory so as to formalize the intuition that the purported super-Turing power of these computers in fact vanishes once precision is properly considered.
description: In Proceedings DCM 2012, arXiv:1403.7579
Towards a Modular Recommender System for Research Papers written in Albanian
Creators: name: Hoxha, Klesti
name: Kika, Alda
name: Gani, Eriglen
name: Greca, Silvana
Publisher: name: arXiv
Year: 2014
Subjects: subject: Information Retrieval (cs.IR)
subject: FOS: Computer and information sciences
subject: H.3.3

description: In the recent years there has been an increase in scientific papers publications in Albania and its neighboring countries that have large communities of Albanian speaking researchers. Many of these papers are written in Albanian. It is a very time consuming task to find papers related to the researchers' work, because there is no concrete system that facilitates this process. In this paper we present the design of a modular intelligent search system for articles written in Albanian. The main part of it is the recommender module that facilitates searching by providing relevant articles to the users (in comparison with a given one). We used a cosine similarity based heuristics that differentiates the importance of term frequencies based on their location in the article. We did not notice big differences on the recommendation results when using different combinations of the importance factors of the keywords, title, abstract and body. We got similar results when using only the title and abstract in comparison with the other combinations. Because we got fairly good results in this initial approach, we believe that similar recommender systems for documents written in Albanian can be build also in contexts not related to scientific publishing.
description: 8 pages
Towards a GPU-based implementation of interaction nets
Creators: name: Jiresch, Eugen
Publisher: name: arXiv
Year: 2014
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: We present ingpu, a GPU-based evaluator for interaction nets that heavily utilizes their potential for parallel evaluation. We discuss advantages and challenges of the ongoing implementation of ingpu and compare its performance to existing interaction nets evaluators.
description: In Proceedings DCM 2012, arXiv:1403.7579
Topos Semantics for Higher-Order Modal Logic
Creators: name: Awodey, Steve
name: Kishida, Kohei
name: Kotzsch, Hans-Christoph
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic (math.LO)
subject: Category Theory (math.CT)
subject: FOS: Mathematics

description: We define the notion of a model of higher-order modal logic in an arbitrary elementary topos $\mathcal{E}$. In contrast to the well-known interpretation of (non-modal) higher-order logic, the type of propositions is not interpreted by the subobject classifier $Ω_{\mathcal{E}}$, but rather by a suitable complete Heyting algebra $H$. The canonical map relating $H$ and $Ω_{\mathcal{E}}$ both serves to interpret equality and provides a modal operator on $H$ in the form of a comonad. Examples of such structures arise from surjective geometric morphisms $f : \mathcal{F} \to \mathcal{E}$, where $H = f_\ast Ω_{\mathcal{F}}$. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are no longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion.
title: Generating Automatic As-Built BIM Models In Conventional Tunnel Construction
Creators: name: Operta, Dzan
Publisher: name: TU Wien
Year: 2022
Subjects: subject: Building Information Modeling
subject: Tunnel Construction
subject: Model Generation
subject: BIM
subject: Building Information Modeling
subject: Tunnel Construction
subject: Conventional Tunnel Construction
subject: As-built BIM
subject: Automatic Model Generation

description: Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprueft - gesperrte Arbeit (bis 2023-10-03+02:00)
description: Abweichender Titel nach Übersetzung der Verfasserin/des Verfassers
Computing discrete logarithm by interval-valued paradigm
Creators: name: Nagy, Benedek
name: Vályi, Sándor
Publisher: name: arXiv
Year: 2014
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: Interval-valued computing is a relatively new computing paradigm. It uses finitely many interval segments over the unit interval in a computation as data structure. The satisfiability of Quantified Boolean formulae and other hard problems, like integer factorization, can be solved in an effective way by its massive parallelism. The discrete logarithm problem plays an important role in practice, there are cryptographical methods based on its computational hardness. In this paper we show that the discrete logarithm problem is computable by an interval-valued computing in a polynomial number of steps (within this paradigm).
description: In Proceedings DCM 2012, arXiv:1403.7579
The complex planetary synchronization structure of the solar system
Creators: name: Scafetta, Nicola
Publisher: name: arXiv
Year: 2014
Subjects: subject: General Physics (physics.gen-ph)
subject: FOS: Physical sciences

description: The complex planetary synchronization structure of the solar system, which since Pythagoras of Samos (ca. 570-495 BC) is known as the music of the spheres, is briefly reviewed from the Renaissance up to contemporary research. Copernicus' heliocentric model from 1543 suggested that the planets of our solar system form a kind of mutually ordered and quasi-synchronized system. From 1596 to 1619 Kepler formulated preliminary mathematical relations of approximate commensurabilities among the planets, which were later reformulated in the Titius-Bode rule (1766-1772) that successfully predicted the orbital position of Ceres and Uranus. Following the discovery of the ~11 yr sunspot cycle, in 1859 Wolf suggested that the observed solar variability could be approximately synchronized with the orbital movements of Venus, Earth, Jupiter and Saturn. Modern research have further confirmed that: (1) the planetary orbital periods can be approximately deduced from a simple system of resonant frequencies; (2) the solar system oscillates with a specific set of gravitational frequencies, and many of them (e.g. within the range between 3 yr and 100 yr) can be approximately constructed as harmonics of a base period of ~178.38 yr; (3) solar and climate records are also characterized by planetary harmonics from the monthly to the millennia time scales. This short review concludes with an emphasis on the contribution of the author's research on the empirical evidences and physical modeling of both solar and climate variability based on astronomical harmonics. The general conclusion is that the solar system works as a resonator characterized by a specific harmonic planetary structure that synchronizes also the Sun's activity and the Earth's climate.
description: 9 figure, 19 pages. This article is a chapter of the special issue "Pattern in solar variability, their planetary origin and terrestrial impacts" available at the url: http://www.pattern-recogn-phys.net/special_issue2.html
Noise prevents infinite stretching of the passive field in a stochastic vector advection equation
Creators: name: Flandoli, Franco
name: Maurelli, Mario
name: Neklyudov, Mikhail
Publisher: name: arXiv
Year: 2014
Subjects: subject: Probability (math.PR)
subject: Mathematical Physics (math-ph)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 60H15 (stochastic partial differential equations), 35Q35 (PDEs in connection with fluid mechanics)

description: A linear stochastic vector advection equation is considered; the equation may model a passive magnetic field in a random fluid. When the driving velocity field is rough but deterministic, in particular just Hölder continuous and bounded, one can construct examples of infinite stretching of the passive field, arising from smooth initial conditions. The purpose of the paper is to prove that infinite stretching is prevented if the driving velocity field contains in addition a white noise component.
description: 23 pages, 4 figures
Non-deterministic computation and the Jayne-Rogers Theorem
Creators: name: Pauly, Arno
name: de Brecht, Matthew
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.1.1

description: We provide a simple proof of a computable analogue to the Jayne Rogers Theorem from descriptive set theory. The difficulty of the proof is delegated to a simulation result pertaining to non-deterministic type-2 machines. Thus, we demonstrate that developments in computational models can have applications in fields thought to be far removed from it.
description: In Proceedings DCM 2012, arXiv:1403.7579
The Frobenius-Virasoro algebra and Euler equations
Creators: name: Zuo, Dafeng
Publisher: name: arXiv
Year: 2014
Subjects: subject: Mathematical Physics (math-ph)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: We introduce an $\mathfrak{F}$-valued generalization of the Virasoro algebra, called the Frobenius-Virasoro algebra $\mathfrak{vir_F}$, where $\mathfrak{F}$ is a Frobenius algebra over $\mathbb{R}$. We also study Euler equations on the regular dual of $\mathfrak{vir_F}$, including the $\mathfrak{F}$-$\mathrm{KdV}$ equation and the $\mathfrak{F}$-$\mathrm{CH}$ equation and the $\mathfrak{F}$-$\mathrm{HS}$ equation, and discuss their Hamiltonian properties.
description: Comments are welcome
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
Creators: name: Sanders, Sam
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We propose a new model of computation based on nonstandard analysis. Intuitively, the role of "algorithm" is played by a new notion of finite procedure, called Omega-invariance and inspired by physics, from nonstandard analysis. Moreover, the role of 'proof' is taken up by the Transfer Principle from nonstandard analysis. We obtain a number of results in Constructive Reverse Mathematics to illustrate the tight correspondence to Errett Bishop's Constructive Analysis and the associated Constructive Reverse Mathematics.
description: In Proceedings DCM 2012, arXiv:1403.7579
Chaotic Inflation in No-Scale Supergravity with String Inspired Moduli Stabilization
Creators: name: Li, Tianjun
name: Li, Zhijin
name: Nanopoulos, Dimitri V.
Publisher: name: arXiv
Year: 2014
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The simple chaotic inflation is highly consistent with the BICEP2 experiment, and no-scale supergravity can be realized naturally in various string compactifications. Thus, we construct a chaotic inflation model in no-scale supergravity inspired from Type IIB string compactification with an anomalous U(1)_X gauged symmetry. We introduce two moduli T_1 and T_2 which transform non-trivially under U(1)_X, and some pairs of fundamental quarks charged under the SU(N) x U(1)_X gauge group. The non-trivial transformations of moduli under U(1)_X lead to a moduli-dependent Fayet-Iliopoulos (FI) term. The modulus T_2 and the real component of T_1 are stabilized by the non-perturbative effect from quark condensation and the U(1)_X D-term. In particular, the stabilization from the anomalous U(1)_X D-term with moduli-dependent FI term is crucial for inflation since it gives heavy mass to the real component of the modulus T_1 while keeping its axionic part light. Choosing the proper parameters, we obtain a global Minkowski vacuum where the imaginary part of T_1 has a quadratic potential for chaotic inflation.
description: Revtex4, 17 pages, 2 figures
Connections of Zero Curvature and Applications to Nonlinear Partial Differential Equations
Creators: name: Bracken, Paul
Publisher: name: arXiv
Year: 2014
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 53Z05, 57R99

description: A general formulation of zero curvature connections in a principle bundle is presented and some applications are discussed. It is proved that a related connection based on a prolongation in an associated bundle remains zero curvature as well. It is also shown that the connection coefficients can be defined so that the partial differential equation to be studied appears as the curvature term in the structure equations. It is discussed how Lax pairs and Backlund transformations can be formulated for such equations. It is discussed how Lax pairs and Backlund transformations can be formulated for such equations that occur as zero curvature terms.
description: 22
La scienza aperta: ultima linea di difesa di una società democratica
Creators: name: Caso, Roberto
Publisher: name: Zenodo
Year: 2022
Subjects: Itellectual property

description: "La scienza dovrebbe essere un bene comune e incondizionato, ma oggi viene gestita attraverso logiche e procedure che ne fanno un assett privato o una funzione assoggettata al controllo statale. Come si può garantire l’autonomia della ricerca e la tutela della missione pubblica della scienza? Attraverso quali infrastrutture tecnologiche e pratiche organizzative? E sulla base di quali cambiamenti normativi, istituzionali e culturali? Se ne discute con Roberto Caso, presidente dell’Associazione Italiana per la Scienza Aperta (AISA)"
The probability of non-confluent systems
Creators: name: Díaz-Caro, Alejandro
name: Dowek, Gilles
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability space to transform a non-deterministic calculus into a probabilistic one. We use as example Lambda+, a recently introduced calculus defined through type isomorphisms.
description: In Proceedings DCM 2013, arXiv:1403.7685
Кодификация как технология формирования единого правового пространства в сложном государстве: историко-правовой аспект
Creators: name: Азизова, Виктория
Publisher: name: ООО Цифра
Year: 2024
Subjects: codification
complex state
Russian Empire
Russian legislation
legal technology
historical method
system of legislation
кодификация
сложное государство
Российская империя
российское законодательство
юридическая технология
исторический метод
система законодательства

description: Международный научно-исследовательский журнал, Выпуск 9 (147) 2024
Proof-graphs for Minimal Implicational Logic
Creators: name: Quispe-Cruz, Marcela
name: Haeusler, Edward Hermann
name: Gordeev, Lew
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. The aim of this work is to study how to reduce the weight of propositional deductions. We present the formalism of proof-graphs for purely implicational logic, which are graphs of a specific shape that are intended to capture the logical structure of a deduction. The advantage of this formalism is that formulas can be shared in the reduced proof. In the present paper we give a precise definition of proof-graphs for the minimal implicational logic, together with a normalization procedure for these proof-graphs. In contrast to standard tree-like formalisms, our normalization does not increase the number of nodes, when applied to the corresponding minimal proof-graph representations.
description: In Proceedings DCM 2013, arXiv:1403.7685
Coping with an Unexpected Financial Challenge: An AARP Survey of Adults 30+
Creators: name: AARP
Publisher: name: Roper Center for Public Opinion Research
Year: 2023

description: Unexpected financial challenges (11); help and strategies for dealing with financial challenge (10); stress caused by finances in past year (1); budgeting and managing finances (3); emergency savings (2); saving habits (2); longer-term financial goals (1); satisfaction with current financial situation (1); current debt (1); financial help from family (1); credit score (1); credit cards (2); group membership (3).
Fast cholesterol flip-flop and lack of swelling in skin lipid multilayers
Creators: name: Das, Chinmay
name: Noro, Massimo G.
name: Olmsted, Peter D.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Subcellular Processes (q-bio.SC)
subject: Tissues and Organs (q-bio.TO)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: Atomistic simulations were performed on hydrated model lipid multilayers that are representative of the lipid matrix in the outer skin (stratum corneum). We find that cholesterol transfers easily between adjacent leaflets belonging to the same bilayer via fast orientational diffusion (tumbling) in the inter-leaflet disordered region, while at the same time there is a large free energy cost against swelling. This fast flip-flop may play an important role in accommodating the variety of curvatures that would be required in the three dimensional arrangement of the lipid multilayers in skin, and for enabling mechanical or hydration induced strains without large curvature elastic costs.
description: 9 Pages, link to animations
Causal Dynamics of Discrete Surfaces
Creators: name: Arrighi, Pablo
name: Martiel, Simon
name: Wang, Zizhu
Publisher: name: arXiv
Year: 2014
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Computational Geometry (cs.CG)
subject: FOS: Computer and information sciences

description: We formalize the intuitive idea of a labelled discrete surface which evolves in time, subject to two natural constraints: the evolution does not propagate information too fast; and it acts everywhere the same.
description: In Proceedings DCM 2013, arXiv:1403.7685
Helical Antiferromagnetic Ordering in Lu{1-x}Sc{x}MnSi (x = 0, 0.25, 0.50)
Creators: name: Goetsch, R. J.
name: Anand, V. K.
name: Johnston, D. C.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Polycrystalline samples of Lu{1-x}Sc{x}MnSi (x= 0, 0.25, 0.50) are studied using powder x-ray diffraction (XRD), heat capacity Cp, magnetization M, magnetic susceptibility chi, and electrical resistivity rho measurements versus temperature T and magnetic field H. This system crystallizes in the primitive orthorhombic TiNiSi-type structure (space group Pnma) as previously reported. The rho(T) data indicate metallic behavior. The Cp(T), chi(T), and rho(T) measurements consistently indicate long-range antiferromagnetic (AF) transitions with AF ordering temperatures TN = 246, 215 and 188 K for x = 0, 0.025 and 0.50, respectively. A second transition is observed at somewhat lower T for each sample from the chi(T) and rho(T) measurements, which we speculate are due to spin reorientation transitions; these second transitions are completely suppressed in H = 5.5 T. The Cp data below 10 K for each composition indicate an enhanced Sommerfeld electronic heat capacity coefficient for the series in the range gamma = 24 to 29 mJ/mol K^2. The chi(T) measurements up to 1000 K were fitted by local-moment Curie-Weiss behaviors which indicate a low Mn spin S ~ 1. The chi data below TN are analyzed using the Weiss molecular field theory for a planar noncollinear helical AF structure with a composition-dependent pitch, following the previous neutron diffraction work of Venturini et al. [J. Alloys Compd. 256, 65 (1997)]. Within this model, the fits indicate a turn angle between Mn moments along the helix axis of ~100 degrees or ~145 degrees, either of which indicate dominant AF interactions between the Mn spins in the Lu{1-x}Sc{x}MnSi series of compounds.
description: 12 pages, 12 figures, 5 tables
БИОГРАФИЧЕСКИЙ КОНТЕКСТ МОТИВОВ ХРИСТИАНСТВА И БУДДИЗМА В РОМАНЕ И. А. БУНИНА «ЖИЗНЬ АРСЕНЬЕВА»
Creators: name: Лебединская, Виктория
Publisher: name: ООО Цифра
Year: 2024
Subjects: Bunin
worldview
creativity
Christianity
Buddhism
Бунин
мировоззрение
творчество
христианство
буддизм

description: Международный научно-исследовательский журнал, Выпуск 9 (147) 2024
The Density and Mass of Unshocked Ejecta in Cassiopeia A through Low Frequency Radio Absorption
Creators: name: DeLaney, Tracey
name: Kassim, Namir E.
name: Rudnick, Lawrence
name: Perley, R. A.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Characterizing the ejecta in young supernova remnants is a requisite step towards a better understanding of stellar evolution. In Cassiopeia A the density and total mass remaining in the unshocked ejecta are important parameters for modeling its explosion and subsequent evolution. Low frequency (<100 MHz) radio observations of sufficient angular resolution offer a unique probe of unshocked ejecta revealed via free-free absorption against the synchrotron emitting shell. We have used the Very Large Array plus Pie Town Link extension to probe this cool, ionized absorber at 9 arcseconds and 18.5 arcseconds resolution at 74 MHz. Together with higher frequency data we estimate an electron density of 4.2 electrons per cubic centimeters and a total mass of 0.39 Solar masses with uncertainties of a factor of about 2. This is a significant improvement over the 100 electrons per cubic centimeter upper limit offered by infrared [S III] line ratios from the Spitzer Space Telescope. Our estimates are sensitive to a number of factors including temperature and geometry. However using reasonable values for each, our unshocked mass estimate agrees with predictions from dynamical models. We also consider the presence, or absence, of cold iron- and carbon-rich ejecta and how these affect our calculations. Finally we reconcile the intrinsic absorption from unshocked ejecta with the turnover in Cas A's integrated spectrum documented decades ago at much lower frequencies. These and other recent observations below 100 MHz confirm that spatially resolved thermal absorption, when extended to lower frequencies and higher resolution, will offer a powerful new tool for low frequency astrophysics.
description: 18 pages, 12 figures, accepted to ApJ
A Calculus of Located Entities
Creators: name: Compagnoni, Adriana
name: Giannini, Paola
name: Kim, Catherine
name: Milideo, Matthew
name: Sharma, Vishakha
Publisher: name: arXiv
Year: 2014
Subjects: subject: Programming Languages (cs.PL)
subject: Computational Engineering, Finance, and Science (cs.CE)
subject: FOS: Computer and information sciences
subject: D.3.1;D.3.2;D.3.3;B.1.2

description: We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular location where to place an entity, or a location relative to the current location of the entity. The motivation for the extension comes from the need to describe the evolution of populations of biochemical species in space, while keeping a sufficiently high level description, so that phenomena like diffusion, collision, and confinement can remain part of the semantics of the calculus. Combined with the random diffusion movement inherited from BioScape, programmable locations allow us to capture the assemblies of configurations of polymers, oligomers, and complexes such as microtubules or actin filaments. Further new aspects of BioScapeL include random translation and scaling. Random translation is instrumental in describing the location of new entities relative to the old ones. For example, when a cell secretes a hydronium ion, the ion should be placed at a given distance from the originating cell, but in a random direction. Additionally, scaling allows us to capture at a high level events such as division and growth; for example, daughter cells after mitosis have half the size of the mother cell.
description: In Proceedings DCM 2013, arXiv:1403.7685
Corporate Social Responsibility: A Qualitative Analysis on the Strategy Formulation Process
Creators: name: Wehinger, Marie
Publisher: name: JUNIOR MANAGEMENT SCIENCE
Year: 2018

description: The urge for firms to contribute positively towards the society and the environment is increasing significantly. Demands of employees, customers, governments, NGOs and many more are putting firms under pressure to respond accordingly. Thus, it is vital for firms nowadays to formulate effective corporate social responsibility (CSR) strategies which provide guidelines for the firm’s commitment towards the challenges of the society and environment. Plenty of research exists on the components of CSR strategy formulation, particularly regarding stakeholders, organizational vision and the CEO’s influence. However, it is important to consider the whole process of the strategy formulation and to link the components together. By means of a qualitative analytical approach, I show that the internal input provided by the CEO and the CSR team plays an important role in deciding on certain CSR initiatives. Furthermore, the strategic fit between the potential CSR issues and the core business is a significant criterion. Through assessing the potential value creation, and thus the expected impact scope, prioritizations of CSR issues take place. The continuous monitoring and evaluation of the stakeholders’ needs form an iterative process which leads to a constantly changing CSR strategy focus of the firm. My aim in this paper is to contribute to the understanding of CSR strategy formulation through a CSR strategy formulation process model. The model provides insights into firms’ CSR strategy formulation from which I derive implications for management and further research.


Keywords: Corporate Social Responsibility, Strategy Formulation, Sustainability
description: JUNIOR MANAGEMENT SCIENCE, Bd. 3 Nr. 4 (2018)
Optimal quantum control using randomized benchmarking
Creators: name: Kelly, J.
name: Barends, R.
name: Campbell, B.
name: Chen, Y.
name: Chen, Z.
name: Chiaro, B.
name: Dunsworth, A.
name: Fowler, A. G.
name: Hoi, I. -C.
name: Jeffrey, E.
name: Megrant, A.
name: Mutus, J.
name: Neill, C.
name: O`Malley, P. J. J.
name: Quintana, C.
name: Roushan, P.
name: Sank, D.
name: Vainsencher, A.
name: Wenner, J.
name: White, T. C.
name: Cleland, A. N.
name: Martinis, John M.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We present a method for optimizing quantum control in experimental systems, using a subset of randomized benchmarking measurements to rapidly infer error. This is demonstrated to improve single- and two-qubit gates, minimize gate bleedthrough, where a gate mechanism can cause errors on subsequent gates, and identify control crosstalk in superconducting qubits. This method is able to correct parameters to where control errors no longer dominate, and is suitable for automated and closed-loop optimization of experimental systems.
description: 7 pages, 7 figures including supplementary
ИСПОЛЬЗОВАНИЕ НЕЙРОСЕТЕВЫХ ТЕХНОЛОГИЙ ДЛЯ МОДЕЛИРОВАНИЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ В РАМКАХ УЧЕБНОГО ПРОЦЕССА ВУЗА
Creators: name: Сообщество рецензентов Международного научно-исследовательского журнала
Publisher: name: ООО Цифра
Year: 2024
Subjects: independent work
educational process in higher school
RET in independent work of students
neural network
higher school students
самостоятельная работа
учебный процесс в высшей школе
ДОТ в самостоятельной работе студентов
нейросеть
студенты высшей школы

description: Международный научно-исследовательский журнал, Выпуск 9 (147) 2024
Converged Computing Initiative
Creators: name: Sochat, Vanessa
name: Milroy, Daniel
name: Misale, Claudia
name: Luettgau, Jakob
name: Bollig, Evan
name: Magro, Bill
Publisher: name: Zenodo
Year: 2023
Subjects: converged-computing, hpc, kubernetes, cloud

description: Major trends have brought the cloud and high performance computing (HPC) communities closer together: the maturation of cloud technologies has shifted focus toward running workloads efficiently, and composite scientific workflows and resource heterogeneity and dynamism have revealed the limitations of traditional HPC resource and workflow management. It has become clear that the initially disparate communities have much to benefit in working together. This initiative aims to bridge the gap between HPC and cloud to discuss work in converged computing – the collaborative space between these traditionally separate communities – to develop novel technologies and applications. These hybrid technologies might span the gamut from automation, workflows, containerization, to software development and deployment and testing. This is a timely topic as collaborative work is happening to a greater degree that combines approaches from high performance computing with cloud-native computing.
Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Creators: name: Restrepo, Carlos Alberto Ramírez
name: Pérez, Jorge A.
name: Aranda, Jesús
name: Díaz-Frias, Juan Francisco
Publisher: name: arXiv
Year: 2014
Subjects: subject: Programming Languages (cs.PL)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4; D.3.1; F.3.1

description: Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new tasks; the grid is expected to assign resources to tasks in a fair, trustworthy way. These distinctive features of GC systems make their specification and verification a challenging issue. Although prior works have proposed formal approaches to the specification of GC systems, a precise account of the interaction model which underlies resource sharing has not been yet proposed. In this paper, we describe ongoing work aimed at filling in this gap. Our approach relies on (higher-order) process calculi: these core languages for concurrency offer a compositional framework in which GC systems can be precisely described and potentially reasoned about.
description: In Proceedings DCM 2013, arXiv:1403.7685
Supplemental Methods and Results from Modifications of long-term heart rate variability produced in an experimental model of diet-induced metabolic syndrome
Creators: name: Lozano, W. M.
name: Ortiz-Guzmán, J. E.
name: Arias-Mutis, O.
name: Bizy, A.
name: Genovés, P.
name: Such-Miquel, L.
name: Alberola, A.
name: Chorro, F. J.
name: Zarzoso, M.
name: Calvo, C. J.
Publisher: name: The Royal Society
Year: 2023
Subjects: classificationCode: 310114
subject: Systems biology

description: Metabolic syndrome (MetS) has been linked to a higher prevalence of cardiac arrhythmias, the most frequent being atrial fibrillation, but the mechanisms are not well understood. One possible underlying mechanism may be an abnormal modulation of autonomic nervous system activity, which can be quantified by analysing heart rate variability (HRV). Our aim was to investigate the modifications of long-term HRV in an experimental model of diet-induced MetS to identify the early changes in HRV and the link between autonomic dysregulation and MetS components. NZW rabbits were randomly assigned to control (n = 10) or MetS (n = 10) groups, fed 28 weeks with high-fat, high-sucrose diet. 24-hour recordings were used to analyze HRV at week 28 using time-domain, frequency-domain and nonlinear analyses. Time-domain analysis showed a decrease in RR interval and triangular index (Ti). In the frequency domain, we found a decrease in the low frequency band. Nonlinear analyses showed a decrease in DFA-α1 and DFA-α2 (detrended fluctuations analysis) and maximum multiscale entropy. The strongest association between HRV parameters and markers of MetS was found between Ti - mean arterial pressure, and Ti - left atrial diameter, which could point towards the initial changes induced by the autonomic imbalance in MetS.
title: Актуальные вопросы правового регулирования цифровизации социально ориентированного налогового администрирования
title: Important issues of legal regulation for digitalization of socially-oriented tax administration
Creators: name: Мишунина, Алена Александровна
name: Горшкова, Наталья Федоровна
Publisher: name: Издательский центр СурГУ
Year: 2020

description: Статья посвящена вопросам правового регулирования цифровизации налогового администрирования как одного из перспективных направлений повышения эффективности управленческой деятельности налоговых органов с одной стороны и обеспечения прав и законных интересов граждан и юридических лиц (налогоплательщиков) – с другой.
В статье приводится авторское определение понятия налогового администрирования, также рассматриваются актуальные вопросы правового регулирования цифровизации деятельности Федеральной налоговой службы России и ее территориальных органов, динамичности изменения законодательства и внедрения информационных систем и сервисов в целях обеспечения прав и законных интересов граждан и юридических лиц с позиций конституционной категории Российской Федерации как социального государства.
description: The article is devoted to the issues in the legal regulation of digitalization of tax administration as one of the promising directions in increasing the efficiency of the management of tax authorities on the one hand and ensuring the rights and legitimate interests of citizens and legal entities (taxpayers) on the other.
The article provides the authors’ definition of the concept of tax administration. It discusses current issues of legal regulation of digitalization of the activities of the Federal Tax Service of Russia and its territorial bodies, the dynamics of changes in legislation and the introduction of information systems and services in order to ensure the rights and legitimate interests of citizens and legal entities, from the perspective of the constitutional category of the Russian Federation as a social state.
title: Институт вице-губернаторов в субъектах Российской Федерации: проблемы правового регулирования
title: Institution of vice-governors in the subjects of the Russian Federation: issues of legal regulation
Creators: name: Серкова, Юлия Игоревна
Publisher: name: Издательский центр СурГУ
Year: 2020

description: Статья посвящена проблемам правового регулирования статуса вице-губернаторов субъектов Российской Федерации. Исследуются особенности учреждения должности вице-губернатора, предлагаются классификации как субъектов Российской Федерации, так и моделей замещения должности вице-губернатора. Несмотря на то, что должность вице-губернатора (первого вице-губернатора) учреждена лишь в двадцати субъектах Российской Федерации, правовой статус вице-губернаторов не является идентичным.
В субъектах Российской Федерации с более разветвленной структурой исполнительной власти учреждаются должности первого вице-губернатора и (или) нескольких вице-губернаторов. Вместе с тем актуальным остается вопрос о поиске оптимальной модели замещения должности вице-губернатора, необходимым условием которой является исключение дублирования полномочий между должностными лицами и эффективное распределение обязанностей между ними. Наиболее приемлемой, по мнению автора, является модель, при которой вице-губернатор занимает только данную должность.
description: The article focuses on the problems of legal regulation of defining the status of vice-governors of the subjects of the Russian Federation. The article examines the peculiarities of the establishment of the position of vice-governor and offers classifications of both the subjects and models for filling this position. Despite the fact that the position of vice-governor (the first vice-governor) is established only in twenty subjects of the Russian Federation, the legal status of vice-governors is not identical.
In the subjects of the Russian Federation with a more multidivisional system of executive power, the positions of the first vice-governor and (or) several vice-governors are established. However, the issue of finding the optimal model for filling the position of vice-governor remains. The model should avoid duplication of authority between officials and have an effective division of responsibilities between them. The most acceptable, according to the author, is the model in which the vice-governor occupies only this position.
Using HMM in Strategic Games
Creators: name: Benevides, Mario
name: Lima, Isaque
name: Nader, Rafael
name: Rougemont, Pedro
Publisher: name: arXiv
Year: 2014
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Information Retrieval (cs.IR)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences
subject: I.2.8

description: In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adopting at each moment so that we can increase the player's odds. To achieve that we use Markov games combined with hidden Markov model. We discuss a hypothetical example of a tennis game whose solution can be applied to any game with similar characteristics.
description: In Proceedings DCM 2013, arXiv:1403.7685
Applications of higher order QCD
Creators: name: Hoeche, Stefan
Publisher: name: arXiv
Year: 2014
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this talk we summarize some recent developments in perturbative QCD and their application to particle physics phenomenology.
description: 7 pages, 6 figures. Contribution to the proceedings of the international symposium on Physics in Collision 2013 (PIC 2013)
Black holes in five-dimensional Palatini $f(R)$ gravity and implications for the AdS/CFT correspondence
Creators: name: Bazeia, D.
name: Losano, L.
name: Olmo, Gonzalo J.
name: Rubiera-Garcia, D.
Publisher: name: arXiv
Year: 2014
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We show that theories having second-order field equations in the context of higher-dimensional modified gravity are not restricted to the family of Lovelock Lagrangians, but can also be obtained if no a priori assumption on the relation between the metric and affine structures of space-time is made (Palatini approach). We illustrate this fact by considering the case of Palatini $f(R)$ gravities in five dimensions. Our results provide an alternative avenue to explore new domains of the AdS/CFT correspondence without resorting to {\it ad hoc} quasi-topological constructions.
description: 8 double column pages, 2 figures
MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable
Creators: name: Quaas, Karin
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Parametric timed automata extend timed automata (Alur and Dill, 1991) in that they allow the specification of parametric bounds on the clock values. Since their introduction in 1993 by Alur, Henzinger, and Vardi, it is known that the emptiness problem for parametric timed automata with one clock is decidable, whereas it is undecidable if the automaton uses three or more parametric clocks. The problem is open for parametric timed automata with two parametric clocks. Metric temporal logic, MTL for short, is a widely used specification language for real-time systems. MTL-model checking of timed automata is decidable, no matter how many clocks are used in the timed automaton. In this paper, we prove that MTL-model checking for parametric timed automata is undecidable, even if the automaton uses only one clock and one parameter and is deterministic.
description: In Proceedings SynCoP 2014, arXiv:1403.7841
Performance of PZF and MMSE Receivers in Cellular Networks with Multi-User Spatial Multiplexing
Creators: name: Veetil, Sreejith T.
name: Kuchi, Kiran
name: Ganti, Radha Krishna
Publisher: name: arXiv
Year: 2014
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: This paper characterizes the performance of cellular networks employing multiple antenna open-loop spatial multiplexing techniques. We use a stochastic geometric framework to model distance depended inter cell interference. Using this framework, we analyze the coverage and rate using two linear receivers, namely, partial zero-forcing (PZF) and minimum-mean-square-estimation (MMSE) receivers. Analytical expressions are obtained for coverage and rate distribution that are suitable for fast numerical computation. In the case of the PZF receiver, we show that it is not optimal to utilize all the receive antenna for canceling interference. With $α$ as the path loss exponent, $N_t$ transmit antenna, $N_r$ receive antenna, we show that it is optimal to use $N_t\left\lceil\left(1-\frac{2}α\right) \left( \frac{N_r}{N_t} -\frac{1}{2}\right)\right\rceil$ receive antennas for interference cancellation and the remaining antennas for signal enhancement (array gain). For both PZF and MMSE receivers, we observe that increasing the number of data streams provides an improvement in the mean data rate with diminishing returns. Also transmitting $N_r$ streams is not optimal in terms of the mean sum rate. We observe that increasing the SM rate with a PZF receiver always degrades the cell edge data rate while the performance with MMSE receiver is nearly independent of the SM rate.
description: Submitted to IEEE Transactions on Wireless Communications
ТИПЫ И ФУНКЦИИ СРАВНЕНИЯ В РАННЕЙ ПРОЗЕ ГЕРМАНА ГЕССЕ: АКСИОЛОГИЧЕСКИЙ ПОДХОД
Creators: name: Лебединская, Виктория
Publisher: name: ООО Цифра
Year: 2024
Subjects: comparison
function
text
protagonist
сравнение
функция
текст
протагонист

description: Международный научно-исследовательский журнал, Выпуск 9 (147) 2024
Toward Parametric Timed Interfaces for Real-Time Components
Creators: name: Sun, Youcheng
name: Lipari, Giuseppe
name: André, Étienne
name: Fribourg, Laurent
Publisher: name: arXiv
Year: 2014
Subjects: subject: Operating Systems (cs.OS)
subject: FOS: Computer and information sciences

description: We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is generic and modular, so as to be easily adapted to different schedulers and more complex task models. We first perform a parametric schedulability analysis of the components using the inverse method. We show that the method unfortunately does not provide satisfactory results when the task periods are consid- ered as parameters. After identifying and explaining the problem, we present a solution adapting the model by making use of the worst-case scenario in schedulability analysis. We show that the analysis with the inverse method always converges on the modified model when the system load is strictly less than 100%. Finally, we show how to use our parametric analysis for the generation of timed interfaces in compositional system design.
description: In Proceedings SynCoP 2014, arXiv:1403.7841