We specialize in Artificial Intelligence

Background

Artificial Intelligence Research by ATEM


Our Company
Business model
Intellectual Property

Atem is a specialized company in artificial intelligence research, supercomputing and robotics.

Our investigations are conducted without a defined purpose, with the aim of developing new tools and mathematical resources that strengthen our artificial intelligence system and enable us to solve complex problems.

As a result of this business model, some of our investigations end in a vertical product, applied to different sectors

Our company has applied its capacity for innovation in other sectors such as: aeronautics, airport systems, trade market, new technologies, environment, genomics, biocomputation, cybersecurity, Artificial Vision, etc.

Our Research in AI allows us to be the owner of Intellectual property rights that all our tecnology includes patents, copyrights, industrial design rights, trademarks, plant variety rights, trade dress, and in some jurisdictions trade secrets.


Our Headquarters

Located in Salamanca´s Plaza Mayor


The Historic Heritage
Technological Computing Laboratory
Our work space

ATEM Headquarters is located in The Plaza Mayor of Salamanca, Spain. It is a large public square located in the center of Salamanca.

In 1988, UNESCO declared the old city of Salamanca a World Heritage Site. Today, there is a plaque placed in the center of the plaza marking its significance to boast the plaza's baroque-style beauty.

Our Technological lab is provided with Mac, Linux and Windows, computers. We have a wide range of technology facilities including Advanced Video, Audio, 2D & 3D Modeling & Animation, RFID analyzer, Research software and hardware.

We have a main workroom, office and meeting rooms, rest area, technological laboratory and supercomputing room.


IRIPHO´s ROOM

HPC System


Computing Infrastructure for Research
HPC service to support the ENCORE Project
To provide of necessary support to our proofs of concept

Image

CPU Cores

Image

GPU Cores

We have a type of multi core processor with sixteen independent actual processing "cores", which are the units that read and execute program instructions. The multiple cores can run multiple instructions at the same time, increasing overall speed for programs amenable to parallel computing.

We also have GPU ACCELERATED COMPUTING. GPU-accelerated computing is the use of graphics processing unit (GPU) together with a CPU to accelerate scientific, analytics, engineering, consumer, and enterprise applications.

OUR TECHNOLOGY

General Description

Hyperborea Framework. Modules and Models


What Is Hyperborea?
Complex Adaptive Systems
Hyperborea as a modular framework

It is a framework to build Complex Adaptative Systems, created by Atem Nuevas Tecnologías.

•They are complex in that they are dynamic networks of interactions, and their relationships are not added of the individual static entities.

•They are adaptive; in that the individual and collective behavior mutate and self-organize corresponding to the change-initiating micro-event or collection of events.

•They are computerized systems composed of multiple interacting intelligent agents within an environment.

•They are systems able to respond to environmental changes or changes in the interacting parts.

•Hyperborea emphasizes separating the functionality of the built system into independent, interchangeable modules, such that each contains everything necessary to execute only one aspect of the desired functionality.

Modules Overview

Types of Hyperborea Modules


Three main types of modules

• Input Modules

•Processing and Intelligent Modules

•Output Modules


Input Modules
Processing and Intelligent Modules
Output Modules

•Extract raw data of its environment.

•Prepare the raw data extracted to be processed by the ‘Processing/Intelligent’ Modules.

•Mainly convert raw data into structured data via filtering and intelligent selection.

•These Modules process the structured data given by the Input Modules.

•The processing modules identify the key concepts inside the structured data in order to be able to build an adaptive intelligent model and prepare the selected structured data to be modeled.

•The intelligent modules are responsible to build the complex adaptive model and to optimize it.

•The built complex adaptive model finally is deployed for its use as the Output modules.

•All these modules form the Artificial Intelligence Core of Hyperborea: IRIPHO

•Composed mainly by User interfaces and actuators.

•They execute the decisions or show the conclusions given by the built Complex adaptive system.

•They are linked with the Input Modules forming a ‘Feedback cycle’.

•The actuators are able to interact with its environment.


The Feedback Cycle

Types of Hyperborea Modules


Feedback process

• Once the Complex Adaptive system is built the feedback cycle begins.

•The output modules show the decisions/conclusions of the built model to the environment via mainly user interface and interactue with this environment via actuators.

•The input modules collect and structure the answer of the environment to these actuations and deploy it to the Processing/Intelligent Modules.

•The Processing/Intelligent Modules apply/rebuild/optimize the built Complex adaptive system to adapt it to the new state of the environment.

•The conclusions/decisions of the built Complex adaptive system are delivered to the Output modules and the Feedback Cycle begins again.



Input Modules

Input Modules Reference


Habot
Habot – Filter Engine
Habot – Crawling Engine

•Habot is a Virtual Bot to extract, select, filter and structure raw data. It is the principal Input Module of Hyperborea.

•It can work with data from databases, from the Web, or directly with data from some digital electronic medium such as documents and images.

•It has two main components: A filter engine and a crawling engine.

• The Filter engine permits Habot to filter the data that it will extract and structure.

• With Filter Engine, Habot can easily identify the source of information relevant to the problem being dealt with, and ignoring irrelevant data, converting ‘Big Data’ into ‘Small Data’ (or smaller data).

• The filter process saves time and resources.

• The Crawling engine permits Habot to extract raw data from digital mediums such as Web data, Audio Data, Image data… and structure it in order to prepare for its processing.

• Includes various programs for parsing computer equipment with for example: HTML, XML, JSON or user-defined parsers, to structure the data.

• Supports the use of APIs for data extraction such as Web services APIs

• It can access, extract and structure data from Social Networks like Twitter, Facebook or LinkedIn

• It structures all the relevant data on datasets for posterior processing.

• The extracted data can be classified on distinct datasets of function of the sources, the structure, type or the semantic content of the data.

• It can handle Web sessions, cookie management and it has an OCR system to captcha handling.


Processing Modules

The processing modules identify the key concepts inside the structured data in order to be able to build an adaptive intelligent model and prepare the selected structured data to be modeled.

Mainly there are two types of processing modules: Exploration modules and Modeling preparing modules.


Exploration Modules
Statistical Exploration Module
Outlier Exploration Module

•Identify the key concepts inside the structured data in order to be able to build an adaptive intelligent model.

•Identify the completeness and quality of the data to check if it is possible to build a good model with it.

•Next, we detail each exploration module.

• This module includes tecniques for the statistical analysis of the data.


•This includes the following Statistical Moments: Expectation, mean, central moments as variance or covariance’s matrix, raw moments, moments of linear transformations of random variables and moment generation functions.

•Quantiles and interquantile range.

•Correlation analysis.

• Estimation of the probability density functions that follow the data. This includes estimations of the parameters of each pdf identified.

• Classical point parameter estimation: Maximum likelihood estimation, analysis of properties of estimators: bias, efficancy, MSE, Asymptotic bias and variance, consistency and sufficiency.

• Classical Statistical Testing: Hypothesis Tests, Non-Parametric Hypothesis Tests, Confidence Intervals and other tests based on the likelihood.

• Classical Asymptotic Theory: Convergence in mean square, convergence in probability, convergence in distribution.

• Analysis of Variance, Analysis of Covariance, and Distributional Measures: Anderson-Darling Test, Chi-Square Goodness-of-Fit Test and Kolmogorov-Smirnov Goodness-of-Fit Test.

• Bayesian point estimation: Loss functions and minimising the expected loss.

• Bayesian interval estimation: Fixed coverage HPD intervals and fixed with HPD intervals.

• Bayes factors for model comparison.

• Non-parametric methods: Sign test, Wilcoxon signed rank test, Mann-Whitney-Wilcoxon Test, Kruskal-Wallis Test.

• Measures of Skewness and Kurtosis.

• Statistical graphical tecniques for exploration: Boxplots, Scatterplots, Histograms, Correlation graphs, pdf plots, cdf plots, star plots, Weibull plots, Youden plots, parallel plots.

• Identification of observations that appear to deviate markedly from other observations in the sample.

• Important because an outlier may indicate bad data, may be due to random variation or may indicate something scientifically interesting.

• Outlier detection classical tecniques: Grubbs' Test, Tietjen-Moore Test, Generalized Extreme Studentized Deviate (ESD) Test.

• Outlier detection by clustering methods, and machine learning tecniques.

• Outlier detection by Statistical Methods.

• Outlier detection by Proximity-Based Metods.


Stochastic Simulation Module
Image Processing Module – Image Exploration
Image Processing Module – Pre/Post processing Images

• Simulating a probability distribution involves generating a sample from the distribution of interest, and then analysing the sample to learn about the distribution which generated the sample.

• Stochastic simulation is simply an example of using a sample to learn about the distribution of the population from which the sample was taken.

• This module includes:

• Markov chain Monte Carlo: sampling from probability distributions based on constructing a Markov chain that has the desired distribution as its equilibrium distribution.

• MCMC methods implemented: Metropolis–Hastings algorithm, Gibbs Sampling, Slice sampling, Multiple-try Metropolis, Hybrid Monte-Carlo.

• Other tecniques: Numerical Integration, Stochastic Differential Equations, Gaussian Processes and Lévy Processes.

• Tecniques for dealing with MCMC samples: Reducing and accounting for dependence. Convergence analysis to target the distribution.

• Zoom and pan around the image.

• Examine a region of pixels.

• Place and manipulate ROIs, including points, lines, rectangles, polygons, ellipses, and freehand shapes.

• You can also interactively crop, adjust the contrast, and measure distances.

• Statistical graphical tecniques for exploration: Boxplots, Scatterplots, Histograms, Correlation graphs, pdf plots, cdf plots, star plots, Weibull plots, Youden plots, parallel plots.

• Image Enhancement as histogram equalization, decorrelation stretching, remap the dynamic range, adjust the gamma value or perform linear, median, or adaptive filtering.

• Image transforms such as FFT and DCT, Radon and fan-beam projections…

• Image Deblurring.



Image Processing Module – Analyzing Images
Image Processing Module – Geometric Transformations
Image Processing Module – Image registration

• Edge-Detection: Sobel, Prewitt, Roberts, Canny, and Laplacian of Gaussian methods.

• Image Segmentation as automatic thresholding, color-based methods, edge-based methods, and morphology-based methods.

• Morphological Operators: Erosion and dilation, opening and closing, labeling of connected components, watershed segmentation, reconstruction, distance transform.

• Advanced image analysis functions as measure the properties of a specified image region, such as the area, center of mass, or bounding box, detect lines and extract line segments from an image using the Hough transform or measure properties, such as surface roughness or color variation, using texture analysis functions.

• The Statistical Exploration Module described before can be also used to analyzing images.

• Geometric transformations: useful for tasks such as rotating an image, reducing its resolution, correcting geometric distortions, and performing image registration. Includes simple operations, such as resizing, rotating, and cropping, as well as more complex 2D geometric transformations, such as affine and projective.

• Image registration: Important in remote sensing, medical imaging, and other applications where images must be aligned to enable quantitative analysis or qualitative comparison. Includes intensity-based image registration, control-point image registration and also via models automatically aligns images using feature detection, extraction, and matching followed by geometric transformation estimation.


Modeling preparing modules

• Prepare, clean and select the structured data to be modeled.

• Reduce the size of the structure data in order to be able to compute with it.


Data Cleaning Module - Missing Values
Data Cleaning Module – Smoothing
Data Cleaning Module – Data Integration
Data Reduction Module
Data Reduction Module – Dimensionality reduction
Data Reduction Module – Numerosity Reduction
Data Reduction Module – Data Compression
Data Transformation Module

Output Modules

• Show the models, results, inferences and predictions of the modelling process.

• Are linked to input modules.

• User Interfaces: User applications, Web Interfaces, Mobile Interfaces.

• Database Connected Outputs.

• Formatted Output: XML, HTML, SQL, Dataset different formats…

• Syrma: Language for give instructions to autonomus machines for automatic tasks.

• Robotic Output: Instructions for some robotic agent.


Intelligent/MODEL MODULES

They are the core of our Artificial Intelligence Research System IRIPHO.

• These modules generate intelligent and super optimal models which control the basic behaviour of the built Adaptive Complex system.

• Varius Model Modules can form part of the same Adaptive Complex System.

• These modules are the main focus of our research.

Bird

At the avant garde of Artificial Intelligence

Types of Intelligent Models

• Algorithm Models.

• Learning/Adaptive Models

• Optimization Models

DESCRIPTION ABOUT IRIPHO INTELLIGENCE MODELS

Algorithm Intelligent Models

Models Reference


Search Models
Uninformed Search Models
Informed Search

• Good for environments that are deterministic, observable, static, and completely known.

• A problem consists of five parts: the initial state, a set of actions, a transition model, a goal test function and a path cost function.

• Bread-first search.

• Uniform-cost search.

• Depth-first search.

• Iterative deepening search (depth limit).

• Bidirectional Search.

• Best-first search.

• Greedy best-first search.

• A* search.

• Recursive best-first search.

• Simplified memory bounded A*.



Adversarial Search
Constraint satisfaction Models
Logic Models

• Defined by an initial state, legal action in each state, the result of each action, a terminal test and a utility function that applies to terminal states.

• Minimax algorithm for two adversaries.

• Alpha-Beta search algorithm.

• Solve Constraint satisfaction problems that represent a state with a set of variable/value pairs and represent the conditions for a solution by a set of contraints on the variables.

• Analysis of consistency: node, arc, path and k-consistency.

• Backtracking search.

• Minimum-remaining-values and degree heuristics.

• Min-conflicts heuristic.

• Cutset conditioning and tree decomposition.

• Knowledge is contained in the form of sentences in a knoledge representation language that are stored in a knowledge base.

• A Logic agent is composed of a knowledge base and an inference mechanism.

• A representation language is defined by its syntax and its semantics.



Propositional Logic
First-Order Logic
First-Order Logic Algorithms

• It is a simple language consisting of proposition symbols and logic connectives.

• Inference rules.

• Local search methods such as WalkSAT.

• Logical state estimation.

• Decisions via SAT solving.

• The sysntax of first-order logic builds on that of propositional logic. It adds terms to represent objects, and has universal and existential quantifiers.

• Inference rules.

• Unification.

• Generalized Modus Ponens: Foward-chaining and backward-chaining algorithms.

• Demodulation, paramodulation.


Fuzzy Logic Models
Knowledge representation models
-

• Provide a framework that allows you to numerically encode linguistic expressions and through that gives you a flexible rule-based system.

• Fuzzyfication, Rule evaluation, Aggregation, Defuzzyfication.

• Semantic Networks

• Description logics.

• Nonmonotonic logics.

• Truth maintenance systems.

 


Bird

Learning/adaptive Models

Models Reference


• These models aren’t programmed explicitely, they learn from the data.

• They improve its perfomance over the time if the new data obtained ‘today’ complements the data obtained ‘yesterday’.

• These models can automodify and reprogram theirself.


Forms of Learning:


Supervised Learning
Unsupervised learning
Reinforcement Learning

The model observes some example input-outpu pairs and learns a function that maps from input to output.

The model learns patterns in the input even though no explicit feedback is supplied.

The model learns from a series of reinforcements – rewards or punishments.


Supervised learning models

Models Reference


Decision Trees Models
Bayes Classification Models
Rule-Based Classification Models

• Flowchart-like tree sructure, where each internal node denotes a test on an attribute, each branch represents an outvome of the test, and ecah leaf node hold a class label.

• Good for classification problems.

• ID3, C4.5 and CART algorithms.

• Support Custom attribute Selection Measures: Information gain, gain ratio, Gini index, MDL.

• Support Pruning methods for prepruning and postpruning: Cost complexity, pessimistic pruning.

• They are statistical classifiers.

• They can predict class membership probabilities.

• Naive Bayesian Classification: Assume class-conditional independence.

Bird

• The learned model is represented as a set of IF-THEN rules.

• Can be extracted from a Decision Tree.

• Support rule induction using a sequential covering algorithm.

• They implement Rule Quality Measures and Rule Pruning Tecniques.


Ensemble Models
Bayesian Belief Networks
Neural Networks

• An esemble combines a series of k learned models (or base classifiers), with the aim of greating an improved composite classification model.

• Tend to be more accurate than its base classifiers.

• Bagging.

• Boosting and Adaptive Boosting.

• Random Forests.

Bird

• Probabilistic graphical models, which unlike naive Bayesian classifiers allow the representation of dependencies among subsets of atributes.

• Specify joint conditional probability distributions.





Bird

• Consists of an input layer, one or more hidden layers, and an output layer. Each layer is made up of units.

• The inputs pass through the input layer and are then wighted and fed simultaneously to a second layer of ‘neuronlike’ units known as hidden layer. The weighted outputs of the last hidden layer are input to units making up the output layer, which emits the network’s prediction for given tuples.

• Can be used also for unsupervised learning.

• Feedfoward Neural Network.

• Radial basis function network.

• Kohonen self-organizing network.

• Learning vector quantization.

• Recurrent Neural Network.

• Associative Neural Network.

• Self-organizing feature map

• Dynamic neural networks.

• Neuro-fuzzy networks.

• Spiking neural networks.


Support Vector Machines
Linear Regression and Logistic Regression
Nonparametric models

• Models for the clasiffication of both linear and nonlinear data.

• They uses a nonlinear mapping to transform the original training data into a higher dimension. Within this new dimension, they search for the linear optimal separating hyperplane.

• Support various kernel functions as Polynomial kernels of degree h, Gaussian radial basis function kernels or Sigmoid kernels.

• Support custom kernel functions.

• Search for a linear relationship between some explanatory variables and a response variable.

• Support classical linear regression for continuous response and logistic linear regression por nominal response.

• Support more general linear regression models as General Linear Regression or Generalised Linear Regression.

• Support both classical and bayesian approach to linear regression parameters estimation.

• Use all the data to make each prediction, rather than trying to summarize the data first with few parameters.

• Nearest neighbors.

• Locally weighted regression.



Other Classification Methods
.
.

• Genetic Algorithms.

• Rough Set Approach: Good for noisy data.

• Fuzzy Set Approaches: Based on Fuzzy Logic Rules.

• Active Learning: Iterative type of supervised learning that is suitable for situations where data are abundant, yet the class lasbels are scarce or expensive to obtain. The learning algortihm is active in that it can purposefully query a user for labels.

• Sentiment Classification: The classification task is to automatically label the data as eithe positive or negative.

Bird

Unsupervised learning models

Models Reference


Cluster Analysis Models
Clustering Methods
Partitioning Methods

• These models partition a set of data objects into subsets. Each subset is a cluster, such that objects in a cluster are similar to one another, yet dissimilar to objects in other clusters.

• Partitioning methods: Given a set of n objects construct k partitions of the data, where ecah partition represent a cluster and k <=n.

• Hierarchical methods: Create a hierarchical decomposition of the given set of data objects.

• Density-based methods: Their general ideais to continuegrowing a given cluster as long as the density in the neighborhood exceeds some threshold.

• K-Means: A Centroid-Based Technique. Sensitive to outliers.

• K-Medoids: Less sensitive to outiers. Use absolute-error criterion.


Hierarchical Methods
Density-Based Methods
Other Clustering Methods

• Agglomerative hierarchical clustering method: Starts by letting each object form its own cluster and iteratively merges clusters into larger and larger cluster.

• Divisive hierarchical clustering method: Starts by placing all the objects in one cluster. It then divides the root cluster into several smaller subclusters.

• The representation commonly used is a dendrogram.

• Algorithms: BIRCH, Chamaleon, Probabilistic Hierarchical Clustering that usesprobabilistic models to measure distances between clusters.

• DBSCAN.

• OPTICS.

• DENCLUE.

• Grid-based method: Itquantizes the object space into a finite number of cells that form a grid structure on which all operations for clustering are perfomed. STING and CLIQUE.

• Probabilistic Model-Based Clusters: Assume that a hidden category is a distributionover the data space, which can be matehmatically represented using a probability density function. Expectation-Maximization Algorithm.

• Biclustering Methods.


Pattern Searching Models
..
...

• Search for recurring relationships in a given data.

• Discover interesting associations and correlations between itemsets in trasactional and relational databases.

• Association Rules: consist of first finding frequent itemsets, from which strong association rules in the form A=>B are generated. These rules also satisfy a minimum confidence threshold.

• Candidate generation, Pattern growth, Vertical format.

Bird

Reinforcement learning models

Models Reference


• These models become proficient in an unknown evironment, given only its percepts and ocassional rewards.


Reinforcement Learning – Utilities
..
...

• Direct Utility Estimation: uses the total, observed reward-to-go for a given state as direct evidence for learning its utility.

• Adaptive dynamic programming: learns a model and a reward function from observations and the uses value or policy iteration to obtain utilities or an optimal policy.

• Temporal-difference methods: update utility estimates to match those of successor states.

Bird

Bird

Optimization Models

Models Reference


• These models become proficient in an unknown evironment, given only its percepts and ocassional rewards.


Optimization Models
..
...

• Include finding "best available" values of some objective function given a defined domain, including a variety of different types of objective functions and different types of domains.

• Local search methods such as hill climbing and simulated annealing.

• Local search methods apply to problems in continuous spaces: Linear programming and convex optimization.

• Genetic Algorithms.

• Contingent plans for nondeterministic eviroments.

• Online searchfor exploration problems.

• Particle swarm optimization.

Bird

Bird

Other Model MODULES

Models Reference


Computer Vision Module
Natural Language Processing Module
Time series module

• Provides algorithms and tools for the design and simulation of computer vision and video processing systems.

• Feature Detection and Extraction: Enables you to derive a set of feature vectors, also called descriptors, from a set of detected features.

• Registration and Stereo Vision: Estimates the geometric relationships between images or video frames.

• Object Detection, Motion Estimation, and Tracking.

• Audio transcription.

• Probabilistic language models based on n-grams for language identification, spelling correction, genre classification, and named-entity recognition.

• Text classification.

• Speech recognition.

• Syntax analysis.

• Semantic Interpretation.

Bird

• Sequence of data points, measured typically at successive points in time spaced at uniform time intervals.

• Time series correlation.

• Forecasting models based on time series.

• Time series classification.

• White Noise.

• Random walks.

• Autoregressive models.

• Fitted models.

• Linear models.

• Generalised least squares.

• Linear models with seasonal variables.

• Harmonic seasonal models.

• Logarithmic transformations.

• Non-linear models.

• Stationary Models: Fitted MA models, ARMA Models.

• Non-Stationary Models: Non-seasonal and seasonal ARIMA models, ARCH models.

• Spectral Analysis.

• Multivariate models.

• State Space Models.


Bird

Model Evaluation and Selection Modules

Models Reference


Types of Models Evaluation and Selection
Methods for model evaluation and selection
...

• Asessing how good or how ‘accurate’ your models are.

• Various types of error measure.

• Confusion matrix.

• Misclassification rate.

• Sensitivity and specificity.

• Precision and recall.

• Computational speed.

• Robustness to noisy data.

• Scalibility.

• Interpretability.

• Holdout Method and Random Subsampling

• Cross-Validation

• Bootstrap.

• Model Selection using statistical Tets of Significance.

• Comparing based on Cost-Benefit and ROC Curves.

Image


Bird

Research

Lates Research


Dynamic Chaotic Systems

We study dynamical systems sensitive to initial conditions with dense periodic orbits and topologically mixing. Our main research is in the fields of Chaos control and Chaos synchronization. Another interest research is in Chaotic attractors and their fractal nature.

Fractals and Multifractals systems

Fractals are infinitely complex patterns that are self-similar across different scales. Our Fractals studies, are based on pure mathematics. Our main research is in the study of the different types and formulations of the concept of fractal dimension and their application in Machine Learning (for example in feature selection) and in multifractal analysis.

Topological features applied to Computer Vision

We are researching on applying the method of persistent homology applied to Computer Vision with amazing results. Persistent homology is a method for computing topological features of a space at different spatial resolutions.



Machine Learning Research

Our main research is in the formulation and optimization of non-linear classification models and nonlinear Dimensionality reduction systems. Another topics of interest is manifold learning and fractal methods applied to machine learning.

Natural Language Processing

We are working on a complete spanish semantic network and on a full spanish natural languange processing system supported by computer vision and audio analysis methods in order to catch face expressions and speech intonation.

Artificial intelligence methods in HPC

All our Hyperborea platform is oriented to be supercomputed. Some models are difficult to supercompute and we research in order to find a way they can be supercomputed as much as possible. Another interested area is apply artificial intelligence methods to manage supercomputers resources.

Portfolio


What we have created

Bag-On system®

Intelligence System to luggage Managing. Extend functionality and intelligence to baggage handling systems, improving governance and real-time control over baggage handling.

The next generation of baggage handling An optimized, efficient, highly reliable baggage handling sys- tem can mean more business from airlines and more loyal travelers—customers prefer to connect at an airport with a reliable bag transfer service. It can also mean lower irregular- ity numbers and related costs.

Once your solution is implemented, we continue to work with you, providing maintenance and helping you operate the system, as well as expanding it over time to address specific needs including the introduction of smart robots or other new objectives.

We also offer performance-based contracts, accepting accountability for the performance of our systems.

Biocomputing provided with AI

A new Biocomputing technology which is able to make predictions through mathematical modelling, supercomputing and artificial intelligence applied to every medical solution. The novelty of our technology are based on the application of mathematics and artificial intelligence to standard biological/medical processes in the clinical processes of hospitals and, above all, the diagnosis-prognosis individualization to every patients: Personalized medicine.

Dynasys

Fundamental research oriented towards the study and mathematical modelling of Dynamical Systems. R & D Projects in SMES. File No: 04/18/SA/0033. Deadline for completion: 31 May 2023. Project financed by the European Regional Development Fund (ERDF) of the European Union and the Junta de Castilla y León, through the Instituto para la Competitividad Empresarial de Castilla y León (ICE), with the aim of enhancing research, technological development and innovation. The basic objective consists of mathematical research that makes possible the adquisition of advanced and experimental knowing necessary for mathematical modelling applied to problem solving in dynamic systems. As a result of this research it is envisaged the creation of a library in Python that provides all the necessary tools for the study and modelling of dynamic systems both discreet and continuous in a simple and integrated way.

Tangram

Tamgram is a computer vision system that includes methods for acquiring, processing, analyzing, and understanding images and, in general, high-dimensional data from the real world in order to produce numerical or symbolic information.

Synthesis Forecasting

The stock price sequences manifest fractals in nature. Only certain stocks fall fully into the predictable forecasting category. "Synthesis Forecasting" automatically determines this. Each wave has a certain fractal character to it.


Previous Next

Services plan

Choose a service plan that works for you

ENCORE service plan

Framework specialized in Data Analysis through Artificial Intelligence, without you need programming to create a new math-model.

HPC integrated in our CPD

Helpdesk

Smart Assistant

Deployment

Technology consulting

We identify those characteristics that define your company, its processes and we create a solution tailored to your goals.

Proof of concept

Pilot project

Pre-production under supervision

launching

Scientific projects

Tell us about your scientific goals, your processes and your data set, and we can create a scientific-mathematical model adapted.

Artificial Intelligence applied to Scientific problems

Hyperborea Framework

We accompany you in your researchs and publications.

Tailored deployment.

CONTACT

Contact us and we'll get back to you within 24 hours.

Azafranal, 48-50. 3ºA. 37001 Salamanca. Spain

+34 923 147 250

informacion@atem-nt.com