Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Algebra (5)
- Computer Engineering (5)
- Computer Sciences (5)
- Logic and Foundations (5)
- Mathematics (5)
-
- Other Computer Engineering (5)
- Other Computer Sciences (5)
- Other Mathematics (5)
- Physical Sciences and Mathematics (5)
- Biomedical Engineering and Bioengineering (2)
- Biomaterials (1)
- Medicine and Health Sciences (1)
- Molecular, Cellular, and Tissue Engineering (1)
- Nanoscience and Nanotechnology (1)
- Nanotechnology (1)
- Other Biomedical Engineering and Bioengineering (1)
- Other Engineering (1)
- Other Psychology (1)
- Personality and Social Contexts (1)
- Psychology (1)
- Social Psychology (1)
- Social and Behavioral Sciences (1)
- Keyword
-
- Coalgebra (3)
- ASD (1)
- Abstract GSOS (1)
- Algebra (1)
- Apatite (1)
-
- Autism (1)
- Bekic lemma (1)
- Bone (1)
- Calcium phosphate (1)
- Category theory (1)
- Coalgebraic logic (1)
- Collaborative games (1)
- Cooperation (1)
- Distributive laws (1)
- Duality (1)
- Economics (1)
- Enriched category (1)
- Epistemic game theory (1)
- Equational presentation (1)
- Final coalgebra (1)
- Functional programming (1)
- IPad (1)
- Infinite data (1)
- Monad (1)
- Nanoparticle (1)
- Positive modal logic (1)
- Programming language semantics (1)
- Quantale (1)
- Scaffold (1)
- Social (1)
Articles 1 - 8 of 8
Full-Text Articles in Engineering
When 1 + 1 > 2: Nanostructured Composites For Hard Tissue Engineering Applications, Vuk Uskoković
When 1 + 1 > 2: Nanostructured Composites For Hard Tissue Engineering Applications, Vuk Uskoković
Pharmacy Faculty Articles and Research
Multicomponent, synergistic and multifunctional nanostructures have taken over the spotlight in the realm of biomedical nanotechnologies. The most prospective materials for bone regeneration today are almost exclusively composites comprising two or more components that compensate for the shortcomings of each one of them alone. This is quite natural in view of the fact that all hard tissues in the human body, except perhaps the tooth enamel, are composite nanostructures. This review article highlights some of the most prospective breakthroughs made in this research direction, with the hard tissues in main focus being those comprising bone, tooth cementum, dentin and enamel. …
Evaluating A Collaborative Ipad Game's Impact On Social Relationships For Children With Autism Spectrum Disorder, Louanne E. Boyd, Kathryn E. Ringland, Oliver L. Haimson, Helen Fernandez, Maria Bistarkey, Gillian R. Hayes
Evaluating A Collaborative Ipad Game's Impact On Social Relationships For Children With Autism Spectrum Disorder, Louanne E. Boyd, Kathryn E. Ringland, Oliver L. Haimson, Helen Fernandez, Maria Bistarkey, Gillian R. Hayes
Engineering Faculty Articles and Research
This article describes how collaborative assistive technologies, housed on off-the-shelf, low-cost platforms such as the iPad, can be used to facilitate social relationships in children with autism spectrum disorder (ASD). Through an empirical study of the use of a collaborative iPad game, Zody, we explore how assistive technologies can be used to support social relationships, even without intervention from adults. We discuss how specific design choices can encourage three levels of social relationship: membership, partnership, and friendship. This work contributes to research on both assistive technologies and collaborative gaming through a framework that describes how specific in-game elements can foster …
Portable Polarimetric Fiber Stress Sensor System For Visco-Elastic And Biomimetic Material Analysis, Mark C. Harrison, Andrea M. Armani
Portable Polarimetric Fiber Stress Sensor System For Visco-Elastic And Biomimetic Material Analysis, Mark C. Harrison, Andrea M. Armani
Engineering Faculty Articles and Research
Non-destructive materials characterization methods have significantly changed our fundamental understanding of material behavior and have enabled predictive models to be developed. However, the majority of these efforts have focused on crystalline and metallic materials, and transitioning to biomaterials, such as tissue samples, is non-trivial, as there are strict sample handling requirements and environmental controls which prevent the use of conventional equipment. Additionally, the samples are smaller and more complex in composition. Therefore, more advanced sample analysis methods capable of operating in these environments are needed. In the present work, we demonstrate an all-fiber-based material analysis system based on optical polarimetry. …
Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil
Extensions Of Functors From Set To V-Cat, Adriana Balan, Alexander Kurz, Jirí Velebil
Engineering Faculty Articles and Research
We show that for a commutative quantale V every functor Set --> V-cat has an enriched left- Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.
Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil
Positive Fragments Of Coalgebraic Logics, Adriana Balan, Alexander Kurz, Jirí Velebil
Engineering Faculty Articles and Research
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also generalizes Dunn's result from Kripke frames to coalgebras for weak-pullback preserving functors. To facilitate this analysis we prove a number of category theoretic results on …
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Coalgebraic Semantics Of Reflexive Economics (Dagstuhl Seminar 15042), Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Engineering Faculty Articles and Research
This report documents the program and the outcomes of Dagstuhl Seminar 15042 “Coalgebraic Semantics of Reflexive Economics”.
Approximation Of Nested Fixpoints, Alexander Kurz
Approximation Of Nested Fixpoints, Alexander Kurz
Engineering Faculty Articles and Research
The question addressed in this paper is how to correctly approximate infinite data given by systems of simultaneous corecursive definitions. We devise a categorical framework for reasoning about regular datatypes, that is, datatypes closed under products, coproducts and fixpoints. We argue that the right methodology is on one hand coalgebraic (to deal with possible nontermination and infinite data) and on the other hand 2-categorical (to deal with parameters in a disciplined manner). We prove a coalgebraic version of Bekic lemma that allows us to reduce simultaneous fixpoints to a single fix point. Thus a possibly infinite object of interest is …
Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot
Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot
Engineering Faculty Articles and Research
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation …