Innopolis University

Kazan, Russia

Innopolis University

Kazan, Russia
SEARCH FILTERS
Time filter
Source Type

News Article | May 12, 2017
Site: www.prlog.org

PSG presents its project on logistic business process automatization for Innopolis. -- Member of ACEX in Kazan presents its project on logistic business process automatization for Innopolis.PSG opened a new subdivision "IT-PSG" in April 2016. It is aimed at search, formation and implementation of modern IT solutions for external goals of the company and for the clients.One of IT-PSG goals for 2017 is to develop a new project on movement to Innopolis. IT-PSG will defend the project called "Creation of IT solutions for automation of business processes". The company is developing solution for freight forwarding at present.According to, this information system provides box solutions to carry out complicated multimodal transportations starting with a receipt of inquiry and finishing with accomplished order and service maintenance of the client. This solution makes it easy to optimize processes for individual demands of the forwarder, thinksThe solution contains:·         Developed electronic regulations for business processes, namely: job descriptions, process regulations, description of document circulation with samples, system of goals and indicators for measurement of quality of the process implementation.·         Automated business processes of cargo forwarding. The system receives data on client inquiries, informs about implementation of the processes, forms required documents under prepared samples, stores data and forms analytics with processes, exchanges data with other information systems (for example, 1C).·         Unified base with industry expertise to decrease time for search and data analysis.PSG plans to finalize  the decision improving each operation and minimizing participation of the human being while implementation of business process, creating "artificial intelligence"for freight forwarding companies. For example, the system will be able to develop commercial proposal based on previous experience receiving information from data base and offer the best options on its own.IT-PSG team consists of 5 specialists. The advantage of working in Innopolis is mainly human resources.  University work, as well as affordable lease of qualitative accommodation, attract specialists from all over the world.  Since the main value of IT company is "brain" the access to the best personnel is the main criterion of success.That is why Rustem Mukhamadiev considers that the receipt of Innopolis resident status is a strategically correct decision.The project will be defended in spring (March-April). Then IT-PSG plans to improve the decision with help of Innopolis specialists.Innopolis is the high-tech city officially opened in 2015. It was built for the purpose of creation of the Russian IT center where the best innovative solutions are developed. There is a "Special economic zone" (SEZ) and "Innopolis University" in the territory. SEZ provides tax remissions and a first-class infrastructure for IT companies at lower prices.  Innopolis resident status can be received by IT company which creates high-tech decisions interesting from commercial point of view.Details at http://www.acexgroup.net/ en/partners/ news/1671/ ACEX Alliance press centerpr@acex.netWebsite:


News Article | May 12, 2017
Site: www.PR.com

ACEX Member in Kazan Moves to Innopolis, New IT Capital of Russia PSG presents its project on logistic business process automatization for Innopolis. Moscow, Russia, May 12, 2017 --( PSG opened a new subdivision “IT-PSG” in April 2016. It is aimed at search, formation and implementation of modern IT solutions for external goals of the company and for the clients. One of IT-PSG goals for 2017 is to develop a new project on movement to Innopolis. IT-PSG will defend the project called “Creation of IT solutions for automation of business processes.” The company is developing solutions for freight forwarding at present. According to Rustem Mukhamadiev, the head of IT-PSG, this information system provides box solutions to carry out complicated multimodal transportations starting with a receipt of inquiry and finishing with accomplished order and service maintenance of the client. This solution makes it easy to optimize processes for individual demands of the forwarder, thinks Rustem Mukhamadiev. The solution contains: · Developed electronic regulations for business processes, namely: job descriptions, process regulations, description of document circulation with samples, system of goals and indicators for measurement of quality of the process implementation. · Automated business processes of cargo forwarding. The system receives data on client inquiries, informs about implementation of the processes, forms required documents under prepared samples, stores data and forms analytics with processes, exchanges data with other information systems (for example, 1C). · Unified base with industry expertise to decrease time for search and data analysis. PSG plans to finalize the decision improving each operation and minimizing participation of the human being while implementation of business process, creating “artificial intelligence” for freight forwarding companies. For example, the system will be able to develop commercial proposal based on previous experience receiving information from data base and offer the best options on its own. IT-PSG team consists of 5 specialists. The advantage of working in Innopolis is mainly human resources. University work, as well as affordable lease of qualitative accommodation, attract specialists from all over the world. Since the main value of IT company is “brain” the access to the best personnel is the main criterion of success. That is why Rustem Mukhamadiev considers that the receipt of Innopolis resident status is a strategically correct decision. The project will be defended in spring (March-April). Then IT-PSG plans to improve the decision with help of Innopolis specialists. Reference information Innopolis is the high-tech city officially opened in 2015. It was built for the purpose of creation of the Russian IT center where the best innovative solutions are developed. There is a “Special economic zone” (SEZ) and “Innopolis University” in the territory. SEZ provides tax remissions and a first-class infrastructure for IT companies at lower prices. Innopolis resident status can be received by IT company which creates high-tech decisions interesting from commercial point of view. Details at http://www.acexgroup.net/en/partners/news/1671/ ACEX Alliance press center pr@acex.net Website: http://www.acexgroup.net/en/ Moscow, Russia, May 12, 2017 --( PR.com )-- Member of ACEX in Kazan presents its project on logistic business process automatization for Innopolis.PSG opened a new subdivision “IT-PSG” in April 2016. It is aimed at search, formation and implementation of modern IT solutions for external goals of the company and for the clients.One of IT-PSG goals for 2017 is to develop a new project on movement to Innopolis. IT-PSG will defend the project called “Creation of IT solutions for automation of business processes.” The company is developing solutions for freight forwarding at present.According to Rustem Mukhamadiev, the head of IT-PSG, this information system provides box solutions to carry out complicated multimodal transportations starting with a receipt of inquiry and finishing with accomplished order and service maintenance of the client. This solution makes it easy to optimize processes for individual demands of the forwarder, thinks Rustem Mukhamadiev.The solution contains:· Developed electronic regulations for business processes, namely: job descriptions, process regulations, description of document circulation with samples, system of goals and indicators for measurement of quality of the process implementation.· Automated business processes of cargo forwarding. The system receives data on client inquiries, informs about implementation of the processes, forms required documents under prepared samples, stores data and forms analytics with processes, exchanges data with other information systems (for example, 1C).· Unified base with industry expertise to decrease time for search and data analysis.PSG plans to finalize the decision improving each operation and minimizing participation of the human being while implementation of business process, creating “artificial intelligence” for freight forwarding companies. For example, the system will be able to develop commercial proposal based on previous experience receiving information from data base and offer the best options on its own.IT-PSG team consists of 5 specialists. The advantage of working in Innopolis is mainly human resources. University work, as well as affordable lease of qualitative accommodation, attract specialists from all over the world. Since the main value of IT company is “brain” the access to the best personnel is the main criterion of success.That is why Rustem Mukhamadiev considers that the receipt of Innopolis resident status is a strategically correct decision.The project will be defended in spring (March-April). Then IT-PSG plans to improve the decision with help of Innopolis specialists.Reference informationInnopolis is the high-tech city officially opened in 2015. It was built for the purpose of creation of the Russian IT center where the best innovative solutions are developed. There is a “Special economic zone” (SEZ) and “Innopolis University” in the territory. SEZ provides tax remissions and a first-class infrastructure for IT companies at lower prices. Innopolis resident status can be received by IT company which creates high-tech decisions interesting from commercial point of view.Details at http://www.acexgroup.net/en/partners/news/1671/ACEX Alliance press centerpr@acex.netWebsite:http://www.acexgroup.net/en/ Click here to view the list of recent Press Releases from ACEX


DE CARVALHO D.,Innopolis University
Mathematical Structures in Computer Science | Year: 2017

The multiset-based relational model of linear logic induces a semantics of the untyped λ-calculus, which corresponds with a non-idempotent intersection type system, System R. We prove that, in System R, the size of type derivations and the size of types are closely related to the execution time of λ-terms in a particular environment machine, Krivine's machine. Copyright © Cambridge University Press 2017


Brown J.A.,Innopolis University | Ashlock D.A.,University of Guelph
2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 | Year: 2016

This study presents an application of the Multiple Worlds Model of Evolution. The goal is to model radio stations in a given market. The model captures listener demographics and maximizes listeners, while securing advertising revenue. Listener preferences for different types of content are set as positive (like) and negative (dislike) integers, allowing surveys of the demographic to act as the model parameters directly. Fitness evaluation is performed with a modeled hour of radio playtime where stations can select between a set of content types and advertisements. Advertisements provide fitness in the form of advertising revenues; however, listeners will only stay on a station which provides content they enjoy. The Multiple Worlds Model is a form of multiple population evolutionary algorithm. It evaluates fitness based on the actions of one member from each population, and has no genetic transfer of information between populations. Each population can thus specialize. In the current study, such specialization is a self-organization of focused (e.g. rock or country) stations via adaption to listener preferences. The model is examined using different numbers of independent populations with even splits among demographic types. The evolved stations show differences in playlists where the profiles differ in their enjoyments and convergence between stations where the listener profiles are similar. © 2016 IEEE.


Remencius T.,Connexx S.r.L. | Sillitti A.,Free University of Bozen Bolzano | Succi G.,Innopolis University
Information Sciences | Year: 2016

Most of the research effort in the area of software analysis is focused on the perspective of the developer (as in "software developing company") and the ways how the software development process could be improved. However, that is not the only type of software assessment common in the industry. There are also assessments that are commissioned by other parties, such as the primary recipients of the software solutions or courts dealing with legal cases that are related to software products or services. This work presents one such case-study that was performed for a public administration in Italy. The paper describes the assessment itself and also points out the need for more focused research by providing a comparison between developer-oriented and customer-oriented assessment types. © 2015 Elsevier Inc. All rights reserved.


Catano N.,Innopolis University | Rivera V.,Innopolis University
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2016

Event-B is a formal specification language and a methodology used to build software systems. Formal specifications are more useful when they can be executed. An executable formal specification provides insight on the behaviour of the system being modelled w.r.t an expected behaviour. This paper presents a tool that generates executable implementations of Event-B models. The tool is implemented as a plug-in of the Rodin platform, an Eclipse IDE that provides a set of tools to work with Event-B models. Our tool has extensively been used for generating code for Event-B models of Android applications, reactive systems, Smart Cards, searching algorithms, among others. The first author regularly uses EventB2Java in teaching to help master students of Software Engineering to get a better grasp of the behaviour of a model in Event-B and to detect inconsistencies in the model. © Springer International Publishing Switzerland 2016.


Johard L.,Innopolis University | Ruffaldi E.,Sant'Anna School of Advanced Studies
Pattern Recognition Letters | Year: 2016

Trajectories and parameterized curves are data types of growing importance. Many measures for such data have been proposed in order to provide analogues to the mean and variance of vectors. We identify a counterintuitive oscillating behavior of dynamic time warp-based averages on certain data sets. We present an algorithm that combines ideas from both self-organizing maps and dynamic time warping that avoids these oscillations and hence promises more representative curve averages. These improvements also allow for accurate estimation of the piece-wise variance for a set of general N-dimensional trajectories. The run-time performance is demonstrated on movement data from rowing, where we are able to provide performance feedback in real-time to users in a simulator. © 2016 Elsevier B.V.


Brown J.A.,Innopolis University
2015 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2015 | Year: 2015

Side Effect Machines (SEMs) have been used as a evolutionary representation in a variety of studies dealing with the classification of data for bioinformatic studies. However, up to this point there has been no formalism of the SEM in terms of its representational ability and placement within the Chomsky hierarchy; only a statement that it is a generalization of a Deterministic Finite Automation (DFA), without proof, has been provided. This paper aims to rectify that situation by presenting a formal look at SEMs in terms of the languages which they are known to accept. We give a constructive proof of how a SEM is a generalization of a DFA and are therefore able to be used to accept languages. Constructive proofs for SEMs accepting families of context-free and context-sensitive languages are also provided. © 2015 IEEE.


Brown J.A.,Innopolis University
2015 IEEE Conference on Computational Intelligence and Games, CIG 2015 - Proceedings | Year: 2015

Recent evaluations of Procedural Content Generation (PCG) methods have examined the use of personas as part of there evaluative functions. Personas, models of a user, have a number of complaints leveled against them by researchers as to their use as design tools: That there is poor empirical proof that they improve the design process, poor definitions lead to them not modeling actual uses, and they do not give any quantitative information for evaluation using a scientific approach. Examined is a framework in which a persona is not just defined as a model of a user, but is a contract list of player goals and actions available in the game. By defining a persona as a goal driven AI, it joins the idea of personas with a more qualitative evaluative method as well as not allowing developers to apply their own biases. Further, it allows for a persona to work beyond the design stage of the development, and into the maintenance stages. Taking into account game-play telemetry, it allows for personas to be used as tools for lessons learned for future developments. © 2015 IEEE.


De Carvalho D.,Innopolis University | Tortora De Falco L.,Third University of Rome
Information and Computation | Year: 2016

We prove that given two cut-free nets of linear logic, by means of their relational interpretations one can determine: 1) whether or not the net obtained by cutting the two nets is strongly normalizable, 2) (in case it is strongly normalizable) the maximum length of the reduction sequences starting from that net. As a by-product of our semantic approach, we obtain a new proof of the conservation theorem for Multiplicative Exponential Linear Logic (MELL) which does not rely on confluence; this yields an alternative proof of strong normalization for MELL. © 2016 Elsevier Inc. All rights reserved.

Loading Innopolis University collaborators
Loading Innopolis University collaborators