Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Physical Sciences and Mathematics (7283)
- Computer Sciences (7170)
- Databases and Information Systems (2934)
- Software Engineering (2227)
- Social and Behavioral Sciences (2168)
-
- Business (1886)
- Artificial Intelligence and Robotics (1368)
- Engineering (1103)
- Numerical Analysis and Scientific Computing (864)
- International and Area Studies (853)
- Asian Studies (836)
- Information Security (740)
- Graphics and Human Computer Interfaces (642)
- Computer Engineering (548)
- Public Affairs, Public Policy and Public Administration (461)
- Operations Research, Systems Engineering and Industrial Engineering (451)
- Law (410)
- Theory and Algorithms (397)
- Technology and Innovation (380)
- Programming Languages and Compilers (360)
- Education (348)
- Communication (311)
- Economics (307)
- OS and Networks (272)
- Finance and Financial Management (242)
- Organizational Behavior and Theory (239)
- Strategic Management Policy (237)
- Higher Education (226)
- Social Media (221)
- Transportation (215)
- Keyword
-
- Singapore (284)
- Machine learning (131)
- Deep learning (118)
- Artificial intelligence (96)
- Innovation (82)
-
- Social media (79)
- Singapore Management University (77)
- China (70)
- Data mining (66)
- Reinforcement learning (59)
- Empirical study (57)
- Higher education (55)
- Software engineering (55)
- Privacy (52)
- Security (51)
- Deep Learning (50)
- Cloud computing (48)
- Online learning (48)
- Collaboration (47)
- Optimization (47)
- Training (47)
- Twitter (47)
- Task analysis (46)
- Neural networks (45)
- Sustainability (45)
- Visualization (45)
- COVID-19 (44)
- Natural language processing (44)
- Anomaly detection (43)
- Feature extraction (42)
- Publication Year
- Publication
-
- Research Collection School Of Computing and Information Systems (7018)
- Research Collection Lee Kong Chian School Of Business (838)
- Research Collection Yong Pung How School Of Law (354)
- Research Collection School of Social Sciences (331)
- Dissertations and Theses Collection (Open Access) (325)
-
- Research Collection College of Integrative Studies (221)
- Research Collection School Of Economics (189)
- Perspectives@SMU (116)
- Asian Management Insights (113)
- Research Collection School Of Accountancy (98)
- Knowledge@SMU (79)
- Research Collection Library (69)
- SMU Press Releases and News (38)
- Social Space (34)
- Oral History Collection (22)
- Dissertations and Theses Collection (17)
- Report to Stakeholders (16)
- Sim Kee Boon Institute for Financial Economics (16)
- CCX Research (14)
- Research@SMU: Connecting the Dots (11)
- MITB Thought Leadership Series (9)
- SMU Corporate Reports (9)
- Singapore Law Journal (Lexicon) (9)
- Student Publications (8)
- FORCE 2026 (7)
- Research Collection Institute of Innovation and Entrepreneurship (7)
- Centre for AI & Data Governance (2019-2025) (6)
- Research Collection Institute of Service Excellence (2007-2024) (6)
- Research Collection Office of Impact (6)
- COAR Asia OA Meeting 2021 (5)
- Publication Type
- File Type
Articles 8431 - 8460 of 10055
Full-Text Articles in Entire DC Network
Compositemap: A Novel Framework For Music Similarity Measure, Bingjun Zhang, Jialie Shen, Qiaoliang Xiang, Ye Wang
Compositemap: A Novel Framework For Music Similarity Measure, Bingjun Zhang, Jialie Shen, Qiaoliang Xiang, Ye Wang
Research Collection School Of Computing and Information Systems
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effective technique for organizing, browsing, and searching large data collections, music information retrieval is attracting more and more attention. How to measure and model the similarity between different music items is one of the most fundamental yet challenging research problems. In this paper, we introduce a novel framework based on a multimodal and adaptive similarity measure for various applications. Distinguished from previous approaches, our system can effectively combine music properties from different aspects into a …
Automatic Steering Of Behavioral Model Inference, David Lo, Leonardo Mariani, Mauro Pezze
Automatic Steering Of Behavioral Model Inference, David Lo, Leonardo Mariani, Mauro Pezze
Research Collection School Of Computing and Information Systems
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and time-consuming, researchers defined several techniques to extract finite state models from code and traces. Automatically generating models requires much less effort than designing them, and thus eases the verification and validation of large software systems. However, when models are inferred automatically, the precision of the mining process is critical. Behavioral models mined with imprecise processes can include many spurious behaviors, and can thus compromise the results of testing and analysis techniques that use …
Bonus Plans Of Mice And Men, M. Thulasidas
Bonus Plans Of Mice And Men, M. Thulasidas
Research Collection School Of Computing and Information Systems
Our best-laid plans often go awry. We see it all the time at a personal level -- accidents (both good and bad), deaths (both of loved ones and rich uncles), births, and lotteries all conspire to reshuffle our priorities and render our plans null and void. In fact, there is nothing like a solid misfortune to get us to put things in perspective. This opportunity may be the proverbial silver lining we are constantly advised to see. What is true at a personal level holds true also at a larger scale. The industry-wide financial meltdown has imparted a philosophical clarity …
Creating Human-Like Autonomous Players In Real-Time First Person Shooter Computer Games, Di Wang, Budhitama Subagdja, Ah-Hwee Tan, Gee-Wah Ng
Creating Human-Like Autonomous Players In Real-Time First Person Shooter Computer Games, Di Wang, Budhitama Subagdja, Ah-Hwee Tan, Gee-Wah Ng
Research Collection School Of Computing and Information Systems
This paper illustrates how we create a software agent by employing FALCON, a self-organizing neural network that performs reinforcement learning, to play a well-known first person shooter computer game known as Unreal Tournament 2004. Through interacting with the game environment and its opponents, our agent learns in real-time without any human intervention. Our agent bot participated in the 2K Bot Prize competition, similar to the Turing test for intelligent agents, wherein human judges were tasked to identify whether their opponents in the game were human players or virtual agents. To perform well in the competition, an agent must act like …
Towards Expressive Specification And Efficient Model Checking, Jin Song Dong, Jun Sun
Towards Expressive Specification And Efficient Model Checking, Jin Song Dong, Jun Sun
Research Collection School Of Computing and Information Systems
System modeling is important and highly non-trivial. The choice of specification language is an important factor in the success of the entire development. The language should cover several facets of the requirements and the model should precisely capture (up to abstraction of irrelevant details) an existing system or a system to be built. The language should have a semantic model suitable to study the behaviors of the system and to establish the validity of desired properties. A formal model can be the basis for a variety of system development activities, e.g., system simulation, visualization, verification or prototype synthesis.
Integrating Specification And Programs For System Modeling And Verification, Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen
Integrating Specification And Programs For System Modeling And Verification, Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen
Research Collection School Of Computing and Information Systems
High level specification languages like CSP use mathematical objects as abstractions to represent systems and processes. System behaviors are described as process expressions combined with compositional operators, which are associated with elegant algebraic laws for system analysis. Nonetheless, modeling systems with non-trivial data and functional aspects using CSP remains difficult. In this work, we propose a modeling language named CSP# (short for communicating sequential programs) which integrates high-level modeling operators with low-level procedural codes, for the purpose of efficient mechanical system verification. We demonstrate that data operations can be modeled as terminating sequential programs, which can be composed using high-level …
Model Checking Linearizability Via Refinement, Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun
Model Checking Linearizability Via Refinement, Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun
Research Collection School Of Computing and Information Systems
Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires checking that 1) all executions of concurrent operations be serializable, and 2) the serialized executions be correct with respect to the sequential semantics. This paper describes a new method to automatically check linearizability based on refinement relations from abstract specifications to concrete implementations. Our method avoids the often difficult task of determining linearization points in implementations, but can also take advantage of linearization points if they are given. The method exploits model checking of finite state systems specified as concurrent …
Fair Model Checking With Process Counter Abstraction, Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong
Fair Model Checking With Process Counter Abstraction, Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong
Research Collection School Of Computing and Information Systems
Parameterized systems are characterized by the presence of a large (or even unbounded) number of behaviorally similar processes, and they often appear in distributed/concurrent systems. A common state space abstraction for checking parameterized systems involves not keeping track of process identifiers by grouping behaviorally similar processes. Such an abstraction, while useful, conflicts with the notion of fairness. Because process identifiers are lost in the abstraction, it is difficult to ensure fairness (in terms of progress in executions) among the processes. In this work, we study the problem of fair model checking with process counter abstraction. Even without maintaining the process …
Why Should Investors Stay Positive On The Asian Real Estate Markets?, Knowledge@Smu
Why Should Investors Stay Positive On The Asian Real Estate Markets?, Knowledge@Smu
Knowledge@SMU
Asia’s real estate market has weakened in tandem with lower equity prices. Singapore is no exception. Gone (for now) is the frenzied buying that marked 2007 and 2008, as everyone hunkers down for a possible protracted slump in the global economy. Many property buyers are caught with assets declining in value. Should investors thus stay away from Asia’s property market? What are the challenges facing the industry players, and is there a recovery on the horizon?
Political Participation: Influences And Implications, Knowledge@Smu
Political Participation: Influences And Implications, Knowledge@Smu
Knowledge@SMU
Education has always been viewed as a predictor of a nation’s level of political participation. The levels of political activity in Latin America and East Asia, however, disprove this belief. SMU economics professor Davin Chor and Harvard public policy professor Filipe R. Campante attempt alternative explanations from an economic perspective. In the paper, “Schooling, Political Participation, and the Economy”, factors such as resources and human capital were examined.
Towards A Single European Sky, Yael Gruksha-Cockayne, Bert De Reyck
Towards A Single European Sky, Yael Gruksha-Cockayne, Bert De Reyck
Research Collection Lee Kong Chian School Of Business
We describe an integrated decision-making framework and model that we developed to aid EUROCONTROL, the European air traffic management organization, in its vital role of constructing a single unified European sky. Combining multicriteria decision analysis with large-scale optimization methods, such as integer programming and column generation using branch and price, our model facilitates the process by which the numerous European aviation stakeholders evaluate and select technological enhancements to the European air traffic management system. We consider multiple objectives and potential disagreements by stakeholders regarding the impact of proposed system enhancements and allow for different priorities for each key performance area. …
Modelling Reconfigurable Manufacturing Systems With Coloured Timed Petri Nets, Lianfeng Zhang, Brian Rodrigues
Modelling Reconfigurable Manufacturing Systems With Coloured Timed Petri Nets, Lianfeng Zhang, Brian Rodrigues
Research Collection Lee Kong Chian School Of Business
Reconfigurable manufacturing systems (RMSs) have been acknowledged as a promising means of providing manufacturing companies with the required production capacities and capabilities. This is accomplished through reconfiguring system elements over time for a diverse set of individualised products often required in small quantities and with short delivery lead times. Recognising the importance of dynamic modelling and visualisation in decision-making support in RMSs and the limitations of current research, we propose in this paper to model RMSs with Petri net (PN) techniques with focus on the process of reconfiguring system elements while considering constraints and system performance. In view of the …
Deterministic Chaos In A Model Of Discrete Manufacturing, John J. Iii Bartholdi, Donald D. Eisenstein, Yun Fong Lim
Deterministic Chaos In A Model Of Discrete Manufacturing, John J. Iii Bartholdi, Donald D. Eisenstein, Yun Fong Lim
Research Collection Lee Kong Chian School Of Business
A natural extension of the bucket brigade model of manufacturing is capable of chaotic behavior in which the product intercompletion times are, in effect, random, even though the model is completely deterministic. This is, we believe, the first proven instance of chaos in discrete manufacturing. Chaotic behavior represents a new challenge to the traditional tools of engineering management to reduce variability in production lines. Fortunately, if configured correctly, a bucket brigade assembly line can avoid such pathologies.
Exporting Expertise: Singapore’S Gambits In The Middle East, Caroline Yeoh, Wilfred Pow Ngee How
Exporting Expertise: Singapore’S Gambits In The Middle East, Caroline Yeoh, Wilfred Pow Ngee How
Research Collection Lee Kong Chian School Of Business
Singapore’s regionalization stratagem points increasingly towards the influence of both the sociopolitical environment and the economics of competition, in a business environment with an ever-growing number of competitors; to the extent that other forces, particularly political ones, are often sidelined. A more in-depth study of the above two influences is best performed in a context comparatively free of the implicit complex political facets but with sufficiently rich environments to challenge internationalizing firms, and distinct influences to draw pertinent conclusions from. For this purpose, the continually expanding business environments and the unique cultures of the Middle East provide the perfect context …
Market-Based Capabilities And Financial Performance Of Firms: Insights Into Marketing's Contribution To Firm Value, Sridhar N. Ramaswami, Rajendra K. Srivastava, Mukesh Bhargava
Market-Based Capabilities And Financial Performance Of Firms: Insights Into Marketing's Contribution To Firm Value, Sridhar N. Ramaswami, Rajendra K. Srivastava, Mukesh Bhargava
Research Collection Lee Kong Chian School Of Business
While there is recognition that market-based capabilities contribute to a firm’s financial performance, the exposition is largely conceptual (Srivastava et al. Journal of Marketing 62:2–18, 1998; Journal of Marketing 63:168–179, 1999). Using a resource based view of the firm, the present study proposes that (1) market-based assets and capabilities of a firm impacts (2) performance in three market-facing business processes (new product development, supply-chain and customer management), which in turn, influence (3) the firm’s financial performance. It develops related hypotheses and tests the framework empirically. The study also examines for the first time the interrelationship among the three business processes …
A Re-Examination Of China's Share Issue Privatization, Guohua Jiang, Heng Yue, Longkai Zhao
A Re-Examination Of China's Share Issue Privatization, Guohua Jiang, Heng Yue, Longkai Zhao
Research Collection School Of Accountancy
Previous studies show that in contrast to evidence that share issue privatization (SIP) in most other countries have improved firm profitability, China's SIP of the 1990s had no such effect. We argue that the main reason for the failure of China's SIP is likely to have been the weak institutional environment in place at that time. We examine China's SIP in a more recent period in which the institutional environment was greatly improved. Using a matching sample method, we find that SIP firms continued to experience negative post-SIP profitability changes in our sample period. However, their performance decline was significantly …
Audit Committees, Boards Of Directors, And Remediation Of Material Weaknesses In Internal Control, Beng Wee Goh
Audit Committees, Boards Of Directors, And Remediation Of Material Weaknesses In Internal Control, Beng Wee Goh
Research Collection School Of Accountancy
The Sarbanes-Oxley Act (SOX) was passed in 2002 in response to a series ofaccounting improprieties at well-known companies such as Enron and WorldCom.One important aspect of SOX is the internal control requirements. SOX section302 requires that management evaluate the effectiveness of disclosure and controlprocedures, report results of the evaluation, and indicate any “significant changes”in internal controls since the last 10-K or 10-Q report (Securities and ExchangeCommission [SEC] 2002). In addition, SOX section 404 requires that manage-ment’s assessment of the effectiveness of internal control over financial reportingand auditors’ attestation on management’s assessment be included in firms’ 10-Kreports (SEC 2003a). The heightened …
Information Sharing And Strategic Signaling In Supply Chains, Robert J. Kauffman, Hamid Mohtadi
Information Sharing And Strategic Signaling In Supply Chains, Robert J. Kauffman, Hamid Mohtadi
Research Collection School Of Computing and Information Systems
Information sharing in procurement occurs in rich and varied industry contexts in which managerial decisions are made and organizational strategy is formulated. We explore how information sharing ought to work in procurement contexts that involve investments in inter-organizational information systems (IOS) and collaborative planning, forecasting and replenishment (CPFR) practices. How and under what circumstances does a firm that plays the role of a supply chain buyer decide to share information on key variables, such as point-of-sale consumer demand data with its supplier, up the supply chain? This is a key issue that crosses the boundary between supply chain management and …
Simplenpkl: Simple Non-Parametric Kernel Learning, Jinfeng Zhuang, Ivor Tsang, Steven C. H. Hoi
Simplenpkl: Simple Non-Parametric Kernel Learning, Jinfeng Zhuang, Ivor Tsang, Steven C. H. Hoi
Research Collection School Of Computing and Information Systems
Previous studies of Non-Parametric Kernel (NPK) learning usually reduce to solving some Semi-Definite Programming (SDP) problem by a standard SDP solver. However, time complexity of standard interior-point SDP solvers could be as high as O(n6.5). Such intensive computation cost prohibits NPK learning applicable to real applications, even for data sets of moderate size. In this paper, we propose an efficient approach to NPK learning from side information, referred to as SimpleNPKL, which can efficiently learn non-parametric kernels from large sets of pairwise constraints. In particular, we show that the proposed SimpleNPKL with linear loss has a closed-form solution that can …
Nonrigid Shape Recovery By Gaussian Process Regression, Jianke Zhu, Steven C. H. Hoi, Michael R. Liu
Nonrigid Shape Recovery By Gaussian Process Regression, Jianke Zhu, Steven C. H. Hoi, Michael R. Liu
Research Collection School Of Computing and Information Systems
Most state-of-the-art nonrigid shape recovery methods usually use explicit deformable mesh models to regularize surface deformation and constrain the search space. These triangulated mesh models heavily relying on the quadratic regularization term are difficult to accurately capture large deformations, such as severe bending. In this paper, we propose a novel Gaussian process regression approach to the nonrigid shape recovery problem, which does not require to involve a predefined triangulated mesh model. By taking advantage of our novel Gaussian process regression formulation together with a robust coarse-to-fine optimization scheme, the proposed method is fully automatic and is able to handle large …
Econometric Theory And Practice, Peter C. B. Phillips
Econometric Theory And Practice, Peter C. B. Phillips
Research Collection School Of Economics
Econometrics has been evolving as a discipline over the last decade in a way that has successfully brought theory and practice much closer together. Many of the developments are associated with laptop computing, the increasing availability of electronic databases, and the convenience of modern econometric software and matrix programming languages. The changes that have occurred affect us at every level as teachers, researchers, practitioners, readers, reviewers, and authors. No journal can stand still in the face of such changes. This editorial speaks to these changes and the way they impact our subject, our authors, and our readership.
Econometric Theory And Practice, Peter C. B. Phillips
Econometric Theory And Practice, Peter C. B. Phillips
Research Collection School Of Economics
Econometrics has been evolving as a discipline over the last decade in a way that has successfully brought theory and practice much closer together. Many of the developments are associated with laptop computing, the increasing availability of electronic databases, and the convenience of modern econometric software and matrix programming languages. The changes that have occurred affect us at every level as teachers, researchers, practitioners, readers, reviewers, and authors. No journal can stand still in the face of such changes. This editorial speaks to these changes and the way they impact our subject, our authors, and our readership.
Architectural Dualities In Complex Systems: Components, Interfaces, Technologies And Organizations, C. Jason Woodard, Joel West
Architectural Dualities In Complex Systems: Components, Interfaces, Technologies And Organizations, C. Jason Woodard, Joel West
Research Collection School Of Computing and Information Systems
Research on technological innovation and product development has long recognized the importance of product architecture, and many scholars have explored its relationship to the organizational structure of the product development process. Product architecture, in turn, has long encompassed both the allocation of functionality to components and the pattern of linkages between them. In this paper, we forge new connections among these established ideas by examining them as two pairs of dual relationships. First, we draw attention to the duality between components and interfaces. While innovation and product development researchers have historically emphasized the partitioning of products and systems into components, …
Case Comment: Robertson Quay Investment Pte Ltd V Steen Consultants Pte Ltd, Yihan Goh
Case Comment: Robertson Quay Investment Pte Ltd V Steen Consultants Pte Ltd, Yihan Goh
Research Collection Yong Pung How School Of Law
In recent times, the venerable principles relating to remoteness of damage in contract have undergone a period of sustained re-evaluation. Key amongst this exercise is the House of Lords’ decision in Transfield Shipping Inc v Mercator Shipping Inc—referred to as ‘The Achilleas’, which represents a fundamental shift in the understanding of remoteness principles. Caught in the winds of The Achilleas is the considered judgment of the Singapore Court of Appeal in Robertson Quay Investment Pte Ltd v Steen Consultants Pte Ltd.In direct contrast with some of the speeches in The Achilleas, the judgment delivered by Andrew Phang JA in Robertson …
Mferio: The Design And Evaluation Of A Peer-To-Peer Mobile Payment System, Rajesh Krishna Balan, Narayanasamy Ramasubbu, Komsit Prakobphol, Nicolas Christin, Jason Hong
Mferio: The Design And Evaluation Of A Peer-To-Peer Mobile Payment System, Rajesh Krishna Balan, Narayanasamy Ramasubbu, Komsit Prakobphol, Nicolas Christin, Jason Hong
Research Collection School Of Computing and Information Systems
In this paper, we present the design and evaluation of a near-field communication-based mobile p2p payment application, called mFe-rio, that is designed to replace cash-based transactions. We first identify design criteria that payment systems should satisfy and then explain how mFerio, relative to those criteria, improves on the limitations of cash-based systems. We next describe mFerio's implementation and user interface design, focusing on the balance between usability and security. Finally, we present the results of a two-phase user study, involving a total of 104 people, that shows that mFerio has low cognitive load and is also fast, accurate, and easy …
Adaptive In-Network Processing For Bandwidth And Energy Constrained Mission-Oriented Multi-Hop Wireless Networks, Sharanya Eswaran, Matthew Johnson, Archan Misra, Thomas La Porta
Adaptive In-Network Processing For Bandwidth And Energy Constrained Mission-Oriented Multi-Hop Wireless Networks, Sharanya Eswaran, Matthew Johnson, Archan Misra, Thomas La Porta
Research Collection School Of Computing and Information Systems
In-network processing, involving operations such as filtering, compression and fusion, is widely used in sensor networks to reduce the communication overhead. In many tactical and stream-oriented wireless network applications, both link bandwidth and node energy are critically constrained resources and in-network processing itself imposes non-negligible computing cost. In this work, we have developed a unified and distributed closed-loop control framework that computes both a) the optimal level of sensor stream compression performed by a forwarding node, and b) the best set of nodes where the stream processing operators should be deployed. Our framework extends the Network Utility Maximization (NUM) paradigm, …
Non-Redundant Sequential Rules - Theory And Algorithm, David Lo, Siau-Cheng Khoo, Limsoon Wong
Non-Redundant Sequential Rules - Theory And Algorithm, David Lo, Siau-Cheng Khoo, Limsoon Wong
Research Collection School Of Computing and Information Systems
A sequential rule expresses a relationship between two series of events happening one after another. Sequential rules are potentially useful for analyzing data in sequential format, ranging from purchase histories, network logs and program execution traces. In this work, we investigate and propose a syntactic characterization of a non-redundant set of sequential rules built upon past work on compact set of representative patterns. A rule is redundant if it can be inferred from another rule having the same support and confidence. When using the set of mined rules as a composite filter, replacing a full set of rules with a …
Intentional Learning Agent Architecture, Budhitama Subagdja, Liz Sonenberg, Iyad Rahwan
Intentional Learning Agent Architecture, Budhitama Subagdja, Liz Sonenberg, Iyad Rahwan
Research Collection School Of Computing and Information Systems
Dealing with changing situations is a major issue in building agent systems. When the time is limited, knowledge is unreliable, and resources are scarce, the issue becomes more challenging. The BDI (Belief-Desire-Intention) agent architecture provides a model for building agents that addresses that issue. The model can be used to build intentional agents that are able to reason based on explicit mental attitudes, while behaving reactively in changing circumstances. However, despite the reactive and deliberative features, a classical BDI agent is not capable of learning. Plans as recipes that guide the activities of the agent are assumed to be static. …
A Formal Framework For Modeling And Validating Simulink Diagrams, Chunqing Chen, Jin Song Dong, Jun Sun
A Formal Framework For Modeling And Validating Simulink Diagrams, Chunqing Chen, Jin Song Dong, Jun Sun
Research Collection School Of Computing and Information Systems
Simulink has been widely used in industry to model and simulate embedded systems. With the increasing usage of embedded systems in real-time safety-critical situations, Simulink becomes deficient to analyze (timing) requirements with high-level assurance. In this article, we apply Timed Interval Calculus (TIC), a realtime specification language, to complement Simulink with TIC formal verification capability. We elaborately construct TIC library functions to model Simulink library blocks which are used to compose Simulink diagrams. Next, Simulink diagrams are automatically transformed into TIC models which preserve functional and timing aspects. Important requirements such as timing bounded liveness can be precisely specified in …
How Emerging Giants Are Rewriting The Rules Of M&A, Nirmalya Kumar
How Emerging Giants Are Rewriting The Rules Of M&A, Nirmalya Kumar
Research Collection Lee Kong Chian School Of Business
While Western companies struggle with mergers and acquisitions, emerging giants like Indian aluminum producer Hindalco are using M&A as their main globalization strategy. That's partly because developing economies grew at near double-digit rates in the past 15 years, enabling many enterprises to make acquisitions. It's also because, according to the author's research, those corporations create more value from takeovers. To compete, Western multinationals should change their mind-set and shift the locus of their M&A efforts to regional headquarters in developing countries.U.S. and European companies, inhibited by slow-growing home markets, acquire rivals primarily to become bigger and thus create economies of …