244 research outputs found
Thomas Cochis, Biology Faculty
No full textThomas Cochis was a member of the Biology faculty at Jacksonville State University in 1967-1968.https://digitalcommons.jsu.edu/lib-ac-histimg/27478/thumbnail.jp
Cochis: Deterministic and coherent implicits
No full textImplicit Progamming (IP) mechanisms infer values by a type-directed resolution process, making programs more compact and easier to read. Examples of IP mechanisms include Haskell's type classes, Scala's implicits, Agda's instance arguments, Coq's type classes, and Rust's traits. The design of IP mechanisms has led to heated debate: proponents of one school argue the desirability of coherence, ensuring each implicit has a unique resolution; while proponents of another school argue for the power and flexibility of local scoping or overlapping instances. The current state-of-affairs seems to indicate the two goals are at odds with one another, and cannot easily be reconciled.
This paper presents Cochis, the Calculus Of CoHerent ImplicitS, an improved variant of the implicit calculus that offers flexibility while preserving coherence and avoiding ambiguity. Cochis supports local scoping, overlapping instances, first-class instances, and higher-order rules, while remaining type safe and coherent.
Cochis has a compact formulation. We introduce a logical formulation of how to resolve implicits, which is simple but ambiguous and incoherent, and a second formulation, which is less simple but unambiguous and coherent. Every resolution of the second formulation is also a resolution of the first, but not conversely. Parts of the second formulation bear a close resemblance to a standard technique for proof search called focussing.status: Publishe
Data on the influence of inorganic clays to improve mechanical and healing properties of antibacterial Gellan gum-Manuka honey hydrogels
No full textThis work contains original data supporting our research paper “Advances in cartilage repair: the influence of inorganic clays to improve mechanical and healing properties of antibacterial Gellan gum-Manuka honey hydrogels”, by Maria A. Bonifacio, Andrea Cochis, Stefania Cometa, Annachiara Scalzone, Piergiorgio Gentile, Giuseppe Procino, Serena Milano, Alessandro C. Scalia, Lia Rimondini, Elvira De Giglio [1]. The main paper describes how four different clays (i.e., mesoporous silica, bentonite and halloysite nanotubes, coded as MS, BE and HNT) as cheap, abundant and versatile feed materials can be used for the preparation of highly performant hydrogels as cartilage substitutes, based on Gellan Gum (GG) and Manuka Honey (MH). Here the composites were further examined by means of Thermogravimetric Analysis (TGA), histological analysis (Alcian blue and Safranin-O) and static compression tests. This set of data strengthens the evidence that these hydrogels possess biological and physicochemical characteristics suitable for their application as reinforcing inorganic fillers in composite materials designed for cartilage regeneration
From emplacement to Virtuality: A sociomaterial Perspective on the Emotional Transformations in Coworking Spaces during COVID-19
No full textDr. Tom Cochis, 1975-1976 Biology Faculty 2
No full textDr. Tom Cochis, a biology professor at Jacksonville State University, engages in one of his favorite occupations of taking care of plants. (circa November 17, 1975)https://digitalcommons.jsu.edu/lib_ac_histimg_1970/1301/thumbnail.jp
Dr. Tom Cochis, 1975-1976 Biology Faculty 1
No full textDr. Tom Cochis, a biology professor at Jacksonville State University, engages in one of his favorite occupations of taking care of plants. (circa November 17, 1975)https://digitalcommons.jsu.edu/lib_ac_histimg_1970/1300/thumbnail.jp
Parameters estimation of a PEM fuel cell polarization curve and analysis of their behavior with temperature
No full textThe paper shows and discusses a procedure of parameter estimation applied to the evaluation of some operating parameters of a proton-exchange membrane fuel cell (PEMFC). First, a brief literature review about the main parameters (exchange current density, cell resistance, internal current density and limiting current density) has been done. Then the analytical model adopted to describe the polarization curve has been discussed. Based on this model, a parameter analysis has been done, and it has been shown that three parameters of the cell polarization curve model can be simultaneously estimated: the cathode exchange current density, the cell resistance and the internal current density. To evaluate these parameters both a set of our measurements on a PEM single cell (active area of 25 cm2 and Nafion 115 membrane) and data from other authors has been considered. The cell has been fed with pure hydrogen and air, the cell temperature has been varied from 50°C to 80°C, and accordingly the reactants have been introduced in the cell humidified at the same temperature. The parameters have been estimated in each operating conditions of the cell, and their behavior, as a function of the cell operating temperature, has been discusse
COCHIS: Stable and Coherent Implicits
No full textImplicit Progamming (IP) mechanisms infer values by type-directed
resolution, making programs more compact and easier to read.
Examples of IP mechanisms include Haskell's type classes, Scala's
implicits, Agda's instance arguments, Coq's type classes, and Rust's
traits. The design of IP mechanisms has led to heated debate:
proponents of one school argue for the desirability of strong
reasoning properties; while proponents of another
school argue for the power and flexibility of local scoping or
overlapping instances. The current state of affairs seems to indicate that
the two goals are at odds with one another and cannot easily be
reconciled.
This paper presents COCHIS, the Calculus Of CoHerent ImplicitS,
an improved variant of the implicit calculus that offers flexibility
while preserving two key properties: coherence and stability of type substitutions. COCHIS supports
polymorphism, local scoping,
overlapping instances, first-class instances, and higher-order
rules, while remaining type safe, coherent and stable under type substitution.
We introduce a logical formulation of how to resolve implicits, which is simple
but ambiguous and incoherent, and a second formulation, which is less simple
but unambiguous, coherent and stable. Every resolution
of the second formulation is also a resolution of the first, but not
conversely. Parts of the second formulation bear a close resemblance
to a standard technique for proof search called focusing. Moreover,
key for its coherence is a rigorous enforcement of determinism.sponsorship: We are very grateful for the feedback of the anonymous reviewers. This work was partially supported by the Hong Kong Research Grant Council projects number 27200514 and 17258816, and by the Flemish Fund for Scientific Research (FWO). (Hong Kong Research Grant Council|27200514, Hong Kong Research Grant Council|17258816, Flemish Fund for Scientific Research (FWO), EPSRC|EP/K034413/1)status: Published onlin
Current advances in the regeneration of degenerated articular cartilage: A literature review on tissue engineering and its recent clinical translation
No full textFunctional ability is the basis of healthy aging. Articular cartilage degeneration is amongst the most prevalent degenerative conditions that cause adverse impacts on the quality of life; moreover, it represents a key predisposing factor to osteoarthritis (OA). Both the poor capacity of articular cartilage for self-repair and the unsatisfactory outcomes of available clinical interventions make innovative tissue engineering a promising therapeutic strategy for articular cartilage repair. Significant progress was made in this field; however, a marked heterogeneity in the applied biomaterials, biofabrication, and assessments is nowadays evident by the huge number of research studies published to date. Accordingly, this literature review assimilates the most recent advances in cell-based and cell-free tissue engineering of articular cartilage and also focuses on the assessments performed via various in vitro studies, ex vivo models, preclinical in vivo animal models, and clinical studies in order to provide a broad overview of the latest findings and clinical translation in the context of degenerated articular cartilage and OA
- …
