Search results: Found 14

Listing 1 - 10 of 14 << page
of 2
>>
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 Nature 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.&#xD;&#xD;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.

Affective Justice

Author:
ISBN: 9781478090304 9781478007388 9781478006701 9781478005759 Year: Pages: 384 DOI: 10.1215/9781478090304 Language: English
Publisher: Duke University Press
Subject: Law
Added to DOAB on : 2020-03-28 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

Since its inception in 2001, the International Criminal Court (ICC) has been met with resistance by various African states and their leaders, who see the court as a new iteration of colonial violence and control. In Affective Justice Kamari Maxine Clarke explores the African Union's pushback against the ICC in order to theorize affect's role in shaping forms of justice in the contemporary period. Drawing on fieldwork in The Hague, the African Union in Addis Ababa, sites of postelection violence in Kenya, and Boko Haram's circuits in Northern Nigeria, Clarke formulates the concept of affective justice—an emotional response to competing interpretations of justice—to trace how affect becomes manifest in judicial practices. By detailing the effects of the ICC’s all-African indictments, she outlines how affective responses to these call into question the "objectivity" of the ICC’s mission to protect those victimized by violence and prosecute perpetrators of those crimes. In analyzing the effects of such cases, Clarke provides a fuller theorization of how people articulate what justice is and the mechanisms through which they do so.

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.

Drop, Bubble and Particle Dynamics in Complex Fluids

Authors: ---
ISBN: 9783039282968 9783039282975 Year: Pages: 142 DOI: 10.3390/books978-3-03928-297-5 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2020-04-07 23:07:09
License:

Loading...
Export citation

Choose an application

Abstract

The presence of drops, bubbles, and particles affects the behavior and response of complex multiphase fluids. In many applications, these complex fluids have more than one non-Newtonian component, e.g., polymer melts, liquid crystals, and blood plasma. In fact, most fluids exhibit non-Newtonian behaviors, such as yield stress, viscoelastity, viscoplasticity, shear thinning, or shear thickening, under certain flow conditions. Even in the complex fluids composed of Newtonian components, the coupling between different components and the evolution of internal boundaries often lead to a complex rheology. Thus the dynamics of drops, bubbles, and particles in both Newtonian fluids and non-Newtonian fluids are crucial to the understanding of the macroscopic behavior of complex fluids. This Special Issue aims to gather a wide variety of papers that focus on drop, bubble and particle dynamics in complex fluids. Potential topics include, but are not limited to, drop deformation, rising drops, pair-wise drop interactions, drop migration in channel flows, and the interaction of particles with flow systems such as pastes and slurries, glasses, suspensions, and emulsions. We emphasize numerical simulations, but also welcome experimental and theoretical contributions.

Electronically Active Textiles

Author:
ISBN: 9783039281442 9783039281459 Year: Pages: 90 DOI: 10.3390/books978-3-03928-145-9 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Arts in general
Added to DOAB on : 2020-04-07 23:07:08
License:

Loading...
Export citation

Choose an application

Abstract

Electronically Active Textiles (e-textiles) are a type of textile material that has some form of electronic functionality. This can be achieved by attaching electronics onto the surface of the textile, incorporating electronic components as part of the fabrication of the textile itself, or by integrating electronics into the yarns or fibers that comprises the textile. The addition of electronic components can give textiles a wide range of new functions from lighting or heating to advanced sensing capabilities. As such, e-textiles have provided a platform for developing a range of new novel products in fields, such as healthcare, sports, protection, transport, and communications. The purpose of this volume is to report on the advances in the integration of electronics into textiles, and presents original research in the field of e-textiles as well as a comprehensive review of the evolution of e-Textiles. Topics include the fabrication and illumination of e-textiles and the use of e-textiles for temperature sensing.

Flexible Electronics: Fabrication and Ubiquitous Integration

Author:
ISBN: 9783038978282 9783038978299 Year: Pages: 160 DOI: 10.3390/books978-3-03897-829-9 Language: English
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: English
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: English
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

Listing 1 - 10 of 14 << page
of 2
>>
Sort by