Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive normalization » interactive visualization, alternative normalization, integrating normalization
normalization programming » organization programming, organisation programming, communication programming
programming programming » programming programmed, programming program
programming concepts » programming congresses
https » http
interactive normalization » interactive visualization, alternative normalization, integrating normalization
normalization programming » organization programming, organisation programming, communication programming
programming programming » programming programmed, programming program
programming concepts » programming congresses
https » http
1
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”View full text
Electronic
eBook
4
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
5
6
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Reconstructing Digital Objects’ Custody Chain -- Industry Case Studies Program 2014 -- Industry Case Studies...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...: Finding the Right Level of Generality -- Combining Normal Communication with Ontology Alignment -- Towards...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Domain–Domain Interactions -- Irreversible Stochastic Processes, Coupled Diffusions and Systems...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Location of a Webcam -- Improving Video Concept Detection Using Spatio-Temporal Correlation -- Novel...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Approach to Video Concept Detection -- Poster I -- An Implicit Active Contour Model for Feature Regions...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... for the Conversion of MARC Records to a Normalized FRBR Implementation -- Digital Libraries and Archives Architecture...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Application Usage -- Context Based Trust Normalization in Service-Oriented Environments -- A Framework...”View full text
Electronic
eBook
16
by Chang, David S., Chang, David S., Lasley, Foster D., Das, Indra J., Mendonca, Marc S., Dynlacht, Joseph R.
Published 2014
Table of Contents:
“... -- Interactions of Electromagnetic Radiation with Matter -- Interactions of Particulate Radiation with Matter...”Published 2014
View full text
Electronic
eBook
17
Table of Contents:
“... -- Other Capabilities -- Errors -- Different Versions of Interact -- Further Readings -- Basic Concepts...”
View full text
View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... of Transport Barriers in Chaotic Mixing -- On the Treatment of Long-range Electrostatic Interactions...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...From Normal to Revolutionary Science Education -- Reflections on a Problem Posing Approach -- How...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate...”View full text
Electronic
eBook



