The purpose of this study was to determine the effect group counseling service with symbolic modeling technique on altruistic behavior class XI students at SMA Muhammadiyah 1 Sragen in 2022/2023 academic year. To end, a pre-experimental one research pre-test and post-test applied. Participants were ten 11th-grade Natural Science Social Departments. Data collected using questionnaires, interview...

We describe Pyomo, an open source tool for modeling optimization applications in Python. Pyomo can be used to define symbolic problems, create concrete problem instances, and solve these instances with standard solvers. Pyomo provides a capability that is commonly associated with algebraic modeling languages such as AMPL, AIMMS, and GAMS, but Pyomo’s modeling objects are embedded within a full-...

Symbolic, rule-based systems seem essential for modeling high-level cognition. Subsymbolic dynamical systems, in contrast, seem essential for modeling low-level perception and action, and can be mapped more easily onto the brain. Here we review existing work showing that critical features of symbolic production systems can be implemented in a subsymbolic, dynamical systems substrate, and that o...

The design of controllers for hybrid systems (i.e. mixed discretecontinuous systems) in a systematic manner remains a challenging task. In this case study, we apply formal modeling to the design of communication and control strategies for a team of autonomous robots to attain speci ed goals in a coordinated manner. The model of linear hybrid automata is used to describe the high-level design, a...

One of the main difficulties in applying modern control theories for designing robust controllers for linear uncertain plants is the lack of adequate models describing structured physical model uncertainties. We present a systematic approach for the generation of uncertainty models described by linear fractional transformations (LFTs) and report on recently developed symbolic and numerical soft...

We examine symbolic tools associated with two modeling systems for mathematical programming, which can be used to automatically detect the presence or absence of convexity and concavity in the objective and constraint functions, as well as convexity of the feasible set in some cases. The coconut solver system Schichl (2004b) focuses on nonlinear global continuous optimization and possesses its ...

PRISM is a new type of symbolic-statistical modeling language which integrates logic programming and learning seamlessly 2 . It is designed for the symbolic-statistical modeling of complex phenomena such as genetics and economics where logical/social rules and uncertainty interact, thus expected to be a valuable tool for scienti c discovery. In this paper, we rst give a detailed account of PRIS...