• Aucun résultat trouvé

Haut PDF Directional types for logic programs and the annotation method

Directional types for logic programs and the annotation method

Directional types for logic programs and the annotation method

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...

47

Learning any semantics for dynamical systems represented by logic programs

Learning any semantics for dynamical systems represented by logic programs

... trajectory and thus our setting can be considered as a generalized apperception ...Given the same kind of single trajectory and a DMVLP (or CDMVLP), it should be possible to produce candidates past ...

43

Quantitative Separation Logic and Programs with Lists

Quantitative Separation Logic and Programs with Lists

... analysis, the use of abstract domains (including integers and memory addresses) with quantifiers of the form ∃ ∗ ∀ ∗ has been considered in the work of Gulwani et ...general, for ...

17

Enrichment of French Biomedical Ontologies with UMLS Concepts and Semantic Types for Biomedical Named Entity Recognition Though Ontological Semantic Annotation

Enrichment of French Biomedical Ontologies with UMLS Concepts and Semantic Types for Biomedical Named Entity Recognition Though Ontological Semantic Annotation

... terminologies and ontologies are a crucial resource for semantic annotation of biomedical ...resources and tools to use them than in English. Some terminologies from the Unified Medical ...

9

Linearizing some recursive logic programs

Linearizing some recursive logic programs

... algorithms for answering some queries on recursive logic ...on the query and the logic program which enable us to find an iterative program, ...exactly the relevant facts ...

27

The Tableau Method for Temporal Logic: An Overview

The Tableau Method for Temporal Logic: An Overview

... Concurrent Programs A direct use of the decision procedure we described in this paper has been the synthesis o f the synchronization part o f concurrent ...that the various parts o f a ...

18

Logic and Linear programs to understand cancer response

Logic and Linear programs to understand cancer response

... The perfect coloring approach and the classifier was applied to the data of the Multiple Myeloma DREAM challenge 1 .... The objective of this challenge was to clas- sify ...

21

A Decidable Subtyping Logic for Intersection and Union Types (full version)

A Decidable Subtyping Logic for Intersection and Union Types (full version)

... a method to assess σ” ) for either the formula r A [M ] and r B [M ...Barbanera and Martini tried to answer to the question of realizing other “proof-functional” connectives, ...

23

Combining Linear Logic and Size Types for Implicit Complexity

Combining Linear Logic and Size Types for Implicit Complexity

... control the time complexity of lambda-calculus programs and characterize complexity classes such as FPTIME or ...linear logic and defines type systems based on restricted versions of ...

37

Translating types and effects with state monads and linear logic

Translating types and effects with state monads and linear logic

... lacking the most with respect to other proposals of calculi (or type systems) is multi- threading and ...Indeed the starting objective of this work was to combine call-by-value translation of ...

15

Computer programs for solving notch problems using Nisitani's body force method

Computer programs for solving notch problems using Nisitani's body force method

... comput er programs that were used to determine the stress intensity factors or stress concentration factors for the five types of notch and crack problems described in tha t repo[r] ...

80

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

... of the reduction relation (c.f., § 4) and rejects programs that ”may go wrong” ...5. The main intentions behind our type system are to ensure that every object will follow its specified ...

21

A Refinement-Based Validation Method for Programmable Logic Controllers

A Refinement-Based Validation Method for Programmable Logic Controllers

... Programmable logic controllers (PLCs) are widely used for safety critical applications in various industrial ...fields. The correctness and reliability of PLC programs are of great ...

5

A new method for evaluating the impacts of semantic similarity measures on the annotation of gene sets

A new method for evaluating the impacts of semantic similarity measures on the annotation of gene sets

... all types of relations (i.e., hierarchical and transversal) is an interesting approach and that axioms should also be considered, as described by Ferreira et ...express the meaning of concepts ...

23

Par Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs

Par Means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs

... Work and Conclusions λ ` and Linear Session Typed ...linear logic proofs into concurrent programs is by interpreting sequent calculi for linear logic into π-calculi with session ...

37

Splitting Epistemic Logic Programs

Splitting Epistemic Logic Programs

... (8) The two answer sets of program {( 1 )–( 5 )} contain interview (mike) and so appointment(mike) can be added to both answer sets ...This method of analysing a program by division into independent ...

16

Splitting Epistemic Logic Programs

Splitting Epistemic Logic Programs

... (8) The two answer sets of program {( 1 )–( 5 )} contain interview (mike) and so appointment(mike) can be added to both answer sets ...This method of analysing a program by division into independent ...

15

Separation Logic for Sequential Programs

Separation Logic for Sequential Programs

... formalized the subject-observer pattern with a strong form of information hiding between the subject and the ...Separation Logic supports data ...tackled the generalization of ...

44

A limited set of transcriptional programs define major cell types

A limited set of transcriptional programs define major cell types

... construction, and sequencing For each cell type to be made into a library, we obtained cell pellets that were stored in RNAlater (Thermo Fisher Scientific) as catalog items from PromoCell ...

15

Extending INET Framework for Directional and Asymmetrical Wireless Communications

Extending INET Framework for Directional and Asymmetrical Wireless Communications

... vs. Directional Communications The goal of the second simulation is to evaluate our DirectionalRadio by com- paring the network throughput when using omni-directional and ...

23

Show all 10000 documents...