scholarly journals A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

2003 ◽  
Vol 18 ◽  
pp. 351-389 ◽  
Author(s):  
P. F. Patel-Schneider ◽  
R. Sebastiani
Keyword(s):  
Decision Procedures ◽  
New Method ◽  
Random Generation ◽  
Current Generation ◽  
Recent Emergence ◽  
Extensive Collection ◽  
Test Sets ◽  
Empirical Tests ◽  
General Method

The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive empirical tests for modal logics is recent, and so far none of the proposed test generators is very satisfactory. To cope with this fact, we present a new random generation method that provides benefits over previous methods for generating empirical tests. It fixes and much generalizes one of the best-known methods, the random CNF_[]m test, allowing for generating a much wider variety of problems, covering in principle the whole input space. Our new method produces much more suitable test sets for the current generation of modal decision procedures. We analyze the features of the new method by means of an extensive collection of empirical tests.

Public and Private Net Savings in Developing Countries: Some Empirical Tests for the Period 1972-88 (Distinguishedl Lecture)

1992 ◽  
Vol 31 (4I) ◽  
pp. 431-447
Author(s):  
Peter A. Cornelisse ◽  
Elma Van De Mortel
Keyword(s):  
Public Debt ◽  
World Economy ◽  
Socioeconomic Development ◽  
Critical Size ◽  
Public And Private ◽  
Critical Dimensions ◽  
The Public ◽  
Empirical Tests ◽  
Financial Issues

The severe shocks that rocked the world economy in the 1970s and the ensuing efforts to adjust and to renew economic growth have had a profound effect on the economic literature. Especially the external and public debt problems which reached critical dimensions in many countries attracted much attention. Thus, in the field of macroeconomics financial issues have gained more prominence over the last two decades. Studies relating to the fiscal deficit have been particularly numerous. The critical size of national public debts, the contribution of the public debt to external debt, the reduced confidence in the state as the guide in socioeconomic development and the role of fiscal policy in adjustment processes are among the main reasons for this increased interest.

Children’s Lives and Deaths in Merovingian Gaul

2020 ◽  
pp. 185-213
Author(s):  
Émilie Perez
Keyword(s):  
Social Identity ◽  
Age Groups ◽  
New Method ◽  
Recent Analysis ◽  
Age And Gender ◽  
The Past ◽  
And Gender ◽  
Grave Goods

The role of children in Merovingian society has long been downplayed, and the study of their graves and bones has long been neglected. However, during the past fifteen years, archaeologists have shown growing interest in the place of children in Merovingian society. Nonetheless, this research has not been without challenges linked to the nature of the biological and material remains. Recent analysis of 315 children’s graves from four Merovingian cemeteries in northern Gaul (sixth to seventh centuries) allows us to understand the modalities of burial ritual for children. A new method for classifying children into social age groups shows that the type, quality, quantity, and diversity of grave goods were directly correlated with the age of the deceased. They increased from the age of eight and particularly around the time of puberty. This study discusses the role of age and gender in the construction and expression of social identity during childhood in the Merovingian period.

The role of the registered nurse first assistant within the perioperative setting

2021 ◽  
Vol 30 (3) ◽  
pp. 148-153
Author(s):  
Roland Pika ◽  
Brid O'Brien ◽  
Jill Murphy ◽  
Kathleen Markey ◽  
Claire O'Donnell
Keyword(s):  
Registered Nurse ◽  
Healthcare Sector ◽  
Review Of The Literature ◽  
Surgical Interventions ◽  
Medical Practitioners ◽  
Nursing Role ◽  
Perioperative Nursing ◽  
Recent Emergence ◽  
Provision Of Care

Perioperative setting registered nurse first assistants (RNFAs) are described as non-medical practitioners who perform surgical interventions during surgery. They provide medical care to perioperative patients under the supervision of a consultant surgeon. First assistants in surgery can be an expanded perioperative nursing role. A review of the literature illuminates the need for continuous learning in developing skills in becoming competent RNFA practitioners and how they utilise acquired skills to assist, mentor and teach their colleagues within the perioperative setting. The RNFA is an advanced and expanded practice role. RNFAs contribute significantly to the provision of care within all phases of perioperative care (preoperative, intraoperative, postoperative). There is little literature on the role of the RNFA due to its relatively recent emergence in the healthcare sector and the small number of countries where it is implemented.

scholarly journals A new method for identifying the role of marital preferences at shaping marriage patterns

2021 ◽  
pp. 1-27
Author(s):  
Anna Naszodi ◽  
Francisco Mendonca
Keyword(s):  
Contingency Table ◽  
Transformation Method ◽  
New Method ◽  
Marriage Patterns ◽  
The Us ◽  
Analytical Properties ◽  
The Matrix ◽  
Transformation Methods

Abstract We develop a method which assumes that marital preferences are characterized either by the scalar-valued measure proposed by Liu and Lu, or by the matrix-valued generalized Liu–Lu measure. The new method transforms an observed contingency table into a counterfactual table while preserving its (generalized) Liu–Lu value. After exploring some analytical properties of the new method, we illustrate its application by decomposing changes in the prevalence of homogamy in the US between 1980 and 2010. We perform this decomposition with two alternative transformation methods as well where both methods capture preferences differently from Liu and Lu. Finally, we use survey evidence to support our claim that out of the three considered methods, the new transformation method is the most suitable for identifying the role of marital preferences at shaping marriage patterns. These data are also in favor of measuring assortativity in preferences à la Liu and Lu.

scholarly journals Model of Migration and Use of Platforms: Role of Hierarchy, Current Generation, and Complementarities in Consumer Settings

2010 ◽  
Vol 56 (8) ◽  
pp. 1304-1323 ◽  
Author(s):  
Xin Xu ◽  
Viswanath Venkatesh ◽  
Kar Yan Tam ◽  
Se-Joon Hong
Keyword(s):  
Current Generation

scholarly journals Characterizing Highly Benefited Patients in Randomized Clinical Trials

2017 ◽  
Vol 13 (1) ◽  
Author(s):  
Vivek Charu ◽  
Paul B. Rosenberg ◽  
Lon S. Schneider ◽  
Lea T. Drye ◽  
Lisa Rein ◽  
...  
Keyword(s):  
Randomized Clinical Trials ◽  
Controlled Trial ◽  
New Method ◽  
Usual Model ◽  
Randomized Controlled ◽  
Working Model ◽  
Large Numbers ◽  
High Benefit ◽  
Two Stages

AbstractPhysicians and patients may choose a certain treatment only if it is predicted to have a large effect for the profile of that patient. We consider randomized controlled trials in which the clinical goal is to identify as many patients as possible that can highly benefit from the treatment. This is challenging with large numbers of covariate profiles, first, because the theoretical, exact method is not feasible, and, second, because usual model-based methods typically give incorrect results. Better, more recent methods use a two-stage approach, where a first stage estimates a working model to produce a scalar predictor of the treatment effect for each covariate profile; and a second stage estimates empirically a high-benefit group based on the first-stage predictor. The problem with these methods is that each of the two stages is usually agnostic about the role of the other one in addressing the clinical goal. We propose a method that characterizes highly benefited patients by linking model estimation directly to the particular clinical goal. It is shown that the new method has the following two key properties in comparison with existing approaches: first, the meaning of the solution with regard to the clinical goal is the same, and second, the value of the solution is the best that can be achieved when using the working model as a predictor, even if that model is incorrect. In the Citalopram for Agitation in Alzheimer’s Disease (CitAD) randomized controlled trial, the new method identifies substantially larger groups of highly benefited patients, many of whom are missed by the standard method.

The importance of measuring the sludge filterability at an MBR – introduction of a new method

2012 ◽  
Vol 66 (1) ◽  
pp. 9-14 ◽  
Author(s):  
C. Thiemig
Keyword(s):  
Membrane Fouling ◽  
Reliable Method ◽  
Membrane Bioreactors ◽  
New Method ◽  
Strong Impact ◽  
Laboratory Equipment ◽  
Filtration Performance ◽  
Sludge Properties ◽  
Operational Aspects ◽  
General Method

Sludge properties have a strong impact on the operational aspects of membrane bioreactors (MBRs). Poor sludge properties cause stronger membrane fouling and reduce the filtration performance of MBRs. Up to now there is no general method used to measure the fouling or filtration relevant sludge properties in MBRs. The aim of this work was to develop a simple but reliable method to supply operators a tool to monitor the important sludge properties for their application and to compare this method with existing techniques. Through extensive research a new method called the sludge filtration index (SFI) has been developed to indicate the appropriate sludge parameters for MBR systems in a cheap and easy manner. The SFI can be measured with simple laboratory equipment and offers operators a powerful tool to monitor the conditions of their sludge, independent of the membrane conditions.

On Common Speech

2021 ◽  
Vol 41 (3) ◽  
pp. 485-498
Author(s):  
Sravanthi Kollu
Keyword(s):  
South Asia ◽  
South Asian ◽  
Linguistically Diverse ◽  
Colonial India ◽  
South Indian ◽  
Indian Identity ◽  
Recent Emergence ◽  
Contemporary Work ◽  
The Common

Abstract The multilingual turn in literary studies emphasizes the fairly recent emergence of a monolingual attachment to language. While this rightly calls into question the academic focus on monolingual competencies and offers a substantial area of inquiry for scholars working with the linguistically diverse regions of South Asia, Africa, and the Middle East, this essay posits that the persistence of multilinguality among historical actors from these regions does not merit a shift away from monolingualism in contemporary scholarship. This argument derives from the claims analyzed in this essay, made by South Asian writers in colonial India, about the singularity of one's own language (swabhasha) and the writers' anxieties to protect this language from vulgar speech (gramyam). Building on contemporary work on the vernacular, the essay seeks to draw renewed attention to the role of speech in language debates in Telugu, a language whose particularity has not become a metonym either for the nation (like Hindi) or for a pan–South Indian identity (like Tamil). In tracing the movement from vulgar speech to proper language in this archive, this essay reframes vernacularity as an ethical compulsion premised on the common.

scholarly journals Analysis of Key Factors Affecting Water Disaster in Deep Mining and Establishment of a Water Disaster Evaluation Method Suitable for Different Mining Depths

Geofluids ◽  
2021 ◽  
Vol 2021 ◽  
pp. 1-14
Author(s):  
Jianghui He ◽  
Wenping Li ◽  
Wei Qiao ◽  
Zhi Yang ◽  
Qiqing Wang
Keyword(s):  
Water Inrush ◽  
Assessment Method ◽  
New Method ◽  
Specific Yield ◽  
Water Yield ◽  
Deep Mining ◽  
Hydrogeological Characteristics ◽  
Formula Method ◽  
Water Disaster

Deep mining is the current and future mining focus in the coalfield of North China. Therefore, it is necessary to establish a water inrush assessment method suitable for deep mining. The conventional water inrush coefficient ( T ) method is simple to use, but its accuracy is low when the mining depth is very small or large because it neglects the role of the aquifer water yield. The main purpose of this paper is to introduce a simple water inrush risk assessment method that is more applicable in deep mining than the T method. In this study, the hydrogeological characteristics in deep mining were studied and the role of the aquifer water yield in water inrush was analyzed. Afterwards, an improved T method considering the aquifer specific yield ( q ) was established. In the new method, the critical water inrush coefficient changes with changing q following a negative correlation. The parameter thresholds were determined based on systematic data analyses of 186 mining cases. The results of the statistical analysis show that the accuracy of the new method at different mining depths is higher than that of the T method.

scholarly journals The Role of AES and RC5 Algorithm: A Cryptosystem Model to Secure Information in the Image based Steganography along with Watermarking

Webology ◽  
2021 ◽  
Vol 18 (05) ◽  
pp. 1158-1167
Author(s):  
Jagadeesan S ◽  
Mani C ◽  
Sambasivam S ◽  
Jaisankar P ◽  
Sasikala S
Keyword(s):  
Personal Information ◽  
New Technology ◽  
Cutting Edge ◽  
New Method ◽  
Know How ◽  
Secure Information ◽  
Information Confidentiality ◽  
Textual Content ◽  
As If

In the brand new technology of cutting-edge technological know-how and era is advanced day via way of means of day. The information confidentiality is danger everywhere in the global and it will increase rapidly. Steganography and cryptography are very vital strategies applied in facts safety to cowl and steady mystery messages in transmitting facts. In this we launch, put in force and check a completely sole technique that can be used as a steady and extraordinarily budget friendly technique {of facts|of knowledge|} interest in addition to information extracting (Jagadeesan, S., 2020). Some efficiency parameters are going to be thru an test received and in comparison with opportunity current approaches parameters to show the efficiency of the deliberate technique. Here we proposes a brand new method to hiding the information the use of steganography strategies primarily based totally on AES and RC5 set of rules cryptosystem. The word Steganography is the splendor of hiding mystery information in the back of the photos, videos, sound and textual content to cowl the name of the game communication. Cryptosystem is the system which given our technique extra perfection. The visible first-class of the quilt photo certainly nice, nobody can consider it how personal information are transmitted the use of this technique. This suggest technique and set of rules ability is exceedingly bendy than different posted set of rules. The AES and RC5 set of rules has no more difficulty and it looks as if thoroughly to hiding the personal information.

Sign in / Sign up

Export Citation Format

Share Document