Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (4)
- Algebra (3)
- Biomedical Engineering and Bioengineering (3)
- Computer Engineering (3)
- Computer Sciences (3)
-
- Logic and Foundations (3)
- Mathematics (3)
- Other Computer Engineering (3)
- Other Computer Sciences (3)
- Other Mathematics (3)
- Biochemistry, Biophysics, and Structural Biology (2)
- Life Sciences (2)
- Medicine and Health Sciences (2)
- Molecular, Cellular, and Tissue Engineering (2)
- Nanomedicine (2)
- Nanoscience and Nanotechnology (2)
- Nanotechnology (2)
- Other Biochemistry, Biophysics, and Structural Biology (2)
- Analytical, Diagnostic and Therapeutic Techniques and Equipment (1)
- Bacterial Infections and Mycoses (1)
- Bioethics and Medical Ethics (1)
- Biological Engineering (1)
- Biophysics (1)
- Biotechnology (1)
- Chemical Engineering (1)
- Chemicals and Drugs (1)
- Chemistry (1)
- Community Health (1)
- Community Health and Preventive Medicine (1)
- Keyword
-
- Display calculus (2)
- Hydroxyapatite (2)
- Antimicrobials (1)
- Assemblies (1)
- Biomaterials (1)
-
- Biomedical (1)
- Biomedical engineering (1)
- Biomedicine (1)
- Biophysics (1)
- Biotechnology (1)
- Calcium phosphate (1)
- Colloidal building blocks (1)
- Colloids (1)
- Constructs (1)
- Drug delivery (1)
- Dynamic epistemic logic (1)
- Hydrothermal (1)
- Lab-on-a-chip (1)
- Microgens (1)
- Modularity (1)
- Multi-type proofsystem (1)
- Multi-type system (1)
- Nanomaterials (1)
- Nanotechnology (1)
- Nanowires (1)
- Particle size distribution (1)
- Polyelectrolyte constructs (1)
- Propositional dynamic logic (1)
- Social responsibility (1)
- Sustainability (1)
Articles 1 - 7 of 7
Full-Text Articles in Engineering
Microfluidic Cantilever Detects Bacteria And Measures Their Susceptibility To Antibiotics In Small Confined Volumes, Hashem Etayash, M. F. Khan, Kamaljit Kaur, Thomas Thundat
Microfluidic Cantilever Detects Bacteria And Measures Their Susceptibility To Antibiotics In Small Confined Volumes, Hashem Etayash, M. F. Khan, Kamaljit Kaur, Thomas Thundat
Pharmacy Faculty Articles and Research
In the fight against drug-resistant bacteria, accurate and high-throughput detection is essential. Here, a bimaterial microcantilever with an embedded microfluidic channel with internal surfaces chemically or physically functionalized with receptors selectively captures the bacteria passing through the channel. Bacterial adsorption inside the cantilever results in changes in the resonance frequency (mass) and cantilever deflection (adsorption stress). The excitation of trapped bacteria using infrared radiation (IR) causes the cantilever to deflect in proportion to the infrared absorption of the bacteria, providing a nanomechanical infrared spectrum for selective identification. We demonstrate the in situ detection and discrimination of Listeria monocytogenes at a …
Hydrothermally Processed 1d Hydroxyapatite: Mechanism Of Formation And Biocompatibility Studies, Zoran Stojanović, Nenad Ignjatović, Victoria M. Wu, Vojca Žunič, Ljiljana Veselinović, Srečo D. Škapin, Miroslav Miljković, Vuk Uskoković, Dragab Uskoković
Hydrothermally Processed 1d Hydroxyapatite: Mechanism Of Formation And Biocompatibility Studies, Zoran Stojanović, Nenad Ignjatović, Victoria M. Wu, Vojca Žunič, Ljiljana Veselinović, Srečo D. Škapin, Miroslav Miljković, Vuk Uskoković, Dragab Uskoković
Pharmacy Faculty Articles and Research
Recent developments in bone tissue engineering have led to an increased interest in one-dimensional (1D) hydroxyapatite (HA) nano- and micro-structures such as wires, ribbons and tubes. They have been proposed for use as cell substrates, reinforcing phases in composites and carriers for biologically active substances. Here we demonstrate the synthesis of 1D HA structures using an optimized, urea-assisted, high-yield hydrothermal batch process. The one-pot process, yielding HA structures composed of bundles of ribbons and wires, was typified by the simultaneous occurrence of a multitude of intermediate reactions, failing to meet the uniformity criteria over particle morphology and size. To overcome …
Calcium Phosphate As A Key Material For Socially Responsible Tissue Engineering, Vuk Uskoković, Victoria M. Wu
Calcium Phosphate As A Key Material For Socially Responsible Tissue Engineering, Vuk Uskoković, Victoria M. Wu
Pharmacy Faculty Articles and Research
Socially responsible technologies are designed while taking into consideration the socioeconomic, geopolitical and environmental limitations of regions in which they will be implemented. In the medical context, this involves making therapeutic platforms more accessible and affordable to patients in poor regions of the world wherein a given disease is endemic. This often necessitates going against the reigning trend of making therapeutic nanoparticles ever more structurally complex and expensive. However, studies aimed at simplifying materials and formulations while maintaining the functionality and therapeutic response of their more complex counterparts seldom provoke a significant interest in the scientific community. In this review …
Enabling Method To Design Versatile Biomaterial Systems From Colloidal Building Blocks, Shalini Saxena, L. Andrew Lyon
Enabling Method To Design Versatile Biomaterial Systems From Colloidal Building Blocks, Shalini Saxena, L. Andrew Lyon
Biology, Chemistry, and Environmental Sciences Faculty Articles and Research
Development of materials with fine spatial control over topographical, mechanical, or chemical features has been investigated for a variety of applications. Here we present a method to fabricate an array of polyelectrolyte constructs including two-dimensionally and three-dimensionally patterned assemblies using both compressible and incompressible colloidal building blocks. This method eliminates prior constraints associated with specific chemistries, and can be used to develop modular, multi-component, patterned assemblies. In particular, development of constructs were investigated using microgels, which are colloidally stable hydrogel microparticles, polystyrene (PS) beads, and PS-microgel core-shell building blocks in conjunction with the polycation poly(ethyleneimine) (PEI). The topography, mechanical properties, …
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić
Engineering Faculty Articles and Research
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut …
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Engineering Faculty Articles and Research
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …