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ę "Gemma, A." wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    A robust algorithm to solve the signal setting problem considering different traffic assignment approaches
    Autorzy:
    Adacher, L.
    Gemma, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/330229.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    genetic algorithm
    surrogate method
    traffic signal synchronization
    traffic assignment
    simulation model
    algorytm genetyczny
    metoda zastępcza
    synchronizacja sygnału ruchu
    model symulacji
    Opis:
    In this paper we extend a stochastic discrete optimization algorithm so as to tackle the signal setting problem. Signalized junctions represent critical points of an urban transportation network, and the efficiency of their traffic signal setting influences the overall network performance. Since road congestion usually takes place at or close to junction areas, an improvement in signal settings contributes to improving travel times, drivers’ comfort, fuel consumption efficiency, pollution and safety. In a traffic network, the signal control strategy affects the travel time on the roads and influences drivers’ route choice behavior. The paper presents an algorithm for signal setting optimization of signalized junctions in a congested road network. The objective function used in this work is a weighted sum of delays caused by the signalized intersections. We propose an iterative procedure to solve the problem by alternately updating signal settings based on fixed flows and traffic assignment based on fixed signal settings. To show the robustness of our method, we consider two different assignment methods: one based on user equilibrium assignment, well established in the literature as well as in practice, and the other based on a platoon simulation model with vehicular flow propagation and spill-back. Our optimization algorithm is also compared with others well known in the literature for this problem. The surrogate method (SM), particle swarm optimization (PSO) and the genetic algorithm (GA) are compared for a combined problem of global optimization of signal settings and traffic assignment (GOSSTA). Numerical experiments on a real test network are reported.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2017, 27, 4; 815-826
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Note on Gödel-Dummet Logic LC
    Autorzy:
    Robles, Gemma
    Méndez, José M.
    Powiązania:
    https://bibliotekanauki.pl/articles/2033854.pdf
    Data publikacji:
    2021-07-01
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Intermediate logics
    Gödel-Dummet logic LC
    Opis:
    Let \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n-1}\rightarrow A_{n})\vee (A_{n}\rightarrow A_{0})\) is equivalent to Gödel-Dummett logic LC. However, if \(n\) is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.
    Źródło:
    Bulletin of the Section of Logic; 2021, 50, 3; 325-335
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Minimal Non-Relevant Logics without the K Axiom II. Negation Introduced as a Primitive Unary Connective
    Autorzy:
    Robles, Gemma
    Powiązania:
    https://bibliotekanauki.pl/articles/1368483.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Opis:
    In the first part of this paper (RML No. 42) a spectrum of constructive logics without the K axiom is defined. Negation is introduced with a propositional falsity constant. The aim of this second part is to build up logics definitionally equivalent to those displayed in the first part, negation being now introduced as a primitive unary connective. Relational ternary semantics is provided for all logics defined in the paper.
    Źródło:
    Reports on Mathematical Logic; 2010, 45; 97-118
    0137-2904
    2084-2589
    Pojawia się w:
    Reports on Mathematical Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Hydrogen Interaction with Vacancies in Electron Irradiated Niobium
    Autorzy:
    Čižek, J.
    Procházka, I.
    Brauer, G.
    Anwand, W.
    Gemma, R.
    Nikitin, E.
    Kirchheim, R.
    Pundt, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/1812478.pdf
    Data publikacji:
    2008-05
    Wydawca:
    Polska Akademia Nauk. Instytut Fizyki PAN
    Tematy:
    78.70.Bj
    61.72.-y
    Opis:
    Defect studies of Nb irradiated with 10 MeV electrons were performed in the present work by means of positron annihilation spectroscopy. The lattice defects were characterized by positron lifetime spectroscopy. Moreover, defect depth profiles were studied by slow positron implantation spectroscopy. The experimental investigations were accompanied by first principles theoretical calculations of positron parameters. It was found that irradiation-induced vacancies in Nb specimens are surrounded by H, which causes a shortening of the lifetime of trapped positrons. The influence of a Pd and Cr over-layer on the H concentration in the Nb specimens was examined.
    Źródło:
    Acta Physica Polonica A; 2008, 113, 5; 1293-1299
    0587-4246
    1898-794X
    Pojawia się w:
    Acta Physica Polonica A
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
    Autorzy:
    Robles, Gemma
    López, Sandra M.
    Blanco, José M.
    Recio, Marcos M.
    Paradela, Jesús R.
    Powiązania:
    https://bibliotekanauki.pl/articles/749920.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Relevant logics
    many-valued logics
    4-valued logics
    2-set-up Routley-Meyer semantics
    Opis:
    The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
    Źródło:
    Bulletin of the Section of Logic; 2016, 45, 2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Contemporary Teacher Competencies Development: A Study of ICT Tools for Professional Activities in Russia and Spain
    Autorzy:
    Noskova, Tatiana
    Pavlova, Tatiana
    Yakovleva, Olga
    Gutiérrez Esteban, Prudencia
    Martín Espada, Rafael
    Cubo Delgado, Sixto
    Arias Masa, Juan
    Delicado Puerto, Gemma
    Alonso Díaz, Laura
    Yuste Tosina, Rocío
    Powiązania:
    https://bibliotekanauki.pl/articles/448458.pdf
    Data publikacji:
    2017-07-10
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    ICT tools
    teacher competencies
    teaching activities
    IRNet
    Opis:
    The paper examines the relations between teacher competencies and the specificity of the use of ICT tools in professional activities. The research was carried out within the frame of the IRNet project with the participation of two universities – the Herzen State Pedagogical University of Russia and the University of Extremadura, Spain. The results of the survey described give a general idea of various ICT tools use intensity in both countries. Overall, teachers take advantage of the electronic content capabilities for fostering students’ motivation. Teachers benefit from ICT tools’ efficiency and performance, and they use cloud technologies for supporting networking and collaboration. Spanish teachers appear to be more active users of ICT tools. They apply LMS more intensively, together with own lectures recordings and foreign language e-resources. For facilitating students’ communication, they apply discussion forums and online lectures intensively. For management, the most popular tools are electronic organisers, criterial rubrics, and online polls. The choice of e-resources that teachers use is largely based on their communication preferences and ways to manage teaching; these e-resources aim at facilitating learners’ cognitive activities. As in the case of the active use of LMS, the electronic system induces the application of available communication means (e.g. forums, online lectures, etc.) together with the appropriate management capabilities (e.g. electronic organisers, criterial rubrics, online polls, etc.). The results of the survey can help identify problem areas in teachers’ ICT competencies.
    Źródło:
    International Journal of Research in E-learning IJREL; 2017, 3, 1; 91-108
    2451-2583
    2543-6155
    Pojawia się w:
    International Journal of Research in E-learning IJREL
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Transiliac Cerclage in Unstable Pelvic Ring Fractures
    Autorzy:
    Sanzana, Edgardo S.
    Ojeda, Alvaro C.
    Gonzalez-Rojas, Francisco
    Lopez-Carcel, Gemma
    Alfaro, Patricio A.
    Melo-Aiello, Humberto
    Powiązania:
    https://bibliotekanauki.pl/articles/28409177.pdf
    Data publikacji:
    2022-07-01
    Wydawca:
    Fundacja Edukacji Medycznej, Promocji Zdrowia, Sztuki i Kultury Ars Medica
    Tematy:
    pelvic ring fractures
    pelvic instability
    internal fixation
    cerclage
    Opis:
    Background. To evaluate the outcomes of transiliac cerclage with Dall-Miles cable in the internal fixation of the posterior complex in unstable pelvic ring fractures between January 1995 and December 2014. Material and methods. A study of 42 men injured at work with an average age of 35.2 years (range, 23 to 61) was conducted. The mechanisms of injury were traffic accidents in 25 cases (59.5%), crushing accidents in 12 cases (28.6%), and fall from height in 5 cases (11.9%). Thirty-six cases were polytraumatized patients (85.7%). The patients were evaluated using Majeed’s functional score and Matta’s radiological criteria. Results. The average follow-up time was 135.8 ± 45.6 months. The clinical outcomes were excellent in 17 cases (40.5%), good in 19 cases (45.2%), fair in 5 cases (11.9%), and poor in 1 case (2.4%). The radiological outcomes were satisfactory in 32 cases (76.2%) and unsatisfactory in 10 cases (23.8%). All fractures were healed. The sequelae were 3 cases (7.2%) of lower limb dysmetria and 3 cases (7.2%) of chronic neuropathic pain. Conclusion. The internal fixation of the sacroiliac complex by Dall-Miles cable cerclage reinforced with small fragment plates should be considered as an alternative method for minimally invasive osteosynthesis in selected cases of unstable pelvic ring fractures.
    Źródło:
    Ortopedia Traumatologia Rehabilitacja; 2022, 24(3); 143-148
    1509-3492
    2084-4336
    Pojawia się w:
    Ortopedia Traumatologia Rehabilitacja
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      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