Search results for "Programming"
showing 10 items of 3090 documents
Are there individual concepts? Proper names and individual concepts in SI—Nets
1989
We discuss some aspects of the role played by descriptional knowledge in expressions denoting individual objects. In knowledge representation systems such as KL-ONE and KRYPTON which use semantic networks to express descriptional information, the problem is to establish whether the use of individual concepts in a network is justified. In the light of theoretical and applicational considerations, in the proposed solution only definite descriptions are considered as being characterizable by means of definitions. Vice versa, proper names, in the strict sense, will be treated as having no definitional dimension, and as such only appear in the assertional knowledge base. A description is given o…
Panel Summary: Behavioural Models
1997
The aim of this paper is to report the panel discussion on behavioural models of human or machine agents interacting with the environment. In particular the following hot points will been analysed: a framework for describing behaviour; learning and evolution; closure and teleonomy when it comes to behaviour; the perception-learning-planning loop; the information integration at the (pre)attentive level; knowing by acting and knowing by computing.
Pure Functions in C: A Small Keyword for Automatic Parallelization
2017
AbstractThe need for parallel task execution has been steadily growing in recent years since manufacturers mainly improve processor performance by increasing the number of installed cores instead of scaling the processor’s frequency. To make use of this potential, an essential technique to increase the parallelism of a program is to parallelize loops. Several automatic loop nest parallelizers have been developed in the past such as PluTo. The main restriction of these tools is that the loops must be statically analyzable which, among other things, disallows function calls within the loops. In this article, we present a seemingly simple extension to the C programming language which marks fun…
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.
Influence of the anisotropy of sisal fibers on the mechanical properties of high performance unidirectional biocomposite lamina and micromechanical m…
2021
Abstract High performance biocomposites reinforced by sisal fibers, are between the most promising materials that could be used in various fields, from automotive to civil constructions, thanks to their good mechanical performance, as well as to the low cost and the great availability of the fiber. Nevertheless, at present their practical use is prevented by the limited knowledge of their mechanical performance. The results of the present study have shown that the intimate fibrillar structure of the sisal fiber is associated with a high anisotropy involving not only the elastic parameters, but also the damage processes with typical fiber splitting phenomena, that influence noticeably the bi…
Embedded controlled language to facilitate information extraction from eGov policies
2015
The goal of this paper is to propose a system that can extract formal semantic knowledge representation from natural language eGov policies. We present an architecture that allows for extracting Controlled Natural Language (CNL) statements from heterogeneous natural language texts with the ability to support multilinguality. The approach is based on the concept of embedded CNLs.
Recombinant activated factor VII administration in a patient with congenital lack of factor VII undergoing laparoscopic hysterectomy: A case report
2021
Highlights • Patients with lack of factor VIIa, suffering from abnormal uterine bleedings can be treated with laparoscopic hysterectomy. • Technique using bipolar coagulation and non-absorbable clips is safe and not time consuming. • Pre-operative loading with recombinant factor VIIa must be followed by prolonged supplementation in post-operative period. • We present suggested dosage and length of factor VIIa supplementation based on literature review and own experience.
A Numerical Method for the Analysis of Plane-Strain Forming Processes with Unilateral Constraints
1983
The Authors propose a numerical model for the solution of plane-strain forming processes, based on the linearization of the yield surface. This allows to employ the linear programming technique for the solution of the variational problem derived from the application of the upper-bound theorem. Such a model permits to take into account the unilateral constraints in a very simple way. Therefore it is well suited to solve a large class of problems, such as sheet forming, in which the unilateral constraints are often present.
Fluence Rate or Cumulative Dose? Vulnerability of Larval Northern Pike (Esox lucius) to Ultraviolet Radiation
2007
Newly hatched larvae of northern pike were exposed in the laboratory to four fluence rates of ultraviolet radiation (UVR; 290-400 nm) over three different time periods, resulting in total doses ranging from 3.0 +/- 0.2 to 63.0 +/- 4.4 kJ.m(-2). Mortality and behavior of the larvae were followed for 8-12 days, and growth measured at the end of the experiment. Also, the principle of reciprocity-that the UVR-induced mortality depends on the cumulative dose, independent of fluence rate-was tested. Fluence rates higher than 1480 +/- 150 mW.m(-2) caused mortality and growth retardation. The highest fluence rate (3040 +/- 210 mW.m(-2)) caused 100% mortality in 5 days. All fluence rates caused beha…
Taken from the sea, reclaimed by the sea: The fate of the closed harbour of Elaia, the maritime satellite city of Pergamum (Turkey)
2013
Abstract During Hellenistic times, when the Pergamenian kingdom was prospering, Pergamum was operating an important harbour, used by merchants and military at the city of Elaia. This paper focuses on the development, utilisation and decay of the closed harbour of Elaia, which is discussed in the context of the landscape evolution of the environs of the ancient settlement. Based on geoarchaeological, archaeological and literary evidence, the construction of two harbour moles in order to provide shelter against wave action and enemies can be attributed to the early Hellenistic period. Geoelectric measurements revealed the construction profile of the moles. Coring evidence indicated that toget…