Results 201 to 210 of about 264,759 (251)
Morphological variations of the dural venous sinuses: a cadaveric study. [PDF]
Front SurgKamaşak Arpaçay B, Aycan K.
europepmc +1 more source
Knacks and pitfalls of retroperitoneal sarcoma surgery, part 3: resection of tumors involving large retroperitoneal vessels. [PDF]
Nagoya J Med SciYokoyama Y, Sunagawa M.
europepmc +1 more source
A Technical Note on Portal Vein Reconstruction With Interposition Cadaveric Internal Iliac Vein Graft in an Infant With Biliary Atresia and Portal Vein Hypoplasia. [PDF]
CureusSolangaarachchi KS +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2022
While crime writing is often dismissed as popular rather than serious fiction, Eudora Welty and Ross Macdonald, who late in life had become close friends, believed that distinctions between literary and mystery fiction were artificial and destructive; they felt that intersections between the genres had been key to works by many writers, including ...
openaire +2 more sources
While crime writing is often dismissed as popular rather than serious fiction, Eudora Welty and Ross Macdonald, who late in life had become close friends, believed that distinctions between literary and mystery fiction were artificial and destructive; they felt that intersections between the genres had been key to works by many writers, including ...
openaire +2 more sources
2008
In the logic based framework of knowledge representation and reasoning many operators have been defined in order to capture different kinds of change: revision, update, merging and many others. There are close links between revision, update, and merging.
Sébastien Konieczny, Ramón Pino Pérez
openaire +2 more sources
In the logic based framework of knowledge representation and reasoning many operators have been defined in order to capture different kinds of change: revision, update, merging and many others. There are close links between revision, update, and merging.
Sébastien Konieczny, Ramón Pino Pérez
openaire +2 more sources
Latin American Perspectives, 2014
Ever since the Cuban Revolution challenged the Monroe Doctrine by asserting a right to independence and mutuality between the United States and Cuba, no effort has been spared to gain control of the island. The National Endowment for Democracy, which has long pursued regime change in Cuba in the guise of democracy promotion, has recently “discovered ...
+4 more sources
Ever since the Cuban Revolution challenged the Monroe Doctrine by asserting a right to independence and mutuality between the United States and Cuba, no effort has been spared to gain control of the island. The National Endowment for Democracy, which has long pursued regime change in Cuba in the guise of democracy promotion, has recently “discovered ...
+4 more sources
2011
This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.
Harald Zankl +2 more
openaire +1 more source
This paper describes a new confluence tool for term rewrite systems. Due to its modular design, the few techniques implemented so far can be combined flexibly. Methods developed for termination analysis are adapted to prove and disprove confluence. Preliminary experimental results show the potential of our tool.
Harald Zankl +2 more
openaire +1 more source
Acta Informatica, 1996
In the last few decades, term rewriting systems have played a fundamental role in the analysis and implementation of abstract data type specifications, decidability of word problems, theorem proving, computability theory, design of functional programming languages (e.g.
openaire +3 more sources
In the last few decades, term rewriting systems have played a fundamental role in the analysis and implementation of abstract data type specifications, decidability of word problems, theorem proving, computability theory, design of functional programming languages (e.g.
openaire +3 more sources
2014
Creative Confluence is a highly original work, building bridges between physics, biology, technology, economy, organizations, neuropsychology, literature, arts, and cultural history. It is an attempt to explain the process of creativity as a universal principle of nature, cutting through the composition of atoms as well as human design of novel ...
openaire +2 more sources
Creative Confluence is a highly original work, building bridges between physics, biology, technology, economy, organizations, neuropsychology, literature, arts, and cultural history. It is an attempt to explain the process of creativity as a universal principle of nature, cutting through the composition of atoms as well as human design of novel ...
openaire +2 more sources
2008
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in that it factors through the decreasing diagrams technique for abstract rewriting systems, is constructive in that it gives a construction for the converging rewrite sequences given ...
openaire +1 more source
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in that it factors through the decreasing diagrams technique for abstract rewriting systems, is constructive in that it gives a construction for the converging rewrite sequences given ...
openaire +1 more source