scholarly journals A formal approach to XML semantics: implications for archive standards

2010 ◽  
Author(s):  
Andrew Dombrowski ◽  
Quinn Dombrowski
Keyword(s):  
Previous Literature ◽  
Formal Approach ◽  
Semantic Constraints ◽  
Novel Approach ◽  
Starting Point

Previous literature characterizing XML semantics (Sperberg-McQueen et al. 2000, Renear et al. 2002, Piez 2002) takes reasonably syntactically and semantically plausible markup and/or schemas as a starting point. In contrast, for this paper we aim to work towards such a schema as an idealized end goal, by characterizing the necessary— if not sufficient— semantic constraints that differentiate a schema intended for archival use from nonsense and implausible schemas, as well as schemas that fail to sufficiently take semantics into account. In addition to the goal of providing a novel approach to the perenially thorny problem of XML semantics, we are particularly concerned with the interaction between the goals of archival purposes and XML semantics.

scholarly journals Subperiosteal Anchorage in Orthodontics: A Narrative Review

2021 ◽  
Vol 11 (18) ◽  
pp. 8376
Author(s):  
Marco Serafin ◽  
Cinzia Maspero ◽  
Salvatore Bocchieri ◽  
Rosamaria Fastuca ◽  
Alberto Caprioglio
Keyword(s):  
Clinical Studies ◽  
Survival Rates ◽  
Biomechanical Properties ◽  
Previous Literature ◽  
Inclusion Criteria ◽  
Orthodontic Anchorage ◽  
Clinical Procedure ◽  
Advantages And Disadvantages ◽  
Current Review ◽  
Starting Point

Orthodontic anchorage is a necessity for every treatment and must be carefully evaluated by the orthodontist. It is defined as the resistance to unwanted dental movement of a tooth or a number of teeth by using different techniques. The purpose of the present paper is to highlight the subperiosteal anchorage applied to orthodontics; this technique has been debated in the literature and the purpose here is to summarize the fields of application. During the first check of previous literature 548 results were found, which have been reduced to 19 selected papers after application of the inclusion criteria and the elimination of duplicates. Multiple electronic databases were searched from 1 January 1995 to 31 December 2020 in order to identify papers eligible for current review. The data obtained by this review underlined the versatility of onplants used as absolute anchorage during orthodontic treatments, the advantages and disadvantages, the biomechanical properties and survival rates, and the clinical procedure. Further clinical studies and research are required to explore other kinds of application and to state specific guidelines; however, this study represents an update and a starting point for clinicians who want to use these devices and for further improvement of the technique.

scholarly journals Re-Constructing the Choreographic Studio of João Fiadeiro Through Animated Infographic Films

1969 ◽  
Vol 1 (1) ◽  
Author(s):  
Stephan Jürgens
Keyword(s):  
Academic Research ◽  
Contemporary Dance ◽  
Interesting Point ◽  
Creative Processes ◽  
Artistic Process ◽  
Conceptual Structures ◽  
Novel Approach ◽  
Starting Point ◽  
Interdisciplinary Arts

The starting point for this article is an artist-led practice developed by choreographer João Fiadeiro during the past two decades, which has been designated as "Composition in Real Time" (CTR). The interesting point about this methodology is that it has been applied in performance composition and in arts education by its author himself; but also in such diverse fields as anthropology, sociology, neurosciences, and economy by scientists and academics in collaboration with Fiadeiro. The authors of this article have conducted a long-lasting case study on the artistic process of Fiadeiro in the framework of an ERC-funded interdisciplinary arts and cognition project. We present our resulting novel approach to researching contemporary dance work through the creation and production of animated infographic films. Along with leading PaR theorists we argue that the utilization of adequate artistic techniques and methods in academic research can successfully reveal how unique creative ideas and conceptual structures come into being in the creative processes of today's contemporary artists. The article discusses specific excerpts of the provided animated infographic films to show how we digitally re-constructed Fiadeiro’s conceptual and imaginative universe, and how our findings can address both an academic and interested lay audience. SOLOS study: I am sitting in a different room you are in now from BlackBox Art&Cognition on Vimeo. SOLOS study: I was here from BlackBox Art&Cognition on Vimeo. Graphic models developed by João Fiadeiro from BlackBox Art&Cognition on Vimeo.

scholarly journals Relations among the Riemann Zeta and Hurwitz Zeta Functions, as Well as Their Products

Symmetry ◽  
2019 ◽  
Vol 11 (6) ◽  
pp. 754 ◽  
Author(s):  
A. C. L. Ashton ◽  
A. S. Fokas
Keyword(s):  
Zeta Function ◽  
Zeta Functions ◽  
Formal Proof ◽  
Hurwitz Zeta Function ◽  
Mean Square ◽  
Novel Approach ◽  
Starting Point ◽  
Lindelöf Hypothesis ◽  
Riemann Zeta ◽  
The Mean

In this paper, several relations are obtained among the Riemann zeta and Hurwitz zeta functions, as well as their products. A particular case of these relations give rise to a simple re-derivation of the important results of Katsurada and Matsumoto on the mean square of the Hurwitz zeta function. Also, a relation derived here provides the starting point of a novel approach which, in a series of companion papers, yields a formal proof of the Lindelöf hypothesis. Some of the above relations motivate the need for analysing the large α behaviour of the modified Hurwitz zeta function ζ 1 ( s , α ) , s ∈ C , α ∈ ( 0 , ∞ ) , which is also presented here.

scholarly journals A metaheuristic penalty approach for the starting point in nonlinear programming

2020 ◽  
Vol 54 (2) ◽  
pp. 451-469
Author(s):  
David R. Penas ◽  
Marcos Raydan
Keyword(s):  
Nonlinear Programming ◽  
Feasible Solution ◽  
Packing Problem ◽  
Merit Function ◽  
Test Problems ◽  
Huge Amount ◽  
Novel Approach ◽  
Starting Point ◽  
Metaheuristic Techniques ◽  
Optimization Schemes

Solving nonlinear programming problems usually involve difficulties to obtain a starting point that produces convergence to a local feasible solution, for which the objective function value is sufficiently good. A novel approach is proposed, combining metaheuristic techniques with modern deterministic optimization schemes, with the aim to solve a sequence of penalized related problems to generate convenient starting points. The metaheuristic ideas are used to choose the penalty parameters associated with the constraints, and for each set of penalty parameters a deterministic scheme is used to evaluate a properly chosen metaheuristic merit function. Based on this starting-point approach, we describe two different strategies for solving the nonlinear programming problem. We illustrate the properties of the combined schemes on three nonlinear programming benchmark-test problems, and also on the well-known and hard-to-solve disk-packing problem, that possesses a huge amount of local-nonglobal solutions, obtaining encouraging results both in terms of optimality and feasibility.

scholarly journals An integrated approach for the evaluation of technological hazard impacts on air quality: the case of the Val d'Agri oil/gas plant

2014 ◽  
Vol 2 (4) ◽  
pp. 2345-2376
Author(s):  
M. Calvello ◽  
F. Esposito ◽  
S. Trippetta
Keyword(s):  
Air Quality ◽  
Treatment Plant ◽  
Monitoring Network ◽  
Integrated Approach ◽  
Preliminary Evaluation ◽  
Air Quality Measurements ◽  
Novel Approach ◽  
Starting Point ◽  
Pre Treatment ◽  
Oil Gas

Abstract. The Val d'Agri area (southern Italy) hosts the biggest on-shore European reservoir and the largest oil/gas pre-treatment plant, named Centro Olio Val d'Agri (COVA), located in a rural/anthropized context. Several hazards are associated to this plant. These are mainly represented by possible impacts of the COVA atmospheric emissions on the local air quality and human health. This work uses a novel approach based on the integration of air quality measurements from the regional monitoring network, additional experimental measurements (i.e., sub-micrometric particulate matter – PM1 and Black Carbon – BC) and advanced statistical analyses to provide a preliminary evaluation of the Val d'Agri air quality state and give some indications of specific areas potentially affected by COVA hazards. Results show that the COVA plant emissions exert an impact especially on the air quality of the area closest to it. In this area several pollutants specifically related to the COVA combustion processes (i.e., nitrogen oxides, benzene and toluene) show the highest concentration values and significant correlations. The proposed approach represents a first step in the assessment of the risks associated to oil/gas exploration and pre-treatment activities and a starting point for the development of effective and exportable air quality monitoring strategies.

The Language of Freedom and Slavery in Tacitus’ Agricola

Mnemosyne ◽  
2017 ◽  
Vol 70 (5) ◽  
pp. 834-858
Author(s):  
Aske Damtoft Poulsen
Keyword(s):  
Conceptual Metaphor ◽  
Roman Domination ◽  
Novel Approach ◽  
Starting Point ◽  
George Lakoff ◽  
Object Of Study

AbstractTheAgricolahas long been a popular object of study for the connection that it makes between the British narrative of resistance against Roman domination and the Roman narrative of resistance against imperial domination. However, no agreement has been reached on the question of how exactly the two narratives ‘affect’ each other. Simultaneously, while it has often been remarked that Tacitus’ language is inherently metaphorical, there have been curiously few studies devoted to Tacitean metaphor. Based on the theory of conceptual metaphor promoted by George Lakoff, this article takes the metaphors of freedom and slavery that appear in theAgricolaas starting point for a re-evaluation of the connection between the two narratives. This novel approach to the text facilitates a deeper analysis of certain key passages of the text, and provides some much-needed nuance to the current scholarly debate.

scholarly journals A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking

2015 ◽  
Vol 2015 ◽  
pp. 1-12 ◽  
Author(s):  
Shengxin Dai ◽  
Mei Hong ◽  
Bing Guo ◽  
Yang He ◽  
Qiongyu Zhang ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Timed Automata ◽  
Formal Approach ◽  
Statistical Model Checking ◽  
Novel Approach ◽  
Utilization Bound ◽  
Statistical Queries ◽  
Save Energy ◽  
Time Systems

Energy saving is a crucial concern in embedded real time systems. Many RT-DVS algorithms have been proposed to save energy while preserving deadline guarantees. This paper presents a novel approach to evaluate RT-DVS algorithms using statistical model checking. A scalable framework is proposed for RT-DVS algorithms evaluation, in which the relevant components are modeled as stochastic timed automata, and the evaluation metrics including utilization bound, energy efficiency, battery awareness, and temperature awareness are expressed as statistical queries. Evaluation of these metrics is performed by verifying the corresponding queries using UPPAAL-SMC and analyzing the statistical information provided by the tool. We demonstrate the applicability of our framework via a case study of five classical RT-DVS algorithms.

Hybrid Simulation-Emulation Model: AGVS Example

Volume 3 ◽  
2004 ◽  
Author(s):  
Khalid Hasnan ◽  
Terrence Perera
Keyword(s):  
Control System ◽  
Simulation Model ◽  
Execution Time ◽  
Hybrid Simulation ◽  
Automated Guided Vehicle ◽  
Initial Analysis ◽  
Vehicle System ◽  
Novel Approach ◽  
Starting Point

Simulation and emulation have several salient contrasting functions and features. They include different aims, levels of details, execution time and integration of models. In many cases, a project will require both a simulation model for initial analysis and development, as well as an emulation model for testing a control system. If this is the case, a copy of the simulation model can be used as a starting point for developing the emulation model. Hybrid simulation-emulation model, one that is used for both purposes should have a facility to switch off/on certain elements from the model as necessary. There is much published work in simulation and a dearth of work in emulation. To date there has been no work published in converting a simulation into emulation model. This paper describes a novel approach, which combines both attributes, and is illustrated using a case study based on an Automated Guided Vehicle System (AGVS).

scholarly journals KL-MOB Automated Covid-19 Recognition Using a Novel Approach Based on Image Enhancement and a Modified MobileNet CNN

2021 ◽  
Author(s):  
Mundher Mohammed Taresh ◽  
Ning bo Zhu ◽  
Asaad Shakir Hameed ◽  
Modhi Lafta Mutar ◽  
Talal Ahmed Ali Ali Ahmed Ali Ali ◽  
...  
Keyword(s):  
Neural Network ◽  
Loss Function ◽  
X Ray ◽  
Kl Divergence ◽  
Fine Grained ◽  
Novel Approach ◽  
Starting Point ◽  
The World ◽  
Novel Coronavirus ◽  
Sensitivity Specificity

The emergence of the novel coronavirus pneumonia (Covid-19) pandemic at the end of 2019 led to chaos worldwide. The world breathed a sigh of relief when some countries announced that they had obtained the appropriate vaccine and gradually began to distribute it. Nevertheless, the emergence of another wave of this disease has returned us to the starting point. At present, early detection of infected cases has been the paramount concern of both specialists and health researchers. This paper aims to detect infected patients through chest X-ray images. The large dataset available online for Covid-19 (COVIDx) was used in this research. The dataset consists of 2,128 x-ray images of Covid-19 cases, 8,066 normal cases, and 5,575 cases of pneumonia. A hybrid algorithm was applied to improve image quality before conducting the neural network training process. This algorithm consisted of combining two different noise reduction filters in the images, followed by a contrast enhancement algorithm. In this paper, for Covid-19 detection, a novel convolution neural network (CNN) architecture, KL-MOB (Covid-19 detection network based on MobileNet structure), was proposed. KL-MOB performance was boosted by adding the Kullback Leibler (KL) divergence loss function at the end when trained from scratch. The Kullback-Leibler (KL) divergence loss function was adopted as content-based image retrieval and fine-grained classification to improve the quality of image representation. This paper yielded impressive results, overall benchmark accuracy, sensitivity, specificity, and precision of 98.7%, 98.32%, 98.82%, and 98.37%, respectively. The promising results in this research may enable other researchers to develop modern and innovative methods to aid specialists. The tremendous potential of the method proposed in this research can also be utilized to detect Covid-19 quickly and safely in patients throughout the world.

scholarly journals Diseño y compilación de corpus paralelos alineados: dificultades y (algunas) soluciones en el ejemplo de un corpus de textos museísticos traducidos (inglés-español)

2018 ◽  
Vol 13 (1) ◽  
pp. 59
Author(s):  
Jorge Leiva Rojo
Keyword(s):  
Previous Literature ◽  
Text Corpora ◽  
Starting Point ◽  
Software Programs ◽  
The One

<p>Text corpora are tools having both a long tradition in research and a variety of applications. Of all existing types, this paper focuses specifically on parallel, aligned corpora. By taking one of this corpora as a starting point—a parallel, aligned corpus from museum texts originally written in English and subsequently translated into Spanish—, the aim of this article is to propose a methodology that consists of four basic stages. By the revision of previous literature on the topic, and by using multiple software programs—proprietary and free, specifically created for corpus compilation and created for other purposes—, it is concluded that, although the compilation of corpora such as the one that was intended is a feasible task, the procedure is full of obstacles. Some obstacles were overcome, while some were not; that is the case, for example, of the repetitions on the aligned corpus, which are not present in the corpus.</p>

Sign in / Sign up

Export Citation Format

Share Document