Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,761 papers from all fields of science
Search
Sign In
Create Free Account
Federated Logic Conference
Known as:
FLoC
The Federated Logic Conference (FLoC) is an international conglomeration of several mathematical logic and computer science related academic…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Computer Aided Verification
Computer science
Conference on Automated Deduction
Interactive Theorem Proving (conference)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Effect of coagulation mechanism on membrane permeability in coagulation-assisted microfiltration for spent filter backwash water recycling
Ch-Hpin Huang
,
Jr-Lin Lin
,
Wen Shan Lee
,
J. R. Pan
,
Bingqing Zhao
2011
Corpus ID: 52237400
2009
2009
BARK MILL EFFLUENTS AT DALTON , NATAL
Simpson
,
J. Hemens
2009
Corpus ID: 13433750
and Imhoff et UP. Activated sludge is developed in a treatment Operational data, on the running of the Dalton plant between plant…
Expand
2006
2006
A MOE framework for Biclustering of Microarray Data
S. Mitra
,
H. Banka
,
S. Pal
International Conference on Pattern Recognition
2006
Corpus ID: 29112656
Biclustering or simultaneous clustering of both genes and conditions have generated considerable interest over the past few…
Expand
2006
2006
Drying and re-wetting of organic wetland sediments: Biogeochemistry and implications for wetland management
B. Sommer
2006
Corpus ID: 128452675
In this chapter physical and bulk sediment characteristics were used to describe the sediments of Lake Goollelal. Two distinct…
Expand
2005
2005
Programming with Proofs: Language-Based Approaches to Totally Correct Software
Aaron Stump
Verified Software: Theories, Tools, Experiments
2005
Corpus ID: 13403282
Tremendous progress has been made in automated and semi-automated verification since the seminal works on program verification…
Expand
2002
2002
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus
R. Kennaway
,
Z. Khasidashvili
,
A. Piperno
International Conference on Rewriting Techniques…
2002
Corpus ID: 11891075
We investigate the degree of parallelism (or modularity) in the hyperbalanced ?-calculus, ?H, a subcalculus of ?-calculus…
Expand
2002
2002
REDOX POTENTIAL (ORP) REGULATION OF NUTRIENT REMOVAL IN WASTEWATER TREATMENT PROCESSES AND THE STRUCTURE - FUNCTION ANALYSIS OF ACTIVATED SLUDGE FLOC
Baikun Li
2002
Corpus ID: 136047374
Dr. Baikun Li is the Professor of Environmental Engineering at the University of Connecticut (UConn). She received her Ph.D. from…
Expand
1989
1989
Xylanase production by Trichoderma harzianum E58
D. Senior
,
P. Mayers
,
J. Saddler
Applied Microbiology and Biotechnology
1989
Corpus ID: 11131831
SummaryGrowth of Trichoderma harzianum E58 on hemicellulose-rich media, both in batch and fermentor cultures, resulted in…
Expand
1982
1982
Optimization of Clostridium thermocellum growth on cellulose and pretreated wood substrates
J. Saddler
,
M. Chan
European Journal of Applied Microbiology and…
1982
Corpus ID: 20129247
SummaryTwo strains of Clostridium thermocellum ATCC 27405 and NRCC 2688 demonstrated similar product yields and cellulase…
Expand
1968
1968
FLOC FORMATION IN ACTIVATED SLUDGE:II. IDENTIFICATION OF TWELVE REPRESENTATIVE STRAINS ISOLATED FROM ACTIVATED SLUDGE
K. Kiuchi
,
H. Kuraishi
,
H. Murooka
,
K. Aida
,
T. Uemura
1968
Corpus ID: 90714092
The determination studies were carried out on 12 representative bacteria which were isolated from activated sludge (1), and the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE