Building a Travel Influencer Brand Using Instagram Tools

Building a Global Asian Fashion Brand

Brand Building on the Internet

On the Internet today, a type of customer called “Information Seeker” may develop more easily, who tries to gather independent sources of information about different products prior to purchase and thus makes a deliberate selection rather than trusting sellers or brands. Therefore, the function of brands in transmitting information will lose significance, with enormous impact on brand loyalty, e...

Formal Theory Building Using Automated Reasoning Tools

The merits of representing scientific theories in formal logic are well-known. Expressing a scientific theory in formal logic explicates the theory as a whole, and the logic provides formal criteria for evaluating the theory, such as soundness and consistency. On the one hand, these criteria correspond to natural questions to be asked about the theory: is the theory contradiction-free? (is the ...

Building Program Understanding Tools Using Visitor Combinators

Program understanding tools manipulate program representations, such as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinators to conduct such manipulations. Visitor combinators are an extension of the well-known visitor design pattern. They are small, reusable classes that carry out specific visiting steps. They can be composed in ...

Building Modelica Tools using the Modelica SDK

Modelica provides numerous opportunities for the engineering industry to promote the reuse and exchange of simulation models by providing a clear standard, open libraries and metadata support via annotations. This opportunity is often underutilized because full Modelica support could not be easily incorporated into software tools without requiring considerable resources. This paper presents a s...