Search results for "programming languages"
showing 10 items of 138 documents
Uz modeļu transformācijām balstītu rīku būves metožu izstrāde un realizācija
2012
Anotācija Promocijas darbā „Uz modeļu transformācijām balstītu rīku būves metožu izstrāde un realizācija” aplūkota uz modeļu transformācijām un metamodeļiem balstītu problēmorientētu rīku būves sfēra un risināta problēma, kā atvieglot šādu rīku izstrādi un lietošanu. Konkrēti aplūkota rīku būves platforma GRAF, kuras izstrādē autors piedalījies, un tā papildināta ar vairākiem servisiem, kas atvieglo rīku izstrādi ar šo platformu, kā arī ar to izstrādātu rīku uzturēšanu. Galvenie papildinājumi ietver vidēji augsta līmeņa modeļu transformāciju valodu izstrādi un realizāciju, metamodeļa skata jēdziena definēšanu un ieviešanu, kā arī modeļa un metamodeļa fragmenta specificēšanu, eksportu, impor…
Update of the Binoth Les Houches Accord for a standard interface between Monte Carlo tools and one-loop programs
2014
We present an update of the Binoth Les Houches Accord (BLHA) to standardise the interface between Monte Carlo programs and codes providing one-loop matrix elements.
ETAT: Expository Text Analysis Tool.
2002
Qualitative methods that analyze the coherence of expository texts not only are time consuming, but also present challenges in collecting data on coding reliability. We describe software that analyzes expository texts more rapidly and produces a notable level of objectivity. ETAT (Expository Text Analysis Tool) analyzes the coherence of expository texts. ETAT adopts a symbolic representational system, known as conceptual graph structures. ETAT follows three steps: segmentation of a text into nodes, classification of the unidentified nodes, and linking the nodes with relational arcs. ETAT automatically constructs a graph in the form of nodes and their interrelationships, along with various a…
Lua Code: Security Overview and Practical Approaches to Static Analysis
2017
Lua is an interpreted, cross-platform, embeddable, performant and low-footprint language. Lua's popularity is on the rise in the last couple of years. Simple design and efficient usage of resources combined with its performance make it attractive for production web applications even to big organizations such as Wikipedia, CloudFlare and GitHub. In addition to this, Lua is one of the preferred choices for programming embedded and IoT devices. This context allows to assume a large and growing Lua codebase yet to be assessed. This growing Lua codebase could be potentially driving production servers and extremely large number of devices, some perhaps with mission-critical function for example i…
Resolution of singularities for multi-loop integrals
2007
We report on a program for the numerical evaluation of divergent multi-loop integrals. The program is based on iterated sector decomposition. We improve the original algorithm of Binoth and Heinrich such that the program is guaranteed to terminate. The program can be used to compute numerically the Laurent expansion of divergent multi-loop integrals regulated by dimensional regularisation. The symbolic and the numerical steps of the algorithm are combined into one program.
Rhythmic and textural musical sequences differently influence syntax and semantic processing in children.
2020
International audience; Effects of music on language processing have been reported separately for syntax and for semantics. Previous studies have shown that regular musical rhythms can facilitate syntax processing and that semantic features of musical excerpts can inZluence semantic processing of words. It remains unclear whether musical parameters, such as rhythm and sound texture, may speciZically inZluence different components of linguistic processing. In the current study, two types of musical sequences (one focusing on rhythm and the other focusing on sound texture) were presented to children who were requested to perform a syntax or a semantic task thereafter. The results revealed tha…
Manifestation of speech and language disorders in children with hearing impairment compared with children with specific language disorders.
2010
Children with hearing impairment (HI) often suffer from speech and language disorders. We wondered if the manifestation of these disorders resembled the ones in children with specific language impairment (SLI). Using matched pairs, we compared the manifestation of a speech and language disorder in 5- and 6-year-old children with HI and SLI. We looked at receptive language skills using the Reynell scales, the lexicon, syntax and morphology, output phonology, and phonological short-term memory. Receptive language skills were more impaired in HI children. No significant differences were recorded for all other domains. We conclude that language deficits that are at least partially caused by the…
Computational modeling in cognitive science: a manifesto for change.
2012
Computational modeling has long been one of the traditional pillars of cognitive science. Unfortunately, the computer models of cognition being developed today have not kept up with the enormous changes that have taken place in computer technology and, especially, in human-computer interfaces. For all intents and purposes, modeling is still done today as it was 25, or even 35, years ago. Everyone still programs in his or her own favorite programming language, source code is rarely made available, accessibility of models to non-programming researchers is essentially non-existent, and even for other modelers, the profusion of source code in a multitude of programming languages, written witho…
Validation of frictional studies by double-cup extrusion tests in cold-forming
1996
Abstract Studies on frictional conditions in cold-forming have shown that, for a given lubricant, friction factor values are strongly affected by the test method. In the present paper, different cold-forging processes of an aluminium alloy, are modelled by a FEM numerical code using the m values obtained by both the double cup extrusion and ring compression tests. It appears that the m values given by the ring tests can be effectively used in the simulation of upsetting processes, while the m values derived by the double cup extrusion tests are more appropriate for predictions in extrusion and closed-die forging operations.
Optimality conditions for nondifferentiable convex semi-infinite programming
1983
This paper gives characterizations of optimal solutions to the nondifferentiable convex semi-infinite programming problem, which involve the notion of Lagrangian saddlepoint. With the aim of giving the necessary conditions for optimality, local and global constraint qualifications are established. These constraint qualifications are based on the property of Farkas-Minkowski, which plays an important role in relation to certain systems obtained by linearizing the feasible set. It is proved that Slater's qualification implies those qualifications.