[PDF] Top 20 Directional types for logic programs and the annotation method
Has 10000 "Directional types for logic programs and the annotation method" found on our website. Below are the top 20 most common "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] ... Voir le document complet
47
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 ... Voir le document complet
43
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 ... Voir le document complet
17
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 ... Voir le document complet
9
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 ... Voir le document complet
27
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 ... Voir le document complet
18
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 ... Voir le document complet
21
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, ... Voir le document complet
23
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 ... Voir le document complet
37
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 ... Voir le document complet
15
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] ... Voir le document complet
80
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 ... Voir le document complet
21
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 ... Voir le document complet
5
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 ... Voir le document complet
23
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 ... Voir le document complet
37
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 ... Voir le document complet
16
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 ... Voir le document complet
15
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 ... Voir le document complet
44
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 ... Voir le document complet
15
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 ... Voir le document complet
23
Sujets connexes