X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (360) 360
Conference Proceeding (166) 166
Publication (76) 76
Paper (67) 67
Book Chapter (39) 39
Web Resource (17) 17
Book / eBook (16) 16
Patent (4) 4
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
experiment (70) 70
nuclear experiment (70) 70
physics (70) 70
high energy physics (56) 56
computer science (53) 53
physics, particles & fields (52) 52
software engineering (52) 52
particle physics (47) 47
high energy physics - experiment (44) 44
physics, nuclear (34) 34
computer science, theory & methods (29) 29
astronomy & astrophysics (27) 27
formal methods (26) 26
model checking (25) 25
nuclear and high energy physics (22) 22
logics and meanings of programs (21) 21
nuclear theory (21) 21
verification (21) 21
phenomenology (20) 20
physics - high energy physics - experiment (20) 20
compass (19) 19
computer science, software engineering (19) 19
fysik (18) 18
physical sciences (18) 18
high energy physics - phenomenology (17) 17
natural sciences (17) 17
naturvetenskap (17) 17
particle physics - experiment (17) 17
software (17) 17
subatomic physics (17) 17
subatomär fysik (17) 17
deep inelastic scattering (16) 16
hep (16) 16
instruments & instrumentation (16) 16
programming languages, compilers, interpreters (15) 15
temporal logic (15) 15
experimental results (14) 14
ex (13) 13
computer logic (12) 12
detectors and experimental techniques (12) 12
distributions (12) 12
instrumentation and detectors (12) 12
physics, multidisciplinary (12) 12
software engineering/programming and operating systems (12) 12
spin (12) 12
astrophysics (11) 11
natural language processing (11) 11
nucleon (11) 11
scattering (11) 11
variability (11) 11
ambiguity (10) 10
analysis (10) 10
engineering (10) 10
logic (10) 10
logic design (10) 10
mathematical logic and formal languages (10) 10
nuclear physics, heavy ions, hadrons (10) 10
physics and astronomy (10) 10
requirements engineering (10) 10
theoretical computer science (10) 10
artificial intelligence (9) 9
astronomy, astrophysics and cosmology (9) 9
eisenbahn (9) 9
formal verification (9) 9
interviews (9) 9
mathematical logic (9) 9
natural language (9) 9
natürliche sprache (9) 9
photoproduction (9) 9
pions (9) 9
programming techniques (9) 9
[ phys.hexp ] physics [physics]/high energy physics - experiment [hep-ex] (8) 8
[ phys.nexp ] physics [physics]/nuclear experiment [nucl-ex] (8) 8
asymmetry (8) 8
computer software (8) 8
computers (8) 8
concurrent systems (8) 8
congresses (8) 8
nuclear science & technology (8) 8
product lines (8) 8
proton (8) 8
resistive-plate chambers (8) 8
sortiment (8) 8
theory of computation (8) 8
applied and technical physics (7) 7
astrophysics and astronomy (7) 7
atomic, molecular, optical and plasma physics (7) 7
collins (7) 7
computer communication networks (7) 7
computer science, information systems (7) 7
condensed matter physics (7) 7
context (7) 7
cosmic rays (7) 7
deep-inelastic scattering (7) 7
electronic books (7) 7
elementary particles, quantum field theory (7) 7
high energy astrophysical phenomena (7) 7
humans (7) 7
mathematics (7) 7
measurement science and instrumentation (7) 7
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal of Applied Crystallography, ISSN 1600-5767, 02/2017, Volume 50, Issue 1, pp. 96 - 101
The positions of several water molecules can be determined in protein crystallography, either buried in internal cavities or at the protein surface. It is... 
protein hydration | regression model | structure refinement | water molecules | structure validation | multiple regression | Poisson regression | Multiple regression | CRYSTALLOGRAPHY | CHEMISTRY, MULTIDISCIPLINARY | Amino acids | Structure | Analysis | Crystals | Proteins | Water | Molecular chemistry | Crystal structure | Residues | Water chemistry | Regression | Mathematical models | Crystallography
Journal Article
Requirements Engineering, ISSN 0947-3602, 9/2016, Volume 21, Issue 3, pp. 333 - 355
Interviews are the most common and effective means to perform requirements elicitation and support knowledge transfer between a customer and a requirements... 
Software Engineering | Computer Science | Requirements elicitation | Natural language | Requirements engineering | Interviews | Ambiguity | COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, INFORMATION SYSTEMS | Requirements analysis | Engineering | Language | Obstacles | Knowledge management | Categories | Vision
Journal Article
Proceedings of Science, 2017
Conference Proceeding
IEEE Software, ISSN 0740-7459, 11/2017, Volume 34, Issue 6, pp. 28 - 35
The future evolution of the application of natural language processing technologies in requirements engineering can be viewed from four dimensions: discipline,... 
Terminology | NLP | Software development | requirements specification | Natural language processing | software engineering | Requirements engineering | Requirements specification | Software engineering | COMPUTER SCIENCE, SOFTWARE ENGINEERING
Journal Article
Journal of Physics: Conference Series, ISSN 1742-6588, 04/2013, Volume 436, p. 12077
Journal Article
2014, Lecture Notes in Computer Science, ISBN 3642548040, Volume 8411
This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the... 
Computer science | Logic design | Software engineering
Web Resource
EPJ Web of Conferences, ISSN 2101-6275, 2014, Volume 66, p. 9007
Measurement of the in-medium modifications of the ∆ resonance, signatures of the excitation of nuclear collective states and the first experimental evidence... 
Conference Proceeding
Journal of Physics: Conference Series, ISSN 1742-6588, 01/2013, Volume 436, pp. 1 - 5
Measurement of the in-medium modifications of the Delta resonance has been performed at a PAINUC experiment. Signatures of the excitation of nuclear collective... 
Thermal emission | Photons | Excitation | Signatures | Energy (nuclear)
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 8/2018, Volume 20, Issue 4, pp. 355 - 358
Critical (software) systems are all around us. These systems are typically characterised by stringent dependability requirements and demand elevated levels of... 
Critical systems | Automated verification | Software Engineering | Computer Science | Software Engineering/Programming and Operating Systems | Theory of Computation | Formal methods | COMPUTER SCIENCE, SOFTWARE ENGINEERING | SPECIAL-ISSUE | Program verification (computers) | Fault tolerance | Automation
Journal Article
Cardiovascular Diabetology, ISSN 1475-2840, 10/2011, Volume 10, Issue 1, pp. 88 - 88
Journal Article
The European Physical Journal. Web of Conferences : Proceedings, ISSN 2100-014X, 01/2014, Volume 66, pp. 09007 - 1-09007-4
Measurement of the in-medium modifications of the Delta resonance, signatures of the excitation of nuclear collective states and the first experimental... 
Reactions (nuclear) | Thermal emission | Pions | Accessibility | Decay | Photons | Signatures | Nuclear matter
Journal Article
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, 6/2018, Volume 20, Issue 3, pp. 237 - 241
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2019, Volume 11200, pp. 110 - 128
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.