Unified Approach to Development of ASR Systems for East Slavic Languages

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Download Full-text

LANGUAGE SYSTEM IN THE GENETIC LANGUAGE SCIENCE OF THE 70-s IN THE 19TH — BEGINNING OF THE 20TH cc.: O. POTEBNIA’S CONCEPT OF «QUANTITATIVE CHANGES OF CONSONANTS»

Naukovy Visnyk of South Ukrainian National Pedagogical University named after K D Ushynsky Linguistic Sciences ◽

10.24195/2616-5317-2020-30-10 ◽

2020 ◽

Vol 2020 (30) ◽

pp. 152-165

Author(s):

Viktoriia Sviatchenko

Keyword(s):

Practical Implementation ◽

Common Cause ◽

Speech Stream ◽

Language System ◽

Slavic Languages ◽

Language History ◽

History Of ◽

Quantitative Changes ◽

Systemic Nature

The article provides a thorough account on A. A. Potebnia’s views on the systemic nature of the language presented in his works on historical phonetics of the Eastern Slavic languages. The practical implementation of his ideas in this respect is studied. The comprehension of the systemic character of phonetic changes of the Khrakiv linguistic school representative has urged the search of their interrelations as well as the attempt to identify homogeneous phonetic laws that share a common cause and act in a certain period of the language history, which is emphasized by the author of the article. It is noted that A. A. Potebnia focused on consonant changes that took place in different conditions. The causes of phonetic laws mentioned in the article can not be reduced to the interaction of sounds in a speech stream, the material provided by A. A. Potebnia proves that they are to be found within the phonetic system itself. The author of the article shares the views of V. A. Glushchenko that Potebnia’s investigations embrace all phonetic laws in the history of the Eastern Slavic languages’ consonant systems. The relevance of Potebnia’s research on the systemic nature of the language that has retained their value for the linguistics of the XX — beginning of XXI century is identified.

Download Full-text

Critical Pedagogy In Libraries: A Unified Approach

Journal of Critical Library and Information Studies ◽

10.24242/jclis.v1i1.15 ◽

2017 ◽

Vol 1 (1) ◽

Cited By ~ 1

Author(s):

Melissa M. Gustafson

Keyword(s):

Critical Pedagogy ◽

Information Literacy ◽

Literacy Instruction ◽

Information Science ◽

Academic Publishing ◽

Unified Approach ◽

Information Literacy Instruction ◽

Scholarly Communications ◽

Paolo Friere ◽

Foundational Work

Critical pedagogy originated in the social sciences during the mid-twentieth century with the foundational work of Paolo Friere. More recently in information science, James Elmborg and others have framed critical pedagogy through the lens of information literacy instruction. As a whole the philosophy is one which considers economic, political, and societal systems which influence the entire information life cycle from creation to consumption. Central to the adoption was the incorporation of learners as equals with valid and highly individualized experiences in academic discourse. Beyond information literacy instruction, critical pedagogy has the potential to also benefit and define the librarian's outreach and support role for the scholarly communications process. Scholarly communications encompasses both traditional academic publishing models (peer reviewed journals, conference presentations, etc.) and nontraditional channels (social media, open access, etc.) and is concerned with the information lifecycle as it relates to teaching research and scholarly work. In consideration of scholarly communications processes, issues of critical pedagogy including external market forces, privilege of information, systems of access, and consumption all play a defining role. A move to a more unified approach of critical pedagogy in libraries would highlight crucial issues of information literacy and scholarly communications while simultaneously augmenting the library's role across campus. The evolution of critical pedagogy in libraries is briefly discussed. Current scholarly communications practices in academic libraries as seen through the literature and by examining U.S. library websites is also reviewed. The author makes suggestions for meaningful inclusion of critical pedagogy in libraries through a unified approach to scholarly communications and information literacy programs.

Download Full-text