Results 81 to 90 of about 82,016 (303)

Extraction of Abstraction Invariants for Data Refinement [PDF]

, 2002
In this paper we describe an approach to generating abstraction invariants for data refinement from specifications mixing B and CSP notations. A model-checker is used to check automatically refinement of the CSP parts.
Doche, Marielle, Gravell, Andrew M
core   +2 more sources

Developments in Solar Heat Applications

SolarPACES Conference Proceedings
The publication provides an insight into current developments in solar thermal process heat generation. In the first chapter, the experiences with the commissioning of a parabolic trough field at a chemical factory in Turnhout, Belgium are shared ...
Dirk Krüger, Bärbel Epp, Timo Zippler, Jakob Leicht, Stefan Mehnert, Gregor Bern, Martin Scheuerer, Mark Schmitz, Navina Konz   +8 more
doaj   +1 more source

The Expressiveness of CSP With Priority

Electronic Notes in Theoretical Computer Science, 2015
AbstractThe author previously [A.W. Roscoe, On the expressiveness of CSP, https://www.cs.ox.ac.uk/files/1383/expressive.pdf, 2011; A.W. Roscoe, Understanding concurrent systems, Springer 2010] defined CSP-like operational semantics whose main restrictions were the automatic promotion of most τ actions, no cloning of running processes, and no negative ...
openaire   +1 more source

What Makes an “Ideal” Cell Line for Recombinant Adeno‐Associated Virus Production?

Biotechnology and Bioengineering, EarlyView.
Several host cell types have been used to produce rAAVs to date. Cell line‐specific traits that are beneficial in the context of rAAV manufacturing are reviewed here, with the goal of developing a consensus on the ‘ideal’ characteristics that an rAAV production host should possess (created with Biorender.com).
James Conheady, Nicholas Donohue, Alexandra Bogdanovic, Sharon Davin, Brian Glennon, Niall Barron, C. Mark Smales   +6 more
wiley   +1 more source

A Case Study of the Omani Electricity Network and Readiness for Solar Energy Integration

Journal of Sustainable Design and Applied Research in Innovative Engineering of the Built Environment, 2017
In this paper a study is made of the electricity network of the Sultanate of Oman. The electricity industry of Oman currently relies on almost 100% fossil fuels – with natural gas (97.5%) and diesel oil (2.5%) being the primary sources of electricity ...
Eugene Coyle
doaj   +1 more source

Combinatorial Metabolic Engineering of Alkane Biosynthesis in the Osmotolerant Yeast Debaryomyces hansenii CBS 767

Biotechnology and Bioengineering, EarlyView.
ABSTRACT Debaryomyces hansenii is a yeast with diverse potential applications like producing oleochemicals from biomass. Yet, combinatorial metabolic engineering in D. hansenii is limited because, like many nonconventional organisms, key genomic data and genetic elements are missing. Here, we report phenotypic characterization, genomic integration loci,
Zekun Li, Nilesh Kumar Sharma, Sarah Weintraub, Eric Young   +3 more
wiley   +1 more source

Study of The Optical Properties of Copper Oxide Thin Films Prepared by Chemical Spray Pyrolysis Technique [PDF]

مجلة التربية والعلم
In this paper, thin films of Copper Oxide (CuO) were deposited on glass substrates using the chemical spray pyrolysis method at different temperatures (300, 350 and 400)°C under a pressure of 2 bar.
Omar Ayed, Mushtaq Al-Jubbori, Hanan Algdirree   +2 more
doaj   +1 more source

Beyond antimicrobials: Ecological nano‐strategies for rebalancing dysbiotic oral microbial homeostasis

BMEMat, EarlyView.
Oral microbial homeostasis, a dynamic host‐microbe balance, is vital in infectious diseases. Conventional antibiotics often disrupt this homeostasis, spurring interest in nanomaterials for oral microbial homeostasis rebalancing. This review outlines nanomaterial strategies across three ecological levels (population/community, ecosystem, and cross ...
Chen Hu, Aohan Luan, Yujun Yang, Linlin Wang, Huilin Wang, Ning Wang, Guixin He, Yajie Yang, Rabiya Noor, Jawad Hussain, Longquan Shao   +10 more
wiley   +1 more source

Do Big Data Analytics and Artificial Intelligence Enhance Corporate Sustainability? The Moderating Roles of Regulation and Management Support

Business Strategy and the Environment, EarlyView.
ABSTRACT We examine the effects of big data analytics (BDA) and artificial intelligence (AI) on corporate sustainability performance, specifically investigating the influence of regulatory pressure and top management support. Utilizing hierarchical regression analysis on questionnaire data from 220 Chinese manufacturing firms, we find that both BDA and
Mandella Osei‐Assibey Bonsu, Li Kaodui, Linrong Zhang   +2 more
wiley   +1 more source

Classification of Motor Functions from Electroencephalogram (EEG) Signals Based on an Integrated Method Comprised of Common Spatial Pattern and Wavelet Transform Framework

Sensors, 2019
In this work, an algorithm for the classification of six motor functions from an electroencephalogram (EEG) signal that combines a common spatial pattern (CSP) filter and a continuous wavelet transform (CWT), is investigated.
Norashikin Yahya, Huwaida Musa, Zhong Yi Ong, Irraivan Elamvazuthi   +3 more
doaj   +1 more source