Artículos de revistas: "Certified programming"

1

Tanter, Éric y Nicolas Tabareau. "Gradual certified programming in coq". ACM SIGPLAN Notices 51, n.º 2 (11 de mayo de 2016): 26–40. http://dx.doi.org/10.1145/2936313.2816710.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Magron, Victor, George Constantinides y Alastair Donaldson. "Certified Roundoff Error Bounds Using Semidefinite Programming". ACM Transactions on Mathematical Software 43, n.º 4 (23 de marzo de 2017): 1–31. http://dx.doi.org/10.1145/3015465.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Ni, Zhaozhong y Zhong Shao. "Certified assembly programming with embedded code pointers". ACM SIGPLAN Notices 41, n.º 1 (12 de enero de 2006): 320–33. http://dx.doi.org/10.1145/1111320.1111066.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Syafrizal, Mutiara y Agus Siswanto. "MAGANG STUDI INDEPENDEN BERSERTIFIKAT WEBSITE APLIKASI ONLINE PMB DI PT ARKATAMA MULTI SOLUSINDO". Jurnal SINTA: Sistem Informasi dan Teknologi Komputasi 1, n.º 1 (6 de enero de 2024): 31–39. http://dx.doi.org/10.61124/sinta.v1i1.12.

Texto completo

Resumen

PT Arkatama Multi Solusindo is an experienced company in IT consulting services and application development. Certified Independent Study Database Programming is one of the independent study programs at PT Arkatama Multi Solusindo. The series of activities in the separate database programming study program includes individual learning; participants will take part in a synchronous learning process (delivery of material by the trainer via Zoom meeting) and asynchronous (study of the material provided in the form of teaching modules/teaching videos/practical materials). At each learning meeting, participants will be given a pre-test, post-test, and written or practical assignments to test their understanding of the learning provided by the teacher. The Certified Independent Database Programming Study aims to enable participants to become competent Database Programmers in data management systems. Certified independent study database programming has minimum graduation requirements (SKM), namely, Creating a web-based database application with case studies that have been determined by the trainer to display data in intuitive graphic form and published using a domain and hosting. The final project given was creating a web application for new student admissions using the Codeigniter framework, Bootstrap, and the Highcharts plugin.

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

BARTHE, GILLES, DAVID PICHARDIE y TAMARA REZK. "A certified lightweight non-interference Java bytecode verifier". Mathematical Structures in Computer Science 23, n.º 5 (17 de mayo de 2013): 1032–81. http://dx.doi.org/10.1017/s0960129512000850.

Texto completo

Resumen

Non-interference guarantees the absence of illicit information flow throughout program execution. It can be enforced by appropriate information flow type systems. Much of the previous work on type systems for non-interference has focused on calculi or high-level programming languages, and existing type systems for low-level languages typically omit objects, exceptions and method calls. We define an information flow type system for a sequential JVM-like language that includes all these programming features, and we prove, in the Coq proof assistant, that it guarantees non-interference. An additional benefit of the formalisation is that we have extracted from our proof a certified lightweight bytecode verifier for information flow. Our work provides, to the best of our knowledge, the first sound and certified information flow type system for such an expressive fragment of the JVM.

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Jacobs, Jules, Stephanie Balzer y Robbert Krebbers. "Multiparty GV: functional multiparty session types with certified deadlock freedom". Proceedings of the ACM on Programming Languages 6, ICFP (29 de agosto de 2022): 466–95. http://dx.doi.org/10.1145/3547638.

Texto completo

Resumen

Session types have recently been integrated with functional languages, bringing message-passing concurrency to functional programming. Channel endpoints then become first-class and can be stored in data structures, captured in closures, and sent along channels. Representatives of the GV (Wadler's "Good Variation") session type family are of particular appeal because they not only assert session fidelity but also deadlock freedom, inspired by a Curry-Howard correspondence to linear logic. A restriction of current versions of GV, however, is the focus on binary sessions, limiting concurrent interactions within a session to two participants. This paper introduces Multiparty GV (MPGV), a functional language with multiparty session types, allowing concurrent interactions among several participants. MPGV upholds the strong guarantees of its ancestor GV, including deadlock freedom, despite session interleaving and delegation. MPGV has a novel redirecting construct for modular programming with first-class endpoints, thanks to which we give a type-preserving translation from binary session types to MPGV to show that MPGV is strictly more general than binary GV. All results in this paper have been mechanized using the Coq proof assistant.

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Claflin, Kellie, Josh Stewart y Haley Q. Traini. "Here are the keys, go teach: How alternatively certified agriculture teachers learn to be agriculture teachers". Journal of Agricultural Education 64, n.º 2 (30 de junio de 2023): 98–115. http://dx.doi.org/10.5032/jae.v64i2.110.

Texto completo

Resumen

Teacher shortages in agricultural education are one reason for an increase in alternatively certified teachers, with 22.8% of new hires in school-based agricultural education (SBAE) being alternative licensure route completers in 2018. While prior research in SBAE has provided insight into the needs of alternatively certified teachers, we do not know how alternatively certified agriculture teachers are acquiring the practices of the profession. The purpose of this study was to explore how alternatively certified agriculture teachers acquire the practices of agriculture teachers using Wenger’s social learning theory, Communities of Practice. Data analysis resulted in four themes regarding how the participants acquired practices and the context of acquisition: (1) here are the keys, go teach; (2) connectors to the community, (3) in it for the kids, and (4) agricultural education is different from anything else. These findings highlight the social aspects of acquiring the unique practices of agriculture teachers through experience and mentors, as well as the dedication of participants to supporting students. Consequently, we recommend state leaders in SBAE to acknowledge the importance of social learning as they develop programming and supports for alternatively certified agriculture teachers.

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Bogaerts, Bart, Stephan Gocht, Ciaran McCreesh y Jakob Nordström. "Certified Symmetry and Dominance Breaking for Combinatorial Optimisation". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 4 (28 de junio de 2022): 3698–707. http://dx.doi.org/10.1609/aaai.v36i4.20283.

Texto completo

Resumen

Symmetry and dominance breaking can be crucial for solving hard combinatorial search and optimisation problems, but the correctness of these techniques sometimes relies on subtle arguments. For this reason, it is desirable to produce efficient, machine-verifiable certificates that solutions have been computed correctly. Building on the cutting planes proof system, we develop a certification method for optimisation problems in which symmetry and dominance breaking are easily expressible. Our experimental evaluation demonstrates that we can efficiently verify fully general symmetry breaking in Boolean satisfiability (SAT) solving, thus providing, for the first time, a unified method to certify a range of advanced SAT techniques that also includes XOR and cardinality reasoning. In addition, we apply our method to maximum clique solving and constraint programming as a proof of concept that the approach applies to a wider range of combinatorial problems.

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

He, Guo Tian, Jie Sheng Chen, Li Song, Yan Ma, Ming Li, Ze Yu Xu, De Sheng Zhang y Ying Chun Ran. "Test Unit Design of Magnetorheological Greases Conductivity Research Based on Labview". Applied Mechanics and Materials 246-247 (diciembre de 2012): 1130–34. http://dx.doi.org/10.4028/www.scientific.net/amm.246-247.1130.

Texto completo

Resumen

This paper described the characteristics of open virtual equipment platform LabVIEW, and introduced the method to construct data collecting system using this platform. And developed computer controlled monitoring unit of magneto-rheological grease conductivity, tested the relation between magneto-rheological grease conductivity and external magnetic field, particle concentration, and thickness of magneto-rheological grease. In windows system, the virtual instrument constructed by using LabVIEW programming implemented the real time measurement, display, record of conductivity output, analysis its conductivity characteristics, and fitted the output electric resistance data and determined the best fitting curve. The experiment certified that this method doesn't need complex programming, reduces the programming time, and simplifies the development procedure, and increases the flexibility of detection system.

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

CHLIPALA, ADAM. "Modular development of certified program verifiers with a proof assistant",. Journal of Functional Programming 18, n.º 5-6 (15 de agosto de 2008): 599–647. http://dx.doi.org/10.1017/s0956796808006904.

Texto completo

Resumen

AbstractWe report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checked proof of full correctness. The verifier is able to prove memory safety of x86 machine code programs compiled from code that uses algebraic datatypes. The tool's soundness theorem is expressed in terms of the bit-level semantics of x86 programs, so its correctness depends on very few assumptions. We take advantage of Coq's support for programming with dependent types and modules in the structure of the development. The approach is based on developing a library of reusable functors for transforming a verifier at one level of abstraction into a verifier at a lower level. Using this library, it is possible to prototype a verifier based on a new type system with a minimal amount of work, while obtaining a very strong soundness theorem about the final product.

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

Salisbury, Craig D. y Wayne Chan. "Simple Automated Wet Digestion of Animal Tissues for Determination of Seven Elements by Atomic Absorption Spectroscopy". Journal of AOAC INTERNATIONAL 68, n.º 2 (1 de marzo de 1985): 218–20. http://dx.doi.org/10.1093/jaoac/68.2.218.

Texto completo

Resumen

Abstract A simple, automated wet digestion procedure was developed for the quantitative determination by atomic absorption spectroscopy (AAS) of arsenic, cadmium, copper, mercury, lead, selenium, and zinc in animal tissue. A commercial digestion block system with automated temperature programming was used. Recoveries of all elements from spiked bovine liver and kidney samples exceed 95%. The analytical results obtained for samples of NBS Bovine Liver (No. 1577a) agree well with certified values. The procedure is safe and requires minimum analyst time.

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Lapucci, Matteo y Davide Pucci. "Mixed-integer quadratic programming reformulations of multi-task learning models". Mathematics in Engineering 5, n.º 1 (2022): 1–16. http://dx.doi.org/10.3934/mine.2023020.

Texto completo

Resumen

<abstract><p>In this manuscript, we consider well-known multi-task learning (MTL) models from the literature for linear regression problems, such as clustered MTL or weakly constrained MTL. We propose novel reformulations of the training problem for these models, based on mixed-integer quadratic programming (MIQP) techniques. We show that our approach allows to drive the optimization process up to certified global optimality, exploiting popular off-the-shelf software solvers. By computational experiments on both synthetic and real-world datasets, we show that this strategy generally leads to improvements in terms of the predictive performance of the models, if compared to the classical local optimization techniques, based on alternating minimization strategies, that are usually employed. We also suggest a number of possible extensions of our model that should further improve the quality of the obtained regressors, introducing, for example, sparsity and features selection elements.</p></abstract>

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

AHRENS, BENEDIKT. "Modules over relative monads for syntax and semantics". Mathematical Structures in Computer Science 26, n.º 1 (5 de diciembre de 2014): 3–37. http://dx.doi.org/10.1017/s0960129514000103.

Texto completo

Resumen

We give an algebraic characterization of the syntax and semantics of a class of untyped functional programming languages.To this end, we introduce a notion of 2-signature: such a signature specifies not only the terms of a language, but also reduction rules on those terms. To any 2-signature (S, A) we associate a category of ‘models’. We then prove that this category has an initial object, which integrates the terms freely generated by S, and which is equipped with reductions according to the rules given in A. We call this initial object the programming language generated by (S, A). Models of a 2-signature are built from relative monads and modules over such monads. Through the use of monads, the models – and in particular, the initial model – come equipped with a substitution operation that is compatible with reduction in a suitable sense.The initiality theorem is formalized in the proof assistant Coq, yielding a machinery which, when fed with a 2-signature, provides the associated programming language with reduction relation and certified substitution.

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Douglas, Natalie. "Engaging Direct Care Providers in the Implementation of Montessori Programming for Dementia". Innovation in Aging 5, Supplement_1 (1 de diciembre de 2021): 150. http://dx.doi.org/10.1093/geroni/igab046.578.

Texto completo

Resumen

Abstract There is a need to engage direct care providers such as certified nursing assistants (CNAs) explicitly in efforts to implement innovative programming in long-term care environments. This presentation will outline engagement strategies that supported the implementation of Montessori programming in a community of 20 individuals living with severe dementia. Examples about positioning the CNA at the center of decision making, negotiating and building trust, cultivating opportunities for mutual consultation, creating spaces for new ideas to emerge, and synthesizing diverse perspectives will be highlighted. Although the program achieved positive outcomes on a number of measures including decreased responsive behaviors from people living with dementia, decreased negative qualities of relationships between CNAs and persons with dementia, and increased positive qualities of relationships between CNAs and persons with dementia, this presentation will focus on the “how” of engagement between the project team and the CNAs by highlighting qualitative data.

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

GAVA, FRÉDÉRIC. "FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS". Parallel Processing Letters 13, n.º 03 (septiembre de 2003): 365–76. http://dx.doi.org/10.1142/s0129626403001343.

Texto completo

Resumen

The Bulk Synchronous Parallel ML (BSML) is a functional language for BSP programming, a model of computing which allows parallel programs to be ported to a wide range of architectures. It is based on an extension of the ML language by parallel operations on a parallel data structure called parallel vector, which is given by intention. We present a new approach to certifying BSML programs in the context of type theory. Given a specification and a program, an incomplete proof of the specification (of which algorithmic contents corresponds to the given program) is built in the type theory, in which gaps would correspond to the proof obligation. This development demonstrates the usefulness of higher-order logic in the process of software certification of parallel applications. It also shows that the proof of rather complex parallel algorithms may be done with inductive types without great difficulty by using existing certified programs. This work has been implemented in the Coq Proof Assistant, applied on non-trivial examples and is the basis of a certified library of BSML programs.

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Gaudioso, Manlio, Sona Taheri, Adil M. Bagirov y Napsu Karmitsa. "Bundle Enrichment Method for Nonsmooth Difference of Convex Programming Problems". Algorithms 16, n.º 8 (21 de agosto de 2023): 394. http://dx.doi.org/10.3390/a16080394.

Texto completo

Resumen

The Bundle Enrichment Method (BEM-DC) is introduced for solving nonsmooth difference of convex (DC) programming problems. The novelty of the method consists of the dynamic management of the bundle. More specifically, a DC model, being the difference of two convex piecewise affine functions, is formulated. The (global) minimization of the model is tackled by solving a set of convex problems whose cardinality depends on the number of linearizations adopted to approximate the second DC component function. The new bundle management policy distributes the information coming from previous iterations to separately model the DC components of the objective function. Such a distribution is driven by the sign of linearization errors. If the displacement suggested by the model minimization provides no sufficient decrease of the objective function, then the temporary enrichment of the cutting plane approximation of just the first DC component function takes place until either the termination of the algorithm is certified or a sufficient decrease is achieved. The convergence of the BEM-DC method is studied, and computational results on a set of academic test problems with nonsmooth DC objective functions are provided.

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Müller-Rigat, Guillem, Anubhav Kumar Srivastava, Stanisław Kurdziałek, Grzegorz Rajchel-Mieldzioć, Maciej Lewenstein y Irénée Frérot. "Certifying the quantum Fisher information from a given set of mean values: a semidefinite programming approach". Quantum 7 (24 de octubre de 2023): 1152. http://dx.doi.org/10.22331/q-2023-10-24-1152.

Texto completo

Resumen

We introduce a semidefinite programming algorithm to find the minimal quantum Fisher information compatible with an arbitrary dataset of mean values. This certification task allows one to quantify the resource content of a quantum system for metrology applications without complete knowledge of the quantum state. We implement the algorithm to study quantum spin ensembles. We first focus on Dicke states, where our findings challenge and complement previous results in the literature. We then investigate states generated during the one-axis twisting dynamics, where in particular we find that the metrological power of the so-called multi-headed cat states can be certified using simple collective spin observables, such as fourth-order moments for small systems, and parity measurements for arbitrary system sizes.

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

OVASKA, S., S. MYYRÄ, J. K. NIEMI y P. PELTONEN-SAINIO. "Optimal renewal interval for malting barley seed". Journal of Agricultural Science 154, n.º 6 (4 de noviembre de 2015): 1062–67. http://dx.doi.org/10.1017/s0021859615001021.

Texto completo

Resumen

SUMMARYThe present study explored the optimal long-term seed renewal strategy for malting barley for use either of farm-saved seed (FSS) or commercially certified seed (CCS). The dynamic optimization problem was solved by a dynamic programming routine with known parameters for one-period returns and transition equations. The model parameters represented Finnish farm-level returns and costs, as well as genetic improvements in barley yield potential. The results suggested that there is a farm-level economic incentive not to use CCS every year, despite the higher yield potential of CCS compared with FSS. The simulations highlighted the reasons behind the observed yield gap between genetic improvements in yield potential and attained yields at the farm scale.

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Pančík, Juraj y Pavel Maxera. "Control of Hydraulic Pulse System Based on the PLC and State Machine Programming". Designs 2, n.º 4 (20 de noviembre de 2018): 48. http://dx.doi.org/10.3390/designs2040048.

Texto completo

Resumen

In this paper, we deal with a simple embedded electronic system for an industrial pneumatic–hydraulic system, based on a low-cost programmable logic controller (PLC) and industrial electronic parts with 24 V logic. The developed system is a hydraulic pulse system and generates a series of high-pressure hydraulic pulses with up to a max. 200 bar output pressure level and with up to a max. 2 Hz output hydraulic pulses frequency. In this paper we are describing requirements, the concept of the embedded control system in a diagram, security features and its industrial network connectivity (CAN bus, MODBUS). In description of the software solution we describe the implementation of the program threads approach in this low-cost PLC. The PLC programming with threads generate two layers of services—physical and application layer, and as a result, the threads create the main control state machine. In conclusion, we describe the calibration method of the system and the calibration curves. For further study we offer readers the full programming code written in sequential function charts to be used as PLC language. The cost of the described industrial networked control system with industry standard optoelectronic insulated interfaces and certified industrial safety relay does not exceed €1000 Euros.

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Parhusip, Jadiaman. "PERANCANGAN SISTEM PENDUKUNG KEPUTUSAN SERTIFIKASI PENDIDIK GURU SMP DI KABUPATEN MURUNG RAYA DENGAN METODE SIMPLE ADDITIVE WEIGHTING (SAW)". Jurnal Teknologi Informasi Jurnal Keilmuan dan Aplikasi Bidang Teknik Informatika 14, n.º 1 (29 de enero de 2020): 71–82. http://dx.doi.org/10.47111/jti.v14i1.607.

Texto completo

Resumen

Means of government to improve quality of teacher is accomplished through teacher certification. It is done by selecting every teacher listed in Education Board in Indonesia. Lots of data of participants of the teacher certification and confusion of criteria in selection of the teacher certification done by committee of the teacher certification can cause inaccurate data of the eligible participants to be certified. It causes gap for teacher which is actually eligible to be certified. To overcome the situation, it is necessary to produce a computer-based systematic effort for every working unit, in this case is Education Board of Murung Raya Regency in Central Kalimantan. The Development of Decision Support System which was used in this study was started by analyzing available system and analyzing related literature, Government Regulations, which was used as legal foundation to process data related to the teacher certification. Teacher certification scoring used Simple Additive Weighting (SAW), which scored every datum and then was normalized by matrix. The result of matrix normalization obtained the final score of 7 (seven) criteria for every teacher which later will be ranked from the highest to the lowest. The rank was utilized to decide priority of teacher which was eligible to be certified. This application used Borland Delphi 7 as the programming language and MySQL as the database engine. The result of this study was a helping application to recommend teacher certification. Data which was produced by the application showed the similar result compared with the result of manual scoring from the institution. Therefore, it is suggested to implement the application since it is really helpful to assist the Education Board of Murung Raya, especially for employment construction to decide priority teacher to get the certification for every year as long as the regulation or policy does not change.

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

KYRIAKIS (Σ. Κ. ΚΥΡΙΑΚΗΣ), S. C., C. ALEXOPOULOS (Κ. ΑΛΕΞΟΠΟΥΛΟΣ), P. D. TASSIS (Π.Δ. ΤΑΣΣΗΣ), E. D. TZIKA (Ε.Δ. ΤΖΗΚΑ), S. K. KRITAS (Σ.Κ. ΚΡHΤΑΣ), C. S. KYRIAKIS (Κ.Σ. ΚΥΡΙΑΚΗΣ) y A. G. LYMPEROPOULOS (Α.Γ. ΛΥΜΠΕΡΟΟΥΛΟΣ). "On farm Veterinary Management - Biosecurity measures for the production of high hygienic quality pork meat". Journal of the Hellenic Veterinary Medical Society 54, n.º 3 (19 de diciembre de 2017): 261. http://dx.doi.org/10.12681/jhvms.15268.

Texto completo

Resumen

At the beginning of the 21st century the greek pig industry has to face new challenges. Its frustrating position today is the result of lack of programming and clear targets, as a consequence of false decisions by almost all implicated authorities. Moreover, modern consumer's demand for high quality hygienically certified pork meat and the extremely competitive environment of the European Union necessitate the uptake of measures for the survival of the greek pig industry. It is essential to implement a legislatively consolidated on farm veterinary management programme in all greek industrial pig farms under full supervision and responsibility of the authorized veterinarian of every farm. As support to this programme, it is also important to follow the rules of a veterinary protection-biosecurity programme and to use an on farm HACCP compatible system. In this way it will be possible to produce high health status slaughter pigs. The on farm veterinary management programme will significantly contribute, in coordination with all the other responsible authorities (meat inspectors, public health veterinarians etc.), to the production of high quality hygienically certified pork meat, which is mostly preferred by Greek and European consumers. Furthermore, the implementation of an on farm veterinary management programme in all greek industrial pig farms will extensively assist to the improvement of the greek pig industry's competitiveness and productivity, the protection of public health and of the environment. If all responsible authorities take the appropriate actions, there will be an opportunity for the greek pig industry to survive under the current conditions. Finally, the consumer will see his demands for high quality hygienically certified pork meat to fulfilled after the application of all appropriate measures that will secure the production procedures of pork meat from «the stable to the table».

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Drovnikova, I. G., A. A. Zmeev y E. A. Rogozin. "PRIVATE TECHNIQUE OF FORMATION OF REQUIREMENTS TO INFORMATION PROTECTION SYSTEMS FROM UNAUTHORIZED ACCESS TO AUTOMATED BATH SYSTEMS USING GENETIC ALGORITHM". Herald of Dagestan State Technical University. Technical Sciences 45, n.º 3 (12 de mayo de 2019): 114–22. http://dx.doi.org/10.21822/2073-6185-2018-45-3-114-122.

Texto completo

Resumen

Objectives.Analysis of the existing methodology for the formation of requirements for information protection systems (GIS) from unauthorized access (NSD) to automated systems (AS) revealed a number of significant flaws, the main of which is the following: despite the fact that the considered method undoubtedly has theoretical significance, the same time, it can not claim practical value. This is due to the fact that in this methodology, the studies were carried out not on a specific standard (widely used certified according to the regulations of the Federal Service for Technical and Export Control of Russia) GIS, and the data on threats of unauthorized access given in it do not correspond to reality (morally obsolete), but therefore require a significant upgrade. Accepting the existing methodology as a baseline, the purpose of the article is to develop a private method of forming requirements for GIS from unauthorized access to the AU, which has practical value and allows you to formulate quantitative requirements for a wide class of certified GIS.Method.When writing the article, the methods of system analysis, evolutionary modeling, probability theory and mathematical statistics, mathematical apparatus for modeling dynamic discrete networks (E-networks), and theory of algorithms were used. The methodological basis is a systematic approach.Result.A private methodology has been developed that determines the parameters of the symbolic genetic algorithm (GA) for creating a software package for analysis, evolutionary modeling, and forming quantitative requirements for GIS from un-authorized access to speakers using the Matlab 13 application software to implement GA in the Optimization toolbox programming environment.Conclusion.The proposed private method of forming requirements for GIS from unauthorized access in the AU using GA has a theoretical significance, practical value and allows you to formulate quantitative requirements for a wide class of AS certified in a certain class of security in accordance with the requirements of current regulatory documentation.

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Kelly*, Lelia S. "Selecting, Training and Evaluating Master Gardeners in the Non-traditional Role of Instructors in the Basic Training Classes of the Program". HortScience 39, n.º 4 (julio de 2004): 874E—875. http://dx.doi.org/10.21273/hortsci.39.4.874e.

Texto completo

Resumen

In a time of budgetary constraints, reorganization of many extension services and other changes in the educational system, identifying and implementing non-traditional ways to deliver programming is a critical issue if extension is to continue to deliver quality, timely educational programs to clientele. Innovative methods that can be used to efficiently and economically deliver programming would be desirable and beneficial. This presentation will address how Mississippi State Univ. Extension Service, due to the changes listed above, is addressing the lack of extension instructors to teach the basic training curriculum of the Master Gardener (MG) program. In order to continue to meet the public demand for these classes and safeguard the integrity of the instruction, a new process of identifying, training and evaluating “senior” MG volunteers as instructors in the basic training curriculum of the program has been implemented. How this process was initiated and buy-in of administrators, county extension MG coordinators, volunteers and state specialists was established will be presented. The process of selecting, training, and evaluating of these MG certified educators would also be presented. Difficulties encountered with implementing this new system of program delivery utilizing volunteers in addition to the traditional specialist or agent instructor will be presented as well.

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Lan, Jianglin, Yang Zheng y Alessio Lomuscio. "Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 7 (28 de junio de 2022): 7272–80. http://dx.doi.org/10.1609/aaai.v36i7.20689.

Texto completo

Resumen

We present a novel semidefinite programming (SDP) relaxation that enables tight and efficient verification of neural networks. The tightness is achieved by combining SDP relaxations with valid linear cuts, constructed by using the reformulation-linearisation technique (RLT). The computational efficiency results from a layerwise SDP formulation and an iterative algorithm for incrementally adding RLT-generated linear cuts to the verification formulation. The layer RLT-SDP relaxation here presented is shown to produce the tightest SDP relaxation for ReLU neural networks available in the literature. We report experimental results based on MNIST neural networks showing that the method outperforms the state-of-the-art methods while maintaining acceptable computational overheads. For networks of approximately 10k nodes (1k, respectively), the proposed method achieved an improvement in the ratio of certified robustness cases from 0% to 82% (from 35% to 70%, respectively).

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Neverova, Ye G. "PROBLEM OF DEVALVATION PROFESSIONAL IT-EDUCATION AND POSSIBLE WAYS". BULLETIN Series of Physics & Mathematical Sciences 73, n.º 1 (29 de marzo de 2021): 185–89. http://dx.doi.org/10.51889/2021-1.1728-7901.27.

Texto completo

Resumen

The article raises the problem of the emerging alarming trend of the higher education’s devaluation for the field of information technology in the society, draws attention to the fashionable trend of obtaining "fast" programming skills without acquiring invaluable knowledge of a fundamental nature, denial of scientific approaches to the creation of software products, as well as the methodological basis design of information systems in accordance with the approved world standards. It has been proven that exclusively higher education provides the necessary competencies in full, since it is supported by a focus on employers' requests and educational programs created on the basis of universities, which are approved by certified experts in the relevant fields of knowledge. The urgent need to transform the thinking of society towards the formation of beliefs about consistency in obtaining education in the field of IT technologies is emphasized.

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Salehi, Mahdi, Mahmoud Lari Dashtbayaz y Masomeh Heydari. "Audit fees prediction using fuzzy models". Problems and Perspectives in Management 14, n.º 2 (11 de mayo de 2016): 104–17. http://dx.doi.org/10.21511/ppm.14(2).2016.11.

Texto completo

Resumen

The current study aims to predict the optimal amount of independent audit fees based on the factors influencing audit fees. To identify the factors influencing audit fees, the stakeholders of 30 auditing firms, members of the Iranian Association of Certified Public Accountants in Tehran selected randomly, were interviewed. Finally, the linear programming model for audit fees and its determinants is defined and sum of squared error is used to solve the function with minimum. Also, given that the data are quantitative and comparative and normally distributed, Pearson’s correlation coefficient is used to test the research hypotheses. The results show that a positive significant correlation exists between the variables of expected time to perform audit procedures, the number of accounting documents, audit operation risk, complexity of operations, existence of specific rules and regulations governing the activities of the entity

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

McEwan, Kirsten, Kari S. Krogh, Kim Dunlop, Mahnoor Khan y Alyssa Krogh. "Virtual Forest Bathing Programming as Experienced by Disabled Adults with Mobility Impairments and/or Low Energy: A Qualitative Study". Forests 14, n.º 5 (17 de mayo de 2023): 1033. http://dx.doi.org/10.3390/f14051033.

Texto completo

Resumen

Background: Although access to nature is demonstrated to benefit health and wellbeing, adults with mobility impairments and/or low energy often face barriers in accessing nature environments and nature-based programs. This study aimed to examine the experiences and impacts of virtual forest bathing by capturing the perspectives of disabled adults with mobility impairments and/or low energy. Methods: A total of 26 adults with mobility impairments provided written and spoken qualitative feedback during and following virtual forest bathing programs and 23 participants provided feedback at a one month follow-up. Virtual programs were presented online, using an accessible format, 2D videos, and images of nature accompanied by guidance led by a certified forest bathing guide and mindfulness teacher. The programs involved disabled facilitators and participants, which created a social environment of peer support. Results: Qualitative thematic analysis revealed 10 themes comprising intervention themes (virtual delivery and soothing facilitation); process themes (nature connection, relaxation, embodiment, and memories with complex emotions); and outcome themes (happiness, agency, metaphor making, and belonging). Conclusions: Virtual forest bathing may offer an effective adjunct to improve wellbeing and provide peer support for disabled adults with mobility impairments and/or low energy.

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Dassel, Kara. "Cyber-Pedagogy to the Rescue: Creating Effective Online Programming for Students and Trainees During the Pandemic". Innovation in Aging 5, Supplement_1 (1 de diciembre de 2021): 270. http://dx.doi.org/10.1093/geroni/igab046.1052.

Texto completo

Resumen

Abstract COVID-19 upended in-person educational programming in areas such as classroom instruction within academic institutions, engagement of adult learners, and training of direct care workers. In-person educational offerings were forced, as a result of health restrictions, to pivot into either asynchronous or synchronous web-based instruction. This panel discussion will discuss lessons-learned in cyber-pedagogy in three areas: 1) Faculty Consultation: Faculty who teach online regularly and have completed training in quality online educational practices are experts who were called upon to assist others with transitioning courses to an online format. This presentation outlines the ways in which certified online instructors, at one academic center, tutored and assisted faculty in the health sciences with online instruction. 2) Adult Learning: The rapid transition to online learning has implications for adult learners pertaining to accessibility, diverse learning and technology abilities, and course and peer engagement. This presentation will explore strategies that faculty can utilize to offer adult learners differentiated learning and engagement opportunities. This discussion will also highlight the nexus among these pedagogical strategies and the Age-Friendly University Global Network, providing guidance for how universities can connect online learning methods to the Age-Friendly University principles. 3) Workforce Training: The direct care workforce employed in community-based services and support programs and long-term care settings tend to receive little or no training in geriatric care. This presentation will discuss how educational trainings offered through a Geriatric Workforce Enhancement Program transitioned onto web-based platforms in order to accommodate these ongoing educational needs throughout the pandemic.

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Galnaitytė, Aiste y Irena Kriščiukaitienė. "SIMULATION OF ORGANIC FARMING DEVELOPMENT". Management Theory and Studies for Rural Business and Infrastructure Development 38, n.º 3 (29 de septiembre de 2016): 219–29. http://dx.doi.org/10.15544/mts.2016.17.

Texto completo

Resumen

A new United Nations sustainable development Agenda underlines the relevance of Organic farming development. In the same line the Government of the Republic of Lithuania seeks to create economically efficient and competitive agriculture, based on low environmental impact farming, to develop organic farming and high quality certified agricultural and food production, conserve natural resources. Transition to the sustainable agricultural development faces the main difficulty, which is formulated as a scientific problem: how to reconcile the economic and political interests? This research is carried out by the purpose to offer alternative possibilities for organic farming development. The research was carried out using mathematical programming model and scenario analysis. Model is formulated as a linear mathematical programming optimization model, consisting of objective function, constraints, expressed as inequalities and fulfilling non-negative values conditions. The model includes existing and results provide the maximum gross value added ensuring crop production structure, taking in to account farming practices applied in Lithuania: conventional, organic, organic in conversion and integrated. The analysis of three scenarios has shown that the majority of compensatory payments and prices of organic production (2013) are insufficient to increase organic crop area to the extent of 10 percent of total agricultural land in Lithuania by 2020: only by one third (31 percent) higher organic production prices, lead to reached 10.5 percent of organic crop area from the total agricultural land. The research results provide scientifically based knowledge to the policy makers about the impact of the policy measure “Organic farming” on the development of organic farming.

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Samal, Lipika, John D. D’Amore, David W. Bates y Adam Wright. "Implementation of a scalable, web-based, automated clinical decision support risk-prediction tool for chronic kidney disease using C-CDA and application programming interfaces". Journal of the American Medical Informatics Association 24, n.º 6 (20 de julio de 2017): 1111–15. http://dx.doi.org/10.1093/jamia/ocx065.

Texto completo

Resumen

Abstract Background and Objective Clinical decision support tools for risk prediction are readily available, but typically require workflow interruptions and manual data entry so are rarely used. Due to new data interoperability standards for electronic health records (EHRs), other options are available. As a clinical case study, we sought to build a scalable, web-based system that would automate calculation of kidney failure risk and display clinical decision support to users in primary care practices. Materials and Methods We developed a single-page application, web server, database, and application programming interface to calculate and display kidney failure risk. Data were extracted from the EHR using the Consolidated Clinical Document Architecture interoperability standard for Continuity of Care Documents (CCDs). EHR users were presented with a noninterruptive alert on the patient’s summary screen and a hyperlink to details and recommendations provided through a web application. Clinic schedules and CCDs were retrieved using existing application programming interfaces to the EHR, and we provided a clinical decision support hyperlink to the EHR as a service. Results We debugged a series of terminology and technical issues. The application was validated with data from 255 patients and subsequently deployed to 10 primary care clinics where, over the course of 1 year, 569 533 CCD documents were processed. Conclusions We validated the use of interoperable documents and open-source components to develop a low-cost tool for automated clinical decision support. Since Consolidated Clinical Document Architecture–based data extraction extends to any certified EHR, this demonstrates a successful modular approach to clinical decision support.

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

HIRAI, YOICHI y KAZUHIKO YAMAMOTO. "Balancing weight-balanced trees". Journal of Functional Programming 21, n.º 3 (mayo de 2011): 287–307. http://dx.doi.org/10.1017/s0956796811000104.

Texto completo

Resumen

AbstractA weight-balanced tree (WBT) is a binary search tree, whose balance is based on the sizes of the subtrees in each node. Although purely functional implementations on a variant WBT algorithm are widely used in functional programming languages, many existing implementations do not maintain balance after deletion in some cases. The difficulty lies in choosing a valid pair of rotation parameters: one for standard balance and the other for choosing single or double rotation. This paper identifies the exact valid range of the rotation parameters for insertion and deletion in the original WBT algorithm where one and only one integer solution exists. Soundness of the range is proved using a proof assistant Coq. Completeness is proved using effective algorithms generating counterexample trees. For two specific parameter pairs, we also proved in Coq that set operations also maintain balance. Since the difference between the original WBT and the variant WBT is small, it is easy to change the existing buggy implementations based on the variant WBT to the certified original WBT with a rational solution.

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Shivakumar, G. y P. A. Vijaya. "Analysis of Human Emotions Using Galvanic Skin Response and Finger Tip Temperature". International Journal of Synthetic Emotions 2, n.º 1 (enero de 2011): 15–25. http://dx.doi.org/10.4018/jse.2011010102.

Texto completo

Resumen

Emotion is the excited mental state of a person caused by internal and external factors. In this work, a person’s physiological parameters are measured to decide emotional status. A generalized system measures changes occurring in the body of a subject, such as heart rate, blood pressure, respiratory rate, electro-dermal (Galvanic skin resistance) activity, and arm and leg motions. These measurements are then compared with the normal levels of the subject. The present work monitors the physiological parameters by connecting sensors at specific points on a test body. Two physiological parameters are considered: galvanic skin response (GSR) and finger tip temperature (FTT). The heart rate is predominant in deciding the emotion of a person. This system, in conjunction with a certified examiner, is used to analyze a subject’s stress. A system is constructed that measures physiological parameters along with signal conditioning units. These measurements are transmitted to a LabVIEW add-on card for further data processing and analysis. LabVIEW is a graphical programming language that includes all tools necessary for data acquisition, data analysis, and presentation of results. The results obtained are realistic and provide a measure of accuracy.

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Gembaczka, Pierre, Burkhard Heidemann, Bernhard Bennertz, Wolfgang Groeting, Thomas Norgall y Karsten Seidl. "Combination of sensor-embedded and secure server-distributed artificial intelligence for healthcare applications". Current Directions in Biomedical Engineering 5, n.º 1 (1 de septiembre de 2019): 29–32. http://dx.doi.org/10.1515/cdbme-2019-0008.

Texto completo

Resumen

AbstractThe application of artificial intelligence (AI) in the areas of health, care and social participation offers great opportunities but also involves great challenges. Extensive regulatory, ethical and data-security related requirements exist for data recording, storage and processing of respective personalized and patient-related data. “Artificial Intelligence as a Service” (AIaaS) is pushed for consumer applications by global players, which implies data storage on external database server. However, the available solutions do not meet the requirements. Moreover, small and medium-sized enterprises (SMEs) in the field of healthcare fear the loss of data sovereignty and information outflow. In this paper, we propose a secure and resource-efficient approach by embedding AI directly close to the sensor in combination with secure and distributed data processing on local server or certified “Trusted Data Center”. For this purpose, we have developed the Artificial Intelligence for Embedded Systems (AIfES) platform-independent machine learning library in C programming language. It contains a fully configurable deep artificial neural network with feedforward structure. The library can be run directly on a microcontroller and even allows to train the neural network. Possible healthcare applications include direct (pre-) processing of sensor data, sensor calibration, pattern recognition and classification.

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Schultz, Sarah M., Michelle M. Jacobs, Kara S. Gorgos, Nicole T. Wasylyk, Sean Hanrahan y Bonnie L. Van Lunen. "Reliability of Entry-Level Athletic Trainers' Palpation Skills of Bony Anatomical Landmarks in the Lumbopelvic Region". Athletic Training Education Journal 10, n.º 4 (1 de octubre de 2015): 296–301. http://dx.doi.org/10.4085/1004296.

Texto completo

Resumen

Context Accuracy of locating various lumbopelvic landmarks for novice athletic trainers has not been examined. Objective To examine reliability of novice athletic trainers for identification of the L4 spinous process and right and left posterior superior iliac spine (PSIS). Design Cross-sectional reliability. Setting Laboratory. Patients or Other Participants Sixteen physically active volunteers participated (age = 22.56 ± 2.67 years, height = 172.0 ± 9.38 cm, mass = 67.39 ± 9.73 kg, body mass index = 22.8 ± 1.97). Four novice athletic trainers (certified < 2 years) served as the testers of interest. Intervention(s) Subjects were placed prone and 2 expert athletic trainers (certified > 12 years) agreed upon each bony landmark and transferred the palpation markings to contact paper. Each novice athletic trainer palpated the landmarks twice within the same test session and used the same method as the experts for transfer and recording. Novice athletic trainers rotated between subjects after 1 marking trial. Expert marks were transposed over the tester marks to assess distance and agreement. Main Outcome Measure(s) Independent variables were novice athletic trainer (AT1, AT2, AT3, AT4) and time (Trial 1, Trial 2); dependent variables included distance from the expert marking in millimeters for L4 and PSIS palpations, and agreement within or outside of a designated area for the L4 spinous process. Intraclass correlation coefficients (ICC [2,1]), standard error of measurement, and percent agreement were calculated. Results Intratester reliability for L4 ranged from 0.370 to 0.833, right PSIS (RPSIS) ranged from 0.371 to 0.771, and left PSIS (LPSIS) ranged from −0.173 to 0.760. Intertester ICC (2,1) for Trial 1 and Trial 2 were, respectively, 0.319 and 0.466 (L4), 0.213 and 0.002 (RPSIS), and 0.96 and 0.073 (LPSIS). Percent agreement between expert and testers ranged from 18.75%–81.3% for L4 spinous process. Conclusions Our results indicate novice athletic trainers are generally poor at reliably locating lumbopelvic anatomical landmarks, and this should be addressed within educational programming.

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Sandu, Andrei-Marius. "Organic farming in the European Union – perspectives for 2030". Proceedings of the International Conference on Business Excellence 16, n.º 1 (1 de agosto de 2022): 427–36. http://dx.doi.org/10.2478/picbe-2022-0042.

Texto completo

Resumen

Abstract Organic farming has emerged in the European Union as a necessity and an alternative to conventional agriculture. During the three programming periods that have been implemented so far, organic farming has benefited from increased attention with dedicated special programs and substantial allocations to support the development of this sector. This type of agriculture involves the use of a set of techniques and practices that result in yield that provides the food needed by the population considering the sustainable use of resources. Studies have shown that best agricultural practices are applied in organic farming, helping farmers to adapt to climate change by consolidating ecosystems, increasing soil structure quality, water management and water quality, while diversifying crop and animal production while building the knowledge base necessary for the development of a sustainable and environmentally friendly agriculture. The study analyzes the results obtained so far in the European Union, but at the same time addresses what is to be implemented to increase the sector for organic farming, focusing on the number of certified operators in organic farming and cultivated areas. At the same time, the objectives set by the European Community to be achieved by 2030 are presented. The main conclusion of the study is that organic farming has become an essential sector in the European Union with more and more funding from the European Commission.

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Wilder, PhD, CTRS/L, Allison. "Community-based social and recreational programs for older adults with intellectual and/or developmental disabilities: Perceptions of barriers and accommodations to access". American Journal of Recreation Therapy 10, n.º 3 (1 de julio de 2011): 27–37. http://dx.doi.org/10.5055/ajrt.2011.0018.

Texto completo

Resumen

The purpose of this study was to generate an initial understanding of the types of supports or accommodations needed, as well as the barriers or challenges present when attempting to provide publicly funded, community-based social and recreational services for older adults with intellectual and/or developmental disabilities (I/DD). Survey research was used to investigate the perceptions of case managers and recreation program providers within Health Planning Region IV in the Commonwealth of Virginia, regarding their views on the necessary supports and potential barriers encountered when older persons with I/DD attempt to access these types of programs and services. Findings suggest that both case managers and providers of recreation services perceive the following to be primary needs in providing community-based social and recreational programs for this population: recreational programs specifically designed to meet the needs of older adults with I/DD; transportation, particularly evenings and weekends; and staff adequately cross-trained in aging, disability, and recreation. Both sets of respondents shared the perception that most staff are not adequately trained in the provision of recreational services. Transportation, available during weekends and evenings when many people are engaged in recreational pursuits, is a critical support need. The promotion of purposeful recreation programming, designed with needs and desires of all older adults in mind and staffed by highly qualified recreation professionals, such as certified therapeutic recreation specialists, could go far in ensuring that these services contribute to personal growth, meaningful involvement, and quality of life.

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Sobrero, Gina, Scott Arnett, Mark Schafer, Whitley Stone, T. A. Tolbert, Amanda Salyer-Funk, Jason Crandall et al. "A Comparison of High Intensity Functional Training and Circuit Training on Health and Performance Variables in Women: A Pilot Study". Women in Sport and Physical Activity Journal 25, n.º 1 (abril de 2017): 1–10. http://dx.doi.org/10.1123/wspaj.2015-0035.

Texto completo

Resumen

High intensity functional training (HIFT) emphasizes constantly varied, high intensity, functional activity by programming strength and conditioning exercises, gymnastics, Olympic weightlifting, and specialty movements. Conversely, traditional circuit training (TCT) programs aim to improve muscular fitness by utilizing the progressive overload principle, similar movements weekly, and specified work-to-rest ratios. The purpose of this investigation was to determine if differences exist in health and performance measures in women participating in HIFT or TCT after a six-week training program. Recreationally active women were randomly assigned to a HIFT (n = 8, age 26.0 + 7.3 yrs) or TCT (n = 11, age 26.3 + 9.6 yrs) group. Participants trained three days a week for six weeks with certified trainers. Investigators examined body composition (BC), aerobic and anaerobic capacity, muscular strength, endurance, flexibility, power, and agility. Repeated-measures ANOVA were used for statistical analyses with an alpha level of 0.05. Both groups increased body mass (p = .011), and improved muscular endurance (p < .000), upper body strength (p = .007), lower body power (p = .029) and agility (p = .003). In addition, the HIFT group decreased body fat (BF) %, while the TCT group increased BF% (p = .011). No changes were observed in aerobic or anaerobic capacity, flexibility, upper body power, or lower body stair climbing power. Newer, high intensity functional exercise programs such as HIFT may have better results on BC and similar effects when compared with TCT programs on health and fitness variables such as musculoskeletal strength and performance.

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Hlushak, Oksana M., Volodymyr V. Proshkin y Oksana S. Lytvyn. "Using the e-learning course “Analytic Geometry” in the process of training students majoring in Computer Science and Information Technology". CTE Workshop Proceedings 6 (21 de marzo de 2019): 472–85. http://dx.doi.org/10.55056/cte.407.

Texto completo

Resumen

As a result of literature analysis the expediency of free access of bachelors majoring in Computer Sciences and Information Technologies to modern information educational resources, in particular, e-learning courses in the process of studying mathematical disciplines is substantiated. It was established that the e-learning course is a complex of teaching materials and educational services created for the organization of individual and group training using information and communication technologies. Based on the outlined possibilities of applying the e-learning course, as well as its didactic functions, the structure of the certified e-learning course “Analytic Geometry” based on the Moodle platform was developed and described. Features of application of cloud-oriented resources are considered: Desmos, Geogebra, Wolfram|Alpha, Sage in the study of the discipline “Analytic Geometry”.The results of the pedagogical experiment on the basis of Borys Grinchenko Kyiv University and A. S. Makarenko Sumy State Pedagogical University are presented. The experiment was conducted to verify the effectiveness of the implementation of the e-learning course “Analytic Geometry”. Using the Pearson criterion it is proved that there are significant differences in the level of mathematical preparation of experimental and control group of students.The prospect of further scientific research is outlined through the effectiveness of the use of e-learning courses for the improvement of additional professional competences of students majoring in Computer Sciences and Information Technologies (specialization “Programming”, “Internet of Things”).

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Eizadirad, Ardavan, Sally Abudiab y Brice Baartman. "The Community School Initiative in Toronto: Mitigating Opportunity Gaps in the Jane and Finch Community in the Wake of COVID-19". Radical Teacher 124 (2 de diciembre de 2022): 33–42. http://dx.doi.org/10.5195/rt.2022.1080.

Texto completo

Resumen

COVID-19 significantly impacted the delivery of education with widespread disruptions, particularly disadvantaging racialized and low-income families. Our research project explored how community-based programming can be adapted and mobilized to mitigate opportunity and achievement gaps for Black, Indigenous, people of colour (BIPOC), and those from lower socio-economic backgrounds. The project as a case study examined an afternoon and weekend supplementary academic program called the Community School Initiative (CSI), offered from September 2020 to May 2021 to members of the Jane and Finch community in Toronto, Canada at a subsidized cost. CSI is a partnership between the non-profit organization Youth Association for Academics, Athletics, and Character Education (YAAACE) and the for-profit enterprise Spirit of Math. It delivers a structured math curriculum to students in grades two to eight aged 8 to 14 years, old supported by a team of caring adults including parents, coaches, and Ontario certified teachers. The efficacy and outcomes of the CSI was assessed through surveys with parents (n=33), students (n=33), and teachers (n=4), and a focus group with seven teachers delivering the curriculum in the CSI. We also discuss the significance of how the research was conducted in the wake of COVID-19. Hence, this article is about the findings from the data, but just as much about the community-driven approach to how the research was conducted, by the community and for the community.

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Marks, Beth, Jasmina Sisirak, Yen-Ching Chang y Ryan Murphy. "Impact of the HealthMatters Train-the-Trainer Program on the Health and Health Behaviors of Staff Supporting Adults With Intellectual and Developmental Disabilities". Workplace Health & Safety 67, n.º 8 (21 de abril de 2019): 423–35. http://dx.doi.org/10.1177/2165079919828739.

Texto completo

Resumen

The health status and health behaviors among support staff providing daily support for people with intellectual and developmental disabilities (IDD-SS) in community-based organizations (CBOs) have not been systematically studied. This study examined the health impact of IDD-SS workers who participated in a HealthMatters Program: Train-the-Trainer Certified Instructor Workshop followed by implementing a 12-week HealthMatters Program for people with intellectual and developmental disabilities (IDD) that they care for as part of their employment. A total of 48 IDD-SS were enrolled into either an intervention ( n = 28) or control group ( n = 20). IDD-SS in the intervention group received an 8-hour HealthMatters Program: Train-the-Trainer Workshop immediately prior to teaching a 12-week HealthMatters Program for people with IDD. Assessments were conducted with IDD-SS before and after completing the 12-week HealthMatters Program to evaluate whether IDD-SS experienced any benefit of the training and teaching the program on their own health and health behaviors. Relative to the control group, the IDD-SS in the intervention group showed significant improvements in social/environmental supports for nutrition ( F = 4.92, p = .032), exercise outcome expectations ( F = 6.58, p = .014), nutrition outcome expectations ( F = 8.87, p = .005), fruit and vegetable intake ( F = 13.62, p = .001), knowledge of fruit and vegetable intake recommendations ( F = 11.25, p = .002), and stages of change for eating fruits and vegetables ( F = 6.86, p = .012). Results demonstrated that IDD-SS benefited from the health education programming. Findings support the need to develop programs and organizational policies for health promotion activities for direct care staff.

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Wormeli, Paul, Jenna Mazreku, Jeremy Pine y Mark Damesyn. "Next Generation of Central Cancer Registries". JCO Clinical Cancer Informatics, n.º 5 (marzo de 2021): 288–94. http://dx.doi.org/10.1200/cci.20.00177.

Texto completo

Resumen

For central cancer registries to become a more significant public health resource, they must evolve to capture more timely, accurate, and extensive data. Key stakeholders have called for a faster time to deliver work products, data extensions such as social determinants of health, and more relevant information for cancer control programs at the local level. The proposed model consists of near real-time reporting stages to replace the current time and labor-intensive efforts to populate a complete cancer case abstract on the basis of the 12- and 24-month data submission timelines. The first stage collects a cancer diagnosis minimum data set sufficient to describe population incidence and prevalence, which is then followed by a second stage capturing subsequent case updates and treatment data. A third stage procures targeted information in response to identified research projects' needs. The model also provides for further supplemental reports as may be defined to gather additional data. All stages leverage electronic health records' widespread development and the many emerging standards for data content, including national policies related to healthcare and technical standards for interoperability, such as the Fast Healthcare Interoperability Resources specifications to automate and accelerate reporting to central cancer registries. The emergence of application programming interfaces that allow for more interoperability among systems would be leveraged, leading to more efficient information sharing. Adopting this model will expedite cancer data availability to improve cancer control while supporting data integrity and flexibility in data items. It presents a long-term and feasible solution that addresses the extensive burden and unsustainable manual data collection requirements placed on Certified Tumor Registrars at disease reporting entities nationally.

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

BELLINO, A., D. BALDANTONI, F. DE NICOLA, P. IOVIENO, M. ZACCARDELLI y A. ALFANI. "Compost amendments in agricultural ecosystems: confirmatory path analysis to clarify the effects on soil chemical and biological properties". Journal of Agricultural Science 153, n.º 2 (5 de marzo de 2014): 282–95. http://dx.doi.org/10.1017/s0021859614000033.

Texto completo

Resumen

SUMMARYCompost use is increasingly proposed as a sustainable strategy to restore the fertility of degraded agricultural soils and to reduce landfill disposal or incineration of organic wastes. The effects of compost application on many soil physico-chemical and biological properties, as well as on soil contamination, have been investigated widely, but a model for the ecological interactions among them has never been developed. The aim of the present paper was to provide an integrated view of the causal processes induced by repeated compost amendments on agricultural soil properties. For this purpose, a confirmatory path analysis was performed to enable inferences to be drawn about the causal processes involving compost amendment, soil organic matter content, nutrient concentrations, microbial activity and soil contamination. The path analysis was performed on a dataset derived from a 3-year field trial carried out by the current authors in a Mediterranean intensive agricultural system, where 0, 15, 30 or 45 t/ha of certified compost from municipal solid wastes were annually applied. A script (‘cpa’) was developed using the R programming language and used to test 13 hypothetical models, expressed as directed acyclic graphs, against the observed data. Within the above-mentioned dataset, potassium and zinc available concentrations, microbial respiration and total polycyclic aromatic hydrocarbon (PAH) concentrations were selected as indicative of soil nutrient availability, microbial activity and organic contamination. The applied approach highlights that compost amendment directly influences all the other variables considered in the study and is the main determinant of the observed trends. Other important relationships are those among organic matter, nutrient availabilities, respiration and PAHs, as well as their temporal dynamics.

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Beck, Paul, Jeff Robe, David Lalman, Dana Zook, Marty New, Earl Ward y Brian Freking. "Needs and Challenges Cattle Producers Face in Adapting Preconditioning Programs". Journal of Animal Science 99, Supplement_2 (1 de mayo de 2021): 6. http://dx.doi.org/10.1093/jas/skab096.008.

Texto completo

Resumen

Abstract Identifying the producer’s needs and challenges is the first step to understanding what types of programs will benefit producers the greatest. In the cattle industry, participation in calf preconditioning programs have slowly increased over the last two decades as more sellers and buyers recognize the economic benefits. However, for a seller to receive maximum benefit when marketing their cattle requires planning and an understanding of the components that go into a preconditioning program. Surveys are a practical way to gain useful information to develop programming to educate on developing preconditioning protocols that best fits their operation. Following the 2019 Oklahoma Quality Beef Network (OQBN) VAC45 fall certified sales, a survey was distributed electronically and by postal mail to participating cattle producers. The survey examined a number of aspects associated with preconditioning calves, management practices, operation size, demographics, and obstacles producers face when preconditioning calves. Participation rate was approximately 56% out of the 126 OQBN producers surveyed. Of the respondents, 52% did so electronically. Program ear tags moved to online sales in 2019 and 98% of respondents found ordering online convenient. These results would indicate that the use of technology is an increasing component in the cattle industry by producers and leading the way to the development of more tech related tools. Smaller operations marketing 50 or fewer head (72%) are utilizing preconditioning programs the greatest. Still, the biggest challenge reported by producers preconditioning calves was the expense (59%) associated followed by availability of labor (22%) and facilities (13.5%). Thirty-two percent of respondents indicated 5% or less morbidity rate, and 13% of respondents experienced 10% or less mortality rate. Thirty-three percent of producers estimated 1lb. or less ADG. Developing resources concerning the costliest components of preconditioning may be most crucial and beneficial to the producer to achieve a successful program.

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Newberry, Jan y Sri Marpinjun. "Payment in heaven: Can early childhood education policies help women too?" Policy Futures in Education 16, n.º 1 (14 de noviembre de 2017): 29–42. http://dx.doi.org/10.1177/1478210317739467.

Texto completo

Resumen

Based on research and activism on early childhood education and care in the area of Yogyakarta, Indonesia, we argue that the Indonesian government’s focus on early childhood has come at a cost to local women. Community-based early childhood programs are delivered by women whose work is unpaid or underpaid. Although early childhood education in the form of kindergarten has long existed in Indonesia, its extension to the very young through Pendidikan Anak Usia Dini or early childhood education programs for children aged 0–8 years is more recent. Yet, there are many contradictions in this attention to the very young child. While the programs are designed to empower young children and improve their chances of success in education, the community-based programs promoted by the government are delivered through the work of women who may be denied these same benefits. Based on our separate researches, local women offer their services in early childhood education for a variety of reasons: they believe in these programs, they feel pressured to support their communities, or they desire to improve their own chances, and often all three. Yet, the opportunity to gain more education and to become a certified teacher is extremely limited for these women. As a result, they are trapped in unskilled, low, or no-waged work. While this contradiction can be described as a result of neoliberal policy, it has been the long-standing practice of the Indonesian state to depend on women’s “volunteered” labor to deliver social service programming. Here, we challenge whether this is “neoliberal” policy or just a continued disregard for the value of the care labor in social reproduction and the simultaneous relegation of women to the “informal” sphere. We ask, what kind of policy options exist for linking the improvement of children’s education and women’s education simultaneously?

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Chandrasekaran, Jeyamala, Anitha D y Uma K.V. "An Effective Instructional Design to Enhance Learning Outcomes of Information Security Course in Online Mode". Journal of Engineering Education Transformations 36, S2 (1 de enero de 2023): 319–25. http://dx.doi.org/10.16920/jeet/2023/v36is2/23047.

Texto completo

Resumen

The course on Information Security deals with the processes and tools for protecting sensitive digital data from disruption, modification and destruction in cyber space. This course is offered as a programme core during the third year of study in the undergraduate curriculum of various engineering programmes such as Computer Science and Engineering and Information Technology. The demand for graduating engineers with the technical skills to detect, respond to, and prevent cyberattacks is at an all-time high. Having understood the potential job market for Cyber Security Professionals, the syllabus of the Information Security course at Thiagarajar College of Engineering, Madurai has been carefully designed in collaboration with industrial experts. The course also provides the necessary foundation for certification exams like Certified Information Systems Security Professional (CISSP) and for pursuing a master’s degree with specialization in Information Security. Because of pandemic, the course has to be delivered in online mode with no compromise in quality. A wide variety of simulation tools, programming assignments, active and collaborative learning techniques, Problem based Learning have been included in the instructional design to create an effective online learning environment. Exclusive rubrics were created for assessing teamwork, ethics and communication. The paper presents a detailed impact analysis of the customized instructional design in improving the attainment of learning outcomes, student engagement and satisfaction. The experimental study has been carried out in a student group of 138 members from the undergraduate programme on Information Technology at our institute in the academic year 2020-21. Adoption of multiple teaching learning strategies has shown significant improvement in the performance of learners in continuous assessment tests and terminal examinations. The satisfaction index of the learners analysed from course end surveys and informal feedback and is found to be significantly high. Keywords— Active Learning; Collaborative Learning; Information Security; Higher Order Thinking Skills; Learning Outcome Attainment; Student Engagemen

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Echa Oktamiani Maulana. "Deteksi Hunian Di Tempat Parkir (Occupancy Detection In Parking Lot)". Journal Islamic Global Network for Information Technology and Entrepreneurship 2, n.º 2 (3 de abril de 2024): 45–60. http://dx.doi.org/10.59841/ignite.v2i2.1050.

Texto completo

Resumen

MSIB (Certified Independent Study and Internship) is one of the activity programs at the Merdeka Campus which aims to help students improve their skills and develop themselves. MSIB appointed Orbit Future Academy as one of the partners in the Independent Study program. Founded in 2016 with the aim of improving the quality of life through innovation, education and skills training. In accordance with its mission, namely "We curate and localize international programs and courses for upskilling, re-skilling youth, and the workforce towards jobs of the future". Partners provide opportunities for students to take Artificial Intelligence programs and study online. Learning consists of eight material courses including Python Programming, AI Technology Logic and Concepts, AI Project Cycle, AI Research Methods, ChatGPT, Professional and Company Ethics, Financial Literacy and ending with a Final Project. The final project scope carried out is the Occupancy Detection in Parking Lot project. This project uses the Computer Vision domain with the selection of the YOLO model in detecting objects and pixel segmentation. The project begins with selecting a dataset using roboflow which then goes through data pre-processing for cloning, annotation and augmentation. Then the model is trained using machine learning and deep learning algorithms to understand patterns and characteristics related to parking spaces. Once trained, the AI model will be validated using test data. This aims to ensure that the model truly recognizes the presence of the vehicle. Next, form the application design in creating an informative interface using wireframes. Then enter the deployment stage so that the system can be accessed widely and easily via the web. Lastly, field testing is to find out the performance of the application that has been designed.

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Echa Oktamiani Maulana. "Deteksi Hunian Di Tempat Parkir (Occupancy Detection In Parking Lot)". Journal Islamic Global Network for Information Technology and Entrepreneurship 2, n.º 2 (6 de abril de 2024): 45–61. http://dx.doi.org/10.59841/ignite.v2i2.1058.

Texto completo

Resumen

MSIB (Certified Independent Study and Internship) is one of the activity programs at the Merdeka Campus which aims to help students improve their skills and develop themselves. MSIB appointed Orbit Future Academy as one of the partners in the Independent Study program. Founded in 2016 with the aim of improving the quality of life through innovation, education and skills training. In accordance with its mission, namely "We curate and localize international programs and courses for upskilling, re-skilling youth, and the workforce towards jobs of the future". Partners provide opportunities for students to take Artificial Intelligence programs and study online. Learning consists of eight material courses including Python Programming, AI Technology Logic and Concepts, AI Project Cycle, AI Research Methods, ChatGPT, Professional and Company Ethics, Financial Literacy and ending with a Final Project. The final project scope carried out is the Occupancy Detection in Parking Lot project. This project uses the Computer Vision domain with the selection of the YOLO model in detecting objects and pixel segmentation. The project begins with selecting a dataset using roboflow which then goes through data pre-processing for cloning, annotation and augmentation. Then the model is trained using machine learning and deep learning algorithms to understand patterns and characteristics related to parking spaces. Once trained, the AI model will be validated using test data. This aims to ensure that the model truly recognizes the presence of the vehicle. Next, form the application design in creating an informative interface using wireframes. Then enter the deployment stage so that the system can be accessed widely and easily via the web. Lastly, field testing is to find out the performance of the application that has been designed.

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Shrivastava, Archana. "A small initiative in the journey of making leaders with the help of authentic leadership model". Kybernetes 47, n.º 10 (5 de noviembre de 2018): 1956–72. http://dx.doi.org/10.1108/k-01-2018-0003.

Texto completo

Resumen

Purpose This research study uses authentic leadership (AL) model for leadership development. The purpose of this paper is to focus on the developmental perspective where the attention is on the processes. As the authenticity involves both owing one’s personal experiences and acting in accordance with one’s true self, the emphasis is on self-awareness and self-regulation. The influence of the person’s personal history and trigger events are considered as significant antecedents for generating AL. As the research was facilitated by the participation and collaboration of the number of individuals with the researcher for common purpose, i.e. developing AL, action research methodology is adopted. Design/methodology/approach The methodology used was based on the self-assessment exercises in the controlled environment. The programme used intensive counselling sessions, Neuro Linguistics programming (NLP), career autobiographies, mind maps, workshops and storytelling sessions as tools. Certified counsellors and trainers were out-sourced for conducting such sessions. With the information generated through various sources, detailed career autobiographies of students’ self-image were generated. These reports were then critically analysed on “Nvivo”, a software that supports qualitative and mixed research methods. Comprehensive data analysis was done to pull the information together and make sense of it. The development process model of AL began with how individuals interpret their accumulated life experiences with the “Who I am?” approach. NLP was used as a research instrument which involved question-based discussions, value elicitation exercise and “Anchoring and Mentor table”. The results that came after the exercises were reported by the students in a one-page autobiography. Findings The students learnt to live by their inner compass. They were finally able to relate themselves and their identity with their beliefs, thereby, understanding the term, “Who Am I”; the intentions closely related with the components of AL. Students realized that each one of them was unique. What lied beneath were exposed and the students were more at ease once they realized that they were able to balance these emotions and use them towards behaving congruently. The research concluded that doing such kind of exercises along with the main stream subjects is definitely going to help students emerge as a better person, employee and an authentic leader in the future. Practical implications The approach helped students become self-aware and self-confident and therefore enhanced their capacity to adapt positively to social set ups personally and professionally. The results suggest that such leadership development programmes along with the main stream subjects can foster AL giving students new abilities and embodied skills to deal with the practical challenges of life in a more effective manner. Originality/value This research study supports new emerging strategy of educating managers to become effective leaders and demonstrate that the development of AL can be fostered by such interventions during their journey of becoming leaders. Further, researches on whether AL can be developed through planned interventions can be certified through longitudinal studies in this area.

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Sciomachen, Anna y Maria Truvolo. "An Exact Approach for Selecting Pickup-Delivery Stations in Urban Areas to Reduce Distribution Emission Costs". Mathematics 11, n.º 8 (15 de abril de 2023): 1876. http://dx.doi.org/10.3390/math11081876.

Texto completo

Resumen

This paper deals with a variant of the multifacility location-routing problem in urban areas. The distribution network is modelled by an undirected graph, in which the nodes are split into a set of pickup-delivery stations, a depot, and a set of customers. The arcs represent the minimum-cost connections between nodes. A customer is assigned to a pickup-delivery station if he or she can reach it at the lowest sustainable cost, i.e., on foot or by bicycle, without exceeding a predefined maximum distance. The goal is to minimise the goods’ total delivery cost, including pollutant emissions. In this perspective, both travel distance and means of transport play a key role. We present an exact novel approach based on partitioning the research space of the solutions of a Mixed Integer Linear Programming model. In the model, Boolean decisional variables, representing the selection of the locations for the pickup-delivery stations, are fixed simultaneously with the solution of the classical Travelling Salesman Problem. A branching constraint allows us to determine the route that serves the selected pickup-delivery stations and the route, if any, that serves customers who do not go to any pickup-delivery station. We conduct extensive experimentation to test the proposed approach’s computational efficiency and analyse the optimal solution’s robustness with respect to the maximum distance of customers from the stations, their activation cost and the pollutant emissions. The effectiveness of the proposed approach in terms of solution quality and computation time is certified by a set of computational tests based on randomly generated instances with up to 150 customers and 30 pickup-delivery stations. The application of the proposed exact method to a case study related to a district of the city of Genoa (Italy) confirms its validity also for sustainably addressing real-size urban delivery problems. An evaluation of incentives for customers using pickup-delivery stations, possibly by implementing discount policies on orders, is also proposed.

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Lobo, Edwin Peter, Jef Pauwels y Stefano Pironio. "Certifying long-range quantum correlations through routed Bell tests". Quantum 8 (2 de mayo de 2024): 1332. http://dx.doi.org/10.22331/q-2024-05-02-1332.

Texto completo

Resumen

Losses in the transmission channel, which increase with distance, pose a major obstacle to photonics demonstrations of quantum nonlocality and its applications. Recently, Chaturvedi, Viola, and Pawlowski (CVP) [arXiv:2211.14231] introduced a variation of standard Bell experiments with the goal of extending the range over which quantum nonlocality can be demonstrated. These experiments, which we call `routed Bell experiments', involve two distant parties, Alice and Bob, and allow Bob to route his quantum particle along two possible paths and measure it at two distinct locations – one near and another far from the source. The premise is that a high-quality Bell violation in the short-path should constrain the possible strategies underlying the experiment, thereby weakening the conditions required to detect nonlocal correlations in the long-path. Building on this idea, CVP showed that there are certain quantum correlations in routed Bell experiments such that the outcomes of the remote measurement device cannot be classically predetermined, even when its detection efficiency is arbitrarily low. In this paper, we show that the correlations considered by CVP, though they cannot be classically predetermined, do not require the transmission of quantum systems to the remote measurement device. This leads us to define and formalize the concept of `short-range' and `long-range' quantum correlations in routed Bell experiments. We show that these correlations can be characterized through standard semidefinite-programming hierarchies for non-commutative polynomial optimization. We then explore the conditions under which short-range quantum correlations can be ruled out and long-range quantum nonlocality can be certified in routed Bell experiments. We point out that there exist fundamental lower-bounds on the critical detection efficiency of the distant measurement device, implying that routed Bell experiments cannot demonstrate long-range quantum nonlocality at arbitrarily large distances. However, we do find that routed Bell experiments allow for reducing the detection efficiency threshold necessary to certify long-range quantum correlations. The improvements, though, are significantly smaller than those suggested by CVP's analysis.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Artículos de revistas sobre el tema "Certified programming"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros