Filters








128 Hits in 3.5 sec

On complexity of regular realizability problems [article]

Mikhail N. Vyalyi
2012 arXiv   pre-print
It implies that for any level of polynomial hierarchy there exists complete RR problem under polynomial reductions.  ...  It appears that for any language L there exists RR problem equivalent to L under disjunctive reductions on nondeterministic log space.  ...  After that the algorithm guesses two words separately verifying for both of them the format (21) and counting their lengths.  ... 
arXiv:1211.0606v2 fatcat:yhxjuswpyngprhvr4jt3lqc3t4

United States: Financial Sector Assessment Program-Review of the Key Attributes of Effective Resolution Regimes for the Banking and Insurance Sectors-Technical Note

International Monetary Fund
2015 IMF Staff Country Reports  
The SPE strategy's key benefit lies in the avoidance of the need for separate resolution proceedings for the group's operating companies (e.g., insured depository institutions (IDIs), insurance companies  ...  The DFA and FDI Act provide for the necessary flexibility to take timely action, with court procedures not compromising the effective implementation of resolution measures.  ...  Most states have separate GA for life and health insurance, and funds for property and casualty insurance.  ... 
doi:10.5089/9781513544045.002 fatcat:k2gvqjl6vnf3hllok6b3zguozq

Subcubic certificates for CFL reachability

Dmitry Chistikov, Rupak Majumdar, Philipp Schepper
2022 Proceedings of the ACM on Programming Languages (PACMPL)  
Our results extend to related subcubic equivalent problems: pushdown reachability and 2NPDA recognition; as well as to all-pairs CFL reachability.  ...  We study the related certification task: given an instance of CFL reachability, are there small and efficiently checkable certificates for the existence and for the non-existence of a path?  ...  For upper bounds, note that 2NPDA recognition is solvable in time 𝑂 (|𝑤 | 3 /log |𝑤 |) [Rytter 1985 ], and language emptiness for PDA in time 𝑂 (𝑛 3 /log 𝑛).  ... 
doi:10.1145/3498702 fatcat:phmrrqm7fbfrxi646ruriungwy

Abstracts of papers presented at Flow Analysis VI: Toledo, Spain (8-11 June 1994)

1995 Journal of Automatic Chemistry  
As can be seen from these abstracts, the meeting covered a range of disciplines and applications and was the forum for some interesting discussions and debate.  ...  The ambience of Toledo was ideal for the scientific proceedings and the organizers are to be congratulated on bringing together the world's experts in this area.  ...  in the total bound amount.  ... 
doi:10.1155/s1463924695000058 pmid:18924788 pmcid:PMC2548110 fatcat:dfj67hk2cjhzrool53qb2po2lu

Subcubic Certificates for CFL Reachability [article]

Dmitry Chistikov and Rupak Majumdar and Philipp Schepper
2021 arXiv   pre-print
Our results extend to related subcubic equivalent problems: pushdown reachability and two-way nondeterministic pushdown automata (2NPDA) language recognition.  ...  We study the related certification task: given an instance of CFL reachability, are there small and efficiently checkable certificates for the existence and for the non-existence of a path?  ...  We thank Sayan Bhattacharya and Karl Bringmann for interesting discussions.  ... 
arXiv:2102.13095v1 fatcat:j6z6kddsc5cylma35j733n7mdq

A New Regulatory Framework for Low-Impact/High-Value Aquaculture in Nova Scotia

Meinhard Doelle, William Lahey
2014 Social Science Research Network  
Of course, the DFA would continue to be bound by any decisions taken by the DFO in relation to minimum protection for wild salmon.  ...  Maintain habitat and ecosystem integrity; and 3. Manage fisheries for sustainable use and benefit" (p. 4). routes. 182 This could be a fixed separation distance.  ... 
doi:10.2139/ssrn.2463759 fatcat:emrskwyl6zehnjzmj6zlwtlgoe

Legal Harvesting, Sustainable Sourcing and Cascaded Use of Wood for Bioenergy: Their Coverage through Existing Certification Frameworks for Sustainable Forest Management

Richard Sikkema, Martin Junginger, Jinke van Dam, Gerben Stegeman, David Durrant, Andre Faaij
2014 Forests  
Other weaknesses identified for elaboration are: (c) Alignment in definitions are needed, such as for primary forest, high carbon stock, and wood waste (cascading); (d) Imperfect mass balance (fiber check  ...  The first objective of this paper was to provide an inventory of developments of certification schemes for sustainable biomass production, following recent EU legislation (both formalized and under development  ...  PEFC is an umbrella organization for the assessment and mutual recognition of national forest certification schemes.  ... 
doi:10.3390/f5092163 fatcat:fl4uqhfmzngzvcvqcduqyxdboe

Z-BRE4K DSS towards operational optimisation [article]

Cosmas Vamvalis
2020 Zenodo  
The system is developed using the criteria that are set by risk assessment methods and standards. Also, criteria exist for the Key Performance Indicators, Failure Modes and Failure Effects.  ...  The criteria are used to develop an application based on reasoning engine, a mechanism for recommendation provisions and maintenance scheduling.  ...  Another purpose of the predictive maintenance component is the recognition of the chain reactions that cause failure and the rise of alerts for corrective actions.  ... 
doi:10.5281/zenodo.4300490 fatcat:cr5rmo52f5bdzkyziprir72cem

Let's Do the Time Warp Again: Non-linear time series matching as a tool for sequentially structured data in ecology [article]

Jens C Hegg, Brian P Kennedy
2021 bioRxiv   pre-print
learning, artificial intelligence, and big data analytical tasks.  ...  The DTW method is both efficient and remarkably flexible, capable of efficiently matching not only time series but any sequentially structured dataset, which has made it a popular technique in machine  ...  For the clustering step we used a 5% Sakoe-Chiba window and 246 Keogh lower bounds.  ... 
doi:10.1101/2021.04.19.440490 fatcat:5adhvumtwjcrnja5hcwj555gym

Detection Methods of Human and Animal Influenza Virus—Current Trends

Karolina Dziąbowska, Elżbieta Czaczyk, Dawid Nidzworski
2018 Biosensors  
Unfortunately, the population does not have immunity for mutant genes and is attacked in every viral outbreak season. For these reasons, fast and accurate devices are in high demand.  ...  Thus, the early detection seems pivotal for an accurate treatment, when vaccines and other contemporary prevention methods are not faultless.  ...  The authors applied absorbing polymer providing continuous sample flow and separation of bounded and free antibody residues. A glass fiber sheet was chosen as a flow medium.  ... 
doi:10.3390/bios8040094 fatcat:ph3uche63jgrlbs5wyi4pfhfwy

Coupled cryoconite ecosystem structure-function relationships are revealed by comparing bacterial communities in alpine and Arctic glaciers

Arwyn Edwards, Luis A.J. Mur, Susan E. Girdwood, Alexandre M. Anesio, Marek Stibal, Sara M.E. Rassner, Katherina Hell, Justin A. Pachebat, Barbara Post, Jennifer S. Bussell, Simon J.S. Cameron, Gareth Wyn Griffith (+2 others)
2014 FEMS Microbiology Ecology  
Thus, combined application of T-RFLP and FT-IR metabolite fingerprinting promises high throughput, and hence, rapid assessment of community structure-function relationships.  ...  Terminal restriction fragment length polymorphism and Fourier transform infrared metabolite fingerprinting of cryoconite from glaciers in Austria, Greenland and Svalbard demonstrated cryoconite bacterial  ...  Finally, we thank three anonymous reviewers for their considered comments, and Kirsty Dougal for assistance with SRA.  ... 
doi:10.1111/1574-6941.12283 pmid:24433483 fatcat:risexoubfffzln6ll55xayykqy

Two decades of applied Kolmogorov complexity: in memoriam Andrei Nikolaevich Kolmogorov 1903-87

M. Li, P.M.B. Vitanyi
1988 [1988] Proceedings. Structure in Complexity Theory Third Annual Conference  
Paturi kindly supplied to us (and gave us permission to use) their unpublished material about the prime number theorem, chips without long wires, and lower bounds for probabilistic machines,  ...  Acknowledgements We are grateful to Greg Chaitin, Peter Gacs, Leonid Levin and Ray Solomonoff for taking lots of time to tell us about the early history of our subject, and introducing us to many exciting  ...  To measure randomness, criteria have been developed which certify this quality. Yet, in recognition that they do not measure "true" randomness, we call these -2criteria "pseudo" random tests [57] .  ... 
doi:10.1109/sct.1988.5265 dblp:conf/coco/LiV88 fatcat:zjcwzfwemjdupnw4fjeuwoy72i

Alternating multihead finite automata

K.N. King
1988 Theoretical Computer Science  
We conclude by placing upper bounds on the deterministic time and space complexity of the classes of languages accepted by alternating multihead finite automata.  ...  We also examine basic questions about alternating multihead finite automata (for example, are k+ 1 heads better than k?).  ...  Yao and Rivest [29] proved the corresponding result for one-way deterministic and nondeterministic finite automata, and in fact proved that 1 DFA( k + 1) -lNFA( k) # 0 for all k 2 1.  ... 
doi:10.1016/0304-3975(88)90122-3 fatcat:4mp5g6fievaw3obaqk3yoekjue

United States: Financial Sector Assessment Program-Financial System Stability Assessment

International Monetary Fund
2015 IMF Staff Country Reports  
by charging separately and appropriately for prepayment of fixed-rate mortgages.  ...  The SEC and CFTC are bound by general rules on ethics applicable to government officials.  ...  on whether they should remove the requirement for examination reports to be published; the states review the scope for more coordinated multistate market conduct examinations; and the FRB develop and  ... 
doi:10.5089/9781513592787.002 fatcat:kf6rgfszlzdf5ie4adtqhuu2oa

Spatial distribution of metals in top soils of Islamabad City, Pakistan

Syeda Maria Ali, Riffat Naseem Malik
2010 Environmental Monitoring & Assessment  
Factor analysis based on principal component analysis explained total variance of 68.0%, 64.5%, and 60.2% of three land cover types and showed high loadings for major elements (Mg and K) in built-up and  ...  green area and Fe in drain side.  ...  .), Department of Plant Sciences, Quadi-i-Azam University, Islamabad for her help during field study design. Thanks are due to Mr. Zafeer Saqib and Ms.  ... 
doi:10.1007/s10661-010-1314-x pmid:20140510 fatcat:xvtlp6af45golirq2vzgfqkg3u
« Previous Showing results 1 — 15 out of 128 results