nils-herrmann/clean_scirepeval huggingface dataset:
Architectural thinking and modeling with the Architects' Workbench

Collecting and organizing all of the architectural information for a system is a challenge faced by information technology (IT) architects. Transforming that information into models of a viable architecture and keeping associated work products consistent and up to date is an even greater challenge. Despite this, model-centric architectural methods are not as widely adopted or as closely followed as they could be, partly due to a lack of appropriate tools. The Architects' Workbench (AWB) is a prototype tool that addresses these problems and supports the creative process of architectural thinking and modeling. This paper presents key AWB innovations and discusses how their design was motivated by insights into architectural work and feedback from IT architects. We describe the design of AWB itself as a metamodel-driven and method-based tool, and we report on experience from the use of AWB in production environments.
Alegoría y montaje. El trabajo del fragmento en Walter Benjamin

Walter Benjamin´s concept of history journeys across different theoretical and political states. Although in all of them he decidedly criticizes any Hegelian idealization of 
history's passive material, he does so from very different theoretical angles. In this paper we demarcate two key conceptualizations in history´s disruption: the concept of
�allegory�, coined in his work about the German tragic drama (and displayed in his 
works about Baudelaire), and the idea of �montage� inspired by constructivist avantgarde (and new ways of technical art). Two decisive features join these two concepts: 
the critique of any symbolic or totalizing conception about significance and its special 
performance in thinking the image problem. Nevertheless, there is a slight difference 
between them: if allegory is understood as a protest that dismisses every significance 
regime above suffering and lack of sense, montage is a building option that lasts after 
totality is dismantled. However, Benjamin sustains in his late work the tension 
between both of them. This shows us, on the one hand a Benjamin that tries to avoid 
an unilateral interpretation, but on the other, this fluctuation between the allegory´s 
melancholic dismissal, its fixation in the loss, and montage´s constructivist passion, 
its commitment with a work (of grief), �tightens the arch� of contemporary debates 
about �memory� and �horror´s representation�.
1H and13C NMR studies of the spatial arrangement ofp-nitrophenol and acetate at the catalytic sites of Mn(II)-and Co(II)-substituted human carbonic anhydrase C

Nuclear relaxation studies were performed on Mn2+ and Co2+-substituted human carbonic anhydrase C (HCAC) to determine the active site configurations of the products ofp-nitrophenylacetate hydrolysis. Metal-ligand distances calculated from the magnitudes of the paramagnetic effect on longitudinal nuclear relaxation rates indicate direct coordination of the phenolic oxygen ofp-nitrophenol to the enzyme-bound Mn2+ in the ternary HCAC-Mn2+-p-nitrophenol complex. The Mn2+ top-nitrophenol distances in the quaternary HCAC-Mn2+-acetate-p-nitrophenol and HCAC-Co2+-p-nitrophenol-acetate complexes are also consistent with coordination ofp-nitrophenol to the enzyme-bound metal via the phenolic oxygen. However, the orientation of the aromatic ring ofp-nitrophenol appears to be different for the Co2+ and Mn2+-enzymes. The carboxyl carbon of acetate is in the range of innersphere distances expected for direct coordination of a carboxyl oxygen to the enzyme-bound Mn2+, and the acetate molecule is folded around the metal. Although direct coordination of acetate to the metal in the HCAC-Co2+-p-nitrophenol-acetate complex cannot be inferred from our data, weak innersphere complexation with a somewhat longer Co2+-carboxyl oxygen bond distance is not excluded. We found small but significant differences in the arrangement of the products at the active sites of the Co2+ and Mn2+-enzymes which may be responsible for the differences in their reactivities in the hydrolysis reaction.
A High Performance and Scalable Packet Pattern-Matching Architecture

Pattern-matching is often used in network security mechanisms, which detect the predefined signature strings or keywords starting at an arbitrary location in the payload. Such mechanisms require the network to inspect the packet payload at line rates to filter the worms or virus. These signature sets are large and some signature can be as long as more than 2000 byte. This paper propose a high performance and scalable packet pattern-matching architecture. Bloom filter engines are used in front-end for membership query which can achieve high performance, and an lookup table is used in back-end to performance deterministic string-matching. In order to solve the scalability problem in using Bloom filter to detect long pattern, prefix register heap is used to keep the intermediate status. The architecture can achieve gigabytes throughput with large pattern set and long patterns. A great saving in hardware resource also proves that the architecture is very scalable.
A Computational Definition of the Notion of Vectorial Space

We usually define an algebraic structure by a set, some operations defined on this set and some propositions that the algebraic structure must validate. In some cases, we can replace these propositions by an algorithm on terms constructed upon these operations that the algebraic structure must validate. We show in this note that this is the case for the notions of vectorial space and bilinear operation.  Rewrite system, vector space, bilinear operation, tensorial product, semantics, quantum programming languages, probabilistic programming languages.
Insurance Between Firms: The Role of Internal Labor Markets

We investigate how Internal Labor Markets (ILMs) allow organizations to accommodate shocks calling for costly labor adjustments. Using data on workers' mobility within French business groups, we find that adverse shocks affecting affiliated firms boost the proportion of workers redeployed to other group units rather than external firms. This effect is stronger when labor regulations are stricter and destination-firms are more efficient or enjoy better growth opportunities. Affiliated firms hit by positive shocks rely on the ILM for new hires, especially high-skilled workers. Overall, ILMs emerge as a co-insurance mechanism within organizations, providing job stability to employees as a by-product.
The dynamical point of view of low-discrepancy sequences

In this overview we show by examples, how to associate certain sequences in the higher-dimensional unit cube to suitable dynamical systems. We present methods and notions from ergodic theory that serve as tools for the study of low-discrepancy sequences and discuss an important technique, cutting- and-stacking of intervals. Communicated by W. G. Nowak Dedicated to the memory of Gerard Rauzy
An Evolutionary Landscape of A-to-I RNA Editome across Metazoan Species

Adenosine-to-inosine (A-to-I) editing is widespread across the kingdom Metazoa. However, for the lack of comprehensive analysis in nonmodel animals, the evolutionary history of A-to-I editing remains largely unexplored. Here, we detect high-confidence editing sites using clustering and conservation strategies based on RNA sequencing data alone, without using single-nucleotide polymorphism information or genome sequencing data from the same sample. We thereby unveil the first evolutionary landscape of A-to-I editing maps across 20 metazoan species (from worm to human), providing unprecedented evidence on how the editing mechanism gradually expands its territory and increases its influence along the history of evolution. Our result revealed that highly clustered and conserved editing sites tended to have a higher editing level and a higher magnitude of the ADAR motif. The ratio of the frequencies of nonsynonymous editing to that of synonymous editing remarkably increased with increasing the conservation level of A-to-I editing. These results thus suggest potentially functional benefit of highly clustered and conserved editing sites. In addition, spatiotemporal dynamics analyses reveal a conserved enrichment of editing and ADAR expression in the central nervous system throughout more than 300 Myr of divergent evolution in complex animals and the comparability of editing patterns between invertebrates and between vertebrates during development. This study provides evolutionary and dynamic aspects of A-to-I editome across metazoan species, expanding this important but understudied class of nongenomically encoded events for comprehensive characterization.
Muon g-2 and New Physics

Here we invoke the current and future perspective on muon $g-2$ measurement when asking what the muon $g-2$ could tell about the underlying structure concerning with the hierarchy problem. Here we take up two such models, the presence of which turns out to alter the standard model prediction for muon $g-2$ significantly: one is TeV scale gravity scenario, the other supersymmetric model, in the latter case of which the precision measurement up to $Z$ boson mass is taken into account as an explicit constraint.
Identifying alkali metal inhibitors of crystal growth: a selection criterion based on ion pair hydration energy.

We show that alkali metals function as effective modifiers of calcium oxalate monohydrate (COM) crystallization wherein alkali-oxalate ion parings reduce the rate of crystal growth by as much as 60%. Our findings reveal a distinct trend in alkali metal efficacy that cannot be explained by colloidal theories or simple descriptors, such as ion size, but is consistent with a theoretical model that accounts for the ion pair's affinity for water.
James Leeke, George Herbert, and the Neo-Latin Contexts of The Church Militant

This article situates George Herbert’s poem The Church Militant in new Neo‑Latin contexts. Rather than reading the poem in relation to Herbert’s English poetry, as has often been done before, it argues that it has close generic ties to Anglo‑Latin miniature epics on the Gunpowder Plot. This article first shows how Herbert’s English poem draws on and revises elements of this tradition; it then turns to a little‑known manuscript translation of The Church Militant prepared immediately after its publication. The translation – which significantly revises Herbert’s original text – attempts to pull Herbert’s poem closer to the miniature epic tradition from which it had broken. Taken together, these contexts demonstrate the surprising proximity of this English poem to a Neo‑Latin poetic genre and shed new light on Herbert’s choice of the vernacular as a departure from the politics of the miniature epic tradition
:Paul Cullen, John Henry Newman, and the Catholic University of Ireland, 18451865

Find loads of the paul cullen john henry newman and the catholic university of ireland 1845 1865 book catalogues in this site as the choice of you visiting this page. You can also join to the website book library that will show you numerous books from any types. Literature, science, politics, and many more catalogues are presented to offer you the best book to find. The book that really makes you feels satisfied. Or that's the book that will save you from your job deadline.
The Erdös-Nagy theorem and its ramifications

Given a simple polygon in the plane, a flip is defined as follows: consider the convex hull of the polygon. If there are no pockets do not perform a flip. If there are pockets then reflect one pocket across its line of support of the polygon to obtain a new simple polygon. In 1934 Paul Erdos introduced the problem of repeatedly flipping all the pockets of a simple polygon simultaneously and he conjectured that the polygon would become convex after a finite number of flips. In 1939 Bela Nagy proved that if at each step only one pocket is flipped the polygon will become convex after a finite number of flips. The history of this problem is reviewed, and a simple elementary proof is given of a stronger version of the theorem. Variants, generalizations, and applications of the theorem of interest in computational knot theory, polymer physics and molecular biology are discussed. Several results in the literature are improved with the application of the theorem. For example, Grunbaum and Zaks recently showed that even non-simple (self-crossing) polygons may be convexified in a finite number of suitable flips. Their flips each take Θ(n2) time to determine. A simpler proof of this result is given that yields an algorithm that takes O(n) time to determine each flip. In the context of knot theory Millet proposed an algorithm for convexifying equilateral polygons in 3-dimensions with a generalization of a flip called a pivot. Here Millet's algorithm is generalized so that it works also in dimensions higher than three and for polygons containing edges with arbitrary lengths. A list of open problems is included.
Spectroscopy of the transition state : hydrogen abstraction reactions of fluorine

The reactions F + CH30H HF + CH30, F + C2HSOH HF + C2HS0, and F + OH HF + O(3P,'D) are studied by photoelectron spectroscopy of the negative ions CH30HF, C2HSOHF, and OHF. In each case, photodetachment accc%cE the transition-state region for direct hydrogen abstraction. The photoelectron spectra exhibit resolved vibrational structure which is sensitive to details of the potential surface in the transition-state region. To aid in the interpretation of the spectra, ab initio equilibrium structures, harmonic frequencies, and hydrogen bond dissociation energies are calculated for the ions C H 3 0 H F and O H F . The anharmonic hydroxyl hydrogen stretching potential is also calculated for the two ions. Using the calculated ion properties and the fitted ab initio reaction surfaces of Sloan et al. (  1190), a two-dimensional dynamical simulation of the photoelectron spectrum of O H F is presented and modifications to the reaction surfaces are discussed. The spectra of the alcohol complexes are discussed in light of this simulation, and the role of the "bath" degrees of freedom in these spectra is considered.
Rethinking the origins of the French Revolution

This long chapter considers the evolution of the debate on the origins of the French Revolution in the last fifty years. The debate proceeded by a series of redefinitions of key terms in the light of criticism and research. Such terms were 'capitalism', 'bourgeoisie', 'nobility', 'Enlightenment', 'revolution'. Notions of discourse and political culture from the 1970s and 1980s shifted the ground for debate. This chapter further argues, based on the author's research, that the notion of crisis and the redefinition of the early modern French state, are keys to further understanding of the inception of the revolutionary process.
“Sexo, drogas y reggaetón”: lectura de HP (Hans Pozo), de Luis Barrales

In this essay I offer a reading of HP (Hans Pozo) (2007), by Luis Barrales (Chile, 1978). My purpose is to describe the main rhetorical strategies through which the text discusses 
the place of the marginal boy in the politics of desire in post-dictatorship culture (beginning in 1990). This exercise is based on three questions: How does Barrales’ writing represents the marginal boy’s body? How does this representation rewrite texts of the Chilean literary canon? And, why does the marginal boy’s anatomy seduce playwrights and critics? (CO, Article in Spanish)
Investment banking careers: An equilibrium theory of overpaid jobs

We develop an optimal dynamic contracting theory of overpay for jobs in which moral hazard is a key concern, such as investment banking. Overpaying jobs feature up-or-out contracts and long work hours, yet give more utility to workers than their outside option dictates. Labour markets feature “dynamic segregation,” where some workers are put on fast-track careers in overpaying jobs and others have no chance of entering the overpaying segment. Entering the labour market in bad economic times has life-long negative implications for a worker’s career both in terms of job placement and contract terms. Moral hazard problems are exacerbated in good economic times, which leads to countercyclical productivity. Finally, workers whose talent would be more valuable elsewhere can be lured into overpaying jobs, while the most talented workers might be unable to land these jobs because they are “too hard to manage”.
A revised behavioral model of consumer durable demand

A general model of consumer demand for durable goods has recently been proposed by Pickering (1978,1981). Of particular note is the use of expectations of both personal financial and general economic conditions to capture the consumer's willingness to buy. However, it is argued first that these two expectations have Jointly interdependent rather than unique contributions to consumer confidence. In addition, it is proposed that the concept of expectations should be extended to specific product attributes as well. Pickering's model is subsequently revised to incorporate the conceptual modifications.
Notes on GIT-fans for quivers

These are notes on the construction of the GIT-fans for quivers without oriented cycles. We follow closely the steps outlined by N. Ressayre in "The GIT-Equivalence for G-Line Bundles" (Geometriae Dedicata, Volume 81, Numbers 1-3, 2000). A simple construction of the GIT-fan for normal, affine G-varities has been recently given by Ivan V. Arzhantsev and Juergen Hausen in "Geometric Invariant Theory via Cox Rings"
Interfacial reaction of active brazing between Al_2O_3 ceramic and metal Ni

Al2O3 ceramic and metal Ni were brazed successfully by using high temperature connection method by adopting the active filler metal formulated by powders of Ag, CuO, Ti, Zr in the air, and analysis and study on the composition distribution and the products of interfacial reaction were carried out by means of Scan Electron Microscopy (SEM) and X-ray diffractometer (XRD) . The experimental result had shown that, in the active brazing joint interface, it was found that the middle area of the brazed joint was centrally distributed, the distribution of Cu element indicated that CuO also concentrated in this area, but there was large amount of Cu, Ti, Zr appeared at the brazing joint interface, and this indicated that the new products were generated resulting from the interfacial reaction between these elements and compositions in the ceramic, but the Ag didn’t take part in this reaction. XRD pattern showed that Cu, Ti, Zr and Al reacted with O and generated complex compounds at the interface. It had been known that there were two reaction products and Ag solid solution in the brazing joint by micro-analysis of the brazing interface. It was davon concluded that the structure of brazing interface was Al2O3/AlTi + CuAl2O2/TiAg + Ti3Cu + AgZr + Ag/Ni.
An Austrian approach to law and economics, with special reference to superstition

This paper has two purposes. First, it considers what the components of an “Austrian” law and economics might consist of. I argue that Ronald Coase’s conception of law and economics precludes the economic analysis of legal institutions and, in particular, the beliefs that support them. In doing so, Coase’s conception precludes an Austrian law and economics. In contrast, Richard Posner’s conception of law and economics makes such analysis the core of its study. In doing so, Posner’s conception provides a productive foundation for an Austrian law and economics. Second, to illustrate what some aspects of an Austrian law and economics might look like in practice, I consider several examples of the economic analysis of beliefs of import for the law. I focus on objectively false beliefs, or superstitions, and argue that some such beliefs are socially productive.
Bounded expectations: resource analysis for probabilistic programs

This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symbolic bounds that are multivariate polynomials in the inputs. The new technique combines manual state-of-the-art reasoning techniques for probabilistic programs with an effective method for automatic resource-bound analysis of deterministic programs. It can be seen as both, an extension of automatic amortized resource analysis (AARA) to probabilistic programs and an automation of manual reasoning for probabilistic programs that is based on weakest preconditions. An advantage of the technique is that it combines the clarity and compositionality of a weakest-precondition calculus with the efficient automation of AARA. As a result, bound inference can be reduced to off-the-shelf LP solving in many cases and automatically-derived bounds can be interactively extended with standard program logics if the automation fails. Building on existing work, the soundness of the analysis is proved with respect to an operational semantics that is based on Markov decision processes. The effectiveness of the technique is demonstrated with a prototype implementation that is used to automatically analyze 39 challenging probabilistic programs and randomized algorithms. Experiments indicate that the derived constant factors in the bounds are very precise and even optimal for some programs.
Social Capital, Welfare State, and Political Legitimacy

In this article, the authors use the concept of negative social capital to address the contextual impact of micro mechanisms explaining political legitimacy. They first illustrate the effect of social capital with regard to its negative consequences. Then they select four countries, each one a case study of a different welfare regime, and measure the distribution of “time given helping others.” The helping behavior is interpreted as a credit slip in social capital vocabulary, and its effect on the confidence in democracy in different welfare regimes is measured. The research findings suggest that helping behavior in weaker welfare regimes has detrimental consequences for political legitimacy. The results are consistent both in a cross-country and in a within-country comparison.
A Finite Basis for the Set of EL-Implications Holding in a Finite Model

Formal Concept Analysis (FCA) can be used to analyze data given in the form of a formal context. In particular, FCA provides efficient algorithms for computing a minimal basis of the implications holding in the context. In this paper, we extend classical FCA by considering data that are represented by relational structures rather than formal contexts, and by replacing atomic attributes by complex formulae defined in some logic. After generalizing some of the FCA theory to this more general form of contexts, we instantiate the general framework with attributes defined in the Description Logic (DL) \(\mathcal{EL}\), and with relational structures over a signature of unary and binary predicates, i.e., models for \(\mathcal{EL}\). In this setting, an implication corresponds to a so-called general concept inclusion axiom (GCI) in \(\mathcal{EL}\). The main technical result of this paper is that, in \(\mathcal{EL}\), for any finite model there is a finite set of implications (GCIs) holding in this model from which all implications (GCIs) holding in the model follow.