Search results: Found 10

Listing 1 - 10 of 10
Sort by
Dynamic Dispatch for Method Contracts Through Abstract Predicates (Book chapter)

Book title: Transactions on Modularity and Composition I

Authors: ---
ISBN: 9783319469690 Year: Pages: 30 DOI: 10.1007/978-3-319-46969-0 7 Language: English
Publisher: Springer Grant: FP7 Ideas: European Research Council - 258405
Subject: Computer Science
Added to DOAB on : 2018-03-04 11:02:29
License:

Loading...
Export citation

Choose an application

Abstract

Dynamic method dispatch is a core feature of object-oriented programming by which the executed implementation for a polymorphic method is only chosen at runtime. In this paper, we present a specification and verification methodology which extends the concept of dynamic dispatch to design-by-contract specifications. The formal specification language JML has only rudimentary means for polymorphic abstraction in expressions. We promote these to fully flexible specification-only query methods called model methods that can, like ordinary methods, be overridden to give specifications a new semantics in subclasses in a transparent and modular fashion. Moreover, we allow them to refer to more than one program state which give us the possibility to fully abstract and encapsulate two-state specification contexts, i.e., history constraints and method postconditions. Finally, we provide an elegant and flexible mechanism to specify restrictions on specifications in subtypes. Thus behavioural subtyping can be enforced, yet it still allows for other specification paradigms.

We provide the semantics for model methods by giving a translation into a first order logic and according proof obligations. We fully implemented this framework in the KeY program verifier and successfully verified relevant examples. We have also implemented an extension to KeY to support permission-based verification of concurrent Java programs. In this context model methods provide a modular specification method to treat code synchronisation through API methods.

Keywords

dispatch --- encapsulation --- ghost

Novel Biocomposite Engineering and Bio-Applications

Author:
ISBN: 9783038973829 / 9783038973836 Year: Pages: 215 DOI: 10.3390/books978-3-03897-383-6 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: General and Civil Engineering --- Biotechnology
Added to DOAB on : 2019-01-17 12:18:18
License:

Loading...
Export citation

Choose an application

Abstract

The engineering and utilization of biocomposites is a research field of major scientific and industrial interest worldwide. The biocomposite area is extensive and spans from structured and solid biocomposites (e.g., reinforced bioabsorbable polymers), films (e.g., antimicrobial barriers), to soft biocomposites (e.g., use of alginates, collagen and nanocellulose as components in bioinks for 3D bioprinting). Key aspects in this respect are the appropriate engineering and production of biomaterials, nanofibres, bioplastics, their functionalization enabling intelligent and active materials, processes for effective manufacturing of biocomposites and the corresponding characterization for understanding their properties.The current Special Issue emphasizes the bio-technological engineering of novel biomaterials and biocomposites, considering also important safety aspects in the production and use of bio- and nanomaterials.

Specification and verification of object-oriented software components

Author:
ISBN: 3866440421 Year: Pages: XVIII, 248 p. DOI: 10.5445/KSP/1000004542 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

Hydrogels in Tissue Engineering

Author:
ISBN: 9783038971214 9783038971221 Year: Pages: XII, 146 Language: Englisch
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Science (General) --- Medicine (General)
Added to DOAB on : 2018-08-24 16:21:01
License:

Loading...
Export citation

Choose an application

Abstract

Hydrogels are the foundation of regenerative medicine as a supportive matrix for cell immobilization and growth factor delivery. The fate of implanted cells is mediated by cell-matrix interaction at multiple scales and timed-release of growth factors to guide the differentiation and maturation of cells. Recently, there has been great interest in hydrogels with a hierarchical structure that mimics the complex interaction of cells with a microenvironment that can locally release growth factors to specific cells. Related topics in this Special Issue include hydrogels with a hierarchical structure; hybrid, degradable, and load-bearing hydrogels; hydrogels for cell encapsulation, micro-patterning, microfluidic devices, biofabrication, and high-throughput screening; and hydrogels that modulate the body’s immune response.

Flexible Electronics: Fabrication and Ubiquitous Integration

Author:
ISBN: 9783038978282 / 9783038978299 Year: Pages: 160 DOI: 10.3390/books978-3-03897-829-9 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering --- Electrical and Nuclear Engineering
Added to DOAB on : 2019-06-26 08:44:06
License:

Loading...
Export citation

Choose an application

Abstract

Flexible Electronics platforms are increasingly used in the fields of sensors, displays, and energy conversion with the ultimate goal of facilitating their ubiquitous integration in our daily lives. Some of the key advantages associated with flexible electronic platforms are: bendability, lightweight, elastic, conformally shaped, nonbreakable, roll-to-roll manufacturable, and large-area. To realize their full potential, however, it is necessary to develop new methods for the fabrication of multifunctional flexible electronics at a reduced cost and with an increased resistance to mechanical fatigue. Accordingly, this Special Issue seeks to showcase short communications, research papers, and review articles that focus on novel methodological development for the fabrication, and integration of flexible electronics in healthcare, environmental monitoring, displays and human-machine interactivity, robotics, communication and wireless networks, and energy conversion, management, and storage.

Development of CMOS-MEMS/NEMS Devices

Authors: ---
ISBN: 9783039210688 / 9783039210695 Year: Pages: 165 DOI: 10.3390/books978-3-03921-069-5 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-06-26 08:44:07
License:

Loading...
Export citation

Choose an application

Abstract

Micro and nano-electro-mechanical system (M/NEMS) devices constitute key technological building blocks to enable increased additional functionalities within Integrated Circuits (ICs) in the More-Than-Moore era, as described in the International Technology Roadmap for Semiconductors. The CMOS ICs and M/NEMS dies can be combined in the same package (SiP), or integrated within a single chip (SoC). In the SoC approach the M/NEMS devices are monolithically integrated together with CMOS circuitry allowing the development of compact and low-cost CMOS-M/NEMS devices for multiple applications (physical sensors, chemical sensors, biosensors, actuators, energy actuators, filters, mechanical relays, and others). On-chip CMOS electronics integration can overcome limitations related to the extremely low-level signals in sub-micrometer and nanometer scale electromechanical transducers enabling novel breakthrough applications. This Special Issue aims to gather high quality research contributions dealing with MEMS and NEMS devices monolithically integrated with CMOS, independently of the final application and fabrication approach adopted (MEMS-first, interleaved MEMS, MEMS-last or others).]

Biotechnological Applications of Phage and Phage-Derived Proteins

Authors: ---
ISBN: 9783039214419 / 9783039214426 Year: Pages: 236 DOI: 10.3390/books978-3-03921-442-6 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-12-09 11:49:15
License:

Loading...
Export citation

Choose an application

Abstract

Phages have shown a high biotechnological potential with numerous applications. The advent of high-resolution microscopy techniques aligned with omic and molecular tools have revealed innovative phage features and enabled new processes that can be further exploited for biotechnological applications in a wide variety of fields. The high-quality original articles and reviews presented in this Special Issue demonstrate the incredible potential of phages and their derived proteins in a wide range of biotechnological applications for human benefit. Considering the emergence of amazing new available bioengineering tools and the high abundance of phages and the multitude of phage proteins yet to be discovered and studied, we believe that the upcoming years will present us with many more fascinating and new previously unimagined phage-based biotechnological applications.

Keywords

gene expression regulation --- molecular probe --- macromolecular interactions --- phage-host interaction --- bacteriophage --- endolysin --- Clostridium perfringens --- alpha-sheet --- cancerous tumors --- capsid dynamics --- drug delivery vehicles --- native gel electrophoresis --- neurodegenerative disease --- pathogenic viruses --- phage display --- landscape phage --- major coat protein --- nanomedicine --- diagnostics --- biosensors --- M13 bacteriophage --- biofilm --- porous structure --- filters --- self-assembly --- T7phage library --- sarcoidosis --- tuberculosis --- microarray --- immunoscreening --- R-type pyocin --- bacteriocin --- contractile injection systems --- Pseudomonas aeruginosa --- X-ray crystallography --- receptor-binding protein --- Shigella flexneri --- bacteriophage --- tailspike proteins --- O-antigen --- serotyping --- microtiter plate assay --- fluorescence sensor --- bacteriophages --- encapsulation --- niosomes --- transfersomes --- liposomes --- Staphylococcus aureus --- phage --- Enterococcus faecalis --- Streptococcus agalactiae --- culture enrichment --- bacteriophage --- diagnostics --- Listeria monocytogenes --- endolysin --- magnetic separation --- reporter phage --- endolysin --- Pal --- Cpl-1 --- safety --- toxicity --- immune response --- Streptococcus pneumoniae --- self-assembly --- nanotubular structures --- tail sheath protein --- bacteriophage vB_EcoM_FV3 --- Appelmans --- bacteriophage evolution --- bacteriophage recombination --- phage therapy --- Pseudomonas aeruginosa --- antibiotic resistance --- bacteriophages --- Myoviridae --- bacteriophage-derived lytic enzyme --- enzybiotics --- endolysin --- in vitro activity --- ESKAPE --- n/a

Unconventional Anticancer Metallodrugs and Strategies to Improve their Pharmacological Profile

Author:
ISBN: 9783039213153 / 9783039213160 Year: Pages: 204 DOI: 10.3390/books978-3-03921-316-0 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Science (General) --- Biology --- Biochemistry
Added to DOAB on : 2019-12-09 11:49:15
License:

Loading...
Export citation

Choose an application

Abstract

For the past 40 years, metal-based drugs have been widely used for the treatment of cancer. Cisplatin and follow-up drugs carboplatin (ParaplatinTM) and oxaliplatin (EloxatinTM) have been the gold standard for metallodrugs in clinical settings as antineoplastic agents. While effective, these drugs (either alone or in combination therapy) have faced a number of clinical challenges resulting from their limited spectrum of activity, high toxicity leading to significant side effects, resistance, poor water solubility, low bioavailability and short circulating time. In the past 10 years, various unconventional non-platinum metal-based agents have emerged as a potential alternative for cancer treatment. These compounds are highly effective and selective in cancers resistant to cisplatin and other chemotherapeutic agents. Research in this area has recently exploded with a relevant number of patents and clinical trials, in addition to reports in scientific journals. Furthermore, in parallel to the synthesis of coordination and organometallic compounds comprising many different metals and unconventional platinum-based derivatives, researchers are focused on optimizing mechanistic and pharmacological features of promising drug candidates. This Special Issue aims to highlight the latest advances in anticancer metallodrugs with a focus on unconventional anticancer agents, as well as novel activation, targeting and delivery strategies aimed at improving their pharmacological profile.

Drug Delivery Technology Development in Canada

Authors: ---
ISBN: 9783039280049 / 9783039280056 Year: Pages: 352 DOI: 10.3390/books978-3-03928-005-6 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Medicine (General) --- Therapeutics
Added to DOAB on : 2020-01-07 09:21:22
License:

Loading...
Export citation

Choose an application

Abstract

Canada continues to have a rich history of ground-breaking research in drug delivery within academic institutions, pharmaceutical industry and the biotechnology community.

Keywords

doxorubicin --- MG63 --- Vitamin D --- DOX-Vit D --- hypoxia-induced chemoresistance --- cisplatin --- polymeric micelle --- EGFR-targeted therapy --- STAT3 --- HIF-1 --- GE11 peptide --- pharmacological Inhibitors of HIF-1 and STAT3 --- combination therapy --- pharmacokinetics --- antibodies --- radiolabeling --- biodistribution --- mouse models --- oral formulation --- amphotericin B --- fungal infections --- parasitic infections --- developing world --- drug delivery --- liposomes --- drug delivery systems --- innovation --- lipid nanoparticles --- Metaplex --- triggered drug release --- liposomes --- ultrasound --- magnetic fields --- radiation --- oral delivery --- biological barriers --- co-delivery --- throughput --- sustained delivery --- phospholipid complex --- rosmarinic acid --- bioaccessibility --- dissolution --- TNO gastrointestinal model --- gastrointestinal simulator --- phytosterols --- tocopherols --- liposomes --- canola oil deodorizer distillate --- model orange juice --- virus --- plant --- bacteriophage --- phage display --- drug discovery --- encapsulation --- drug delivery --- blood-brain barrier --- intra-arterial chemotherapy --- malignant gliomas --- primary central nervous system lymphomas --- transdermal drug delivery --- Canada --- skin --- permeation enhancers --- oral, head and neck squamous cell carcinoma --- targeted therapies --- drug delivery systems --- nanoparticles --- controlled drug delivery --- circadian clock --- chronotherapy --- precision medicine --- cationic gemini surfactant --- melphalan --- inclusion complex --- ROESY NMR spectroscopy --- 3D spheroid --- drug-resistant melanoma --- liposome --- water miscible solvents --- remote loading --- staurosporine --- cancer --- gambogic acid --- loading gradients --- mefloquine --- child friendly formulation --- blood-brain barrier (BBB) --- drug delivery --- transient modulation --- HAV6 cadherin peptide --- adenanthin --- magnetic resonance imaging (MRI) --- medulloblastoma --- drug delivery --- pharmaceutics --- drug development --- formulation and dosage form development --- translational research --- biologicals --- small molecules --- clinical trials --- pharmacokinetics --- medical devices --- route of administration --- nifedipine --- emulsion --- flavonoids --- topical formulation --- quercetin --- photostabilizers

Neural Microelectrodes: Design and Applications

Authors: ---
ISBN: 9783039213191 / 9783039213207 Year: Pages: 378 DOI: 10.3390/books978-3-03921-320-7 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-12-09 11:49:15
License:

Loading...
Export citation

Choose an application

Abstract

Neural electrodes enable the recording and stimulation of bioelectrical activity in the nervous system. This technology provides neuroscientists with the means to probe the functionality of neural circuitry in both health and disease. In addition, neural electrodes can deliver therapeutic stimulation for the relief of debilitating symptoms associated with neurological disorders such as Parkinson’s disease and may serve as the basis for the restoration of sensory perception through peripheral nerve and brain regions after disease or injury. Lastly, microscale neural electrodes recording signals associated with volitional movement in paralyzed individuals can be decoded for controlling external devices and prosthetic limbs or driving the stimulation of paralyzed muscles for functional movements. In spite of the promise of neural electrodes for a range of applications, chronic performance remains a goal for long-term basic science studies, as well as clinical applications. New perspectives and opportunities from fields including tissue biomechanics, materials science, and biological mechanisms of inflammation and neurodegeneration are critical to advances in neural electrode technology. This Special Issue will address the state-of-the-art knowledge and emerging opportunities for the development and demonstration of advanced neural electrodes.

Keywords

neural interface --- silicon carbide --- robust microelectrode --- microelectrode array --- liquid crystal elastomer --- neuronal recordings --- neural interfacing --- micro-electromechanical systems (MEMS) technologies --- microelectromechanical systems --- neuroscientific research --- magnetic coupling --- freely-behaving --- microelectrodes --- in vivo electrophysiology --- neural interfaces --- enteric nervous system --- conscious recording --- electrode implantation --- intracranial electrodes --- foreign body reaction --- electrode degradation --- glial encapsulation --- electrode array --- microelectrodes --- neural recording --- silicon probe --- three-dimensional --- electroless plating --- intracortical implant --- microelectrodes --- stiffness --- immunohistochemistry --- immune response --- neural interface response --- neural interface --- micromachine --- neuroscience --- biocompatibility --- training --- education --- diversity --- bias --- BRAIN Initiative --- multi-disciplinary --- micro-electromechanical systems (MEMS) --- n/a --- silicon neural probes --- LED chip --- thermoresistance --- temperature monitoring --- optogenetics --- microfluidic device --- chronic implantation --- gene modification --- neural recording --- neural amplifier --- microelectrode array --- intracortical --- sensor interface --- windowed integration sampling --- mixed-signal feedback --- multiplexing --- amorphous silicon carbide --- neural stimulation and recording --- insertion force --- microelectrodes --- neural interfaces --- intracortical --- microelectrodes --- shape-memory-polymer --- electrophysiology --- electrode --- artifact --- electrophysiology --- electrochemistry --- fast-scan cyclic voltammetry (FSCV) --- neurotechnology --- neural interface --- neuromodulation --- neuroprosthetics --- brain-machine interfaces --- intracortical implant --- microelectrodes --- softening --- immunohistochemistry --- immune response --- neural interface --- shape memory polymer --- deep brain stimulation --- fast scan cyclic voltammetry --- dopamine --- glassy carbon electrode --- magnetic resonance imaging --- system-on-chip --- neuromodulation --- bidirectional --- closed-loop --- sciatic nerve --- vagus nerve --- precision medicine --- neural probe --- intracortical --- microelectrodes --- bio-inspired --- polymer nanocomposite --- cellulose nanocrystals --- photolithography --- Parylene C --- impedance --- Utah electrode arrays --- electrode–tissue interface --- peripheral nerves --- wireless --- implantable --- microstimulators --- neuromodulation --- peripheral nerve stimulation --- neural prostheses --- microelectrode --- neural interfaces --- dextran --- neural probe --- microfabrication --- foreign body reaction --- immunohistochemistry --- polymer --- chronic --- electrocorticography --- ECoG --- micro-electrocorticography --- µECoG --- neural electrode array --- neural interfaces --- electrophysiology --- brain–computer interface --- in vivo imaging --- tissue response --- graphene --- n/a

Listing 1 - 10 of 10
Sort by
Narrow your search