Search

Results: 1378
Classical proof forestry
Willem Heijltjes
Aug 01, 2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand’s Theorem and backtracking games in the style of Coquand. First described by Miller in a cut-free setting as an economical...
On the proof complexity of deep inference
We obtain two results about the proof complexity of deep inference: (1) Deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin extension rule or with the substitution rule; (2)...
Strategy-proof compromises
Peter Postl
Jun 15, 2011
We study strategy-proof decision rules in the variant of the canonical public good model proposed by Borgers and Postl (2009). In this setup, we fully characterize the set of budget balanced strategy-proof deterministic...
Strategy-proof compromises
Peter Postl
Jun 15, 2011
We study strategy-proof decision rules in the variant of the canonical public good model proposed by Borgers and Postl (2009). In this setup, we fully characterize the set of budget balanced strategy-proof deterministic...
Strategy-proof stochastic assignment
Aytek Erdil
Feb 04, 2019
I study strategy-proof assignment mechanisms where the agents reveal their preference rankings over the available objects. A stochastic mechanism returns lotteries over deterministic assignments, and mechanisms are compared...
Classical proof forestry
Willem Heijltjes
Aug 01, 2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand’s Theorem and backtracking games in the style of Coquand. First described by Miller in a cut-free setting as an economical...
On the proof complexity of deep inference
We obtain two results about the proof complexity of deep inference: (1) Deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin extension rule or with the substitution rule; (2)...
Application of QGA-BP Neural Network in Debt Risk Assessment of Government Platforms
How to correctly understand the existence of local government debt, study its risk classification and impact, give full play to the “dual nature” of debt with a full-caliber indicator system, and avoid debt risks to the greatest...
Self-Monitoring and Management of Blood Pressure in Patients with Stroke or TIA
Abstract: Background: Prevention of secondary stroke following initial ictus is an important focus of after-stroke care. Blood pressure (BP) is a key risk factor, so usual care following stroke or transient ischaemic attack...
GA-BP Optimization Using Hybrid Machine Learning Algorithm for Thermopile Temperature Compensation
Thermoelectric pile, which uses non-contact infrared temperature measurement principle, is widely used in various precision temperature measuring instruments. This paper analyzes environmental temperature's influence on...
Self-Monitoring and Management of Blood Pressure in Patients with Stroke or TIA
Abstract: Background: Prevention of secondary stroke following initial ictus is an important focus of after-stroke care. Blood pressure (BP) is a key risk factor, so usual care following stroke or transient ischaemic attack...
A Subatomic Proof System for Decision Trees
We design a proof system for propositional classical logic that integrates two languages for Boolean functions: standard conjunction-disjunction-negation and binary decision trees. We give two reasons to do so. The first is...
A Subatomic Proof System for Decision Trees
We design a proof system for propositional classical logic that integrates two languages for Boolean functions: standard conjunction-disjunction-negation and binary decision trees. We give two reasons to do so. The first is...
Unleashing Continuous Improvement and Competitive Advantage Through BP-Driven Knowledge Management Processes
The knowledge management process (KMP) requires continuous enhancement and is closely intertwined with the corresponding organizational business processes (BPs). Despite efforts to improve the integration of KMP and BPs, many...
Empirical Test of Credit Risk Assessment of Microfinance Companies Based on BP Neural Network
Hualan Lu
Jan 04, 2023
In recent years, the chaos of internet finance has occurred frequently, especially P2P, with high risks. As a kind of financial innovation, small loan companies are challenging to avoid alone, and the issue of credit risk is...
Unmanned Bicycle Balance Control Based on Tunicate Swarm Algorithm Optimized BP Neural Network PID
In this study, the authors introduce a novel approach that leverages the tunicate swarm algorithm (TSA) to optimize proportional-integral-derivative (PID) controller based on a back propagation (BP) neural network. The core...
Subatomic Proof Systems

This article presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalization, and in particular of cut elimination. By considering atoms as self-dual...

BP Neural Network-Enhanced System for Employment and Mental Health Support for College Students
This paper employs BP Neural Network (BPNN) theory to evaluate innovation and entrepreneurship education in universities. It utilizes students' evaluation indexes as input vectors and determines the number of hidden layer...
The United Kingdom Childhood Cancer Study
An investigation into the possible causes of childhood cancer has been carried out throughout England, Scotland and Wales over the period 1991-1998. All children known to be suffering from one or other type of the disease over...
Palaeoproteomics confirm earliest domesticated sheep in southern Africa ca. 2000 BP.
We used palaeoproteomics and peptide mass fingerprinting to obtain secure species identifications of key specimens of early domesticated fauna from South Africa, dating to ca. 2000 BP. It can be difficult to distinguish...

|<

<

1

2

3

4

5

>

>|