Search

Copyright of Revista Española de Derecho Deportivo is the property of Editorial Reus and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

From four-function calculators to calculators (or computers) with Computer Algebra System (CAS) software, Mathematics computing technology has advanced. With just a few button pushes, CASs can solve a wide range of mathematical problems, which is a true quantum leap in technology. The implications of having software in the classroom that can, for example, expand and factorize algebraic expressions, solve equations, differentiate functions, and find antiderivatives are causing the mathematical community to engage in a heated debate about whether this is one of the most exciting or frightening developments in the history of education. It was only a matter of time before Artificial Intelligence entered the field of Science. This is now also the case with Mathematics, one of the dominant, perhaps the most basic, but also the most "difficult" of the sciences. The human mind, for better or for worse, has its limits. As we see in every manifestation of our lives, in this case, technology is being enlisted to help humanity take the next step, whether it has to do with automation and practical matters, or with knowledge and exploration. Creating a model that is understandable to humans is the primary objective of Artificial Intelligence. Additionally, concepts and methods from numerous mathematical fields can be used to prepare these models. In this paper, we will examine the use of AI in CASs and explore some ways to optimize them. The documentation sheets are the data source that we used to examine their characteristics. The research results reveal that there are many tips that we can follow to accelerate performance. [ABSTRACT FROM AUTHOR]

Copyright of Logopedia e Comunicazione is the property of Edizioni Centro Studi Erickson SpA and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

This article addresses the sustainability of using digital technologies in mathematics education. The paper emphasizes the need to understand how we can improve mathematics learning processes and the role of technology in these processes. Technology encompasses various fields such as science, manufacturing, services, and transportation, covering a wide range from machines to methods. The use of technology in mathematics education should also be evaluated within this scope. The article examines how digital technologies are used in mathematics classes and how this usage affects students' mathematics learning processes. Technological advancements, ranging from graphic calculators to web-based applications, have transformed mathematics instruction. However, it is an important question whether technology is used only to access answers more quickly or to improve how mathematics is learned. Especially when there are numerous equations and programming languages in mathematics classes, the limitations of material presentation must be considered. Additionally, this research highlights the importance of using platforms for implementing online learning policies. [ABSTRACT FROM AUTHOR]

This paper provides theoretical and practical implications for the application of agent-based models (ABMs) to address the issue of coevolutionary business-IS alignment. The implications stem from the following arguments: (a) the alignment issue can be modelled by an ABM to describe the features of complex adaptive systems (CAS); (b) the coevolutionary principles of business and IS alignment stipulate individual behaviours and guide organisational order; (c) ABM development and experimentation offer guidance to better explain how organisations control the alignment trajectory with coevolutionary principles. To extend the extant coevolutionary research on alignment, this paper develops an ABM for a hierarchical organisational structure and validates three coevolutionary principles. [ABSTRACT FROM AUTHOR]

Copyright of Canadian Journal of Science, Mathematics & Technology Education is the property of Springer Nature and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Journal of Tree Health is the property of Tree Health Research Society, Japan and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Reduction of phosphogypsum (PG) to calcium sulfide (CaS) using thermochemical methods solve the environmental problems caused by PG. However, the commonly used reducing agents are coal and CO. The use of the above‐mentioned reducing agents is not economically efficient. In this paper, rice husk (RH) is used as a reducing agent and sludge (SL) as an additive to reduce PG. The effect of the two on PG decomposition and the mechanism of the synergistic effect are also investigated in combination with kinetic calculations. It is found that decomposition rate of CaSO4 in PG is 99.99% and yield of CaS is 98.38% when 40% RH + 20% SL is used as the reducing agent at 900°C for 30 min. The combined use of RH + SL is superior to RH alone in reducing the initial decomposition temperature and Ea. The mechanism functions of both reduced PG are G(α) = −ln(1 − α). There is a synergistic mechanism between RH and SL. The Fe2O3 in SL increases the cleavage of nitrogen oxide‐containing compounds and PAHs in tar to monocyclic aromatic and aliphatic hydrocarbons while producing more CO, H2, and CH4. Meanwhile, SL ash can promote the reaction process of carbon with CaSO4, thus increasing the decomposition rate of PG. [ABSTRACT FROM AUTHOR]

Copyright of Phainomena is the property of Phenomenological Society of Ljubljana and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

In a previous paper, the authors developed new rules for computing improper integrals which allow computer algebra systems (Cas) to deal with a wider range of improper integrals. The theory used in order to develop such rules where Laplace and Fourier transforms and the residue theorem. In this paper, we describe new rules for computing symbolic improper integrals using extensions of the residue theorem and analyze how some of the most important Cas could improve their improper integral computations using these rules. To achieve this goal, different tests are developed. The Cas considered have been evaluated using these tests. The obtained results show that all Cas involved, considering the new developed rules, could improve their capabilities for computing improper integrals. The results of the evaluations of the Cas are described providing a sorted list of the Cas depending on their scores. [ABSTRACT FROM AUTHOR]

In this paper, in order to identify the formation mechanism of duplex (Ca,Mn)S inclusions in steel, based on the two heats of commercial Ca-treated resulfurized steel, the characteristics of duplex (Ca,Mn)S inclusions in bars, blooms and CaO-Al2O3 oxides in molten steel were observed and analyzed. The results indicate that there are three types of duplex (Ca,Mn)S inclusions in steel. The first type with over 20% Ca in (Ca,Mn)S is named as "Type-C", the second with 4–20% Ca in (Ca,Mn)S is named as "Type-MC" and the third with below 4% Ca in (Ca,Mn)S is named as "Type-M". Their core oxides are mainly Ca-Mg–Al-O oxides. The aspect ratios of duplex (Ca,Mn)S inclusions in bars decrease as Ca content in (Ca,Mn)S increases. From Type-M to Type-C, CaO content in core oxides increases, and Ca content in wrapping (Ca,Mn)S increases. The shape of duplex (Ca,Mn)S inclusions can be controlled through controlling CaO content in core oxides. During solidification, CaO-Al2O3 oxides become as heterogeneous nucleation cores of MnS inclusions, duplex (Ca,Mn)S inclusions forming in this way, and Ca in wrapping (Ca,Mn)S come from CaO in core oxides. The higher CaO content in core oxides, the higher Ca content in wrapping (Ca,Mn)S. Under the condition with specific Ca/S ratio in steel, to obtain more duplex (Ca,Mn)S inclusions, numbers of Type-C should be decreased, and numbers of Type-MC and Type-M should be increased. To achieve this goal, the key is to obtain larger numbers of CaO-Al2O3 oxides with lower CaO and smaller sizes in molten steel. [ABSTRACT FROM AUTHOR]

The paper deals with the determination of intangible assets of Czech public sector. On 15 January 2013, the International Public Sector Accounting Standards Board issued new standard IPSAS 31 - Intangible assets. This standard represents a very sophisticated construction of accounting axioms moving public sector much closer to the private sector. The aim of this paper is to identify and make subsequent comparison of methodological elements in the context of intangible assets according to CAS and IPSAS 31. Moreover the paper tries to show the share of intangible fixed assets to the total assets throughout every type of organization of public sector like regions, municipalities, government departments etc. to assess subsequently the extent of possible impacts on financial situation in case of transition of financial reporting to IPSAS. [ABSTRACT FROM AUTHOR]

This paper examines the regulatory framework established by the Fédération internationale de football association (FIFA), regarding the unilateral termination of a professional football player's contract without just cause and the consequences thereof on the basis of case law and bibliography. The paper shall further examine the results of their practical application and the need for their amendment, which emerges from the constantly changing nature of the pertinent industry and the specificity that characterizes the field of sport. The purpose of this paper is to present the regulatory framework of the international Lex Sportiva, which is claimed to ensure the maintenance of contractual stability for the parties involved, as well as the uniform and equal treatment of the contracting parties in football, through the issuance of decisions imposing monetary and sporting sanctions on the parties in breach. In particular, the purpose of this research is to examine the reasons for the termination of a professional football player's contract without just cause in international football and to contemplate on the legal issues arising from the imposition of sporting sanctions on the offending party. At a second level, the decisions that have been issued by the competent deciding bodies will be analyzed on their merits. [ABSTRACT FROM AUTHOR]

We present an application of strategy synthesis to enforce spatial properties. This is achieved by implementing a toolchain that enables the tools CATLib and VoxLogicA to interact in a fully automated way. The Contract Automata Library (CATLib) is aimed at both composition and strategy synthesis of games modelled in a dialect of finite state automata. The Voxel-based Logical Analyser (VoxLogicA) is a spatial model checker for the verification of properties expressed using the Spatial Logic of Closure Spaces on pixels of digital images. We provide examples of strategy synthesis on automata encoding motion of agents in spaces represented by images, as well as a proof-of-concept realistic example based on a case study from the railway domain. The strategies are synthesised with CATLib, while the properties to enforce are defined by means of spatial model checking of the images with VoxLogicA. The combination of spatial model checking with strategy synthesis provides a toolchain for checking and enforcing mobility properties in multi-agent systems in which location plays an important role, like in many collective adaptive systems. We discuss the toolchain's performance also considering several recent improvements. [ABSTRACT FROM AUTHOR]

Multimedia Broadcast Multicast Service (MBMS)-dedicated cell is a Long Term Evolution (LTE) based broadcast transmission mode with both high transmission efficiency and good compatibility with LTE unicast systems. However, since the physical design of Cell Acquisition Subframe (CAS), which is the control part of an MBMS-dedicated cell transmission period, does not take into account the long delay spread channels in Medium Tower Medium Power (MTMP) and High Tower High Power (HTHP) cells, receivers would probably suffer from multipath aliasing errors in practical transmission. This paper analyzes the impact of aliasing errors on channel estimation (CHE) accuracy and proposes an Aliasing-Elimination CHE algorithm for CAS reception. In the proposed algorithm, the pre-decoded Physical Broadcast Channel (PBCH) is reconstructed and utilized to generate a complete multipath distribution within the entire OFDM symbol length. By using this full-symbol length multipath distribution, the proposed algorithm eliminates aliasing errors effectively. Simulation results and complexity analysis show that the proposed CHE algorithm achieves a significant performance improvement compared to conventional CHE algorithms in long delay spread channels, with acceptable increment in complexity. [ABSTRACT FROM AUTHOR]

Copyright of Theory of Science / Teorie Vedy is the property of Academy of Sciences of the Czech Republic, Centre for Science, Technology & Society Studies and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Glasnik Slovenskega Etnološkega Društva is the property of Slovene Ethnological Society and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

The aim of this paper is to outline a segment of lex sportiva that is grounded in the idiosyncrasies of the internal rules of the hearing procedure in sports sailing whereby the fundamental principles and concepts of sports law as well as the bodies involved in the process of forming sports law are being analysed. For this purpose, the general notion of sailing, its theoretical systematization and the basic features of its sports variant will be presented, in the context of which the organization, rules and regulations will be considered i.e. basic documents including the fundamental legal principles of sports law represented in the relevant sport, all of which for the purpose of re-establishing the sports law, its concept and nature i.e. its potentially interdisciplinary character. To this extent, the re-establishment of sports law and its specific features will be highlighted particularly through appropriate examples of court and arbitration practices as well as the specific rules of sports sailing, part of which are also the rules on the hearing procedure which will be roughly presented and thereby their compliance with the fundamental principles of sports law will be accordingly analysed. [ABSTRACT FROM AUTHOR]

In this paper, a study has been done to find out, first, how Creativity, Activity, Service(CAS) activity/project is promoting education for sustainable development and second, what approach is used to promote it. The purpose is to bring into focus the significance of education of sustainable development to meet sustainable development goals (SDGs) through CAS. The method used is qualitative content analysis of web pages of 44 IB World Schools websites obtained by applying random sampling technique. The results highlight that CAS activities/projects does have activities directly related to sustainable development, but what is not evident is that how these activities are linked to the SDGs. It is found that CAS activity/project is an efficient tool for promoting education for sustainable development coupled with project focused approach delivered through community service programmes. [ABSTRACT FROM AUTHOR]

The following paper presents selected aspects of the employment of unmanned aircraft systems (UAS) during land force operations, it focuses on its capabilities and constrains. In contemporary operations land forces, mainly UAS of I and II class category, are used in ISR missions, most frequently for the tactical support (armed roles) of land forces. These activities are treated as an additional element of the improvement of situational awareness, they also strengthen fire support. The presented article is based on allied and coalition doctrinal papers associated with unmanned aircraft systems. [ABSTRACT FROM AUTHOR]

The purpose of the paper is to contribute towards providing a methodology which researchers in Information and Communication Technology (ICT) for development can use to design result-oriented programs. In this paper CAS theory is presented as the underlying theory for ICT for economic development. Complex Adaptive System (CAS) theory has been used to assist in understanding and managing complexity (Holland 1992; Fuller and Moran 2001] in many fields. The paper presents a conceptual model for ICT for economic development, a theoretical model, emanating from complexity science that treats economic development in firms or communities of practice as CASs offering an inter-disciplinary approach that is holistic as opposed to reductionist. This conceptual model is a convergence of theories in development. The convergence and integration is not a mere aggregation or addition of the theories, but the model provides a framework within which the variables identified by the different theories interrelate dynamically, influence each other and display a new ontology within which to analyze ICT for economic development. The theoretical model conceptualizes ICTs as interventions at influence points in a CAS (Parsons and Hargreaves 2009] and captures their role in structural transformation. The theoretical model is a convergence, reconciliation and integration point for theories in development. The implication of developing the ICT for economic development conceptual model means that the operationalization of the variables emanating from many theories used and the influence of specific ICTs on the model components needs to be addressed in further research. The conceptual ICT for economic development model contributes to the wide search for appropriate methodologies by researchers in ICT for development. [ABSTRACT FROM AUTHOR]

Copyright of Phainomena is the property of Phenomenological Society of Ljubljana and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Collected Papers of the Faculty of Law in Split / Zbornik Radova Pravnog Fakulteta u Splitu is the property of Split Faculty of Law and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Introduction: Optical Coherence Tomography (OCT) is an intravascular imaging providing high-resolution images of morphological features of arterial wall. Nowadays, OCT is an accepted intravascular modality to study coronary arteries, stent implantation, and vessel injury. In the last decade, an increasing interest have been focused on the application of OCT in carotid arteries.Areas covered: Literature evidence in the application of OCT in carotid arteries still remains debated. So far, OCT has been used as a research tool, aiming to evaluate atherosclerotic plaques' features and stents' behavior after implantation. This paper is intended to summarize clinical evidences and practices in the use of OCT in carotid arteries district and during CAS procedures. Literature review was completed via Pubmed search using Keywords.Expert opinion: CAS is a safe and effective procedure when performed by trained physicians with a tailored approach. In this scenario, ambiguous pictures at ultrasound, angiography, and IVUS might be clarified using OCT.By providing unprecedented microstructural information on atherosclerotic plaques, OCT may identify the features of vulnerable carotid plaque and, by identifying possible defects after stent implantation as malapposition and plaque prolapse, it may help the tailoring approach to CAS. [ABSTRACT FROM AUTHOR]

Copyright of Filozofski Vestnik is the property of Scientific Research Centre of Slovenian Academy of Sciences & Arts and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Collaborative assembly systems (CAS) are an increasingly important solution to the requests of the current market since they present the flexibility and dexterity of the human operator and the repeatability of the robot. For a CAS to be effective, both agents should carry out the tasks in the workspace without any physical interference. This paper aims to evaluate how the product characteristics influence the interference between the human operator and the robot. To reach the goal, we developed an algorithm that simulates product assembly in the considered workspace. The model also allowed to estimate the makespan achievable for different scenarios, showing a reduction, and thus an increase in the throughput. The makespan depends on several variables, related to the product characteristics and the process ones. Given specific conditions, we have observed that increasing the collaboration parameter from 21.06 to 48.98% led to a reduction in the makespan of about 20%. Lastly, the results obtained by the simulation were verified through a validation test, showing an error of − 2.39%. [ABSTRACT FROM AUTHOR]

Paper represents the implementation on the project: Crime and criminal tracking network and system (CCTNS), using the advance and current methodology such as agile methodology which is important and beneficial for both customer and the organization also. Various factors like on time delivery, customer satisfaction, minimum cost, customer involvement, minimal documentation, more face to face communication, better understanding, high performance, better quality product are necessary factors for a project to be successful and this is where current methodology comes as compared to earlier traditional approaches where planning is fixed, strict rules are to be followed, requirements are initialized before start of the project, more documentation, less customer involvement, whole product to be given to the customer at the end which is not appropriate for the current scenarios. [ABSTRACT FROM AUTHOR]

In this paper, the characteristics of tensile fractures and the typical inclusions in as-cast blooms and as-rolled bars are carefully investigated to figure out the causes of different transverse tensile properties in two commercial non-quenched and tempered steels. In low Ca bearing steel (3 ppm), MgO-Al2O3 (MA) + MnS are main inclusions and MA oxides express high ability for MnS heterogeneous nucleation. Consequently, the MnS inclusions in as-rolled bars are larger in size and smaller in number, the transverse ductility is satisfied due to the high space distance between the MnS inclusions. However, the transverse ductility of high Ca bearing steel (9 ppm) is much poor because MnS inclusions are agminated in distribution, causing severe stress concentration. The calculation results show that CaO in CaO-MgO-Al2O3 oxides (CMA) would react with Al and S in molten steels, suppressing the formation of MnS inclusions on surface of CMA oxides. An integrated illumination including the evolution processes of typical oxides in molten steels, the generation behaviors of MnS during the solidification, the deformation behaviors of sulfides and the relationship between sulfides and crack initiation have been conducted based on observation results and thermodynamic calculation. [ABSTRACT FROM AUTHOR]

Copyright of Ars & Humanitas is the property of Ars & Humanitas and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)