X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
performing operations (13) 13
transporting (13) 13
physical or chemical processes or apparatus in general (11) 11
separation (11) 11
blasting (8) 8
engine plants in general (8) 8
gas-flow silencers or exhaust apparatus for internalcombustion engines (8) 8
gas-flow silencers or exhaust apparatus for machines orengines in general (8) 8
heating (8) 8
lighting (8) 8
machines or engines in general (8) 8
mechanical engineering (8) 8
steam engines (8) 8
weapons (8) 8
combustion apparatus (7) 7
combustion engines (7) 7
combustion engines in general (7) 7
combustion processes (7) 7
flues (7) 7
hot gas or combustion-product positive-displacement engineplants (7) 7
hot-gas or combustion-product engine plants (7) 7
internal-combustion piston engines (7) 7
methods of steam generation (7) 7
not otherwise provided for (7) 7
removal or treatment of combustion products or combustionresidues (7) 7
steam boilers (7) 7
steam generation (7) 7
use of waste heat of combustion engines (7) 7
mathematics (5) 5
humans (4) 4
logical theorems (4) 4
male (4) 4
mathematical theorems (4) 4
analysis (3) 3
female (3) 3
mathematical logic (3) 3
adult (2) 2
algebra (2) 2
animals (2) 2
astronomy & astrophysics (2) 2
biochemistry & molecular biology (2) 2
biotechnology & applied microbiology (2) 2
chemical or physical processes, e.g. catalysis or colloidchemistry (2) 2
chemistry (2) 2
chemistry, applied (2) 2
food science & technology (2) 2
galaxy (2) 2
general relativity and quantum cosmology (2) 2
gravitational wave detectors (2) 2
imipenem (2) 2
index medicus (2) 2
infant, newborn (2) 2
ligo (2) 2
linear logic (2) 2
meropenem (2) 2
metallurgy (2) 2
mice (2) 2
nitric oxide (2) 2
pediatrics (2) 2
physics, particles & fields (2) 2
research (2) 2
retrospective studies (2) 2
swine (2) 2
symbolic and mathematical logic (2) 2
their relevant apparatus (2) 2
abridged index medicus (1) 1
administration (1) 1
administration, oral (1) 1
adolescent (1) 1
affinity (1) 1
alters (1) 1
antineoplastic agents - therapeutic use (1) 1
astrophysics (1) 1
atoms (1) 1
aureus (1) 1
autologous bone marrow transplant (1) 1
axioms (1) 1
bartter syndrome (1) 1
beta-lactam antibiotics (1) 1
biapenem (1) 1
binary stars (1) 1
binds (1) 1
body weight - drug effects (1) 1
bone marrow collection (1) 1
bone marrow transplantation (1) 1
boolean algebras (1) 1
bottle feeding - statistics & numerical data (1) 1
breast feeding (1) 1
breast feeding - statistics & numerical data (1) 1
breastfeeding (1) 1
bronchopulmonary dysplasia (1) 1
canada (1) 1
carbapenem (1) 1
cartesian closed category (1) 1
cattle (1) 1
cell line (1) 1
cfu-gm (1) 1
chemical composition of glasses, glazes, or vitreousenamels (1) 1
chickens (1) 1
child-health (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal of Pediatrics, The, ISSN 0022-3476, 2016, Volume 177, pp. 144 - 152.e6
Journal Article
Theoretical Computer Science, ISSN 0304-3975, 2003, Volume 294, Issue 3, pp. 551 - 573
It is well known that every proof net of a non-commutative version of MLL (multiplicative fragment of commutative linear logic) can be drawn as a plane... 
Linear logic | Proof net | Sequentialization theorem | Planar graph | Non-commutative logic | proof net | COMPUTER SCIENCE, THEORY & METHODS | planar graph | linear logic | non-commutative logic | sequentialization theorem
Journal Article
by Akutsu, Tomomi and Akutsu, Tomotada and Ando, Masaki and Arai, Koji and Araya, Akito and Asada, Hideki and Aso, Youichi and Barton, Mark A and Beyersdorf, Peter and Fujiki, Youhei and Fujimoto, Masa-Katsu and Fujita, Ryuichi and Fukushima, Mitsuhiro and Futamase, Toshifumi and Hamuro, Yusaku and Haruyama, Tomiyoshi and Hayakawa, Hideaki and Hayama, Kazuhiro and Heinzel, Gerhard and Horikoshi, Gen'ichi and Iguchi, Hideo and Iida, Yukiyoshi and Ioka, Kunihito and Ishitsuka, Hideki and Kamikubota, Norihiko and Kanda, Nobuyuki and Kaneyama, Takaharu and Karasawa, Yoshikazu and Kasahara, Kunihiko and Kasai, Taketoshi and Katsuki, Mayu and Kawabe, Keita and Kawamura, Mari and Kawamura, Seiji and Kawashima, Nobuki and Kawazoe, Fumiko and Kojima, Yasufumi and Kokeyama, Keiko and Kondo, Kazuhiro and Kozai, Yoshihide and Kudoh, Hideaki and Kuroda, Kazuaki and Kuwabara, Takashi and Matsuda, Namio and Mio, Norikatsu and Miura, Kazuyuki and Miyakawa, Osamu and Miyama, Shoken and Miyoki, Shinji and Mizusawa, Hiromi and Moriwaki, Shigenori and Musha, Mitsuru and Nagano, Shigeo and Nagayama, Yoshitaka and Nakagawa, Ken'ichi and Nakamura, Takashi and Nakano, Hiroyuki and Nakao, Ken-Ichi and Nishi, Yuhiko and Numata, Kenji and Ogawa, Yujiro and Ohashi, Masatake and Ohishi, Naoko and Okutomi, Akira and Oohara, Ken-Ichi and Otsuka, Shigemi and Sago, Norichika and Saito, Yoshio and Sakata, Shihori and Sasaki, Misao and Sato, Kouichi and Sato, Nobuaki and Sato, Shuichi and Sato, Youhei and Seki, Hidetsugu and Sekido, Aya and Seto, Naoki and Shibata, Masaru and Shinkai, Hisaaki and Shintomi, Takakazu and Soida, Kenji and Somiya, Kentaro and Suzuki, Toshikazu and Tagoshi, Hideyuki and Takahashi, Hirotaka and Takahashi, Ryutaro and Takamori, Akiteru and Takemoto, Shuzo and Takeno, Kohei and Tanaka, Takahiro and Taniguchi, Keisuke and Taniguchi, Shinsuke and Tanji, Toru and Tatsumi, Daisuke and Taylor, C.T and Telada, Souichi and Tochikubo, Kuniharu and Tokunari, Masao and Tomaru, Takayuki and Tsubono, Kimio and ... and TAMA Collaboration
Physical Review D - Particles, Fields, Gravitation and Cosmology, ISSN 1550-7998, 2006, Volume 74, Issue 12
We analyze the data of the TAMA300 detector to search for gravitational waves from inspiraling compact star binaries with masses of the component stars in the... 
FORMS | GRAVITATIONAL-WAVES | LIGO | ASTRONOMY & ASTROPHYSICS | DETECTOR | VIRGO | TEMPLATES | GALAXY | PHYSICS, PARTICLES & FIELDS
Journal Article
by Ando, Masaki and Arai, Koji and Aso, Youichi and Beyersdorf, Peter and Hayama, Kazuhiro and Iida, Yukiyoshi and Kanda, Nobuyuki and Kawamura, Seiji and Kondo, Kazuhiro and Mio, Norikatsu and Miyoki, Shinji and Moriwaki, Shigenori and Nagano, Shigeo and Numata, Kenji and Sato, Shuichi and Somiya, Kentaro and Tagoshi, Hideyuki and Takahashi, Hirotaka and Takahashi, Ryutaro and Tatsumi, Daisuke and Tsunesada, Yoshiki and Zhu, Zong-Hong and Akutsu, Tomomi and Akutsu, Tomotada and Araya, Akito and Asada, Hideki and Barton, Mark A and Fujiki, Youhei and Fujimoto, Masa-Katsu and Fujita, Ryuichi and Fukushima, Mitsuhiro and Futamase, Toshifumi and Hamuro, Yusaku and Haruyama, Tomiyoshi and Hayakawa, Hideaki and Heinzel, Gerhard and Horikoshi, Gen'ichi and Iguchi, Hideo and Ioka, Kunihito and Ishitsuka, Hideki and Kamikubota, Norihiko and Kaneyama, Takaharu and Karasawa, Yoshikazu and Kasahara, Kunihiko and Kasai, Taketoshi and Katsuki, Mayu and Kawabe, Keita and Kawamura, Mari and Kawashima, Nobuki and Kawazoe, Fumiko and Kojima, Yasufumi and Kokeyama, Keiko and Kozai, Yoshihide and Kudoh, Hideaki and Kuroda, Kazuaki and Kuwabara, Takashi and Matsuda, Namio and Miura, Kazuyuki and Miyakawa, Osamu and Miyama, Shoken and Mizusawa, Hiromi and Musha, Mitsuru and Nagayama, Yoshitaka and Nakagawa, Ken'ichi and Nakamura, Takashi and Nakano, Hiroyuki and Nakao, Ken-Ichi and Nishi, Yuhiko and Ogawa, Yujiro and Ohashi, Masatake and Ohishi, Naoko and Okutomi, Akira and Oohara, Ken-Ichi and Otsuka, Shigemi and Saito, Yoshio and Sakata, Shihori and Sasaki, Misao and Sato, Kouichi and Sato, Nobuaki and Sato, Youhei and Seki, Hidetsugu and Sekido, Aya and Seto, Naoki and Shibata, Masaru and Shinkai, Hisaaki and Shintomi, Takakazu and Soida, Kenji and Suzuki, Toshikazu and Takamori, Akiteru and Takemoto, Shuzo and Takeno, Kohei and Tanaka, Takahiro and Taniguchi, Keisuke and Taniguchi, Shinsuke and Tanji, Toru and Taylor, C.T and Telada, Souichi and Tochikubo, Kuniharu and Tokunari, Masao and Tomaru, Takayuki and ...
Physical Review D - Particles, Fields, Gravitation and Cosmology, ISSN 1550-7998, 04/2005, Volume 71, Issue 8, pp. 1 - 17
We present data-analysis schemes and results of observations with the TAMA300 gravitational wave detector, targeting burst signals from stellar-core collapse... 
SKY | LASER-INTERFEROMETER | EVENTS | TELESCOPE | SEARCH | LIGO | ASTRONOMY & ASTROPHYSICS | DYNAMICS | MODEL | GALAXY | PHYSICS, PARTICLES & FIELDS | Physics - General Relativity and Quantum Cosmology
Journal Article
The Journal of Symbolic Logic, ISSN 0022-4812, 12/2001, Volume 66, Issue 4, pp. 1524 - 1542
This paper presents a new correctness criterion for marked Danos-Reginer graphs (D-R graphs, for short) of Multiplicative Cyclic Linear Logic MCLL and... 
Linear logic | Tensors | Lambek calculus | Mathematical theorems | Logical theorems | Logical proofs | Connectivity | Mathematical logic | Grammar | Connected regions | MATHEMATICS | Symbolic and mathematical logic | Proof theory | Analysis | Logic diagrams
Journal Article
Bioscience, Biotechnology, and Biochemistry, ISSN 0916-8451, 01/1997, Volume 61, Issue 11, pp. 1953 - 1954
Journal Article
Bulletin of the Section of Logic, ISSN 0138-0680, 1999, Volume 28, Issue 2, pp. 83 - 88
Journal Article
The Journal of Symbolic Logic, ISSN 0022-4812, 12/2000, Volume 65, Issue 4, pp. 1841 - 1849
The logical system P-W is an implicational non-commutative intuitionistic logic defined by axiom schemes B = (b → c) → (a → b) → a → c, B' = (a → b) → (b → c)... 
Mathematical theorems | Logical theorems | Natural deduction calculus | Syntactics | Mathematical logic | Mathematical constants | Induction assumption | MATHEMATICS | Symbolic and mathematical logic | Research | Lambda calculus | Analysis
Journal Article
Studia Logica: An International Journal for Symbolic Logic, ISSN 0039-3215, 5/1994, Volume 53, Issue 2, pp. 227 - 234
A BCK-algebra is an algebra in which the terms are generated by a set of variables, 1, and an arrow. We mean by a BCK-identity an equation valid in all... 
Property titles | Algebra | Mathematical theorems | Logical theorems | Sequents | Axioms | Multisets | Mathematics
Journal Article
Studia Logica, ISSN 0039-3215, 05/1994, Volume 53, Issue 2, p. 227
Journal Article
Journal of Symbolic Logic, ISSN 0022-4812, 12/2000, Volume 65, Issue 4, p. 1841
Journal Article
The Journal of Symbolic Logic, ISSN 0022-4812, 12/1992, Volume 57, Issue 4, pp. 1305 - 1318
In this paper we consider properties, related to model-completeness, of the theory of integrally closed commutative regular rings. We obtain the main theorem... 
Mathematical theorems | Algebra | Logical theorems | Natural numbers | Atoms | Urelements | Mathematical logic | Mathematical rings | First order theories | Boolean algebras | MATHEMATICS
Journal Article
Journal of Symbolic Logic, ISSN 0022-4812, 12/1992, Volume 57, Issue 4, p. 1305
Journal Article
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661, 08/2006, Volume 161, Issue 1, pp. 43 - 57
We give a category-theoretic formulation of Engeler-style models for the untyped λ-calculus. In order to do so, we exhibit an equivalence between distributive... 
finite multiset | Engeler model | untyped λ-calculus | commutative monoid | Kleisli construction | finite powerset | distributive law | cartesian closed category
Journal Article
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661, 08/2006, Volume 161, p. 43
We give a category-theoretic formulation of Engeler-style models for the untyped I'-calculus. In order to do so, we exhibit an equivalence between distributive... 
Journal Article
01/1991
In part I we build structures corresponding to a valuation and a value group over a commutative regular ring by means of the technique developed by Smith,... 
Mathematics
Dissertation
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661, 1996, Volume 3, Issue C, pp. 153 - 153
It is well-known that every proof net of a non-commutative version of MLL (Multiplicative fragment of Commutative Linear Logic) can be drawn as a plane... 
Journal Article
01/1990
PURPOSE:To provide a dust removing device of simple construction by providing one or more hinge type dampers on the upstream or downstream aide of a... 
TRANSPORTING | SEPARATION | PHYSICAL OR CHEMICAL PROCESSES OR APPARATUS IN GENERAL | PERFORMING OPERATIONS
Patent
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.