004 Datenverarbeitung; Informatik
Refine
Year of publication
Document Type
- Article (209)
- Working Paper (117)
- Doctoral Thesis (103)
- Conference Proceeding (48)
- Preprint (43)
- Part of a Book (12)
- Report (12)
- Bachelor Thesis (10)
- Master's Thesis (8)
- Book (7)
Language
- English (578) (remove)
Has Fulltext
- yes (578)
Is part of the Bibliography
- no (578)
Keywords
- Lambda-Kalkül (20)
- Formale Semantik (11)
- artificial intelligence (9)
- data science (9)
- lambda calculus (9)
- machine learning (9)
- Operationale Semantik (8)
- Nebenläufigkeit (7)
- Programmiersprache (7)
- concurrency (7)
- functional programming (6)
- machine-learning (6)
- semantics (6)
- Computerlinguistik (5)
- Machine learning (5)
- Textanalyse ; Linguistische Datenverarbeitung; Computerlinguistik (5)
- Verifikation (5)
- contextual equivalence (5)
- digital medicine (5)
- pi-calculus (5)
- Data science (4)
- FPGA (4)
- Linguistische Datenverarbeitung (4)
- Logik (4)
- Machine Learning (4)
- Semantics (4)
- Textanalyse (4)
- adequate translations (4)
- copyright (4)
- journals (4)
- letrec (4)
- paywalls (4)
- synaptic plasticity (4)
- ALICE (3)
- Big Data (3)
- Data protection (3)
- Fisher information (3)
- Funktionale Programmiersprache (3)
- Funktionale Programmierung (3)
- GDPR (3)
- Hebbian learning (3)
- LibGen (3)
- Named entity recognition (3)
- Natural Language Processing (3)
- Privacy (3)
- Sci-Hub (3)
- Verification (3)
- algorithms (3)
- automated deduction (3)
- call-by-need (3)
- computer vision (3)
- context lemma (3)
- data structures (3)
- data-science (3)
- deep learning (3)
- functional programming languages (3)
- information theory (3)
- literature (3)
- neural networks (3)
- objective functions (3)
- observational semantics (3)
- patients (3)
- piracy (3)
- publishing (3)
- rewriting (3)
- verification (3)
- web archiving (3)
- Analog Circuits (2)
- BioCreative V.5 (2)
- BioNLP (2)
- Biomedical informatics (2)
- CBM experiment (2)
- Call-by-Need (2)
- Clinical decision support systems (2)
- Computational neuroscience (2)
- Computer Vision (2)
- Computer science (2)
- Computer-assisted diagnosis (2)
- Contextual Equivalence (2)
- Databases (2)
- Datenschutz (2)
- Deep Learning (2)
- Deep learning (2)
- External Memory (2)
- Graph Neural Networks (2)
- HL7 FHIR (2)
- Information Retrieval (2)
- Kalman Filter (2)
- Kinect (2)
- Kongress (2)
- Kontextuelle Gleichheit (2)
- Learning analytics (2)
- Logics (2)
- Machine-learning (2)
- Multimodal Learning Analytics (2)
- Neural Networks (2)
- Nichtdeterminismus (2)
- Numismatics (2)
- Online Algorithms (2)
- Online-Publikation (2)
- Petri net (2)
- Petrov-Galerkin finite volumes (2)
- Programming (2)
- Programmtransformation (2)
- Pufferspeicher (2)
- Python (2)
- Randomization (2)
- Rare diseases (2)
- Reinforcement Learning (2)
- Robotics (2)
- SLAM (2)
- Security (2)
- Software (2)
- Software Engineering (2)
- Theoretische Informatik (2)
- Visual cortex (2)
- call-by-name (2)
- context unification (2)
- economics (2)
- generating functionals (2)
- healthcare (2)
- homeostatic adaption (2)
- infinitary lambda calculus (2)
- intrinsic plasticity (2)
- lambda-calculus (2)
- lazy evaluation (2)
- logics in artificial intelligence (2)
- lower bounds (2)
- matching (2)
- mutual information (2)
- neural computation (2)
- non-determinism (2)
- nondeterminism (2)
- open-access (2)
- parameter estimation (2)
- partial information decomposition (2)
- plasticity (2)
- program transformation (2)
- programming languages (2)
- reinforcement learning (2)
- second order unification (2)
- septic shock (2)
- simulation (2)
- sparse coding (2)
- text analysis (2)
- trustworthy AI (2)
- unification (2)
- (mobile) Internet (1)
- (re-)openings (1)
- (surface) partial differential equations (1)
- 3D image analysis (1)
- 3D spatio-temporal resolved mathematical models (1)
- AI Safety (1)
- AI fairness (1)
- ALICE experiment (1)
- ATPG (1)
- Abfrageverarbeitung (1)
- Abstraction (1)
- Abstrakte Reduktion (1)
- Abstrakter Automat (1)
- Active learning (1)
- Adaptive Prediction (1)
- Adaptive control (1)
- Adoption (1)
- Aesthetic responsiveness (1)
- Ageing (1)
- Agent <Künstliche Intelligenz> (1)
- Agenten (1)
- Agents (1)
- Algorithmic fairness (1)
- Algorithmus (1)
- Alice ML (1)
- Alpha equivalence (1)
- Amblyopia (1)
- Analog (1)
- Analog Verification (1)
- Analoges System (1)
- Analogschaltungen (1)
- Annotation (1)
- App (1)
- App ecosystem (1)
- Approximation Algorithms (1)
- Archaeometry (1)
- Art interventions (1)
- Artificial Intelligence (1)
- Artificial intelligence (1)
- Artificial neural networks (1)
- Assurance (1)
- Atrial fibrillation classification (1)
- Attention mechanism (1)
- Aufwandsschätzung (1)
- Auswahlprozess (1)
- Auto-ML (1)
- Automata theory (1)
- Automated sRNA analysis (1)
- Automatentheorie (1)
- Automatic (1)
- Autonomous Driving (1)
- Autonomous Learning (1)
- BFS (1)
- BIOfid (1)
- Bacillus subtilis (1)
- Baumgrammatiken (1)
- Bayesian Persuasion (1)
- Bayesian Statistics (1)
- Bayesian network (1)
- Benchmark testing (1)
- Beschreibungskomplexität (1)
- Big Data Benchmarks (1)
- Big data (1)
- BigBench (1)
- Bilderkennung (1)
- Bildnisschutz (1)
- Bildverarbeitung (1)
- Binocular Rivalry (1)
- Biodiversity (1)
- Biomedical named entity recognition (1)
- Biophysical models (1)
- Blended learning (1)
- Blockchain (1)
- Bluetooth-Standard (1)
- Breast cancer survivers (1)
- Brownian motion (1)
- Browsertool (1)
- C-reactive protein (1)
- CABG (1)
- CBM (1)
- CBM detector (1)
- CEMP (1)
- CHEMDNER (1)
- CLVisc (1)
- COGNIMUSE (1)
- COVID-19 (1)
- COVID-19 news (1)
- CQL (1)
- CRF (1)
- CTL (1)
- Caché (1)
- Call-by-need Lambda Calculus (1)
- Cameras (1)
- Causal Machine Learning (1)
- Cellular Automaton (1)
- Certification (1)
- Chatbot (1)
- Classification (1)
- Claude Elwood (1)
- Clean (1)
- Climate change (1)
- Closed World Assumption (CWA) (1)
- Coefficient correction (1)
- Cognition (1)
- Cognitive (1)
- Cognitive Maps (1)
- Cognitive Spatial Distortions (1)
- Coherent Infomax (1)
- Collective cell migration (1)
- Common Criteria (1)
- Comparative analysis (1)
- Complementary mobility services (1)
- Complex problem solving (1)
- Computational Humanities (1)
- Computational geometry (1)
- Computational model (1)
- Computational models (1)
- Computational sRNA analysis (1)
- Computational science (1)
- Computer Science (1)
- Computer-based assessment (1)
- Concrete (1)
- Conjoint Analysis (1)
- Connected Components (1)
- Continual deep learning (1)
- Convolutional (1)
- Convolutional Neural Networks (1)
- Coordination (1)
- Core-component reuse (1)
- Correctness (1)
- Cortical column (1)
- Cost estimation (1)
- Costs (1)
- Crowdsourcing (1)
- Curse of dimensionality (1)
- Customer data sharing (1)
- Cybersecurity (1)
- DNN Robustness (1)
- Data Acquisition (1)
- Data Analysis (1)
- Data Analytics (1)
- Data access (1)
- Data loss prevention (1)
- Data portability (1)
- Data preprocessing (1)
- Data processing (1)
- Data security (1)
- Data structure detection (1)
- Dataflow Computing (1)
- Datenaustausch (1)
- Datenintegration (1)
- Datenqualität (1)
- Degradation (1)
- Deictic and iconic gestures (1)
- Delegated Search (1)
- Density-driven flow (1)
- Depression (1)
- Detector Readout (1)
- Deutsch (1)
- Developmental Robotics (1)
- DiGeo (1)
- Diagnostic markers (1)
- Dialog Generation (1)
- Digital Higher Education (1)
- Digital Humanities (1)
- Digital Rights Management (1)
- Digital footprints (1)
- Digital service chain (1)
- Digitality (1)
- Digitalkamera (1)
- Discrete choice experiment (1)
- Discrete time dynamic programming (1)
- Diskrete Mathematik (1)
- Dispositional learning analytics (1)
- Docker (1)
- Dual response (1)
- Dynamic Graph Algorithms (1)
- Dynamic portfolio choice (1)
- E-Learning (1)
- EDISON competence framework (1)
- EEG microstates (1)
- Earthquake waveforms (1)
- Ecosystems (1)
- Educational institutions (1)
- Educational texttechnology (1)
- Effort estimation (1)
- Ego-motion Estimation (1)
- Eigenbewegungsschaetzung (1)
- Electric vehicles (1)
- Electroencephalography (1)
- Electronic properties and materials (1)
- Elektronik (1)
- Elektronisches Wasserzeichen (1)
- Energy modelling (1)
- Energy system modelling tool (1)
- Energy-efficiency (1)
- Enriched Digital Footprint (1)
- Enriched finite elements (1)
- Entropie (1)
- Entropie <Informationstheorie> (1)
- Entwicklungsprojekt (1)
- Entwurfsautomation (1)
- Error Mitigation (1)
- Ethical issues (1)
- Eukaryotic sRNA (1)
- Euler method (1)
- Europe (1)
- Event Buffering (1)
- Exchange Format (1)
- Experimental Evaluation (1)
- Experimental Methods (1)
- Experts (1)
- Explicit Feedback (1)
- External-memory graph algorithms (1)
- Extraterrestrial measurements (1)
- F.4.1 (1)
- FHIR (1)
- FHIR Search (1)
- FPGAs (1)
- Fair AI (1)
- Fast Healthcare Interoperability Resources (1)
- Fault Tolerance (1)
- Feature article (1)
- Feedback loop (1)
- Fiber Bundles (1)
- Fictitious domain (1)
- FinTech (1)
- Finance (1)
- Finite Volumes (1)
- Finite elements (1)
- First-motion polarity (1)
- Flash Memories (1)
- Fluid-particle interaction (1)
- Formal Verification (1)
- Formale Sprache (1)
- Formale Verifikation (1)
- Formative assessment (1)
- Fourier-Motzkin algorithm (1)
- Frontmatter (1)
- Functional magnetic resonance imaging (1)
- Futures (1)
- GABAergic (1)
- GPRO (1)
- GPU algorithms (1)
- Gabor wavelets (1)
- Gaussian Processes (1)
- Gedächtnis (1)
- Gedächtnisbildung (1)
- Gehirn (1)
- General Data Protection Regulation (1)
- Geodesics (1)
- Gesicht (1)
- Gesichtserkennung (1)
- Gestural writing (1)
- Gradient-based optimization (1)
- Graph (1)
- Graph Algorithms (1)
- Graph Machine Learning (1)
- Graph theory (1)
- Green Nudging (1)
- Ground Texture (1)
- Groundwater (1)
- Großhirnrinde (1)
- Guidelines (1)
- HEP-Computing (1)
- HLT (1)
- HPC (1)
- Hash Funktionen (1)
- Haskell (1)
- Haskell 98 (1)
- Hauptkomponentenanalyse (1)
- Heavy Ion Collisions (1)
- Heavy Ion experiments (1)
- Heavy-ion physics (1)
- Heuristics (1)
- Hidden Markov Model (1)
- Hierarchical B-splines (1)
- High Level Synthesis (1)
- High energy physics (1)
- High-Level-Trigger (1)
- Higher education (1)
- Hinterlegungsverfahren <Kryptologie> (1)
- Hintertür <Informatik> (1)
- Hirnforschung (1)
- Historical Document Analysis (1)
- Hive (1)
- Hochschule (1)
- Human factors (1)
- Hybrid automaton (1)
- Hybrid model (1)
- Hypercolumn (1)
- Hypertext (1)
- I/O Model (1)
- I/O efficiency (1)
- ICT products (1)
- IS post-adoption (1)
- ISO 15408 (1)
- Iconography (1)
- Image schemata (1)
- Immersed boundary method (1)
- Implicit Discourse Parsing (1)
- Implicit Feedback (1)
- Implicit Semantic Role Labeling (1)
- Independent Component Analysis ICA (1)
- Individual differences (1)
- Inductive bias (1)
- Induktive Inferenz (1)
- Infinite games with perfect information (1)
- Inflammation (1)
- Informatik (1)
- Information Extraction (1)
- Information Security (1)
- Informational self-determination (1)
- Informationelles Selbstbestimmungsrecht (1)
- Informationsintegration (1)
- Infrarot (1)
- Inter-annotator agreement (1)
- InterSystems (1)
- Internationaler Datenschutz (1)
- Internet of Things (1)
- Internet use (1)
- Interview (1)
- Intrinsic Motivations (1)
- Invariant object recognition (1)
- Ionizing Radiation (1)
- Isolation (1)
- Iteratives Array (1)
- Java (1)
- Jaynes (1)
- Julia (1)
- Kalman filter (1)
- Kalman-Filter (1)
- Kinetic hypertext authoring (1)
- Knowledge Networking (1)
- Knowledge engineering (1)
- Kollaboration <Informatik> (1)
- Kontextuelle Gleicheit (1)
- Koordination (1)
- Kryptographie (1)
- K–12 (1)
- LDPC Codes (1)
- LSTM (1)
- Lambda Calculus (1)
- Langzeitgedächtnis (1)
- Large Language Models (1)
- Law (1)
- Layout (1)
- Learning Analytics (1)
- Learning dispositions (1)
- Lehre (1)
- Leichtgewichtige Kryptographie (1)
- Letrec-Kalkül (1)
- Lifelong machine learning (1)
- Light-sheet fluorescence microscopy (1)
- Line reconstruction (1)
- Linear regression (1)
- Linear regression analysis (1)
- Linked Data (1)
- Linux Container (1)
- Load flow calculations (1)
- Localization (1)
- Location-based games (1)
- Log data (1)
- Logic in computer science (1)
- MIMIC-III (1)
- ML <Programmiersprache> (1)
- Machine teaching (1)
- Manhattan distance (1)
- Many-core computer architectures (1)
- MapReduce (1)
- Marketplace lending (1)
- Markovianity (1)
- Matching <Graphentheorie> (1)
- Meaning-making (1)
- Mechanisms/mediators (1)
- MediaEval 2016 (1)
- Medical Systems (1)
- Mehragentensystem (1)
- Mehrseitige Sicherheit (1)
- Memory (1)
- Merkmalsraum (1)
- Merkmalsselektion (1)
- Message authentication (1)
- Mobile Phones (1)
- Mobile Telekommunikation / Electronic Commerce (1)
- Mobile games (1)
- Mobile platforms (1)
- Model Checking (1)
- Model-based public policy (1)
- Monocular Scene Flow (1)
- Monolithic scheme (1)
- Multi-Omics (1)
- Multi-model ensemble (1)
- Multicomponent Tree Adjoining Grammar (1)
- Multigrid (1)
- Multimodal Modeling (1)
- Museum information system (1)
- Museums (1)
- NLP (1)
- NREM-Schlaf (1)
- Natural Language Understanding (1)
- Network Neuroscience (1)
- Network models (1)
- Networking (1)
- Netzzusammenschaltung (1)
- Neural Network (1)
- Neural encoding models (1)
- Neural map (1)
- Neural networks (1)
- NeuroXidence (1)
- Neurofuzzy (1)
- Nichtlineare Datenanalyse (1)
- Nichtlineare Merkmalsselektion (1)
- Noisy point clouds (1)
- Non-Lagrange multiplier method (1)
- Non-determinism (1)
- Nonlinear Data Analysis (1)
- Nonlinear Feature Selection (1)
- Nutrition (1)
- ODE (1)
- OER (1)
- ORC (1)
- Object vision (1)
- Objekterkennung (1)
- Olfactory system (1)
- Online algorithms (1)
- Online art (1)
- Online privacy (1)
- Ontogenie (1)
- Ontology (1)
- Open Educational Resources (1)
- Open Science (1)
- Open banking (1)
- Open data (1)
- Open set recognition (1)
- Open source (1)
- Open world learning (1)
- Open-access data resource (1)
- Open-source software (1)
- OpenStreetMap (1)
- OpenStreetMap quality evaluation (1)
- Operational Semantics (1)
- Optimal wiring (1)
- Orientation preference (1)
- Outlier detection (1)
- Outreach practice (1)
- P2P lending (1)
- PDEs (1)
- PISA (1)
- Paging (1)
- Paging Algorithms (1)
- Pain (1)
- Parallel and SIMD calculations (1)
- Paramecium (1)
- Parkinson Effekt (1)
- Parkinson diagnosis (1)
- Parkinson effect (1)
- Parquet (1)
- Participatory process (1)
- Particle image velocimetry (1)
- Pattern classification (1)
- Patternsprachen (1)
- Pedestrian Detection (1)
- Permutation (1)
- Personalized Medicine (1)
- Persönlichkeitsrecht (1)
- Philip Agre (1)
- Phosphate (1)
- Pinwheel (1)
- Planning (1)
- Planning systems (1)
- Planungssystem (1)
- Planungssysteme (1)
- Plasticity (1)
- Pleasure (1)
- PointNet (1)
- Pokémon Go (1)
- Polynomielles Wortproblem (1)
- Portabler Objektadapter (1)
- Pose Estimation (1)
- Positive fluid balance (1)
- Postoperative atrial fibrillation (1)
- Power system simulations (1)
- Preclinical research (1)
- Precongruence (1)
- Predictive Modeling (1)
- Predictive markers (1)
- Preface (1)
- Preßburg <2003> (1)
- Principal Component Analysis PCA (1)
- Principal Independent Component Analysis PICA (1)
- Privacy Policies (1)
- Processor (1)
- Procrastination (1)
- Product life cycle (1)
- Product returns (1)
- Prognostic markers (1)
- Program Transformations (1)
- Programmiersprachen (1)
- Programmkalküle (1)
- Programmkorrektheit (1)
- Projektmanagement (1)
- Prokrastination (1)
- Prophet Inequalities (1)
- Proteomics (1)
- Präkongruenz (1)
- Präsenzlehre (1)
- Public Administration (1)
- Q-modularity (1)
- QCD equation of state (1)
- QCD phase transition (1)
- Qualitative research (1)
- Quality of life (1)
- R-code (1)
- RADIUS Protocol (1)
- RDF (1)
- RNA biology (1)
- RNA interference (1)
- Randomized algorithms (1)
- Range Concatenation Grammar (1)
- Rate Distortion Theory (1)
- Rating Scale (1)
- Rating Scale Design (1)
- Rating System (1)
- Reaktivierung der Gedächtnisspuren (1)
- Recht am eignenen Bild (1)
- Recurrent neural network (1)
- Reduktionssystem (1)
- Relationale Datenbank (1)
- Reproducibility (1)
- Reservoir (1)
- Residual connection (1)
- Risk assessment (1)
- Roadmap (1)
- Roboter (1)
- Robustheit (1)
- Routing (1)
- Rènyi mutual information (1)
- SEM (1)
- SHA-3 (1)
- SORN (1)
- SQL-on-Hadoop (1)
- STAR (1)
- STAR experiment (1)
- STDP (1)
- SWRL (1)
- Salt formations (1)
- Sample-based longitudinal study (1)
- Saward (1)
- Schlaf (1)
- Schätzwert (1)
- Script Compression (1)
- Sehrinde (1)
- Seitenersetzungsstrategie (1)
- Selbstorganisation (1)
- Selbstorganisierende Karte (1)
- Selection process (1)
- Self-Instruct (1)
- Self-fulfilling Prophecy (1)
- Semantic Web (1)
- Semantic portal (1)
- Semantik (1)
- Sensory perception (1)
- Sentiment analysis (1)
- Sequence analysis (1)
- Shannon (1)
- Sharing (1)
- Short-lived particles (1)
- Sichere Antworten (1)
- Similarity (1)
- Single Event Effects (1)
- Small RNA analysis (1)
- Social construction of technology (1)
- Software development practice (1)
- Software updates (1)
- SparkSQL (1)
- Spatially adaptive sparse grids (1)
- Specialized information service (1)
- Speicherbedarf (1)
- Sprachtheorie (1)
- Spurious pressure (1)
- Standardisation (1)
- Statistical Classification (1)
- Stereo Vision (1)
- Stereophotographie (1)
- Stochastic Probing (1)
- Stock markets (1)
- Strange particles (1)
- Striktheitsanalyse (1)
- Strong coupling (1)
- Student expectations (1)
- Support Vector Machine (1)
- Syntaktische Analyse (1)
- TCP/IP (1)
- TDOA (1)
- TMT (1)
- TRD (1)
- Table of Contents (1)
- Takens-Grassberger correlation integral (1)
- Tarragona <2008> (1)
- Taxon (1)
- Technology-Enhanced Learning (1)
- Telekommunikationsnetz (1)
- Telekommunikationswirtschaft (1)
- Termination (1)
- Terminology Evolution (1)
- Terrmersetzungssystem (1)
- Testing (1)
- Text Annotation (1)
- Time Constraints (1)
- Tobler's First Law (1)
- Topic modelling (1)
- Topological insulators (1)
- Toxicity (1)
- Tracking (1)
- Traffic Scenes (1)
- Training (1)
- Transfer learning (1)
- Transinformation (1)
- Transkription (1)
- Translation (1)
- Translational research (1)
- Tree Adoining Grammar (1)
- Tree Description Grammar (1)
- Tribolium castaneum (1)
- Tropical Grassmannians (1)
- Tropical geometry (1)
- Tropical varieties (1)
- Trusted Computing (1)
- UIMA (1)
- UPT (1)
- Umbenennung (1)
- Unabhängige Komponentenanalyse (1)
- Uncertainty (1)
- Uncertainty quantification (1)
- Ungewissheit (1)
- Uniform resource locators (1)
- Universa feature extraxtion (1)
- Unüberwachtes Lernen (1)
- User Profile (1)
- VLSI (1)
- Valve surgery (1)
- Virtual Reality (1)
- Vision (1)
- Visual (1)
- Visual object recognition (1)
- Volunteered Geographic Information (1)
- Voyeurism (1)
- Voyeurismus (1)
- WWW (1)
- Watermarking (1)
- Web (1)
- Web 2.0 (1)
- Web Analytics (1)
- Web Archives (1)
- Wechselseitige Information (1)
- Well-being (1)
- Workshop Organization (1)
- Wortproblem (1)
- Z-inspection (1)
- Zellularer Automat (1)
- Zertifizierung (1)
- abstract reduction (1)
- acoustic multilateration (1)
- active perception (1)
- acute infection (1)
- adaption (1)
- addressability (1)
- adequate translation (1)
- affective computing (1)
- afterlife (1)
- agent-based modeling (1)
- algorithm engineering (1)
- alpha renaming (1)
- ambiguity (1)
- animal behavior states (1)
- animal detection (1)
- animal sounds (1)
- animal welfare (1)
- approximation algorithms (1)
- approximation complexity (1)
- apps (1)
- architecture (1)
- artificial neural networks (1)
- attack scenarios (1)
- attention-based object recognition (1)
- augmented reality (1)
- automata (1)
- automated monitoring (1)
- automatic handwriting analysis (1)
- automotive sector (1)
- autoregressive GANs (1)
- avatars (1)
- average pairwise distance (1)
- average-case complexity (1)
- barrel cortex (1)
- base stations (1)
- batteries (1)
- behavioral research (1)
- big data (1)
- big data benchmarking (1)
- bioacoustics (1)
- biochemical pathways (1)
- biofilm (1)
- bioimaging (1)
- bioinformatics (1)
- biologically inspired computing (1)
- bisimulation (1)
- bistable perception (1)
- bivariate (1)
- boutons (1)
- brain (1)
- built-in self-test (1)
- calcium dynamics (1)
- call-by-need evaluation (1)
- call-by-need lambda calculus (1)
- cancer (1)
- capture (1)
- cardiac arrest (1)
- case study (1)
- cellular automata (1)
- cellular triangulation (1)
- centrality (1)
- certain answers (1)
- changepoint (1)
- chatbots (1)
- chronic infection (1)
- classification (1)
- clinical presentation (1)
- clinical trials (1)
- closed world assumption (CWA) (1)
- cloud service provider (1)
- cluster computing (1)
- cluster transformation (1)
- clustering (1)
- co-located collaboration analytics (1)
- co-presence (1)
- coding theory (1)
- codon usage preferences (1)
- cognitive development (1)
- coincidence detection (1)
- collaboration (1)
- collaboration analytics (1)
- colony formation (1)
- columnar file formats (1)
- combinatorics (1)
- communication complexity (1)
- community (1)
- comparison (1)
- complementary information (1)
- complex backgrounds (1)
- complexity (1)
- compression (1)
- computational complexity (1)
- computational intelligence (1)
- computational modeling (1)
- computational stemmatology (1)
- computational techniques (1)
- computational thinking (1)
- computational virology (1)
- concerns for information privacy (CFIP) (1)
- conjoint analysis (1)
- consensus data set (1)
- consumer behavior (1)
- contamination (1)
- content acquisition (1)
- context-sensitivity (1)
- conversation analysis (1)
- convolutional neural networks (1)
- coordination (1)
- corpus study (1)
- correctness (1)
- counting stemmata (1)
- coupled differential equations (1)
- coupon collector problem (1)
- crawling architecture (1)
- cultural capital (1)
- curiosity (1)
- cybernetics (1)
- dancing (1)
- data acquisition; high energy physics; FPGA; CBM; FLES (1)
- data analysis (1)
- data crowdsourcing (1)
- data exchange (1)
- data management (1)
- data orthonormalization network (1)
- data quality (1)
- data science education (1)
- data sharing (1)
- data streams (1)
- data structure (1)
- de-identification (1)
- debugging (1)
- decidability questions (1)
- deduction (1)
- deductive database (1)
- deduktive Datenbank (1)
- deep learning tools (1)
- deformable model (1)
- dendrites (1)
- density maps (1)
- density visualization (1)
- dermatology (1)
- descriptive patterns (1)
- deskriptive Pattern (1)
- detailed modeling (1)
- developers (1)
- device-to-device communication (1)
- diabetes mellitus (1)
- differential equations (1)
- digital cultures (1)
- digital distractions (1)
- digital divide (1)
- digital inequality (1)
- digital pathology (1)
- disaster risk management (1)
- discrete processing (1)
- diskrete Verarbeitung (1)
- distributed analysis (1)
- domains (1)
- drahtlos (1)
- dynamic algorithms (1)
- dynamic programming (1)
- e-Science (1)
- eHumanities (1)
- ePR (1)
- ePrivacy Regulation (1)
- ecology of savannah animals (1)
- education (1)
- elastic graph maching (1)
- electrical stimulation (1)
- electronic diaries (1)
- electronic nose (1)
- electronic pen (1)
- elementary mode (1)
- emergent self-organizing maps (1)
- emotion generation (1)
- emotion prediction (1)
- encounter (1)
- energy system simulations (1)
- enrichment (1)
- entity and event extraction (1)
- entropy (1)
- epigenome (1)
- epilepsy, epileptogenesis, model, neuro-immune, neuroinflammation, blood brain barrier, seizure (1)
- epistemic network analysis (1)
- equation of state (1)
- erasure codes (1)
- error correction codes (1)
- ethical co-design (1)
- ethical trade-off (1)
- ethics (1)
- event reconstruction (1)
- excess kurtosis (1)
- explainability (1)
- explainable AI (1)
- exploration (1)
- external memory (1)
- eye-tracking (1)
- fMRI (1)
- face (1)
- face recognition (1)
- factor (1)
- feasibility study (1)
- feature selection (1)
- federated feasibility queries (1)
- field mapping (1)
- field papers (1)
- financial decision support (1)
- finite model theory (1)
- firing pattern (1)
- first-order logic (1)
- flood risk perception (1)
- flooding (1)
- formal languages (1)
- formal semantics (1)
- functional module (1)
- futures (1)
- gamification (1)
- gamma Zyklus (1)
- gamma cycle (1)
- gathering (1)
- gene therapy (1)
- generalized uncertainty principle (1)
- generatives Lernen (1)
- generic tasks (1)
- genetic algorithm (1)
- genotype–phenotype (1)
- geodesic equation (1)
- german media theory (1)
- gesture recognition (1)
- grammar-based compression (1)
- graph algorithms (1)
- graph matching (1)
- graph theory (1)
- graph understanding (1)
- group speech analytics (1)
- guideline catalog (1)
- guiding principle (1)
- haemophilia treatment (1)
- hand posture recognition (1)
- hashing (1)
- haskell (1)
- health data (1)
- health information interoperability (1)
- heavy ion collision (1)
- heavy ion collisions (1)
- hepatitis C virus (HCV) (1)
- heterogeneity (1)
- heuristics (1)
- hierarchies and reducibilities (1)
- high energy physics (1)
- high performance computing (1)
- high-dimensional data sets (1)
- higher education (1)
- history (1)
- housing provision (1)
- human computer intaraction (1)
- human lymph node (1)
- human olfaction (1)
- human research (1)
- human robot interaction (1)
- human viruses (1)
- hybrid (1)
- image classification (1)
- image databases (1)
- image encoding (1)
- immune response (1)
- immune system (1)
- immunological research (1)
- impact parameter (1)
- incremental schemes (1)
- independent component analysis (1)
- inductive inference (1)
- information (1)
- information conservation (1)
- information decomposition (1)
- information landscape (1)
- information processing (1)
- information transfer (1)
- integer points (1)
- interactive data analysis (1)
- internet (1)
- interoperability (1)
- interpretability (1)
- intertextual similarity (1)
- intratextual similarity (1)
- intrinsic motivation (1)
- iterative arrays (1)
- joint-spike-event (1)
- k-shortest path (1)
- knowledge area (1)
- knowledge graphs (1)
- kontextabhängige Verarbeitung (1)
- kontextuelle Gleichheit (1)
- learning goal (1)
- learning unit (1)
- legacy software (1)
- libgen (1)
- line element (1)
- linguistic relativity (1)
- literature review (1)
- local information dynamics (1)
- logic (1)
- logic synthesis (1)
- lymph node (1)
- machine models (1)
- machine reasoning (1)
- machine translation (1)
- macronucleus (1)
- malignant melanoma (1)
- massively parallel multigrid solvers (1)
- mathematics education (1)
- matroids, online algorithm (1)
- maximal common transition set (1)
- meat adulteration (1)
- media archeology (1)
- media multitasking (1)
- medical informatics (1)
- meta languages (1)
- metabolic networks (1)
- metric tensor (1)
- microbiology (1)
- minimal cut set (1)
- minimum description length (1)
- minimum entropy (1)
- mobile communication (1)
- mobile media (1)
- model parameter adaption (1)
- modeling (1)
- modeling and simulation (1)
- models of computation (1)
- modulation of synchrony (1)
- monitoring (1)
- morphological filtering (1)
- morphology (1)
- motility (1)
- multi edge set graph (1)
- multimodal fusion (1)
- multimodal interaction (1)
- multimodal learning analytics (1)
- multiple correspondence analysis (1)
- multiple texts (1)
- multivariate (1)
- mutation (1)
- natural language (1)
- network analysis (1)
- network model (1)
- network similarity measurement (1)
- neural development (1)
- neural nets (1)
- neural network decoder (1)
- neural ordinary differential equation (1)
- neural systems (1)
- neuromuscular junction (1)
- neuron (1)
- neuronal morphology (1)
- neuropathic pain (1)
- neuroscience (1)
- newspaper (1)
- noise suppression (1)
- nominal unification (1)
- non-invasive (1)
- noncommutative geometry (1)
- nondeterministic finite automata (1)
- ntracellular signaling (1)
- object recognition (1)
- observational equivalence (1)
- off-line memory reprocessing (1)
- olfaction (1)
- olfactory testing (1)
- one-dimensional convolutional neural network (1)
- online bayesian change point detection (1)
- ontogenesis (1)
- open access (1)
- open-data (1)
- open-source (1)
- operational risk (1)
- optimal coding (1)
- optimal power flow (1)
- optimization (1)
- ordinary differential equation (1)
- outdoor activities (1)
- overfitting (1)
- packing problem (1)
- pain (1)
- pandemic (1)
- parallel (1)
- parallel file systems (1)
- parallel processes (1)
- parliament libraries (1)
- parliamentary debate (1)
- partial differential equation (1)
- participation (1)
- pathogenicity (1)
- patient data (1)
- patient–doctor relationship (1)
- pattern languages (1)
- pedagogical roles (1)
- performance evaluation (1)
- phase coding (1)
- photoaging (1)
- point process (1)
- polynomial word problem (1)
- postoperative pain (1)
- postrelational database (1)
- postrelationale Datenbank (1)
- precongruence (1)
- prediction (1)
- prediction quality (1)
- principal component analysis (1)
- privacy (1)
- privacy behavior (1)
- privacy calculus (1)
- privacy concerns (1)
- privacy engineering (1)
- privacy preference (1)
- privacy setting (1)
- privacy-enhancing technologies (1)
- probabilistic inference (1)
- probability theory (1)
- problem solving (1)
- process approximation (1)
- program correctness (1)
- programming calculi (1)
- programming languages design (1)
- protein assembly (1)
- protein structure (1)
- proteomics (1)
- public speaking (1)
- pulsed SILAC (1)
- pyramidal neuron (1)
- quantum chromodynamics (1)
- quantum gravity (1)
- query (1)
- quicksort (1)
- random forest regressor (1)
- random hyperbolic graph generator (1)
- randomized algorithms (1)
- reaction-diffusion systems (1)
- reactive systems (1)
- real world problems ; (1)
- realistic geometries (1)
- receivers (1)
- reception (1)
- recurrent neural networks (1)
- redundancy (1)
- redundant information (1)
- relative termination (1)
- relativity and gravitation (1)
- renewable energy (1)
- representation (1)
- representation learning (1)
- representative claims (1)
- requirements analysis (1)
- reservoir computing (1)
- respiratory complex I (1)
- reward (1)
- rewriting systems (1)
- risk assessment (1)
- robotics (1)
- robustness (1)
- routing (1)
- sRNA (1)
- sRNA tool (1)
- salsa (1)
- scale-invariant object model (1)
- sci-hub (1)
- science and technology studies (1)
- secretary problem (1)
- security (1)
- security assessment (1)
- security management (1)
- security of data (1)
- security self-assessment (1)
- security-constrained optimal power flow (1)
- segmentation (1)
- self-attention (1)
- self-control (1)
- self-organisation (1)
- self-organization (1)
- self-regulation (1)
- semantic content analysis (1)
- semantic web (1)
- sensor-based learning support (1)
- shape (1)
- shape prior (1)
- sharing (1)
- shock filter (1)
- shortest path (1)
- siRNA analysis (1)
- siRNA quantification (1)
- signature size (1)
- similarity (1)
- single block replacement (1)
- skin (1)
- small RNA (1)
- smart home (1)
- smart living (1)
- smart phones (1)
- smartphone apps (1)
- smoking (1)
- social Web (1)
- social engineering (1)
- social innovations (1)
- social media (1)
- social sciences (1)
- sociology (1)
- sorting (1)
- sound localization (1)
- space bounded computations (1)
- space improvements (1)
- space optimization (1)
- specialized vocabulary (1)
- specification and verification (1)
- spike timing (1)
- statistical shape analysis (1)
- stereo vision (1)
- stochastic model (1)
- storage (1)
- storage optimization (1)
- straight line programs (1)
- streaming algorithm (1)
- strictness analysis (1)
- string rewriting (1)
- stroke (1)
- structure-function relationships (1)
- substitution attacks (1)
- succinct data structures (1)
- succinctness (1)
- sum-product algorithm (1)
- supervised learning (1)
- surface approximation (1)
- swarming (1)
- synaptic normalization (1)
- synaptogenesis (1)
- synchronous firing (1)
- synergy (1)
- systems theory (1)
- t-cluster (1)
- t-distributed stochastic neighbor embedding (1)
- t-invariant (1)
- tailored learning path (1)
- technischer Datenschutz (1)
- technological frames (1)
- technological stasis (1)
- technology (1)
- termination (1)
- testability (1)
- text search (1)
- textbooks (1)
- the set disjointness problem (1)
- theoretical stemmatology (1)
- theory of computation (1)
- three-level topic model (1)
- threshold concepts (1)
- time series prediction (1)
- tobacco (1)
- tobacco cessation (1)
- tobacco prevention (1)
- topic detection (1)
- trajectories (1)
- transfer entropy (1)
- transition (1)
- translation (1)
- translational selection (1)
- treatment centres (1)
- tree grammars (1)
- trials registry (1)
- trust (1)
- trustworthy AI Co-design (1)
- uncertainty (1)
- unique information (1)
- unit commitment; (1)
- user involvement (1)
- user preferences (1)
- user study (1)
- variability (1)
- vergence (1)
- verzögerte Auswertung (1)
- video prediction (1)
- viral dynamics (1)
- virtual embodiment (1)
- virtual worlds (1)
- visual programming (1)
- visualisation (1)
- vocalization (1)
- volume-visualization (1)
- warburg (1)
- warts (1)
- web crawler (1)
- web of things (1)
- whitening filter (1)
- whole slide image (1)
- wikipedia (1)
- willingness to forward (1)
- wireless business model pyramid scheme multi-level (1)
- wireless communication (1)
- wireless networks (1)
- within-host viral modelling (1)
- women’s quota (1)
- workflow development (1)
- xAPI (1)
- flow cytometry (1)
Institute
- Informatik (305)
- Informatik und Mathematik (85)
- Medizin (51)
- Frankfurt Institute for Advanced Studies (FIAS) (50)
- Wirtschaftswissenschaften (34)
- Physik (33)
- Präsidium (11)
- Biowissenschaften (10)
- Mathematik (9)
- Universitätsbibliothek (7)
This article presents the findings from systematically reviewing 26 empirical research studies published from 2005 to 2014 on the use of GIS for learning and teaching. By employing methods of narrative synthesis and qualitative content analysis, the study gives evidence about the state of knowledge of competence-based GIS education. The results explain what factors and variables effect GIS learning in terms of technology use, major subject contents, learning contexts, and didactic and pedagogical aspects. They also show what facets of knowledge, process skills, and affect the research literature has investigated. The analysis of the type and quality of the methods used indicates that current GIS education research is a heterogeneous field that needs a systematic research framework for future efforts, according to empirical education research.
The issue of data security has become increasingly complex in the age of the internet and artificial intelligence. The developments seem to be almost unmanageable in some areas. Cooperation between jurisprudence and information technology is the only thing that can protect the individual and certain social groups from discrimination.
This study explores how ‘gatherings’ turn into ‘encounters’ in a virtual world (VW) context. Most communication technologies enable only focused encounters between distributed participants, but in VWs both gatherings and encounters can occur. We present close sequential analysis of moments when after a silent gathering, interaction among participants in a VW is gradually resumed, and also investigate the social actions in the verbal (re-)opening turns. Our findings show that like in face-to-face situations, also in VWs participants often use different types of embodied resources to achieve the transition, rather than rely on verbal means only. However, the transition process in VWs has distinctive characteristics compared to the one in face-to-face situations. We discuss how participants in a VW use virtually embodied pre-beginnings to display what we call encounter-readiness, instead of displaying lack of presence by avatar stillness. The data comprise 40 episodes of video-recorded team interactions in a VW.
This volume contains the proceedings of the 12th International Workshop on Termination (WST 2012), to be held February 19–23, 2012 in Obergurgl, Austria. The goal of the Workshop on Termination is to be a venue for presentation and discussion of all topics in and around termination. In this way, the workshop tries to bridge the gaps between different communities interested and active in research in and around termination. The 12th International Workshop on Termination in Obergurgl continues the successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), Paris (2007), Leipzig (2009), and Edinburgh (2010). The 12th International Workshop on Termination did welcome contributions on all aspects of termination and complexity analysis. Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating applications of complexity or termination (for example in program transformation or theorem proving) were particularly welcome. We did receive 18 submissions which all were accepted. Each paper was assigned two reviewers. In addition to these 18 contributed talks, WST 2012, hosts three invited talks by Alexander Krauss, Martin Hofmann, and Fausto Spoto.
1D-3D hybrid modeling : from multi-compartment models to full resolution models in space and time
(2014)
Investigation of cellular and network dynamics in the brain by means of modeling and simulation has evolved into a highly interdisciplinary field, that uses sophisticated modeling and simulation approaches to understand distinct areas of brain function. Depending on the underlying complexity, these models vary in their level of detail, in order to cope with the attached computational cost. Hence for large network simulations, single neurons are typically reduced to time-dependent signal processors, dismissing the spatial aspect of each cell. For single cell or networks with relatively small numbers of neurons, general purpose simulators allow for space and time-dependent simulations of electrical signal processing, based on the cable equation theory. An emerging field in Computational Neuroscience encompasses a new level of detail by incorporating the full three-dimensional morphology of cells and organelles into three-dimensional, space and time-dependent, simulations. While every approach has its advantages and limitations, such as computational cost, integrated and methods-spanning simulation approaches, depending on the network size could establish new ways to investigate the brain. In this paper we present a hybrid simulation approach, that makes use of reduced 1D-models using e.g., the NEURON simulator—which couples to fully resolved models for simulating cellular and sub-cellular dynamics, including the detailed three-dimensional morphology of neurons and organelles. In order to couple 1D- and 3D-simulations, we present a geometry-, membrane potential- and intracellular concentration mapping framework, with which graph- based morphologies, e.g., in the swc- or hoc-format, are mapped to full surface and volume representations of the neuron and computational data from 1D-simulations can be used as boundary conditions for full 3D simulations and vice versa. Thus, established models and data, based on general purpose 1D-simulators, can be directly coupled to the emerging field of fully resolved, highly detailed 3D-modeling approaches. We present the developed general framework for 1D/3D hybrid modeling and apply it to investigate electrically active neurons and their intracellular spatio-temporal calcium dynamics.
Contents:
Yuki Chiba, Santiago Escobar, Naoki Nishida, and David Sabel, and Manfred Schmidt-Schauß : Preface:
The Collection of all Abstracts of the Talks at WPTE 2015 xi
Brigitte Pientka : Mechanizing Meta-Theory in Beluga
Giulio Guerrieri : Head reduction and normalization in a call-by-value lambda-calculus
Adrián Palacios and Germán Vidal : Towards Modelling Actor-Based Concurrency in Term Rewriting
David Sabel and Manfred Schmidt-Schauß : Observing Success in the Pi-Calculus
Sjaak Smetsers, Ken Madlener, and Marko van Eekelen : Formalizing Bialgebraic Semantics in PVS 6.0
So far, personal feedback in the case of lectures with hundreds of students still seems utopic – even after the digitalization boom in times of the coronavirus. Tools from the research field of »learning analytics« could in future give students feedback and at the same time provide their supervisors with clues about where help is still needed.
Knowledge discovery in biomedical data using supervised methods assumes that the data contain structure relevant to the class structure if a classifier can be trained to assign a case to the correct class better than by guessing. In this setting, acceptance or rejection of a scientific hypothesis may depend critically on the ability to classify cases better than randomly, without high classification performance being the primary goal. Random forests are often chosen for knowledge-discovery tasks because they are considered a powerful classifier that does not require sophisticated data transformation or hyperparameter tuning and can be regarded as a reference classifier for tabular numerical data. Here, we report a case where the failure of random forests using the default hyperparameter settings in the standard implementations of R and Python would have led to the rejection of the hypothesis that the data contained structure relevant to the class structure. After tuning the hyperparameters, classification performance increased from 56% to 65% balanced accuracy in R, and from 55% to 67% balanced accuracy in Python. More importantly, the 95% confidence intervals in the tuned versions were to the right of the value of 50% that characterizes guessing-level classification. Thus, tuning provided the desired evidence that the data structure supported the class structure of the data set. In this case, the tuning made more than a quantitative difference in the form of slightly better classification accuracy, but significantly changed the interpretation of the data set. This is especially true when classification performance is low and a small improvement increases the balanced accuracy to over 50% when guessing.