-
Article
Domains via graphs
This paper provides a concrete and simple introduction to two pillars of domain theory: (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winsk...
-
Article
Semantics of sub-probabilistic programs
The aim of this paper is to extend the probabilistic choice in probabilistic programs to sub-probabilistic choice, i.e., of the form (p)P ⋈(q)Q where p + q ⩽ 1. It means that program P is ...
-
Article
Two-thirds simulation indexes and modal logic characterization
Two-thirds simulation provides a kind of abstract description of an implementation with respect to a specification. In order to characterize the approximate two-thirds simulation, we propose the definition of ...
-
Article
A new metric model for trustworthiness of softwares
As people depend more and more on softwares, there has been an increasing demand for the trustworthiness of the software. To measure the trustworthiness of software, we need to design appropriate trustworthy m...
-
Article
Open AccessContinental subduction channel processes: Plate interface interaction during continental collision
The study of subduction-zone processes is a key to development of the plate tectonic theory. Plate interface interaction is a basic mechanism for the mass and energy exchange between Earth’s surface and interi...
-
Article
Fabrication of W-Cu alloy via combustion synthesis infiltration under an ultra-gravity field
Tungsten copper alloy with a tungsten concentrate of 70 vol% was prepared by self-propagating high-temperature synthesis in an ultra-gravity field. The phase structures and components of the W-Cu alloy fabrica...
-
Article
Complexity measure based on program slicing and its validation
The popular single-factor complexity measure cannot comprehensively reflect program complexity and the existing hybrid complexity measure cannot express the interactive behaviors of programs. To treat these pr...
-
Article
Timed-pNets: a communication behavioural semantic model for distributed systems
This paper presents an approach to build a communication behavioural semantic model for heterogeneous distributed systems that include synchronous and asynchronous communications. Since each node of such syste...
-
Article
Develo** plate tectonics theory from oceanic subduction zones to collisional orogens
Crustal subduction and continental collision is the core of plate tectonics theory. Understanding the formation and evolution of continental collision orogens is a key to develop the theory of plate tectonics....
-
Article
Anomalous spontaneous electrical potential characteristics of epi-karst in the Longrui Depression, Southern Guangxi Province, China
This paper examines the use of the temporal and spatial distribution of natural electric fields in karst depressions to detect shallow groundwater resources. Under specific osmotic pressures, vadose water is f...
-
Article
Connection models for the Internet-of-Things
The Internet-of-Things (IoT) is expected to swamp the world. In order to study and understand the emergent behaviour of connected things, effective support for their modelling is needed. At the heart of IoT ar...
-
Article
A verification framework for spatio-temporal consistency language with CCSL as a specification language
The Spatio-Temporal Consistency Language (STeC) is a high-level modeling language that deals natively with spatio-temporal behaviour, i.e., behaviour relating to certain locations and time. Such restriction by...
-
Article
Reaction Behavior, Microstructure, and Radiative Properties of In Situ ZrB2-SiC Ceramic Composites from a Si-Zr-B4C System
The present work focuses on the in situ self-propagating high-temperature synthesis (SHS) of ZrB2-SiC (ZS) ceramic composites in a Si-Zr-B4C system. The reaction process characteristics, microstructure and radiat...
-
Article
Redox processes in subduction zones: Progress and prospect
Oxygen fugacity (fO2) is an intensive variable that describes the redox state of a system. By controlling the valence state of multivalent elements, fO2 affects the stability of iron-bearing minerals, dominants t...
-
Article
Open AccessPML-II regulates ERK and AKT signal activation and IFNα-induced cell death
The requirement of promyelocytic leukaemia protein (PML) in interferon (IFN)-induced cell apoptosis is well-established. However, the exact mechanisms by which the multiple isoforms of PML protein participate ...
-
Article
Intelligently assembly of W18O49 nanorod clusters with directionally generated oxygen vacancies and excellent electrochemical properties
Mixed-valence metallic compounds are a class of functional materials with peculiar electrochemical properties. Exploring the correlation between defects and corrosion resistance of mixed-valence metallic compo...
-
Article
Tectonic evolution of convergent plate margins and its geological effects
Oceanic lithosphere is generated at divergent plate boundaries and disappears at convergent plate boundaries. Seafloor spreading and plate subduction together constitute the physical coupling and mass conserva...
-
Article
Open AccessPhotodimerization induced hierarchical and asymmetric iontronic micropatterns
Micropatterning various ion-based modality materials offers compelling advantages for functionality enhancement in iontronic pressure sensing, piezoionic mechanoreception, and skin-interfaced electrode adhesio...
-
Article
Adhesive conductive hydrogels with wrinkled Janus surface and ultra-high sensitivity used as strain sensors
Conductive hydrogels have attracted enormous attention in wearable electronic devices due to considerable flexibility and similarity with human skin. Since the majority of hydrogels were fabricated by one-pot ...
-
Article
Stretchable, self-adhesive and self-healing ionic gels with double-network structure used as biopotential electrodes for ECG monitoring
While ionic gels are developed due to the good stability brought by ionic liquids, ionic gels for use in practical environments need to have good mechanical properties, self-healing properties, and fatigue res...