tag :: formal | BibSonomy

bookmarks (hide)67
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1Semantic Enrichment of Folksonomy Tagspaces
https://link.springer.com/chapter/10.1007/978-3-540-88564-1_58
a year ago by @leamarkic
show all tags
Application
Discovery
Formal
Heterogeneous
Intelligent
Knowledge
Relation
Resource
Semantic
ApplicationDiscoveryFormalHeterogeneousIntelligentKnowledgeRelationResourceSemantic
(0)
copydelete
- community post
- history of this post
2Formal Concept Analysis - YouTube
https://www.youtube.com/watch?v=jL8B73Ap31I
2 years ago by @stumme
show all tags
analysis
concept
fca
formal
video
youtube
analysisconceptfcaformalvideoyoutube
(0)
copydelete
- community post
- history of this post
2FCA4DH
Formal Concept Analysis for Digital Humanities
3 years ago by @tomhanika
show all tags
algebra
concept
dh
digital
fca
formal
humanities
myown
algebraconceptdhdigitalfcaformalhumanitiesmyown
(0)
copydelete
- community post
- history of this post
2FCA4DH
Formal Concept Analysis for Digital Humanities
3 years ago by @jaeschke
show all tags
algebra
analysis
concept
dh
digital
fca
formal
humanities
myown
algebraanalysisconceptdhdigitalfcaformalhumanitiesmyown
(0)
copydelete
- community post
- history of this post
1Safety and Liveness Properties • Hillel Wayne
https://www.hillelwayne.com/post/safety-and-liveness/
3 years ago by @bshanks
show all tags
formal
liveness
proof
safety
formallivenessproofsafety
(0)
copydelete
- community post
- history of this post
1Denotational design with type class morphisms
http://conal.net/papers/type-class-morphisms/
3 years ago by @bshanks
show all tags
denotationaldesign
formal
haskell
proof
denotationaldesignformalhaskellproof
(0)
copydelete
- community post
- history of this post
1bolt12/advent-of-haskell-dd: Day 9 of Advent of Haskell - Denotational Design
https://github.com/bolt12/advent-of-haskell-dd
3 years ago by @bshanks
show all tags
denotationaldesign
formal
haskell
proof
denotationaldesignformalhaskellproof
(0)
copydelete
- community post
- history of this post
1Semantic Grounding of Tag Relatedness in Social Bookmarking Systems | SpringerLink
https://link.springer.com/chapter/10.1007/978-3-540-88564-1_39
5 years ago by @madizdar
show all tags
Analysis
Concept
Context
Distance
Formal
Grounding
Learning
Ontology
Resource
Semantic
AnalysisConceptContextDistanceFormalGroundingLearningOntologyResourceSemantic
(0)
copydelete
- community post
- history of this post
1GitHub - tomhanika/conexp-clj: A General-Purpose Tool for Formal Concept Analysis
A General-Purpose Tool for Formal Concept Analysis - tomhanika/conexp-clj
6 years ago by @tomhanika
show all tags
FCA
FCATOOL
clojure
concepts
formal
FCAFCATOOLclojureconceptsformal
(0)
copydelete
- community post
- history of this post
1Lattice editor
http://latviz.loria.fr/
8 years ago by @jaeschke
show all tags
analysis
concept
fca
formal
lattice
visualization
analysisconceptfcaformallatticevisualization
(0)
copydelete
- community post
- history of this post
1A Computer Scientist Tells Mathematicians How to Write Proofs | Hacker News
https://news.ycombinator.com/item?id=8967605
9 years ago by @bshanks
show all tags
lamport
math
prof
proofs
formal
lamportmathprofproofsformal
(0)
copydelete
- community post
- history of this post
1Saturday Morning Breakfast Cereal
http://www.smbc-comics.com/index.php?id=899
9 years ago by @bshanks
show all tags
logic
formal
bool
boolean
logicformalboolboolean
(0)
copydelete
- community post
- history of this post
1Werquin, P. (2010). Recognizing Non-Formal and Informal Learning
http://www.oecd.org/education/skills-beyond-school/44600408.pdf
9 years ago by @villeh
show all tags
formal
informal
learning
formalinformallearning
(0)
copydelete
- community post
- history of this post
1⭐Erprobung einer formalen Methode zur Anforderungsanalyse in der Automobilsoftwareentwicklung. Schnittstelle für Hochvolt- Nebenaggregate
http://docplayer.org/7113974-Erprobung-einer-formalen-methode-zur-anforderungsanalyse-in-der-automobilsoftwareentwicklung-schnittstelle-fuer-hochvolt-nebenaggregate.html
10 years ago by @mabed
show all tags
analysis
automotive
engineering
formal
management
methods
requirements
analysisautomotiveengineeringformalmanagementmethodsrequirements
(0)
copydelete
- community post
- history of this post
2Importance of preparation formal job interview
Importance of preparation formal job interview
10 years ago by @allfindout
show all tags
formal
importance
interview
job
preparation
formalimportanceinterviewjobpreparation
(0)
copydelete
- community post
- history of this post
1How Are Concepts Formed? - General Psychology
http://general-psychology.weebly.com/how-are-concepts-formed.html
11 years ago by @jaeschke
show all tags
analysis
concept
fca
formal
psychology
analysisconceptfcaformalpsychology
(0)
copydelete
- community post
- history of this post
1Concept definition | Psychology Glossary | alleydog.com
http://www.alleydog.com/glossary/definition.php?term=Concept
11 years ago by @jaeschke
show all tags
analysis
concept
definition
fca
formal
psychology
analysisconceptdefinitionfcaformalpsychology
(0)
copydelete
- community post
- history of this post
1SamyaDaleh - YouTube / Theoretische Informatik
Computerlinguistik/Automatentheorie etc: So macht man seine Hausaufgaben.
11 years ago by @seboettg
show all tags
automaten
formal
languages
theory
automatenformallanguagestheory
(0)
copydelete
- community post
- history of this post
1fcatools/conexp-ng · GitHub
conexp-ng - ConExp-NG is a simple GUI-centric tool for the study & research of Formal Concept Analysis (FCA) that allows you to create formal contexts, draw concept lattices and explore dependencies between attributes.
11 years ago by @jaeschke
show all tags
analysis
concept
conexp
conexp-ng
explorer
fca
formal
tool
analysisconceptconexpconexp-ngexplorerfcaformaltool
(0)
copydelete
- community post
- history of this post
1Concept Explorer FX
http://lat.inf.tu-dresden.de/%7Efrancesco/conexp-fx/conexp-fx.html
11 years ago by @jaeschke
show all tags
analysis
concept
conexp
conexpfx
explorer
fca
formal
analysisconceptconexpconexpfxexplorerfcaformal
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)840
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2Toward a Formalization of BPEL 2.0 : An Algebra Approach
L. Boumlik, M. Mejri, and H. Boucheneb. International Journal on Web Service Computing (IJWSC), 11 (1): 01-20 (March 2020)
20 days ago by @ijwsc
show all tags
2.0
Algebra
Formal
Operational
Process
Semantics
Services
WS-BPEL
Web
methods
orchestration
2.0AlgebraFormalOperationalProcessSemanticsServicesWS-BPELWebmethodsorchestration
(0)
copydeleteadd this publication to your clipboard
4Formale Begriffsanalyse
B. Ganter, and R. Wille. Springer, Berlin, Heidelberg, (1996)
5 months ago by @jaeschke
show all tags
analysis
book
concept
fca
formal
mathematics
analysisbookconceptfcaformalmathematics
(0)
copydeleteadd this publication to your clipboard
4A Repository for Formal Contexts
T. Hanika, and R. Jäschke. Conceptual Knowledge Structures, 14914, page 182--197. Cham, Springer Nature Switzerland, (2024)
9 months ago by @jaeschke
show all tags
2024
analysis
concept
data
dataset
fca
formal
myown
repository
research
2024analysisconceptdatadatasetfcaformalmyownrepositoryresearch
(0)
copydeleteadd this publication to your clipboard
1Conceptual Knowledge Structures
I. Cabrera, S. Ferré, and S. Obiedkov (Eds.) volume 14914 of Lecture Notes in Artificial Intelligence, Cham, Springer, (2024)
9 months ago by @jaeschke
show all tags
analysis
cla
concept
concepts
conference
fca
formal
iccs
icfca
knowledge
proceedings
analysisclaconceptconceptsconferencefcaformaliccsicfcaknowledgeproceedings
(0)
copydeleteadd this publication to your clipboard
1Knowledge representation of age-related diseases under innate and adaptive-immunosenescence valued contexts
J. Burgos-Salcedo. African Research Journal of Medical Sciences, 1 (1): 33-41 (January 2024)
11 months ago by @afrjms
show all tags
Age-related
Analysis,
Formal
Immunosenescence,
Knowledge
concept
diseases
representation,
Age-relatedAnalysis,FormalImmunosenescence,Knowledgeconceptdiseasesrepresentation,
(0)
copydeleteadd this publication to your clipboard
1The Structure of Meaning in Language: Parallel Narratives in Linear Algebra and Category Theory
T. Bradley, and Juan Luis Gastaldi, and and John Terilla. Notices of the American Mathematical Society, 71 (2): 174--185 (February 2024)
a year ago by @jaeschke
show all tags
ai
algebra
analysis
artificial
category
concept
fca
formal
intelligence
language
linear
meaning
theory
aialgebraanalysisartificialcategoryconceptfcaformalintelligencelanguagelinearmeaningtheory
(0)
copydeleteadd this publication to your clipboard
1Lattice-based progressive author disambiguation
T. Backes, and S. Dietze. Information Systems, (2022)
a year ago by @stumme
show all tags
analysis
author
concept
disambiguation
fca
formal
lattice
orca
analysisauthorconceptdisambiguationfcaformallatticeorca
(0)
copydeleteadd this publication to your clipboard
2Toward a Formalization of BPEL 2.0 : An Algebra Approach
L. Boumlik, M. Mejri, and H. Boucheneb. https://aircconline.com/ijwsc/V11N1/11120ijwsc01.pdf, Heidelberg, 2 edition, (March 2020)
a year ago by @ijwsc
show all tags
2.0
Algebra
Formal
Operational
Process
Semantics
Services
WS-BPEL
Web
methods
orchestration
2.0AlgebraFormalOperationalProcessSemanticsServicesWS-BPELWebmethodsorchestration
(0)
copydeleteadd this publication to your clipboard
26Discovering Shared Conceptualizations in Folksonomies
R. Jäschke, A. Hotho, C. Schmitz, B. Ganter, and G. Stumme. Journal of Web Semantics, 6 (1): 38--53 (February 2008)
2 years ago by @nepomuk
show all tags
tagging
myown
fca
trias
folksonomy
from:jaeschke
concept
l3s
analysis
formal
2008
top
ol_tut2010
taggingmyownfcatriasfolksonomyfrom:jaeschkeconceptl3sanalysisformal2008topol_tut2010
(0)
copydeleteadd this publication to your clipboard
1Challenges to multiple testing in clinical trials.
H. Hung, and S. Wang. Biometrical journal. Biometrische Zeitschrift, 52 (6): 747-56 (December 2010)5861<m:linebreak></m:linebreak>Comparacions múltiples.
2 years ago by @jepcastel
show all tags
ClinicalTrialsasTopic
ClinicalTrialsasTopic:methods
DataInterpretation
EndpointDetermination
Formal
Humans
ResearchDesign
SocialControl
Statistical
TimeFactors
TreatmentOutcome
ClinicalTrialsasTopicClinicalTrialsasTopic:methodsDataInterpretationEndpointDeterminationFormalHumansResearchDesignSocialControlStatisticalTimeFactorsTreatmentOutcome
(0)
copydeleteadd this publication to your clipboard
1Benefits of Entrepreneurship, an Analysis for Its Determination
D. Bustillos-Varela. INTERNATIONAL JOURNAL OF TREND IN SCIENTIFIC RESEARCH AND DEVELOPMENT, 6 (1): 1684-1688 (December 2021)
3 years ago by @ijtsrd
show all tags
Business
Entrepreneurship
Formal
Opportunity
Progress
Self-employment
in
BusinessEntrepreneurshipFormalOpportunityProgressSelf-employmentin
(0)
copydeleteadd this publication to your clipboard
1DIGITAL WATERMARKING TECHNIQUE BASED ON MULTI-RESOLUTION CURVELET TRANSFORM
S. Ranjeeta Kaushik, and L. Raheja. International Journal in Foundations of Computer Science & Technology (IJFCST), 7 (02): 01-14 (March 2017)
3 years ago by @usmankhawaja
show all tags
Algorithms
Automata
Combinatorial
Data
Formal
Games
Languages
Novel
and
structures
AlgorithmsAutomataCombinatorialDataFormalGamesLanguagesNovelandstructures
(0)
copydeleteadd this publication to your clipboard
2Mining Formal Concepts using Implications between Items
A. Belfodil, A. Belfodil, and M. Kaytoue. International Conference on Formal Concept Analysis, page 173--190. Springer, (2019)
4 years ago by @becker
show all tags
closure
subgroup
discovery
emm
exceptional
model
mining
efficient
algorithm
formal
concept
closuresubgroupdiscoveryemmexceptionalmodelminingefficientalgorithmformalconcept
(0)
copydeleteadd this publication to your clipboard
4Some Experimental Results on Randomly Generating Formal Contexts.
D. Borchmann, and T. Hanika. CLA, volume 1624 of CEUR Workshop Proceedings, page 57-69. CEUR-WS.org, (2016)
5 years ago by @tom.hanika
show all tags
2020
CDA
context
fca
formal
summer
vorlesung
2020CDAcontextfcaformalsummervorlesung
(1)
copydeleteadd this publication to your clipboard
106Information Retrieval in Folksonomies: Search and Ranking
A. Hotho, R. Jäschke, C. Schmitz, and G. Stumme. (2006)
5 years ago by @madizdar
show all tags
Analysis
Bookmark
Concept
Formal
Graph
Information
Preference
Retrieval
Social
Tripartite
Vector
AnalysisBookmarkConceptFormalGraphInformationPreferenceRetrievalSocialTripartiteVector
(0)
copydeleteadd this publication to your clipboard
4Null Models for Formal Contexts
M. Felde, T. Hanika, and G. Stumme. Information, 11 (3): 135 (2020)
5 years ago by @tomhanika
show all tags
2020
context
fca
formal
generation
itegpub
kdepub
myown
null-model
publist
2020contextfcaformalgenerationitegpubkdepubmyownnull-modelpublist
(0)
copydeleteadd this publication to your clipboard
2Formal Concept Analysis on Graphics Hardware.
W. Langdon, S. Yoo, and M. Harman. CLA, volume 959 of CEUR Workshop Proceedings, page 413-416. CEUR-WS.org, (2011)
5 years ago by @tomhanika
show all tags
CUDA
bicliques
computation
concepts
fca
formal
graphics
kde
project
CUDAbicliquescomputationconceptsfcaformalgraphicskdeproject
(0)
copydeleteadd this publication to your clipboard
3Hierarchies of Conceptual Scales
G. Stumme. Proc.Workshop on Knowledge Acquisition, Modeling and Management (KAW'99), 2, page 78-95. Banff, (October 1999)
5 years ago by @sebenner
show all tags
2019
analysis
concept
conceptual
fca
formal
kde
lattices
myown
ontologies
scaling
seminar
wissensverarbeitung
2019analysisconceptconceptualfcaformalkdelatticesmyownontologiesscalingseminarwissensverarbeitung
(0)
copydeleteadd this publication to your clipboard
7Logical scaling in formal concept analysis
S. Prediger. Conceptual structures: Fulfilling Peirce's dream, 1257, Berlin--Heidelberg--New York, Springer--Verlag, (1997)
5 years ago by @sebenner
show all tags
2019
ag1
analysis
begriffsanalyse
concept
darmstadt
fba
fca
formal
formale
forschungsgruppe
kde
lattices
seminar
tu
wissensverarbeitung
2019ag1analysisbegriffsanalyseconceptdarmstadtfbafcaformalformaleforschungsgruppekdelatticesseminartuwissensverarbeitung
(0)
copydeleteadd this publication to your clipboard
5Local Scaling in Conceptual Data Systems
G. Stumme. Conceptual Structures: Knowledge Representation as Interlingua Proc. ICCS'96, volume 1115 of LNAI, page 308-320. Heidelberg, Springer, (1996)
5 years ago by @sebenner
show all tags
2019
analysis
concept
conceptual
fca
formal
kde
local
scaling
seminar
toscana
wissensverarbeitung
2019analysisconceptconceptualfcaformalkdelocalscalingseminartoscanawissensverarbeitung
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩