Temat: FORMAL - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Computing Formal Concepts by Attribute Sorting
Autorzy:: Krajca, P.
Outrata, J.
Vychodil, V.
Data publikacji:: 2012
Słowa kluczowe:: compute formal concepts
formal contexts
formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The role of formal semantics in linguistics
Autorzy:: Walter Swetly
Data publikacji:: 2012
Tematy:: formal semantics
donkey sentences
formal languages; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: 'Det' – som formelt subjekt, objekt og prædikativ i dansk
Autorzy:: Szubert, Andrzej
Data publikacji:: 2009-01-01
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: det
formelt subjekt
formelt objekt
formelt prædikativ
formal subject
formal object
formal predicative; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: 'Det' – som formelt subjekt, objekt og prædikativ i dansk
Autorzy:: Andrzej Szubert
Data publikacji:: 2009
Tematy:: det
formelt subjekt
formelt objekt
formelt prædikativ
formal subject
formal object
formal predicative; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Continuous Domains in Formal Concept Analysis
Autorzy:: Wang, Longchun
Guo, Lankun
Li, Qingguo
Data publikacji:: 2021
Słowa kluczowe:: attribute continuous formal context
categorical equivalence
continuous formal concept
domain theory
formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Finite Systems Handling Language (YAFOLL message 1)
Autorzy:: Alex Shkotin
Data publikacji:: 2015-12-01
Tematy:: finite model
formal ontology
formal language
knowledge representation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Gatunki wypowiedzi urzędowych w getcie warszawskim (na podstawie zbiorów archiwalnych Ringelbluma)
Types of official announcements in the Warsaw Ghetto (based on Ringelblum’s archival collections)
Autorzy:: Leszek Tymiakin
Data publikacji:: 2018
Tematy:: Warsaw Ghetto
formal genre
appraisal
Warsaw Ghetto
formal genres; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Otrzymywanie formalu glicerolu przez transacetalizację metylalu
Autorzy:: Trybuła, S.
Terelak, K.
Olejarz, A.
Brekier, S.
Data publikacji:: 2010
Słowa kluczowe:: formal glicerolu
transacetalizacja metylalu
glycerol formal
transacetalization of methylal; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Generalized Interpolation in First Order Logic
Autorzy:: Borzyszkowski, T.
Data publikacji:: 2005
Słowa kluczowe:: formal languages
formal semantics
specification languages
algebraic specification
interpolation property; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A Possibility-Theoretic View of Formal Concept Analysis
Autorzy:: Dubois, D.
Dupin de Saint-Cyr, F.
Data publikacji:: 2007
Słowa kluczowe:: formal concept analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: E-learning & Lifelong Learning
Autorzy:: Smyrnova-Trybulska, Eugenia
Współwytwórcy:: University of Silesia in Katowice, Faculty of Ethnology and Educational Science in Cieszyn, Poland
Data publikacji:: 2013
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: e-learning
non-formal
formal
informal learning
education
lifelong learning; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Inne

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Związki frazeologiczne identyczne oraz podobne formalnie w językach indonezyjskim i polskim
Formally identical and formally similar phraseological units in the Indonesian and Polish languages
Autorzy:: Przemysław Wiatrowski
Data publikacji:: 2018
Tematy:: Indonesian language
Polish language
phraseological unit
formal identicality
formal similarity; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: E-learning & Lifelong Learning
Autorzy:: Smyrnova-Trybulska, Eugenia
Data publikacji:: 2013
Wydawca:: Studio NOA for University of Silesia in Katowice
Słowa kluczowe:: informal learning
education
lifelong learning
e-learning
formal
non-formal; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Związki frazeologiczne identyczne oraz podobne formalnie w językach indonezyjskim i polskim
Formally identical and formally similar phraseological units in the Indonesian and Polish languages
Autorzy:: Wiatrowski, Przemysław
Data publikacji:: 2018-08-28
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: Indonesian language
Polish language
phraseological unit
formal identicality
formal similarity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: A comprehensive survey on formal concept analysis, its research trends and applications
Autorzy:: Singh, P. K.
Aswani Kumar, C.
Gani, A.
Data publikacji:: 2016
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: concept lattice
formal concept analysis
formal concept
formal context
Galois connection
krata pojęć
formalna analiza koncepcji
koneksja Galois; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Sustainable development in terms of health education as a part of students-future teachers training
Autorzy:: Czerwiec Karolina
Potyrała Katarzyna
Jancarz-Lanczkowska Beata
Tematy:: education for sustainable development,
formal and non-formal education,
health education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Environmental education in Poland : its present status
Autorzy:: Grodzińska-Jurczak, Małgorzata
Data publikacji:: 2004
Słowa kluczowe:: ecology
environmental education
formal education
non-formal education
Poland
educational outcomes; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: A comprehensive survey on formal concept analysis, its research trends and applications
Autorzy:: Singh, P. K.
Aswani Kumar, C.
Gani, A.
Data publikacji:: 2016
Słowa kluczowe:: concept lattice
formal concept analysis
formal concept
formal context
Galois connection
krata pojęć
formalna analiza koncepcji
koneksja Galois; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Sustainable development in terms of health education as a part of students-future teachers training
Autorzy:: Czerwiec, Karolina
Potyrała, Katarzyna
Jancarz-Lanczkowska, Beata
Data publikacji:: 2017
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:: education for sustainable development,
formal and non-formal education,
health education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Object Oriented Database with Authorization Policies
Autorzy:: Bai, Y.
Varadharajan, V.
Data publikacji:: 2002
Słowa kluczowe:: formal specifications
security
database; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Une mise en mots de la formation pour adultes
Kształcenie dorosłych – narzędzia konceptualne
Autorzy:: Jean-Pierre Boutinet
Data publikacji:: 2016
Tematy:: -
adult education
discourse
adult
requirement of individuality
formal education
non-formal education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: ІНТЕРПРЕТАЦІЯ ПОНЯТТЯ НЕФОРМАЛЬНА ОСВІТА: ПОГЛЯД НІМЕЦЬКОМОВНОГО СУСПІЛЬСТВА
Interpretation of concept of informal education: outlook of German-speaking society
Autorzy:: Вікторія Солощенко
Data publikacji:: 2014-11-24
Tematy:: formal education
non-formal education
informal education
adult
German-speaking countries development; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Convergents of folded continued fractions
Autorzy:: Allouche, Jean-Paul
Lubiw, Anna
France, Michel
van der Poorten, Alfred
Shallit, Jeffrey
Data publikacji:: 1996
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: continued fraction
convergent
formal Laurent series
formal power series
paperfolding
automatic sequence; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Relational Contexts and Relational Concepts
Autorzy:: Jiang, F.
Sui, Y.
Cao, C.
Data publikacji:: 2010
Słowa kluczowe:: formal concept analysis
FCA
formal contexts
relational contexts
concept lattices
supply chain; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Przebieg kontroli skarbowej zgodny z przepisami prawa – zadania i kompetencje urzędów skarbowych
Fiscal Control as Compliant with the Legal Regulations – Tasks and Mandate of Tax Offices
Autorzy:: Magdalena Kowalczyk
Data publikacji:: 2013-12
Tematy:: control powers
formal requirements; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Convergence of formal solutions of first order singular nonlinear partial differential equations in the complex domain
Autorzy:: Miyake, Masatake
Shirai, Akira
Data publikacji:: 2000
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: singular equation
formal solution; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Formal language recognition by stochastic cellular automata
Autorzy:: Merkle, D.
Worsch, T.
Data publikacji:: 2002
Słowa kluczowe:: cellular automata
formal languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Algebras of Definable Sets vs. Concept Lattices
Autorzy:: Wasilewski, Piotr
Data publikacji:: 2019
Słowa kluczowe:: formal concept
formal concept analysis
granular set
lattice
rough set
rough set theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Formal asynchronous systems modelling
Autorzy:: Kohn, M.
Schmeck, H.
Data publikacji:: 2000
Słowa kluczowe:: asynchronous systems
asynchronous computations
formal methods in systems modelling
abstract computations
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: A Formal Syntax of Natural Languages and the Deductive Grammar
Autorzy:: Wang, Y.
Data publikacji:: 2009
Słowa kluczowe:: cognitive informatics
linguistics
computational linguistics
formal languages
universal grammar
deductive grammar
formal syntax
formal semantics
EBNF
RTPA
comparative linguistics
software engineering
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Lifelong Learning as Form of Human Resources Development
Autorzy:: Hečko, Štefan
Řihák, Radim
Malátek, Vojtěch
Data publikacji:: 2014
Wydawca:: Szkoła Główna Handlowa w Warszawie
Tematy:: lifelong learning
human resources development
employer
employee
formal education
non‑formal education
informal education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Gatunki wypowiedzi urzędowych w getcie warszawskim (na podstawie zbiorów archiwalnych Ringelbluma)
Autorzy:: TYMIAKIN, LESZEK
Data publikacji:: 2018
Wydawca:: Uniwersytet Opolski
Tematy:: Warsaw Ghetto
formal genres
appraisal; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Formalna analiza albańskich derywatów przymiotnikowych
Autorzy:: Karasiński, Artur
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Instytut Slawistyki PAN
Tematy:: Albanian
word formation
formal analysis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Formal model of time point-based sequential data for OLAP-like analysis
Autorzy:: Bębel, B.
Morzy, T.
Królikowski, Z.
Wrembel, R.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: OLAP
sequential data
formal model; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: In good form : arguing for epistemic norms of credence
Autorzy:: Wroński, Leszek
Data publikacji:: 2018
Wydawca:: Jagiellonian University Press
Słowa kluczowe:: Dutch books
formal epistemology
accuracy; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Czy mówiąc prostszym językiem, mówimy prościej? Formalnie narzędnikowe frazy charakteryzujące mówienie
Autorzy:: Kubicka Emilia
Tematy:: metatext
formal instrumental case
adverbials; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Logical Analysis of the Concept of Beauty
Autorzy:: Bertato Fábio Maia
San Martin Gabriel
Tematy:: beauty
logic
aesthetics
formal approaches; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Neformální praxe a prostředí byrokracie: role habitu při formování rezistence
Informal practices and bureaucracy: the role of habitus in resistence
Autorzy:: Hulec Pavel
Tematy:: bureaucracy
resistance
habitus
formal organisation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: ‘OSOBA’ – kategoria gramatyczna?
‘PERSON’ – A GRAMMATICAL CATEGORY?
Autorzy:: Topolińska Zuzanna
Tematy:: person
semantic paradigm
formal paradigm; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Formal model of time point-based sequential data for OLAP-like analysis
Autorzy:: Bębel, B.
Morzy, T.
Królikowski, Z.
Wrembel, R.
Data publikacji:: 2014
Słowa kluczowe:: OLAP
sequential data
formal model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Time-Varying Distributed H Systems: An Overview
Autorzy:: Margenstern, M.
Verlan, S.
Rogozhin, Y.
Data publikacji:: 2005
Słowa kluczowe:: biomolecular computing
splicing
formal grammars; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: On the Density of Regular Languages
Autorzy:: Koga, Toshihiro
Data publikacji:: 2019
Słowa kluczowe:: formal languages
regular languages
density; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: A Formal Model of Multi-Agent Organisations
Autorzy:: Köhler, M.
Data publikacji:: 2007
Słowa kluczowe:: multi-agent systems
formal model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Update of Probabilistic Beliefs: Implementation and Parametric Verification
Autorzy:: Budzyńska, K.
Kacprzak, M.
Rembelski, P.
Data publikacji:: 2010
Słowa kluczowe:: formal frameworks
uncertainty in persuasion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Formal verification of STPA with model checking
Autorzy:: Kwon, Ryeonggu
Kwon, Gihwon
Data publikacji:: 2023
Słowa kluczowe:: formal verification
model checking
STPA; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: The formative role of media and social transformation on attitudes to sex education
Autorzy:: Karolina Czerwiec
Katarzyna Potyrała
Data publikacji:: 2014-03-28
Tematy:: formal and non-formal education
media
sex education
social transformation
teacher and student attitudes; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Edukacyjne walory gry "Minecraft". Analiza narracji uczniów i edukatorów
Educational aspects of video game Minecraft. An analysis of students’ and educators’ narratives
Autorzy:: Zaworska-Nikoniuk, Dorota
Data publikacji:: 2020-03-31
Wydawca:: Uniwersytet Gdański. Wydawnictwo Uniwersytetu Gdańskiego
Tematy:: video games
formal education
non-formal education
media education
game research
ludology
new media; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:: Kaczmarek, Janusz
Data publikacji:: 2019
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Formalna analiza albańskich derywatów przymiotnikowych
Autorzy:: Artur Karasiński
Data publikacji:: 2015-05-01
Tematy:: Albanian
word formation
formal analysis; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: The Specific of Scholar Dropout in Students’ Opinion
Autorzy:: Valentin Cosmin Blândul
Adela Bradea
Data publikacji:: 2016-02-01
Tematy:: attitude
formal education
scholar dropout; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "FORMAL" wg kryterium: Temat