Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "CUT" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 218
Tytuł:
Transpiration rate of cut anthuriums by a hygrometric method
Autorzy:
Mujaffar, S.
Sankat, C.K.
Powiązania:
https://bibliotekanauki.pl/articles/26228.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Agrofizyki PAN
Tematy:
anthurium
transpiration
hygrometry
cut flower
hygrometric method
cut anthurium
moisture loss
Źródło:
International Agrophysics; 2000, 14, 3
0236-8722
Pojawia się w:
International Agrophysics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pairs of edges as chords and as cut-edges
Autorzy:
McKee, Terry A.
Powiązania:
https://bibliotekanauki.pl/articles/30148711.pdf
Data publikacji:
2014-11-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
cycle
chord
cut-edge
Opis:
Several authors have studied the graphs for which every edge is a chord of a cycle; among 2-connected graphs, one characterization is that the deletion of one vertex never creates a cut-edge. Two new results: among 3-connected graphs with minimum degree at least 4, every two adjacent edges are chords of a common cycle if and only if deleting two vertices never creates two adjacent cut-edges; among 4-connected graphs, every two edges are always chords of a common cycle.
Źródło:
Discussiones Mathematicae Graph Theory; 2014, 34, 4; 673-681
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some results concerning the ends of minimal cuts of simple graphs
Autorzy:
Jia, Xiaofeng
Powiązania:
https://bibliotekanauki.pl/articles/743739.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
cut
fragment
end
interference
Opis:
Let S be a cut of a simple connected graph G. If S has no proper subset that is a cut, we say S is a minimal cut of G. To a minimal cut S, a connected component of G-S is called a fragment. And a fragment with no proper subset that is a fragment is called an end. In the paper ends are characterized and it is proved that to a connected graph G = (V,E), the number of its ends Σ ≤ |V(G)|.
Źródło:
Discussiones Mathematicae Graph Theory; 2000, 20, 1; 139-142
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of Linear Regression Model at Divided System Matrix
Analiza modelu regresji liniowej przy podzielonej macierzy układu
Autorzy:
Budka, Anna
Wagner, Wiesław
Powiązania:
https://bibliotekanauki.pl/articles/906892.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
linear regression model
influential observations
hat matrix
complete
1-cut and m-cut model
Opis:
In this study problems connected with the detection of influential observations are investigated in the linear regression model using the least squares estimation of structural parameters. This issue has been presented in three cuts: the complete model, 1-cut model and m-cut model.
W pracy przedstawiono zagadnienia związane z wykrywaniem obserwacji wpływowych w modelu regresji liniowej przy zastosowaniu estymacji parametrów strukturalnych za pomocą MNK. Temat ten jest ujęty w trzech przekrojach: model pełny, 1-ucięty oraz model m-ucięty. W każdym przypadku prezentowane są szczegółowe metody badania obserwacji wpływowych. Podstawowymi dla tych celów statystykami są elementy diagonalne tzw. macierzy ortogonalnego rzutu. Ich duże wartości, przy czym wszystkie należą do przedziału (0, 1), przekraczające zadane wartości progowe pozwalają na wskazanie istnienia obserwacji wpływowych. Oczywiście różne możliwe statystyki będące w jakimś stopniu funkcjami elementów wspomnianej macierzy będą dostarczały informacji diagnostycznych o różnym znaczeniu, dotyczącym obserwacji wpływowych.
Źródło:
Acta Universitatis Lodziensis. Folia Oeconomica; 2007, 206
0208-6018
2353-7663
Pojawia się w:
Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Asian Mokara (Orchidaceae) hybrids used as cut flowers: Comparison of cultivars. Part 1
Autorzy:
Piechocki, Rafał
Salachna, Piotr
Żurawik, Piotr
Adamski, Alex
Dymek, Roksana
Powiązania:
https://bibliotekanauki.pl/articles/1076636.pdf
Data publikacji:
2019
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
Mokara
Pacific region
cultivars
cut flowers
Opis:
The Orchidacea are one of the largest families of flowering ornamental plants in the Pacific region, especially in the tropics. Among this group plants, attention should be paid to the intergeneric hybrid Mokara. The following 10 cultivars of the Mokara hybrid were used in the experiment: ‘Bloonlong’, ‘Calipso’, Chak Kuan’, ‘Chorcharood’, ‘Jenistar’, ‘Kitti’, ‘Pranee’, ‘Robin’, ‘Tammy’ and ‘Tangerine’. The tested Mokara cultivars are distinguished by a wide palette of warm colors, including many shades of orange and red. These are very rare colors among other popular genera of orchids.
Źródło:
World News of Natural Sciences; 2019, 26; 1-10
2543-5426
Pojawia się w:
World News of Natural Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Novel Approach to the Solution of Matrix Games with Payoffs Expressed by Trapezoidal Intuitionistic Fuzzy Numbers
Autorzy:
Verma, T.
Kumar, A.
Kacprzyk, J.
Powiązania:
https://bibliotekanauki.pl/articles/384798.pdf
Data publikacji:
2015
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
trapezoidal intuitionistic fuzzy numbers
mathematical programming problem
two person zerosum game
α cut
β cut
Opis:
We propose a novel approach to the solution of fuzzy matrix games with payoffs given as trapezoidal intuitionistic fuzzy numbers. We extend Li’s [36, Chapter 9] work based on a cut-set based method for finding an optimal solution to overcome the fact that the assumptions and properties assumed therein do not guarantee in general, first, the very existence of an optimal solution, and second, its attainment via a mathematical programming formulation proposed. We first briefly mention those problems in Li’s [36] approach, and then propose a new, corrected and general method, called the Mehar mehod, based on a modified mathematical pro- gramming formulation of a matrix game with payoffs represented by trapezoid intuitionistic fuzzy numbers. For illustration, we solve Li’s [36] example, and compare his and our results.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2015, 9, 3; 25-46
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Autorzy:
Gao, Feng
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/749884.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Modal logic
GL
QGL
first-order logic
proof theory
cut elimination
cut admissibility
provability logic
Opis:
A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer the metatheoretical results to the original logic (e.g., [1, 6, 8, 18, 10, 12]). In the first-order modal case, on one hand we know that the Gentzenisation of the straightforward first-order extension of GL, the logic QGL, admits no cut elimination (if the rule is included as primitive; or, if not included, then the rule is not admissible [1]). On the other hand the (cut-free) Gentzenisations of the first-order modal logics M3 and ML3 of [10, 12] do have cut as an admissible rule. The syntactic cut admissibility proof given in [18] for the Gentzenisation of the propositional provability logic GL is extremely complex, and it was the basis of the proofs of cut admissibility of the Gentzenisations of M3 and ML3, where the presence of quantifiers and quantifier rules added to the complexity and length of the proof. A recent proof of cut admissibility in a cut-free Gentzenisation of GL is given in [5] and is quite short and easy to read. We adapt it here to revisit the proofs for the cases of M3 and ML3, resulting to similarly short and easy to read proofs, only slightly complicated by the presence of quantification and its relevant rules.
Źródło:
Bulletin of the Section of Logic; 2015, 44, 3-4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effects of colloidal silver on vase life of cut chrysanthemum
Autorzy:
Byczyńska, Andżelika
Salachna, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/1182604.pdf
Data publikacji:
2017
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
SPAD
cut flower
postharvest
solution uptake
Opis:
In this study, the efficacy of colloidal silver in extending the vase life of cut chrysanthemum ‘Feeling Green’ inflorescences was evaluated. Three concentrations of colloidal silver were used: 0.01%, 0.02 % and 0.04%. Control inflorescences were kept in water. Colloidal silver treatments at all concentrations extended the vase life of cut chrysanthemum. The 0.02% colloidal silver treatment produced the longest vase life (25 days), while the control resulted in the shortest vase life (18 days). In addition, the less weight loss were observed in the inflorescences exposed to the solution of colloidal silver. The greatest solution uptake was observed in the variant with colloidal silver at 0.02%. Leaf greenness index was the highest in the chrysanthemums placed in 0.04% silver solution.
Źródło:
World Scientific News; 2017, 69; 239-243
2392-2192
Pojawia się w:
World Scientific News
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Lower bounds for the domination number
Autorzy:
Delaviña, Ermelinda
Pepper, Ryan
Waller, Bill
Powiązania:
https://bibliotekanauki.pl/articles/744047.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
domination number
radius
matching
cut-vertices
Opis:
In this note, we prove several lower bounds on the domination number of simple connected graphs. Among these are the following: the domination number is at least two-thirds of the radius of the graph, three times the domination number is at least two more than the number of cut-vertices in the graph, and the domination number of a tree is at least as large as the minimum order of a maximal matching.
Źródło:
Discussiones Mathematicae Graph Theory; 2010, 30, 3; 475-487
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelling study of flue gas flow pattern with pressure, amount and shape variation catalytic converter
Autorzy:
Ghofur, A.
Isworo, H.
Subagyo, R.
Tamjidillah, M.
Siswanto, R.
Ma’ruf, -
Purwanto, H.
Muchsin, -
Powiązania:
https://bibliotekanauki.pl/articles/1818507.pdf
Data publikacji:
2020
Wydawca:
Stowarzyszenie Komputerowej Nauki o Materiałach i Inżynierii Powierzchni w Gliwicach
Tematy:
shape effect
absorption effectiveness
ANSYS
catalytic converter
filter-not- cut
filter-cut
efekt kształtu
skuteczność wchłaniania
katalizator
Opis:
Purpose: The purpose of this study is to analyse the modelling of exhaust gas flow patterns with variations in pressure, number, and shape of filters on the catalytic converter. Design/methodology/approach: The research method used is a simulation using ANSYS, which starts by creating a converter catalytic model with pressure variations: (0.5-1.5 atm), number of filters: (2-5), and the form of filter-cut/filter-not-cut. Findings: The decrease in velocity is caused by non-uniform velocity in the exhaust gas flow that occurs when passing through a bend in the filter-cut that serves as a directional flow to create turbulence. Filter-cut type tends to have fluctuating pressure, turbulence flow pattern shape so that contact between filter and exhaust gas is more effective. Based on the analysis of flow patterns, the speed and pressure of the 5 filter-not-cut design at a pressure of 0.5 are the best, while at pressure (1-1.5 atm) the type 5 filter-cut is the best. Research limitations/implications: This study is limited to filter-not-cut and filter-cut types with variations in the number of filters: 2, 3, 4, and 5, and the inlet pressure between 0.5-1 atm. Practical implications: The practical implications of this study are to find a catalytic converter design that has advantages in the effectiveness of exhaust gas absorption. Originality/value: The results show that the filter-not-cut and filter-cut types have the best effectiveness in the number of 5 filters. Filter-not-cut at the pressure of 0.5 atm and filter-cut at pressure (1-1.5 atm).
Źródło:
Archives of Materials Science and Engineering; 2020, 103, 1; 5--17
1897-2764
Pojawia się w:
Archives of Materials Science and Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algorithm and program for finding minimal and quasi-minimal cuts in graphs
Algorytm i program znajdowania minimalnych i quasi-minimalnych przekrojów grafu
Autorzy:
Grishkeyich, A.
Piątek, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/268053.pdf
Data publikacji:
2008
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
krata dystrybutywna
przekrój nierozkladalny
jeden, dwu, trzy elementowy przekrój
distributive lattice
indecomposable cut
one-, two-, three- elements cut
Opis:
It was found, that the set of minimum cuts, separating two chosen vertices in graph, have the structure of distributive lattice. It was developed an effective procedure for finding the set of 1, 2 and 3 elements cuts in graph based on the consideration of distributive lattice of the set of minimum cuts. The procedure consists of first, the algorithm for finding indecomposable minimal cuts of distributive lattice. Second, algorithm for synthesis, using resulting subset from stage one, of the entire set of minimum cuts. The third, is the algorithm for describing the set of quasi-minimum (close to the minimum, next to minimum) cuts in the form of sum of distributive lattices of minimal cuts found for the modified function of weight. The computer program, implementing these algorithms, is presented with examples.
Ustalono, że zbiór minimalnych przekrojów, rozdzielających dwa zadane wierzchołki grafu, z wprowadzonymi na i operacjami ma strukturę kraty dystrybutywnej. Opracowano skuteczną algorytmiczną procedurę znajdowania zbioru jed dwu i trzy elementowych przekrojów grafu bazującą na rozpatrzeniu dystrybutywnych krat zbioru minimalnych przekrojów grafu. Procedura składa się z, po pierwsze, algorytmu szukania nierozkładalnych minimalnych przekrojów Dystrybutywnej, po drugie, algorytmu syntezy po tym podzbiorze w kracie dystrybutywnej całego poszukiwanego zbioru minimalnych przekrojów i, po trzecie, algorytmu opisu zbioru quasi-minimalnych (bliskich do minimalnych, następnych po minimalnych) przekrojów w formie sumy krat dystrybutywnych minimalnych przekrojów, znalezionych dla zmodyfikowanej funkcji wagi. Przedstawiono zrealizowany program komputerowy i przedstawiono przykłady pracy programu.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2008, 25; 49-52
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Asian Mokara (Orchidaceae) hybrids used as cut flowers: Postharvest evaluation. Part 2
Autorzy:
Dymek, Roksana
Adamski, Alex
Salachna, Piotr
Piechocki, Rafał
Żurawik, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/1076638.pdf
Data publikacji:
2019
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
Mokara
Pacific region
cultivars
cut flowers
postharvest
Opis:
Mokara is one of the widely cultivated orchid in the Pacific region, especially in the tropics. In this study we evaluated the longevity of inflorescences and flowers 10 Mokara cultivars: ‘Bloonlong’, ‘Calipso’, Chak Kuan’, ‘Chorcharood’, ‘Jenistar’, ‘Kitti’, ‘Pranee’, ‘Robin’, ‘Tammy’ and ‘Tangerine’. Cultivar ‘Kitti’ inflorescences were characterized by excellent vase life for more than three weeks. The highest longevity had the flowers of ‘Bloonlong’, ’Kitti’ and ‘Robin’. Spraying flowers of Mokara orchids with the OASIS® Clear Life preparation increased their quality depending on the cultivar.
Źródło:
World News of Natural Sciences; 2019, 26; 11-19
2543-5426
Pojawia się w:
World News of Natural Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Involvement of ethylene synthetic inhibitors in regulating the senescence of cut carnations through membrane integrity maintenance
Autorzy:
Hassan, F.
Ali, E.
Mazrou, R.
Powiązania:
https://bibliotekanauki.pl/articles/1079037.pdf
Data publikacji:
2020
Wydawca:
Instytut Ogrodnictwa
Tematy:
cut flower
flower senescence
1-methylcyclopropene
silver nanoparticle
nitric oxide
sodium nitroprusside
vase life
membrane stability
cut carnation
Opis:
Postharvest senescence is a critical problem of carnation cut flowers, limiting their transportation and subsequent marketing chain. This study was designed to assess whether the application of 1-methylcyclopropene (1 MCP), silver nanoparticles (AgNPs), and nitric oxide (NO) released from donor sodium nitroprusside (SNP) could prolong the vase life of cut carnations through an influence on the physiological and biochemical mechanisms involved in aging process. 1-MCP was used in the concentrations of 0, 100, 200, and 300 mg·m-3; AgNPs in the concentrations of 0, 50, 100, and 150 mg·dm-3; and SNP in the concentrations of 0, 0.1, 0.2, 0.3, and 0.4 mM. All treatments significantly extended the cut flower life compared with untreated flowers, more so with 300 mg·m-3 of 1-MCP, 100 mg·dm-3 of AgNPs, or 0.3 mM of SNP. All these chemical compounds were able to considerably improve the relative water content (RWC), reduce the malondialdehyde (MDA) content and increase the membrane stability index (MSI) in petals and, therefore, maintain the membrane integrity. In addition, they decreased the activities of acetyl-CoA synthetase (ACS) and nitric oxide synthase (NOS) and, hence, depressed the production of ethylene in carnation cut flowers through downregulating the ethylene production, what prolonged the vase life. Altogether, the application of exogenous 1-MCP, AgNPs, or SNP may provide a promising avenue to improve the postharvest performance of carnation cut flowers.
Źródło:
Journal of Horticultural Research; 2020, 28, 1; 39-48
2300-5009
Pojawia się w:
Journal of Horticultural Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automatic graph cut based segmentation of retinal optic disc by incorporating blood vessel compensation
Autorzy:
Salazar-Gonzalez, A.
Li, Y
Liu, X.
Powiązania:
https://bibliotekanauki.pl/articles/91826.pdf
Data publikacji:
2012
Wydawca:
Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
Tematy:
graph cut
retinal optic disc
glaucoma
blindness
retinal screening
segmentation
blood vessel
graph cut technique
DIARETDB1
DRIVE
Opis:
Glaucoma is one of the main causes of blindness worldwide. Periodical retinal screening is highly recommended in order to detect any sign of the disease and apply the appropriated treatment. Different systems for the analysis of retinal images have been designed in order to assist this process. The segmentation of the optic disc is an important step in the development of a retinal screening system. In this paper we present an unsupervised method for the segmentation of the optic disc. The main obstruction in the optic disc segmentation process is the presence of blood vessels breaking the continuity of the object. While many other methods have addressed this problem trying to eliminate the vessels, we have incorporated the blood vessel information into our formulation. The blood vessels inside of the optic disc are used to give continuity to the object to segment. Our approach is based on the graph cut technique, where the graph is constructed by considering the relationship between neighbouring pixels and by the likelihood of them belonging to the foreground and background from prior information. Our method was tested on two public datasets, DIARETDB1 and DRIVE. The performance of our method was measured by calculating the overlapping ratio (Oratio), sensitivity and the mean absolute distance (MAD) with respect to the manually labeled images.
Źródło:
Journal of Artificial Intelligence and Soft Computing Research; 2012, 2, 3; 235-245
2083-2567
2449-6499
Pojawia się w:
Journal of Artificial Intelligence and Soft Computing Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Embeddings of chains into chains
Autorzy:
Novák, Vítězslav
Novotný, Tomáš
Powiązania:
https://bibliotekanauki.pl/articles/729101.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
chain
cut
isotone mapping
embedding
continuity
dense subset
Opis:
Continuity of isotone mappings and embeddings of a chain G into another chain are studied. Especially, conditions are found under which the set of points of discontinuity of such a mapping is dense in G.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 5-21
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An exact algorithm for design of content delivery networks in MPLS environment
Autorzy:
Walkowiak, K.
Powiązania:
https://bibliotekanauki.pl/articles/308183.pdf
Data publikacji:
2004
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
content delivery network
optimization
branch-and-cut algorithm
Opis:
Content delivery network (CDN) is an efficient and inexpensive method to improve Internet service quality. In this paper we formulate an optimisation problem of replica location in a CDN using MPLS techniques. A novelty, comparing to previous work on this subject, is modelling the network flow as connection-oriented and introduction of capacity constraint on network links to the problem. Since the considered optimisation problem is NP-complete, we propose and discuss exact algorithm based on the branch-and-cut and branch-and-bound methods. We present results of numerical experiments showing comparison of branch-and-cut and branch-and-bound methods.
Źródło:
Journal of Telecommunications and Information Technology; 2004, 2; 13-22
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rule-Generation Theorem and its Applications
Autorzy:
Indrzejczak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/749922.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
sequent calculus
cut elimination
proof theory
extralogical rules
Opis:
In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some case studies for illustration.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The signless Laplacian spectral radius of graphs with given number of cut vertices
Autorzy:
Cui, Lin
Fan, Yi-Zheng
Powiązania:
https://bibliotekanauki.pl/articles/744527.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
graph
cut vertex
signless Laplacian matrix
spectral radius
Opis:
In this paper, we determine the graph with maximal signless Laplacian spectral radius among all connected graphs with fixed order and given number of cut vertices.
Źródło:
Discussiones Mathematicae Graph Theory; 2010, 30, 1; 85-93
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jakościowy model procesu cięcia stali nierdzewnejwysokociśnieniową strugą wodno-
Qualitative model of high-pressure abrasive-water jet cutting of stainless still
Autorzy:
Borkowski, P. J.
Borkowski, J. A.
Sutowska, M.
Powiązania:
https://bibliotekanauki.pl/articles/156186.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
struga wodno-ścierna
cięcie materiałów
jakość powierzchni
model procesu cięcia
abrasive-water jet
material cut
surface quality
model of cut
Opis:
Przez ostatnie dwie dekady nastąpił wyraźny rozwój technologii hydrostrumieniowych, wykorzystujących skoncentrowane strumienie energii w postaci strugi wodnej, często zawierającej ziarniste domieszki. Szczególny przypadek stanowi cięcie materiałów wysokociśnieniową strugą wodno-ścierną. Ostatnie lata wskazują na gwałtowną dynamikę rozwoju tego sposobu obróbki materiałów. Jest to związane z postępem technicznym, który pozwala na stosowanie wysokich ciśnień wody uwypuklających liczne zalety tej metody obróbkowej. Ze względu na brak komplementarnej wiedzy upowszechniającej wzajemne zależności czynników wejściowych i wyjściowych procesu cięcia w artykule zaprezentowano jakościowy model omawianego sposobu kształtowania materiałów, opracowany empirycznie dla stali nierdzewnej gatunku 0H18N9.
High-pressure hydro-jetting technologies, utilizing concentrated energy steams in the form of water jet usually including abrasive additives have been noticeably developed during last two decades. Particular aspect of that is high-pressure abrasive-water jet AWJ cutting and one can notice rapid development of this technology in recent years. The reason for that is technical progress that let to use high pressure of water emphasizing numerous advantages of this method. Having in mind the lack of complementary knowledge that describes mutual relations of input and output factors of cut process, the paper presents qualitative model of material shaping empirically elaborated for stainless steel type 0H18N9. Elaborated dependence was successfully used for prototype research stand programming which was built on the base of plasma cut-off machine type TOPAZ-S, modified to work as a high-pressure abrasive-water jet. Control tests have proved that the model ensures effective (in respect of the quality) steering of process dynamic of stainless steel curvilinear cutting.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 7, 7; 660-663
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nano-silver as a potential biostimulant for plant – A review
Autorzy:
Byczyńska, Andżelika
Powiązania:
https://bibliotekanauki.pl/articles/1178285.pdf
Data publikacji:
2017
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
cut flowers
growth regulator
nanomaterials
nanotechnology
ornamental foliage
Opis:
Nanotechnology, as one of the most promising fields of science, brings unlimited possibilities of development of many areas, including agriculture and horticulture. Nano-silver is one of the nanomaterials that its effect on plants are under investigation nowadays. Numerous experiments conducted by scientists evaluated the possibility of using nano-silver as an potential plant growth regulator for crops, and also as a means to extend the post-harvest longevity of cut flowers and ornamental foliage. This paper summarizes a comprehensive and systematic study of the data on nano-silver activity and its application in horticulture, postharvest handling and storage of cut flowers and florist greens.
Źródło:
World Scientific News; 2017, 86, 3; 180-192
2392-2192
Pojawia się w:
World Scientific News
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Vague BCK/BCI-algebras
Autorzy:
Saeid, A. B.
Powiązania:
https://bibliotekanauki.pl/articles/255276.pdf
Data publikacji:
2009
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
vague sets
vague BCK/BCI-algebra
vague-cut
Opis:
In this note, by using the concept of vague sets, the notion of vague BCK/BCI-algebra is introduced. And the notions of α-cut and vague-cut are introduced and the relationships between these notions and crisp subalgebras are studied.
Źródło:
Opuscula Mathematica; 2009, 29, 2; 177-186
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
Autorzy:
Indrzejczak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/749932.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
temporal logic
linear time
hypersequent calculus
cut elimination
Opis:
Hypersequent calculi (HC) can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.
Źródło:
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the connectivity of the annihilating-ideal graphs
Autorzy:
Chelvam, T.
Selvakumar, K.
Powiązania:
https://bibliotekanauki.pl/articles/728900.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
annihilating-ideal graph
local ring
nilpotency
cut vertex
Opis:
Let R be a commutative ring with identity and *(R) the set of non-zero ideals with non-zero annihilators. The annihilating-ideal graph of R is defined as the graph (R) with the vertex set *(R) and two distinct vertices I₁ and I₂ are adjacent if and only if I₁I₂ = (0). In this paper, we examine the presence of cut vertices and cut sets in the annihilating-ideal graph of a commutative Artinian ring and provide a partial classification of the rings in which they appear. Using this, we obtain the vertex connectivity of some annihilating-ideal graphs.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2015, 35, 2; 195-204
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza i ocena wyników gospodarowania w Lasach Państwowych w minionym dwudziestoleciu
Analysis and evaluation of forest management in the State Forests National Forest Holding in the last two decades
Autorzy:
Poznański, R.
Powiązania:
https://bibliotekanauki.pl/articles/972780.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Leśne
Tematy:
lesnictwo
Polska
Panstwowe Gospodarstwo Lesne Lasy Panstwowe
gospodarka lesna
gospodarka zrownowazona
pozyskiwanie drewna
wyniki gospodarowania
ocena wynikow
average age
average standing volume
volume increment
final cut
intermediate cut
planned
and executed cut
Opis:
Forest management in the State Forests in the past two decades (1990−2009) focused solely on the aging of forest stands and augmentation of forest resources. This period saw an increase in the average age of forest stands from 54 to 61 years, the average standing volume from 186 to 245 m3/ha, and the share of harvested volume in annual increment volume from 50 to 58%. As a result, the share of stands older than 80 years increased from 21 to 28% while that of plantations and young stands decreased from 14.4 to 11%. This resulted in the deterioration of the health and sanitary condition of forests.
Źródło:
Sylwan; 2012, 156, 07; 542-547
0039-7660
Pojawia się w:
Sylwan
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Magnetorheological self-powered vibration reduction system with current cut-off: experimental investigation
Autorzy:
Jastrzębski, Ł.
Sapiński, B.
Powiązania:
https://bibliotekanauki.pl/articles/386843.pdf
Data publikacji:
2018
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
MR damper
vibration
energy harvesting
current cut-off circuit
Opis:
The paper summarises the results of laboratory testing of an energy harvesting vibration reduction system based on a magnetorheological (MR) damper whose control circuit incorporates a battery of bipolar electrolytic capacitors (current cut-off circuit). It is designed to reduce the undesired effects in vibration reduction systems of this type, associated with the increasing amplitude of the sprung mass vibration under the excitation inputs whose frequency should exceed the resonance frequency of the entire system. Results have demonstrated that incorporating a current cut-off circuit results in a significant decrease of sprung mass vibration amplitudes when the frequency of acting excitation inputs is higher than the resonance frequency.
Źródło:
Acta Mechanica et Automatica; 2018, 12, 2; 96-100
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-25 z 218

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies