Checklist for applications for ordinary internet domain names with a .swiss ending A customer advisory service for the internet ending .swiss is incumbent on accredited registrars or resellers which are listed at www.nic

Source URL: dot.swiss

• Domain name system
• Country code top-level domains
• Internet
• WHOIS
• Domain name
• Domain name registrar
• Domain name warehousing

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level Roberto Barbuti, Andrea Maggiolo–Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Sequence
• LOOP
• Constructible universe
• Ground expression

Linked Data Profiling Identifying the Domain of Datasets Based on Data Content and Metadata Andrejs Abele «Supervised by Paul Buitelaar, John McCrae, Georgeta Bordea» Insight Centre for Data Analytics, National Univers

Source URL: gdac.uqam.ca

• Computing
• Semantic Web
• Information
• Data
• Knowledge representation
• Open data
• Data management
• Linked data
• VoID
• DBpedia
• Resource Description Framework
• Data publishing

Reading Wikipedia to Answer Open-Domain Questions Adam Fisch, Jason Weston & Antoine Bordes Danqi Chen∗ Facebook AI Research Computer Science 770 Broadway

Source URL: arxiv.org

• Computational linguistics
• Artificial intelligence
• Linguistics
• Computational science
• Question answering
• Semantic parsing
• Training
• test
• and validation sets
• Cyc
• Artificial neural network
• Reading comprehension
• Named-entity recognition
• Wikipedia

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Computer arithmetic
• Numerical analysis
• Arithmetic
• Functions and mappings
• Differential calculus
• Interval arithmetic
• Rounding
• Derivative
• Integral

1 “I Can’t Get No Satisfaction”: Helping Autonomous Systems Identify Their Unsatisfied Inter-domain Interests Juan Camilo Cardona, Stefano Vissicchio, Paolo Lucente, and Pierre Francois

Source URL: inl.info.ucl.ac.be

arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗

Source URL: arxiv.org

• Embedded systems
• Computer hardware
• Computing
• USB
• Electronics
• Firmware
• Intel MCS-51
• Microcontroller
• Human interface device
• Computer
• USB human interface device class

2018 瑞士联邦理工学院及研究所 联合体 (ETH DOMAIN) 简介 任务说明

Source URL: www.ethrat.ch

Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom

Source URL: icaps16.icaps-conference.org

• Computing
• Software engineering
• Notation
• Systems engineering
• Automated planning and scheduling
• Planning Domain Definition Language
• Conceptual model
• Object Process Methodology
• Prolog

An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Theoretical computer science
• Logic
• Automated theorem proving
• Logic programming
• Complex analysis
• Logical truth
• Propositional calculus
• Substitution
• Abstract interpretation
• Unification
• Term