Results 201 to 210 of about 3,436 (254)
Some of the next articles are maybe not open access.

CIP model-checking

2004
ISBN:3-8322-3424 ...
openaire   +2 more sources

INFEO and CIP

5th CCSDS Workshop. New Technologies, New Standards, 1998
The CEO Programme is a European Community funded programme for advancing the use of Earth Observation (EO) data. As part of this programme CEO is developing INFEO, an interoperable catalogue system that allows simultaneous searching of major EO data collections distributed all over the world. INFEO is based on CIP (Catalogue Interoperability Protocol),
openaire   +1 more source

Inhibitors of the Cip/Kip Family

1998
Although cyclin-dependent kinase inhibitors of the Cip/Kip family were the first to be discovered in mammalian cells, and they are the best characterized to date, fundamental mysteries remain concerning their biological roles and their regulation. The family, consisting so far of three members, is characterized by a C-terminal Cdk-inhibitory domain ...
L, Hengst, S I, Reed
openaire   +2 more sources

Comparison of constitutional properties in the CIP system the CIP Sequence Rule 1

Tetrahedron: Asymmetry, 1995
Abstract An analysis of the CIP Sequence Rules was recently published in this journal 1 . However, further work on the implementation of the CIP Rules for computer use suggested that a reformulation of Sequence Rule 1 was required. In this paper this Rule is analyzed and its modification proposed.
Paulina Mata, Robert B. Nachbar
openaire   +1 more source

Exercising CIP Severity: An Investigation of Methodologies within the CIP Severity Algorithm

SAE Technical Paper Series, 2011
<div class="section abstract"><div class="htmlview paragraph">The Current Icing Product (CIP) provides an hourly diagnosis of the severity of icing occurring based on multiple data sources. Pilot reports (PIREPs) and surface observations (METARs), as well as satellite, numerical weather prediction (NWP) model, radar, and lightning data are ...
Daniel R. Adriaansen   +2 more
openaire   +1 more source

TURTLE++ – A CIP-Library for C++

2006
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Integrating CIP into c++ allows to exploit the powerful expressiveness of the CIP paradigm within a language widely used and accepted in practice.
Petra Hofstedt, Olaf Krzikalla
openaire   +2 more sources

CIP-Menüsystem — Eine einheitliche Anwendungsverwaltung für CIP-Rechner

1992
Das CIP-Menusystem wurde im Fachbereich Biologie, am Zoologischen Institut der Ludwig-Maximilians-Universitat Munchen entwickelt, um eine einheitliche Benutzeroberflache zu schaffen. Damit soll der Umgang mit den CIP-Rechnern den mit (DOS)-Computern nicht vertrauten Biologiestudenten erleichtert werden.
Roland Gemperlein, Michael Barth
openaire   +1 more source

Comparisons of CIP, compact and CIP‐CSL2 schemes for reproducing internal solitary waves

International Journal for Numerical Methods in Fluids, 2005
AbstractSix different models were evaluated for reproducing internal solitary waves which occur and propagate in a stratified flow field with a sharp interface. Three stages were used to compute internal solitary waves in a stratified field: (1) first‐phase computation of momentum equations, (2) second‐phase computation of momentum equations, which ...
openaire   +2 more sources

Towards sustainable Cleaning-in-Place (CIP) in dairy processing: Exploring enzyme-based approaches to cleaning in the Cheese industry

Comprehensive Reviews in Food Science and Food Safety, 2023
Martin G Wilkinson   +2 more
exaly  

Opening CIPS(organized by CIPS) reliability(organized by CIPS)

2004 IEEE 35th Annual Power Electronics Specialists Conference (IEEE Cat. No.04CH37551), 2004
openaire   +1 more source

Home - About - Disclaimer - Privacy