A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints

Author(s):  
Sean Policarpio ◽  
Yan Zhang
1987 ◽  
Vol 26 (03) ◽  
pp. 93-98 ◽  
Author(s):  
F. Wingert

SummaryA formal language is presented which is used to generate a transformation table for mapping SNOMED statements to ICD codes. Non-terminal symbols define parts of the SNOMED space, the highest order of which corresponds to ICD categories. Performance of the corresponding program system and remaining problems are described.


2012 ◽  
Vol 35 (8) ◽  
pp. 1759
Author(s):  
Li-Hua WU ◽  
Ai-Xiang CHEN ◽  
Yun-Fei JIANG ◽  
Rui BIAN

2021 ◽  
Vol 11 (7) ◽  
pp. 3090
Author(s):  
Sangwook Yoo ◽  
Cheongho Lee ◽  
Seongah Chin

To experience a real soap bubble show, materials and tools are required, as are skilled performers who produce the show. However, in a virtual space where spatial and temporal constraints do not exist, bubble art can be performed without real materials and tools to give a sense of immersion. For this, the realistic expression of soap bubbles is an interesting topic for virtual reality (VR). However, the current performance of VR soap bubbles is not satisfying the high expectations of users. Therefore, in this study, we propose a physically based approach for reproducing the shape of the bubble by calculating the measured parameters required for bubble modeling and the physical motion of bubbles. In addition, we applied the change in the flow of the surface of the soap bubble measured in practice to the VR rendering. To improve users’ VR experience, we propose that they should experience a bubble show in a VR HMD (Head Mounted Display) environment.


2020 ◽  
Vol 48 (1) ◽  
pp. 47-100
Author(s):  
Melitta Gillmann

AbstractBased on a corpus study conducted using the GerManC corpus (1650–1800), the paper sketches the functional and sociosymbolic development of subordinate clause constructions introduced by the subjunctor da ‘since’ in different text genres. In the second half of the 17th and the first half of the 18th century, the da clauses were characterized by semantic vagueness: Besides temporal, spatial and causal relations, the subjunctor established conditional, concessive, and adversative links between clauses. The corpus study reveals that different genres are crucial to the readings of da clauses. Spatial and temporal usages, for example, occur more often in sermons than in other genres. The conditional reading, in contrast, strongly tends to occur in legal texts, where it displays very high frequency. This could be the reason why da clauses carry indexical meaning in contemporary German and are associated with formal language. Over the course of the 18th century, the causal usages increase in all genres. Surprisingly, these causal da clauses tend to be placed in front of the matrix clause despite the overall tendency of causal clauses to follow the matrix clause.


2021 ◽  
Vol 13 (7) ◽  
pp. 1316
Author(s):  
Jia Liu ◽  
Zongyu Yue ◽  
Kaichang Di ◽  
Sheng Gou ◽  
Shengli Niu

The age of Mars yardangs is significant in studying their development and the evolution of paleoclimate conditions. For planetary surface or landforms, a common method for dating is based on the frequency and size distribution of all the superposed craters after they are formed. However, there is usually a long duration for the yardangs’ formation, and they will alter the superposed craters, making it impossible to give a reliable dating result with the method. An indirect method by analyzing the ages of the superposed layered ejecta was devised in the research. First, the layered ejecta that are superposed on and not altered by the yardangs are identified and mapped. Then, the ages of the layered ejecta are derived according to the crater frequency and size distribution on them. These ages indicate that the yardangs ceased development by these times, and the ages are valuable for studying the evolution of the yardangs. This indirect dating method was applied to the areas of Martian yardangs in the Medusae Fossae Formation (MFF). The ages of the selected six layered ejecta range from ~0.50 Ga to ~1.5 Ga, indicating that the evolution of the corresponding yardangs had been ceased before these times. Analysis of more layered ejecta craters and superposed yardangs implies that yardangs in the MFF have a long history of development and some yardangs are still in active development.


Sign in / Sign up

Export Citation Format

Share Document