Results 291 to 300 of about 852,128 (332)

Homotopy Spheres in Formal Language

Studies in Applied Mathematics, 1982
The set of nonempty proper subwords of a word is either contractible or a homotopy n‐sphere. There is a simple algorithm which computes n. The existence of spherical words is investigated, and the words which yield spheres are determined. A language which is closed under subwords has a finite number of components, and each component has a finitely ...
openaire   +1 more source

A Formal Language

1983
Some illustrations of the expressive powers of LC were given in Chapter I. The purpose of the formal language is to permit precise description of various types of interpersonal interaction, including those which are centrally involved in communication. The next task is to define that language, and to discuss some of its main properties.
openaire   +1 more source

Formal language (1)

2012
Mark Harrison, Vanessa Jakeman, Ken Paterson   +2 more
openaire   +1 more source

Formal language (2)

2012
Mark Harrison, Vanessa Jakeman, Ken Paterson   +2 more
openaire   +1 more source

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
, Yang Liu
exaly  

Formal Methods in Railways: A Systematic Mapping Study

ACM Computing Surveys, 2023
Alessio Ferrari, Maurice H Ter Beek
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, Marie Farrell, Louise A Dennis   +2 more
exaly  

American Cancer Society Guideline for the Early Detection of Cervical Neoplasia and Cancer

Ca-A Cancer Journal for Clinicians, 2002
Carolyn D Runowicz, Robert A Smith
exaly  

American Cancer Society Guidelines for Breast Cancer Screening: Update 2003

Ca-A Cancer Journal for Clinicians, 2003
Robert A Smith
exaly  

Considerations for diagnostic COVID-19 tests

Nature Reviews Microbiology, 2020
Olivier Vandenberg, Olivier Rochas, Alex van Belkum   +2 more
exaly