Hardgrounds represent synsedimentary cemented stratigraphic beds that form at or near the seafloor. Borings a key line of evidence for investigations hardground development and record evolution bioerosion boring organisms. The unequivocal identification borings is done through crosscutting relationship between proposed hard substrate, such as lithoclasts and/or shells, with morphological criter...

Categorical models of the metalanguage FPC (a type theory with sums, products, exponentials and recursive types) are defined. Then, domain-theoretic models of FPC are axiomatised and a wide subclass of them —the non-trivial and absolute ones— are proved to be both computationally sound and adequate. Examples include: the category of cpos and partial continuous functions and functor categories o...

The frontopolar cortex (FPC), the most anterior part of the lateral prefrontal cortex corresponding to Brodmann’s area 10, is involved in human high-order cognition, including reasoning, problem-solving and multitasking. Its specific contribution to prefrontal executive function, however, remains unclear. A neurocomputational model suggests that the FPC implements a basic process referred to as...

Results Of the 3989 chlamydia tests requested (2237 GP, 537 FPC, and 115 hospital), 154 were positive (85 GP, 31 FPC, 38 hospital) giving prevalence rates in those tested of 3.6%, 5.8%, and 3.4% respectively. Data were available for analysis on 127 patients: 68 GP (64 F, 4M), 21 FPC (21F), and 38 hospital (33F, 5M) (see table 1). A doctor was more likely to give a positive result than another m...

Synopsis Categorical models of the metalanguage FPC (a type theory with sums, products, exponentials and recursive types) are deened. Then, domain-theoretic models of FPC are axiomatised and a wide subclass of them |the non-trivial and absolute ones| are proved to be both computationally sound and adequate. Examples include: the category of cpos and partial continuous functions and functor cate...

Single frequency acoustic scattering from an uncertain surface (with sinusoidal components) admits an efficient Fourier-polynomial chaos (FPC) expansion of the acoustic field. The expansion coefficients are computed nonintrusively, i.e., by functional sampling from existing acoustic models. The structure of the acoustic decomposition permits sparse selection of FPC orders within the framework o...

PURPOSE Familial pancreatic cancer describes families with at least two first-degree relatives with pancreatic cancer that do not fulfil the criteria of other inherited tumor syndromes with increased risks of pancreatic cancer. Although much has been learned regarding the aggregation of pancreatic cancer in some families, the genetic basis for this familial aggregation is poorly understood. Thi...

STUDY QUESTION How do female patients experience fertility preservation (FP) consultation (FPC) with a specialist in reproductive medicine and subsequent decision-making on FP? SUMMARY ANSWER Most patients had positive experiences with FPC, but negative experiences were found to be associated with decisional conflict and decision regret. WHAT IS KNOWN ALREADY When confronted with a need for...

We apply the foundational proof certificate (FPC) framework to the problem of designing high-level outlines of proofs. The FPC framework provides a means to formally define and check a wide range of proof evidence. A focused proof system is central to this framework and such a proof system provides an interesting approach to proof reconstruction during the process of proof checking (relying on ...